The branch of mathematics that studies vector spaces endowed with a topology (typically normed, Banach, or inner-product/Hilbert spaces) and the continuous linear operators between them, with emphasis on infinite-dimensional phenomena and spectral properties.

Principle

Characterize algebraic and topological structure of spaces and operators to deduce behavior (continuity, boundedness, compactness, spectrum) that cannot be inferred from finite-dimensional intuition alone.

Demonstration

Study of the shift operator on l^2: the operator is linear and bounded but has spectrum equal to the closed unit disk, exhibiting infinite-dimensional spectral phenomena absent in matrices of fixed finite size.

Misapplication

Applying finite-dimensional matrix intuition directly (e.g., assuming every linear operator has an eigenbasis) leads to false conclusions: many bounded operators on infinite-dimensional Hilbert spaces lack eigenvectors or have continuous spectrum.

Consequence

When applied correctly, functional analysis provides tools (norms, duality, compactness criteria, spectral decomposition, functional calculus) to solve PDEs, represent linear functionals, and analyze stability of operator families.

Reversal

Viewing problems solely through algebraic or finite-dimensional linear algebra reverses the insight: operators are treated as matrices with discrete spectra, hiding phenomena such as continuous spectrum and noncompactness.

Boundary

Concerns linear topological vector spaces and continuous linear maps; excludes purely algebraic vector space questions without topology and finite-dimensional linear algebra except where it acts as intuition. Nonlinear functional analysis and purely measure-theoretic operator theory may require additional frameworks.

Semantic Tension

Competes with 'operator theory' (focus on specific operators and their spectra) and 'Banach space theory' (structure of spaces); functional analysis is broader, unifying both, but practitioners may emphasize one perspective.

Synthesis

Functional analysis unites topology and linear algebra in infinite dimensions: by adding a topology to vector spaces one gains analytic control of operators' continuity and spectrum, producing techniques that extend finite-dimensional linear algebra to solve questions about PDEs, dynamics, and approximation.