The study of vector spaces endowed with topology (norms, inner products, locally convex structures) and continuous linear maps between them, with emphasis on Banach and Hilbert spaces and the central theorems that control operators' behavior.

Principle

Combine algebraic linear structure with topological notions of continuity and completeness; employ canonical results (Hahn–Banach, open mapping, closed graph, uniform boundedness, Riesz representation) to extend, invert, and represent continuous linear functionals and operators.

Demonstration

Work in L^p(Ω) or Sobolev spaces: use Hahn–Banach to separate convex sets, apply the Riesz representation theorem to identify duals of Hilbert spaces, and use the spectral theorem in Hilbert spaces to analyze self-adjoint operators arising in quantum mechanics and PDEs.

Misapplication

Applying Banach space theorems to spaces that lack completeness or local convexity, or assuming topological duals have the same structure as algebraic duals; conflating boundedness with compactness for operators leads to false spectral conclusions.

Consequence

When applied properly, functional analysis supplies the correct function-space setting for PDEs, harmonic analysis, and optimization, gives existence and uniqueness via functional-analytic methods, and provides operator frameworks for spectral and stability analyses.

Reversal

Reverse to pure linear algebra by ignoring topology: algebraic results remain for finite-dimensional spaces but fail to control limits, convergence, or continuity phenomena critical in infinite-dimensional settings.

Boundary

Focuses on topological vector spaces (normed, Banach, Hilbert, Fréchet) and continuous linear maps; it does not primarily treat nonlinear functional analysis, discrete combinatorial linear algebra, nor purely measure-theoretic probability without linear‑topological structure.

Semantic Tension

There is ongoing tension between abstract topological approaches and constructive concrete function-space representations; notions like dual space, weak topology, and reflexivity carry subtle qualifications that can be misread as interchangeable.

Synthesis

Functional analysis establishes the proper topological and linear framework for infinite-dimensional problems: by combining completeness, duality, and continuity theorems it enables representation, extension, and spectral analysis of operators, forming the backbone for modern PDE theory, quantum mechanics, and variational methods.