Pure Mathematics
Vol.05 No.06(2015), Article ID:16352,6
pages
10.12677/PM.2015.56039
Some Notes on L-Semi Topological Space
Daofu Chen, Jian Zhong, Peiyong Zhu
School of Mathematical Sciences, University of Electronic Science and Technology of China, Chengdu Sichuan
Received: Oct. 26th, 2015; accepted: Nov. 13th, 2015; published: Nov. 17th, 2015
Copyright © 2015 by authors and Hans Publishers Inc.
This work is licensed under the Creative Commons Attribution International License (CC BY).
http://creativecommons.org/licenses/by/4.0/
ABSTRACT
Firstly, the concepts of both Left-semi topology and Right-semi topology are introduced by means of both sup-semi-topology and inf-semi-topology. Then, the point set theory of Left-semi-topological (i.e., L-semi-topological) spaces is discussed. Some results on basic point sets, the properties of subspaces and the convergence of the net are obtained on L-semi-topological spaces. Furthermore, some basic properties of topological spaces are generalized, and it is cited by counterexamples that some results are not true on a L-semi topological space, but they are correct on topological spaces.
Keywords:Topological Space, L-Semi-Topology, L-Neighbourhood, L-Closure, L-Semi-Subtopology
关于L-半拓扑空间的一些注记
陈道富,钟健,朱培勇
电子科技大学数学科学学院,四川 成都
收稿日期:2015年10月26日;录用日期:2015年11月13日;发布日期:2015年11月17日
摘 要
本文首先类比上半拓扑与下半拓扑引入左半拓扑与右半拓扑概念。然后,集中讨论左半拓扑(即,L-半拓扑)空间的点集理论,获得了该类半拓扑空间的基本点集性质、子空间性质和网收敛性质。进而,使拓扑空间的基本性质得到推广。同时,也通过反例举出了在拓扑空间成立而在L-半拓扑空间不成立的一些结果。
关键词 :拓扑空间,L-半拓扑,L-邻域,L-闭包,L-半子拓扑
1. 引言与预备知识
广义拓扑空间概念是由匈牙利数学家A. Csaszar于2002年在文献[1] 中提出。他对广义拓扑空间作了深入研究,并且取得了一些初步成果。此后,不少学者积极投入,在广义拓扑空间的点集理论、映射性质等方面取得了一系列成果(参见文献[2] -[8] )。由于广义拓扑实际上是一个半拓扑,最近文献[9] 把广义拓扑空间重新命名为上半拓扑空间。进而,引入下半拓扑与下半拓扑空间的概念,并且获得了关于下半拓扑的一系列结果。在此,一个自然的问题是:能否类比文献[9] ,将一个拓扑重新分割成两个半拓扑(称为左半拓扑与右半拓扑)?这两类新型的半拓扑空间是否一定具有比拓扑空间更为广泛的理论结果?
本文就上述问题进行研究,首先类比上半拓扑与下半拓扑引入左半拓扑(L-半拓扑)与右半拓扑(R-半拓扑)的概念,如下:
定义1.1:设是任一非空集合,
是
的一些子集构成的集族,
(1) 如果并且对于任意集族
有
,则称
为
上的一个左半拓扑(L-半拓扑)。其中
中的每个元都称为是
的L-开集,并称有序偶
为一个左半拓扑空间(L-半拓扑空间)。
(2) 如果并且对于任意
有
,则称
为集合
上的一个右半拓扑(R-半拓扑),其中
中的每个元都称为是
的R-开集,并且称有序偶
为一个右半拓扑空间(R-半拓扑空间)。
下一定理是不证自明的:
定理1.1:设是任一非空集合,
是
的一些子集构成的集族,则
是
上的一个拓扑当且仅当它既是
上的左半拓扑又是
上的右半拓扑。
本文主要就左半拓扑进行研究,至于对右半拓扑的讨论将作为本文的后续论文。下面是关于左半拓扑相关的一些概念与术语:
定义1.2:设为L-半拓扑空间,
,
,如果存在
使得
,则称
为点
的一个L-邻域,
点的邻域的全体称为点
的L-邻域系,记作
。
定义1.3:设为L-半拓扑空间,
,
。
(1) 若,则称
为
的L-闭集;
(2) 若得
,则称点
为点集
的L-内点,并称
的内点的集合为
的L-内部,记为
;
(3) 若,有
,则称
为点集
的L-聚点,并称
的L-聚点的集合为
的L-导集,记为
;
(4)称
的L-闭包,记为
,即
;
(5) 若使得
,则称
为
的孤立点。
定义1.4:设为L-半拓扑空间,
为
中的任意非空子集,则集合
的L-半拓扑
称为L-半拓扑
的一个L-子半拓扑,并称
称为是
的L-子半拓扑空间,为了方便简称
为
的子空间。
定义1.5 [10] :设为L-半拓扑空间,
为一个定向集,则映射
称为是
上的一个网,记为
或记为
,其中
。为方便,在不发生混淆时,通常把
简写成
。
定义1.6:设是L-半拓扑空间中的一个网,
(1) 称网终在内,如果
,
使得
,
,有
。
(2) 称网L-收敛
于或称
以
为极限,如果网
终在
的每一个L-邻域内,并记为
或
,通常简记为
或
。
定义1.7:设与
为L-半拓扑空间中的两个网,若存在映射
,使得
,有
,并且满足下列两个条件:
(LSN1),若
,则
;
(LSN2),
使得
。
则称为
的子网。
此外,本文中所涉及的一切概念、术语和记号,如果没有特别申明,都来自于文献[10] 。
2. 基本点集与子空间
定理2.1:设为L-半拓扑空间,
为L-半拓扑
导出的
的L-邻域系,则满足下列条件:
(LN1) 若,则
;
(LN2) 若,
,则
;
(LN3) 若,则
使得
,并且对于
,有
。
证明:由邻域的定义,(LN1)和(LN2)成立是显然的。现在验证(LN3),设,则存在
使得
。令
,故
,并且
。另外,对于
,因为
使得
。再由邻域的定义,
。从而(LN3)真。
在拓扑空间中,具有命题:“若,则
”成立。但在L-半拓扑空间中,这命题不真。事实上,可取
,
,则
是一个L-半拓扑空间,而且
与
均是点
的邻域,但
。
定理2.2:设为L-半拓扑空间,
为
中闭集的全体,则满足条件:
(LF1);(LF2)若
,则
。其中
为任意指标集。
证明:由L-半拓扑空间定义中(LF1)(LF2)和de Morgan公式直接推知。
在拓扑空间中,有命题:“若则
”成立。但是,两个L-闭集的并集未必一定是L-闭集。下面是这问题的一个反例:令
,作L-半拓扑
,并且取L-闭集
,则
。
定理2.3:设为L-半拓扑空间,
,则
当且仅当
有
。
证明:必要性:,则
,则
或者
,若
,显然
,
有;若
,则
,则
,有
。从而,
。
充分性:“若,则
,故
,使得
。又因为
,故
,这与已知矛盾,因此,
。
定理2.4:设为L-半拓扑空间,则
的任意子集
,
与其L-闭包满足下列条件:
(LC1);(LC2)
;(LC3)
;(LC4)
证明:如果,即
,由定理2.3,
,有
。这与
矛盾,故
。又由
得
,即(LC2)真。
为了证明(LN3),只需证即可。事实上,
,由定理2.3,
,有
。因为
是点
的邻域,则存在开集
使得
。又因
,则
。取
,再由定理2.3,
。从而
。于是
。故
,即(LC3)真。
现在证(LC4):设,不妨设
,
,
,即
。从而(LC4)真。
上述定理中(LC4)的包含关系能否变成等式
呢?
下面给出反例:令,并取
,则
是一个L-半拓扑空间。取它的二子集
与
,则
而
,
,因此,
。从而,
。
定理2.5:为L-闭集当且仅当
。
证明:充分性:设为L-闭集,则
为L-开集。为证
,只需证
。事实上,若
,则
,即
使得
。这与
矛盾。所以,
。故
。
必要性:设。下证:
开于
。事实上,对于
,因为
,由定理2.3,
使得
。取开集
,使得
。于是
,即
。则
是
中的开集。所以,
闭于
。
下面是关于子空间的一些结果:
定理2.6:设,并且
是L-半拓扑空间
的一个子空间,则
(1) 如果分别记和
为
与
上的全体闭集构成的集族,则
。
(2) 如果分别记和
为
与
上点的邻域系,则
。
证明:设上的拓扑为
,则子空间
上拓扑为
。
(1),因
,则
使
,故
。
又因,则
。
反过来,,
使得
。故
。因此
。从而,
成立。
(2)对于,令
,则
。下证:
。
事实上,因,则
使得
。又
使得
,故
。这必有
。这是因为对
,若
,则
;若
,则
。因此,
。故
;反过来,
,
,使得
。故
有
。所以
,即
。于是,
。
定理2.7:设是L-半拓扑空间
的子空间,
,则:
(1);
(2),其中
和
分别表示点集
在子空间
中L-导集和L-闭包。
证明:(1),
,则
。故
,所以
,即
。又因
,故
。反过来,
,
,
,有
,因为
。从而
,即
,即(1)真。
(2)。
3. 关于网的一些结果
定理3.1:设为一L-半拓扑空间
,则
(1) 存在网,使得
,则
。
(2) 存在网,使得
,则
。
(3)为L-开集,则不存在
中网收敛于
中的点。
证明:(1) 设网,使得
。则
,
,使得
,当
时,有
。故
。因此
。
(2) 设网,使得
,则
,
,当
时,有
,故
。由定理2.3,有
。
(3) 设为L-开集,如果存在网
,使得
,则
,当
时,
。这与
矛盾。
在拓扑空间中,定理3.1中结论(1)、(2)、(3)的逆命题也都是成立的,即它们都是充分必要的。但是,在L-半拓扑空间中,这三个结论的逆命题均不成立。下面是它们的反例:
事实上,可取,
,则
是L-半拓扑空间。又取
,则不难验证:
,并且
。令
,则
,但不存在
中网
使得
。因此,定理3.1(1)和(2)的逆命题都不真。
此外,令,则
。显然,不存在
中的网收敛于
并且
不为L-开集。因此,定理3.1(3)的逆也不真。
理3.2:在L-半拓扑空间中,若网收敛于
,则它的任意子网也收敛于
。
证明:设,则
,
,当
,有
。若
是
的一个子网,即存在映射
,对于
,
,使得
。故当
时,
,故
。因此,当
时,有
。从而
。
4. 小结
本文类比文献[9] 引入上、下半拓扑空间的方法,定义了左半拓扑(L-半拓扑)与右半拓扑(R-半拓扑的概念)。类比拓扑空间,在L-半拓扑空间上建立了点集的基本概念与理论,得到其开集、闭集、导集、网与网收敛的一些基本结果。从而,使得拓扑空间的相应结论得到推广。在此基础上,通过一些反例来说明在L-半拓扑空间中一些拓扑性质的不成立。
致谢
感谢电子科技大学科研实训创新项目基金的经费资助。
文章引用
陈道富,钟 健,朱培勇. 关于L-半拓扑空间的一些注记
Some Notes on L-Semi Topological Space[J]. 理论数学, 2015, 05(06): 272-277. http://dx.doi.org/10.12677/PM.2015.56039
参考文献 (References)
- 1. Csaszar, A. (2002) Generalized Topology, Generalized Continuity. Acta Mathematica Hungarica, 96, 351-357. http://dx.doi.org/10.1023/A:1019713018007
- 2. Csaszar, A. (2005) Generalized Open Sets in Generalized To-pologies. Acta Mathematica Hungarica, 106, 53-66. http://dx.doi.org/10.1007/s10474-005-0005-5
- 3. Csaszar, A. (1997) Generalized Open Sets. Acta Mathematica Hungarica, 75, 65-87. http://dx.doi.org/10.1023/A:1006582718102
- 4. Csaszar, A. (2009) Products of Generalized Topologies. Acta Mathematica Hungarica, 123, 127-132. http://dx.doi.org/10.1007/s10474-008-8074-x
- 5. Csaszar, A. (2004) Separation Axioms for Generalized To-pologies. Acta Mathematica Hungarica, 104, 63-69.
- 6. Min, W.K. (2010) Remarks on Separation Axioms on Gene-ralized Topological Space. Chungcheong Mathematical Society, 23, 293-298.
- 7. Sarsak, M.S. (2011) Weak Separa-tion Axioms in Generalized Topological Spaces. Acta Mathematica Hungarica, 131, 110-121. http://dx.doi.org/10.1007/s10474-010-0017-7
- 8. Shen, R. (2009) Remarks on Products of Generalized Topolo-gies. Acta Mathematica Hungarica, 124, 363-369. http://dx.doi.org/10.1007/s10474-009-8207-x
- 9. 胡西超, 朱培勇. 一类新型半拓扑空间及其分离性质[J]. 理论数学, 2015, 5(4): 129-135.
- 10. 朱培勇, 雷银彬. 拓扑学导论[M]. 北京: 科学出版社, 2009: 44-50.