arXiv:1908.11693v1 [math.GN] 30 Aug 2019 xlso oml.Frtogvnfiiennmt sets nonempty finite given two well-kno For the of formula. introduction exclusion the after theor began probability combinatorics and s [3] finite [13], science of an computer characterizations the i Ko importantly, in problem C. Also, used counting cardinality Erdös, is set. P. thing finite the main the by [ where s developed [5], Rado, [1], the theory [10], In well-known [7], e.g. mention for shadow. (see sets the questions finite analytical in uses peared combinatorics are and inter spaces mathematics many pap topological discrete but topological finite functions, modern of cardinal of erties type Most infinity [8]). with cerned e.g. w (see relations functions their nal and spaces topological of investigations eore eeomn BDB ne rn o 2221-1059B2 no: grant under n.pr (BIDEB) 000362, (TÜ Development Turkey Resources 920160 of Council 9 Research Technological grant and Institut Scientific Applicazioni Loro 185986, e per grant Nazionale Geometriche discovery Gruppo Severi, Francesco (NSERC) (INdAM) Matematica Canada of Council property. inclusion-exclusion NEVLUCRANISI IIETOPOLOGICAL FINITE IN UNCERTAINTIES INTERVAL itrcly adnlt onigpolm ndsrt m discrete in problems counting cardinality Historically, conn are decades five last of trends point-set the In 2010 h eerhhsbe upre yteNtrlSine Eng & Sciences Natural the by supported been has research The phrases. and words Key ADNLT SIAIN FST WITH SETS OF ESTIMATIONS CARDINALITY ahmtc ujc Classification. Subject Mathematics xrml icnetdadhpronce oooia sp topological hyperconnected and disconnected extremely ia ubr fnnmt esi nt non- finite in sets nonempty of numbers dinal Abstract. e.I hsppr egv e eut o h cardinalities the non- for in results sets new give semi-open and we empty paper, this the cardinal In on known set. with based set estimations finite interval a give For analysis. interval using nti ae,w aeetbihdbudre fcar- of boundaries established have we paper, this In ..PTR N ..DOCHVIRI I.J. AND PETERS J.F. iiest,cria ubr nevlmathematics, interval number, cardinal sets, Finite 1. Introduction SPACES T 1 1 oooia pcsa ela in as well as spaces topological rmr 42,Scnay05A19. Secondary 54A25, Primary T 1 oooia spaces topological İA)SinicHuman Scientific BİTAK) eSrtueAlgebriche, Strutture le ].Hr eshould we Here 6]). tU21/006and 2016/000036 U ot 11301223. ainl iAlta di Nazionale o t nnt cardi- infinite ith teaisand athematics neigResearch ineering aces. ,B A, t r widely are ets fnon- of t,we ity, [14]. y fthe of ninclusion- wn aual ap- naturally sigprop- esting r r con- are ers h given the n ce with ected ehave we , m time ame R. d 2 J.F.PETERSANDI.J.DOCHVIRI

card(A∪B)= card(A)+card(B)−card(A∩B). This inclusion-exclusion formula is applicable, provided the exact values of cardinalities are known (see e.g. [5], [4]). However, estimations of the cardinalities of correspond- ing sets may be necessary in cases where only imprecise set-cardinality information about cardinals of involved sets is available. Such a situation arises when we consider big data sets, molecular structures and so on. In this paper, we give results for cardinal estimations for the closure and interior of nonempty sets and nonempty semi-open sets in non-T1 topo- logical spaces as well as for nonempty sets in extremely disconnected and hyperconnected topological spaces.

2. Preliminaries In the [12], R. Moore developed interval mathematics for computational problems, where parameters of investigating models are uncertain and we are only able to describe parameters by closed interval estimations. Below we shortly recall basic operations of interval arithmetic. Let a1,a2,b1,b2, x ∈ R. A closed interval of the reals is denoted by [a1,a2] = {x ∈ R : a1 ≤ x ≤ a2}. From [12], we have following interval arithmetic:

(1) [a1,a2] + [b1,b2] = [a1 + b1,a2 + b2];

(2) [a1,a2] − [b1,b2] = [a1 − b2,a2 − b1];

