Glossary of functional analysis

Last updated

This is a glossary for the terminology in a mathematical field of functional analysis.

Contents

Throughout the article, unless stated otherwise, the base field of a vector space is the field of real numbers or that of complex numbers. Algebras are not assumed to be unital.

See also: List of Banach spaces, glossary of real and complex analysis.

*

*
*-homomorphism between involutive Banach algebras is an algebra homomorphism preserving *.

A

abelian
Synonymous with "commutative"; e.g., an abelian Banach algebra means a commutative Banach algebra.
Anderson–Kadec
The Anderson–Kadec theorem says a separable infinite-dimensional Fréchet space is isomorphic to .
Alaoglu
Alaoglu's theorem states that the closed unit ball in a normed space is compact in the weak-* topology.
adjoint
The adjoint of a bounded linear operator between Hilbert spaces is the bounded linear operator such that for each .
approximate identity
In a not-necessarily-unital Banach algebra, an approximate identity is a sequence or a net of elements such that as for each x in the algebra.
approximation property
A Banach space is said to have the approximation property if every compact operator is a limit of finite-rank operators.

B

Baire
The Baire category theorem states that a complete metric space is a Baire space; if is a sequence of open dense subsets, then is dense.
Banach
1.  A Banach space is a normed vector space that is complete as a metric space.
2.  A Banach algebra is a Banach space that has a structure of a possibly non-unital associative algebra such that
for every in the algebra.
3.  A Banach disc is a continuous linear image of a unit ball in a Banach space.
balanced
A subset S of a vector space over real or complex numbers is balanced if for every scalar of length at most one.
barrel
1.  A barrel in a topological vector space is a subset that is closed, convex, balanced and absorbing.
2.  A topological vector space is barrelled if every barrell is a neighborhood of zero (that is, contains an open neighborhood of zero).
Bessel
Bessel's inequality states: given an orthonormal set S and a vector x in a Hilbert space,
, [1]
where the equality holds if and only if S is an orthonormal basis; i.e., maximal orthonormal set.
bipolar
bipolar theorem.
bounded
A bounded operator is a linear operator between Banach spaces for which the image of the unit ball is bounded.
bornological
A bornological space.
Birkhoff orthogonality
Two vectors x and y in a normed linear space are said to be Birkhoff orthogonal if for all scalars λ. If the normed linear space is a Hilbert space, then it is equivalent to the usual orthogonality.
Borel
Borel functional calculus

C

c
c space.
Calkin
The Calkin algebra on a Hilbert space is the quotient of the algebra of all bounded operators on the Hilbert space by the ideal generated by compact operators.
Cauchy–Schwarz inequality
The Cauchy–Schwarz inequality states: for each pair of vectors in an inner-product space,
.
closed
1.  The closed graph theorem states that a linear operator between Banach spaces is continuous (bounded) if and only if it has closed graph.
2.  A closed operator is a linear operator whose graph is closed.
3.  The closed range theorem says that a densely defined closed operator has closed image (range) if and only if the transpose of it has closed image.
commutant
1.  Another name for "centralizer"; i.e., the commutant of a subset S of an algebra is the algebra of the elements commuting with each element of S and is denoted by .
2.  The von Neumann double commutant theorem states that a nondegenerate *-algebra of operators on a Hilbert space is a von Neumann algebra if and only if .
compact
A compact operator is a linear operator between Banach spaces for which the image of the unit ball is precompact.
Connes
Connes fusion.
C*
A C* algebra is an involutive Banach algebra satisfying .
convex
A locally convex space is a topological vector space whose topology is generated by convex subsets.
cyclic
Given a representation of a Banach algebra , a cyclic vector is a vector such that is dense in .

D

dilation
dilation (operator theory).
direct
Philosophically, a direct integral is a continuous analog of a direct sum.
Douglas
Douglas' lemma
Dunford
Dunford–Schwartz theorem
dual
1.  The continuous dual of a topological vector space is the vector space of all the continuous linear functionals on the space.
2.  The algebraic dual of a topological vector space is the dual vector space of the underlying vector space.

E

Eidelheit
A theorem of Eidelheit.

F

factor
A factor is a von Neumann algebra with trivial center.
faithful
A linear functional on an involutive algebra is faithful if for each nonzero element in the algebra.
Fréchet
A Fréchet space is a topological vector space whose topology is given by a countable family of seminorms (which makes it a metric space) and that is complete as a metric space.
Fredholm
A Fredholm operator is a bounded operator such that it has closed range and the kernels of the operator and the adjoint have finite-dimension.

G

