Topological Topology

Topological topology is a branch of mathematics that studies the properties of spaces that are invariant under continuous deformations. It provides a framework for understanding concepts such as continuity, connectedness, and compactness without relying on a metric, making it applicable to a wide range of spaces and problems.

Definition of a Topological Space: A topological space is a set X equipped with a topology τ, which is a collection of subsets of X (called open sets) that satisfy the following axioms: 1. The empty set (∅) and the entire set X are in τ. 2. The intersection of any finite number of sets in τ is also in τ. 3. The union of any arbitrary number of sets in τ is also in τ. This structure allows us to formally define continuity, convergence, and connectedness without relying on a metric. The choice of topology dictates which functions are continuous and which sequences converge. Different topologies on the same set can lead to drastically different topological properties. A common example is the Euclidean topology on the real numbers, where open sets are unions of open intervals. The discrete topology, where every subset is open, and the indiscrete topology, where only the empty set and the entire space are open, represent extreme cases that highlight the importance of choosing an appropriate topology for a given problem. Understanding the axioms of a topological space is crucial for subsequent analysis of topological properties.

Open Sets and Closed Sets: In a topological space, open sets form the foundation of the topology itself. A closed set is defined as the complement of an open set. A set can be both open and closed (clopen), or neither open nor closed. The closure of a set A (denoted as cl(A) or Ā) is the smallest closed set containing A, and it is the intersection of all closed sets containing A. The interior of a set A (denoted as int(A) or A°) is the largest open set contained in A, and it is the union of all open sets contained in A. The boundary of a set A (denoted as ∂A) is the set of points that are neither in the interior nor in the exterior of A. Understanding these concepts is essential for analyzing the structure and properties of sets within a topological space. The concept of open sets is more fundamental than that of closed sets, as it defines the topology initially, and closed sets are derived from it.

Continuity in Topological Spaces: A function f: X → Y between two topological spaces X and Y is continuous if the preimage of every open set in Y is open in X. This definition generalizes the familiar epsilon-delta definition of continuity from calculus. It allows us to define continuity without relying on a metric, making it applicable to a wider range of spaces. Homeomorphisms are continuous bijections with continuous inverses; they are the isomorphisms in the category of topological spaces. That is, a homeomorphism is a function that preserves the topological structure. A common misconception is that continuity in topological spaces is the same as continuity in metric spaces. While the latter implies the former, the former is a more general concept. It's also crucial to remember that continuous functions in topology do not necessarily preserve distances or angles, unlike isometries in Euclidean space.

Bases and Subbases for Topologies: A base for a topology τ on a set X is a collection B of subsets of X such that every open set in τ can be written as a union of elements from B. A subbase for a topology τ on a set X is a collection S of subsets of X such that the collection of all finite intersections of elements from S forms a base for τ. Bases and subbases provide a more efficient way to specify a topology than listing all the open sets. For instance, the set of all open intervals (a, b) in ℝ forms a base for the standard topology on ℝ. Similarly, the set of all open rays (-∞, a) and (b, ∞) forms a subbase for the standard topology on ℝ. Specifying a topology via a base or subbase simplifies many proofs and constructions in topology.

