Topology & Analysis

Job: point-set topology, metric and real-analytic foundations, and algebraic invariants \((\pi_1,H_*)\) as used across geometry, analysis, and algebraic topology.

Core

Topology axiomatizes nearness without a metric; analysis specializes to \(\mathbb{R}^n\) and complete metric spaces; algebraic topology assigns homotopy-invariant functors. Separation, compactness, and connectedness are the qualitative backbone; \(\pi_1\) and \(H_*\) are the first computational invariants.

Layer Objects Quals toolkit
Point-set open sets, continuous maps, nets/filters separation, compactness, connectedness
Metric \((X,d)\), completions Heine–Borel, Baire, uniform continuity
Real analysis sequences/series, differentiation, integration completeness of \(\mathbb{R}\), FTC, interchange thms
Algebraic topology \(\pi_1\), covering spaces, \(H_n\) Seifert–van Kampen, Mayer–Vietoris, degree
Functional analysis Banach/Hilbert, operators see FA foundations

Reading map

Page Content
Foundations open sets, separation axioms, compactifications (hint)
Metric spaces completeness, compactness criteria, Baire
Real analysis \(\mathbb{R}\), uniform convergence, multivariable calc interface
Algebraic topology \(\pi_1\), \(H_*\), SVK, LES
Functional analysis Banach, duals, open mapping, HB
Measure theory measure, integration, Fubini, RN
Homological algebra Ext/Tor for UCT/Künneth
Higher categories / HoTT synthetic homotopy (exit)

Dependency order

  1. Point-set foundations \(\to\) metric spaces.
  2. Real analysis / functional analysis (metric completeness).
  3. Algebraic topology needs point-set + some group theory; measure theory is independent but feeds \(L^p\).

Interfaces

Area Contact
Differential geometry Manifold topology; paracompactness \(\Rightarrow\) partitions of unity
Algebraic geometry Zariski topology (not Hausdorff); comparison theorems
Category theory \(\mathbf{Top}\), homotopy functors, limits/colimits
PDE / FA Weak topologies; Sobolev spaces as Banach
Dynamical systems Attractors, topological conjugacy

Notation (paper-standard)

  • \((X,\tau)\), \(\overline{A}\), \(A^\circ\), \(f^{-1}(U)\); \(T_0\)–\(T_4\), Hausdorff
  • compact, locally compact, paracompact; \(\beta X\) (Stone–Čech)
  • \(\pi_1(X,x_0)\), \(\widetilde{X}\), \(H_n(X;G)\), \(H^n\), \(\chi(X)\)
  • \(C(X)\), \(C_c\), \(C_0\); weak / weak\(*\) topologies

See it

Manifold topology in papers. Smooth manifolds are second-countable Hausdorff spaces locally Euclidean; paracompactness yields partitions of unity (existence of Riemannian metrics, bump functions). Compactness of \(G\)-orbits, proper discontinuity of group actions, and \(\pi_1\) of configuration spaces appear in geometry and mathematical physics without further machinery.

Covering spaces \(\leftrightarrow\) subgroups of \(\pi_1\). Connected coverings of a nice space \(X\) correspond to conjugacy classes of subgroups of \(\pi_1(X)\); universal cover \(\leftrightarrow\) trivial subgroup. Deck transformations realize \(\pi_1\) as a group of homeomorphisms — the topological prototype of Galois theory.

Check

Why is sequential compactness \(\neq\) compactness in general topology?

In first-countable spaces they agree; in general, nets/filters are needed. Tychonoff cube \([0,1]^I\) for large \(I\) is compact Hausdorff but not sequentially compact if \(I\) is huge.

Name two non-isomorphic spaces with isomorphic \(\pi_1\).

\(S^1\) and \(S^1\vee S^2\) both have \(\pi_1\cong\mathbb{Z}\); distinguished by \(H_2\) or higher homotopy.

State Baire’s theorem and one typical use.

A complete metric space (or locally compact Hausdorff) is a Baire space: countable intersections of dense opens are dense. Used for: open mapping / closed graph, existence of nowhere-differentiable continuous functions, residual sets of generic properties.

Pitfalls

  • Compact \(\neq\) closed and bounded outside \(\mathbb{R}^n\) (infinite-dim closed balls are never compact in the norm topology).
  • Quotient maps are not always open/closed; identification topology is subtle (e.g. line with two origins).
  • Homotopy equivalence \(\neq\) homeomorphism (\(S^1\simeq\mathbb{R}^2\setminus\{0\}\)).
  • CW / \(\Delta\)-complex hypotheses matter for cellular homology computations; singular theory is defined more generally.

Refs

  • Munkres, Topology
  • Hatcher, Algebraic Topology
  • Rudin, Principles of Mathematical Analysis / Real and Complex Analysis
  • Spanier, Algebraic Topology (classical reference)

Next

Foundations · Metric spaces · Real analysis · Algebraic topology · Functional analysis · Measure theory