(3) [a1,a2]×[b1,b2] = [minP, maxP ], where P = {a1b1,a1b2,a2b1,a2b2}; [a1,a2] a1 a2 (4) If 0 ∈/ [b1,b2], then [b1,b2] = [ b2 , b1 ].

It should be especially notice that any real number k is identified with interval [k, k]. Moreover, if a1 and b1 are non-negative real numbers then interval multiplication (3) should be change in the following way [a1,a2]× [b1,b2] = [a1b1,a2b2]. There are established several important computational differences of the interval arithmetic from real one, but we do not need more information than we present here about interval mathematics.

Below the sets of natural and rational numbers are denoted by symbols N and Q, but N0 = N ∪{0}. For a rational number q ∈ Q we have to use two well-known notations: ⌊q⌋ = max{m ∈ Z|m ≤ q} and ⌈q⌉ = min{n ∈ Z|n ≥ q}.

For topological spaces we use notions from [2]. If O ⊂ X is nonempty open subset of a (X, τ) then we will write O ∈ τ\{∅}. Also, in a topological space (X, τ) denote by cl(A) closure (resp. int(A) CARDINALITY ESTIMATIONS OF FINITE SETS 3

interior of) A ⊂ X, which is minimal closed (resp. maximal open) set con- taining (resp. contained in) a set A. Recall that a topological space (X, τ) is T1 space if and only if {x} is , for every x ∈ X. Therefore, in T1 space (X, τ) we have {x} = cl({x}). For the finite non-T1 topologi- cal spaces cardinal estimations using closure and interior operators is less lightened part of extremal set theory [9]. Naturally, if we know about a set A that both of estimations card(A) ∈ [a1,a2] and card(A) ∈ [b1,b2] are valid, where [a1,a2] ∩ [b1,b2] 6= {∅} then we should declare card(A) ∈ [max{a1,b1},min{a2,b2}]. Theorem 2.1. Let A ⊂ B be subsets of a set X where card(X)= n and card(A) ∈ [a1,a2]. Then card(B) ∈ [a1 +1,n − 1]. Proof. It is obvious that A ⊂ B implies that card(A) < card(B). Since the minimal value of cardinality of a set A can be equal to a1, then a1 +1 ≤ card(B). On the other hand we have, B ⊂ X and card(B) < card(X)= n. Hence it can be write card(B) ≤ n − 1. 

Theorem 2.2. Let A, B and C be finite subsets of a set X such that C = A × B, card(C) ∈ [c1,c2] and card(A) ∈ [a1,a2]. Then card(B) ∈ c1 c2 [⌈ a2 ⌉, ⌊ a1 ⌋]. Proof. Since for Cartesian product C = A×B we can write following car- card(C) dinal equality: card(B)= card(A) , then applying above mentioned opera- c1 c2 N c1 c2 tion of the interval division we get card(B) ∈ [ a2 , a1 ] ∩ 0 = [⌈ a2 ⌉, ⌊ a1 ⌋]. 

Theorem 2.3. Let X = A ∪ B be a finite set with card(X) ∈ [m,n], but card(A) ∈ [a1,a2] and card(B) ∈ [b1,b2]. Then card(A ∩ B) ∈ [a1 + b1 − n,a2 + b2 − m] ∩ N0. Proof. Applying famous inclusion-exclusion formula, we can write card(A∩ B) = card(A)+ card(B) − card(A ∪ B) = card(A)+ card(B) − [m,n]. By substitution of given cardinal estimations we obtain card(A ∩ B) ∈ [a1 + b1 − n,a2 + b2 − m] ∩ N0. 

3. Main Results

Below we will work with topological spaces which are not even T1 . Examples of such topological spaces are known in the point- set topology as T0 and R0 spaces.

Theorem 3.1. Let a topological space (X, τ) be a non-T1 space such that card(X)= n. Then the closure card(cl(A)) ∈ [2m,n], for every nonempty n A ⊂ X with card(A)= m ∈ [1, ⌊ 2 ⌋]. 4 J.F.PETERSANDI.J.DOCHVIRI

Proof. It is known that in T1 topological space (X, τ) with card(X) = n we have card(cl(x)) = 1, for every x ∈ X. Therefore, in view our conditions we conclude that card(cl(x)) > 1, for every x ∈ X. Hence n ≥ card(cl(x)) ≥ 2, for every x ∈ X. Note that for the set A = {a1,a2, ..., am} we can write its closure as following: cl(A) = cl(a1) ∪ cl(a2) ∪ ... ∪ cl(am). Therefore, the inequalities hold n ≥ card(cl(A)) = card(cl(a1)) + card(cl(a2)) + ... + card(cl(am)) ≥ 2m. 

