For a set with its cofinite topology, a subset is a connected subset exactly when is empty, a singleton, or infinite. Indeed, its subspace topology is the cofinite topology on : the traces of open sets are precisely for finite , together with the empty set. For infinite , two nonempty open sets intersect, because their complements have finite union. Hence is a hyperconnected space and therefore a connected space. A finite has the discrete topology, which admits a separation of a topological space as soon as has at least two points.
For an infinite set with its cofinite topology, every infinite subset is connected, but has an infinite disconnected topological subspace. Choose and use . The open sets and have disjoint nonempty traces and on , covering it. Thus is a product of a discrete two-point subspace with an infinite cofinite factor. The ambient open rectangles may intersect; only their traces must be disjoint for a separation of .
Articles by others on the same topic
There are currently no matching articles.