Spectral theory

From Wikipedia, the free encyclopedia

In mathematics, spectral theory is an inclusive term for theories extending the eigenvector and eigenvalue theory of a single square matrix to a much broader theory of the structure of operators in a variety of mathematical spaces.^[1] It is a result of studies of linear algebra and the solutions of systems of linear equations and their generalizations.^[2] The theory is connected to that of analytic functions because the spectral properties of an operator are related to analytic functions of the spectral parameter.^[3]

Mathematical background

The name spectral theory was introduced by David Hilbert in his original formulation of Hilbert space theory, which was cast in terms of quadratic forms in infinitely many variables. The original spectral theorem was therefore conceived as a version of the theorem on principal axes of an ellipsoid, in an infinite-dimensional setting. The later discovery in quantum mechanics that spectral theory could explain features of atomic spectra was therefore fortuitous.

There have been three main ways to formulate spectral theory, all of which retain their usefulness. After Hilbert's initial formulation, the later development of abstract Hilbert space and the spectral theory of a single normal operator on it did very much go in parallel with the requirements of physics; particularly at the hands of von Neumann.^[4] The further theory built on this to include Banach algebras, which can be given abstractly. This development leads to the Gelfand representation, which covers the commutative case, and further into non-commutative harmonic analysis.

The difference can be seen in making the connection with Fourier analysis. The Fourier transform on the real line is in one sense the spectral theory of differentiation qua differential operator. But for that to cover the phenomena one has already to deal with generalized eigenfunctions (for example, by means of a rigged Hilbert space). On the other hand it is simple to construct a group algebra, the spectrum of which captures the Fourier transform's basic properties, and this is carried out by means of Pontryagin duality.

One can also study the spectral properties of operators on Banach spaces. For example, compact operators on Banach spaces have many spectral properties similar to that of matrices.

Physical background

The background in the physics of vibrations has been explained in this way:^[5]

“

Spectral theory is connected with the investigation of localized vibrations of a variety of different objects, from atoms and molecules in chemistry to obstacles in acoustic waveguides. These vibrations have frequencies, and the issue is to decide when such localized vibrations occur, and how to go about computing the frequencies. This is a very complicated problem since every object has not only a fundamental tone but also a complicated series of overtones, which vary radically from one body to another.

”

