Functional Analysis
Functional analysis studies infinite-dimensional vector spaces by combining algebraic structure with topology and completeness. The collection begins with normed and Banach spaces, their completions, bounded operators, quotient spaces, and the geometric and analytic forms of Hahn--Banach. It then develops the Baire-category principles behind uniform boundedness, open mapping, and closed graph results, before turning to duality, weak topologies, compactness, and the geometry of Banach and Hilbert spaces. Later pages treat compact and unbounded operators, Banach and -algebras, spectral measures, and the functional calculi that organize operator theory. The final part connects this abstract machinery to Fourier analysis, Schwartz functions, distributions, and tempered distributions. Measure theory supplies the examples and integration framework used throughout, while topology and real analysis supply the metric, compactness, and Baire foundations. The resulting track is intended both as a proof-based introduction and as infrastructure for probability, partial differential equations, harmonic analysis, and mathematical physics.
Pathway
The parts run in order. Everything a page needs from this group has been read by the time you reach it, and the level on each row is how many dependency steps into the group that page sits.
Part 1 · Normed spaces and completeness
1 pageThe track starts by separating the linear structure of a normed space from the completeness property that makes it Banach. Closed subspaces, finite products, absolutely convergent series, and completion provide the basic constructions used by every later operator-theoretic page, while concrete sequence and function spaces keep the definitions tied to the measure-theory examples that motivate them.
- Normed and Banach Spaces20 results
This page fixes the basic normed-space vocabulary used later in functional analysis and keeps the route deliberately small.
6 definitions, 7 lemmas, 4 theorems, 1 corollary, 2 remarksExamples & counterexamples →