Homeomorphism Study Guide

📖 Core Concepts Homeomorphism: A bijective, continuous map \(f:X\to Y\) whose inverse \(f^{-1}\) is also continuous. Also called a bicontinuous function. Homeomorphic spaces: Two spaces that admit a homeomorphism; they belong to the same homeomorphism class (an equivalence relation). Self‑homeomorphism: A homeomorphism from a space onto itself; all such maps form the homeomorphism group (closed under composition, contains the identity). Topological invariants preserved: Connectedness, compactness, number of holes (genus), etc. Relation to other notions Homotopy: continuous deformation of maps, no bijectivity required. Homotopy equivalence: weaker than homeomorphism. Isotopy: a homotopy between the identity and a homeomorphism that never tears or glues. Local homeomorphism: each point has a neighbourhood on which the map is a homeomorphism. Diffeomorphism: smooth version of a homeomorphism between differentiable manifolds. 📌 Must Remember A homeomorphism ⇔ bijective and both map and inverse are continuous. Preserved properties: connectedness, compactness, genus (holes). Counter‑example: \(f(e^{i\theta}) = e^{2i\theta}\) on \(S^{1}\) is continuous and bijective but not a homeomorphism (inverse not continuous). Group fact: The set of all self‑homeomorphisms of a space forms a group under composition. Local vs global: A local homeomorphism need not be a global homeomorphism (e.g., covering maps). 🔄 Key Processes Verifying a homeomorphism Check bijectivity (one‑to‑one & onto). Prove continuity of \(f\). Prove continuity of \(f^{-1}\) (often by constructing the inverse explicitly or using known theorems such as the inverse function theorem for manifolds). Showing two spaces are not homeomorphic Identify a topological invariant (e.g., number of holes, compactness, fundamental group). Compute the invariant for each space; a mismatch ⇒ no homeomorphism. Building a self‑homeomorphism group Verify closure: compose two self‑homeomorphisms → still bijective & bicontinuous. Identify identity map as neutral element. Find inverses by definition. 🔍 Key Comparisons Homeomorphism vs Homotopy equivalence Homeomorphism: bijective, continuous, continuous inverse → exact shape preservation. Homotopy equivalence: only requires maps \(f:X\to Y\), \(g:Y\to X\) with \(g\circ f\simeq \text{id}X\) and \(f\circ g\simeq \text{id}Y\); spaces can be “stretched” or “collapsed”. Homeomorphism vs Diffeomorphism Homeomorphism: purely topological (no smoothness required). Diffeomorphism: smooth bijection with smooth inverse (requires differentiable structure). Global homeomorphism vs Local homeomorphism Global: map is a homeomorphism on the entire domain. Local: each point has a neighbourhood where the restriction is a homeomorphism (e.g., covering maps). ⚠️ Common Misunderstandings “Continuous bijection ⇒ homeomorphism” – false; the inverse must also be continuous (see the \(S^{1}\) doubling map). “All curves are homeomorphic to a line” – only open intervals are; a closed interval \([0,1]\) is not homeomorphic to \(\mathbb{R}\) because \([0,1]\) is compact while \(\mathbb{R}\) is not. “If two spaces have the same number of holes they are homeomorphic” – not sufficient; other invariants (e.g., fundamental group) may differ. 🧠 Mental Models / Intuition Think of a homeomorphism as rubber‑sheet geometry: you can stretch, bend, and twist the space, but you cannot tear or glue parts together. The inverse continuity condition means you can “undo” the deformation without creating jumps or tears. Visualize local homeomorphisms as looking through a magnifying glass: each small patch looks exactly like the target patch, even if the whole picture is wrapped or repeated. 🚩 Exceptions & Edge Cases Maps that are bijective & continuous but not open (or not closed) can fail to be homeomorphisms because the inverse is not continuous. Compact ↔ Hausdorff: A continuous bijection from a compact space to a Hausdorff space is automatically a homeomorphism (inverse automatically continuous). Non‑Hausdorff spaces: the compact‑to‑Hausdorff shortcut does not apply. 📍 When to Use Which Identify a homeomorphism when you need to prove two spaces are topologically the same (e.g., classify surfaces). Use homotopy equivalence when only the “shape up to deformation” matters (e.g., fundamental group calculations). Apply diffeomorphism in differential geometry or when smooth structures matter (e.g., manifolds with calculus). Choose a local homeomorphism when dealing with covering spaces, fiber bundles, or when only local structure matters. 👀 Patterns to Recognize Compact → Hausdorff ⇒ homeomorphism: spotting a compact domain and Hausdorff codomain often lets you skip the inverse continuity check. Invariant mismatch: if one space is compact and the other isn’t, or one has a hole and the other doesn’t, instantly rule out a homeomorphism. Group structure: whenever you see “all self‑maps that preserve X”, think “they form a group under composition”. 🗂️ Exam Traps Distractor: “Any continuous bijection is a homeomorphism.” – will be wrong unless the inverse continuity is justified. Near‑miss answer: claiming the map \(f(e^{i\theta})=e^{2i\theta}\) is a homeomorphism; the trap is ignoring the inverse’s discontinuity at the identified point. Confusing local vs global: selecting “local homeomorphism ⇒ homeomorphism” – false in general (covering maps are classic counter‑examples). Misreading invariants: picking “same number of holes ⇒ homeomorphic” without checking other invariants such as orientability or boundary components.