The mathematical theory is not dependent on such physical ideas on a technical level, but there are examples of mutual influence (see for example Mark Kac's question Can you hear the shape of a drum?). Hilbert's adoption of the term "spectrum" has been attributed to an 1897 paper of Wilhelm Wirtinger on Hill differential equation (by Jean Dieudonné), and it was taken up by his students during the first decade of the twentieth century, among them Erhard Schmidt and Hermann Weyl. The conceptual basis for Hilbert space was developed from Hilbert's ideas by Erhard Schmidt and Frigyes Riesz.^[6]^[7] It was almost twenty years later, when quantum mechanics was formulated in terms of the Schrödinger equation, that the connection was made to atomic spectra; a connection with the mathematical physics of vibration had been suspected before, as remarked by Henri Poincaré, but rejected for simple quantitative reasons, absent an explanation of the Balmer series.^[8] The later discovery in quantum mechanics that spectral theory could explain features of atomic spectra was therefore fortuitous, rather than being an object of Hilbert's spectral theory.

A definition of spectrum

Main article: Spectrum (functional analysis)

Consider a bounded linear transformation T defined everywhere over a general Banach space. We form the transformation:

$R_{{\zeta }}=\left(\zeta I-T\right)^{{-1}}.$

Here I is the identity operator and ζ is a complex number. The inverse of an operator T, that is T⁻¹, is defined by:

$TT^{{-1}}=T^{{-1}}T=I.$

If the inverse exists, T is called regular. If it does not exist, T is called singular.

With these definitions, the resolvent set of T is the set of all complex numbers ζ such that R_ζ exists and is bounded. This set often is denoted as ρ(T). The spectrum of T is the set of all complex numbers ζ such that R_ζ fails to exist or is unbounded. Often the spectrum of T is denoted by σ(T). The function R_ζ for all ζ in ρ(T) (that is, wherever R_ζ exists as a bounded operator) is called the resolvent of T. The spectrum of T is therefore the complement of the resolvent set of T in the complex plane.^[9] Every eigenvalue of T belongs to σ(T), but σ(T) may contain non-eigenvalues.^[10]

This definition applies to a Banach space, but of course other types of space exist as well, for example, topological vector spaces include Banach spaces, but can be more general.^[11]^[12] On the other hand, Banach spaces include Hilbert spaces, and it is these spaces that find the greatest application and the richest theoretical results.^[13] With suitable restrictions, much can be said about the structure of the spectra of transformations in a Hilbert space. In particular, for self-adjoint operators, the spectrum lies on the real line and (in general) is a spectral combination of a point spectrum of discrete eigenvalues and a continuous spectrum.^[14]

Spectral theory briefly

Main article: Spectral theorem

In functional analysis and linear algebra the spectral theorem establishes conditions under which an operator can be expressed in simple form as a sum of simpler operators. As a full rigorous presentation is not appropriate for this article, we take an approach that avoids much of the rigor and satisfaction of a formal treatment with the aim of being more comprehensible to a non-specialist.

This topic is easiest to describe by introducing the bra-ket notation of Dirac for operators.^[15]^[16] As an example, a very particular linear operator L might be written as a dyadic product:^[17]^[18]

$L=|k_{1}\rangle \langle b_{1}|,$

in terms of the "bra" $\langle b_{1}|$ and the "ket" $|k_{1}\rangle$ . A function f is described by a ket as $|f\rangle$ . The function f(x) defined on the coordinates $(x_{1},x_{2},x_{3},\dots )$ is denoted as:

$f(x)=\langle x,f\rangle$

and the magnitude of f by:

$\|f\|^{2}=\langle f,f\rangle =\int \langle f,x\rangle \langle x,f\rangle \,dx=\int f^{*}(x)f(x)\,dx$

where the notation '*' denotes a complex conjugate. This inner product choice defines a very specific inner product space, restricting the generality of the arguments that follow.^[13]

The effect of L upon a function f is then described as:

$L|f\rangle =|k_{1}\rangle \langle b_{1}|f\rangle$

expressing the result that the effect of L on f is to produce a new function $|k_{1}\rangle$ multiplied by the inner product represented by $\langle b_{1}|f\rangle$ .

A more general linear operator L might be expressed as:

$L=\lambda _{1}|e_{1}\rangle \langle f_{1}|+\lambda _{2}|e_{2}\rangle \langle f_{2}|+\lambda _{3}|e_{3}\rangle \langle f_{3}|+\dots ,$

where the $\{\,\lambda _{i}\,\}$ are scalars and the $\{\,|e_{i}\rangle \,\}$ are a basis and the $\{\,\langle f_{i}|\,\}$ a reciprocal basis for the space. The relation between the basis and the reciprocal basis is described, in part, by:

$\langle f_{i}|e_{j}\rangle =\delta _{{ij}}$

If such a formalism applies, the $\{\,\lambda _{i}\,\}$ are eigenvalues of L and the functions $\{\,|e_{i}\rangle \,\}$ are eigenfunctions of L. The eigenvalues are in the spectrum of L.^[19]

Some natural questions are: under what circumstances does this formalism work, and for what operators L are expansions in series of other operators like this possible? Can any function f be expressed in terms of the eigenfunctions (are they a Schauder basis) and under what circumstances does a point spectrum or a continuous spectrum arise? How do the formalisms for infinite dimensional spaces and finite dimensional spaces differ, or do they differ? Can these ideas be extended to a broader class of spaces? Answering such questions is the realm of spectral theory and requires considerable background in functional analysis and matrix algebra.

Resolution of the identity

This section continues in the rough and ready manner of the above section using the bra-ket notation, and glossing over the many important details of a rigorous treatment.^[20] A rigorous mathematical treatment may be found in various references.^[21] In particular, the dimension n of the space will be finite.

Using the bra-ket notation of the above section, the identity operator may be written as:

$I=\sum _{{i=1}}^{{n}}|e_{i}\rangle \langle f_{i}|$

where it is supposed as above that { $|e_{i}\rangle$ } are a basis and the { $\langle f_{i}|$ } a reciprocal basis for the space satisfying the relation:

$\langle f_{i}|e_{j}\rangle =\delta _{{ij}}.$

This expression of the identity operation is called a representation or a resolution of the identity.^[20]^,^[21] This formal representation satisfies the basic property of the identity:

$I^{k}=I\,$

valid for every positive integer k.

Applying the resolution of the identity to any function in the space $|\psi \rangle$ , one obtains:

$I|\psi \rangle =|\psi \rangle =\sum _{{i=1}}^{{n}}|e_{i}\rangle \langle f_{i}|\psi \rangle =\sum _{{i=1}}^{{n}}\ c_{i}|e_{i}\rangle$

which is the generalized Fourier expansion of ψ in terms of the basis functions { e_i }.^[22] Here $c_{i}=\langle f_{i}|\psi \rangle$ .

Given some operator equation of the form:

$O|\psi \rangle =|h\rangle$

with h in the space, this equation can be solved in the above basis through the formal manipulations:

$O|\psi \rangle =\sum _{{i=1}}^{{n}}c_{i}\left(O|e_{i}\rangle \right)=\sum _{{i=1}}^{{n}}|e_{i}\rangle \langle f_{i}|h\rangle ,$

$\langle f_{j}|O|\psi \rangle =\sum _{{i=1}}^{{n}}c_{i}\langle f_{j}|O|e_{i}\rangle =\sum _{{i=1}}^{{n}}\langle f_{j}|e_{i}\rangle \langle f_{i}|h\rangle =\langle f_{j}|h\rangle ,\quad \forall j$

which converts the operator equation to a matrix equation determining the unknown coefficients c_j in terms of the generalized Fourier coefficients $\langle f_{j}|h\rangle$ of h and the matrix elements $O_{{ji}}=\langle f_{j}|O|e_{i}\rangle$ of the operator O.

The role of spectral theory arises in establishing the nature and existence of the basis and the reciprocal basis. In particular, the basis might consist of the eigenfunctions of some linear operator L:

$L|e_{i}\rangle =\lambda _{i}|e_{i}\rangle \,;$

with the { λ_i } the eigenvalues of L from the spectrum of L. Then the resolution of the identity above provides the dyad expansion of L:

$LI=L=\sum _{{i=1}}^{{n}}L|e_{i}\rangle \langle f_{i}|=\sum _{{i=1}}^{{n}}\lambda _{i}|e_{i}\rangle \langle f_{i}|.$

Resolvent operator

Main article: Resolvent formalism

See also: Green's function and Dirac delta function

Using spectral theory, the resolvent operator R:

$R=(\lambda I-L)^{{-1}},\,$

can be evaluated in terms of the eigenfunctions and eigenvalues of L, and the Green's function corresponding to L can be found.

Applying R to some arbitrary function in the space, say $\varphi$ ,

$R|\varphi \rangle =(\lambda I-L)^{{-1}}|\varphi \rangle =\sum _{{i=1}}^{n}{\frac {1}{\lambda -\lambda _{i}}}|e_{i}\rangle \langle f_{i}|\varphi \rangle .$

This function has poles in the complex λ-plane at each eigenvalue of L. Thus, using the calculus of residues:

${\frac {1}{2\pi i}}\oint _{C}R|\varphi \rangle d\lambda =-\sum _{{i=1}}^{n}|e_{i}\rangle \langle f_{i}|\varphi \rangle =-|\varphi \rangle ,$

where the line integral is over a contour C that includes all the eigenvalues of L.

Suppose our functions are defined over some coordinates {x_j}, that is:

$\langle x,\varphi \rangle =\varphi (x_{1},x_{2},...).$

Introducing the notation

$\langle x,y\rangle =\delta (x-y),$

where δ(x − y) = δ(x₁ − y₁, x₂ − y₂, x₃ − y₃, ...) is the Dirac delta function,^[23] we can write

$\langle x,\varphi \rangle =\int \langle x,y\rangle \langle y,\varphi \rangle dy.$

Then:

${\begin{aligned}\left\langle x,{\frac {1}{2\pi i}}\oint _{C}{\frac {\varphi }{\lambda I-L}}d\lambda \right\rangle &={\frac {1}{2\pi i}}\oint _{C}d\lambda \left\langle x,{\frac {\varphi }{\lambda I-L}}\right\rangle \\&={\frac {1}{2\pi i}}\oint _{C}d\lambda \int dy\left\langle x,{\frac {y}{\lambda I-L}}\right\rangle \langle y,\varphi \rangle \end{aligned}}$

The function G(x, y; λ) defined by:

${\begin{aligned}G(x,y;\lambda )&=\left\langle x,{\frac {y}{\lambda I-L}}\right\rangle \\&=\sum _{{i=1}}^{n}\sum _{{j=1}}^{n}\langle x,e_{i}\rangle \left\langle f_{i},{\frac {e_{j}}{\lambda I-L}}\right\rangle \langle f_{j},y\rangle \\&=\sum _{{i=1}}^{n}{\frac {\langle x,e_{i}\rangle \langle f_{i},y\rangle }{\lambda -\lambda _{i}}}\\&=\sum _{{i=1}}^{n}{\frac {e_{i}(x)f_{i}^{*}(y)}{\lambda -\lambda _{i}}},\end{aligned}}$

is called the Green's function for operator L, and satisfies:^[24]

${\frac {1}{2\pi i}}\oint _{C}G(x,y;\lambda )d\lambda =-\sum _{{i=1}}^{n}\langle x,e_{i}\rangle \langle f_{i},y\rangle =-\langle x,y\rangle =-\delta (x-y).$

Operator equations

Consider the operator equation:

$(O-\lambda I)|\psi \rangle =|h\rangle ;$

in terms of coordinates:

$\int \langle x,(O-\lambda I)y\rangle \langle y,\psi \rangle dy=h(x).$

A particular case is λ = 0.

The Green's function of the previous section is:

$\langle y,G(\lambda )z\rangle =\left\langle y,(O-\lambda I)^{{-1}}z\right\rangle =G(y,z;\lambda ),$

and satisfies:

$\int \langle x,(O-\lambda I)y\rangle \langle y,G(\lambda )z\rangle dy=\int \langle x,(O-\lambda I)y\rangle \left\langle y,(O-\lambda I)^{{-1}}z\right\rangle dy=\langle x,z\rangle =\delta (x-z).$

Using this Green's function property:

$\int \langle x,(O-\lambda I)y\rangle G(y,z;\lambda )dy=\delta (x-z).$

Then, multiplying both sides of this equation by h(z) and integrating:

$\int dzh(z)\int dy\langle x,(O-\lambda I)y\rangle G(y,z;\lambda )=\int dy\langle x,(O-\lambda I)y\rangle \int dzh(z)G(y,z;\lambda )=h(x),$

which suggests the solution is:

$\psi (x)=\int h(z)G(x,z;\lambda )dz.$

That is, the function ψ(x) satisfying the operator equation is found if we can find the spectrum of O, and construct G, for example by using:

$G(x,z;\lambda )=\sum _{{i=1}}^{n}{\frac {e_{i}(x)f_{i}^{*}(z)}{\lambda -\lambda _{i}}}.$

There are many other ways to find G, of course.^[25] See the articles on Green's functions and on Fredholm integral equations. It must be kept in mind that the above mathematics is purely formal, and a rigorous treatment involves some pretty sophisticated mathematics, including a good background knowledge of functional analysis, Hilbert spaces, distributions and so forth. Consult these articles and the references for more detail.

Spectral theorem and Rayleigh quotient

Optimization problems may be the most useful examples about the combinatorial significance of the eigenvalues and eigenvectors in symmetric matrices, especially for the Rayleigh quotient with respect to a matrix M.

Theorem Let M be a symmetric matrix and let x be the non-zero vector that maximize the Rayleigh quotient with respect to M. Then, x is an eigenvector of M with eigenvalue equal to the Rayleigh quotient. Moreover, this eigenvalue is the largest eigenvalue of M.

Proof Assume the spectral theorem. let the eigenvalues of M are $\lambda _{1}\leq \lambda _{2}\leq \cdots \leq \lambda _{n}$ . Since { $v_{i}$ }i is an orthonormal basis, any vector x in this basis is $x=\sum _{{i}}\ x\ v_{{i}}^{{T}}\ v_{{i}}$ The way to prove this formula is pretty easy.

$v_{j}^{{T}}\sum _{{i}}v_{i}^{{T}}xv_{i}$

$=\sum _{{i}}v_{i}^{{T}}xv_{j}^{{T}}v_{i}$

$=(v_{j}^{{T}}x)v_{j}^{{T}}v_{j}$

$=v_{j}^{{T}}x$

evaluate the Rayleigh quotient with respect to x:

${\frac {x^{{T}}Mx}{x^{{T}}x}}$

$=(\sum _{{i}}(v_{i}^{{T}}x)v_{i})^{{T}}M(\sum _{{j}}(v_{j}^{{T}}x)v_{j})$

$=(\sum _{{i}}(v_{i}^{{T}}x)v_{i})^{{T}})(\sum _{{j}}(v_{j}^{{T}}x)v_{j}\lambda _{j})$

