Open mapping theorem (functional analysis)In functional analysis, the open mapping theorem, also known as the Banach–Schauder theorem or the Banach theorem (named after Stefan Banach and Juliusz Schauder), is a fundamental result which states that if a bounded or continuous linear operator between Banach spaces is surjective then it is an open map. This proof uses the , and completeness of both and is essential to the theorem. The statement of the theorem is no longer true if either space is just assumed to be a normed space, but is true if and are taken to be Fréchet spaces.
Functional (mathematics)In mathematics, a functional (as a noun) is a certain type of function. The exact definition of the term varies depending on the subfield (and sometimes even the author). In linear algebra, it is synonymous with linear forms, which are linear mappings from a vector space into its field of scalars (that is, they are elements of the dual space ) In functional analysis and related fields, it refers more generally to a mapping from a space into the field of real or complex numbers.
Closed graph theoremIn mathematics, the closed graph theorem may refer to one of several basic results characterizing continuous functions in terms of their graphs. Each gives conditions when functions with closed graphs are necessarily continuous. Closed graph If is a map between topological spaces then the graph of is the set or equivalently, It is said that the graph of is closed if is a closed subset of (with the product topology). Any continuous function into a Hausdorff space has a closed graph.
Normal operatorIn mathematics, especially functional analysis, a normal operator on a complex Hilbert space H is a continuous linear operator N : H → H that commutes with its hermitian adjoint N*, that is: NN* = NN. Normal operators are important because the spectral theorem holds for them. The class of normal operators is well understood. Examples of normal operators are unitary operators: N = N−1 Hermitian operators (i.e., self-adjoint operators): N* = N Skew-Hermitian operators: N* = −N positive operators: N = MM* for some M (so N is self-adjoint).
Frigyes RieszFrigyes Riesz (Riesz Frigyes, ˈriːs ˈfriɟɛʃ, sometimes spelled as Frederic; 22 January 1880 – 28 February 1956) was a Hungarian mathematician who made fundamental contributions to functional analysis, as did his younger brother Marcel Riesz. He was born into a Jewish family in Győr, Austria-Hungary and died in Budapest, Hungary. Between 1911 and 1919 he was a professor at the Franz Joseph University in Kolozsvár, Austria-Hungary.
René Maurice FréchetRené Maurice Fréchet (ʁəne mɔʁis fʁeʃɛ, moʁ-; 2 September 1878 – 4 June 1973) was a French mathematician. He made major contributions to general topology and was the first to define metric spaces. He also made several important contributions to the field of statistics and probability, as well as calculus. His dissertation opened the entire field of functionals on metric spaces and introduced the notion of compactness. Independently of Riesz, he discovered the representation theorem in the space of Lebesgue square integrable functions.
Integral equationIn mathematics, integral equations are equations in which an unknown function appears under an integral sign. In mathematical notation, integral equations may thus be expressed as being of the form: where is an integral operator acting on u. Hence, integral equations may be viewed as the analog to differential equations where instead of the equation involving derivatives, the equation contains integrals.
Schauder basisIn mathematics, a Schauder basis or countable basis is similar to the usual (Hamel) basis of a vector space; the difference is that Hamel bases use linear combinations that are finite sums, while for Schauder bases they may be infinite sums. This makes Schauder bases more suitable for the analysis of infinite-dimensional topological vector spaces including Banach spaces. Schauder bases were described by Juliusz Schauder in 1927, although such bases were discussed earlier.
Operator algebraIn functional analysis, a branch of mathematics, an operator algebra is an algebra of continuous linear operators on a topological vector space, with the multiplication given by the composition of mappings. The results obtained in the study of operator algebras are often phrased in algebraic terms, while the techniques used are often highly analytic. Although the study of operator algebras is usually classified as a branch of functional analysis, it has direct applications to representation theory, differential geometry, quantum statistical mechanics, quantum information, and quantum field theory.
Pseudometric spaceIn mathematics, a pseudometric space is a generalization of a metric space in which the distance between two distinct points can be zero. Pseudometric spaces were introduced by Đuro Kurepa in 1934. In the same way as every normed space is a metric space, every seminormed space is a pseudometric space. Because of this analogy the term semimetric space (which has a different meaning in topology) is sometimes used as a synonym, especially in functional analysis. When a topology is generated using a family of pseudometrics, the space is called a gauge space.
