End (topology): Difference between revisions
Jump to navigation
Jump to search
imported>Richard Pinch (New entry, just a stub) |
imported>Chris Day No edit summary |
||
Line 1: | Line 1: | ||
{{subpages}} | |||
In [[general topology]], an '''end''' of a [[topological space]] generalises the notion of "point at infinity" of the real line or plane. | In [[general topology]], an '''end''' of a [[topological space]] generalises the notion of "point at infinity" of the real line or plane. | ||
Revision as of 01:07, 19 February 2009
![](http://s9.addthis.com/button1-share.gif)
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
If X is compact, then there are no ends.
Examples
- 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
Denote the set of ends of X by E(X) and let . We may topologise by taking as neighbourhoods of e the sets for compact K in X.