Disconnected at infinity Created 2026-09-24 Updated 2026-11-05
A connected noncompact manifold is disconnected at infinity if removing some compact subset leaves at least two connected components that are not relatively compact in the manifold. Equivalently, the manifold has at least two ends: there are distinct ways to leave every compact subset.
The real line has two ends, while Euclidean space for has one. The circular cylinder also has two, corresponding to the two axial directions. In a proper metric space, components are not relatively compact exactly when they are unbounded, so the familiar unbounded-component formulation applies to complete connected Riemannian manifolds by the Hopf-Rinow theorem. Relative compactness gives the intrinsic definition in topology without imposing a particular metric: an open Euclidean ball is bounded in its inherited distance but still has an end.