定义拓扑空间公理的等价性.pdf

维普资讯 第 22卷第 2期 唐 山 师 专 学 报 2000年 3月 Vol_22NO．2 JournalofTangshanTeachersCollege M ar． 2000 定义拓扑空间公理的等价性 OfZl,I 王朝霞 (唐山师专；；—北唐山o6如o0) 墙 重 ．士寸蚺 了辐林牵间的七小窜义．苷证明了它们之间的等价性。 中圈：分类号：O177旦文献标识码：A盐婶文覃锅号：：1008’5．19Xzu【u0JOZ一22一㈣叫‘ 在一个集合上如何定义拓扑，使之成为拓扑空间，这在不同的拓扑文献中是不尽相同的。 本文给出七个拓扑空间的定义，并证明它们之间的等价性。 l 定义 定义 l 如果对于非空集合x 的任何一个子集A，都存在X 的一个子集 使得 ( ．1) = ； ( ·2)A ； ( ．3)VA，B X，有 一 U吾； ( ．4)VA X，有 — A 则称X 为一个拓扑空问， 称为^的闭包，而 (．1)一 (．4)称为闭包公理。 定义 2 设X是一个非空集合 ，若G为X的一个子集族满足： ( ·1) ∈ G ； 0 -2)X ∈ G； 0-3)若 A，占∈G，则A UB ∈G； a I 0 ·4)若 A ∈G，则 n ∈G，为任意指标集 , 则称X 为一个拓扑空间，G称为X 的闭集族t0 ‘1)一 (c ‘4)称为闭集公理 · 定义 3 X是一个非空集合，如果X 的一个子集族 0满足： (D ·1)X ∈ ； (D ·2) ∈ ； (D·3)若 ^，占∈0，则 ^nB ∈0； (。·4)若^ ∈0，则 I=J— ∈目，J为任一指标集 则称X为拓扑空间，0为X 的一开集族，(。．1一 。．4)称为开集公理。 定义 4 若X 为一个非空集合，如果对于每个 z∈X，都有X 的一个子集族 ，满足： (_Ⅳ ·1)“，≠ ； 收精 日期~1999—07—12 作者简介：王朝曹 (1963一)，女 ·唐山师专教学系讲师。 · 22 · 维普资讯 王朝霞：定义拓扑空间公理的等价性 (Ⅳ ·2)若 U ∈ “．则 z ∈U； (Ⅳ ·3)若 U ∈ ，V ∈ ，则 n ∈ “ (Ⅳ ·4)若 ∈ ，V U，则 ∈ “； (Ⅳ ·5)若 ∈ ，则 j ∈ “，使得V ∈V有 ∈ 刑称 x为一个拓扑空间，“称为 的邻域系，(Ⅳ ·1)一 (Ⅳ ·5)称为邻域系公理。 定义5 若 x为一个非空集合，如果x的一个子集族 s满足： (SB ·1)S ≠ ： (S ·2)X — U A ^E S 则称 x为一个拓扑空间，s称为拓扑空间x 的一个子基 ，(SB ·1)、(SB ·2)称为子基公理 。 定义 6 若x 为一个非空集合，如果x的一个子集族B满足 ． (B ·1)X — U A ； ． L∈ (B ·2)对于 ， ∈B，z∈Un ，存在 ∈B．使 ∈W U nV； 则称 x 为一个拓扑空间，B称为x 的一个基，(B ·1)、( ·2)称为基公理。 定义7 如果x是一个非空集合，若对任何 ^ x，有 A x，使 ( ·1)X