有限集上两极拓扑个数的探讨.docVIP

有限集上两极拓扑个数的探讨 洪彩霞 （福建信息职业技术学院，福建福州350003） 摘要：通过对有限集上满足maxacT为平凡拓扑，minacT为离散拓扑的个数进行研究，从而解决了它 的个数问题。 关键词：有限集；单拓扑；自同余拓扑 1、 介绍 《云南师范大学学报》1991第4期上发表郭志勇的文章“有限集上几种拓扑概念及性 质”中曾提出“有限集Xn上使maxacT为平凡拓扑,minacT为离散拓扑的拓扑T有多少” 这样一个问题，本文对此进行了一番探讨，得到如下结论：有限集上使maxacT为平凡 拓扑，minacT为离散拓扑的拓扑T （为了方便起见，本文中称此种拓扑为两极拓扑）至少 有￡ Cnm （2n -2m+1-2n，n+，+5）个n m=1 2、 证明 我们引入： § 1.几个定义 设是n个元素的集合： 定义1（单拓扑）：设T是Xn上的一个非平凡拓扑，K A G T;A xn,（/）M Xn-A T, 称T是Xn上的一个单拓扑。 注：易见，若Xn上有单拓扑存在，则。 定义2 （余拓扑）：设T是Xn上的拓扑，则Tc={ Xn-A | AeT}是X.上的一个拓扑，称为X. 上T的余拓扑。 若Xn上的拓扑T满足T=Tc，则称T是Xn上的一个自同余拓扑。 定义3 （maxacT）：是指包含在有限集X“上的拓扑T中的最大自同余拓扑。 注：易见，maxacT=TATco 定义4 （minacT）：若T是X“上的拓扑,则包含了 T的X.上的最小自同余拓扑称为minacTo 注：易见，TuTc为minacT的一个基。 §2.几个引理 引理1：设T是Xn上的拓扑,Xn={a1a2;-an）,则 1 maxacT={ 0, Xn } OT 为单拓扑 2 minacT 为离散拓扑 O VaeXn, {a}eTuTc 3 maxacT={ 0, X* }且minacT为离散拓扑OT为单拓扑且3正整数in , 1 n） n, 使得{aik} GT （1 km）;jfu{aij} eTc（m+1 jn）,这里{剤,ai2, ???ain}=Xn0 证：1, v2山定义易证，下证v3 必要性：若maxacT={^,Xn}.H.minacT为离散拓扑，则山vl, 2可知；T为单拓扑， 且对VaiGXn(lin),有{adGTuTc从而要么{ajJeT,要么{ai}eTc,我们说T不可能 含有所有的{釧(i=l, 2, -n)，否则,T为离散拓扑，不是单拓扑;入也不可能含有所有的 {aj (i=l, 2,…n),否则,讥为离散拓扑,从而T不是单拓扑。故,31m n使得{aik}eT (1 km), jfij {aij}eTc (m+1 jn),这里{如，血…徧}三心。 充分性:若 T 为单拓扑，且日 1 m nJlfef {aik} GT (1 kni);j(u{ajj} eTc(m+l jn), 这里{如，ai2, ???ain)=Xno 则山 vl町知 maxacT={ Xn }, ?口卫然有，Vaj( 1 in), {aj} e TuTc，曲v2可知，minacT为离散拓扑。 综上所述，v3成立。 设Xn ={ ai a2.--an ) (n?2),从Xn中任意取出m (1 mn)个元素组成集合X“，记 x - =Xn-X ,令勾二{A | AuX “,AH 0},宓2 二{ B | BuX；且 BH 0}, ? ={ Xn- A | Ae } ?2={ Xn- B | Be ?2 )则?中元素的个数为2m-l, S2中元素的个数为2nm-l, 从而寥中元素的个数也为2nni-l,令={AUB I Ag , Be ?2且AHX”，BHx； }, 则乌中元素的个数为(2叫2) x (2nm-2) =2n-2m+,-2n-m+,+4o 引理2： T={0,Xn}US] U 构成Xn上使maxacT为平凡拓扑而minncT为离散拓扑 的拓扑。 证：vl0、XnGT 2 VA.BeT 若A、B中有一个为0或Xn，则显然有ACBWT, AUBGT, 若 A、BW? ，显然 AuBe ,ACBW ? ，从而 AnBeT,AuBeT； 若 A. Be CB2，则 mAu x：,B‘u x； , A 、B ° H 0,使得 A二 A , B二 X“- B ,所以 ACB= (Xn-A ) C (Xn?B )= Xn-( A U B ) W CB；(因为 A U B u x；, HA U B * H0), AUB= (Xn-A ) U( Xn- B ) =Xn- (A C B )，若 A C B =0,则 Au B=X?gT,若A’ cbH0,则a nB e ?2 ,AuBg g,总之 AnBeT, AuBgT； 若 A,B 分属 ? ,