请输入您要查询的字词:

 

单词 FirstCountableImpliesCompactlyGenerated
释义

first countable implies compactly generated


Proposition 1.

Any first countable topological spaceMathworldPlanetmath is compactly generated.

Proof.

Suppose X is first countable, and AX has the property that, if C is any compact set in X, the set AC is closed in C. We want to show tht A is closed in X. Since X is first countable, this is equivalentMathworldPlanetmathPlanetmathPlanetmathPlanetmathPlanetmath to showing that any sequence (xi) in A converging to x implies that xA. Let C={xii=1,2,}{x}.

Lemma 1.

C is compact.

Proof.

Let {UjjJ} be a collectionMathworldPlanetmath of open sets covering C. So xUj for some j. Since Uj is open, there is a positive integer k such that xiUj for all ik. Now, each xiUd(i) for i=1,,k. So C is covered by Ud(1),,Ud(k), and Uj, showing that C is compact.∎

In addition, as a subspaceMathworldPlanetmathPlanetmath of X, C is also first countable. By assumptionPlanetmathPlanetmath, AC is closed in C. Since xiAC for all i1, we see that xAC as well, since C is first countable. Hence xA, and A is closed in X.∎

随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 19:49:56