Gelfand
1.  The Gelfand–Mazur theorem states that a Banach algebra that is a division ring is the field of complex numbers.
2.  The Gelfand representation of a commutative Banach algebra with spectrum is the algebra homomorphism , where denotes the algebra of continuous functions on vanishing at infinity, that is given by . It is a *-preserving isometric isomorphism if is a commutative C*-algebra.
Grothendieck
1.   Grothendieck's inequality.
2.   Grothendieck's factorization theorem.

H

Hahn–Banach
The Hahn–Banach theorem states: given a linear functional on a subspace of a complex vector space V, if the absolute value of is bounded above by a seminorm on V, then it extends to a linear functional on V still bounded by the seminorm. Geometrically, it is a generalization of the hyperplane separation theorem.
Heine
A topological vector space is said to have the Heine–Borel property if every closed and bounded subset is compact. Riesz's lemma says a Banach space with the Heine–Borel property must be finite-dimensional.
Hilbert
1.  A Hilbert space is an inner product space that is complete as a metric space.
2.  In the Tomita–Takesaki theory, a (left or right) Hilbert algebra is a certain algebra with an involution.
Hilbert–Schmidt
1.  The Hilbert–Schmidt norm of a bounded operator on a Hilbert space is where is an orthonormal basis of the Hilbert space.
2.  A Hilbert–Schmidt operator is a bounded operator with finite Hilbert–Schmidt norm.

I

index
1.  The index of a Fredholm operator is the integer .
2.  The Atiyah–Singer index theorem.
index group
The index group of a unital Banach algebra is the quotient group where is the unit group of A and the identity component of the group.
inner product
1.  An inner product on a real or complex vector space is a function such that for each , (1) is linear and (2) where the bar means complex conjugate.
2.  An inner product space is a vector space equipped with an inner product.
involution
1.  An involution of a Banach algebra A is an isometric endomorphism that is conjugate-linear and such that .
2.  An involutive Banach algebra is a Banach algebra equipped with an involution.
isometry
A linear isometry between normed vector spaces is a linear map preserving norm.

K

Köthe
A Köthe sequence space. For now, see https://mathoverflow.net/questions/361048/on-k%C3%B6the-sequence-spaces
Krein–Milman
The Krein–Milman theorem states: a nonempty compact convex subset of a locally convex space has an extremal point.
Krein–Smulian
Krein–Smulian theorem

L

Linear
Linear Operators is a three-value book by Dunford and Schwartz.
Locally convex algebra
A locally convex algebra is an algebra whose underlying vector space is a locally convex space and whose multiplication is continuous with respect to the locally convex space topology.

M

Mazur
Mazur–Ulam theorem.
Montel
Montel space.

N

nondegenerate
A representation of an algebra is said to be nondegenerate if for each vector , there is an element such that .
noncommutative
1.   noncommutative integration
2.   noncommutative torus
norm
1.  A norm on a vector space X is a real-valued function such that for each scalar and vectors in , (1) , (2) (triangular inequality) and (3) where the equality holds only for .
2.  A normed vector space is a real or complex vector space equipped with a norm . It is a metric space with the distance function .
normal
An operator is normal if it and its adjoint commute.
nuclear
See nuclear operator.

O

one
A one parameter group of a unital Banach algebra A is a continuous group homomorphism from to the unit group of A.
open
The open mapping theorem says a surjective continuous linear operator between Banach spaces is an open mapping.
orthonormal
1.  A subset S of a Hilbert space is orthonormal if, for each u, v in the set, = 0 when and when .
2.  An orthonormal basis is a maximal orthonormal set (note: it is *not* necessarily a vector space basis.)
orthogonal
1.  Given a Hilbert space H and a closed subspace M, the orthogonal complement of M is the closed subspace .
2.  In the notations above, the orthogonal projection onto M is a (unique) bounded operator on H such that

P

Parseval
Parseval's identity states: given an orthonormal basis S in a Hilbert space, . [1]
positive
A linear functional on an involutive Banach algebra is said to be positive if for each element in the algebra.
predual
predual.
projection
An operator T is called a projection if it is an idempotent; i.e., .

Q

quasitrace
Quasitrace.

R

Radon
See Radon measure.
Riesz decomposition
Riesz decomposition.
Riesz's lemma
Riesz's lemma.
reflexive
A reflexive space is a topological vector space such that the natural map from the vector space to the second (topological) dual is an isomorphism.
resolvent
The resolvent of an element x of a unital Banach algebra is the complement in of the spectrum of x.
Ryll-Nardzewski
Ryll-Nardzewski fixed-point theorem.

