Thread: prove Digital line is not hemeomorphic

Prove that the digital line in not homeomorphic to Z with the finite complement topology

Originally Posted by monkey.brains

Prove that the digital line topology on is not homeomorphic to with the finite complement topology

If two topological spaces are homeomorphic to each other, they share the same topological invariants, such as connectedness, compactness, Hausdorffness, and homotopy groups. That means if one topological space is compact but the other topological space is not compact, then two topological spaces are not homeomorphic to each other.

A finite complement topology on is compact. Any open cover of has a finite subcover. Once you have chosen an arbitrary initial open set of a finite complement topology on , only finite point sets are remained to cover the whole . The remaining choices of open sets for an open cover for is bound to be finite.

In contrast, the digital topology on is not compact. All basis elements of a digital topology on forms an open cover for , but it has no finite subcover.

Thus, the above two topological spaces are not homeomorphic.