Theorem 3.2. Let a topological space (X, τ) be a non-T1 space with n card(X) = n and A ⊂ X be such that card(A) = p ∈ [⌈ 2 ⌉,n]. If card(cl(x)) ∈ [2, kx], for any point x ∈ (X \ A) then

card(int(A)) ∈ [0, 2p − n], if n ≤ Px∈(X\A) kx

and

card(int(A)) ∈ [n − Px∈(X\A) kx, 2p − n], if Px∈(X\A) kx

Proof. Assume that X = {x1, x2, ..., xn} and A = {x1, x2, ..., xp}. It is known that int(A)= X \ cl(X \ A). Since card(X \ A)= n − p then using Theorem 3.1. we can write card(cl(X \ A)) ∈ [2(n − p),n]. But, taking into account condition card(cl(xi)) ∈ [2, ki],i = p +1,n we obtain better estimation than previous, namely: card(cl(X \ A)) = card(cl(xp+1)) + card(cl(xp+2)) + ... + card(cl(xn)) ∈ [2, kp+1] + [2, kp+2]+ ... + [2, kn] = n [2(n − p),min{n, Pi=p+1 ki}]. n It is clear that if n ≤ Pi=p+1 ki then card(cl(X \ A)) ∈ [2(n − n p),n]. Hence we get card(int(A)) ∈ [0, 2p − n]. If Pi=p+1 ki < n then n card(cl(X \ A)) ∈ [2(n − p), Pi=p+1 ki] and we obtain card(int(A)) ∈ n  [n − Pi=p+1 ki, 2p − n]. Recall that a set A of a topological space (X, τ) is called semi-open if there exists O ∈ τ\{∅} such that O ⊂ A ⊂ cl(O) [11]. The complement of an semi- is called semi-closed. The class of all semi-open (resp. semi-closed) subsets of a space (X, τ) we denote usually as SO(X) (resp. SC(X)). It can be easily to verify that A ∈ SO(X) if and only if A ⊂ cl(intA), but B ∈ SC(X) if and only if int(clB) ⊂ B.

Theorem 3.3. Let (X, τ) be a non-T1 finite topological space with card(X)= n and A ∈ SO(X). Then there exists k ∈ N such that card(A) ∈ n [k +1, 2k − 1], where k ∈ [1, ⌊ 2 ⌋]. Proof. For a set A ∈ SO(X) we can choose O ∈ τ\{∅} such that O ⊂ A ⊂ cl(O). Hence card(O) < card(A) < card(cl(O)) ≤ n. Denote by k = card(O), then it is obvious that k ∈ [1,n − 1]. Hence card(A) ∈ CARDINALITY ESTIMATIONS OF FINITE SETS 5

[k +1,n − 1], but by Theorem 3.1. we can write card(clO) ∈ [2k,n]. Note n that the inequality 2k

A topological space (X, τ) is called extremally disconnected (shortly, E.D. space) if cl(O) ∈ τ, for every O ∈ τ. It can be easily verify that (X, τ) is E.D. topological space if and only if cl(O1) ∩ cl(O2) = ∅, for every pair of disjoint open sets O1 and O2 [2].

Theorem 3.4. Let (X, τ) be a non-T1, E.D. topological space with card(X) ∈ [m,n] and A, B ∈ τ\{∅} be the disjoint sets with card(A) ∈ [a1,a2] and card(B) ∈ [b1,b2]. Then card(cl(A ∪ B)) ∈ [2a1 +2b1,n] ∩ N0. Proof. First we write card(cl(A ∪ B)) = card(cl(A)) + card(cl(B)) − card(cl(A) ∩ cl(B)). Using E.D. of (X, τ) we get card(cl(A) ∩ cl(B))=0. Therefore we have card(cl(A ∪ B)) = card(cl(A)) + card(cl(B)). Now using Theorem 3.1. we get card(cl(A∪B)) ∈ [[2a1+2b1, 2a2+2b2], [m,n]]∩ N0 = [2a1 +2b1,n] ∩ N0.  A topological space (X, τ) is called hyperconnected if cl(O) = X, for every O ∈ τ \{∅}. It is obvious that (X, τ) is hyperconnected if and only if O1 ∩ O2 6= {∅}, for any pair of O1, O2 ∈ τ \ {∅}. Theorem 3.5. Let (X, τ) be a hyperconnected topological space with card(X) ∈ [m,n]. If X = O1 ∪ O2, where O1, O2 ∈ τ\{∅} are sets with card(O1) ∈ [a1,a2] and card(O2) ∈ [b1,b2]. Then card(O1 ∩ O2) ∈ [a1 + b1 − n,a2 + b2 − m] ∩ N0.

