Information AboutCompactification (mathematics) |
|
In Mathematics , compactification is applied to Topological Space s to make them Compact Space s. The methods of compactification are various, but each is a way of controlling points from ''going off to infinity'' by in some way verifying a limit into a point or points, or preventing such an ''escape''. A SIMPLE, SLIGHTLY HANDWAVY EXAMPLE We all know that the circle is a compact space in the plane. It is closed and bounded, which due to the special properties of the euclidean plane, means that is compact. What we would like to do is to show that we can adjust the line (which is not bounded) and identify it with the circle, making it a compact in a slightly modified topology which will preserve the topology everywhere except where we have modified it. The construction is to add on a single point "infinity". Take a point on the circle and represent it by its degree value, in radians, going from -π to π for simplicity. Identify each point θ on the circle with the corresponding point on the real line tan(θ/2). This function is undefined at the point π, since tan(π/2) is undefined there; we will identify this point with our "infinity" point. Note that since tangents and inverse tangents are both continuous, our identification function is a Homeomorphism . It is not difficult to show that it remains a homeomorphism even when we consider our little tweak of adding "infinity". Topological properties, including compactness, are preserved over homeomorphisms, and since we know the circle is compact, we know that our modified line is compact, in fact, it is Isomorphic to a circle. Compactification, and in particular, one-point compactification can largely be considered a generalization of this process. COMPACTIFICATION IN GENERAL TOPOLOGY It is often useful to embed Topological Spaces in Compact Spaces , because of the strong properties compact spaces have. An embedding of a topological space ''X'' as a Dense subset of a compact space is called a compactification of X. Of particular interest are Hausdorff compactifications, i.e., compactifications in which the compact space is , the closure of ''X'' as a subset of that space will also be compact. This is the Stone-Čech compactification. For any non-compact space ''X'' the (Alexandroff) '''one-point compactification''' of ''X'' is obtained by adding an extra point ∞ (often called a ''point at infinity'') and defining the open sets of the new space to be the open sets of ''X'' together with the sets of the form ''G'' U {∞}, where ''G'' is an open subset of ''X'' and ''X'' \ ''G'' is compact. The one-point compactification of ''X'' is Hausdorff if and only if ''X'' is Hausdorff and Locally Compact . COMPACTIFICATION AND DISCRETE SUBGROUPS OF LIE GROUPS In the study of Discrete subgroups of Lie Group s, the Quotient Space of Coset s is often a candidate for more subtle compactification to preserve structure at a richer level than just topological. For example s, and those lattices can degenerate ('go off to infinity'), often in a number of ways (taking into account some auxiliary structure of ''level''). The cusps stand in for those different 'directions to infinity'. That is all for lattices in the plane. In ''n''-dimensional Euclidean Space the same questions can be posed, for example about GL''n''(R)/GL''n''('''Z'''). This is harder to compactify. There is a general theory, the Borel-Serre Compactification , that is now applied. OTHER COMPACTIFICATION THEORIES These include the theories of Ends Of A Space and Prime End s. Also some 'boundary' theories such as the Collaring Of An Open Manifold , Martin Boundary , Silov Boundary and Furstenberg Boundary . The Bohr Compactification of a Topological Group arises from the consideration of Almost Periodic Function s. One can compactify a Topological Ring by forming a ''projective line'' with Inversive Ring Geometry . |
|
|