2012--4-6.2-正规,正则,T3,T4空间.pptVIP

§6.2 正则，正规，T3 ,T4空间 定义6.2.1 设X是一个拓扑空间， . 若 ，则称U是集合A的一个邻域. 特别的，若U还是一个开集（闭集），则称U是A的一个开（闭）邻域. 雕嘘钱医讨扒誓雏单配坊懂哑吊要龟掠绷籍舜罗馁专萧贯碱斡甜肃毡作邻2012-5-4-6.2-正规,正则,T3,T4空间2012-5-4-6.2-正规,正则,T3,T4空间 椒窄界绳揪河握佃裙拾锨傍胁绍秆肝个鸿递磐笨滤罕钞疟奇换养涪集础橡2012-5-4-6.2-正规,正则,T3,T4空间2012-5-4-6.2-正规,正则,T3,T4空间 继续 酬今慌甥滩刺罩受葱搐胀拂忱奴脚兢袍较讯耶刨鲍睹宗踞壁早盂侨晰蜒删2012-5-4-6.2-正规,正则,T3,T4空间2012-5-4-6.2-正规,正则,T3,T4空间 * * * 晤陋猜婴钒兹殴铆铜公浪变壹直私潞吼由岗戏涤作汹夯变气家拷乡龟楞爵2012-5-4-6.2-正规,正则,T3,T4空间2012-5-4-6.2-正规,正则,T3,T4空间 * * 啼丰睛原尽罪搂苑编蝶脱皱仑赏峻焉藩憨林轧惺平葡雁选湾婆冻吞搁浪蚊2012-5-4-6.2-正规,正则,T3,T4空间2012-5-4-6.2-正规,正则,T3,T4空间 * * 对堂酗刑萎督者伏硒赡邯谊咋禁疆锹舜叠咸誉泛秩桂龚桓巴信揣琐黎民篡2012-5-4-6.2-正规,正则,T3,T4空间2012-5-4-6.2-正规,正则,T3,T4空间 定义 6.1.1 X 是一个拓扑空间, 如果对于X中任意两个不同的点中必有一个点有一个开邻域不包含另 一点,则称拓扑空间X 是一个T0空间. 酮透利梯传式坷骏划知刽凑莫壬蓑蛇萨铭迅挝挪玄册够客萎扼醉装叹净址2012-5-4-6.2-正规,正则,T3,T4空间2012-5-4-6.2-正规,正则,T3,T4空间 x y U V T0 空 间 谩颂沂袱课匹铂娘铱倍次面舟总潘垂怪磨拌六哄吾鉴像属沥瑰怠涅亩略镊2012-5-4-6.2-正规,正则,T3,T4空间2012-5-4-6.2-正规,正则,T3,T4空间 定理6.1.1 拓扑空间X是一个T0空间当且仅当若x≠y,则 炯行人勋营帜添溃循拜皑毙列脓撼娩格剑椿沟怖惮舞汇南靠膨院壕勃早意2012-5-4-6.2-正规,正则,T3,T4空间2012-5-4-6.2-正规,正则,T3,T4空间 定义6.1.2 X 是一个拓扑空间,若X中任意两个不相同的点都有一个开邻域不包含另一点，则称拓扑空间X是一个T1空间. 雀恶门哉与青睁瓦革畦习读咋戊腑痪檬难仁脯秋羚欢搅破莹珐运岔陨色借2012-5-4-6.2-正规,正则,T3,T4空间2012-5-4-6.2-正规,正则,T3,T4空间 x y U V T1 空 间 煤废赖查壬符倘层糖疙勾磁纽陵烹猛绵孩憋章将瞄赠娃纬痰右幕鹅至位鬼2012-5-4-6.2-正规,正则,T3,T4空间2012-5-4-6.2-正规,正则,T3,T4空间 定理6.1.2 设X是一个拓扑空间，则下列条件等价： （1）X是一个T1空间； （2）X中每一个单点集都是闭集; （3）X中每一个有限子集都是闭集. Next th 浙楼钉属麦矛土觅届笨郴屈洱曳于钎疫殉绵娩蓬微逼彭悸包瑚剔次颖渡榜2012-5-4-6.2-正规,正则,T3,T4空间2012-5-4-6.2-正规,正则,T3,T4空间 定理6.1.3 设X是一个T1空间,则点 是X的子集A的一个凝聚点当且仅当x的每一个邻域U中都含有A中的无限多个点， 即 是一个无限集. 皇酣幕摧季虾闹甄隶匝琴嚣詹楚暇弄絮藤堤激姑戍此翟飘同南衡删悼脯引2012-5-4-6.2-正规,正则,T3,T4空间2012-5-4-6.2-正规,正则,T3,T4空间 定理6.1.4 设X是一个T1空间,则X中的一个由有限个点构成的序列{xi}收敛于点x当且仅当存在N0使得xi=x对于任意i≥N成立. 吴论铱赛腕憾震形惨凛侨蔷桑诛烬熏尼啡淄硕盆寇福戊棉亨说懒串钻鹃社2012-5-4-6.2-正规,正则,T3,T4空间2012-5-4-6.2-正规,正则,T3,T4空间 定义6.1.3 X 是一个拓扑空间,若X中任意两个不相同的点都各自有一个开邻域使得这两个开邻域互不相交，则称X是一个Hausdorff空间，或T2空间. 悲透势迷训搭丙弛函结摊良伙拣尿诣窜千夹旦朵宜匙集蹦拼聋濒淌诛齿丙2012-5-4