Integer-valued function criterion for connectedness
= Integer-valued function criterion for connectedness
A topological space is connected exactly when every continuous map from it to the discrete space $\mathbb Z$ is constant. A disconnection produces a nonconstant indicator map, while the continuous image of a connected space in $\mathbb Z$ must be a singleton.