$=\sum _{{i,j}}(v_{i}^{{T}}x)v_{i})^{{T}})(v_{j}^{{T}}x)v_{j}\lambda _{j})$

$=\sum _{{j}}(v_{j}^{{T}}x)(v_{j}^{{T}}x)\lambda _{j}$

$=\sum _{{j}}(v_{j}^{{T}}x)^{2}\lambda _{j}\leq \lambda _{n}\sum _{{j}}(v_{j}^{{T}}x)^{2}$

$=\lambda _{n}$

so the Rayleigh quotient is always less than $\lambda _{n}$ .

^[26]

Notes

↑ Jean Alexandre Dieudonné (1981). History of functional analysis. Elsevier. ISBN 0-444-86148-3.
↑ William Arveson (2002). "Chapter 1: spectral theory and Banach algebras". A short course on spectral theory. Springer. ISBN 0-387-95300-0.
↑ Viktor Antonovich Sadovnichiĭ (1991). "Chapter 4: The geometry of Hilbert space: the spectral theory of operators". Theory of Operators. Springer. p. 181 et seq. ISBN 0-306-11028-8.
↑ John von Neumann (1996). The mathematical foundations of quantum mechanics; Volume 2 in Princeton Landmarks in Mathematics series (Reprint of translation of original 1932 ed.). Princeton University Press. ISBN 0-691-02893-1.
↑ E. Brian Davies, quoted on the King's College London analysis group website "Research at the analysis group".
↑ Nicholas Young (1988). An introduction to Hilbert space. Cambridge University Press. p. 3. ISBN 0-521-33717-8.
↑ Jean-Luc Dorier (2000). On the teaching of linear algebra; Vol. 23 of Mathematics education library. Springer. ISBN 0-7923-6539-9.
↑ Cf. Spectra in mathematics and in physics by Jean Mawhin, p.4 and pp. 10-11.
↑ Edgar Raymond Lorch (2003). Spectral Theory (Reprint of Oxford 1962 ed.). Textbook Publishers. p. 89. ISBN 0-7581-7156-0.
↑ Nicholas Young. op. cit. p. 81. ISBN 0-521-33717-8.
↑ Helmut H. Schaefer, Manfred P. H. Wolff (1999). Topological vector spaces (2nd ed.). Springer. p. 36. ISBN 0-387-98726-6.
↑ Dmitriĭ Petrovich Zhelobenko (2006). Principal structures and methods of representation theory. American Mathematical Society. ISBN 0821837311.
↑ 13.0 13.1 Edgar Raymond Lorch (2003). "Chapter III: Hilbert Space". op. cit.. p. 57. ISBN 0-7581-7156-0.
↑ Edgar Raymond Lorch (2003). "Chapter V: The Structure of Self-Adjoint Transformations". op. cit.. p. 106 ff. ISBN 0-7581-7156-0.
↑ Bernard Friedman (1990). Principles and Techniques of Applied Mathematics (Reprint of 1956 Wiley ed.). Dover Publications. p. 26. ISBN 0-486-66444-9.
↑ PAM Dirac (1981). The principles of quantum mechanics (4th ed.). Oxford University Press. p. 29 ff. ISBN 0-19-852011-5.
↑ Jürgen Audretsch (2007). "Chapter 1.1.2: Linear operators on the Hilbert space". Entangled systems: new directions in quantum physics. Wiley-VCH. p. 5. ISBN 3-527-40684-0.
↑ R. A. Howland (2006). Intermediate dynamics: a linear algebraic approach (2nd ed.). Birkhäuser. p. 69 ff. ISBN 0-387-28059-6.
↑ Bernard Friedman (1990). "Chapter 2: Spectral theory of operators". op. cit. p. 57. ISBN 0-486-66444-9.
↑ 20.0 20.1 See discussion in Dirac's book referred to above, and Milan Vujičić (2008). Linear algebra thoroughly explained. Springer. p. 274. ISBN 3-540-74637-4.
↑ 21.0 21.1 See, for example, the fundamental text of John von Neumann. op. cit. ISBN 0-691-02893-1. and Arch W. Naylor, George R. Sell (2000). Linear Operator Theory in Engineering and Science; Vol. 40 of Applied mathematical science. Springer. p. 401. ISBN 0-387-95001-X. , Steven Roman (2008). Advanced linear algebra (3rd ed.). Springer. ISBN 0-387-72828-7. , I︠U︡riĭ Makarovich Berezanskiĭ (1968). Expansions in eigenfunctions of selfadjoint operators; Vol. 17 in Translations of mathematical monographs. American Mathematical Society. ISBN 0-8218-1567-9.
↑ See for example, Gerald B Folland (2009). "Convergence and completeness". Fourier Analysis and its Applications (Reprint of Wadsworth & Brooks/Cole 1992 ed.). American Mathematical Society. pp. 77 ff. ISBN 0-8218-4790-2.
↑ PAM Dirac. op. cit. p. 60 ff. ISBN 0-19-852011-5.
↑ Bernard Friedman. op. cit. p. 214, Eq. 2.14. ISBN 0-486-66444-9.
↑ For example, see Sadri Hassani (1999). "Chapter 20: Green's functions in one dimension". Mathematical physics: a modern introduction to its foundations. Springer. p. 553 et seq. ISBN 0-387-98579-4. and Qing-Hua Qin (2007). Green's function and boundary elements of multifield materials. Elsevier. ISBN 0-08-045134-9.
↑ Spielman,Daniel A. "Lecture Note of Spectral Graph Theory" Yale University(2012) http://cs.yale.edu/homes/spielman/561/ .

