请输入您要查询的字词:

 

单词 TheContinuousImageOfACompactSpaceIsCompact
释义

the continuous image of a compact space is compact


Consider f:XY a continuousMathworldPlanetmathPlanetmath and surjective function and X a compact set. We will prove that Y is also a compact set.

Let {Va} be an open covering of Y. By the continuity of f the pre-image by f of any open subset (http://planetmath.org/OpenSubset) of Y will also be an open subset of X.So we have an open covering {Ua} of X where Ua=f-1(Va).

To see this remember, since the continuity of f implies that each Ua is open, all we need to prove is that aUaX.Consider xX, we know that since {Va} is a covering of Y that there exists i such that f(x)Vi but then by construction xUi and {Ua} is indeed an open covering of X.

Since X is compact we can consider a finite setMathworldPlanetmath of indices {ai} such that {Uai} is a finite open covering of X, but then {Vai} will be a finite open covering of Y and it will thus be a compact set.

To see that {Vai} is a covering of Y consider yY. By the surjectivity of f there must exist (at least) one xX such that f(x)=y and since {Uai} is a finite covering of X, there exists k such that xUak.But then since f(Uak)=Vak, we must have that yVak and {Vai} is indeed a finite open covering of Y.

随便看

 

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

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 8:00:11