APP下载

L-拓扑空间中理想的层次收敛理论

2021-03-12孟广武

喀什大学学报 2021年6期
关键词:聊城定理定义

孟广武

(1.聊城大学数学科学学院,山东聊城 252000;2.喀什大学数学与统计学院,新疆 喀什 844000)

0 引言

层次结构是L-拓扑学最显著的特点.为了最大限度地彰显这个特点,李永明引入了α-闭集[1],直接将闭集肢解为层次闭集.与此不同,笔者从闭包的角度,提出了一类更为广泛的层次闭集——Dα-闭集[2].在此基础上,层次连通性、层次分离性、层次紧性相继问世,初步形成了层次L-拓扑空间理论[3,4].

本文利用Dα-闭集,在L-拓扑空间中,定义了理想的层次极限点和层次聚点,并研究了它们的基本性质,形成了理想的层次收敛理论.

1 理论准备

本文的L=(≤,∨,∧,′)始终表示模糊格,即带有逆序对合对应的完全分配格;0和1分别表示L的最小元和最大元;.X表示非空分明集.

从X到L的映射被称为X上的L-集,所有这样的L-集记作LX,它自然形成一个模糊格(LX,≤,∨,∧,′).对于α∈L,αX表示X 上的常值L-集,β*(α)表示α的标准极小集;(LX,δ)表示L-拓扑空间,M(L)表示L的全体分子之集,M*(LX)表示LX的全体分子之集;对e∈M*(LX),η(e)和η-(e)分别表示e的一切远域之集和一切闭远域之集;对A∈LX,r∈L,A[r]={x∈X:A(x) ≥r};对B∈2X(X 的一切子集所成的集族),χB表示B的特征函数.

其它未说明的术语与符号参见[5].

定义1.1[2]设(LX,δ)是L-拓扑空间,α∈M(L),层次闭包算子Dα:LX→δ′定义为

∀A∈LX,Dα(A)=∧{G∈δ′:A[α]⊂G[α]},称Dα(A)为A的Dα-闭包.

定理1.1[2]设 (LX,δ) 是L-拓扑空间,α∈M(L),A,B∈LX.则

(D1)Dα(0)=0;

(D2)Dα(A∨B)=Dα(A) ∨Dα(B);

(D3)A[α]⊂(Dα(A))[α];

(D4)Dα(Dα(A))=Dα(A).

定义1.2[2]设(LX,δ) 是L-拓扑空间,α∈M(L),A∈LX.称A 为(LX,δ)中的Dα-闭集,若(Dα(A))[α]=A[α].

(LX,δ)中的全体Dα-闭集记为Dα(δ).

定理1.2[2]设(LX,δ)是L-拓扑空间,A∈LX.若A∈δ′,则对任意的α∈M(L),A∈Dα(δ),即δ′⊂Dα(δ).

定义1.3[5]设(LX,δ) 是L-拓扑空间,e∈M*(LX),I是LX中的理想,那么

(1)如果η(e) ⊂I,则称e为I的极限点,或称I收敛于e,记作I→e;

(2)如果∀A∈I以及∀P∈η(e),A∨P≠1X,则称e为I的聚点,或称I聚于e,记作I∞e.

I的一切极限点之并记作limI,I的一切聚点之并记作adI.

2 层次远域与层次附着点

3 理想的层次收敛

定理3.1对LX中的理想I以及α∈M(L),I[α]={A[α]:A∈I}是2X中的下集和上定向集,但一般不是理想.

证明在集合的包含关系之下,I[α]是2X中的下集。事实上,设A[α]∈I[α],对任何B∈2X且B⊂A[α],则αχB≤A,这里

图1 W(f,g)的图像

图2 C(f,g,h)的图像

猜你喜欢

聊城定理定义
J. Liouville定理
聚焦二项式定理创新题
聊城高新区多措并举保障贫困户“居住无忧”
A Study on English listening status of students in vocational school
聊城,宛在水中央
聊城 因水而生 有水则灵
新动能,新聊城
成功的定义
修辞学的重大定义
山的定义