General references

Edward Brian Davies (1996). Spectral Theory and Differential Operators; Volume 42 in the Cambridge Studies in Advanced Mathematics. Cambridge University Press. ISBN 0-521-58710-7.

Nelson Dunford; Jacob T Schwartz (1988). Linear Operators, Spectral Theory, Self Adjoint Operators in Hilbert Space (Part 2) (Paperback reprint of 1967 ed.). Wiley. ISBN 0-471-60847-5.

Nelson Dunford; Jacob T Schwartz (1988). Linear Operators, Spectral Operators (Part 3) (Paperback reprint of 1971 ed.). Wiley. ISBN 0-471-60846-7.

Sadri Hassani (1999). "Chapter 4: Spectral decomposition". Mathematical Physics: a Modern Introduction to its Foundations. Springer. ISBN 0-387-98579-4.

Hazewinkel, Michiel, ed. (2001), "Spectral theory of linear operators", Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4

Shmuel Kantorovitz (1983). Spectral Theory of Banach Space Operators;. Springer.

Arch W. Naylor, George R. Sell (2000). "Chapter 5, Part B: The Spectrum". Linear Operator Theory in Engineering and Science; Volume 40 of Applied mathematical sciences. Springer. p. 411. ISBN 0-387-95001-X.

Gerald Teschl (2009). Mathematical Methods in Quantum Mechanics; With Applications to Schrödinger Operators. American Mathematical Society. ISBN 978-0-8218-4660-5.

