Homeomorphisms - Topological Isomorphisms

Topology · Axiom Academy

Discovering when two topological spaces are "the same" Step 1: The Idea of Topological Equivalence In geometry, we often ask: when are two shapes "the same"? In linear algebra, two vector spaces are isomorphic if there's a bijective linear map between them. In topology, we have a similar concept: homeomorphism . A homeomorphism is the topological analogue of an isomorphism. It's a function that shows two spaces have exactly the same topological properties. If such a function exists, we say the spaces are homeomorphic , written . Step 2: Definition of a Homeomorphism Let and be topological spaces. A function is a homeomorphism if: Condition 1: is bijective (one-to-one and onto) If such a function exists, we say and are homeomorphic , written . Step 3: Alternative Characterization There's an equivalent way to think about homeomorphisms that makes the connection to topological structure even clearer: A bijective function is a homeomorphism if and only if: maps open sets to open sets, AND In other words, and both preserve the "open set structure." Step 4: Homeomorphism = "Topological Isomorphism" Just as an isomorphism in algebra is a structure-preserving bijection, a homeomorphism is the topological version of an isomorphism. It preserves all topological properties. Connectedness: If is connected, so is Compactness: If is compact, so is Separation properties: Hausdorff, regular, normal properties are preserved

This is the written version of the interactive lesson above. See the full Topology course.