S

Schauder
Schauder basis.
Schatten
Schatten class
selection
Michael selection theorem.
self-adjoint
A self-adjoint operator is a bounded operator whose adjoint is itself.
separable
A separable Hilbert space is a Hilbert space admitting a finite or countable orthonormal basis.
spectrum
1.  The spectrum of an element x of a unital Banach algebra is the set of complex numbers such that is not invertible.
2.  The spectrum of a commutative Banach algebra is the set of all characters (a homomorphism to ) on the algebra.
spectral
1.  The spectral radius of an element x of a unital Banach algebra is where the sup is over the spectrum of x.
2.  The spectral mapping theorem states: if x is an element of a unital Banach algebra and f is a holomorphic function in a neighborhood of the spectrum of x, then , where is an element of the Banach algebra defined via the Cauchy's integral formula.
state
A state is a positive linear functional of norm one.
symmetric
A linear operator T on a pre-Hilbert space is symmetric if

T

tensor product
1.  See topological tensor product. Note it is still somewhat of an open problem to define or work out a correct tensor product of topological vector spaces, including Banach spaces.
2.  A projective tensor product.
topological
1.  A topological vector space is a vector space equipped with a topology such that (1) the topology is Hausdorff and (2) the addition as well as scalar multiplication are continuous.
2.  A linear map is called a topological homomorphism if is an open mapping.
3.  A sequence is called topologically exact if it is an exact sequence on the underlying vector spaces and, moreover, each is a topological homomorphism.

U

ultraweak
ultraweak topology.
unbounded operator
An unbounded operator is a partially defined linear operator, usually defined on a dense subspace.
uniform boundedness principle
The uniform boundedness principle states: given a set of operators between Banach spaces, if , sup over the set, for each x in the Banach space, then .
unitary
1.  A unitary operator between Hilbert spaces is an invertible bounded linear operator such that the inverse is the adjoint of the operator.
2.  Two representations of an involutive Banach algebra A on Hilbert spaces are said to be unitarily equivalent if there is a unitary operator such that for each x in A.

V

von Neumann
1.  A von Neumann algebra.
2.   von Neumann's theorem.
3.   Von Neumann's inequality.

W

W*
A W*-algebra is a C*-algebra that admits a faithful representation on a Hilbert space such that the image of the representation is a von Neumann algebra.

Related Research Articles

In mathematics, more specifically in functional analysis, a Banach space is a complete normed vector space. Thus, a Banach space is a vector space with a metric that allows the computation of vector length and distance between vectors and is complete in the sense that a Cauchy sequence of vectors always converges to a well-defined limit that is within the space.

In mathematics, any vector space has a corresponding dual vector space consisting of all linear forms on together with the vector space structure of pointwise addition and scalar multiplication by constants.

<span class="mw-page-title-main">Functional analysis</span> Area of mathematics

Functional analysis is a branch of mathematical analysis, the core of which is formed by the study of vector spaces endowed with some kind of limit-related structure and the linear functions defined on these spaces and suitably respecting these structures. The historical roots of functional analysis lie in the study of spaces of functions and the formulation of properties of transformations of functions such as the Fourier transform as transformations defining, for example, continuous or unitary operators between function spaces. This point of view turned out to be particularly useful for the study of differential and integral equations.

<span class="mw-page-title-main">Inner product space</span> Generalization of the dot product; used to define Hilbert spaces

In mathematics, an inner product space is a real vector space or a complex vector space with an operation called an inner product. The inner product of two vectors in the space is a scalar, often denoted with angle brackets such as in . Inner products allow formal definitions of intuitive geometric notions, such as lengths, angles, and orthogonality of vectors. Inner product spaces generalize Euclidean vector spaces, in which the inner product is the dot product or scalar product of Cartesian coordinates. Inner product spaces of infinite dimension are widely used in functional analysis. Inner product spaces over the field of complex numbers are sometimes referred to as unitary spaces. The first usage of the concept of a vector space with an inner product is due to Giuseppe Peano, in 1898.

The Riesz representation theorem, sometimes called the Riesz–Fréchet representation theorem after Frigyes Riesz and Maurice René Fréchet, establishes an important connection between a Hilbert space and its continuous dual space. If the underlying field is the real numbers, the two are isometrically isomorphic; if the underlying field is the complex numbers, the two are isometrically anti-isomorphic. The (anti-) isomorphism is a particular natural isomorphism.

In mathematics, weak topology is an alternative term for certain initial topologies, often on topological vector spaces or spaces of linear operators, for instance on a Hilbert space. The term is most commonly used for the initial topology of a topological vector space with respect to its continuous dual. The remainder of this article will deal with this case, which is one of the concepts of functional analysis.

