This article needs additional citations for verification .(June 2020) |
In mathematics, nuclear operators are an important class of linear operators introduced by Alexander Grothendieck in his doctoral dissertation. Nuclear operators are intimately tied to the projective tensor product of two topological vector spaces (TVSs).
Throughout let X,Y, and Z be topological vector spaces (TVSs) and L : X → Y be a linear operator (no assumption of continuity is made unless otherwise stated).
In a Hilbert space, positive compact linear operators, say L : H → H have a simple spectral decomposition discovered at the beginning of the 20th century by Fredholm and F. Riesz: [3]
There is a sequence of positive numbers, decreasing and either finite or else converging to 0, and a sequence of nonzero finite dimensional subspaces of H (i = 1, 2, ) with the following properties: (1) the subspaces are pairwise orthogonal; (2) for every i and every , ; and (3) the orthogonal of the subspace spanned by is equal to the kernel of L. [3]
Let X and Y be vector spaces (no topology is needed yet) and let Bi(X, Y) be the space of all bilinear maps defined on and going into the underlying scalar field.
For every , let be the canonical linear form on Bi(X, Y) defined by for every u ∈ Bi(X, Y). This induces a canonical map defined by , where denotes the algebraic dual of Bi(X, Y). If we denote the span of the range of 𝜒 by X ⊗ Y then it can be shown that X ⊗ Y together with 𝜒 forms a tensor product of X and Y (where x ⊗ y := 𝜒(x, y)). This gives us a canonical tensor product of X and Y.
If Z is any other vector space then the mapping Li(X ⊗ Y; Z) → Bi(X, Y; Z) given by u ↦ u ∘ 𝜒 is an isomorphism of vector spaces. In particular, this allows us to identify the algebraic dual of X ⊗ Y with the space of bilinear forms on X × Y. [4] Moreover, if X and Y are locally convex topological vector spaces (TVSs) and if X ⊗ Y is given the π-topology then for every locally convex TVS Z, this map restricts to a vector space isomorphism from the space of continuous linear mappings onto the space of continuous bilinear mappings. [5] In particular, the continuous dual of X ⊗ Y can be canonically identified with the space B(X, Y) of continuous bilinear forms on X × Y; furthermore, under this identification the equicontinuous subsets of B(X, Y) are the same as the equicontinuous subsets of . [5]
There is a canonical vector space embedding defined by sending to the map
Assuming that X and Y are Banach spaces, then the map has norm (to see that the norm is , note that so that ). Thus it has a continuous extension to a map , where it is known that this map is not necessarily injective. [6] The range of this map is denoted by and its elements are called nuclear operators. [7] is TVS-isomorphic to and the norm on this quotient space, when transferred to elements of via the induced map , is called the trace-norm and is denoted by . Explicitly,[ clarification needed explicitly or especially?] if is a nuclear operator then .
Suppose that X and Y are Banach spaces and that is a continuous linear operator.
Let X and Y be Banach spaces and let be a continuous linear operator.
Nuclear automorphisms of a Hilbert space are called trace class operators.
Let X and Y be Hilbert spaces and let N : X → Y be a continuous linear map. Suppose that where R : X → X is the square-root of and U : X → Y is such that is a surjective isometry. Then N is a nuclear map if and only if R is a nuclear map; hence, to study nuclear maps between Hilbert spaces it suffices to restrict one's attention to positive self-adjoint operators R. [11]
Let X and Y be Hilbert spaces and let N : X → Y be a continuous linear map whose absolute value is R : X → X. The following are equivalent:
Suppose that U is a convex balanced closed neighborhood of the origin in X and B is a convex balanced bounded Banach disk in Y with both X and Y locally convex spaces. Let and let be the canonical projection. One can define the auxiliary Banach space with the canonical map whose image, , is dense in as well as the auxiliary space normed by and with a canonical map being the (continuous) canonical injection. Given any continuous linear map one obtains through composition the continuous linear map ; thus we have an injection and we henceforth use this map to identify as a subspace of . [7]
Definition: Let X and Y be Hausdorff locally convex spaces. The union of all as U ranges over all closed convex balanced neighborhoods of the origin in X and B ranges over all bounded Banach disks in Y, is denoted by and its elements are call nuclear mappings of X into Y. [7]
When X and Y are Banach spaces, then this new definition of nuclear mapping is consistent with the original one given for the special case where X and Y are Banach spaces.
Let X and Y be Hausdorff locally convex spaces and let be a continuous linear operator.
The following is a type of Hahn-Banach theorem for extending nuclear maps:
Let X and Y be Hausdorff locally convex spaces and let be a continuous linear operator.
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, a topological vector space is one of the basic structures investigated in functional analysis. A topological vector space is a vector space that is also a topological space with the property that the vector space operations are also continuous functions. Such a topology is called a vector topology and every topological vector space has a uniform topological structure, allowing a notion of uniform convergence and completeness. Some authors also require that the space is a Hausdorff space. One of the most widely studied categories of TVSs are locally convex topological vector spaces. This article focuses on TVSs that are not necessarily locally convex. Banach spaces, Hilbert spaces and Sobolev spaces are other well-known examples of TVSs.
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 and related areas of mathematics, locally convex topological vector spaces (LCTVS) or locally convex spaces are examples of topological vector spaces (TVS) that generalize normed spaces. They can be defined as topological vector spaces whose topology is generated by translations of balanced, absorbent, convex sets. Alternatively they can be defined as a vector space with a family of seminorms, and a topology can be defined in terms of that family. Although in general such spaces are not necessarily normable, the existence of a convex local base for the zero vector is strong enough for the Hahn–Banach theorem to hold, yielding a sufficiently rich theory of continuous linear functionals.
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 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 functional analysis and related areas of mathematics, a sequence space is a vector space whose elements are infinite sequences of real or complex numbers. Equivalently, it is a function space whose elements are functions from the natural numbers to the field K of real or complex numbers. The set of all such functions is naturally identified with the set of all possible infinite sequences with elements in K, and can be turned into a vector space under the operations of pointwise addition of functions and pointwise scalar multiplication. All sequence spaces are linear subspaces of this space. Sequence spaces are typically equipped with a norm, or at least the structure of a topological vector space.
In general topology and related areas of mathematics, the final topology on a set with respect to a family of functions from topological spaces into is the finest topology on that makes all those functions continuous.
In mathematics, there are usually many different ways to construct a topological tensor product of two topological vector spaces. For Hilbert spaces or nuclear spaces there is a simple well-behaved theory of tensor products, but for general Banach spaces or locally convex topological vector spaces the theory is notoriously subtle.
In mathematics, convenient vector spaces are locally convex vector spaces satisfying a very mild completeness condition.
In functional analysis and related areas of mathematics, a complete topological vector space is a topological vector space (TVS) with the property that whenever points get progressively closer to each other, then there exists some point towards which they all get closer. The notion of "points that get progressively closer" is made rigorous by Cauchy nets or Cauchy filters, which are generalizations of Cauchy sequences, while "point towards which they all get closer" means that this Cauchy net or filter converges to The notion of completeness for TVSs uses the theory of uniform spaces as a framework to generalize the notion of completeness for metric spaces. But unlike metric-completeness, TVS-completeness does not depend on any metric and is defined for all TVSs, including those that are not metrizable or Hausdorff.
The theorem on the surjection of Fréchet spaces is an important theorem, due to Stefan Banach, that characterizes when a continuous linear operator between Fréchet spaces is surjective.
In functional analysis, an area of mathematics, the projective tensor product of two locally convex topological vector spaces is a natural topological vector space structure on their tensor product. Namely, given locally convex topological vector spaces and , the projective topology, or π-topology, on is the strongest topology which makes a locally convex topological vector space such that the canonical map is continuous. When equipped with this topology, is denoted and called the projective tensor product of and .
In mathematics, the injective tensor product of two topological vector spaces (TVSs) was introduced by Alexander Grothendieck and was used by him to define nuclear spaces. An injective tensor product is in general not necessarily complete, so its completion is called the completed injective tensor products. Injective tensor products have applications outside of nuclear spaces. In particular, as described below, up to TVS-isomorphism, many TVSs that are defined for real or complex valued functions, for instance, the Schwartz space or the space of continuously differentiable functions, can be immediately extended to functions valued in a Hausdorff locally convex TVS without any need to extend definitions from real/complex-valued functions to -valued functions.
In functional analysis, a branch of mathematics, two methods of constructing normed spaces from disks were systematically employed by Alexander Grothendieck to define nuclear operators and nuclear spaces. One method is used if the disk is bounded: in this case, the auxiliary normed space is with norm
The finest locally convex topological vector space (TVS) topology on the tensor product of two locally convex TVSs, making the canonical map separately continuous is called the inductive topology or the -topology. When is endowed with this topology then it is denoted by and called the inductive tensor product of and
This is a glossary for the terminology in a mathematical field of functional analysis.
In functional analysis and related areas of mathematics, a metrizable topological vector space (TVS) is a TVS whose topology is induced by a metric. An LM-space is an inductive limit of a sequence of locally convex metrizable TVS.
In mathematics, particularly in functional analysis and topology, the closed graph theorem is a result connecting the continuity of certain kinds of functions to a topological property of their graph. In its most elementary form, the closed graph theorem states that a linear function between two Banach spaces is continuous if and only if the Closed graph property holds.