Namespaces
Variants
Actions

Difference between revisions of "Functional analysis"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (fixing superscripts)
 
(4 intermediate revisions by 2 users not shown)
Line 1: Line 1:
The part of modern mathematical analysis in which the basic purpose is to study functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f0420201.png" /> for which at least one of the variables <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f0420202.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f0420203.png" /> varies over an infinite-dimensional space. In its most general form such a study falls into three parts: 1) the introduction and study of infinite-dimensional spaces as such; 2) the study of the simplest functions, namely, when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f0420204.png" /> takes values in an infinite-dimensional space and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f0420205.png" /> in a one-dimensional space (these are called functionals (cf. [[Functional|Functional]]), whence the name  "functional analysis" ); and 3) the study of general functions of the type indicated — operators (cf. [[Operator|Operator]]). Linear functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f0420206.png" />, i.e. linear operators, have been most completely studied. Their theory is essentially a generalization of [[Linear-algebra(2)|linear algebra]] to the infinite-dimensional case. A combination of the approaches of classical analysis and algebra is characteristic for the methods of functional analysis, and this leads to relations between what are at first glance very distant branches of mathematics.
+
<!--
 +
f0420201.png
 +
$#A+1 = 219 n = 0
 +
$#C+1 = 219 : ~/encyclopedia/old_files/data/F042/F.0402020 Functional analysis
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
 +
 
 +
{{TEX|auto}}
 +
{{TEX|done}}
 +
 
 +
The part of modern mathematical analysis in which the basic purpose is to study functions $  y = f ( x) $
 +
for which at least one of the variables $  x $
 +
or $  y $
 +
varies over an infinite-dimensional space. In its most general form such a study falls into three parts: 1) the introduction and study of infinite-dimensional spaces as such; 2) the study of the simplest functions, namely, when $  x $
 +
takes values in an infinite-dimensional space and $  y $
 +
in a one-dimensional space (these are called functionals (cf. [[Functional|Functional]]), whence the name  "functional analysis" ); and 3) the study of general functions of the type indicated — operators (cf. [[Operator|Operator]]). Linear functions $  X \ni x \mapsto f ( x) = y \in Y $,  
 +
i.e. linear operators, have been most completely studied. Their theory is essentially a generalization of [[Linear-algebra(2)|linear algebra]] to the infinite-dimensional case. A combination of the approaches of classical analysis and algebra is characteristic for the methods of functional analysis, and this leads to relations between what are at first glance very distant branches of mathematics.
  
 
Functional analysis as an independent mathematical discipline started at the turn of the 19th century and was finally established in the 1920's and 1930's, on the one hand under the influence of the study of specific classes of linear operators — integral operators and integral equations connected with them — and on the other hand under the influence of the purely intrinsic development of modern mathematics with its desire to generalize and thus to clarify the true nature of some regular behaviour. Quantum mechanics also had a great influence on the development of functional analysis, since its basic concepts, for example energy, turned out to be linear operators (which physicists at first rather loosely interpreted as infinite-dimensional matrices) on infinite-dimensional spaces.
 
Functional analysis as an independent mathematical discipline started at the turn of the 19th century and was finally established in the 1920's and 1930's, on the one hand under the influence of the study of specific classes of linear operators — integral operators and integral equations connected with them — and on the other hand under the influence of the purely intrinsic development of modern mathematics with its desire to generalize and thus to clarify the true nature of some regular behaviour. Quantum mechanics also had a great influence on the development of functional analysis, since its basic concepts, for example energy, turned out to be linear operators (which physicists at first rather loosely interpreted as infinite-dimensional matrices) on infinite-dimensional spaces.
  
 
==1. The concept of a space.==
 
==1. The concept of a space.==
Topological vector spaces (cf. [[Topological vector space|Topological vector space]]) are the most general spaces figuring in functional analysis. These are vector (linear) spaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f0420207.png" /> over the field of complex numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f0420208.png" /> (or any other field, for example that of the real numbers, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f0420209.png" />) which are simultaneously topological spaces and where the linear structure and the topology are compatible in the sense that the linear operations are continuous in the topology under consideration. In particular, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202010.png" /> is a metric space, then one has a metric vector space.
+
Topological vector spaces (cf. [[Topological vector space|Topological vector space]]) are the most general spaces figuring in functional analysis. These are vector (linear) spaces $  X $
 +
over the field of complex numbers $  \mathbf C $ (or any other field, for example that of the real numbers, $  \mathbf R $)  
 +
which are simultaneously topological spaces and where the linear structure and the topology are compatible in the sense that the linear operations are continuous in the topology under consideration. In particular, if $  X $
 +
is a metric space, then one has a metric vector space.
  
A more particular, but very important, situation arises when the concept of the norm <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202011.png" /> (the length) of a vector <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202012.png" /> is introduced axiomatically in a vector space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202013.png" />. A vector space with a norm is called a normed space. It is metrizable. A metric <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202014.png" /> is introduced by the formula: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202015.png" />. A vector space with a norm is called a [[Banach space|Banach space]] if it is complete with respect to the metric indicated.
+
A more particular, but very important, situation arises when the concept of the norm $  \| x \| $ (the length) of a vector $  x \in X $
 +
is introduced axiomatically in a vector space $  X $.  
 +
A vector space with a norm is called a normed space. It is metrizable. A metric $  \rho $
 +
is introduced by the formula: $  \rho ( x, y) = \| x - y \| $.  
 +
A vector space with a norm is called a [[Banach space|Banach space]] if it is complete with respect to the metric indicated.
  
In a large number of problems the situation arises where one can introduce an [[Inner product|inner product]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202016.png" /> for any two vectors in the vector space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202017.png" />, such that this product generalizes the usual scalar product in three-dimensional space. A space provided with an inner product is called a pre-Hilbert space; it is a particular case of a normed space. If this space is complete, then it is called a Hilbert space.
+
In a large number of problems the situation arises where one can introduce an [[Inner product|inner product]] $  ( x, y) $
 +
for any two vectors in the vector space $  X $,  
 +
such that this product generalizes the usual scalar product in three-dimensional space. A space provided with an inner product is called a pre-Hilbert space; it is a particular case of a normed space. If this space is complete, then it is called a Hilbert space.
  
 
Infinite-dimensional spaces are studied in functional analysis, that is, spaces in which there is an infinite set of linearly independent vectors.
 
Infinite-dimensional spaces are studied in functional analysis, that is, spaces in which there is an infinite set of linearly independent vectors.
  
From a geometric point of view the simplest spaces are the Hilbert spaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202018.png" />, which have properties that mostly resemble those of finite-dimensional spaces, because it is possible to introduce a concept similar to that of the angle between two vectors by means of the inner product. In particular, two vectors <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202019.png" /> are said to be orthogonal <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202020.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202021.png" />. The following result is true in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202022.png" />: Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202023.png" /> be a subspace of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202024.png" />, then any vector <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202025.png" /> has a projection <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202026.png" /> onto <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202027.png" />, that is, a vector <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202028.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202029.png" /> is orthogonal to any vector in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202030.png" />. Due to this fact, a large number of geometric constructions which hold for finite-dimensional spaces can be transferred to Hilbert spaces, where they often acquire an analytic character.
+
From a geometric point of view the simplest spaces are the Hilbert spaces $  X = H $,  
 +
which have properties that mostly resemble those of finite-dimensional spaces, because it is possible to introduce a concept similar to that of the angle between two vectors by means of the inner product. In particular, two vectors $  x, y \in H $
 +
are said to be orthogonal $  ( x \perp  y) $
 +
if $  ( x, y) = 0 $.  
 +
The following result is true in $  H $:  
 +
Let $  G $
 +
be a subspace of $  H $,  
 +
then any vector $  x \in H $
 +
has a projection $  x _ {G} $
 +
onto $  G $,  
 +
that is, a vector $  x _ {G} \in G $
 +
such that $  x - x _ {G} $
 +
is orthogonal to any vector in $  G $.  
 +
Due to this fact, a large number of geometric constructions which hold for finite-dimensional spaces can be transferred to Hilbert spaces, where they often acquire an analytic character.
  
Geometric questions become distinctly more complicated when going from Hilbert spaces to Banach spaces, and all the more so in general topological vector spaces, because orthogonal projection is not meaningful in them. For example, in the space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202031.png" /> (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202032.png" />) the vectors <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202033.png" /> form a [[Basis|basis]] in the sense that for each vector <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202034.png" /> "coordinate-wise" expansion is valid:
+
Geometric questions become distinctly more complicated when going from Hilbert spaces to Banach spaces, and all the more so in general topological vector spaces, because orthogonal projection is not meaningful in them. For example, in the space $  l _ {p} $ ($  p \geq  1 $)  
 +
the vectors $  e _ {n} = ( 0, \dots, 0, 1, 0, 0 , \dots ) $
 +
form a [[Basis|basis]] in the sense that for each vector  $  x \in l _ {p} $ "coordinate-wise" expansion is valid:
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202035.png" /></td> </tr></table>
+
$$
 +
= \
 +
\sum _ {n = 1 } ^  \infty 
 +
x _ {n} e _ {n} .
 +
$$
  
The construction of a basis for the space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202036.png" /> is already a bit more complicated; at the same time a basis can be constructed in each of the known examples of Banach spaces. The problem arose: Does there exist a basis in every Banach space? This problem, in spite of the efforts of many mathematicians, did not yield a solution for more than 40 years and was only solved negatively in 1972 (see [[#References|[23]]]). In functional analysis an important place is occupied by  "geometric"  themes, devoted to clarifying the properties of various sets in Banach and other spaces, for example convex sets, compact sets (the latter means that every sequence of points of such a set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202037.png" /> has a subsequence converging to a point in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202038.png" />), etc. Here, simply formulated questions often have very non-trivial solutions. These problems are closely connected with the study of isomorphisms between spaces, and with finding universal representatives in some classes of spaces.
+
The construction of a basis for the space $  C [ a, b] $
 +
is already a bit more complicated; at the same time a basis can be constructed in each of the known examples of Banach spaces. The problem arose: Does there exist a basis in every Banach space? This problem, in spite of the efforts of many mathematicians, did not yield a solution for more than 40 years and was only solved negatively in 1972 (see [[#References|[23]]]). In functional analysis an important place is occupied by  "geometric"  themes, devoted to clarifying the properties of various sets in Banach and other spaces, for example convex sets, compact sets (the latter means that every sequence of points of such a set $  Q $
 +
has a subsequence converging to a point in $  Q $),  
 +
etc. Here, simply formulated questions often have very non-trivial solutions. These problems are closely connected with the study of isomorphisms between spaces, and with finding universal representatives in some classes of spaces.
  
Specific function spaces have been studied in detail, since the properties of these spaces usually determine the character of the solution to a problem when it is obtained by the methods of functional analysis. The so-called [[Imbedding theorems|imbedding theorems]] for the Sobolev spaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202039.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202040.png" />, and various generalizations of these, can serve as an example.
+
Specific function spaces have been studied in detail, since the properties of these spaces usually determine the character of the solution to a problem when it is obtained by the methods of functional analysis. The so-called [[Imbedding theorems|imbedding theorems]] for the Sobolev spaces $  W _ {p}  ^ {l} ( G) $,  
 +
$  G \subseteq \mathbf R  ^ {n} $,  
 +
and various generalizations of these, can serve as an example.
  
 
In connection with the demands of modern mathematical physics a great number of specific spaces have arisen in which problems are naturally posed and which thus must be studied. These spaces are usually constructed from initial spaces using certain constructions. Below the most commonly used constructions are given in their simplest versions.
 
In connection with the demands of modern mathematical physics a great number of specific spaces have arisen in which problems are naturally posed and which thus must be studied. These spaces are usually constructed from initial spaces using certain constructions. Below the most commonly used constructions are given in their simplest versions.
  
1) The formation of an orthogonal sum <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202041.png" /> of Hilbert spaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202042.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202043.png" /> is a construction of a space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202044.png" /> in terms of spaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202045.png" />, similar to the formation of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202046.png" /> in terms of one-dimensional spaces.
+
1) The formation of an orthogonal sum $  H = \oplus _ {n = 1 }  ^  \infty  H _ {n} $
 +
of Hilbert spaces $  H _ {n} $,
 +
$  n = 1, 2, \dots $
 +
is a construction of a space $  H $
 +
in terms of spaces $  H _ {n} $,  
 +
similar to the formation of $  H $
 +
in terms of one-dimensional spaces.
  
2) Passing to a quotient space: Given a degenerate inner product <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202047.png" /> in a vector space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202048.png" /> (that is, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202049.png" /> is possible when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202050.png" />); the Hilbert space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202051.png" /> is defined as the completion of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202052.png" /> with respect to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202053.png" /> after first identifying with 0 all those vectors for which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202054.png" />.
+
2) Passing to a quotient space: Given a degenerate inner product $  ( x, y) $
 +
