Mathematics.

point set topology

Topological Spaces

Topology50 minDifficulty6 out of 10

You should know: set theory forcing, metric spaces

Overview

A topological space is a set X equipped with a collection of 'open sets' (a topology) satisfying three axioms. This abstract framework generalises metric spaces by capturing the notion of 'nearness' without requiring an explicit distance function. Topology studies properties preserved under continuous deformations -- the shape of spaces rather than their rigid geometry.

Intuition

A topology on a set X specifies which subsets are 'open' -- which sets have the property that every point has a 'neighborhood' within the set. Openness captures the idea that you can move a little bit from any interior point and stay inside. A metric space is a special topological space where open sets are unions of open balls. Topology keeps the notion of 'closeness' while discarding exact distances.

Formal Definition

Definition

A topological space is a pair (X, T) where T is a collection of subsets of X (called open sets) satisfying:

∅∈T and X∈T\emptyset \in \mathcal{T} \text{ and } X \in \mathcal{T}
Empty set and whole space are open
Uα∈T for all α  ⟹  ⋃αUα∈TU_\alpha \in \mathcal{T} \text{ for all } \alpha \implies \bigcup_\alpha U_\alpha \in \mathcal{T}
Arbitrary unions of open sets are open
U1,U2∈T  ⟹  U1∩U2∈TU_1, U_2 \in \mathcal{T} \implies U_1 \cap U_2 \in \mathcal{T}
Finite intersections of open sets are open

Notation

NotationMeaning
(X,T)(X, \mathcal{T})Topological space: set X with topology T
int⁡(A)\operatorname{int}(A)Interior of set A: largest open set contained in A
A‾\overline{A}Closure of A: smallest closed set containing A
∂A\partial ABoundary of A: closure minus interior

Theorems

Theorem 1: Closed Sets Characterization
A⊆X is closed  ⟺  X∖A is open.Closedsetsareclosedunderarbitraryintersectionsandfiniteunions.A \subseteq X \text{ is closed} \iff X \setminus A \text{ is open}. Closed sets are closed under arbitrary intersections and finite unions.
Theorem 2: Continuity via Open Sets
f:(X,TX)→(Y,TY) is continuous  ⟺  f−1(V)∈TX for every open V∈TYf: (X,\mathcal{T}_X) \to (Y,\mathcal{T}_Y) \text{ is continuous} \iff f^{-1}(V) \in \mathcal{T}_X \text{ for every open } V \in \mathcal{T}_Y
Theorem 3: Subspace Topology
If (X,T) is a topological space and A⊆X, then TA={U∩A:U∈T} is the subspace topology on A\text{If } (X,\mathcal{T}) \text{ is a topological space and } A \subseteq X, \text{ then } \mathcal{T}_A = \{U \cap A : U \in \mathcal{T}\} \text{ is the subspace topology on } A

Worked Examples

  1. 1

    Any topology must contain {} and {a,b}. The other subsets are {a} and {b}.

    Topologies: {∅,X},;{∅,{a},X},;{∅,{b},X},;{∅,{a},{b},X}\text{Topologies: } \{\emptyset, X\},; \{\emptyset, \{a\}, X\},; \{\emptyset, \{b\}, X\},; \{\emptyset, \{a\}, \{b\}, X\}

✓ Answer

There are exactly 4 topologies on a 2-element set: the trivial, the discrete, and two topologies containing one singleton.

Practice Problems

Mediumfree response

Verify that the discrete topology (every subset is open) satisfies the three topology axioms.

Mediumproof writing

Prove that if f: X -> Y is continuous (open set definition) and g: Y -> Z is continuous, then g o f is continuous.

Common Mistakes

Common Mistake

Continuous maps always send open sets to open sets

Continuity means PREIMAGES of open sets are open. The IMAGE of an open set under a continuous map need not be open (e.g., f(x) = x^2 sends (-1,1) to [0,1)).

Common Mistake

Every topological space is metrizable (comes from a metric)

Many topological spaces are not metrizable. For example, the cofinite topology on an infinite set or the Zariski topology in algebraic geometry are non-metrizable. Metrizability requires specific axioms (Urysohn metrization theorem).

Quiz

In a topological space, which of the following is NOT required to be open?
A function f: X -> Y is continuous if and only if:
The coarsest topology on X is:

Historical Background

Topology grew from analysis and geometry in the 19th century. Riemann's work on manifolds (1854), Cantor's set theory, and Poincare's analysis situs (1895) laid the groundwork. Frechet axiomatized metric spaces in 1906. Hausdorff gave the first abstract definition of a topological space in his 1914 textbook Grundzuge der Mengenlehre, and Kuratowski introduced the closure axioms in 1922. The abstract framework unified disparate results from analysis, geometry, and algebra.

  1. 1895

    Poincare founds algebraic topology with Analysis Situs

    Henri Poincare

  2. 1906

    Frechet introduces metric spaces

    Maurice Frechet

  3. 1914

    Hausdorff defines topological spaces abstractly

    Felix Hausdorff

  4. 1922

    Kuratowski gives closure-operator axioms for topology

    Kazimierz Kuratowski

Summary

  • A topological space (X, T) consists of a set X and a collection of open sets T satisfying: X and {} are open, arbitrary unions of open sets are open, finite intersections are open.
  • Metric spaces are topological spaces where open sets are generated by open balls.
  • A function is continuous iff preimages of open sets are open -- the topological generalization of epsilon-delta continuity.
  • The subspace, product, and quotient topologies allow construction of new spaces from old.
  • Topology studies properties (connectedness, compactness, dimension) invariant under continuous deformations.

References

  1. BookMunkres, J. -- Topology (2nd ed., 2000), Chapters 2-3
  2. BookKelley, J. -- General Topology (1955), Chapter 1
  3. WebsiteWikipedia -- Topological space