Proof. Since in the hyperconnected space (X, τ) we have O1 ∩ O2 6= ∅, for any pair of O1, O2 ∈ τ \ {∅} then it takes place following equality: card(O1 ∩O2)= card(O1)+card(O2)−card(O1 ∪O2) = [a1,a2]+[b1,b2]− [m,n] = [a1 + b1 − n,a2 + b2 − m] ∩ N0. 

References

[1] I. Anderson, Combinatorics of Finite Sets. N.Y.: Dover Publications, Inc., 2002, 250 pp., MR0892525 [2] A. V. Arhangel’skii and V. I. Ponomarev, Fundamentals of : Problems and Exercises, Dordecht-Boston-Lancaster: D. Reidel Publishing Com- pany, (2006), 456 pp., Amer. Math. Soc. MR3075111 [3] I. Dochviri, Computer Mathematics. Logical and point-set topological construc- tions (in Georgian), Tbilisi, Technical University Press, 2008, 143 p. [4] I. Dochviri and J.F. Peters, Topological Sorting of Finitely Near Sets, Mathe- matics in Computer Sciences, 10(2), (2016), 273–277, MR3507604, zbMATH Zbl 1345.54020 6 J.F.PETERSANDI.J.DOCHVIRI

[5] K. Dohmen, Improved Inclusion-Exclusion Identities via Closure Operators, Dis- crete Mathematics and Theoretical Computer Science, 4(1), (2000), 61–66, MR1778018 [6] K. Dohmen, Improved Bonferroni Inequalities via Abstract Tubes. Inequalities and identities of inclusion-exclusion type., Springer-Verlag: Lecture Notes in Mathe- matics, v. 1826, 2003, 111 pp., Zbl 1026.05009 [7] P. Erdös, C. Ko and R. Rado, Intersection Theorems for Systems of Finite Sets, Quart. J. Math. Oxford, 12(2), (1961), 313–320, MR0140419 [8] I. Juhasz, Cardinal Functions in Topology-Ten Years Later (2nd printing), Ams- terdam: Mathematical Centre Tracts, 123), (1983), 160 pp., MR0576927 [9] S. Jukna, Extremal Combinatorics. With Applications in Computer Science (2nd ed), Berlin: Springer, 20(1), (2011), 411 pp., MR2865719 [10] G. O. H. Katona, A Simple Proof of The Erdos-Chao Ko-Rado Theorem, J. Com- binatorial Theory, 13(2), (1972), 183–184, MR0304181 [11] N. Levine, Semi-Open Sets and Semi-Continuity in Topological Spaces, The American Mathematical Monthly, 70(1), (1963), 36–41,MR0166752 [12] R.E. Moore, Interval Analysis. Englewood Clifs, N.J.: Prentice-Hall, Inc. XI, 1966, 145 pp, MR0231516 [13] S.A. Naimpally and J.F. Peters, Topology with Applications. Topological spaces via near and far, World Scientific, Singapore, 2013, xv + 277 p., Amer. Math. Soc. MR3075111 [14] D. Q. Naiman and H. P. Wynn, Inclusion-Exclusion-Bonferroni Identities and In- equalities for Discrete Tube-Like Problems via Euler Characteristics, The Annals of Statistics, 20(1), (1992), 43–76,MR1150334

Department of Electrical and Computer Engineering, University of Manitoba and Department of Mathematics, Faculty of Arts and Sciences, Adýyaman University, 02040 Adýyaman, Turkey E-mail address: [email protected]

Department of Mathematics; Caucasus International University; Tbilisi, Georgia E-mail address: [email protected]