in a vector space $  X $ (that is, $  ( x, x) = 0 $
 +
is possible when $  x \neq 0 $);  
 +
the Hilbert space $  H $
 +
is defined as the completion of $  X $
 +
with respect to $  ( \cdot , \cdot ) $
 +
after first identifying with 0 all those vectors for which $  ( x, x) = 0 $.
  
3) The formation of a tensor product <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202055.png" /> is analogous to passing from functions of one variable <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202056.png" /> to functions of several variables <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202057.png" />; a similar construction is also used for an infinite number of factors; one also considers symmetric and anti-symmetric tensor products consisting, in the case of functions, of functions of several variables having these properties.
+
3) The formation of a tensor product $  \otimes _ {j = 1 }  ^ {n} H _ {j} $
 +
is analogous to passing from functions of one variable f ( x _ {1} ) $
 +
to functions of several variables f ( x _ {1}, \dots, x _ {n} ) $;  
 +
a similar construction is also used for an infinite number of factors; one also considers symmetric and anti-symmetric tensor products consisting, in the case of functions, of functions of several variables having these properties.
  
4) The formation of the projective limit <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202058.png" /> of Banach spaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202059.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202060.png" /> runs over a certain set of indices <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202061.png" />. By definition, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202062.png" />; the topology in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202063.png" />, roughly speaking, is given by the convergence <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202064.png" /> which means that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202065.png" /> with respect to the norm in every <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202066.png" />.
+
4) The formation of the projective limit $  X $
 +
of Banach spaces $  X _  \alpha  $,  
 +
where $  \alpha $
 +
runs over a certain set of indices $  A $.  
 +
By definition, $  X = \cap _ {\alpha \in A }  X _  \alpha  $;  
 +
the topology in $  X $,  
 +
roughly speaking, is given by the convergence $  x _ {n} \rightarrow x $
 +
which means that $  \| x _ {n} - x \| \rightarrow 0 $
 +
with respect to the norm in every $  X _  \alpha  $.
  
5) The formation of the inductive limit <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202067.png" /> of the Banach spaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202068.png" />. By definition, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202069.png" />; the topology in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202070.png" />, roughly speaking, is given by the convergence <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202071.png" /> which means that all the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202072.png" /> lie in a certain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202073.png" /> and that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202074.png" /> with respect to the norm of this space.
+
5) The formation of the inductive limit $  X $
 +
of the Banach spaces $  X _  \alpha  $.  
 +
By definition, $  X = \cup _ {\alpha \in A }  X _  \alpha  $;  
 +
the topology in $  X $,  
 +
roughly speaking, is given by the convergence $  x _ {n} \rightarrow x $
 +
which means that all the $  x _ {n} $
 +
lie in a certain $  X _  \alpha  $
 +
and that $  \| x _ {n} - x \| \rightarrow 0 $
 +
with respect to the norm of this space.
  
6) Interpolation is the formation of  "intermediate"  spaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202075.png" /> from two spaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202076.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202077.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202078.png" />; for example, the construction from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202079.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202080.png" /> of the space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202081.png" /> of functions with fractional derivative <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202082.png" />.
+
6) Interpolation is the formation of  "intermediate"  spaces $  X _  \alpha  $
 +
from two spaces $  X _ {1} $
 +
and $  X _ {2} $,  
 +
where $  \alpha \in ( 1, 2) $;  
 +
for example, the construction from $  W _ {p}  ^ {1} ( G) $
 +
and $  W _ {p}  ^ {2} ( G) $
 +
of the space $  W _ {p}  ^  \alpha  ( G) $
 +
of functions with fractional derivative $  \alpha \in ( 1, 2) $.
  
Procedures 4) and 5) are commonly applied when constructing topological vector spaces. One distinguishes among such spaces the very important class of the so-called nuclear spaces (cf. [[Nuclear space|Nuclear space]]), each of which is constructed as a projective limit of Hilbert spaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202083.png" /> with the property that, for each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202084.png" />, one can find a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202085.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202086.png" /> and the imbedding operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202087.png" /> is a Hilbert–Schmidt operator (see below, Section <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202088.png" />).
+
Procedures 4) and 5) are commonly applied when constructing topological vector spaces. One distinguishes among such spaces the very important class of the so-called nuclear spaces (cf. [[Nuclear space|Nuclear space]]), each of which is constructed as a projective limit of Hilbert spaces $  H _  \alpha  $
 +
with the property that, for each $  \alpha \in A $,  
 +
one can find a $  \beta \in A $
 +
such that $  H _  \beta  \subseteq H _  \alpha  $
 +
and the imbedding operator $  H _  \beta  \ni x \rightarrow x \in H _  \alpha  $
 +
is a Hilbert–Schmidt operator (see below, Section $  \mathbf 3 $).
  
 
An extensive and important branch of functional analysis has been developed in which one studies topological and normed vector spaces with a partial order, introduced axiomatically, having natural properties (partially ordered spaces).
 
An extensive and important branch of functional analysis has been developed in which one studies topological and normed vector spaces with a partial order, introduced axiomatically, having natural properties (partially ordered spaces).
  
 
==2. Functionals.==
 
==2. Functionals.==
In functional analysis the study of continuous functionals and linear functionals plays an essential role (cf. [[Continuous functional|Continuous functional]]; [[Linear functional|Linear functional]]); their properties are closely connected with the properties of the original space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202089.png" />.
+
In functional analysis the study of continuous functionals and linear functionals plays an essential role (cf. [[Continuous functional|Continuous functional]]; [[Linear functional|Linear functional]]); their properties are closely connected with the properties of the original space $  X $.
 +
 
 +
Let  $  X $
 +
be a Banach space and let  $  X  ^  \prime  $
 +
be the set of continuous linear functionals on it;  $  X  ^  \prime  $
 +
is a vector space with respect to the usual operations of adding functions and multiplying them by a number, it becomes a Banach space if one introduces the norm
  
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202090.png" /> be a Banach space and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202091.png" /> be the set of continuous linear functionals on it; <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202092.png" /> is a vector space with respect to the usual operations of adding functions and multiplying them by a number, it becomes a Banach space if one introduces the norm
+
$$
 +
\| l \|  = \
 +
\sup _ {\begin{array}{c}
 +
x \in X \\
 +
x \neq 0  
 +
\end{array}
 +
} \
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202093.png" /></td> </tr></table>
+
\frac{| l ( x) | }{\| x \| }
 +
.
 +
$$
  
The space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202094.png" /> is called the dual of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202095.png" /> (cf. also [[Adjoint space|Adjoint space]]).
+
The space $  X  ^  \prime  $
 +
is called the dual of $  X $ (cf. also [[Adjoint space|Adjoint space]]).
  
If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202096.png" /> is finite-dimensional, then every linear functional is of the form
+
If $  X $
 +
is finite-dimensional, then every linear functional is of the form
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202097.png" /></td> </tr></table>
+
$$
 +
l ( x)  = \
 +
\sum _ {j = 1 } ^ { n }
 +
x _ {j} \overline{a} _ {j} ,
 +
