End (topology)

| Main Article
| Discussion
| Related Articles  [?]
| Bibliography  [?]
| External Links  [?]
| Citable Version  [?]

|
|
|
|
|
|
|
|

This editable Main Article is under development and subject to a disclaimer.

[edit intro]

In general topology, an end of a topological space generalises the notion of "point at infinity" of the real line or plane.

An end of a topological space X is a function e which assigns to each compact set K in X some connected component with non-compact closure e(K) of the complement X \- K in a compatible way, so that

K1⊆K2⇒e(K1)⊇e(K2).

If X is compact, then there are no ends.

## Examples[edit]

* The real line has two ends, which may be denoted ±∞. If K is a compact subset of R then by the Heine-Borel theorem K is closed and bounded. There are two unbounded components of K: if K is contained in the interval [a,b], they are the components containing (-∞,a) and (b,+∞). An end is a consistent choice of the left- or the right-hand component.
* The real plane has one end, ∞. If K is a compact, hence closed and bounded, subset of the plane, contained in the disc of radius r, say, then there is a single unbounded component to X-K, containing the complement of the disc.

## Compactification[edit]

Denote the set of ends of X by E(X) and let X*=X∪E(X). We may topologise X* by taking as neighbourhoods of e the sets NK(e)=e(K)∪{f∈E(X):f(K)=e(K)} for compact K in X.