Survey
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
Bhat & Das, Cogent Mathematics (2015), 2: 1092695 http://dx.doi.org/10.1080/23311835.2015.1092695 PURE MATHEMATICS | RESEARCH ARTICLE Some new higher separation axioms via sets having non-empty interior Pratibha Bhat1 and Ananga Kumar Das1* Received: 24 August 2015 Accepted: 03 September 2015 Published: 02 October 2015 *Corresponding author: Ananga Kumar Das, School of Mathematics, Shri Mata Vaishno Devi University, Katra, 182320 Jammu and Kashmir, India E-mail: [email protected] Reviewing editor: Lishan Liu, Qufu Normal University, China Additional information is available at the end of the article Abstract: Some new higher separation axioms called β-normal, sβ-normal, and w β-normal are introduced by using a newly defined closure operator called β-closure operator and interrelation among these variants of normality are established. It is also observed that the class of π -normal spaces contains all these variants of normality. Subjects: Advanced Mathematics; Geometry; Mathematics Statistics; Pure Mathematics; Science; Topology Keywords: β-closure operator; β-closed sets; β-normal spaces; sβ-normal spaces; w β-normal spaces; T1β; T2β; β-regular AMS subject classifications: 54D15; 54D10 1. Introduction Several forms of higher separation axioms exist in the topology literature in which closed sets or generalized closed sets are separated by open sets. These closed sets are complement of open sets (or generalized open sets). These forms of generalized open sets such as semi-open sets (π½-open sets), πΌ-open sets (πΌ-sets), feebly open sets, pre-open sets, etc. have been introduced and utilized to study general topology in the past. Interior of these closed sets (or generalized closed sets) need not be non-empty, whereas interior of a non-empty regularly closed (or canonically closed) set is always non-empty. In this paper, some higher separation axioms are introduced and studied by separating sets with non-empty interior which are obtained through a generalized closure operator called β -closure operator. It is evident from Smyth (1995) that topological structures that are more general than the usual topology are worthy of study because they can provide a suitable framework for various approaches to digital topology. Cech (1966) introduced Cech closure operator which are obtained from the Kuratowski ones by omitting the requirement of idempotency. Liu (2010), studied ABOUT THE AUTHORS PUBLIC INTEREST STATEMENT Pratibha Bhat obtained her MSc in Mathematics from Shri Mata Vaishno Devi University and presently working as a research scholar. Ananga Kumar Das obtained his PhD degree in Mathematics from University of Delhi in 2003 and presently working as a faculty member in Shri Mata Vaishno Devi University, Jammu and Kashmir, India. He has written several research papers in General Topology which has been published in International Journals. In the topological literature several forms of closed sets exist which has been utilized by researchers to study various topological properties. Interior of these closed sets need not be non-empty, whereas interior of a non-empty regularly closed (or canonically closed) set is always non-empty. In this paper, some higher separation axioms are introduced and studied by separating sets with non-empty interior which are obtained through a generalized closure operator. It is observed that this class of space is independent of the class of normal topological spaces. In contrary to normality, it is shown that this class of space neither contains the class of compact Hausdorff spaces nor contains the class of metrizable spaces. © 2015 The Author(s). This open access article is distributed under a Creative Commons Attribution (CC-BY) 4.0 license. Page 1 of 9 Bhat & Das, Cogent Mathematics (2015), 2: 1092695 http://dx.doi.org/10.1080/23311835.2015.1092695 representation of closure concepts via relations and established a one to one correspondence between quasi-discrete closures (Galton, 2003; Slapal, 2003) and reflexive relations. In this paper, the authors introduced some new higher separation axioms including β-normal spaces and it is observed that this class of space is independent of the class of normal topological spaces. In contrary to normality, it is shown that the class of β-normal spaces neither contains the class of compact Hausdorff spaces nor contains the class of metrizable spaces. Further, it is obsereved in Das (2013) that the class of π -normal spaces contains several generalizations of normality such as densely normal spaces (Arhangelβskii, 1996), Ξ-normal spaces (Das, 2009), quasi normal spaces (Kalantan, 2008), π-normal spaces (Kalantan, 2008), and almost normal spaces (Singal & Arya, 1970). In this paper, we have shown that the important class of π -normal spaces also contains the class of β-normal spaces which is independent of normality. Throughout the present paper no sepao ration axiom is assumed unless stated otherwise. Interior of a set A in X is either denoted by A or Μ intX (A). Similarly, closure of a set A in X is denoted by clX (A) or A. 2. Preliminaries Definition 2.1βLet X be any topological space, then an operator β : P(X)βP(X) defined by β(A) = cl(Ao ) is known as β-closure operator. It can be easily verified that β-closure operator satisfies the following axioms: (1)βMonotone i.e. A β B βΉ β(A) β β(B) for every A, B βX. (2)βIdempotence i.e. β(β(A)) = β(A) for every A βX. (3)βJoin homomorphism i.e. β(A βͺ B) = β(A) βͺ β(B) for every A, B βX. But β-closure operator need not satisfy inflationary axiom and meet homomorphism, since there exist topological spaces in which β(A) need not contain A and β(A β© B) need not be equal to β(A) β© β(B) which are evident from the below-mentioned examples. Example 2.2βLet X = {a, b, c} and πX = {οΏ½, X, {a}, {b, c}}. For A = {a, b}, β(A) = {a}. Thus β(A) does not contain A. Example 2.3βLet X be the real line with usual topology and let A = [0, 1] and B = [1, 2]. Then β(A) β© β(B) = {1} and β(A β© B) = π. Thus β(A β© B) β β(A) β© β(B). From the above example it is clear that β(A) is non-inflationary, whereas β(A) satisfies any one of the following cases: (Case I:)(1)βA = β(A). (Case II:)(2)βA β β(A). (Case III:)(3)ββ(A) β A. For any topological space if a set satisfies Case I, then the set is regularly closed (Kuratowski, 1958), if it satisfies Case II, then the set is semi-open (Levine, 1963) (semi-open sets are referred as π½-sets in Njastad 1965) and sets satisfying Case III are known as pre-closed sets (Mashhour, Abd El-Monsef, & El-Deeb, 1982). Definition 2.4β(Mashhour et al., 1982) A subset A of a topological space X is said to be pre-closed if β(A) β A. Definition 2.5βA subset A of topological space X is said to be β-closed if int(A) β οΏ½ and β(A) β A. Complement of a β-closed set is said to be β-open. Page 2 of 9 Bhat & Das, Cogent Mathematics (2015), 2: 1092695 http://dx.doi.org/10.1080/23311835.2015.1092695 Definition 2.6βLet X be a topological space and A be a subset of X. Then a point x in X is said to be β -limit point of A if for every open neighborhood Ux around x there exists an non-empty open set V in X such that V β A and V β© Ux is not empty. Remark 2.7βLet X be a topological space and A β X then A is β-closed iff A contains all its β-limit points. Every β-limit point of a set A is a limit point of the set but the converse need not to be true. Example 2.8βLet X = R with co-finite topology and A = [0, 1], here {2} is a limit point of A but not a β -limit point of A because open sets around {2} does not intersect any open set inside A. From the above definition it is obvious that every β-closed set is pre-closed but the converse need not to be true. Further every closed set is pre-closed but β-closed sets are independent of closed sets. The following implications are obvious from the definitions. Example 2.9βA set which is pre-closed but not β-closed. Let X = {a, b, c} and πX = {X, π, {b, c}} be the topology on X, then A = {a, b} is a pre-closed set which is not β-closed in X as int(A) = π . Example 2.10βA set which is closed but not β-closed. Let X = {a, b, c} and πX = {X, π, {a}, {c}, {a, c}}. Then A = {b} is closed but not β-closed in X as int(A) = π. Example 2.11βA set which is β-closed but not closed. Let X = {a, b, c} and πX = {X, π, {a}, {b, c}} be the topology on X, then A = {a, b} is not closed in X but is β-closed as int(A) β π and β(A) = {a} β A. Proposition 2.12βA subset U of X is β-open iff U is pre-open and U β X . Proposition 2.13βLet X be a topological space and A and B be two β-closed sets in X then A βͺ B is β -closed. Remark 2.14βIntersection of two β-closed sets need not be β-closed in X. Let X be the real line with usual topology and let A = [0, 1] and B = [1, 2]. Then A and B are regularly closed, thus β-closed but A β© B = {1} is not β-closed. Remark 2.15βUnion of two β-open sets need not be β-open. Let X be the real line with usual topology and let A = (ββ, 0), B = (β1, β). Then A, B are both β-open whereas A βͺ B is not β-open as A βͺ B = X. 3. Some higher separation axioms Definition 3.1βA topological space X is said to be β-normal if every pair of disjoint β-closed sets can be separated by disjoint open sets. (1)β(2)βstrongly β-normal (sβ-normal) if every pair of disjoint pre-closed sets can be separated by disjoint open sets. Page 3 of 9 Bhat & Das, Cogent Mathematics (2015), 2: 1092695 http://dx.doi.org/10.1080/23311835.2015.1092695 (3)βweakly β-normal (w β-normal) if every pair of disjoint closed sets whose interior is non-empty can be separated by disjoint open sets. Recall that a space X is completely normal if every pair of separated sets can be separated by disjoint open sets and a space X is π -normal (Stchepin, 1972) (mildly normal (Singal & Singal, 1973)) if every pair of disjoint regularly closed sets can be separated by disjoint open sets. Lemma 3.2βA topological space X is β-normal iff for every β-closed set A contained in a β-open set U there exists an open set V such that A β V β V β U. Since every regularly closed set is β-closed and closure of every open set is regularly closed, the proof of the following theorem is analogous to the proof of Urysohnβs lemma. Theorem 3.3βA topological space X is β-normal iff for every pair of disjoint β-closed sets there exists a continuous function f : X β [0, 1] such that f (A) = 0 and f (B) = 1. ProofβLet X be a β-normal space and A, B be two disjoint β-closed sets in X. Then A β X β B = U1 (say). Since U1 is a β-open set containing the β-closed set A, by Lemma 3.2, there exists an open set U 1 such that A β U 1 β U 1 β U1. Since U 1 is closure of an open set, U 1 is regularly closed. Thus U 1 is 2 2 2 2 2 2 a β-closed set contained in a β-open set U1. Since U 1 is a open set which satisfies the condition of o 2 being a β-open set i.e U 1 β X and U 1 β U 1. Thus again applying Lemma 3.2, there exist open sets U 1 2 2 2 4 , U 3 such that A β U 1 β U 1 β U 1 and U 1 β U 3 β U 3 β U1. Thus by continuing this process we obtain 4 4 4 2 2 4 4 for each dyadic rational r, an open set Ur satisfying r β₯ s implies Ur β Us. Let us define a mapping f :X β [0, 1] by { 1 if x β Ur f (x) = inf{x:x β Ur } if x belongs to some Ur . Clearly f (A) = 0 and f (B) = 1. Continuity of f can be proved as in the Urysohnβs Lemma. Conversely, let A and B be two disjoint β-closed subsets of X for which a continuous function f :X β [0, 1] exists satisfying f (A) = 0 and f (B) = 1. Thus f β1 [0, 12 ) and f β1 ( 12 , 1] are two disjoint open sets separating A β‘ and B, respectively. Hence X is β-normal. It is well known that every metrizable space is normal and every compact Hausdorff space is normal, but the following example establishes that these facts need not hold for β-normal spaces. Example 3.4βA metrizable compact Hausdorff space which is not β-normal. Let X be the real line with usual topology and Y = [β2, 2]. Here A = [β2, β1] βͺ {β1βn:n β Z} and B = [1, 2] βͺ {1βn:n β Z} are two disjoint β-closed sets which cannot be separated by disjoint open sets. Thus X is metrizable but not β-normal and the subspace topology on Y is compact Hausdorff but not β-normal. Lemma 3.5βA topological space X is sβ-normal iff for every pre-closed set A contained in a pre-open set U there exists an open set V such that A β V β V β U. ProofβLet A be a pre-closed set in X and U be a pre-open set containing A. Then A and X β U are disjoint pre-closed sets in X and so by sβ-normality of X, there exist two disjoint open sets V and W such that A β V and X β U β W. Now V β© W = π. Thus A β V β X β W β U implies A β V β V β U. Conversely, let A and B be two disjoint pre-closed sets in X. Since X β B is pre-open in X and A β X β B = U, by hypothesis there exists an open set W1 such that A β W1 β W 1 β U. Here W1 and X β W1 are two disjoint open set in X containing A and B, respectively. Thus the space is sβ-normal. β‘ Since every β-closed set is pre-closed, the proof of the following theorem is analogous to the proof of Theorem 3.3. Page 4 of 9 Bhat & Das, Cogent Mathematics (2015), 2: 1092695 http://dx.doi.org/10.1080/23311835.2015.1092695 Theorem 3.6βA topological space X is sβ-normal iff for every pair of disjoint pre-closed sets A and B there exists a continuous function f :X β [0, 1] such that f (A) = 0 and f (B) = 1. Lemma 3.7βA topological space X is w β-normal iff for every closed set A with a non-empty interior contained in an open set U satisfying U β X , there exists an open set V such that A β V β V β U. ProofβLet X be a w β-normal space. Let A be a closed set with intA β π and U be an open set containing A satisfying U β X . Here A and B = X β U are two disjoint closed sets whose interiors are non-empty since X β U β X β U = B. So by w β-normality of X there exist two disjoint open sets V and W such that A β V and X β U β W. Now V β© W = π. Thus A β V β X β W β U which implies A β V β V β U. β‘ The converse part is obvious. The proof of the following theorem is analogous to the proof of Urysohnβs type lemma. Theorem 3.8βA topological space is w β-normal iff for every pair of disjoint closed sets A, B with nonempty interiors there exists a continuous function f :X β [0, 1] such that f (A) = 0 and f (B) = 1. The following implications are obvious from the definitions defined in the present paper and notions defined in Arhangelβskii (1996), Das (2009, 2013), Kalantan (2008), Singal and Arya (1970) but none of these is reversible. Example 3.9βA space which is β-normal but not completely normal. Let X = {a, b, c, d, e} and πX be the topology generated by the subbasic open sets {{a, b}, {b, c}, {d, e}, {e}}. This space is not completely normal because for separated sets {a} and {c } there does not exist disjoint open sets separating them. In this space the β-closed sets are {{a, b, c}, {d, e}, {c, d, e}, {a, d, e}, {a, b, c, d}, {b, d, e}, {a, c, d, e}} and so every pair of disjoint β-closed sets can be separated by disjoint open sets. Hence X is β-normal. Example 3.10βA space which is β-normal but not sβ-normal. Let X be the space as defined in Example 3.9. This space is not sβ-normal because for disjoint preclosed sets {a} and {c, d, e} there does not exist disjoint open sets separating them. Example 3.11βA space which is w β-normal but not β-normal. Let X = {a, b, c, d} and πX be the topology generated by the subbasic open sets {{a}, {d}, {b, c, d}, {a, b, c}}. The space is not β-normal because for disjoint β-closed sets {a, b} and {c, d} there does not exist disjoint open sets separating them. But every pair of disjoint closed sets can be separated by disjoint open sets. Thus the space is normal and so w β-normal. Page 5 of 9 Bhat & Das, Cogent Mathematics (2015), 2: 1092695 http://dx.doi.org/10.1080/23311835.2015.1092695 Example 3.12βA space which is w β-normal but not normal. Example 3.9 is w β-normal but not normal because for disjoint closed sets {a} and {c} there does not exist disjoint open sets separating them. Example 3.13βA space which is normal but not sβ-normal. Example 3.11 is normal but not sβ-normal because for disjoint pre-closed sets {a, b} and {c, d} there does not exist disjoint open sets separating them. Example 3.14βA space which is π -normal but not w β-normal. Let X = {a, b, c, d, e, f } and π be the topology generated by the subbasic open sets {{a}, {a, b, c}, {a, b, c, d}, {e}, {c, d, e}, {b, c, d, e}, {f }}. Here regularly closed sets are {{a}, {b, c, d, e, f }, {e, f }, {a, b, c, d}, {a, b, c, d, f }, {e}, {a, f }, {b, c, d, e}, {a, b, c, d, e}, {f }}. This space is π -normal as every pair of disjoint regularly closed sets can be sparated by disjoint open sets but is not w β-normal because for disjoint closed sets having non-empty interior {a, b} and {d, e} there does not exist disjoint open sets separating them. Example 3.15βA space which is completely normal but neither β-normal nor sβ-normal. The space defined in Example 3.11 is completely normal but is not β-normal because for disjoint β-closed sets {a, b} and {c, d} there does not exist disjoint open sets separating them and is not sβ -normal because for disjoint pre-closed sets {a, b} and {c, d} there does not exist disjoint open sets separating them. From Example 3.4, it is clear that every compact Hausdorff spaces need not be β-normal. Thus it is natural to ask: Which compact Hausdorff spaces are β-normal? It is established in the following result that in the class of door spaces every compact Hausdorff space is β-normal. Recall that a subset A of a space X is locally closed if A is open in its closure in X. A space X is a submaximal space (Bourbaki, 1961) if every subset of X is locally closed. A space X is a door space (Arhangelβskii & Collins, 1995) if every subset of X is open or closed. Clearly, every door space is submaximal. Lemma 3.16βIn a door space every β-closed set is closed. ProofβLet X be a door space and A be a β-closed subset of X. Since X is a door space, A is either open β‘ or closed. If A is open then A = Ao as A is β-closed. Thus A is in either case closed. Theorem 3.17βIn a door space every normal space is β-normal. ProofβThe proof is obvious by Lemma 3.16. β‘ Corollary 3.18βIn a door space, every compact Hausdorff space is β-normal. Since every door space is submaximal it is natural to ask the following question: Question 3.19βDoes there exist a submaximal normal space which is not β-normal? 4. β-Closure operator in lower separation axioms It is well known that in a T1-space every singleton set is closed. Also it is observed in Kohli and Das (2002) that a space is Hausdorff if and only if every singleton set is π-closed. But in contrary to this the following result establishes that if in a space every singleton is β-closed then the space is discrete, thus satisfies all separation axioms. Page 6 of 9 Bhat & Das, Cogent Mathematics (2015), 2: 1092695 http://dx.doi.org/10.1080/23311835.2015.1092695 Theorem 4.1βA topological space X is discrete if and only if every singleton in X is β-closed. ProofβLet X be a discrete space and let x β X . Since X is discrete, every singleton is open. Thus int{x} β π and β{x} β {x}. Hence {x} is not only β-closed but also regularly closed. Conversely, let every singleton in X is β-closed. Then interior of every of singleton set {x} in X is non-empty and so β‘ int{x} = {x}. Hence X is discrete. Definition 4.2βA topological space X is said to be a T1β space if for every distinct points x and y there exist β-open sets U and V such that x β U, y β U and y β V , x β V . Definition 4.3βA topological space X is said to be a T2β space if for every distinct points x and y there exist disjoint β-open sets U and V such that x β U and y β V . From the definitions it is obvious that every T2 space is T1 . β β Theorem 4.4βEvery T2 space is T2β. ProofβLet X be a T2 space and let x, y be two distinct points in X. Then there exist two disjoint open sets o U and V such that x β U and y β V . Since U β© V = π, here U β X, U β U . Similarly, since U β© V = π, we o have V β X and V β U . Thus, by Proposition 2.12, U and V are two disjoint β-open sets in X separating x and y, respectively. Hence X is T2β. β‘ From definitions and above observation the following implications are obvious. T2 βΉ T2β βΉ T1β Example 4.5βA T2β space which is not T2. Let X = {a, b, c} and π = {π, X, {a}, {b}, {a, b}, {b, c}}. Here the β-open sets are {b}, {a}, {c}, {b, c}. Hence the space is T2β but is not T2 even not T1 as distinct points {a} and {c} cannot be separated by open sets. Remark 4.6βFrom the above example it is clear that T1β spaces need not imply T1-ness. Thus it is natural to ask : Does T1-ness imply T1 β-ness? The following example provide answer to this question in negative. Thus the notions T1 and T1 β are independent of each other. Example 4.7βA T1-space which is not T1 . β Let X be an infinite set with co-finite topology. Clearly the space is T1. But the space is not T1β as there does not exists any β-open set in X. Suppose there exists a β-open set U β X in X containing x then there is a point y β U. Thus X β U is a β-closed set containing y. Since X β U is β-closed, int(X β U) β π. Thus X β U contains infinitely many points and so x β (X β U) will become a limit point of (X β U). Hence (X β U) cannot be β-closed and so U cannot be β-open. Definition 4.8βA topological space X is said to be β-regular if for every closed set A and a point x β A there exist disjoint β-open sets U and V such that x β U and A β V . Theorem 4.9βEvery regular space is β-regular. ProofβLet X be a regular space and A be a closed set with x β A. By regularity of X there exist disjoint o open sets U and V such that x β U, A β V. Since U β© V = π. We have U β X and U β U . Thus U is a βo open set. Similarly, V β X and V β V . So U and V are disjoint β-open sets separating x and A, respectively. Hence X is β-regular. β‘ Page 7 of 9 Bhat & Das, Cogent Mathematics (2015), 2: 1092695 http://dx.doi.org/10.1080/23311835.2015.1092695 5. Subspaces and preservation under mapping Let X be a topological space and Y be its subspace then the following example shows that every β-closed subset A of Y need not be β-closed in X. Example 5.1βLet X = {a, b, c, d} and πX = {π, X, {a}, {c}, {a, c}, {a, c, d}}. Let Y = {a, b, c}, then A = {a, b} is β-closed in Y but not β-closed in X. Proposition 5.2βLet X be a topological space and Y be its β-closed subspace, then every β-closed subset of Y is β-closed in X. ProofβLet A be a β-closed set in Y which implies A contains all its β-limit points i.e there does not exists any point x outside A such that every open set in Y around x intersects an open set inside A. Since Y is β-closed in X then there does not exists any point y in X ⧡ Y such that every open set in X around y intersects any open set inside Y. To prove A is β-closed in X, let z β A. Here two cases arises either z β Y or z β X ⧡ Y . In both the cases there exists an open set in X around z which does not β‘ intersect any open set in A. Thus z is not a β-limit point of Y which implies A is β-closed in X. Theorem 5.3βA β-closed subspace of a β-normal space is β-normal. ProofβLet X be a β-normal space and Y be its β-closed subspace. To show that Y is β-normal, let A and B be two disjoint β-closed sets in Y. Since, Y is β-closed subspace of X then A and B are also two disjoint β-closed sets in X. So by β-normality of X there exist two disjoint open sets say U and V in X such that A β U and B β V . Clearly, U β© Y and V β© Y are two disjoint open sets in Y such that A β U β© Y β‘ and B β V β© Y . Thus Y is a β-normal space. Let X be a topological space and Y be its subspace then every closed subset A of Y with intY (A) β οΏ½ need not be closed in X is shown in the following example. Example 5.4βLet X = {a, b, c, d} with πX = {π, X, {a}, {c}, {a, c}, {a, c, d}} and Y = {a, b, c}. Then A = {a, b} is closed in Y with intY (A) β οΏ½ but not closed in X. Theorem 5.5βLet X be a topological space and Y be its closed subspace with intX (Y) β οΏ½, then every closed subset A of Y with intY (A) β οΏ½ is closed in X with intX (A) β οΏ½. ProofβLet Y be a closed subspace of X with intX (Y) β οΏ½ and A be closed in Y with intY (A) β οΏ½. Let intY (A) = U then there exists an open set V in X such that U = V β© Y . Since Y closed in X and intY β β . Let intY = W. Now W β© V is an open set in A so intY A is non-empty and A is closed in X. Therefore A is closed in X with intX (A) β οΏ½. β‘ Theorem 5.6βLet X be a w β-normal space and Y be a closed subspace of X with intX (Y) β οΏ½, then Y is w β-normal. ProofβLet X be a w β-normal space and Y be a closed subspace of X with intX (Y) β οΏ½. To show that Y is w β-normal, let A and B be two disjoint closed sets in Y with intY (A) β οΏ½ and intY (B) β οΏ½. Since Y is closed subspace of X and intX (Y) β οΏ½, A and B are also two disjoint closed sets in X and intX (A) β οΏ½, intX (B) β οΏ½. So by w β-normality of X there exist two disjoint open sets say U and V in X such that A β U and B β V . Clearly, U β© Y and V β© Y are two disjoint open sets in Y such that A β U β© Y and B β V β© Y . β‘ Thus, Y is a w β-normal space. Let X be a topological space and Y be its subspace then every pre-closed subset A of Y need not be pre-closed in X is evident from Example 5.4, in which A is preclosed in Y but not pre-closed in X. Theorem 5.7βLet X be a topological space and Y be its pre-closed subspace, then every pre-closed subset of Y is pre-closed in X. Page 8 of 9 Bhat & Das, Cogent Mathematics (2015), 2: 1092695 http://dx.doi.org/10.1080/23311835.2015.1092695 Theorem 5.8βA pre-closed subspace of a sβ-normal space is sβ-normal. ProofβLet X be a sβ-normal space and Y be its pre-closed subspace. To show that Y is sβ-normal, let A and B be two disjoint pre-closed sets in Y. Since Y is pre-closed subspace of X, A and B are also two disjoint pre-closed sets in X. So by sβ-normality of X, there exist two disjoint open sets say U and V in X such that A β U and B β V . Clearly, U β© Y and V β© Y are two disjoint open sets in Y such that A β U β© Y β‘ and B β V β© Y . Thus Y is a sβ-normal space. Theorem 5.9βA continuous clopen image of a β-normal space is β-normal. ProofβLet X be a β-normal space and f :X β Y be a continuous, closed and onto map. To show that Y is β-normal, let A and B be two disjoint β-closed sets in Y. Then f β1 (A) and f β1 (B) are disjoint β-closed sets in X. Since X is β-normal, there are two disjoint open sets U and V in X such that f β1 (A) β U and f β1 (B) β V . Also, since f is closed map, f (X ⧡ U)and f (X ⧡ V) are closed in Y. Clearly S = Y ⧡ f (X ⧡ U) and T = Y ⧡ f (X ⧡ V) are open sets in Y such that A β S and B β T. Also S β© T = (Y ⧡ f (X ⧡ U)) β© (Y ⧡ f (X ⧡ V)) = Y ⧡ f [(X ⧡ U) βͺ f (X ⧡ V)] = Y ⧡ f (X) = Y ⧡ Y = π which implies S β© T = π. This proves that Y is β-normal. β‘ Funding The authors received no direct funding for this research. Author details Pratibha Bhat1 E-mail: [email protected] Ananga Kumar Das1 E-mail: [email protected] 1 School of Mathematics, Shri Mata Vaishno Devi University, Katra, 182320 Jammu and Kashmir, India. Citation information Cite this article as: Some new higher separation axioms via sets having non-empty interior, Pratibha Bhat & Ananga Kumar Das, Cogent Mathematics (2015), 2: 1092695. References Arhangelskii, A. V. (1996). Relative topological properties and relative topological spaces. Topology and its Applications, 70, 87β99. Arhangelβskii, A. V., & Collins, P. J. (1995). On submaximal spaces. Topology and its Applications, 64, 219β241. Bourbaki, N. (1961). Topologie Generale [General topology] (3rd ed., Actualites Scientifiques et Industrielles No. 1142). Paris: Hermann. Cech, E. (1966). Topological spaces. Chichester: Wiley. Das, A. K. (2009). β-Normal spaces and decompositions of normality. Applied General Topology, 10, 197β206. Das, A. K. (2013). A note on spaces between normal and ΞΊ-normal spaces. Filomat, 27, 85β88. Galton, A. (2003). A generalized topological view of motion in discrete space. Theoretical Computer Science, 305, 111β134. Kalantan, L. N. (2008). Ο-Normal topological spaces. Filomat, 22, 173β181. Kohli, J. K., & Das, A. K. (2002). New normality axioms and decompositions of normality. Glasnik Matematicki, 37, 165β175. Kuratowski, C. (1958). Topologie I. New York, NY: Hafner. Levine, N. (1963). Semiopen sets and semicontinuity in topological spaces. American Mathematical Monthly, 70, 36β41. Mashhour, A. S., Abd El-Monsef, M. E., & El-Deeb, S. N. (1982). On precontinuous and weak precontinuous mappings. Proceedings of the Mathematical and Physical Society of Egypt, 53, 47β53. Liu, G. (2010). Closures and topological closures in quasi-discrete closure spaces. Applied Mathematics Letters, 23, 772β776. Njastad, O. (1965). On some classes of nearly open sets. Pacific Journal of Mathematics, 15, 961β970. Singal, M. K., & Arya, S. P. (1970). On almost normal and almost completely regular spaces. Glasnik Matematicki, 5, 141β152. Singal, M. K., & Singal, A. R. (1973). Mildly normal spaces. Kyungpook Mathematical Journal, 13, 27β31. Slapal, J. (2003). Closure operation for digital topology. Theoretical Computer Science, 305, 457β471. Smyth, M. B. (1995). Semi-metrics, closure space and digital topology. Theoretical Computer Science, 151, 257β276. Stchepin, E. V. (1972). Real valued functions and spaces close to normal. Siberian Mathematical Journal, 13, 1182β1196. © 2015 The Author(s). This open access article is distributed under a Creative Commons Attribution (CC-BY) 4.0 license. You are free to: Share β copy and redistribute the material in any medium or format Adapt β remix, transform, and build upon the material for any purpose, even commercially. The licensor cannot revoke these freedoms as long as you follow the license terms. Under the following terms: Attribution β You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use. No additional restrictions You may not apply legal terms or technological measures that legally restrict others from doing anything the license permits. Page 9 of 9