$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202098.png" /> are the coordinates of the vector <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f04202099.png" /> with respect to a certain basis and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020100.png" /> are numbers determined by the functional. It turns out that the formula also holds when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020101.png" /> is a Hilbert space (Riesz' theorem). Namely, in this case <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020102.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020103.png" /> is a certain vector in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020104.png" />. This formula shows that a Hilbert space essentially coincides with its dual.
+
where $  x _ {j} $
 +
are the coordinates of the vector $  x $
 +
with respect to a certain basis and $  a _ {j} $
 +
are numbers determined by the functional. It turns out that the formula also holds when $  X = H $
 +
is a Hilbert space (Riesz' theorem). Namely, in this case $  l ( x) = ( x, a) $,  
 +
where $  a $
 +
is a certain vector in $  H $.  
 +
This formula shows that a Hilbert space essentially coincides with its dual.
  
For a Banach space the situation is far more complicated: One can construct <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020105.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020106.png" /> and these spaces may turn out to be all different. At the same time, there always exists a canonical imbedding of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020107.png" /> into <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020108.png" />, namely, to each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020109.png" /> one can associate the functional <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020110.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020111.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020112.png" />. The spaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020113.png" /> for which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020114.png" /> are called reflexive. Generally, in the case of a Banach space even the existence of non-trivial (that is, non-zero) linear functionals is not a simple question. This question is easily solved affirmatively with the help of the [[Hahn–Banach theorem|Hahn–Banach theorem]].
+
For a Banach space the situation is far more complicated: One can construct $  X  ^ {\prime\prime} = ( X  ^  \prime  )  ^  \prime  $,
 +
$  X ^ {\prime\prime \prime } = ( X  ^ {\prime\prime} )  ^  \prime , \dots $
 +
and these spaces may turn out to be all different. At the same time, there always exists a canonical imbedding of $  X $
 +
into $  X  ^ {\prime\prime} $,  
 +
namely, to each $  x \in X $
 +
one can associate the functional $  L _ {x} $,  
 +
where $  L _ {x} ( l) = l ( x) $,  
 +
$  l \in X  ^  \prime  $.  
 +
The spaces $  X $
 +
for which $  X  ^ {\prime\prime} = X $
 +
are called reflexive. Generally, in the case of a Banach space even the existence of non-trivial (that is, non-zero) linear functionals is not a simple question. This question is easily solved affirmatively with the help of the [[Hahn–Banach theorem|Hahn–Banach theorem]].
  
The dual space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020115.png" /> is, in a certain sense,  "better"  than the original space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020116.png" />. For example, along with the norm one can introduce another (weak) topology in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020117.png" /> which, in terms of convergence, is such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020118.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020119.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020120.png" />. In this topology the unit ball in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020121.png" /> is compact (which is never the case for infinite-dimensional spaces in the topology generated by a norm). This makes it possible to study in more detail a number of geometric questions about sets in the dual space (for example, establishing the structure of convex sets, etc.).
+
The dual space $  X  ^  \prime  $
 +
is, in a certain sense,  "better"  than the original space $  X $.  
 +
For example, along with the norm one can introduce another (weak) topology in $  X  ^  \prime  $
 +
which, in terms of convergence, is such that $  l _ {n} \rightarrow l $
 +
if $  l _ {n} ( x) \rightarrow l ( x) $
 +
for all $  x \in X $.  
 +
In this topology the unit ball in $  X  ^  \prime  $
 +
is compact (which is never the case for infinite-dimensional spaces in the topology generated by a norm). This makes it possible to study in more detail a number of geometric questions about sets in the dual space (for example, establishing the structure of convex sets, etc.).
  
For a number of specific spaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020122.png" /> the dual space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020123.png" /> can be found explicitly. However, for the majority of Banach spaces, and especially for topological vector spaces, the functionals are elements of a new kind which cannot be expressed simply in terms of classical analysis. The elements of the dual space are called generalized functions.
+
For a number of specific spaces $  X $
 +
the dual space $  X  ^  \prime  $
 +
can be found explicitly. However, for the majority of Banach spaces, and especially for topological vector spaces, the functionals are elements of a new kind which cannot be expressed simply in terms of classical analysis. The elements of the dual space are called generalized functions.
  
For many questions in functional analysis and its applications an essential role is played by a triple of spaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020124.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020125.png" /> is the original Hilbert space, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020126.png" /> is a topological vector space (in particular, a Hilbert space with a different inner product) and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020127.png" /> is its dual space, the elements of which can be taken as generalized functions. The space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020128.png" /> itself is then called a rigged Hilbert space.
+
For many questions in functional analysis and its applications an essential role is played by a triple of spaces $  \Phi  ^  \prime  \supseteq H \supseteq \Phi $,  
 +
where $  H $
 +
is the original Hilbert space, $  \Phi $
 +
is a topological vector space (in particular, a Hilbert space with a different inner product) and $  \Phi  ^  \prime  $
 +
is its dual space, the elements of which can be taken as generalized functions. The space $  H $
 +
itself is then called a rigged Hilbert space.
  
The study of linear functionals on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020129.png" /> in many respects promotes a deeper understanding of the nature of the original space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020130.png" />. On the other hand, in many questions it is necessary to study general functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020131.png" />, that is, non-linear functionals in the case of an infinite-dimensional <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020132.png" /> (cf. [[Non-linear functional|Non-linear functional]]). Since the unit ball in such a space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020133.png" /> is non-compact, its study often encounters essential difficulties, although, for example, such concepts as the differentiability of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020134.png" />, its analyticity, etc. are easily generalized. One can consider a set of functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020135.png" /> having definite properties as a new topological vector space of functions of  "an infinite number of variables" . Such functions also appear in constructing infinite tensor products <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020136.png" /> of spaces of functions of one variable. The study of such spaces, of the operators on them, etc., is connected with the requirements of quantum field theory (see [[#References|[22]]]).
+
The study of linear functionals on $  X $
 +
in many respects promotes a deeper understanding of the nature of the original space $  X $.  
 +
On the other hand, in many questions it is necessary to study general functions $  X \ni x \rightarrow f ( x) \in \mathbf C $,  
 +
that is, non-linear functionals in the case of an infinite-dimensional $  X $ (cf. [[Non-linear functional|Non-linear functional]]). Since the unit ball in such a space $  X $
 +
is non-compact, its study often encounters essential difficulties, although, for example, such concepts as the differentiability of f $,  
 +
its analyticity, etc. are easily generalized. One can consider a set of functions $  X \ni x \mapsto f ( x) \in \mathbf C $
 +
having definite properties as a new topological vector space of functions of  "an infinite number of variables" . Such functions also appear in constructing infinite tensor products $  \otimes _ {n = 1 }  ^  \infty  H _ {n} $
 +
of spaces of functions of one variable. The study of such spaces, of the operators on them, etc., is connected with the requirements of quantum field theory (see [[#References|[22]]]).
  
 
==3. Operators.==
 
==3. Operators.==
The main objects of study in functional analysis are operators <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020137.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020138.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020139.png" /> are topological vector (for the most part, normed or Hilbert) spaces and, above all, linear operators (cf. [[Linear operator|Linear operator]]).
+
The main objects of study in functional analysis are operators $  X \ni x \mapsto f ( x) \in Y $,  
 +
where $  X $
 +
and $  Y $
 +
are topological vector (for the most part, normed or Hilbert) spaces and, above all, linear operators (cf. [[Linear operator|Linear operator]]).
  
When <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020140.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020141.png" /> are finite-dimensional, the linearity of an operator implies that it is of the form
+
When $  X $
 +
and $  Y $
 +
are finite-dimensional, the linearity of an operator implies that it is of the form
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020142.png" /></td> </tr></table>
+
$$
 +
( Ax) _ {j}  = \
 +
\sum _ {k = 1 } ^ { N }
 +
a _ {jk} x _ {k} ,\ \
 +
j = 1, \dots, M,
 +
$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020143.png" /> are the coordinates of the vector <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020144.png" /> in a certain basis, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020145.png" /> are, analogously, the coordinates of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020146.png" />. Thus, in the finite-dimensional case to each linear operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020147.png" /> corresponds, in terms of fixed bases in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020148.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020149.png" />, a matrix
+
where $  x _ {1}, \dots, x _ {N} $
 +
are the coordinates of the vector $  x $
 +
in a certain basis, and $  ( Ax) _ {1}, \dots, ( Ax) _ {M} $
 +
are, analogously, the coordinates of $  y = Ax $.  
 +
Thus, in the finite-dimensional case to each linear operator $  A $
 +
corresponds, in terms of fixed bases in $  X $
 +
and $  Y $,  
 +
a matrix
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020150.png" /></td> </tr></table>
+
$$
 +
\| a _ {jk} \| _ {j, k = 1 }  ^ {M, N } ,
 +
$$
  
which gives a simple expression for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020151.png" />. The study of linear operators in this case is a topic of linear algebra.
+
which gives a simple expression for $  A $.  
 +
The study of linear operators in this case is a topic of linear algebra.
  
The situation becomes much more complicated when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020152.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020153.png" /> become infinite-dimensional (even Hilbert) spaces. First of all, two classes of operators arise here: continuous operators, for which the function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020154.png" /> is continuous (they are also called bounded, since the continuity of an operator between Banach spaces is equivalent to its boundedness), and unbounded operators, where there is no such continuity. The operators of the first type are simpler, but those of the second type are met more often, e.g. differential operators are of the second type.
+
The situation becomes much more complicated when $  X $
 +
and $  Y $
 +
become infinite-dimensional (even Hilbert) spaces. First of all, two classes of operators arise here: continuous operators, for which the function $  X \ni x \mapsto Ax \in Y $
 +
is continuous (they are also called bounded, since the continuity of an operator between Banach spaces is equivalent to its boundedness), and unbounded operators, where there is no such continuity. The operators of the first type are simpler, but those of the second type are met more often, e.g. differential operators are of the second type.
  
The important (especially for quantum mechanics) class of self-adjoint operators on a Hilbert space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020155.png" /> has been studied most of all (cf. [[Self-adjoint operator|Self-adjoint operator]]).
+
The important (especially for quantum mechanics) class of self-adjoint operators on a Hilbert space $  H $
 +
has been studied most of all (cf. [[Self-adjoint operator|Self-adjoint operator]]).
  
Other classes of operators on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020156.png" />, closely connected with the self-adjoint operators (the so-called unitary and normal operators, cf. [[Unitary operator|Unitary operator]]; [[Normal operator|Normal operator]]), have also been well studied.
+
Other classes of operators on $  H $,  
 +
closely connected with the self-adjoint operators (the so-called unitary and normal operators, cf. [[Unitary operator|Unitary operator]]; [[Normal operator|Normal operator]]), have also been well studied.
  
Among the general facts about bounded operators acting in a Banach space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020157.png" />, one can select the construction of a functional calculus of analytic functions. Namely, the operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020158.png" /> is called the resolvent of the operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020159.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020160.png" /> is the identity operator and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020161.png" />. The points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020162.png" /> for which the inverse operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020163.png" /> exists are called the regular points of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020164.png" />, the complement of the set of regular points is called the spectrum <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020165.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020166.png" />. The spectrum is never empty and lies in the disc <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020167.png" />; the eigen values of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020168.png" />, of course, belong to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020169.png" />, but the spectrum, generally speaking, does not entirely consist of them. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020170.png" /> is an analytic function defined in a neighbourhood of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020171.png" />, and if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020172.png" /> is some closed contour enclosing <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020173.png" /> and lying in the domain of analyticity of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020174.png" />, then one puts
+
Among the general facts about bounded operators acting in a Banach space $  X $,  
 +
one can select the construction of a functional calculus of analytic functions. Namely, the operator $  R _ {z} = ( A - zI)  ^ {- 1} $
 +
is called the resolvent of the operator $  A $,  
 +
where $  I $
 +
is the identity operator and $  z \in \mathbf C $.  
 +
The points $  z $
 +
for which the inverse operator $  ( A - zI)  ^ {- 1} $
 +
exists are called the regular points of $  A $,  
 +
the complement of the set of regular points is called the spectrum $  s ( A) $
 +
of $  A $.  
 +
The spectrum is never empty and lies in the disc $  | z | \leq  \| A \| $;  
 +
the eigen values of $  A $,  
 +
of course, belong to $  s ( A) $,  
 +
but the spectrum, generally speaking, does not entirely consist of them. If f ( z) $
 +
is an analytic function defined in a neighbourhood of $  s ( A) $,  
 +
and if $  \Gamma $
 +
is some closed contour enclosing $  s ( A) $
 +
and lying in the domain of analyticity of f ( z) $,  
 +
then one puts
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020175.png" /></td> </tr></table>
+
$$
 +
f ( A)  = \
 +
- {
 +
\frac{1}{2 \pi i }
 +
}
 +
\oint _  \Gamma
 +
f ( z) R _ {z}  dz
 +
$$
  
and calls <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020176.png" /> an operator function. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020177.png" /> is a polynomial, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020178.png" /> is obtained by simply replacing <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020179.png" /> in this polynomial by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020180.png" />. The correspondence <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020181.png" /> has the important homomorphism properties:
+
and calls f ( A) $
 +
an operator function. If f ( z) $
 +
is a polynomial, then f ( A) $
 +
is obtained by simply replacing $  z $
 +
in this polynomial by $  A $.  
 +
The correspondence $  f ( z) \mapsto f ( A) $
 +
has the important homomorphism properties:
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020182.png" /></td> </tr></table>
+
$$
 +
( f + g) ( A)  = \
 +
f ( A) + g ( A),\ \
 +
( fg) ( A)  = \
 +
f ( A) g ( A).
 +
$$
  
Thus, under definite conditions on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020183.png" /> one can define, for example, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020184.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020185.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020186.png" />, etc.
+
Thus, under definite conditions on $  A $
 +
one can define, for example, $  e  ^ {A} $,  
 +
$  \sin  A $,  
 +
$  \sqrt A $,  
 +
etc.
  
Among the special classes of operators acting on a Banach space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020187.png" /> the most important role is played by the so-called completely-continuous or compact operators (cf. [[Completely-continuous operator|Completely-continuous operator]]; [[Compact operator|Compact operator]]). If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020188.png" /> is compact, then the equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020189.png" /> (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020190.png" /> is a given vector and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020191.png" /> is the desired vector) has been well studied. The analogues of all the facts which hold for linear equations in finite-dimensional spaces are also valid for this equation (the so-called Fredholm theory). For compact operators <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020192.png" /> one studies conditions which ensure that the system of eigen vectors of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020193.png" /> and their associated vectors are dense in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020194.png" />, that is, any vector in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020195.png" /> can be approximated by linear combinations of eigen vectors and associated vectors; etc. At the same time there are, even for compact operators, problems which naturally arise but which are very difficult to solve (for example, the theorem that each such operator has an invariant subspace <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020196.png" /> different from 0 and the whole of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020197.png" />, that is, a subspace <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020198.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020199.png" />; in the finite-dimensional case the existence of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020200.png" /> follows trivially from the fact that the spectrum is non-empty).
+
Among the special classes of operators acting on a Banach space $  X $
 +
the most important role is played by the so-called completely-continuous or compact operators (cf. [[Completely-continuous operator|Completely-continuous operator]]; [[Compact operator|Compact operator]]). If $  A $
 +
is compact, then the equation $  x - Ax = y $ ($  y \in X $
 +
is a given vector and $  x \in X $
 +
is the desired vector) has been well studied. The analogues of all the facts which hold for linear equations in finite-dimensional spaces are also valid for this equation (the so-called Fredholm theory). For compact operators $  A $
 +
one studies conditions which ensure that the system of eigen vectors of $  A $
 +
and their associated vectors are dense in $  X $,  
 +
that is, any vector in $  X $
 +
can be approximated by linear combinations of eigen vectors and associated vectors; etc. At the same time there are, even for compact operators, problems which naturally arise but which are very difficult to solve (for example, the theorem that each such operator has an invariant subspace $  G $
 +
different from 0 and the whole of $  X $,  
 +
that is, a subspace $  G $
 +
such that $  AG \subseteq G $;  
 +
in the finite-dimensional case the existence of $  G $
 +
follows trivially from the fact that the spectrum is non-empty).
  
The spectrum of a compact operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020201.png" /> is discrete and may accumulate at 0 only. One distinguishes important subclasses of the class of compact operators according to the rate at which the eigen values approach 0. Thus, very often one encounters Hilbert–Schmidt operators. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020202.png" /> is an operator on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020203.png" />, then it is a [[Hilbert–Schmidt operator|Hilbert–Schmidt operator]] if and only if it is an integral operator with kernel <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020204.png" /> that is square-summable in both variables. Compact Volterra operators have also been studied in detail. A study has also been made of spectral operators for which there is an analogue for the resolution of the identity <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020205.png" />; etc. (see [[#References|[8]]]).
+
The spectrum of a compact operator $  A $
 +
is discrete and may accumulate at 0 only. One distinguishes important subclasses of the class of compact operators according to the rate at which the eigen values approach 0. Thus, very often one encounters Hilbert–Schmidt operators. If $  A $
 +
is an operator on $  H = L _ {2} ( G) $,  
 +
then it is a [[Hilbert–Schmidt operator|Hilbert–Schmidt operator]] if and only if it is an integral operator with kernel $  K ( t, s) $
 +
that is square-summable in both variables. Compact Volterra operators have also been studied in detail. A study has also been made of spectral operators for which there is an analogue for the resolution of the identity $  E ( \lambda ) $;  
 +
etc. (see [[#References|[8]]]).
  
 
==4. Banach algebras and representation theory.==
 
==4. Banach algebras and representation theory.==
Line 103: Line 337:
 
One of the powerful methods in mathematics is to represent abstract mathematical objects by simpler (or more concrete) objects. For example, the spectral theorem can be interpretated as representing a self-adjoint operator by the operator which multiplies the measurable functions of a certain class by the independent variable. If one considers multiplication by Borel functions, one obtains a representation of a commutative normed algebra of operators on a Hilbert space. A more general example of this representation gives one of the main theorems in the theory of commutative Banach algebras.
 
One of the powerful methods in mathematics is to represent abstract mathematical objects by simpler (or more concrete) objects. For example, the spectral theorem can be interpretated as representing a self-adjoint operator by the operator which multiplies the measurable functions of a certain class by the independent variable. If one considers multiplication by Borel functions, one obtains a representation of a commutative normed algebra of operators on a Hilbert space. A more general example of this representation gives one of the main theorems in the theory of commutative Banach algebras.
  
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020206.png" /> be a commutative Banach algebra, for simplicity with an identity, that is, a Banach space in which there is a commutative and associative multiplication <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020207.png" /> of elements <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020208.png" />, and let the norm satisfy <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020209.png" />. Further, let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020210.png" /> be the set of all maximal ideals. Then a compact topology can be introduced on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020211.png" /> so that every element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020212.png" /> represents a complex-valued continuous function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020213.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020214.png" />, and, moreover, the sum <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020215.png" /> and the product <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020216.png" /> of functions correspond to the sum <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020217.png" /> and the product <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020218.png" />, respectively (see [[#References|[7]]]). In the non-commutative case representation theory has been studied especially for the so-called algebras with an involution (see [[Banach algebra|Banach algebra]]).
+
Let $  A $
 +
be a commutative Banach algebra, for simplicity with an identity, that is, a Banach space in which there is a commutative and associative multiplication $  x \cdot y $
 +
of elements $  x, y \in A $,  
 +
and let the norm satisfy $  \| xy \| \leq  \| x \| \cdot \| y \| $.  
 +
Further, let $  \mathfrak M $
 +
be the set of all maximal ideals. Then a compact topology can be introduced on $  \mathfrak M $
 +
so that every element $  x \in A $
 +
represents a complex-valued continuous function $  x ( m) $,  
 +
$  m \in \mathfrak M $,  
 +
and, moreover, the sum $  x ( m) + y ( m) $
 +
and the product $  x ( m) \cdot y ( m) $
 +
of functions correspond to the sum $  x + y $
 +
and the product $  x \cdot y $,  
 +
respectively (see [[#References|[7]]]). In the non-commutative case representation theory has been studied especially for the so-called algebras with an involution (see [[Banach algebra|Banach algebra]]).
  
 
A considerably richer representation theory has been developed for topological groups (cf. [[Representation of a topological group|Representation of a topological group]]).
 
A considerably richer representation theory has been developed for topological groups (cf. [[Representation of a topological group|Representation of a topological group]]).
Line 119: Line 366:
 
Below, those branches of mathematical physics are given in which some part of functional analysis is applied.
 
Below, those branches of mathematical physics are given in which some part of functional analysis is applied.
  
1) The spectral theory of operators is applied in all theories of quantum physics: in quantum <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042020/f042020219.png" />-body theory, in [[Quantum field theory|quantum field theory]] and in quantum statistical mechanics. In addition, spectral theory is applied in the study of models of dynamical systems in classical mechanics, in the study of linearized equations in hydrodynamics, in the study of Gibbs fields, etc.
+
1) The spectral theory of operators is applied in all theories of quantum physics: in quantum $  n $-body theory, in [[Quantum field theory|quantum field theory]] and in quantum statistical mechanics. In addition, spectral theory is applied in the study of models of dynamical systems in classical mechanics, in the study of linearized equations in hydrodynamics, in the study of Gibbs fields, etc.
  
 
2) Scattering theory is applied in quantum physics. It should be noted that the modern mathematical theory of scattering arose first of all in physics. In recent years scattering theory (the inverse problem) has often been applied in integrating non-linear model equations in mathematical physics.
 
2) Scattering theory is applied in quantum physics. It should be noted that the modern mathematical theory of scattering arose first of all in physics. In recent years scattering theory (the inverse problem) has often been applied in integrating non-linear model equations in mathematical physics.
Line 136: Line 383:
  
 
====References====
 
====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  N.I. [N.I. Akhiezer] Ahiezer,  "Theory of linear operators in Hilbert space" , '''1–2''' , Pitman  (1984)  (Translated from Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  S.S. Banach,  "A course of functional analysis" , Kiev  (1948)  (In Ukrainian)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  Yu.M. [Yu.M. Berezanskii] Berezanskiy,  "Expansion in eigenfunctions of selfadjoint operators" , Amer. Math. Soc.  (1968)  (Translated from Russian)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  N. Bourbaki,  "Elements of mathematics. Topological vector spaces" , Springer  (1987)  (Translated from French)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  B.Z. Vulikh,  "Introduction to the theory of partially ordered spaces" , Wolters-Noordhoff  (1967)  (Translated from Russian)</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  I.M. Gel'fand,  G.E. Shilov,  "Generalized functions" , Acad. Press  (1964)  (Translated from Russian)</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  I.M. [I.M. Gel'fand] Gelfand,  D.A. [D.A. Raikov] Raikov,  G.E. [G.E. Shilov] Schilow,  "Kommutative Normierte Ringe" , Deutsch. Verlag Wissenschaft.  (1964)  (Translated from Russian)</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top">  N. Dunford,  J.T. Schwartz,  "Linear operators" , '''1–3''' , Interscience  (1958–1971)</TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top">  K. Yosida,  "Functional analysis" , Springer  (1980)  pp. Chapt. 8, Sect. 4; 5</TD></TR><TR><TD valign="top">[10]</TD> <TD valign="top">  L.V. Kantorovich,  "Functional analysis and applied mathematics"  ''Uspekhi Mat. Nauk'' , '''3''' :  6  (1948)  pp. 89–185  (In Russian)</TD></TR><TR><TD valign="top">[11]</TD> <TD valign="top">  L.V. Kantorovich,  G.P. Akilov,  "Functionalanalysis in normierten Räumen" , Akademie Verlag  (1964)  (Translated from Russian)</TD></TR><TR><TD valign="top">[12]</TD> <TD valign="top">  A.A. Kirillov,  "Elements of the theory of representations" , Springer  (1976)  (Translated from Russian)</TD></TR><TR><TD valign="top">[13]</TD> <TD valign="top">  A.N. Kolmogorov,  S.V. Fomin,  "Elements of the theory of functions and functional analysis" , '''1–2''' , Graylock  (1957–1961)  (Translated from Russian)</TD></TR><TR><TD valign="top">[14]</TD> <TD valign="top">  M.A. Krasnosel'skii,  "Topological methods in the theory of nonlinear integral equations" , Pergamon  (1964)  (Translated from Russian)</TD></TR><TR><TD valign="top">[15]</TD> <TD valign="top">  W.I. [V.I. Sobolev] Sobolew,  "Elemente der Funktionalanalysis" , H. Deutsch , Frankfurt a.M.  (1979)  (Translated from Russian)</TD></TR><TR><TD valign="top">[16]</TD> <TD valign="top">  M.A. Naimark,  "Linear differential operators" , '''1–2''' , F. Ungar  (1967–1968)  (Translated from Russian)</TD></TR><TR><TD valign="top">[17]</TD> <TD valign="top">  M.A. Naimark,  "Normed rings" , Reidel  (1984)  (Translated from Russian)</TD></TR><TR><TD valign="top">[18]</TD> <TD valign="top">  M. Reed,  B. Simon,  "Methods of modern mathematical physics" , '''1–4''' , Acad. Press  (1972–1978)</TD></TR><TR><TD valign="top">[19]</TD> <TD valign="top">  F. Riesz,  B. Szökefalvi-Nagy,  "Functional analysis" , F. Ungar  (1955)  (Translated from French)</TD></TR><TR><TD valign="top">[20]</TD> <TD valign="top">  S.L. Sobolev,  "Applications of functional analysis in mathematical physics" , Amer. Math. Soc.  (1963)  (Translated from Russian)</TD></TR><TR><TD valign="top">[21]</TD> <TD valign="top">  E. Hille,  R.S. Phillips,  "Functional analysis and semi-groups" , Amer. Math. Soc.  (1957)</TD></TR><TR><TD valign="top">[22]</TD> <TD valign="top">  A.S. Švarc,  "Mathematical foundations of quantum field theory" , Moscow  (1975)  (In Russian)</TD></TR><TR><TD valign="top">[23]</TD> <TD valign="top">  P. Enflö,  "A counterexample to the approximation problem in Banach spaces"  ''Acta. Math.'' , '''130'''  (1973)  pp. 309–317</TD></TR></table>
+
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  N.I. [N.I. Akhiezer] Ahiezer,  "Theory of linear operators in Hilbert space" , '''1–2''' , Pitman  (1984)  (Translated from Russian) {{MR|0509335}} {{MR|0486990}} {{MR|0206710}} {{MR|0264421}} {{MR|0264420}} {{MR|0044034}} {{ZBL|}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  S.S. Banach,  "A course of functional analysis" , Kiev  (1948)  (In Ukrainian) {{MR|}} {{ZBL|}} </TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  Yu.M. [Yu.M. Berezanskii] Berezanskiy,  "Expansion in eigenfunctions of selfadjoint operators" , Amer. Math. Soc.  (1968)  (Translated from Russian) {{MR|}} {{ZBL|}} </TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  N. Bourbaki,  "Elements of mathematics. Topological vector spaces" , Springer  (1987)  (Translated from French) {{MR|0928386}} {{ZBL|0622.46001}} </TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  B.Z. Vulikh,  "Introduction to the theory of partially ordered spaces" , Wolters-Noordhoff  (1967)  (Translated from Russian) {{MR|0224522}} {{ZBL|0186.44601}} </TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  I.M. Gel'fand,  G.E. Shilov,  "Generalized functions" , Acad. Press  (1964)  (Translated from Russian) {{MR|435831}} {{ZBL|0115.33101}} </TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  I.M. [I.M. Gel'fand] Gelfand,  D.A. [D.A. Raikov] Raikov,  G.E. [G.E. Shilov] Schilow,  "Kommutative Normierte Ringe" , Deutsch. Verlag Wissenschaft.  (1964)  (Translated from Russian) {{MR|}} {{ZBL|}} </TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top">  N. Dunford,  J.T. Schwartz,  "Linear operators" , '''1–3''' , Interscience  (1958–1971) {{MR|1009164}} {{MR|1009163}} {{MR|1009162}} {{MR|0412888}} {{MR|0216304}} {{MR|0188745}} {{MR|0216303}} {{MR|1530651}} {{MR|0117523}} {{ZBL|0635.47003}} {{ZBL|0635.47002}} {{ZBL|0635.47001}} {{ZBL|0283.47002}} {{ZBL|0243.47001}} {{ZBL|0146.12601}} {{ZBL|0128.34803}} {{ZBL|0084.10402}} </TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top">  K. Yosida,  "Functional analysis" , Springer  (1980)  pp. Chapt. 8, Sect. 4; 5 {{MR|0617913}} {{ZBL|0435.46002}} </TD></TR><TR><TD valign="top">[10]</TD> <TD valign="top">  L.V. Kantorovich,  "Functional analysis and applied mathematics"  ''Uspekhi Mat. Nauk'' , '''3''' :  6  (1948)  pp. 89–185  (In Russian) {{MR|0053389}} {{ZBL|0034.21203}} </TD></TR><TR><TD valign="top">[11]</TD> <TD valign="top">  L.V. Kantorovich,  G.P. Akilov,  "Functionalanalysis in normierten Räumen" , Akademie Verlag  (1964)  (Translated from Russian) {{MR|}} {{ZBL|}} </TD></TR><TR><TD valign="top">[12]</TD> <TD valign="top">  A.A. Kirillov,  "Elements of the theory of representations" , Springer  (1976)  (Translated from Russian) {{MR|0412321}} {{ZBL|0342.22001}} </TD></TR><TR><TD valign="top">[13]</TD> <TD valign="top">  A.N. Kolmogorov,  S.V. Fomin,  "Elements of the theory of functions and functional analysis" , '''1–2''' , Graylock  (1957–1961)  (Translated from Russian) {{MR|1025126}} {{MR|0708717}} {{MR|0630899}} {{MR|0435771}} {{MR|0377444}} {{MR|0234241}} {{MR|0215962}} {{MR|0118796}} {{MR|1530727}} {{MR|0118795}} {{MR|0085462}} {{MR|0070045}} {{ZBL|0932.46001}} {{ZBL|0672.46001}} {{ZBL|0501.46001}} {{ZBL|0501.46002}} {{ZBL|0235.46001}} {{ZBL|0103.08801}} </TD></TR><TR><TD valign="top">[14]</TD> <TD valign="top">  M.A. Krasnosel'skii,  "Topological methods in the theory of nonlinear integral equations" , Pergamon  (1964)  (Translated from Russian) {{MR|}} {{ZBL|0111.30303}} </TD></TR><TR><TD valign="top">[15]</TD> <TD valign="top">  W.I. [V.I. Sobolev] Sobolew,  "Elemente der Funktionalanalysis" , H. Deutsch , Frankfurt a.M.  (1979)  (Translated from Russian) {{MR|0539144}} {{ZBL|0338.46011}} {{ZBL|0325.46017}} {{ZBL|0159.17601}} {{ZBL|0090.32302}} {{ZBL|0064.10501}} </TD></TR><TR><TD valign="top">[16]</TD> <TD valign="top">  M.A. Naimark,  "Linear differential operators" , '''1–2''' , F. Ungar  (1967–1968)  (Translated from Russian) {{MR|2814127}} {{MR|0353061}} {{MR|0262880}} {{MR|0216050}} {{MR|0067292}} {{MR|0050109}} {{ZBL|1221.47085}} {{ZBL|0227.34020}} {{ZBL|0219.34001}} {{ZBL|0057.07102}} </TD></TR><TR><TD valign="top">[17]</TD> <TD valign="top">  M.A. Naimark,  "Normed rings" , Reidel  (1984)  (Translated from Russian) {{MR|1292007}} {{MR|0355601}} {{MR|0355602}} {{MR|0205093}} {{MR|0110956}} {{MR|0090786}} {{MR|0026763}} {{ZBL|0218.46042}} {{ZBL|0137.31703}} {{ZBL|0089.10102}} {{ZBL|0073.08902}} </TD></TR><TR><TD valign="top">[18]</TD> <TD valign="top">  M. Reed,  B. Simon,  "Methods of modern mathematical physics" , '''1–4''' , Acad. Press  (1972–1978) {{MR|0751959}} {{MR|0529429}} {{MR|0493423}} {{MR|0493421}} {{MR|0493422}} {{MR|0493420}} {{MR|0493419}} {{ZBL|0521.47001}} {{ZBL|0517.47006}} {{ZBL|0459.46001}} {{ZBL|0405.47007}} {{ZBL|0401.47001}} {{ZBL|0308.47002}} {{ZBL|0242.46001}} </TD></TR><TR><TD valign="top">[19]</TD> <TD valign="top">  F. Riesz,  B. Szökefalvi-Nagy,  "Functional analysis" , F. Ungar  (1955)  (Translated from French) {{MR|0071727}} {{ZBL|0732.47001}} {{ZBL|0070.10902}} {{ZBL|0046.33103}} </TD></TR><TR><TD valign="top">[20]</TD> <TD valign="top">  S.L. Sobolev,  "Applications of functional analysis in mathematical physics" , Amer. Math. Soc.  (1963)  (Translated from Russian) {{MR|0165337}} {{ZBL|0123.09003}} </TD></TR><TR><TD valign="top">[21]</TD> <TD valign="top">  E. Hille,  R.S. Phillips,  "Functional analysis and semi-groups" , Amer. Math. Soc.  (1957) {{MR|0089373}} {{ZBL|0392.46001}} {{ZBL|0033.06501}} </TD></TR><TR><TD valign="top">[22]</TD> <TD valign="top">  A.S. Švarc,  "Mathematical foundations of quantum field theory" , Moscow  (1975)  (In Russian) {{MR|0468857}} {{ZBL|}} </TD></TR><TR><TD valign="top">[23]</TD> <TD valign="top">  P. Enflö,  "A counterexample to the approximation problem in Banach spaces"  ''Acta. Math.'' , '''130'''  (1973)  pp. 309–317 {{MR|0402468}} {{ZBL|}} </TD></TR></table>
 
 
 
 
  
 
====Comments====
 
====Comments====
 
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  W. Rudin,  "Functional analysis" , McGraw-Hill  (1973)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  J.B. Conway,  "A course in functional analysis" , Springer  (1985)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  H.H. Schaefer,  "Topological vector spaces" , Macmillan  (1966)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  S.S. Banach,  "Théorie des opérations linéaires" , Hafner  (1932)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  G. Köthe,  "Topological vector spaces" , '''I-II''' , Springer  (1979)</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  J. Lindenstrauss,  L. Tzafriri,  "Classical Banach spaces" , '''1–2''' , Springer  (1977–1979)</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  H.H. Schaefer,  "Banach lattices and positive operators" , Springer  (1974)</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top">  J. Horvath,  "Topological vector spaces and distributions" , Addison-Wesley  (1966)</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top">  A. Grothendieck,  "Résumé de la théorie métrique des produits tensoriels topologiques"  ''Bol. Soc. Mat. São Paulo'' , '''8'''  (1956)  pp. 1–79</TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top">  A. Pietsch,  "Operator ideals" , North-Holland  (1980)</TD></TR><TR><TD valign="top">[a11]</TD> <TD valign="top">  J. Diestel,  J.J. Uhl jr.,  "Vector measures" , ''Math. Surveys'' , '''15''' , Amer. Math. Soc.  (1977)</TD></TR><TR><TD valign="top">[a12]</TD> <TD valign="top">  R.V. Kadison,  J.R. Ringrose,  "Fundamentals of the theory of operator algebras" , '''1–2''' , Acad. Press  (1983–1986)</TD></TR><TR><TD valign="top">[a13]</TD> <TD valign="top">  T. Kato,  "Perturbation theory for linear operators" , Springer  (1976)</TD></TR><TR><TD valign="top">[a14]</TD> <TD valign="top">  J.T. Schwartz,  "Non-linear functional analysis" , Gordon &amp; Breach  (1969)</TD></TR><TR><TD valign="top">[a15]</TD> <TD valign="top">  G. Choquet,  "Lectures on analysis" , '''1–3''' , Benjamin  (1969)  (Translated from French)</TD></TR><TR><TD valign="top">[a16]</TD> <TD valign="top">  C.E. Rickart,  "General theory of Banach algebras" , v. Nostrand  (1960)</TD></TR><TR><TD valign="top">[a17]</TD> <TD valign="top">  W.A.J. Luxemburg,  A.C. Zaanen,  "Riesz spaces" , '''I''' , North-Holland  (1971)</TD></TR><TR><TD valign="top">[a18]</TD> <TD valign="top">  L. Schwartz,  "Théorie des distributions" , '''1–2''' , Hermann  (1950–1951)</TD></TR></table>
+
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  W. Rudin,  "Functional analysis" , McGraw-Hill  (1973) {{MR|0365062}} {{ZBL|0253.46001}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  J.B. Conway,  "A course in functional analysis" , Springer  (1985) {{MR|0768926}} {{ZBL|0558.46001}} </TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  H.H. Schaefer,  "Topological vector spaces" , Macmillan  (1966) {{MR|0193469}} {{ZBL|0141.30503}} </TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  S.S. Banach,  "Théorie des opérations linéaires" , Hafner  (1932) {{MR|1357166}} {{MR|0389498}} {{MR|0071726}} {{ZBL|0005.20901}}  {{ZBL|58.0420.01}} </TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  G. Köthe,  "Topological vector spaces" , '''I-II''' , Springer  (1979) {{MR|0551623}} {{ZBL|0417.46001}} </TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  J. Lindenstrauss,  L. Tzafriri,  "Classical Banach spaces" , '''1–2''' , Springer  (1977–1979) {{MR|0540367}} {{MR|0500056}} {{MR|0415253}} {{MR|0425583}} {{MR|0291772}} {{ZBL|0852.46015}} {{ZBL|0403.46022}} {{ZBL|0362.46013}} {{ZBL|0259.46011}} {{ZBL|0224.46041}} {{ZBL|0224.46032}} </TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  H.H. Schaefer,  "Banach lattices and positive operators" , Springer  (1974) {{MR|0423039}} {{ZBL|0296.47023}} </TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top">  J. Horvath,  "Topological vector spaces and distributions" , Addison-Wesley  (1966) {{MR|0205028}} {{ZBL|0143.15101}} </TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top">  A. Grothendieck,  "Résumé de la théorie métrique des produits tensoriels topologiques"  ''Bol. Soc. Mat. São Paulo'' , '''8'''  (1956)  pp. 1–79 {{MR|1466414}} {{MR|0094682}} {{ZBL|0074.32303}} </TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top">  A. Pietsch,  "Operator ideals" , North-Holland  (1980) {{MR|0600820}} {{MR|0583295}} {{MR|0592903}} {{MR|0582655}} {{ZBL|0455.47032}} {{ZBL|0441.47032}} {{ZBL|0434.47030}} </TD></TR><TR><TD valign="top">[a11]</TD> <TD valign="top">  J. Diestel,  J.J. Uhl jr.,  "Vector measures" , ''Math. Surveys'' , '''15''' , Amer. Math. Soc.  (1977) {{MR|0453964}} {{ZBL|0369.46039}} </TD></TR><TR><TD valign="top">[a12]</TD> <TD valign="top">  R.V. Kadison,  J.R. Ringrose,  "Fundamentals of the theory of operator algebras" , '''1–2''' , Acad. Press  (1983–1986) {{MR|1468230}} {{MR|1468229}} {{MR|1170351}} {{MR|1134132}} {{MR|0859186}} {{MR|0719020}} {{ZBL|0991.46031}} {{ZBL|0888.46039}} {{ZBL|0831.46060}} {{ZBL|0869.46029}} {{ZBL|0869.46028}} {{ZBL|0601.46054}} {{ZBL|0518.46046}} </TD></TR><TR><TD valign="top">[a13]</TD> <TD valign="top">  T. Kato,  "Perturbation theory for linear operators" , Springer  (1976) {{MR|0407617}} {{ZBL|0342.47009}} </TD></TR><TR><TD valign="top">[a14]</TD> <TD valign="top">  J.T. Schwartz,  "Non-linear functional analysis" , Gordon &amp; Breach  (1969) {{MR|}} {{ZBL|}} </TD></TR><TR><TD valign="top">[a15]</TD> <TD valign="top">  G. Choquet,  "Lectures on analysis" , '''1–3''' , Benjamin  (1969)  (Translated from French) {{MR|0250013}} {{MR|0250012}} {{MR|0250011}} {{ZBL|0181.39603}} {{ZBL|0181.39602}} {{ZBL|0181.39601}} </TD></TR><TR><TD valign="top">[a16]</TD> <TD valign="top">  C.E. Rickart,  "General theory of Banach algebras" , v. Nostrand  (1960) {{MR|0115101}} {{ZBL|0095.09702}} </TD></TR><TR><TD valign="top">[a17]</TD> <TD valign="top">  W.A.J. Luxemburg,  A.C. Zaanen,  "Riesz spaces" , '''I''' , North-Holland  (1971) {{MR|0511676}} {{ZBL|0231.46014}} </TD></TR><TR><TD valign="top">[a18]</TD> <TD valign="top">  L. Schwartz,  "Théorie des distributions" , '''1–2''' , Hermann  (1950–1951) {{MR|2067351}} {{MR|0209834}} {{MR|0117544}} {{MR|0107812}} {{MR|0041345}} {{MR|0035918}} {{MR|0032815}} {{MR|0031106}} {{MR|0025615}} {{ZBL|0962.46025}} {{ZBL|0653.46037}} {{ZBL|0399.46028}} {{ZBL|0149.09501}} {{ZBL|0085.09703}} {{ZBL|0089.09801}} {{ZBL|0089.09601}} {{ZBL|0078.11003}} {{ZBL|0042.11405}} {{ZBL|0037.07301}} {{ZBL|0039.33201}} {{ZBL|0030.12601}} </TD></TR></table>

Latest revision as of 08:10, 30 January 2022


The part of modern mathematical analysis in which the basic purpose is to study functions $ y = f ( x) $ for which at least one of the variables $ x $ or $ y $ varies over an infinite-dimensional space. In its most general form such a study falls into three parts: 1) the introduction and study of infinite-dimensional spaces as such; 2) the study of the simplest functions, namely, when $ x $ takes values in an infinite-dimensional space and $ y $ in a one-dimensional space (these are called functionals (cf. Functional), whence the name "functional analysis" ); and 3) the study of general functions of the type indicated — operators (cf. Operator). Linear functions $ X \ni x \mapsto f ( x) = y \in Y $, i.e. linear operators, have been most completely studied. Their theory is essentially a generalization of linear algebra to the infinite-dimensional case. A combination of the approaches of classical analysis and algebra is characteristic for the methods of functional analysis, and this leads to relations between what are at first glance very distant branches of mathematics.

Functional analysis as an independent mathematical discipline started at the turn of the 19th century and was finally established in the 1920's and 1930's, on the one hand under the influence of the study of specific classes of linear operators — integral operators and integral equations connected with them — and on the other hand under the influence of the purely intrinsic development of modern mathematics with its desire to generalize and thus to clarify the true nature of some regular behaviour. Quantum mechanics also had a great influence on the development of functional analysis, since its basic concepts, for example energy, turned out to be linear operators (which physicists at first rather loosely interpreted as infinite-dimensional matrices) on infinite-dimensional spaces.

1. The concept of a space.

Topological vector spaces (cf. Topological vector space) are the most general spaces figuring in functional analysis. These are vector (linear) spaces $ X $ over the field of complex numbers $ \mathbf C $ (or any other field, for example that of the real numbers, $ \mathbf R $) which are simultaneously topological spaces and where the linear structure and the topology are compatible in the sense that the linear operations are continuous in the topology under consideration. In particular, if $ X $ is a metric space, then one has a metric vector space.

A more particular, but very important, situation arises when the concept of the norm $ \| x \| $ (the length) of a vector $ x \in X $ is introduced axiomatically in a vector space $ X $. A vector space with a norm is called a normed space. It is metrizable. A metric $ \rho $ is introduced by the formula: $ \rho ( x, y) = \| x - y \| $. A vector space with a norm is called a Banach space if it is complete with respect to the metric indicated.

In a large number of problems the situation arises where one can introduce an inner product $ ( x, y) $ for any two vectors in the vector space $ X $, such that this product generalizes the usual scalar product in three-dimensional space. A space provided with an inner product is called a pre-Hilbert space; it is a particular case of a normed space. If this space is complete, then it is called a Hilbert space.

Infinite-dimensional spaces are studied in functional analysis, that is, spaces in which there is an infinite set of linearly independent vectors.

From a geometric point of view the simplest spaces are the Hilbert spaces $ X = H $, which have properties that mostly resemble those of finite-dimensional spaces, because it is possible to introduce a concept similar to that of the angle between two vectors by means of the inner product. In particular, two vectors $ x, y \in H $ are said to be orthogonal $ ( x \perp y) $ if $ ( x, y) = 0 $. The following result is true in $ H $: Let $ G $ be a subspace of $ H $, then any vector $ x \in H $ has a projection $ x _ {G} $ onto $ G $, that is, a vector $ x _ {G} \in G $ such that $ x - x _ {G} $ is orthogonal to any vector in $ G $. Due to this fact, a large number of geometric constructions which hold for finite-dimensional spaces can be transferred to Hilbert spaces, where they often acquire an analytic character.

Geometric questions become distinctly more complicated when going from Hilbert spaces to Banach spaces, and all the more so in general topological vector spaces, because orthogonal projection is not meaningful in them. For example, in the space $ l _ {p} $ ($ p \geq 1 $) the vectors $ e _ {n} = ( 0, \dots, 0, 1, 0, 0 , \dots ) $ form a basis in the sense that for each vector $ x \in l _ {p} $ "coordinate-wise" expansion is valid:

$$ x = \ \sum _ {n = 1 } ^ \infty x _ {n} e _ {n} . $$

The construction of a basis for the space $ C [ a, b] $ is already a bit more complicated; at the same time a basis can be constructed in each of the known examples of Banach spaces. The problem arose: Does there exist a basis in every Banach space? This problem, in spite of the efforts of many mathematicians, did not yield a solution for more than 40 years and was only solved negatively in 1972 (see [23]). In functional analysis an important place is occupied by "geometric" themes, devoted to clarifying the properties of various sets in Banach and other spaces, for example convex sets, compact sets (the latter means that every sequence of points of such a set $ Q $ has a subsequence converging to a point in $ Q $), etc. Here, simply formulated questions often have very non-trivial solutions. These problems are closely connected with the study of isomorphisms between spaces, and with finding universal representatives in some classes of spaces.

Specific function spaces have been studied in detail, since the properties of these spaces usually determine the character of the solution to a problem when it is obtained by the methods of functional analysis. The so-called imbedding theorems for the Sobolev spaces $ W _ {p} ^ {l} ( G) $, $ G \subseteq \mathbf R ^ {n} $, and various generalizations of these, can serve as an example.

In connection with the demands of modern mathematical physics a great number of specific spaces have arisen in which problems are naturally posed and which thus must be studied. These spaces are usually constructed from initial spaces using certain constructions. Below the most commonly used constructions are given in their simplest versions.

1) The formation of an orthogonal sum $ H = \oplus _ {n = 1 } ^ \infty H _ {n} $ of Hilbert spaces $ H _ {n} $, $ n = 1, 2, \dots $ is a construction of a space $ H $ in terms of spaces $ H _ {n} $, similar to the formation of $ H $ in terms of one-dimensional spaces.

2) Passing to a quotient space: Given a degenerate inner product $ ( x, y) $ in a vector space $ X $ (that is, $ ( x, x) = 0 $ is possible when $ x \neq 0 $); the Hilbert space $ H $ is defined as the completion of $ X $ with respect to $ ( \cdot , \cdot ) $ after first identifying with 0 all those vectors for which $ ( x, x) = 0 $.

3) The formation of a tensor product $ \otimes _ {j = 1 } ^ {n} H _ {j} $ is analogous to passing from functions of one variable $ f ( x _ {1} ) $ to functions of several variables $ f ( x _ {1}, \dots, x _ {n} ) $; a similar construction is also used for an infinite number of factors; one also considers symmetric and anti-symmetric tensor products consisting, in the case of functions, of functions of several variables having these properties.

4) The formation of the projective limit $ X $ of Banach spaces $ X _ \alpha $, where $ \alpha $ runs over a certain set of indices $ A $. By definition, $ X = \cap _ {\alpha \in A } X _ \alpha $; the topology in $ X $, roughly speaking, is given by the convergence $ x _ {n} \rightarrow x $ which means that $ \| x _ {n} - x \| \rightarrow 0 $ with respect to the norm in every $ X _ \alpha $.

5) The formation of the inductive limit $ X $ of the Banach spaces $ X _ \alpha $. By definition, $ X = \cup _ {\alpha \in A } X _ \alpha $; the topology in $ X $, roughly speaking, is given by the convergence $ x _ {n} \rightarrow x $ which means that all the $ x _ {n} $ lie in a certain $ X _ \alpha $ and that $ \| x _ {n} - x \| \rightarrow 0 $ with respect to the norm of this space.

6) Interpolation is the formation of "intermediate" spaces $ X _ \alpha $ from two spaces $ X _ {1} $ and $ X _ {2} $, where $ \alpha \in ( 1, 2) $; for example, the construction from $ W _ {p} ^ {1} ( G) $ and $ W _ {p} ^ {2} ( G) $ of the space $ W _ {p} ^ \alpha ( G) $ of functions with fractional derivative $ \alpha \in ( 1, 2) $.

Procedures 4) and 5) are commonly applied when constructing topological vector spaces. One distinguishes among such spaces the very important class of the so-called nuclear spaces (cf. Nuclear space), each of which is constructed as a projective limit of Hilbert spaces $ H _ \alpha $ with the property that, for each $ \alpha \in A $, one can find a $ \beta \in A $ such that $ H _ \beta \subseteq H _ \alpha $ and the imbedding operator $ H _ \beta \ni x \rightarrow x \in H _ \alpha $ is a Hilbert–Schmidt operator (see below, Section $ \mathbf 3 $).

An extensive and important branch of functional analysis has been developed in which one studies topological and normed vector spaces with a partial order, introduced axiomatically, having natural properties (partially ordered spaces).

2. Functionals.

In functional analysis the study of continuous functionals and linear functionals plays an essential role (cf. Continuous functional; Linear functional); their properties are closely connected with the properties of the original space $ X $.

Let $ X $ be a Banach space and let $ X ^ \prime $ be the set of continuous linear functionals on it; $ X ^ \prime $ is a vector space with respect to the usual operations of adding functions and multiplying them by a number, it becomes a Banach space if one introduces the norm

$$ \| l \| = \ \sup _ {\begin{array}{c} x \in X \\ x \neq 0 \end{array} } \ \frac{| l ( x) | }{\| x \| } . $$

The space $ X ^ \prime $ is called the dual of $ X $ (cf. also Adjoint space).

If $ X $ is finite-dimensional, then every linear functional is of the form

$$ l ( x) = \ \sum _ {j = 1 } ^ { n } x _ {j} \overline{a} _ {j} , $$

where $ x _ {j} $ are the coordinates of the vector $ x $ with respect to a certain basis and $ a _ {j} $ are numbers determined by the functional. It turns out that the formula also holds when $ X = H $ is a Hilbert space (Riesz' theorem). Namely, in this case $ l ( x) = ( x, a) $, where $ a $ is a certain vector in $ H $. This formula shows that a Hilbert space essentially coincides with its dual.

For a Banach space the situation is far more complicated: One can construct $ X ^ {\prime\prime} = ( X ^ \prime ) ^ \prime $, $ X ^ {\prime\prime \prime } = ( X ^ {\prime\prime} ) ^ \prime , \dots $ and these spaces may turn out to be all different. At the same time, there always exists a canonical imbedding of $ X $ into $ X ^ {\prime\prime} $, namely, to each $ x \in X $ one can associate the functional $ L _ {x} $, where $ L _ {x} ( l) = l ( x) $, $ l \in X ^ \prime $. The spaces $ X $ for which $ X ^ {\prime\prime} = X $ are called reflexive. Generally, in the case of a Banach space even the existence of non-trivial (that is, non-zero) linear functionals is not a simple question. This question is easily solved affirmatively with the help of the Hahn–Banach theorem.

The dual space $ X ^ \prime $ is, in a certain sense, "better" than the original space $ X $. For example, along with the norm one can introduce another (weak) topology in $ X ^ \prime $ which, in terms of convergence, is such that $ l _ {n} \rightarrow l $ if $ l _ {n} ( x) \rightarrow l ( x) $ for all $ x \in X $. In this topology the unit ball in $ X ^ \prime $ is compact (which is never the case for infinite-dimensional spaces in the topology generated by a norm). This makes it possible to study in more detail a number of geometric questions about sets in the dual space (for example, establishing the structure of convex sets, etc.).

For a number of specific spaces $ X $ the dual space $ X ^ \prime $ can be found explicitly. However, for the majority of Banach spaces, and especially for topological vector spaces, the functionals are elements of a new kind which cannot be expressed simply in terms of classical analysis. The elements of the dual space are called generalized functions.

For many questions in functional analysis and its applications an essential role is played by a triple of spaces $ \Phi ^ \prime \supseteq H \supseteq \Phi $, where $ H $ is the original Hilbert space, $ \Phi $ is a topological vector space (in particular, a Hilbert space with a different inner product) and $ \Phi ^ \prime $ is its dual space, the elements of which can be taken as generalized functions. The space $ H $ itself is then called a rigged Hilbert space.

The study of linear functionals on $ X $ in many respects promotes a deeper understanding of the nature of the original space $ X $. On the other hand, in many questions it is necessary to study general functions $ X \ni x \rightarrow f ( x) \in \mathbf C $, that is, non-linear functionals in the case of an infinite-dimensional $ X $ (cf. Non-linear functional). Since the unit ball in such a space $ X $ is non-compact, its study often encounters essential difficulties, although, for example, such concepts as the differentiability of $ f $, its analyticity, etc. are easily generalized. One can consider a set of functions $ X \ni x \mapsto f ( x) \in \mathbf C $ having definite properties as a new topological vector space of functions of "an infinite number of variables" . Such functions also appear in constructing infinite tensor products $ \otimes _ {n = 1 } ^ \infty H _ {n} $ of spaces of functions of one variable. The study of such spaces, of the operators on them, etc., is connected with the requirements of quantum field theory (see [22]).

3. Operators.

The main objects of study in functional analysis are operators $ X \ni x \mapsto f ( x) \in Y $, where $ X $ and $ Y $ are topological vector (for the most part, normed or Hilbert) spaces and, above all, linear operators (cf. Linear operator).

When $ X $ and $ Y $ are finite-dimensional, the linearity of an operator implies that it is of the form

$$ ( Ax) _ {j} = \ \sum _ {k = 1 } ^ { N } a _ {jk} x _ {k} ,\ \ j = 1, \dots, M, $$

where $ x _ {1}, \dots, x _ {N} $ are the coordinates of the vector $ x $ in a certain basis, and $ ( Ax) _ {1}, \dots, ( Ax) _ {M} $ are, analogously, the coordinates of $ y = Ax $. Thus, in the finite-dimensional case to each linear operator $ A $ corresponds, in terms of fixed bases in $ X $ and $ Y $, a matrix

$$ \| a _ {jk} \| _ {j, k = 1 } ^ {M, N } , $$

which gives a simple expression for $ A $. The study of linear operators in this case is a topic of linear algebra.

The situation becomes much more complicated when $ X $ and $ Y $ become infinite-dimensional (even Hilbert) spaces. First of all, two classes of operators arise here: continuous operators, for which the function $ X \ni x \mapsto Ax \in Y $ is continuous (they are also called bounded, since the continuity of an operator between Banach spaces is equivalent to its boundedness), and unbounded operators, where there is no such continuity. The operators of the first type are simpler, but those of the second type are met more often, e.g. differential operators are of the second type.

The important (especially for quantum mechanics) class of self-adjoint operators on a Hilbert space $ H $ has been studied most of all (cf. Self-adjoint operator).

Other classes of operators on $ H $, closely connected with the self-adjoint operators (the so-called unitary and normal operators, cf. Unitary operator; Normal operator), have also been well studied.

Among the general facts about bounded operators acting in a Banach space $ X $, one can select the construction of a functional calculus of analytic functions. Namely, the operator $ R _ {z} = ( A - zI) ^ {- 1} $ is called the resolvent of the operator $ A $, where $ I $ is the identity operator and $ z \in \mathbf C $. The points $ z $ for which the inverse operator $ ( A - zI) ^ {- 1} $ exists are called the regular points of $ A $, the complement of the set of regular points is called the spectrum $ s ( A) $ of $ A $. The spectrum is never empty and lies in the disc $ | z | \leq \| A \| $; the eigen values of $ A $, of course, belong to $ s ( A) $, but the spectrum, generally speaking, does not entirely consist of them. If $ f ( z) $ is an analytic function defined in a neighbourhood of $ s ( A) $, and if $ \Gamma $ is some closed contour enclosing $ s ( A) $ and lying in the domain of analyticity of $ f ( z) $, then one puts

$$ f ( A) = \ - { \frac{1}{2 \pi i } } \oint _ \Gamma f ( z) R _ {z} dz $$

and calls $ f ( A) $ an operator function. If $ f ( z) $ is a polynomial, then $ f ( A) $ is obtained by simply replacing $ z $ in this polynomial by $ A $. The correspondence $ f ( z) \mapsto f ( A) $ has the important homomorphism properties:

$$ ( f + g) ( A) = \ f ( A) + g ( A),\ \ ( fg) ( A) = \ f ( A) g ( A). $$

Thus, under definite conditions on $ A $ one can define, for example, $ e ^ {A} $, $ \sin A $, $ \sqrt A $, etc.

Among the special classes of operators acting on a Banach space $ X $ the most important role is played by the so-called completely-continuous or compact operators (cf. Completely-continuous operator; Compact operator). If $ A $ is compact, then the equation $ x - Ax = y $ ($ y \in X $ is a given vector and $ x \in X $ is the desired vector) has been well studied. The analogues of all the facts which hold for linear equations in finite-dimensional spaces are also valid for this equation (the so-called Fredholm theory). For compact operators $ A $ one studies conditions which ensure that the system of eigen vectors of $ A $ and their associated vectors are dense in $ X $, that is, any vector in $ X $ can be approximated by linear combinations of eigen vectors and associated vectors; etc. At the same time there are, even for compact operators, problems which naturally arise but which are very difficult to solve (for example, the theorem that each such operator has an invariant subspace $ G $ different from 0 and the whole of $ X $, that is, a subspace $ G $ such that $ AG \subseteq G $; in the finite-dimensional case the existence of $ G $ follows trivially from the fact that the spectrum is non-empty).

The spectrum of a compact operator $ A $ is discrete and may accumulate at 0 only. One distinguishes important subclasses of the class of compact operators according to the rate at which the eigen values approach 0. Thus, very often one encounters Hilbert–Schmidt operators. If $ A $ is an operator on $ H = L _ {2} ( G) $, then it is a Hilbert–Schmidt operator if and only if it is an integral operator with kernel $ K ( t, s) $ that is square-summable in both variables. Compact Volterra operators have also been studied in detail. A study has also been made of spectral operators for which there is an analogue for the resolution of the identity $ E ( \lambda ) $; etc. (see [8]).

4. Banach algebras and representation theory.

In the early stages of the development of functional analysis the problems studied were those that could be stated and solved in terms of linear operations on elements of the space alone.

One of the powerful methods in mathematics is to represent abstract mathematical objects by simpler (or more concrete) objects. For example, the spectral theorem can be interpretated as representing a self-adjoint operator by the operator which multiplies the measurable functions of a certain class by the independent variable. If one considers multiplication by Borel functions, one obtains a representation of a commutative normed algebra of operators on a Hilbert space. A more general example of this representation gives one of the main theorems in the theory of commutative Banach algebras.

Let $ A $ be a commutative Banach algebra, for simplicity with an identity, that is, a Banach space in which there is a commutative and associative multiplication $ x \cdot y $ of elements $ x, y \in A $, and let the norm satisfy $ \| xy \| \leq \| x \| \cdot \| y \| $. Further, let $ \mathfrak M $ be the set of all maximal ideals. Then a compact topology can be introduced on $ \mathfrak M $ so that every element $ x \in A $ represents a complex-valued continuous function $ x ( m) $, $ m \in \mathfrak M $, and, moreover, the sum $ x ( m) + y ( m) $ and the product $ x ( m) \cdot y ( m) $ of functions correspond to the sum $ x + y $ and the product $ x \cdot y $, respectively (see [7]). In the non-commutative case representation theory has been studied especially for the so-called algebras with an involution (see Banach algebra).

A considerably richer representation theory has been developed for topological groups (cf. Representation of a topological group).

5. Non-linear functional analysis.

At the same time as the concept of a space was being developed and deepened, the concept of a function was being developed and generalized. In the end it became necessary to consider mappings (not necessarily linear) from one space into another. One of the central problems in non-linear functional analysis is the study of such mappings. As in the linear case, a mapping of a space into (the real or complex) numbers is called a functional. For non-linear mappings (in particular, non-linear functionals) there are various methods to define the concepts of a differential, a directional derivative, etc., analogous to the corresponding concepts in classical mathematical analysis (see [11], [13], [15] and Differentiation of a mapping).

An important problem in non-linear functional analysis is the problem of determining the fixed points of a mapping (see [11], [13], [15] and Fixed point).

When studying the eigen vectors of a non-linear mapping containing a parameter there arises a phenomenon that is crucial in non-linear analysis — so-called bifurcation (see [15]).

In the investigation of fixed points and bifurcation points, topological methods are extensively used: the generalization to infinite-dimensional spaces of the Brouwer–Bohl theorem on the existence of fixed points for mappings of finite-dimensional spaces, the index of a mapping (cf. Index formulas), etc.

6. The application of functional analysis in mathematical and theoretical physics.

Below, those branches of mathematical physics are given in which some part of functional analysis is applied.

1) The spectral theory of operators is applied in all theories of quantum physics: in quantum $ n $-body theory, in quantum field theory and in quantum statistical mechanics. In addition, spectral theory is applied in the study of models of dynamical systems in classical mechanics, in the study of linearized equations in hydrodynamics, in the study of Gibbs fields, etc.

2) Scattering theory is applied in quantum physics. It should be noted that the modern mathematical theory of scattering arose first of all in physics. In recent years scattering theory (the inverse problem) has often been applied in integrating non-linear model equations in mathematical physics.

3) Banach algebras are applied in quantum field theory, especially in so-called axiomatic field theory, and in studying various integrable models of a quantum field and statistical mechanics. Von Neumann algebras are also used in these questions.

4) Perturbation theory, mainly the perturbation theory for linear operators, is applied in almost-all domains of mathematical physics: in quantum field theory and in statistical mechanics, both equilibrium and non-equilibrium (especially in investigating the so-called kinetic equations, the compound spectra of multi-particle systems, etc.).

5) Functional integration and measures in function spaces are applied in constructive quantum field theory and in quantum statistical mechanics.

6) Various integral representations (Riesz' theorem, the Krein–Mil'man theorem, Choquet's theorem, and others) are applied in axiomatic quantum field theory and in statistical mechanics.

7) Vector spaces (mainly Hilbert spaces) are applied in quantum theory and in statistical physics.

8) Generalized functions are applied everywhere in mathematical physics as an important analytic tool (see also Generalized function).

References

[1] N.I. [N.I. Akhiezer] Ahiezer, "Theory of linear operators in Hilbert space" , 1–2 , Pitman (1984) (Translated from Russian) MR0509335 MR0486990 MR0206710 MR0264421 MR0264420 MR0044034
[2] S.S. Banach, "A course of functional analysis" , Kiev (1948) (In Ukrainian)
[3] Yu.M. [Yu.M. Berezanskii] Berezanskiy, "Expansion in eigenfunctions of selfadjoint operators" , Amer. Math. Soc. (1968) (Translated from Russian)
[4] N. Bourbaki, "Elements of mathematics. Topological vector spaces" , Springer (1987) (Translated from French) MR0928386 Zbl 0622.46001
[5] B.Z. Vulikh, "Introduction to the theory of partially ordered spaces" , Wolters-Noordhoff (1967) (Translated from Russian) MR0224522 Zbl 0186.44601
[6] I.M. Gel'fand, G.E. Shilov, "Generalized functions" , Acad. Press (1964) (Translated from Russian) MR435831 Zbl 0115.33101
[7] I.M. [I.M. Gel'fand] Gelfand, D.A. [D.A. Raikov] Raikov, G.E. [G.E. Shilov] Schilow, "Kommutative Normierte Ringe" , Deutsch. Verlag Wissenschaft. (1964) (Translated from Russian)
[8] N. Dunford, J.T. Schwartz, "Linear operators" , 1–3 , Interscience (1958–1971) MR1009164 MR1009163 MR1009162 MR0412888 MR0216304 MR0188745 MR0216303 MR1530651 MR0117523 Zbl 0635.47003 Zbl 0635.47002 Zbl 0635.47001 Zbl 0283.47002 Zbl 0243.47001 Zbl 0146.12601 Zbl 0128.34803 Zbl 0084.10402
[9] K. Yosida, "Functional analysis" , Springer (1980) pp. Chapt. 8, Sect. 4; 5 MR0617913 Zbl 0435.46002
[10] L.V. Kantorovich, "Functional analysis and applied mathematics" Uspekhi Mat. Nauk , 3 : 6 (1948) pp. 89–185 (In Russian) MR0053389 Zbl 0034.21203
[11] L.V. Kantorovich, G.P. Akilov, "Functionalanalysis in normierten Räumen" , Akademie Verlag (1964) (Translated from Russian)
[12] A.A. Kirillov, "Elements of the theory of representations" , Springer (1976) (Translated from Russian) MR0412321 Zbl 0342.22001
[13] A.N. Kolmogorov, S.V. Fomin, "Elements of the theory of functions and functional analysis" , 1–2 , Graylock (1957–1961) (Translated from Russian) MR1025126 MR0708717 MR0630899 MR0435771 MR0377444 MR0234241 MR0215962 MR0118796 MR1530727 MR0118795 MR0085462 MR0070045 Zbl 0932.46001 Zbl 0672.46001 Zbl 0501.46001 Zbl 0501.46002 Zbl 0235.46001 Zbl 0103.08801
[14] M.A. Krasnosel'skii, "Topological methods in the theory of nonlinear integral equations" , Pergamon (1964) (Translated from Russian) Zbl 0111.30303
[15] W.I. [V.I. Sobolev] Sobolew, "Elemente der Funktionalanalysis" , H. Deutsch , Frankfurt a.M. (1979) (Translated from Russian) MR0539144 Zbl 0338.46011 Zbl 0325.46017 Zbl 0159.17601 Zbl 0090.32302 Zbl 0064.10501
[16] M.A. Naimark, "Linear differential operators" , 1–2 , F. Ungar (1967–1968) (Translated from Russian) MR2814127 MR0353061 MR0262880 MR0216050 MR0067292 MR0050109 Zbl 1221.47085 Zbl 0227.34020 Zbl 0219.34001 Zbl 0057.07102
[17] M.A. Naimark, "Normed rings" , Reidel (1984) (Translated from Russian) MR1292007 MR0355601 MR0355602 MR0205093 MR0110956 MR0090786 MR0026763 Zbl 0218.46042 Zbl 0137.31703 Zbl 0089.10102 Zbl 0073.08902
[18] M. Reed, B. Simon, "Methods of modern mathematical physics" , 1–4 , Acad. Press (1972–1978) MR0751959 MR0529429 MR0493423 MR0493421 MR0493422 MR0493420 MR0493419 Zbl 0521.47001 Zbl 0517.47006 Zbl 0459.46001 Zbl 0405.47007 Zbl 0401.47001 Zbl 0308.47002 Zbl 0242.46001
[19] F. Riesz, B. Szökefalvi-Nagy, "Functional analysis" , F. Ungar (1955) (Translated from French) MR0071727 Zbl 0732.47001 Zbl 0070.10902 Zbl 0046.33103
[20] S.L. Sobolev, "Applications of functional analysis in mathematical physics" , Amer. Math. Soc. (1963) (Translated from Russian) MR0165337 Zbl 0123.09003
[21] E. Hille, R.S. Phillips, "Functional analysis and semi-groups" , Amer. Math. Soc. (1957) MR0089373 Zbl 0392.46001 Zbl 0033.06501
[22] A.S. Švarc, "Mathematical foundations of quantum field theory" , Moscow (1975) (In Russian) MR0468857
[23] P. Enflö, "A counterexample to the approximation problem in Banach spaces" Acta. Math. , 130 (1973) pp. 309–317 MR0402468

Comments

References

[a1] W. Rudin, "Functional analysis" , McGraw-Hill (1973) MR0365062 Zbl 0253.46001
[a2] J.B. Conway, "A course in functional analysis" , Springer (1985) MR0768926 Zbl 0558.46001
[a3] H.H. Schaefer, "Topological vector spaces" , Macmillan (1966) MR0193469 Zbl 0141.30503
[a4] S.S. Banach, "Théorie des opérations linéaires" , Hafner (1932) MR1357166 MR0389498 MR0071726 Zbl 0005.20901 Zbl 58.0420.01
[a5] G. Köthe, "Topological vector spaces" , I-II , Springer (1979) MR0551623 Zbl 0417.46001
[a6] J. Lindenstrauss, L. Tzafriri, "Classical Banach spaces" , 1–2 , Springer (1977–1979) MR0540367 MR0500056 MR0415253 MR0425583 MR0291772 Zbl 0852.46015 Zbl 0403.46022 Zbl 0362.46013 Zbl 0259.46011 Zbl 0224.46041 Zbl 0224.46032
[a7] H.H. Schaefer, "Banach lattices and positive operators" , Springer (1974) MR0423039 Zbl 0296.47023
[a8] J. Horvath, "Topological vector spaces and distributions" , Addison-Wesley (1966) MR0205028 Zbl 0143.15101
[a9] A. Grothendieck, "Résumé de la théorie métrique des produits tensoriels topologiques" Bol. Soc. Mat. São Paulo , 8 (1956) pp. 1–79 MR1466414 MR0094682 Zbl 0074.32303
[a10] A. Pietsch, "Operator ideals" , North-Holland (1980) MR0600820 MR0583295 MR0592903 MR0582655 Zbl 0455.47032 Zbl 0441.47032 Zbl 0434.47030
[a11] J. Diestel, J.J. Uhl jr., "Vector measures" , Math. Surveys , 15 , Amer. Math. Soc. (1977) MR0453964 Zbl 0369.46039
[a12] R.V. Kadison, J.R. Ringrose, "Fundamentals of the theory of operator algebras" , 1–2 , Acad. Press (1983–1986) MR1468230 MR1468229 MR1170351 MR1134132 MR0859186 MR0719020 Zbl 0991.46031 Zbl 0888.46039 Zbl 0831.46060 Zbl 0869.46029 Zbl 0869.46028 Zbl 0601.46054 Zbl 0518.46046
[a13] T. Kato, "Perturbation theory for linear operators" , Springer (1976) MR0407617 Zbl 0342.47009
[a14] J.T. Schwartz, "Non-linear functional analysis" , Gordon & Breach (1969)
[a15] G. Choquet, "Lectures on analysis" , 1–3 , Benjamin (1969) (Translated from French) MR0250013 MR0250012 MR0250011 Zbl 0181.39603 Zbl 0181.39602 Zbl 0181.39601
[a16] C.E. Rickart, "General theory of Banach algebras" , v. Nostrand (1960) MR0115101 Zbl 0095.09702
[a17] W.A.J. Luxemburg, A.C. Zaanen, "Riesz spaces" , I , North-Holland (1971) MR0511676 Zbl 0231.46014
[a18] L. Schwartz, "Théorie des distributions" , 1–2 , Hermann (1950–1951) MR2067351 MR0209834 MR0117544 MR0107812 MR0041345 MR0035918 MR0032815 MR0031106 MR0025615 Zbl 0962.46025 Zbl 0653.46037 Zbl 0399.46028 Zbl 0149.09501 Zbl 0085.09703 Zbl 0089.09801 Zbl 0089.09601 Zbl 0078.11003 Zbl 0042.11405 Zbl 0037.07301 Zbl 0039.33201 Zbl 0030.12601
How to Cite This Entry:
Functional analysis. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Functional_analysis&oldid=16273
This article was adapted from an original article by Yu.M. BerezanskiiB.M. Levitan (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article