In mathematics, particularly linear algebra and functional analysis, a spectral theorem is a result about when a linear operator or matrix can be diagonalized. This is extremely useful because computations involving a diagonalizable matrix can often be reduced to much simpler computations involving the corresponding diagonal matrix. The concept of diagonalization is relatively straightforward for operators on finite-dimensional vector spaces but requires some modification for operators on infinite-dimensional spaces. In general, the spectral theorem identifies a class of linear operators that can be modeled by multiplication operators, which are as simple as one can hope to find. In more abstract language, the spectral theorem is a statement about commutative C*-algebras. See also spectral theory for a historical perspective.

In mathematics, specifically functional analysis, a trace-class operator is a linear operator for which a trace may be defined, such that the trace is a finite number independent of the choice of basis used to compute the trace. This trace of trace-class operators generalizes the trace of matrices studied in linear algebra. All trace-class operators are compact operators.

In functional analysis, a unitary operator is a surjective bounded operator on a Hilbert space that preserves the inner product. Unitary operators are usually taken as operating on a Hilbert space, but the same notion serves to define the concept of isomorphism between Hilbert spaces.

In mathematics, specifically functional analysis, Mercer's theorem is a representation of a symmetric positive-definite function on a square as a sum of a convergent sequence of product functions. This theorem, presented in, is one of the most notable results of the work of James Mercer (1883–1932). It is an important theoretical tool in the theory of integral equations; it is used in the Hilbert space theory of stochastic processes, for example the Karhunen–Loève theorem; and it is also used in the reproducing kernel Hilbert space theory where it characterizes a symmetric positive-definite kernel as a reproducing kernel.

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. It is a result of studies of linear algebra and the solutions of systems of linear equations and their generalizations. 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.

In functional analysis and related branches of mathematics, the Banach–Alaoglu theorem states that the closed unit ball of the dual space of a normed vector space is compact in the weak* topology. A common proof identifies the unit ball with the weak-* topology as a closed subset of a product of compact sets with the product topology. As a consequence of Tychonoff's theorem, this product, and hence the unit ball within, is compact.

In functional analysis, a branch of mathematics, a compact operator is a linear operator , where are normed vector spaces, with the property that maps bounded subsets of to relatively compact subsets of . Such an operator is necessarily a bounded operator, and so continuous. Some authors require that are Banach, but the definition can be extended to more general spaces.

In mathematics, specifically in operator theory, each linear operator on an inner product space defines a Hermitian adjoint operator on that space according to the rule

In mathematics, a Hilbert–Schmidt operator, named after David Hilbert and Erhard Schmidt, is a bounded operator that acts on a Hilbert space and has finite Hilbert–Schmidt norm

The spectrum of a linear operator that operates on a Banach space is a fundamental concept of functional analysis. The spectrum consists of all scalars such that the operator does not have a bounded inverse on . The spectrum has a standard decomposition into three parts:

In linear algebra, the transpose of a linear map between two vector spaces, defined over the same field, is an induced map between the dual spaces of the two vector spaces. The transpose or algebraic adjoint of a linear map is often used to study the original linear map. This concept is generalised by adjoint functors.

In the mathematical discipline of functional analysis, the concept of a compact operator on Hilbert space is an extension of the concept of a matrix acting on a finite-dimensional vector space; in Hilbert space, compact operators are precisely the closure of finite-rank operators in the topology induced by the operator norm. As such, results from matrix theory can sometimes be extended to compact operators using similar arguments. By contrast, the study of general operators on infinite-dimensional spaces often requires a genuinely different approach.

<span class="mw-page-title-main">Hilbert space</span> Type of topological vector space

In mathematics, Hilbert spaces allow the methods of linear algebra and calculus to be generalized from (finite-dimensional) Euclidean vector spaces to spaces that may be infinite-dimensional. Hilbert spaces arise naturally and frequently in mathematics and physics, typically as function spaces. Formally, a Hilbert space is a vector space equipped with an inner product that induces a distance function for which the space is a complete metric space. A Hilbert space is a special case of a Banach space.

An integral bilinear form is a bilinear functional that belongs to the continuous dual space of , the injective tensor product of the locally convex topological vector spaces (TVSs) X and Y. An integral linear operator is a continuous linear operator that arises in a canonical way from an integral bilinear form.

References

  1. 1 2 Here, the part of the assertion is is well-defined; i.e., when S is infinite, for countable totally ordered subsets , is independent of and denotes the common value.

Further reading