Connectedness: A topological space X is said to be connected if it cannot be written as the union of two disjoint non-empty open sets. Equivalently, X is connected if the only subsets of X that are both open and closed (clopen sets) are the empty set and X itself. A path-connected space is a space in which any two points can be joined by a continuous path. Path-connectedness implies connectedness, but the converse is not always true (e.g., the topologist's sine curve). Understanding connectedness is crucial in many areas of topology and analysis. For example, the intermediate value theorem relies on the connectedness of intervals in the real numbers. Connectedness is a topological property, meaning it is preserved by homeomorphisms.

Compactness: A topological space X is compact if every open cover of X has a finite subcover. That is, for every collection of open sets {Ui} such that X ⊆ ∪ Ui, there exists a finite subcollection {Ui1, Ui2, ..., Uin} such that X ⊆ ∪ Uij. In metric spaces, compactness is equivalent to sequential compactness (every sequence has a convergent subsequence) and completeness + total boundedness. Compactness is a powerful property that guarantees the existence of certain types of limits and extrema. For example, a continuous function from a compact space to the real numbers attains its maximum and minimum values. The Heine-Borel theorem states that a subset of ℝ^n is compact if and only if it is closed and bounded. Compactness is also a topological property, preserved by continuous images and homeomorphisms.

Separation Axioms (T-i spaces): Separation axioms are a set of conditions that specify how well points and closed sets can be separated in a topological space. Common separation axioms include: T0 (Kolmogorov), T1 (Fréchet), T2 (Hausdorff), T3 (Regular), T4 (Normal). A space is Hausdorff (T2) if for any two distinct points x and y, there exist disjoint open sets U and V such that x ∈ U and y ∈ V. A space is regular (T3) if it is T1 and for any point x and closed set C not containing x, there exist disjoint open sets U and V such that x ∈ U and C ⊆ V. A space is normal (T4) if it is T1 and for any two disjoint closed sets A and B, there exist disjoint open sets U and V such that A ⊆ U and B ⊆ V. Hausdorff spaces are particularly important because they guarantee uniqueness of limits. Normal spaces satisfy Urysohn's Lemma and the Tietze Extension Theorem, which are powerful tools for constructing continuous functions.

Metric Spaces and Metrizability: A metric space is a set X equipped with a metric d, which is a function d: X × X → ℝ that satisfies the following axioms: 1. d(x, y) ≥ 0 for all x, y ∈ X, and d(x, y) = 0 if and only if x = y. 2. d(x, y) = d(y, x) for all x, y ∈ X (symmetry). 3. d(x, z) ≤ d(x, y) + d(y, z) for all x, y, z ∈ X (triangle inequality). Every metric space can be turned into a topological space by defining open sets to be unions of open balls. A topological space is said to be metrizable if there exists a metric that induces its topology. Not all topological spaces are metrizable. For example, the Zariski topology on an infinite algebraic variety is not metrizable. Metrizability theorems provide conditions under which a topological space is metrizable, such as Urysohn's metrization theorem and the Nagata-Smirnov metrization theorem. Understanding metrizability helps in leveraging familiar tools from analysis in the broader context of topological spaces.

Quotient Spaces: Given a topological space X and an equivalence relation ~ on X, the quotient space X/~ is the set of equivalence classes with the quotient topology. The quotient topology is defined by declaring a subset U of X/~ to be open if and only if the preimage of U under the quotient map q: X → X/~ is open in X. Quotient spaces provide a way to construct new topological spaces from existing ones by identifying certain points. For example, the circle S¹ can be viewed as the quotient space of the interval [0, 1] with the endpoints identified. Similarly, the torus can be viewed as the quotient space of a square with opposite sides identified. Understanding quotient spaces is essential for studying manifolds and algebraic topology.

Manifolds: A manifold is a topological space that locally resembles Euclidean space. More formally, an n-dimensional manifold is a topological space X such that for every point x in X, there exists an open neighborhood of x that is homeomorphic to an open subset of ℝ^n. Manifolds are fundamental objects in geometry, topology, and physics. Examples include curves, surfaces, and higher-dimensional spaces such as those encountered in general relativity. The study of manifolds involves understanding their topological, differentiable, and geometric properties. Concepts like tangent spaces, vector fields, and differential forms are essential in the analysis of manifolds. The classification of manifolds is a central problem in topology.

Homotopy and the Fundamental Group: Homotopy is a continuous deformation of one continuous function into another. Two continuous functions f, g : X → Y are homotopic if there exists a continuous function H : X × [0, 1] → Y such that H(x, 0) = f(x) and H(x, 1) = g(x) for all x ∈ X. The fundamental group π₁(X, x₀) of a topological space X with basepoint x₀ is the group of homotopy classes of loops based at x₀, with the group operation being concatenation of loops. The fundamental group is a powerful tool for distinguishing topological spaces. Spaces with isomorphic fundamental groups share certain topological properties. It is a key concept in algebraic topology. For example, simply connected spaces (spaces with trivial fundamental group) have certain desirable properties in terms of existence of solutions to differential equations.

Browse public study notes