2.2 开集与闭集解析
2.2 开集与闭集讲解

任取 x E ,由内点的定义知 0, 使得O(x, ) E
任取 y O(x, ) ,取 ' d(x, y)
则O( y, ') O( x, ) E
从而y为E的内点,从而O(x, ) E
所以x为Eº的内点,即 x (E ) O( y, ')
min{
d (x,
x '), d (x,
x ')}时,有x O(x', ')
O(
x,
)
)
E
从而 O(x, ) (E {x}) 即x为E的聚点,从而 (E')' E'
O( x', ')
利用(E)' (E E')' E'(E')' E'E' E' E 可得E为闭集
从而x不是[a,b]的接触点,
从而[a,b]的接触点都在[a,b] 内,从而[a,b]是闭集。
a
bx
说明: 要证E是闭集,只要证
E ' E或Ec (E' )c 或E E或Ec (E)c (因为E E显然)
注:闭集为对极限运算封闭的点集
• 即:A为闭集当且仅当A中的任意收敛点列收敛于A中的点
,
0
已知G0为开集,故存在 x的领域(1, 1) G0 G,
x是G的内点,由 x的任意性知 G为开集.
c. 有限多个开集的交仍是开集
证明
n
设G Gi ,Gi (i 1,2,n)为开集.任取x G则x Gi.
i 1
因Gi为开集,故存在x的领域(i , i ) Gi ,
第一章第三节开集、闭集和博雷尔集

第三节 nR 中的开集、闭集和Borel 集一、nR 的几个基本概念度量空间:设X ≠∅,(,)d x y 是定义在X X ⨯(:d X X R ⨯→)上的一个二元实函数,若(,)d x y 满足:(1)非负性:对任意,x y X ∈,(,)0d x y ≥,且(,)0d x y x y =⇔=; (2)对称性:对任意,x y X ∈,(,)(,)d x y d y x =;(3)三角不等式:对任意,,x y z X ∈,(,)(,)(,)d x y d x z d y z ≤+, 则称(,)d x y 为,x y 之间的距离或度量,(),X d 称为距离(度量)空间.特别,取n X R =,(,)d x y =()()1212,,,,,,,n n x x x x y y y y ==,则(),X d 称为n 维欧式空间,仍记为nR .注:实变函数涉及的函数主要是nR 的点集上的实函数.集合的直径与有界集:设nE R ⊂,(){}diam sup ,,E d x y x y E =∈称为E 的直径;E 有界⇔0diam E ≤<+∞.E 有界的其他描述方法:如球覆盖和方覆盖.开球(球邻域)、闭球和球面:设0n x R ∈,0δ>,()(){}00,,n B x x R d x x δδ=∈<称为以0x 为心的开球(球邻域),简记为()0B x ; ()(){}00,,n B x x R d x x δδ=∈≤称为以0x 为心的闭球,简记为()0B x ; ()(){}00,,n S x x R d x x δδ=∈=称为以0x 为心的球面,简记为()0S x .n R 中的区间及区间的体积:设i I (1,2,,i n =)为R 上的n 个区间,则121ni n i I I I I =∏=⨯⨯⨯称为n R 上的区间;若iI (1,2,,i n =)都是开区间,则称1n i i I =∏为开区间;若i I (1,2,,i n =)都是闭区间,则称1ni i I =∏为闭区间;若i I (1,2,,i n =)都是同类的半开半闭区间,则称1ni i I =∏为半开半闭区间;设121ni n i I I I I =∏=⨯⨯⨯是nR 上的区间,则121nin i I I I I =∏称为1ni i I =∏的体积.二、开集、闭集的定义及基本性质1、开集的定义与性质:定义:设nG R ⊂,G 是开集是指对任意x G ∈,存在()B x G ⊂;易见,,n R ∅均为开集;()0B x 是开集;nR 上的开区间等都是开集.开集的性质:τ表示nR 中的开集全体,则 (1),n R τ∅∈;(2)对任意12,G G τ∈,总有12G G τ⋂∈,即τ对集合的有限交运算封闭; (3)对任意G ατ∈,α∈Λ,总有G αατ∈Λ∈,即τ对集合的任意并运算封闭.注:τ是nR 上的一个拓扑--------称为欧式拓扑. 2、闭集的定义与性质:定义:设nF R ⊂,F 是闭集是cF 是开集; 易见,开集和闭集在集合的余运算下是对偶的;,n R ∅均为闭集;()(){}00,cB x x d x x δ=>是闭集;()()(){}{}000,cS x B x x d x x δ=⋃>是闭集指对任意x G ∈,存在()B x G ⊂;闭集的性质:μ表示nR 中的闭集全体,则 (1),nR μ∅∈;(2)对任意12,F F μ∈,总有12F F μ⋃∈,即μ对集合的有限并运算封闭; (3)对任意F αμ∈,α∈Λ,总有F ααμ∈Λ∈,即μ对集合的任意交运算封闭.注意:一列开集的交不一定是开集;一列闭集的并不一定是闭集;τμ.三、开集、闭集的等价条件1、开集的等价条件1)点关于点集的一种分类关系(点集的内点、外点和边界点) 邻域的推广:设nx R ∈,若G 是开集,且x G ∈,则称G 为x 的一个邻域,\{}G x 为x 的一个去心邻域; 显然,()B x 就是x 的一个邻域,()\{}B x x 是x 的一个去心邻域. 点集的内点、外点和边界点: 设n x R ∈,nE R ⊂,(1)若存在x 的一个邻域G ,使得G E ⊂,则称x 为E 的内点,记0E 为E 的内点全体-------称为E 的内部(或内核或开核),显然0E E ⊂;(2)若存在x 的一个邻域G ,使得G E ⋂=∅,即cG E ⊂,则称x 为E 的外点,显然E 的外点一定不属于E ,其全体就是()c E;(3)若对x 的任意邻域G ,总有G E ⋂≠∅,cG E ⋂≠∅,则称x 为E 的边界点,记E ∂表示E 的边界点全体-----称为E 的边界.点关于点集的内点,外点和边界点关系是一个分类关系注:设nE R ⊂,则()n c R E E E=⋃∂⋃;记0E E E E E =⋃∂=⋃∂-----称为E 的闭包,则()()0c c E E =是闭集.()()0c c E E E∂=⋃是闭集.2)开集的等价条件 定理:设nE R ⊂,则 (1)0E 是开集;(2)E 是开集⇔0E E =.2、闭集的等价条件1)点列收敛设n k x R ∈,1,2,k =,0n x R ∈,若()0lim ,0k k d x x →∞=,则称{}k x 当k →∞时收敛于0x ,记为:0lim k k x x →∞=或0k x x →(k →∞).注:1)如何用邻域来反映点列收敛?2)点列收敛与坐标收敛有何关系?即,记()()00012012,,,,,,,k kk k n n x x x x x x x x ==,则0k x x →(k →∞)与0k i i x x →(k →∞)1,2,,i n =有何关系?2)点关于点集的另一种分类关系(点集的聚点、孤立点和外点) 设n x R ∈,nE R ⊂,(1)若对x 的任一个邻域G ,总有\{}G x E ⋂≠∅,则称x 为E 的聚点,记E '为E 的聚点全体-------称为E 的导集;(2)若存在x 的一个邻域G ,使得\{}G x E ⋂=∅,若x E ∈,即{}G E x ⋂=,则称x 为E 的孤立点,E 的孤立点全体所成的集称为E 的孤立点集,显然E 的孤立点集⊂E ;若x E ∉,即G E ⋂=∅,即cG E ⊂,则称x 为E 的外点,其全体就是()c E .点关于点集的聚点,孤立点和外点的关系也是一个分类关系 注:设nE R ⊂,则{}()0nc R E E E '=⋃⋃的孤立点全体,{}E E E E E ''=⋃=⋃的孤立点全体---------闭包的另一种表示.注:10孤立点集是至多可数集20聚点的等价条件:设nx R ∈,nE R ⊂,则下面的说法等价: (1)x 为E 的聚点;(2)对x 的任一球邻域(,)B x δ,总有(,)\{}B x x E δ⋂≠∅; (3)存在E 中一列彼此互异的点列{}k x ,使得k x x →(k →∞); (4)对x 的任一个邻域G ,总有G E ⋂为无限集. 证明:(1)⇒(2)显然;(2)⇒(3)只要δ取一列适当的趋于0的数列即可把满足要求的彼此互异的点列{}k x 取出来;(3)⇒(4)由极限定义的邻域形式即可; (4)⇒(1)显然. 注意:由等价形式立即可得,x 不是E 的聚点,即x E '∉⇔存在x 的一个邻域G ,使得G E ⋂为有限集. 30导集和闭包保持集合的有限并运算,但保持可数并运算;事实上,设有一列点集{}n E ,则()1212n n E E E E E E ''''⋃⋃⋃=⋃⋃⋃, ()1212n n E E E E E E ⋃⋃⋃=⋃⋃⋃,但11n n n n E E ∞∞=='⎛⎫'⊃ ⎪⎝⎭,11n n n n E E ∞∞==⊃. 证明?3)闭集的等价条件定理:设nE R ⊂,则下面的说法等价: (1)E 为闭集; (2)E E '⊂; (3)E E =;(4)对E 中的任意一列点{}k x ,若k x x →,则x E ∈. 证明 (1)⇒(2)对任意x E '∈,倘若x E ∉,即cx E ∈.因c E 为开集,存在()c B x E ⊂,从而()B x E ⋂=∅,这与x E '∈(x 为E 的聚点矛盾),故x E ∈.(2)⇒(3)显然,事实上,E EE E E E '⊂'=⋃=. (3)⇒(4)事实上,对E 中的点列{}k x ,k x x →,由聚点的等价条件,或者x E ∈或者x E E E '∈⊂=,即必有x E ∈.(4)⇒(1)反证法:倘若E 不是闭集,即cE 不是开集,则存在cx E ∈,使得对x 的任意球邻域(,)B x δ,都有(,)B x E δ⋂≠∅,于是,通过取δ为一列适当的趋于0的数列即可在E 中选取点列{}k x ,使得k x x →,从而x E ∈,这与cx E ∈矛盾,故E 必为闭集.注:利用上述等价条件可更为方便地判断一些集是闭集,例如,E '是闭集(因为易得()E E '''⊂);E 为有限点集,则E 为闭集(因为易得E E '=∅⊂);同理nE R ⊂整点集,则E 为闭集.四、聚点原理、Borel 有限覆盖定理和林德洛夫(Lindelof )至多可数覆盖定理聚点原理和有限覆盖定理是nR 中的两个基本定理,是nR 完备性的两种表现形式: 聚点原理:若nE R ⊂是有界无限点集,则E 至少有一个聚点(即E '≠∅); 致密性定理:若{}k x 是nR 中的有界无限点列,则{}k x 至少有一个收敛子列{}i k x ;Borel 有限覆盖定理:若nE R ⊂是有界闭集,ℑ为E 的一个开覆盖,则存在ℑ中的有限个开集,记为12,,,m G G G ,使得12m E G G G ⊂⋃⋃⋃.问题:若nE R ⊂不是有界闭集,则是否存在ℑ中的一列开集,记为12,,,,k G G G ,使得1k k E G ∞=⊂?林德洛夫(Lindelof )至多可数覆盖定理:若nE R ⊂,ℑ为E 的一个开覆盖,则存在ℑ中的一列开集,记为12,,,,k G G G ,使得1k k E G ∞=⊂.证明 对任意x E ∈,由ℑ为E 的一个开覆盖可得,存在开集x G ∈ℑ,使得x x G ∈.由有理点的稠密性,存在有理点x x q G ∈和有理正数x r ,使得(,)x x x x B q r G ∈⊂,显然{}(,)x x B q r x E ∈是至多可数集,且仍覆盖E ,记{}{}11(,)(,),,(,),k k xx x x x x B q r x E B q r B q r ∈=,则相应的开集12,,,,k x x x G G G 也覆盖E .注:试用林德洛夫至多可数覆盖定理证明:nR 任一个非空开集G 总可表示成至多可数个开区间的并集.五、几类与开集、闭集相关的集1、自密集和完全集 设nE R ⊂,自密集:若E E '⊂,则称E 是自密集(特点:E 没有孤立点). 例如,∅,n Q ,()cn Q(无理点集),nR ,开区间,闭区间,半开半闭区间,非空开集都是自密集.完全集:若E E '⊂且E E '⊂,即E E '=,则称E 是自密集(特点:E 没有孤立点的闭集). 例如,∅,nR ,闭区间都是完全集.思考:(1)非空有限点集一定不是自密集,更不是完全集; (2)有限个完全集的并仍是完全集; (3)一列完全集的并不一定是完全集; (4)完全集的交集不一定是完全集.记住一个结论:设E ≠∅是完全集,则E c =. 2、稠密集和疏朗集 设nE R ⊂,稠密集:若n E R =(即对任意n x R ∈以及x 的任意邻域G ,总有G E ⋂≠∅),则称E 在nR 中稠密,或E 是nR 中的稠密集.显然,E 是稠密集⇔对任意非空开集G ,G E ⋂≠∅(今后判断稠密集的常用方法).易见,nQ ,()cnQ (无理点集)均为n R 中的稠密集.疏朗集:若对任意的非空开集G ,总存在G 的非空开子集V G ⊂,使得V E ⋂=∅(即c V E ⊂),则称E 为疏朗集.易见,∅,有限点集,整点集都是疏朗集;疏朗集一定没有内点,但无内点的集并不一定是疏朗集.稠密集与疏朗集: 设nE R ⊂,(1)若E 为疏朗集,则cE 为稠密集,但反之不成立;证明 对任意非空开集G ,由E 为疏朗集可得,存在非空开子集V G ⊂,使得cV E ⊂,从而c V E G ⊂⋂,故c E G ⋂≠∅,即cE 为稠密集.反之,取n E Q =即可. (2)若E 为稠密开集,则cE 为疏朗闭集; 证明 显然,cE 为闭集,下证c E 为疏朗集.事实上,对任意非空开集G ,取V G E =⋂≠∅,显然V 为开集,cV E ⋂=∅,故c E 为疏朗集.综合(1)(2)得,(3)E 为稠密开集⇔cE 为疏朗闭集.3、三分Cantor 集三分Cantor 集构造图如图示,我们将[]01,中永远去不掉的点所成的集称为三分Cantor 集,记为P . 注:10P 的两种表示方法:[]12n=111P 0,1\(())n n n k n k F I -∞∞====;20 P 是闭集,完全集; 30 P 是疏朗集; 40 P c =; 50 mP 0=; 60nk=1P ∏称为nR中的Cantor 集,nk=1P c =∏.思考:(1)如何解释疏朗集不一定是至多可数集?(2)如何解释在[]01,去掉一个不可数集,不一定改变其长度?4、F σ型集、G δ型集和Borel 集1)F σ型集:若nE R ⊂能表示成可数个闭集的并,则称E 是F σ型集;G δ型集:若n E R ⊂能表示成可数个开集的交,则称E 是G δ型集.注:10 开集是G δ型集,闭集是F σ型集;20 问题:开集是F σ型集,闭集是G δ型集?可见,F σ型集和G δ型集都是比开集、闭集更广的两类集;30 至多可数个F σ型集的并仍为F σ型集,至多可数个G δ型集的交仍为G δ型集;40 F σ型集与G δ型集在余运算下相互转化;从而,nR 中至多可数集一定F σ型集,至多可数集的余集一定是G δ型集;50 问题:有理数集Q 是否G δ型集?无理数集c W Q =是否F σ型集?2)Borel 集记τ表示开集全体,则由τ生成的σ代数()στℜ称为Borel 体,其中的元素称为Borel 集. Borel 集一定是从开集出发经过至多可数次并、交、差、余运算得到的(Borel 集的结构). 易见,开集,闭集,F σ型集和G δ型集都是Borel 集.六、开集的结构开集的结构定理:(1)R 上的任一个非空开集总可表示称至多可数个互不相交的开区间的并;(2)nR (2n ≥)上的任一个非空开集总可表示成至多可数个互不相交的半开半闭区间的并.注:10(1)中构成R 中非空开集G 的互不相交的每个开区间(),αβ满足:(),G αβ⊂,且,G G αβ∉∉,它们都称为G 的构成区间.20 开集的结构定理的更一般的说法:(1)R 上的任一个开集或为∅,或总可表示称至多可数个互不相交的开区间的并;(2)nR (2n ≥)上的任一个开集或为∅,总可表示成至多可数个互不相交的半开半闭区间的并.七、点与集合间的距离,集合与集合间的距离1、点与集合间的距离,集合与集合间的距离的定义设nx R ∈,nE R ⊂,记(){},inf (,)inf (,)y Ed x E d x y y E d x y ∈∈=称为x 与E 间的距离;设12,n E E R ⊂,记(){}121212,,inf (,),inf(,)x E y E d E E d x y x E y E d x y ∈∈∈∈=称为1E 和2E 间的距离.注:由定义可得10 (){}{}122112,i n f (,)i n f(,)d E E d x E x E d y E y E=∈=∈; 事实上,对任意1x E ∈,2y E ∈,由定义,()()12,,d E E d x y ≤,()()2,,d x E d x y ≤对第一个不等式两边先对2y E ∈取下确界得,()()122,,d E E d x E ≤;再对1x E ∈取下确界得,(){}1221,inf (,)d E E d x E x E ≤∈.对第二个不等式两边同时对1x E ∈,2y E ∈取下确界得,{}()2112inf (,),d x E x E d E E ∈≤.综上所述,即得结论.20 若x E ∈,则(),0d x E =,反之不一定成立,如取0x =,(0,1)E =即可; 30 x E ∈⇔(),0d x E =;事实上,x E ∈⇔存在E 中的一列点{}k x ,使得k x x →,即(),0k d x x →⇔(),0d x E =.40 特别,若E 为闭集,则x E ∈⇔(),0d x E =;50 若12E E ⋂≠∅,则()12,0d E E =,反之不一定成立,如取1(0,1)E =,2(1,2)E =即可.引理((),d x E 在nR 上的连续性):设nE R ⊂,记()(),f x d x E =(nx R ∈),则()f x 在n R 上一致连续.事实上,对任意,nx y R ∈,z E ∈,由()()(),,,d x z d x y d y z ≤+,()()(),,,d y z d x y d x z ≤+对z E ∈取下确界可得()()(),f x f y d x y -≤,()()(),f y f x d x y -≤,即()()(),f x f y d x y -≤.2、距离可达到的条件(1)点到集合间的距离可达到的条件:设0n x R ∈,nE R ⊂为非空闭集,则存在0y E ∈,使得()()000,,d x y d x E =. (2)集合间的距离可达到的条件:设,nE F R ⊂均为非空闭集,且至少有一个有界,则存在0x E ∈,0y F ∈,使得 ()(),,d x y d E F =.思考:如何利用(1)和连续函数的最值性来证明?注:(2)中,n E F R ⊂都无界,结论不一定成立.3、闭集的分离性分离性定理:设,n E F R ⊂均为非空闭集,若E F ⋂=∅,则存在两个开集12,G G ,使得,1E G ⊂,2F G ⊂,且12G G ⋂=∅.4、闭集一定是G δ型集,开集一定是F σ型集先证一个结论:设n E R ⊂,0δ>,则{}()(,),n x R d x E U E δδ∈<为开集,且(),E U E δ⊂.再证结论:设n E R ⊂为闭集,取1n δ=(1,2,n =),则1,U E n ⎛⎫ ⎪⎝⎭为一列包含E 的开集,下证:11,n E U E n ∞=⎛⎫= ⎪⎝⎭.易见,11,n E U E n ∞=⎛⎫⊂ ⎪⎝⎭,反之,对任意11,n x U E n ∞=⎛⎫∈ ⎪⎝⎭有,1,x U E n ⎛⎫∈ ⎪⎝⎭,从而()1,0d x E n <→,所以(),0d x E =,注意到E 是闭集得,x E ∈,所以,11,n E U E n ∞=⎛⎫⊃ ⎪⎝⎭,故11,n E U E n ∞=⎛⎫= ⎪⎝⎭.。
实变函数-23 开集,闭集,完备集 24 直线上的开集、闭集及完备集的构造

