Topology Study Guide

📖 Core Concepts Topology – study of properties that stay unchanged under continuous deformations (stretching, twisting, crumpling). Topological space – a set together with a collection of “open” subsets satisfying the open‑set axioms (closed under arbitrary unions & finite intersections). Homeomorphism – a bijective continuous map whose inverse is also continuous; two spaces are topologically the same if a homeomorphism exists. Homotopy – a continuous family of maps \(Ht : X\to Y\) (\(0\le t\le1\)) deforming one function into another; homotopy equivalence is a weaker “same‑shape” relation. Continuity (topological) – \(f:X\to Y\) is continuous iff the pre‑image of every open set in \(Y\) is open in \(X\). Manifold – a space that locally looks like Euclidean \(\mathbb{R}^n\); an \(n\)-dimensional manifold has neighborhoods homeomorphic to \(\mathbb{R}^n\). Topological properties – features preserved by homeomorphisms: Dimension (line vs surface) Compactness (e.g., closed loop vs infinite line) Connectedness (one piece vs two disjoint pieces) Types of topological spaces – General (point‑set) topology: open‑set axioms, continuity, compactness, connectedness. Algebraic topology: uses algebraic invariants (homology, homotopy groups) to classify spaces. Differential topology: studies smooth maps on differentiable manifolds. Geometric topology: focuses on low‑dimensional manifolds and their embedding properties. --- 📌 Must Remember Continuous deformations exclude cutting, gluing, tearing, or self‑intersection. Homeomorphism = bijective continuous map + continuous inverse. Homotopy equivalence → preserves many invariants but not all (e.g., a circle and a point are homotopy equivalent? No, a circle ≠ point; a disk and a point are). Continuity: \(\forall\) open \(U\subseteq Y,\; f^{-1}(U)\) is open in \(X\). Manifold: every point has a neighbourhood homeomorphic to \(\mathbb{R}^n\). Euler’s polyhedron formula: \[ V - E + F = 2 \] (valid for convex polyhedra & planar graphs). Poincaré (1895) introduced homotopy & homology – the bedrock of algebraic topology. Compactness ≠ “bounded” in general; in metric spaces compact ⇔ closed + bounded (Heine–Borel). Klein bottle & real projective plane cannot be embedded in \(\mathbb{R}^3\) without self‑intersection. --- 🔄 Key Processes Testing Homeomorphism Check bijectivity. Verify continuity (pre‑image of opens is open). Verify inverse is continuous. Confirm preservation of invariants (dimension, compactness, connectedness). Constructing a Homotopy \(H\) between \(f\) and \(g\) Define a parameter \(t\in[0,1]\). Ensure \(H(x,0)=f(x)\) and \(H(x,1)=g(x)\). Show \(H\) is continuous in both variables. Verifying Continuity via Open Sets List a basis of open sets in the codomain. Compute pre‑images under the function. Check each pre‑image belongs to the domain’s topology. Using Euler’s Formula (for planar graphs / polyhedra) Count vertices \(V\), edges \(E\), faces \(F\). Plug into \(V-E+F\); result should be \(2\) for a sphere‑like surface. Building a Configuration Space for a Robot Identify each degree of freedom (position, orientation). Form the product of intervals / circles → a manifold. Plan motion as a continuous path in this manifold. --- 🔍 Key Comparisons Homeomorphism vs. Homotopy equivalence Homeomorphism: bijective, both maps continuous; preserves all topological properties. Homotopy equivalence: existence of maps \(f:X\to Y,\; g:Y\to X\) with \(g\circ f\simeq\text{id}X,\; f\circ g\simeq\text{id}Y\); weaker, may change dimension. General topology vs. Algebraic topology General: set‑theoretic definitions, open sets, continuity, compactness. Algebraic: assigns groups/ rings (homology, homotopy groups) to classify spaces. Compactness vs. Connectedness Compactness: every open cover has a finite subcover (global “finite‑ness”). Connectedness: space cannot be split into two disjoint non‑empty open sets (global “single piece”). Manifold vs. Arbitrary topological space Manifold: locally Euclidean, each point has a chart homeomorphic to \(\mathbb{R}^n\). Arbitrary space: may have bizarre local structures (e.g., the line with a doubled origin). Embedding in \(\mathbb{R}^3\) vs. Abstract surface Plane, sphere, torus: embed without self‑intersection. Klein bottle, real projective plane: cannot embed in \(\mathbb{R}^3\) without self‑intersection. --- ⚠️ Common Misunderstandings “Cutting is allowed in topology.” – False; cuts, glues, and tears are not continuous deformations. Homeomorphic ⇔ Homotopy equivalent. – Not always; homotopy equivalence is weaker (e.g., a disk and a point are homotopy equivalent but not homeomorphic). All compact spaces are bounded. – Only in metric spaces; in general topological spaces compactness does not imply boundedness. Every surface can sit in \(\mathbb{R}^3\) without intersecting itself. – Wrong; Klein bottle and projective plane are counter‑examples. Dimension can change under a homeomorphism. – Impossible; dimension is a topological invariant. --- 🧠 Mental Models / Intuition Rubber‑sheet analogy – Imagine the space as an infinitely stretchable rubber sheet; you can pull, stretch, and bend, but you cannot tear or glue new pieces. Mug‑donut picture – The handle of the mug is a hole; turning the mug into a torus just “inflates” that hole – the essential loop stays the same. Open‑set continuity – Think of an open set as a “transparent window.” A continuous map never “creates new windows” in the domain that weren’t already there. --- 🚩 Exceptions & Edge Cases Klein bottle & real projective plane – Topologically valid surfaces that cannot be realized in 3‑D space without self‑intersection. Compactness vs. closed + bounded – In non‑metric spaces (e.g., the cofinite topology), a set can be compact without being bounded or even closed in the usual sense. Dimension anomalies – Fractals can have non‑integer Hausdorff dimension, but topological dimension remains an integer (0, 1, 2, …). --- 📍 When to Use Which Prove a space is compact → use open‑cover definition or Heine‑Borel (if you have a metric space). Classify a space up to “shape” → start with homeomorphism checks; if too hard, use homotopy equivalence + algebraic invariants. Analyze data shape → apply persistent homology (build a filtration of simplicial complexes, read barcodes). Plan robot motion → model the configuration space as a manifold; find a continuous path (use path‑connectedness). Solve a planar graph problem → invoke Euler’s formula to relate vertices, edges, faces. --- 👀 Patterns to Recognize “Preserved under homeomorphisms” → the statement is describing a topological property (dimension, compactness, connectedness). Pre‑image of an open set → clue that the question is testing continuity. Barcodes / birth‑death pairs → signals a persistent homology problem. “Locally Euclidean” → indicates the object is a manifold; look for charts and dimension. “Handle decomposition” or “orientability” → points to geometric topology (low‑dimensional manifolds). --- 🗂️ Exam Traps Distractor: “Any two circles are homeomorphic because they can be stretched into each other.” Why tempting: Both are 1‑dimensional compact connected manifolds. Why wrong: A single circle is homeomorphic to any other single circle, but two disjoint circles are not homeomorphic to a single circle (connectedness fails). Distractor: “A space that is compact must be bounded.” Why tempting: In \(\mathbb{R}^n\) this holds (Heine‑Borel). Why wrong: In general topological spaces boundedness is not defined; compactness is purely topological. Distractor: “If a map has a continuous inverse, it is automatically a homeomorphism.” Why tempting: The definition of homeomorphism is often remembered as “continuous bijection with continuous inverse.” Why wrong: The map must also be bijective; a continuous surjection with continuous right‑inverse need not be bijective. Distractor: “All surfaces can be embedded in \(\mathbb{R}^3\).” Why tempting: Everyday examples (sphere, torus) embed easily. Why wrong: Klein bottle and projective plane cannot without self‑intersection. Distractor: “Homotopy equivalence implies the same Euler characteristic.” Why tempting: Both are invariants, but only homeomorphism guarantees Euler characteristic equality for polyhedral surfaces. Why wrong: Homotopy equivalence can change Euler characteristic (e.g., a disk and a point). ---