Proof That the Interval (0,1) is Not Compact With the Absolute Value Topology
The intervalis not a compact space with the absolute value topology.
The open intervalwith the absolute value topology is Lindelof since it is a subspace of a second countable space setr . It is not compact however (if it were compact it would be Lindelof).
Consider the collection of open subsetsofLet
This set is an open cover ofbecause
Hence no finite subcover exists andis not compact.