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
Archives Des Sciences Vol 65, No. 9;Sep 2012 New Characterization Of Kernel Set in Topological Spaces Luay A. Al-Swidi Mathematics Department, College of Education For Pure Sciences University of Babylon E-mail:[email protected] Basim Mohammed M. Mathematics Department, College of Education For Pure Sciences University of Babylon E-mail: [email protected] ABSTRACT: In this paper we introduce a kernelled point, boundary kernelled point and derived kernelled point of a subset A of X, and using these notions to define kernel set of topological spaces. Also we introduce ππ-topological space .The investigation enables us to present some new separation axioms between π0 and π1 -spaces. Key: kernelled point, boundary kernelled point, derived kernelled point, Kernel set, weak separation axioms, π 0 -space. 1. INTRODUCTION AND PRELIMINARIES In the recent papers kernel of a set A (kerβ‘ (π΄))of a topological space defined as the intersection of all open superset of π΄. [2],[3]. In this paper we introduce that π₯ β π is a kernelled point of a subset π΄ of π (Briefly π₯ β ker(π΄)) . Also we present the notions boundary kernelled point of A denoted it π₯ β ππππ (π΄), and π₯ is derived kernelled point of π΄ denoted it ππππ (π΄), we obtain that the kernel of a set π΄ in topological space(π, π) is a union of π΄ itself with the set of all boundary kernelled points (Briefly ππππ (π΄)). Also it is a union of π΄ itself with the set of all derived kernelled points (Briefly ππππ (π΄)), and we gave some result of π 0 -space 1 , 2 , [4]], by using these notions. Also in this paper we introduce kr-topological space iff kernel of a subset A of X is an open set. Via this kind of topological space we give a new characterization of separation axioms lying between π0 and π1 -spaces. π«πππππππππ π. π π, π, π A topological space (π, π) is called an π π -space if for each open set π and π₯ β π then ππ{π₯} β π. π³ππππ π. π [π] Let (π, π) be topological space then π₯ β ππ π¦ πππ π¦ β ker π₯ . for each π₯ β π¦ β π π»ππππππ π. π [π] A topological space (X, T) is a T 1-space if and only if for each π₯ β π then πππ{π₯} = {π₯}. 244 ISSN 1661-464X Archives Des Sciences Vol 65, No. 9;Sep 2012 2. Kernel set π«πππππππππ π. π Let (X,T) be a topological space. A point π₯ is said to be kernelled point of π΄(Briefly π₯ β ker(π΄)) iff for each F closed set contains π₯, then πΉβπ΄ β β . π«πππππππππ π. π Let (X,T) be a topological space. A point π₯ is said to be boundary kernelled point of π΄(Briefly π₯ β krbd (π΄)) iff for each F closed set contains π₯, then πΉβπ΄ β β and πΉβπ΄π β β . π«πππππππππ π. π Let (X,T) be a topological space. A point π₯ is said to be derived kernelled point of π΄ (Briefly π₯ β krdr (π΄)) iff for each F closed set contains π₯, then π΄βπΉ β {π₯} β β . π«πππππππππ π. π We can define kerβ‘{π₯} as follows ker π₯ = {π¦: π₯ β πΉπ¦ , πΉπ¦π β π}. π»ππππππ π. π Let (π, π) be a topological space and π₯ β π¦ β π. Then π₯ is a kernelled point of π¦ iff π¦ is an adherent point of {x}. π·ππππ Let π₯ be a kernelled point of {π¦}. Then for every closed set πΉ such that π₯ β πΉimplies π¦ β πΉ,then π¦ β β πΉ: π₯ β πΉ , this means π¦ β ππ{π₯}. Thus π¦ is an adherent point of {x}. πͺπππππππππ Let π¦ be an adherent point of {π₯}. Then for every open set π such that π¦ β πimplies π₯ β π,then π₯ β β π: π¦ β π , this means π¦ β πππ{π₯}. Thus π₯ is a kernelled point of {y}. π»ππππππ π. π Let (π, π) be a topological space and π΄ β π and let krdr (π΄) be the set of all kernelled derived point of π΄, then ker π΄ = π΄βkrdr (π΄). π·ππππ Let π₯ β π΄βkrdr (π΄) and if π₯ β krdr (π΄) , then for every closed set πΉ intersects π΄ (in a point different fromπ₯). Therefore π₯ β ker{π₯}. Hence krdr (π΄) β ker(π΄), it follows that Aβkrdr (π΄) β ker(π΄). To demonstrate the reverse inclusion, we let π₯ be a point of ker(π΄). If π₯ β π΄, then π₯ β π΄βkrdr (π΄). Suppose that π₯ β π΄. Since π₯ β ker(π΄), then for every closed set πΉ containing π₯ implies πΉβπ΄ β β , this means π΄βπΉ β {π₯} β β . Then π₯ β krdr (π΄) , so that π₯ β π΄βkrdr (π΄). Hence ker(π΄) β Aβkrdr (π΄). Thus ker π΄ = π΄βkrdr (π΄). π»ππππππ π. π Let (π, π) be a topological space and π΄ β π and let krbd (π΄) be the set of all kernelled boundary point of π΄, then ker π΄ = π΄β krbd (π΄). π·ππππ Let π₯ β π΄β krbd (π΄) and if π₯ β krbd (π΄) , then for every closed set πΉ intersects π΄. Therefore π₯ β ker{π₯}. Hence krbd (π΄) β ker(π΄), it follows that Aβ krbd (π΄) β ker(π΄). To demonstrate the reverse inclusion, we let π₯ be a point of ker(π΄). If π₯ β π΄, then π₯ β π΄β krbd (π΄). Suppose that π₯ β π΄.implies π₯ β π΄π . Since π₯ β ker(π΄), then for every closed set πΉ containing π₯ implies πΉβπ΄ β β and πΉβπ΄π β β . Then π₯ β krbd (π΄) , so that π₯ β π΄β krbd (π΄). Hence ker(π΄) β Aβ krbd (π΄). Thus ker π΄ = π΄βkrdr (π΄). 245 ISSN 1661-464X Archives Des Sciences Vol 65, No. 9;Sep 2012 π»ππππππ π. π Let (π, π) be a topological space and π΄ is a subset of X. then π΄ is an open set iff every π₯ kernelled point of π΄ is an interior point of π΄. π·ππππ Let π΄ be an open set, then ker(π΄) = π΄ = πππ‘ π΄ , implies every kernelled point is an interior point. πͺπππππππππ Let every π₯ kernelled point of π΄ is an interior point of π΄. Then ker(π΄) β πππ‘(π΄). Hence πππ‘(π΄) β π΄ β ker(π΄), implies πππ‘ π΄ = π΄ = kerβ‘ (π΄). Thus π΄ is an open set πͺππππππππ π. π A subset A of X is an open set iff for each π₯ kernelled point then π₯ β ππ(π΄π ). π·ππππ By theorem 2.8. π»ππππππ π. ππ A subset A of X is a closed set iff for each ker π΄π βππ π΄ = β . π·ππππ Let π΄ is a closed set. Then π΄π is an open set, implies π΄π = ker π΄π [By theorem 2.8]. Hence π΄ = ππ(π΄). Thusker π΄π βππ π΄ = β . πͺπππππππππ Let ker π΄π βππ π΄ = β , then for each π₯ β ker π΄π , implies π₯ β ππ π΄ , implies π₯ β ππ₯π‘ π΄ . Therefore π₯ β πππ‘(π΄π ). Hence by theorem 2.8, π΄π is an open set. Thus π΄ is a closed set. πͺππππππππ π. ππ Every interior point is a kernelled point. π·ππππ Clearly. π»ππππππ π. ππ A topological space(π, π) is an π 0 -space iff every adherent point of {π₯} is a kernelled point of {π₯}. π·ππππ Let (π, π) be an π 0 -space. Then for each π₯ β π, ker{π₯} = ππ π₯ [ By theorem 1.2]. Thus every adherent point of {π₯} is a kernelled point of {π₯} πͺπππππππππ Let every adherent point of {π₯} is a kernelled point of π₯ and let π β π, π₯ β π. Then ππ{π₯} β ker{π₯} for each π₯ β π. Since πππ π₯ = β{π: π β π, π₯ β π}, implies cl{π₯} β π for each π open set contains π₯. Thus (π, π) is an π 0 -space. π»ππππππ π. ππ A topological space (π, π) is π0 -space iff for each π₯ β π¦ β π, either π₯ is not kernelled point of {π¦} or π¦ is not kernelled point of {π₯}. π·ππππ Let a topological space (π, π) is π0 -space. Then for each π₯ β π¦ β π there exist an open set π such that β π , π¦ β π (say), implies π¦ β π π . Hence π π is a closed, then π¦ is not kernelled point of {π₯}. Thus either π₯ is not kernelled point of {π¦} or π¦ is not kernelled point of {π₯}. 246 ISSN 1661-464X Archives Des Sciences Vol 65, No. 9;Sep 2012 πͺπππππππππ Let for each π₯ β π¦ β π, either π₯ is not kernelled point of {π¦} or π¦ is not kernelled point of {π₯}. Then there exist a closed set F such that π₯ β πΉ , πΉβ π¦ = β or π¦ β πΉ , πΉβ π₯ = β , implies π₯ β πΉ π , π¦ β πΉ π or π₯ β πΉ π , π¦ β πΉ π . Hence πΉ π is an open set. Thus (π, π) is π0 -space. π»ππππππ π. ππ A topological space(π, π) is an π1 -space iff ππππ π₯ = β , for each π₯ β π. π·ππππ Let (π, π) be an π1 -space. Then for each π₯ β π, ππππ π₯ = ker π₯ β {π₯}. Thus ππππ π₯ = β ker{π₯} = π₯ [ By theorem 1.3]. since πͺπππππππππ Let ππππ π₯ = β . By theorem 2.5, ker π₯ = {π₯}βππππ π₯ , implies ker π₯ = {π₯}. Hence by theorem 1.3, π, π is aπ1 -space. π»ππππππ π. ππ A topological space (π, π) is π1 -space iff for each π₯ β π¦ β π, π₯ is not kernelled point of {π¦} and π¦ is not kernelled point of {π₯}. π·ππππ Let a topological space (π, π) is π1 -space. Then for each π₯ β π¦ β π there exist open sets π , π such that β π , π¦ β π and π¦ β π , π₯ β π , implies π₯ β π π , π¦ βπ π = β and π¦ β π π , π₯ βπ π = β . Hence π π andπ π are a closed sets, then π¦ is not kernelled point of {π₯}. Thus π₯ is not kernelled point of {π¦} and π¦ is not kernelled point of {π₯}. πͺπππππππππ Let for each π₯ β π¦ β π, π₯ is not kernelled point of π¦ and π¦ is not kernelled point of π₯ . Then there exist a closed sets πΉ1 , πΉ2 such that π₯ β πΉ1 , πΉ1 β π¦ = β and π¦ β πΉ2 , πΉ2 β π₯ = β , implies π₯ β πΉ2π , π¦ β πΉ2π and π¦ β πΉ1π , π₯ β πΉ1π . Hence πΉ1π and πΉ2π are open sets. Thus (π, π) is π1 -space. π. ππ βspaces π«πππππππππ π. π A topological space (π, π) is said to be ππ-space iff for each subset π΄ of π then ker(π΄) is an open set. π«πππππππππ π. π A topological ππ-space (π, π) is said to be ππ -space iff for each subset π₯ β π, then ππππ {π₯} is an open set. π»ππππππ π. π In topological ππ-space (π, π), every π1 -space is ππ -space. π·ππππ Let (π, π) be a π1 -space. Then for each π₯ β π, ker π₯ = {π₯}[By theorem 2.10]. As ππππ π₯ = ker π₯ β {π₯}, implies ππππ π₯ = β . Thus (π, π) is a ππ -space. π»ππππππ π. π In topological ππ-space (π, π), everyππ -space is a π0 -space. π·ππππ Let (π, π) be a ππ -space and let π₯ β π¦ β π. Thenππππ {π₯} is an open set. Therefore there exist two cases: i) π¦ β ππππ π₯ is an open set. Since π₯ β ππππ π₯ . Thus π, π is a π0 -space ii)π¦ β ππππ π₯ , implies π¦ β ker{π₯}. But ker{π₯} is an open set. Thus π, π is a π0 -space. 247 ISSN 1661-464X Archives Des Sciences Vol 65, No. 9;Sep 2012 π«πππππππππ π. π A topological ππ-space (π, π) is said to be ππΏ -space iff for each π₯ β π¦ β π, ker{π₯}βker{π¦} is degenerated (empty or singleton set). π»ππππππ π. π In topological ππ-space (π, π), every π1 -space is ππΏ -space. π·ππππ Let (π, π) be a π1 -space. Then for each π₯ β π¦ β π, ker π₯ = {π₯} and ker π¦ = {π¦} [By theorem 1.3], implies ker{π₯}βker{π¦} = β . Thus (π, π) is a ππΏ -space.. π»ππππππ π. π In topological ππ-space (π, π), every ππΏ -space. is a π0 -space. π·ππππ Let (π, π) be a ππΏ -space. Then for each π₯ β π¦ β π, ker{π₯}βker{π¦} is degenerated (empty or singleton set). Therefore there exist three cases: i) ker π₯ β ker π¦ = β , πππππππ π, π is a π0 -space ii)ker π₯ β ker π¦ = π₯ ππ {π¦}, implies π¦ β ker{π₯} or π₯ β ker π¦ , implies iii) ker π₯ β ker π¦ = π§ , π§ β π₯ β π¦ , π§ β π, implies π¦ β ker{π₯} and implies π, π is a π0 -space. π, π is a π0 -space. π₯ β kerβ‘ {π¦}, π«πππππππππ π. π A topological ππ-space (π, π) is said to be kerβ‘{π₯}βkerβ‘ {π¦} is empty or {x} or {y}. ππ -space iff for each π₯ β π¦ β π, π»ππππππ π. π In topological ππ-space (π, π), every π1 -space is ππ β space. π·ππππ Let (π, π) be a ππ -space. Then for each π₯ β π¦ β π, ker π₯ = {π₯} and ker π¦ = {π¦} [By theorem 1.3], implies kerβ‘ {π₯βker{π¦} = β . Thus (π, π) is a ππ -space. π»ππππππ π. ππ In topological ππ-space (π, π), every ππ -space. is a π0 -space. π·ππππ Let (π, π) be a ππ -space. Then for each π₯ β π¦ β π, ker{π₯}βker{π¦} is degenerated (empty or singleton set). Therefore there exist two cases: i) ker π₯ β ker π¦ = β , πππππππ π, π is a π0 -space ii)ker π₯ β ker π¦ = π₯ ππ {π¦}, implies π¦ β ker{π₯} or π₯ β ker π¦ , implies π, π is a π0 -space. π»ππππππ π. ππ A topological ππ-space (π, π) is π2 -space iff for each π₯ β π¦ β π, then ker π₯ β ker π¦ = β π·ππππ Let a topological ππ-space (π, π) is π2 -space. Then for each π₯ β π¦ β π there exist disjoint open sets π , π such that π₯ β π, and π¦ β π. Hence ker{π₯} β π and ker{π¦} β π. Thus ker π₯ β ker π¦ = β πͺπππππππππ Let for each π₯ β π¦ β π, ker π₯ β ker π¦ = β . Since (π, π) be a topological ππ-space, this means kernel is an open set. Thus (π, π) is π2 -space. π»ππππππ π. ππ A topological ππ-space (π, π) is a regular space iff for each πΉ closed set and π₯ β πΉ, then ker(πΉ) β ker π₯ = β 248 ISSN 1661-464X Archives Des Sciences Vol 65, No. 9;Sep 2012 π·ππππ By the same way of proof of theorem 3.11 π»ππππππ π. ππ A topological ππ-space (π, π) is a normal space iff for each disjoint closed sets πΊ , π», then ker(πΊ) β ker(π») = β π·ππππ By the same way of proof of theorem 3.11 REFERENCES [1] A.S.Davis. Indexed system of Neighborhood for general Topology Amer. Math. Soc. (9) 68(1961), 886-893. [2] Bishwambhar Roy and M.N.Mukherjee. A unified theory for R0, R1and certain other separation properties and their variant forms, Bol. Soc. Paran. Mat. (3s) v.28.2(2010):15-24 [3] M.L.Colasante and D.V. Zypen. Minimal regular and minimal presober topologies, Revista Notas de Matematica, Vol.5(1),No.275.2009,P.73-84 [4] N. A. Shanin, On separation in topological spaces, Dokl. Akad. Nauk SSSR 38 (1943), 110-113. [5] L. A. Al-Swidi and B. Mohammed, Separation axiom via kernel set, Archive des sciences, Vol 65, No. 7(2012), pp 41-48 249 ISSN 1661-464X