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.

Articles by others on the same topic (0)

There are currently no matching articles.