Functional analysis

Functional analysis is that branch of mathematics and specifically of analysis which is concerned with the study of spaces of functions. It has its historical roots in the study of transformations such as the Fourier transform and in the study of differential and integral equations. The word 'functional' goes back to the calculus of variations, implying a function whose argument is a function. Its use in general has been attributed to Volterra.
Contents 
Normed vector spaces
In the modern view, functional analysis is seen as the study of complete normed vector spaces over the real or complex numbers. Such spaces are called Banach spaces. An important example is a Hilbert space, where the norm arises from an inner product. These spaces are of fundamental importance in the mathematical formulation of quantum mechanics. More generally, functional analysis includes the study of Fréchet spaces and other topological vector spaces not endowed with a norm.
An important object of study in functional analysis are the continuous linear operators defined on Banach and Hilbert spaces. These lead naturally to the definition of C*algebras and other operator algebras.
Hilbert spaces
Hilbert spaces can be completely classified: there is a unique Hilbert space up to isomorphism for every cardinality of the base. Since finitedimensional Hilbert spaces are fully understood in linear algebra, and since morphisms of Hilbert spaces can always be divided into morphisms of spaces with Alephnull (ℵ_{0}) dimensionality, functional analysis of Hilbert spaces mostly deals with the unique Hilbert space of dimensionality Alephnull, and its morphisms. One of the open problems in functional analysis is to prove that every operator on a Hilbert space has a proper subspace which is invariant. Many special cases have already been proven.
Banach spaces
General Banach spaces are more complicated. There is no clear definition of what would constitute a base, for example.
For any real number p ≥ 1, an example of a Banach space is given by "all Lebesguemeasurable functions whose absolute value's pth power has finite integral" (see L^{p} spaces).
In Banach spaces, a large part of the study involves the dual space: the space of all continuous linear functionals. As in linear algebra, the dual of the dual is not always isomorphic to the original space, but there is always a natural monomorphism from a space into its dual's dual. This is explained in the dual space article.
The notion of derivative is extended to arbitrary functions between Banach spaces; it turns out that the derivative of a function at a certain point is really a continuous linear map.
Major and foundational results
These are important results of functional analysis:
 The uniform boundedness principle is a result on sets of operators with tight bounds.
 One spectral theorem (there are more of them) gives an integral formula for normal operators on a Hilbert space. It is of central importance in the mathematical formulation of quantum mechanics.
 The HahnBanach theorem is about extending functionals from a subspace to the full space, in a normpreserving fashion. Another implication is the nontriviality of dual spaces.
 The open mapping theorem and closed graph theorem.
See also: list of functional analysis topics.
Status in mathematical logic
Most spaces considered in functional analysis have infinite dimension. To show the existence of a vector space basis for such spaces may require Zorn's lemma. Many very important theorems require the HahnBanach theorem which itself requires Zorn's lemma in case of a general infinitedimensional space.
Points of view
Functional analysis as it currently stands includes a number of directions:
 soft analysis, the approach to mathematical analysis based generally on topological groups, topological rings and topological vector spaces;
 geometry of Banach spaces, a combinatorial approach as in the work of Jean Bourgain;
 the development by Alain Connes of noncommutative geometry, based partly on previous ideas such as George Mackey's approach to ergodic theory;
 the connection with quantum mechanics, narrowly defined in mathematical physics or broadly interpreted as by Israel Gel'fand to include most types of representation theory.
Literature
 Dunford and Schwartz: Linear Operators (3 books), includes visualization charts
Topics in mathematics related to structure  Edit (http://en.wikipedia.org/w/wiki.phtml?title=Template:Structure&action=edit) 
Abstract algebra  Universal algebra  Graph theory  Category theory  Order theory  Model theory  Structural proof theory  
Geometry  Topology  General topology  Algebraic geometry  Algebraic topology  Differential geometry and topology  
Analysis  Measure theory  Functional analysis  Harmonic analysis 
Topics in mathematics related to space  Edit (http://en.wikipedia.org/w/wiki.phtml?title=Template:Space&action=edit) 
Geometry  Trigonometry  NonEuclidean geometry  Fractal geometry  Algebraic geometry  
Topology  Metric geometry  Algebraic topology  Differential geometry and topology  
Linear algebra  Functional analysis 
es:Análisis funcional fr:Analyse fonctionnelle he:אנליזה פונקציונלית nl:Functionaalanalyse pl:Analiza funkcjonalna ru:Функциональный анализ ja:関数解析学 zh:泛函分析