Cardinality of a topology
Given a topological space
Proof
Let
be a homeomorphism. Since The image map of a bijection is a bijection, π : ( π , T π ) β ( π , T π ) is a bijection with inverse π β : P ( π ) β P ( π ) We can define π β since the preΓ―mage of every open set πΉ : T π β T π : π β¦ π β ( π ) must be open, which is clearly injective since it is restricted π . Thus π β Using a similar argument, we can define an injection | T π | β€ | T π | . Thus πΊ : T π β T π : π β¦ π β ( π ) . Therefore | T π | β€ | T π | . | T π | = | T π |