Topology studies properties of spaces that remain invariant under continuous deformations—often described as "rubber-sheet geometry" where objects can be stretched, bent, or twisted without tearing or gluing. It provides the foundational language for modern mathematics, enabling rigorous treatment of continuity, convergence, and limits in arbitrary spaces beyond the familiar Euclidean setting. A key insight: topological concepts generalize metric notions (like open balls and convergence) to settings where no distance function exists, relying instead on the structure of open sets to capture geometric and analytical phenomena. Modern applications include topological data analysis (TDA), which uses persistent homology to extract shape-based features from high-dimensional datasets.
What This Cheat Sheet Covers
This topic spans 17 focused tables and 156 indexed concepts. Below is a complete table-by-table outline of this topic, spanning foundational concepts through advanced details.
Table 1: Fundamental Concepts
| Concept | Example | Description |
|---|---|---|
(\mathbb{R}, \tau_{\text{std}}) where \tau_{\text{std}} is the standard topology | • A set X with a collection of subsets (called open sets) satisfying: \emptyset, X are open• arbitrary unions of open sets are open • finite intersections of open sets are open. | |
(a, b) \subset \mathbb{R} | • A member of the topology \tau• intuitively, a set that does not contain its boundary. | |
[a, b] \subset \mathbb{R} | • The complement of an open set • contains all its limit points. | |
Any open interval (a, b) containing x in \mathbb{R} | • Open set containing a point x (or more generally, any set containing such an open set)• the collection of all neighborhoods of x forms the neighborhood filter at x. | |
\mathbb{R} in (\mathbb{R}, \tau_{\text{std}}), or \emptyset | • A set that is both open and closed • in a connected space only \emptyset and X are clopen. | |
\mathcal{B} = \{(a,b) : a < b\} for \mathbb{R} | Collection \mathcal{B} where every open set is a union of basis elements. | |
\{(-\infty, a), (b, \infty) : a, b \in \mathbb{R}\} | Collection whose finite intersections form a basis for the topology. | |
\text{int}([0,1]) = (0,1) | • Largest open set contained in A• denoted \text{int}(A) or A^\circ. |