Valter Moretti (2013). Spectral Theory and Quantum Mechanics; With an Introduction to the Algebraic Formulation. Springer. ISBN 978-88-470-2834-0.

External links

Evans M. Harrell II: A Short History of Operator Theory
Gregory H. Moore (1995). "The axiomatization of linear algebra: 1875-1940". Historia Mathematica 22: 262–303. doi:10.1006/hmat.1995.1025.

v t e Functional analysis

Local Notions on Sets	Absolutely convex Absorbing Balanced Bounded Cones (Linear, Convex cone) Convex Radial Star-shaped Symmetric

Types of TVSs	Banach Barrelled Bornological Brauner F-space Finite-dimensional Fréchet (Tame) Hilbert LF Locally convex Mackey Montel Nuclear Normed (Norm) Reflexive Riesz Smith Stereotype Topological tensor product (of Hilbert spaces) Webbed

Spaces of Maps	Dual space Dual topology Operator topologies Strong Topology (Polar, Operator) Topology of uniform convergence Weak topology (operator) Ultrastrong topology Ultraweak topology

Types of Linear operators	Adjoint Bilinear (form) Bounded (Unbounded) Closed Continuous (Discontinuous) Compact Fredholm Hilbert–Schmidt Functionals (Positive) Normal Nuclear Self-adjoint Strictly singular Trace class Transpose Unitary

Operations on Sets	Algebraic interior (core) Interior Minkowski addition Polar

Banach Algebras	C-algebras Spectrum (of a C-algebra, Spectral radius) Spectral theory

Important Theorems	Banach–Alaoglu Banach–Saks Banach–Mazur Bessel's inequality Cauchy–Schwarz inequality Closed range Closed graph Eberlein–Šmulian Freudenthal spectral Gelfand–Mazur Goldstine Hahn–Banach (Hyperplane separation) Kakutani fixed-point Lomonosov's Invariant Subspace Mackey–Arens Mazur's lemma M. Riesz extension Open mapping Parseval's identity Schauder fixed-point

Analysis	Bochner space Derivatives (Fréchet derivative, Gâteaux derivative, Functional, Holomorphy) Differentiation in Fréchet spaces Integrals (Bochner, Dunford, Gelfand–Pettis, Regulated, Weak) Functional calculus Inverse function theorem (Nash–Moser theorem) Vector measure

This article is issued from Wikipedia. The text is available under the Creative Commons Attribution/Share Alike; additional terms may apply for the media files.