Two ends of a real-line compactification
ID: two-ends-of-a-real-line-compactification
For a Hausdorff compactification , let be the intersections of the closures of the positive and negative tails, respectively. Each is nonempty and connected by the closed-filter-base theorem. Their union equals the remainder: an image point has a bounded-interval neighbourhood excluding sufficiently long tails, whereas every neighbourhood of a remainder point meets tails by density and compactness of bounded intervals. If the remainder is finite, each must be a singleton, so there can be only one or two remainder points. In particular there is no three-point compactification of the real line.
New to topics? Read the docs here!