请输入您要查询的字词:

 

单词 HomeomorphismBetweenBooleanSpaces
释义

homeomorphism between Boolean spaces


In this entry, we derive a test for deciding when a bijection between two Boolean spaces is a homeomorphism.

We start with two general remarks.

Lemma 1.

If Y is zero-dimensional, then f:XY is continuousMathworldPlanetmathPlanetmath provided that f-1(U) is open for every clopen set U in Y.

Proof.

Since Y is zero-dimensional, Y has a basis of clopen sets. To check the continuity of f, it is enough to check that f-1(U) is open for each member of the basis, which is true by assumptionPlanetmathPlanetmath. Hence f is continuous.∎

Lemma 2.

If X is compactPlanetmathPlanetmath and Y is HausdorffPlanetmathPlanetmath, and f is a bijection, then f is a homeomorphism iff it is continuous.

Proof.

One direction is obvious. We want to show that f-1 is continuous, or equivalently, for any closed setPlanetmathPlanetmath U in X, f(U) is closed in Y. Since X is compact, U is compact, and therefore f(U) is compact since f is continuous. But Y is Hausdorff, so f(U) is closed.∎

Proposition 1.

If X,Y are Boolean spaces, then a bijection f:XY is homeomorphism iff it maps clopen sets to clopen sets.

Proof.

Once more, one direction is clear. Now, suppose f maps clopen sets to clopen sets. Since X is zero-dimensional, f-1:YX is continuous by the first propositionPlanetmathPlanetmathPlanetmath. Since Y is compact and X Hausdorff, f-1 is a homeomorphism by the second proposition.∎

随便看

 

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

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 15:22:27