林德勒夫引理, 在拓扑学中, lindelöf, lemma, 所阐述的是, 满足c2公理和t3公理的空间也满足t4公理, 证明, 编辑取x, displaystyle, nbsp, 的一个可数拓扑基b, displaystyle, mathcal, nbsp, 设f, displaystyle, nbsp, 和f, displaystyle, nbsp, 是不相交的闭集, 构造它们的不相交邻域如下, displaystyle, forall, nbsp, 则x, displaystyle, notin, nbsp. 在拓扑学中 林德勒夫引理 Lindelof s lemma 所阐述的是 满足C2公理和T3公理的空间也满足T4公理 证明 编辑取X displaystyle X nbsp 的一个可数拓扑基B displaystyle mathcal B nbsp 设F displaystyle F nbsp 和F displaystyle F nbsp 是不相交的闭集 构造它们的不相交邻域如下 对 x F displaystyle forall x in F nbsp 则x F displaystyle x notin F nbsp 由T3公理可知 有x displaystyle x nbsp 和F displaystyle F nbsp 的不相交邻域W displaystyle W nbsp 和W displaystyle W nbsp 于是W F displaystyle bar W cap F varnothing nbsp 取B B displaystyle B in mathcal B nbsp 使得x B W displaystyle x in B subset W nbsp 则B F displaystyle bar B cap F varnothing nbsp 记 B 1 B 2 displaystyle B 1 B 2 cdots nbsp 是B displaystyle mathcal B nbsp 中所有闭包与F displaystyle F nbsp 不相交的成员 上面已证明F n 1 B n displaystyle F subset bigcup n 1 infty B n nbsp 记 B 1 B 2 displaystyle B 1 B 2 cdots nbsp 是B displaystyle mathcal B nbsp 中所有闭包与F displaystyle F nbsp 不相交的成员 则F n 1 B n displaystyle F subset bigcup n 1 infty B n nbsp 记U n B n i 1 n B i displaystyle U n B n setminus bigcup i 1 n bar B i nbsp V n B n i 1 n B i n 1 2 displaystyle V n B n setminus bigcup i 1 n bar B i n 1 2 cdots nbsp 则U n displaystyle U n nbsp 和V n displaystyle V n nbsp 都是开集 并且 n m U n V m displaystyle forall n m U n cap V m varnothing nbsp 令U n 1 U n displaystyle U bigcap n 1 infty U n nbsp V n 1 V n displaystyle V bigcap n 1 infty V n nbsp 则U V n m 1 U n V m displaystyle U cap V bigcup n m 1 infty U n cap V m varnothing nbsp 设x F displaystyle x in F nbsp 则存在n displaystyle n nbsp 使得x B n displaystyle x in B n nbsp 从而x U n U displaystyle x in U n subset U nbsp 因此U displaystyle U nbsp 是F displaystyle F nbsp 的开邻域 同理V displaystyle V nbsp 是F displaystyle F nbsp 的开邻域 从而U displaystyle U nbsp 和V displaystyle V nbsp 是F displaystyle F nbsp 和F displaystyle F nbsp 的不相交邻域 空间X displaystyle X nbsp 满足T4公理 参见 编辑点集拓扑学 分离公理 可数性公理参考 编辑 基础拓扑学讲义 尤承业 P42 43 nbsp 这是一篇关于拓扑学的小作品 你可以通过编辑或修订扩充其内容 查论编 取自 https zh wikipedia org w index php title 林德勒夫引理 amp oldid 64061371, 维基百科,wiki,书籍,书籍,图书馆,