l-预拓扑空间的局部连通性.docxVIP

l-预拓扑空间的局部连通性 1 集合coprlxx l-预弯曲空间是指与数学领域（如数学、地理、矩阵理论等）相关的概念。本文主要研究了L-预拓扑空间的相对积空间的局部连通性, 文中假设L是有最小元0和最大元1的完备DeMorgan代数 (即有逆序对合对应′的完备格) 。X是非空集,LX是从X到L的映射 (或叫L-子集) 的全体。易见LX依点式序也构成完备DeMorgan代数。 (X,δ) 称为L-预拓扑空间是指0X, 1X∈δ(这里0X, 1X分别为LX中的最小元和最大元) 且δ对任意并关闭,δ的元素称为开集, 这时δ′={B′|B∈δ}中的元素为闭集。 称a∈L-{0}为L中的余素元, 若对L的任意有限子集J, 当a≤∨J时, 存在j∈J使得a≤j。L中余素元的全体记作Copr (L) 。 用xα表示在x点处取值α, 在其它处取值为0的L-集。[α]是指在X上取常值α的L-集。易证LX中全体余素元构成的集合 Copr (LX) ={xα|x∈X,α∈Copr (L) }。称a∈L-{1}为L中的素元 (resp., 完备素元) 是指对于L的满足a≥∧J的任意有限子集 (resp., 任意子集)J, 都存在j∈J使得a≥j。L中的全体素元 (resp., 完备余素元) 构成的集合记为Pr (L) (resp., CPr (L) ) 。 设 (X,δ) 是L-预拓扑空间,A∈LX,xα∈ Copr (A) ={xα∈Copr (LX) |xα≤A}, 称[xα|A]=∨{B∈LX|B是 (X,δ) 中的连通集且xα≤B≤A}为A中由xα决定的连通分支。[xα|A]是A中包含xα的最大的连通集。显然, [xα|A]满足xα≤[xα|A]≤A, 且有 (1) 对任意的xα,yβ∈Copr (A) , [xα|A]=[yβ|A]或者[xα|A]∧[yβ|A]=0X; (2) 当Copr (LX) 是LX的并生成集,A=∨{[xα|A]|xα∈Copr (A) }。 每个映射f:X→Y可诱导出一个映射 (称为L-值Zadeh型函数)f→L:LX→LY, 具体定义为f→L(A) (y) =∨{A(x) |f(x) =y} (?A∈LX, ?y∈Y) 。易见f→L保任意并。若记f→L的右伴随为f←L, 则有f←L(B) =∨{A∈LX|f→L(A) ≤B}=B。f(?B∈LY) , 并且f←L保任意并、任意交和逆合对应。设 (X1,δ1) 和 (X2,δ2) 为两个L-预拓扑空间,f:X1→X2是一个映射, 如果对任意的B∈δ2有f←L(B) ∈δ1(或?B∈δ′2有f←L(B) ∈δ′1) , 则称f为连续L-值Zadeh型函数。 如果对任意B∈δ1有f→L(B) ∈δ2, 则称f为开映射。 称一个L-预拓扑空间 (X,δ) 是局部连通的是指 (δ, ≤) 有一个由 连通L-子集组成的并生成集, 即对每个A∈δ, 存在AA?δ使得A=∨AA且AA的每一个成员在 (X,δ) 中连通。 (亦即对每个B∈δ′, 存在BB?δ′使得B=∧BB且对任意C∈BB,C′在 (X,δ) 中连通。) 引理 1.1若Pr (L) 是L的交生成集, 则L-预拓扑空间 (X,δ) 是局部连通的充分必要条件是, 对于每个xα∈ Copr (LX) 以及每个A∈Rδ(xα) , 存在B∈Rδ(xα) 使得A≤B且B′在 (X,δ) 中连通, 其中Rδ(xα) ={P∈LX|?Q∈δ′,xα≤/Q,P≤Q}称为xα的远域系,Rδ(xα) 中的成员称为xα的远域。 引理 1.2设L是完全分配格, 则L-预拓扑空间 (X,δ) 是局部连通的充分必要条件是, 对任意的A∈δ和任意xα∈Copr (A) , [xα|A]∈δ。 2 ．双诱导重积投影 定义 2.1设{ (Xt,δt) }t∈T是一族L-预拓扑空间, 令X=∏t∈ΤXt, 对每一个t∈T, 用pt:X→Xt表示投影映射, 令B={ (pt)←L(At) |At∈δt,t∈T}, 则可证明δ={A∈LX|存在B1?B使得A=∨B∈B1B}是X的一个L-预拓扑。 ( (ⅰ) 1X= (pt)←L(1Xt) ∈B?δ; 0X= (pt)←L(0Xt) ∈B?δ; (ⅱ) 设δ1?δ, 对任意的A∈δ1, 由δ的定义知, 存在BA?B使得A=∨B∈BAB, 则∨A∈δ1A=∨A∈δ1∨B∈BAB=∨B∈∨A∈δ1BAB, 故∨A∈δ1A∈δ) , 称 (X,δ) 为{ (Xt,δt) }t∈T的乘积L-预拓扑空间, 简称为积空间。对于任意的t∈T, 投射pt: (X,δ) → (Xt,δt) 连续。 引理 2.1设 (X,δ) 是一族L-预拓扑空间的积空间, 如果对于某个t0∈T, (Xt0,δt0) 是满层的L-预拓