注:对无限维空间不一定成立。详细内容参见教材 p-183例6
⑵ Heine-Borel有限覆盖定理
设F为有界闭集,若开集簇 {Ui : i I} 覆盖F( 即 F iI Ui ),
则{Ui : i I} 中存在有限个开集U1 ,U2, … ,Un,它同样覆盖F
注:比较下面几种不同的证法
1. 周民强,实变函数 p-36 2. 尤承业,基础拓扑学 p-52 3. 熊金城,点集拓扑讲义 p-202 4. 教材 p-42
O( x', ')
0, 有O(x, ) (E'{x})
取x 'O(x, ) (E '{x}),由x ' E '
知 ' 0, 有O(x', ') (E {x '})
(当
'
min{
d ( x,
x '), d(x,
x ')}时,有x O(x', ')
O(
x,
)
)
E`为闭集
O( x, )
)(
⑴直线上的闭集或是全直线,或是从直线上挖去有限个或 可数个互不相交的开区间所得之集.
开集的构造
⑵直线上的闭集的孤立点必是其余区间的某两个相邻开区
间的公共端点;
但并不意味无孤立点的闭集定为互不相交的闭区间之并。
( )(
)(
)
(
)(
⑶Rn中的开集一般不能表示成至 多可数个互不相交的开区间之并, 但总可表示成至多可数个互不相 交的半开半闭区间之并.
知 ' 0, 有O(x', ') (E {x '})
(当
'
实变函数论课件5 开集、闭集、完备集

命题 3 (ii)E 是闭集。
O( x', ')
利用 ( E )' ( E E ' )' E ' ( E ' )' E ' E ' E ' E 可得 E为闭集
E
命题 3 (i)E 是闭集。(ii)E 是闭集。
证明
(i)设 x0 (E), 则对 0, 点 x1 U (x0, ) s.t. x1 E. 由第一节命题 3 知, 0 , 使U( x1, ) U( x0, ).
(ii) 只须证两个开集 G1、G2 的交 G1 G2 是开集.
设x0 G1 G2 , 则 x0 G1 且 x0 G2 , 从而存在正数 1、
2 使 U (x0 ,1 ) G1、U (x0 , 2 ) G2 .
由第一节命题 (3 iii), 存在 0 使 U (x0 , ) U (x0 , i ) (i 1,2), 从而U (x0 , ) G(i i 1,2), U (x0 , ) G1 G2 ,
故 x0 是G1 G2 的内点, 所以 G1 G2 是开集.
(iii)设
x0
I
G
,则存在 0
I
使
x0
G0 .由G0
是
开集知存在 0 使U (x0 , ) G0 , 从而U (x0 , )
G ,故
I
x0
是 I
G
的内点. 所以 G I
i.e., 没有孤立点的集合就是自密集。
定义5 设 E 是 RN 中的点集, 若 E E, 就称 E 是完备集。
因此, 完备集就是自密的闭集 (E E,E E ). i.e., 没有孤立点的闭集就是完备集。
拓扑空间、开集、闭集、闭包、聚点、邻域

第一章拓扑空间与拓扑不变量数学分析中的连续函数的定义与和值域都是欧氏空间(直线、平面或空间)或是其中的一部分。
本章将首先把连续函数的定义域和值域的主要特征抽象出来用以定义度量空间,将连续函数的主要特征抽象出来用以定义度量空间的连续映射。
然后将两者再度抽象,给出拓扑空间和拓扑空间之间的连续映射。
随后逐步提出拓扑空间的一些基本问题如邻域、开集、闭集、闭包、聚点、导集、内部、边界、序列、极限等。
进一步引入紧致性、连通性、可数性与分离性等重要的拓扑不变性§1.1拓扑空间、开集、闭集、聚点、闭包、邻域一、问题的引入数学分析里我们知道,在连续函数的定义中只涉及距离这个概念,定义域是一维欧氏空间,即实数空间,两点之间的距离d(x,y)=|x-y|,即两两实数之差的绝对值,定义域是n维欧氏空间,两点x=(x1 ,x2,…,x n),Y=(y1,y2,…,y n) 之间的距离。
无论是几维空间,它的距离都有下面的性质:1. d(x,y)≥0 , ∀x,y∈n R;2. d(x,y) = 0 ⇔x = y ;3. d(x,y) = d(y,x) ∀x,y∈n R;4. d(x,z) ≤d(x,y) + d(y,z) ,∀x,y,z∈n R;这些性质反映了距离的特征。
将n R推广为一般的集合,我们由距离可以抽象出度量以及度量空间的定义。
(一)度量空间1.定义定义1 设X是一个集合,ρ:X×X→R ,如果对于任何x,y,z∈X,有①(正定性)ρ(x,y)≥0 并且ρ(x,y) = 0 ⇔x = y ;②(对称性)ρ(x,y) = ρ(y,x) ;③(三角不等式)ρ(x,z) ≤ρ(x,y) + ρ (y,z)则称ρ是集合X中的一个度量。
如果ρ是集合X中的一个度量,则称偶对(X,ρ)是一个度量空间,或径称X 是一个度量空间。
而ρ(x,y )称为从点X 到点Y 的距离。
2. 度量空间举例例2.1.1 实数空间R对实数集合,定义ρ:R×R →R 如下:∀x,y ∈R ,令ρ(x,y )=|x-y| ,易知ρ是R 的一个度量。
度量空间中开集、闭集、自列紧集和紧集

度量空间中邻域、有界集、开集、聚点、闭集、自列紧集、紧集和连通集的概念 设X 是度量空间,0x X ∈,A X ⊆ 。
1.邻域设δ是正实数,点0x X ∈ 的“δ邻域”是指集合(){}0,,x d x x x X δ<∈ ,记作()(){}00,,,U x x d x x x X δδ=<∈ 。
2.有界集集合A X ⊆是“有界集”是指:存在点0x X ∈和正实数δ使得()0,A U x δ⊆。
3.开集集合A X ⊆是“开集”是指:对任意点x A ∈,存在正数x ε,使得(),x U x A ε⊆。
4.聚点和孤立点点0x X ∈是集合A X ⊆的“聚点”是指:0x 的任意邻域包含有A 中的点。
点0x X ∈是集合A 的“孤立点”是指:0x A ∈但点0x 不是A 的聚点。
5.闭集集合A X ⊆是“闭集”是指:A 的所有聚点都属于A (或A 没有聚点)。
6.自列紧集集合A X ⊆是“自列紧集”是指:A 的任意序列有收敛于A 中某点的子序列。
7.紧集集合A X ⊆是“紧集”是指:A 的任意开覆盖可以选出有限覆盖。
8.连通集集合A X ⊆是“连通集”是指:不存在X 的非空开子集M 、N 满足M A ⋂≠∅、N A ⋂≠∅、A M N ⊆⋃且M N ⋂=∅。
(等价说法:度量空间X 是连通的,若存在X 的非空开子集M 、N 满足X M N =⋃且M N ⋂=∅。
两个说法等价性在于:前一个说法中,若把A 看作X 的度量子空间,那么M A ⋂和N A ⋂实际上是A 的开子集。
)度量空间中开集、闭集、自列紧集和紧集的之间的关系 1.度量空间的开子集的余集是闭集。
证明:设X 是度量空间,A 是X 的开子集,\B X A = 。
(1)若B 没有聚点,那么B 是闭集。
(2)若B 有聚点,任取B 的一个聚点x ,那么x 的任意邻域含B 中的点,所以x 的任意邻域都不包含于A 。
又因为A 是开集,所以x A ∉,所以x B ∈。
开集、闭集、完备集
2.3 开集、闭集、完备集序 前面介绍了内点,极限点,导集,闭包的概念 ⇔∈E x x 的任意邻域中都含有E 中的点,即:∅≠⋂>∀E x O ),(,0δδ。
且对n R A ⊂,n R B ⊂,有定理 1. ''B A B A ⊂⇒⊂2. B A B A ⊂⇒⊂3.()'''B A B A ⋃=⋃4. ()B A B A ⋃=⋃证明 1)由导集的等价条件直接得到2)B B B A A A B A =⋃⊂⋃=⇒⊂''3) 因B A A ⋃⊂, 由1)知()''A B A ⊃⋃, 同理()''B B A ⊃⋃, 故()'''B A B A ⋃⊃⋃; 反之, 任取(),'B A x ⋃∈ 则B A ⋃中存在一列互不相同的点{}x x t s x n n →..,, 这一列点要么有无限个含于A (此时'A x ∈) 要么有无限个含于B (此时'B x ∈), 不管怎样, 总有''B A x ⋃∈, 所以()'''B A B A ⋃⊂⋃, 综合起来即有结论.4) ()()()()()B A B A B A B A B A B A ⋃=⋃⋃=⋃⋃=⋃''' 一. 稠密集, 疏朗集 稠密性定义1 若B 中任意点的任意邻域中都含有A 中的点, 则称A 在B 中稠密, 特别的, 若n R B =, 则称A 是稠密集(的).例如 Q 在1R 中稠密; 有理点(即坐标全为有理数的点)的全体在nR 中稠密; 有理数的全体在无理数中稠密, 无理数的全体也在有理数中稠密 显然有如下的结论定理2 A 在B 中稠密当且仅当A B ⊂, A 是稠密的当且仅当nR A =疏朗性定义2 如果nR 中的任意一个邻域中都包含一个子邻域与E 不相交, 则称E 是疏朗集(的)或无处稠密的, 也即E 不在任意邻域中稠密 定理3 以下三个命题等价(i)E 是疏朗集(ii) E 不含任何邻域(iii)()cE 是稠密集证明 (i)→(ii)反证法 假设E r x O ⊂),(, 按闭包的等价定义, ),(r x O 中任意点的任意邻域中都含有E 中的点, 与疏朗集的定义矛盾.(ii)→(iii) 由假设知道, 对n R x ∈∀, 和任意的0>δ, 有E x O ⊄),(δ, 从而()∅≠cE x O ),(δ; 再由δ的任意性知道)()cEx ∈, 由x 的任意性就得到集合的稠密性.(iii)→(i) 反证法 存在),(δx O , 使得任意的),(),(δx O r y O ⊂都有∅≠⋂E r y O ),(,由r 的任意小性知道E y ∈, 再由y 的任意性知道E r y O ⊂),(, 由此知道()cE 不是稠密的. 由这个定理知道疏朗集的余集是稠密的, 但稠密集的余集不一定是疏朗的, 如Q 二 开集闭集定义3 若E 中所有的点都是内点, 则称E 是开集 例如 (1) 空集和全空间都是开集(2) 任意邻域是开集 (3) 任意开区间是开集 (4) 非空有限集不是开集定义 4 若E 包含了他的所有的极限点, 则称E 是闭集 例如 (1) 空集和全空间都是开集(2) 空有限集是闭集 三 开集闭集的性质 例题 E E E ∂,,'都是闭集.证明 1)要证()'''E E ⊂, 任取()''E x ∈则x 的任意邻域),(δx O 中含有'E 中的不同于x 的点y, 因为'E y ∈, 所以在),(),(δx O r y O ⊂中含有E 中的无限多个点, 即是说x 的任意邻域),(δx O 中含有E 中的无限多个点, 因此'E x ∈, 由x 的任意性, 知道()'''E E ⊂2) 注意到()'''E E ⊂, 和导集的性质, 故()()()E E E E E E E E E =⋃⊂⊂⋃=⋃='''''''' 3) 证明()'E x ∂∈∀, 则对任意的0>δ, 邻域),(δx O 中含有E ∂中的不同于x 的点y, 因为E y ∂∈, 所以在),(),(δx O r y O ⊂中含有E 中的点, 也含有E 外的点, 即是说x 的任意邻域含有E 中的点, 也含有E 外的点, 所以E x ∂∈, 从而()E E ∂⊂∂'定理4 E 是闭集E E ⊂⇔'E E =⇔⇔E 中任何收敛点列的极限属于E 证明 ⇒任取{}x x E x n n →⊂,, 由闭包的等价条件知道E E x =∈⇐任取'E x ∈, 则存在{}x x E x n n →⊂,, 由假设知道E x ∈, 从而E E ⊂', 所以是闭集 该定理和上面的例题表明 ()E E = ()'''E E ⊂ 还有 ()E E ∂⊂∂∂证明 任取()E x ∂∂∈, 邻域),(δx O 中含有E ∂中的点E y ∂∈, 所以在),(),(δx O r y O ⊂中含有E 中的点也含有E 外的点, 所以E x ∂∈, 从而()E E ∂⊂∂∂ 例如 ⎭⎬⎫⎩⎨⎧== ,2,1:1n nE 则()空集==''},0{'E E],1,0[⋂=Q E 则()}1,0{],1,0[=∂∂=∂E E定理5 E E E E E ∂== '证明 任取'E E x ∈, 不妨认为,E x ∉ 由闭包的等价条件, 任意邻域),(δx O 中含有E 中的点, 也含有E 外的点x , 即是说x 的任意邻域含有E 中的点, 也含有E 外的点, 所以E x ∂∈, 从而E E E E E ∂⊂= '; 另一方面 任取E E x ∂∈, 也不妨认为,E x ∉ 则E x ∂∈, 由此x 的任意邻域含有E 中的点, 这些点当然不同于x , 故'E x ∈, 所以E E E E ∂⊃ '. 综上所述, 结论得证.定理6 (1) 空集和全空间都是闭集(2) 有限个闭集的并是闭集 (3) 任意多个闭集的交是闭集证明 (2) 设B A ,是闭集, 则由闭性知道, ()B A B A B A ⊂=''', 从而任意两个闭集的交是闭集, 再对个数进行有限次归纳, 结论自然得证.(3) 设Γ∈λλ,A 都是闭集, 则Γ∈∀⊂Γ∈λλλλ,A A , 从而由导集的性质得到()()Γ∈∀⊂⊂Γ∈λλλλλ,''A A A, 所以()Γ∈Γ∈⊂λλλλA A ', 结论得证例题 (2) 中不能改为无限, 如)1,1(]1,1[111-=-+-∞=k k k 定理7 开集的余集是闭集, 闭集的余集是开集证明 (1) 设E 是开集, 下证明cE 是闭集, 任取()'cE x ∈, 则x 的任意邻域),(δx O 中含c E 中的点, 所以x 不是E 的内点, 而E 又是开集, 故x 不是E 中的点, 从而只能属于c E , 即有()c c E E ⊂' 得证(2) 设E 是闭集, 下证明c E 是开集, 任取c E x ∈, 则存在x 的邻域),(δx O , 使得该邻域中不含E 中的点, 所以c E x O ⊂),(δ, 即x 是E 的内点, 从x 的任意性知道c E 是开集. 定理8 (1) 空集和全空间都是闭集(2) 有限个开集的交是闭集 (3) 任意多个开集的并是闭集 证明 由定理7和对偶定理即得到本结论 (2)中也不能改为无限 如]1,1[)1,1(111-=+--∞= k k k 推论 闭集减开集仍是闭集; 开集减闭集仍是闭集 四 有界闭集的性质定理9 有界闭集E 中的任意点列都有收敛到其自身的子列 证明 这由Bolzano-Weierstrass 定理和集合的闭性直接得到 引入覆盖的概念, 若, Γ∈⊂λλE E 则称{}Γ∈λλ:E 是E 的一个覆盖 如Γ是有限集, 则称为有限覆盖, 类似的有可数覆盖, 无限覆盖 如果每个Γ∈λλ:E 都是开集则称为开覆盖, 类似的有开区间覆盖如果Γ⊂Γ1, 且{}1:Γ∈λλE 是E 的一个覆盖, 此时称{}1:Γ∈λλE 是{}Γ∈λλ:E 的一个子覆盖, 如果子覆盖同时又是有限的, 则称为有限子覆盖定理10 有界闭集nR E ⊂E 中的任意开覆盖{}Γ∈=λλ:E G , 都存在有限的子覆盖.证明 分两步来证(1) 证明存在常数0>δ, 使得E x ∈∀, ),(δx O 必含于G 中的某一开集中, 该数被称为Lebesgue 数反证法, 假设不存在这样的数, 则对任意的自然数n , 都存在E x n ∈, 使得),(1n n x O 不能被包含在G 中的任一开集中. 由定理9, {}n x 中有子列, 不妨仍记为{}n x , 使得E x x n ∈→. 又因为G 是开覆盖, 所以存在G K ∈, 使得K x ∈, 由K 是开集知道存在K r x O ⊂),(. 这样我们取n 充分大, 以使得21,2),(rn r x x n <<ρ, 则G K r x O x O n n ∈⊂⊂),(),(1, 与nx 的取法矛盾, 所以常数0>δ是存在的.(2) 证明E 一定包含在有限个半径不小于δ属于G 的开集中对(1)中的δ, 则 Ex x O E ∈⊂),(δ, 我们来说明一定可以找到有限个点k i E x i,2,1,=∈使得ki i x O E 1),(=⊂δ。
2.2直线上的开集、闭集及完全集的构造
怪物
这说明,
康托三分集
康托三分集无法用欧几里得几何的整数 维尺度去度量。
“病态”的“数学怪物”
19世纪后半叶起,数学家们在研究 函数的连续性时构造出一系列不符合人 们传统观念的集合。 德 国 数 学 家 维 尔 斯 特 拉 斯 ( K. Weierstrass)1872年构造的以他的名 字命名的函数 W(x)是这类集合的第 一例
怪物康托三分集怪物康托三分集怪物康托三分集怪物康托三分集怪物康托三分集怪物康托三分集怪物康托三分集在这样的操作下有些点是永远删不去的比如1323以及所有被删去的开区间的端点
§2.2 直线上的开集、闭集及 完备集的构造
引例
G = (-1, 2 ) (1,3) (3,5) 是直线上的开集,
它可以表为互不相交的开区间的并:G = (-1,3 ) (3,5).
d. P中的点全为聚点,从而没有孤立点 证明:对任意x ∈ P , 只要证: 0, 有 O( x , ) ( P { x})
1 由Cantor集的作法知 n , n , 及某个 i,使 O( x , ) I i( n ) 3
) 而 I i( n 的两个端点定在P中,
设三角形 周长为 P1 3, 3 面积为 A1 ; 4
第一次分叉:
4 周长为 P2 P1 , 3 1 面积为 A2 A1 3 A1 ; 9
依次类推
观察雪花分形过程
设三角形 周长为 P1 3, 3 面积为 A1 ; 4
第一次分叉:
4 周长为 P2 P1 , 3 1 面积为 A2 A1 3 A1 ; 9
播放 播放
依次类推
观察雪花分形过程
设三角形 周长为 P1 3, 3 面积为 A1 ; 4
2.2 开集、闭集、完备集
( xk , x0 ) {( ( xi( k ) x ) }
i 1
n
1 (0) 2 2 i
6
机动 目录 上页 下页 返回 结束
§1 聚点、内点、边界点
1. 内点、外点、边界点 设有点集 E⊂Rn 及一点 x0∈Rn : 若存在点 x0的某邻域 N(x0) E , 则称 x0为 E 的内点;
, xk 1}) E,
1 k k
由归纳法知点列x1, x2, … , xk k 0 k
lim xk x0
k
Q. E. D.
12
机动 目录 上页 下页 返回 结束
定理4. (波查诺-魏尔斯特拉斯聚点原理) Rn中的任意 则
E 。
如果 E , 则称E为离散集合(或稀疏集合) 。
结论3. 凡离散集合都是孤立集合。反之不然。 例子. R1中的点集 E { 1 : n 1, 2, }. n E {0} E不是稀疏集合
E E
E是孤立集合
15
机动 目录 上页 下页 返回 结束
16
机动 目录 上页 下页 返回 结束
“孤单一点属于E,没别的E中点”,故称x0 是E的孤
立点。
9
机动 目录 上页 下页 返回 结束
例1. 点集 E {( x, y) : x2 y 2 1} {(0, 2),(0, 2)}.
E {( x, y) : x2 y 2 1} E E {(0, 2), (0, 2)}
x1 (N ( x0 , 1 ) {x0} )E
1 对 2 , 取 2
x2 (N ( x0 , 2 ) {x0 , x1} )E
机动 目录 上页 下页 返回
《开集与闭集》课件
在实变函数中,开集和闭集的概念也可以用于定义函数的微分和 导数。例如,函数在某个点的导数可以定义为函数在这一点附近
的所有开集上的平均变化率。
在拓扑学中的应用
01
拓扑空间的定义
拓扑学是研究空间结构的学科,开集和闭集是定义拓扑空间的基本概念
之一。一个拓扑空间是由一些开集和闭集构成的集合,这些集合具有一
习题三:证明一个开集或闭集的性质
总结词
深入理解开集与闭集的性质是解题前提
详细描述
要证明一个开集或闭集的性质,首先需要了 解它们的基本性质,如开集的并集仍为开集 ,闭集的交集仍为闭集等。然后,利用这些 性质进行逻辑推导,证明所需证明的性质。 在证明过程中,需要注意逻辑的严密性和推 理的准确性,确保结论的正确性。
些特定的性质。
02
分离公理
在拓扑学中,分离公理是用来描述空间中点与点之间关系的条件。其中
,T1分离公理指出,每一个点都是其包含的开集的唯一聚点,即一个点
如果是闭集的聚点,那么它也一定是开集的聚点。
03
紧致性
紧致性是拓扑学中的一个重要概念,它涉及到空间的某些性质。例如,
一个紧致空间中的任意开覆盖都存在有限子覆盖。这个性质可以通过开
开集与闭集的补集
总结词
开集与闭集的补集是除去开集和闭集 共同部分的集合。
详细描述
设A是开集,B是闭集,则A与B的补集 A'∪B'是一个除去A与B交集部分的集 合。这个集合包含所有不属于A或不属 于B的元素。这些元素不满足A和B的 定义域和值域的条件。
04
开集与闭集的应用
在数学分析中的应用
极限的定义
开集和闭集在积分理论中也有重要应用,如判断一个函数是否可积,以及计算定积分等 。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
开集的余集是闭集
证明:设E为开集,即 x E, 0, 使得O( x, ) E 从而
O( x, ) Ec
从而x不是Ec的接触点,
也即Ec的接触点一定在Ec内,
从而 E c E c ,即Ec为闭集。
P0为 P0为
E的接触点: 0, 有O( p0 , ) E E的内点: 0, 使得O( p0 , ) E
F {x} { y x : y F} G
证明:对任意的y∈F,由于y∈G ,
故存在 y 0, 使得O( y, y ) G
: y F } ) 由 {O( y , 1 组成F的一个开覆盖及 2 y
有限子覆盖定理,知存在y1, y2, …yn ∈F ,
n
使得F O( yi , 1 y )
i 1
2 i
于是对每个y∈F至少属于某个
O( yi , 1 y )
2 i
且y与Gc中的任一点z之间的距离为
1 | y z || z yi | | yi y | yi 1 2 yi 2 yi
取 1 y1 , y2 ,, yn } 2 min{
覆盖F
则
{Ni : i I }
中存在有限个开集N1 ,N2, … ,Nn,它同样覆盖F
证明
1. 先证明 0, 使O( x, ) F , 都有O( x, ) Ni0 .
若不然,对n, 都有 1 ,因而必有xn F , n
1 使O ( xn , )不包含在任何属于 的开领域中 . n
P0为
P0为
0, 使得O( p0 , ) E E的内点:
由于E E ' E E ' {E的孤立点全体 } 故E E等价于E ' E
E E ( 因为 E E显然) 说明:要证E是开集,只要证
要证E是闭集,只要证 E' E或E E(因为E E显然)
0, 有O( x, ) ( E'{x})
取x ' O( x, ) (E ' {x}),由x ' E '
知 ' 0, 有O( x ', ') ( E {x '}) (当 ' min{ d ( x, x '), d ( x, x ')}时,有x O( x ', ') O( x , ))
1 2 0, 3 , 3 ,1
再次
如此继续下去,最终剩下的点集记作E,称之
1 2 7 8 . , , , 9 9 9 9
为Cantor集,则E是一个完备集。
Cantor集
对[0,1]区间三等分,去掉中间一个开区间, 然后对留下的两个闭区间三等分,各自去掉中间一个开区间, 此过程一直进行下去,最后留下的点即为Cantor集
I
设G非空,任取x G, 则 0 I,使x G 0, 已知G 0 为开集,故存在 x的领域(1 , 1 ) G 0 G, x是G的内点,由x的任意性知G为开集.
c. 有限多个开集的交仍是开集
n 证明 设G Gi , Gi (i 1,2, n)为开集 .任取 x G则x Gi . i 1
⑶开集的性质
A B
a. 空集,Rn为开集; b. 任意多个开集之并仍为开集; c. 有限个开集之交仍为开集。
注:无限多个开集的交不一定为开集,如: En=(0,1+1/n), Rn中只有空集和Rn既开又闭, 存在大量既不开又不闭的集合,如:E=[0,1)
b. 任意一族开集的并是开集
证明 设G ( I )是一族开集,下证 G G 是开集 .
x ( E ) 所以x为 的内点,即
Eº
从而E ( E ),即E 为开集
O( x , )
E`为闭集
O( x , )
证明:只要证
( E ' )' E '
E
任取 x ( E ' )' ,由聚点的定义知
O( x', ')
闭集的余集是开集
证明:设E为闭集,即 E E 任取 x E c ,假如x不是Ec的内点, 则x的任一邻域内至少有一个属于E的点, 从而x为E的接触点,由E为闭集可知x在E内, 这与 x E c 矛盾,
所以Ec中的点都为Ec的内点,即Ec为开集。
P0为 P0为
E的接触点: 0, 有O( p0 , ) E E的内点: 0, 使得O( p0 , ) E
i 1
n
⑷闭集的性质
a.空集,Rn为闭集; b.任意多个闭集之交仍为闭集; c.有限个闭集之并仍为闭集。
注:无限多个闭集的并不一定为闭集,如:En=[0,1-1/n]
(5) Heine-Borel有限覆盖定理
设F为有界闭集,若开集簇 (即 ),
F Ni
iI
{Ni : i I }
利用( E )' ( E E ' )' E '( E ' )' E 'E ' E ' E 可得E为闭集
注: E 为包含E的最小闭集
(2)开集与闭集的对偶性
a.
( E) ( E )
c
c
(E ) (E )
c
c
b.若E为开集,则Ec为闭集; 若E为闭集,则Ec为开集。
因Gi为开集,故存在 x的领域( i , i ) Gi , 取 max i , min i , 则x ( , ) ( i , i ) Gi .
1i n 1i n
所以 x ( , ) Gi G.因此 x是G的内点.
Cantor 集合E是一疏朗集合
任取开区间 ( , ),若( , )不含E的点,则显然成立 .
若( , )中有E的点x,令 min{x , x}, 1 则 0, 故当n0充分大时,便有 n0 . 3
c O [ a , b ] 则 ( x, )
,
a b x
从而x不是[a,b]的接触点, 从而[a,b]的接触点都在[a,b] 内,从而[a,b]是闭集。
说明: 要证E是闭集,只要证
E ' E或Ec (E' )c 或E E或Ec (E)c (因为E E显然)
注:闭集为对极限运算封闭的点集
P0 为 P0 为 P0 为 P0为
E的接触点: 0, 有O( p0 , ) E E的聚点: 0, 有O( p0 , ) (E { p0}) E的内点: 0, 使得O( p , ) E 0
c E的外点: 0, 使得O E , 即 O E ( p0 , ) ( p0 , )
Cantor 集合E是一完备集合 1) E是一闭集.
设A是所有被删去的点作成的集合,则A是可数多个 开集的和,所以A是开集.
而E [0,1] A [0,1] Ac , 故E是闭集.
2) E是一自密集.
根据Cantor集的构成,在进 n次删去以后,所余下来 的 1 n 2 个闭区间的长度是 n . 3
设这些小块是 F1,F2, , Fm,在每一Fi中任取一点xi , 作N ( xi , ),则有Ni 使N ( xi , ) Ni .
于是得出属于的有限多个开领域 N1 , N 2 , , N m . 显然F Fi N i .
i 1 i 1 m m
例3:设F为R1中的有界闭集,G为开集且 F G 则存在δ>0,使得当|x|< δ时 ,有
由xni x0 , 取ni充分大,使 ( xni , x0 ) 于是O( xni ,
1
2 ni ,
2
,
1 ) N ( x0 , ) N ( y0 , ) .这与xni的定义矛盾 . ni
2. 因为F有界,用平行于坐标平 面的超平面将 F分成 有限多个小块,使每一 块中任意两点的距离都 小于 .
( , )
中总有子区间
( , ) ( , ), 使得 ( , ) 不含有A的点,则称A是疏
问题:能否在直线上找到既完备有是疏朗的 集合?
Cantor集的构造:
将[0,1]均分为三段,删去中间的开区间 三等分,删去中间的两个区间
1 2 , ,将剩下的两个区间 3 3
E`为闭集
知 ' 0, 有O( x ', ') ( E {x '})
O( x , )
(当 ' min{ d ( x, x '), d ( x, x ')}时,有x O( x ', ') O( x , ))
E
O( x', ')
从而 O( x, ) (E {x}) 即x为E的聚点,从而 ( E ' )' E '
第二章 n 维空间中的点集
第二节 开集、闭集与完备集
(1) 开集、闭集
若Eº= E , 则称E为开集(E中每个点都为内点) 若 E E ,则称E为闭集(与E紧挨的点不跑到E外)
P0为
0, 有O( p0 , ) E E的接触点:
E的聚点: 0, 有O( p0 , ) (E { p0})
0
得
0
n
n
0
Eº 为开集 证明:只要证 E ( E ) 任取
x E
,
由内点的定义知 0, 使得O( x , ) E