* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
Download PDF
Survey
Document related concepts
Continuous function wikipedia , lookup
Michael Atiyah wikipedia , lookup
Sheaf (mathematics) wikipedia , lookup
Cartan connection wikipedia , lookup
Poincaré conjecture wikipedia , lookup
Homology (mathematics) wikipedia , lookup
Euclidean space wikipedia , lookup
Geometrization conjecture wikipedia , lookup
Grothendieck topology wikipedia , lookup
Orientability wikipedia , lookup
Surface (topology) wikipedia , lookup
General topology wikipedia , lookup
Covering space wikipedia , lookup
Transcript
homogeneous topological space∗ yark† 2013-03-21 21:17:42 initial point Definitions A topological space X is said to be homogeneous if for all a, b ∈ X there is a homeomorphism φ: X → X such that φ(a) = b. A topological space X is said to be bihomogeneous if for all a, b ∈ X there is a homeomorphism φ: X → X such that φ(a) = b and φ(b) = a. Examples The long line (without initial point) is homogeneous, but it is not bihomogeneous as its self-homeomorphisms are all order-preserving. This can be considered a pathological example, as most homogeneous topological spaces encountered in practice are also bihomogeneous. Every topological group is bihomogeneous. To see this, note that if G is a topological group and a, b ∈ G, then x 7→ ax−1 b defines a homeomorphism interchanging a and b. Every connected topological manifold without boundary is homogeneous. This is true even if we do not require our manifolds to be paracompact, as any two points share a Euclidean neighbourhood, and a suitable homeomorphism for this neighbourhood can be extended to the whole manifold. In fact, except for the long line (as mentioned above), every connected topological manifold without boundary is bihomogeneous. This is for essentially the same reason, except that the argument breaks down for 1-manifolds. ∗ hHomogeneousTopologicalSpacei created: h2013-03-21i by: hyarki version: h38428i Privacy setting: h1i hDefinitioni h54D99i † This text is available under the Creative Commons Attribution/Share-Alike License 3.0. You can reuse this document or portions thereof only if you do so under terms that are compatible with the CC-BY-SA license. 1