# Nuclear operator

Last updated

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).

## Preliminaries and notation

Throughout let X,Y, and Z be topological vector spaces (TVSs) and L : XY be a linear operator (no assumption of continuity is made unless otherwise stated).

• The projective tensor product of two locally convex TVSs X and Y is denoted by ${\displaystyle X\otimes _{\pi }Y}$ and the completion of this space will be denoted by ${\displaystyle X{\widehat {\otimes }}_{\pi }Y}$.
• L : XY is a topological homomorphism or homomorphism, if it is linear, continuous, and ${\displaystyle L:X\to \operatorname {Im} L}$ is an open map, where ${\displaystyle \operatorname {Im} L}$, the image of L, has the subspace topology induced by Y.
• If S is a subspace of X then both the quotient map XX/S and the canonical injection SX are homomorphisms.
• The set of continuous linear maps XZ (resp. continuous bilinear maps ${\displaystyle X\times Y\to Z}$) will be denoted by L(X, Z) (resp. B(X, Y; Z)) where if Z is the underlying scalar field then we may instead write L(X) (resp. B(X, Y)).
• Any linear map ${\displaystyle L:X\to Y}$ can be canonically decomposed as follows: ${\displaystyle X\to X/\ker L\;\xrightarrow {L_{0}} \;\operatorname {Im} L\to Y}$ where ${\displaystyle L_{0}\left(x+\ker L\right):=L(x)}$ defines a bijection called the canonical bijection associated with L.
• X* or ${\displaystyle X'}$ will denote the continuous dual space of X.
• To increase the clarity of the exposition, we use the common convention of writing elements of ${\displaystyle X'}$ with a prime following the symbol (e.g. ${\displaystyle x'}$ denotes an element of ${\displaystyle X'}$ and not, say, a derivative and the variables x and ${\displaystyle x'}$ need not be related in any way).
• ${\displaystyle X^{\#}}$ will denote the algebraic dual space of X (which is the vector space of all linear functionals on X, whether continuous or not).
• A linear map L : HH from a Hilbert space into itself is called positive if ${\displaystyle \langle L(x),x\rangle \geq 0}$ for every ${\displaystyle x\in H}$. In this case, there is a unique positive map r : HH, called the square-root of L, such that ${\displaystyle L=r\circ r}$. [1]
• If ${\displaystyle L:H_{1}\to H_{2}}$ is any continuous linear map between Hilbert spaces, then ${\displaystyle L^{*}\circ L}$ is always positive. Now let R : HH denote its positive square-root, which is called the absolute value of L. Define ${\displaystyle U:H_{1}\to H_{2}}$ first on ${\displaystyle \operatorname {Im} R}$ by setting ${\displaystyle U(x)=L(x)}$ for ${\displaystyle x=R\left(x_{1}\right)\in \operatorname {Im} R}$ and extending ${\displaystyle U}$ continuously to ${\displaystyle {\overline {\operatorname {Im} R}}}$, and then define U on ${\displaystyle \ker R}$ by setting ${\displaystyle U(x)=0}$ for ${\displaystyle x\in \ker R}$ and extend this map linearly to all of ${\displaystyle H_{1}}$. The map ${\displaystyle U{\big \vert }_{\operatorname {Im} R}:\operatorname {Im} R\to \operatorname {Im} L}$ is a surjective isometry and ${\displaystyle L=U\circ R}$.
• A linear map ${\displaystyle \Lambda :X\to Y}$ is called compact or completely continuous if there is a neighborhood U of the origin in X such that ${\displaystyle \Lambda (U)}$ is precompact in Y. [2]
• In a Hilbert space, positive compact linear operators, say L : HH 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, ${\displaystyle r_{1}>r_{2}>\cdots >r_{k}>\cdots }$ and a sequence of nonzero finite dimensional subspaces ${\displaystyle V_{i}}$ of H (i = 1, 2, ${\displaystyle \ldots }$) with the following properties: (1) the subspaces ${\displaystyle V_{i}}$ are pairwise orthogonal; (2) for every i and every ${\displaystyle x\in V_{i}}$, ${\displaystyle L(x)=r_{i}x}$; and (3) the orthogonal of the subspace spanned by ${\textstyle \bigcup _{i}V_{i}}$ is equal to the kernel of L. [3]

### Notation for topologies

• σ(X, X′) denotes the coarsest topology on X making every map in X′ continuous and ${\displaystyle X_{\sigma \left(X,X'\right)}}$ or ${\displaystyle X_{\sigma }}$ denotes X endowed with this topology.
• σ(X′, X) denotes weak-* topology on X* and ${\displaystyle X_{\sigma \left(X',X\right)}}$ or ${\displaystyle X'_{\sigma }}$ denotes X′ endowed with this topology.
• Note that every ${\displaystyle x_{0}\in X}$ induces a map ${\displaystyle X'\to \mathbb {R} }$ defined by ${\displaystyle \lambda \mapsto \lambda \left(x_{0}\right)}$. σ(X′, X) is the coarsest topology on X′ making all such maps continuous.
• b(X, X′) denotes the topology of bounded convergence on X and ${\displaystyle X_{b\left(X,X'\right)}}$ or ${\displaystyle X_{b}}$ denotes X endowed with this topology.
• b(X′, X) denotes the topology of bounded convergence on X′ or the strong dual topology on X′ and ${\displaystyle X_{b\left(X',X\right)}}$ or ${\displaystyle X'_{b}}$ denotes X′ endowed with this topology.
• As usual, if X* is considered as a topological vector space but it has not been made clear what topology it is endowed with, then the topology will be assumed to be b(X′, X).

### A canonical tensor product as a subspace of the dual of Bi(X, Y)

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 ${\displaystyle X\times Y}$ and going into the underlying scalar field.

For every ${\displaystyle (x,y)\in X\times Y}$, let ${\displaystyle \chi _{(x,y)}}$ be the canonical linear form on Bi(X, Y) defined by ${\displaystyle \chi _{(x,y)}(u):=u(x,y)}$ for every u ∈ Bi(X, Y). This induces a canonical map ${\displaystyle \chi :X\times Y\to \mathrm {Bi} (X,Y)^{\#}}$ defined by ${\displaystyle \chi (x,y):=\chi _{(x,y)}}$, where ${\displaystyle \mathrm {Bi} (X,Y)^{\#}}$ denotes the algebraic dual of Bi(X, Y). If we denote the span of the range of 𝜒 by XY then it can be shown that XY together with 𝜒 forms a tensor product of X and Y (where xy := 𝜒(x, y)). This gives us a canonical tensor product of X and Y.

If Z is any other vector space then the mapping Li(XY; Z) → Bi(X, Y; Z) given by uu𝜒 is an isomorphism of vector spaces. In particular, this allows us to identify the algebraic dual of XY with the space of bilinear forms on X × Y. [4] Moreover, if X and Y are locally convex topological vector spaces (TVSs) and if XY is given the 𝜋-topology then for every locally convex TVS Z, this map restricts to a vector space isomorphism ${\displaystyle L(X\otimes _{\pi }Y;Z)\to B(X,Y;Z)}$ from the space of continuous linear mappings onto the space of continuous bilinear mappings. [5] In particular, the continuous dual of XY 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 ${\displaystyle (X\otimes _{\pi }Y)'}$. [5]

## Nuclear operators between Banach spaces

There is a canonical vector space embedding ${\displaystyle I:X'\otimes Y\to L(X;Y)}$ defined by sending ${\textstyle z:=\sum _{i}^{n}x_{i}'\otimes y_{i}}$ to the map

${\displaystyle x\mapsto \sum _{i}^{n}x_{i}'(x)y_{i}.}$

Assuming that X and Y are Banach spaces, then the map ${\displaystyle I:X'_{b}\otimes _{\pi }Y\to L_{b}(X;Y)}$ has norm ${\displaystyle 1}$ (to see that the norm is ${\displaystyle \leq 1}$, note that ${\textstyle \|I(z)\|=\sup _{\|x\|\leq 1}\|I(z)(x)\|=\sup _{\|x\|\leq 1}\left\|\sum _{i=1}^{n}x_{i}'(x)y_{i}\right\|\leq \sup _{\|x\|\leq 1}\sum _{i=1}^{n}\left\|x_{i}'\right\|\|x\|\left\|y_{i}\right\|\leq \sum _{i=1}^{n}\left\|x_{i}'\right\|\left\|y_{i}\right\|}$ so that ${\displaystyle \left\|I(z)\right\|\leq \left\|z\right\|_{\pi }}$). Thus it has a continuous extension to a map ${\displaystyle {\hat {I}}:X'_{b}{\widehat {\otimes }}_{\pi }Y\to L_{b}(X;Y)}$, where it is known that this map is not necessarily injective. [6] The range of this map is denoted by ${\displaystyle L^{1}(X;Y)}$ and its elements are called nuclear operators. [7] ${\displaystyle L^{1}(X;Y)}$ is TVS-isomorphic to ${\displaystyle \left(X'_{b}{\widehat {\otimes }}_{\pi }Y\right)/\ker {\hat {I}}}$ and the norm on this quotient space, when transferred to elements of ${\displaystyle L^{1}(X;Y)}$ via the induced map ${\displaystyle {\hat {I}}:\left(X'_{b}{\widehat {\otimes }}_{\pi }Y\right)/\ker {\hat {I}}\to L^{1}(X;Y)}$, is called the trace-norm and is denoted by ${\displaystyle \|\cdot \|_{\operatorname {Tr} }}$. Explicitly,[ clarification needed explicitly or especially?] if ${\displaystyle T:X\to Y}$ is a nuclear operator then ${\textstyle \left\|T\right\|_{\operatorname {Tr} }:=\inf _{z\in {\hat {I}}^{-1}\left(T\right)}\left\|z\right\|_{\pi }}$.

### Characterization

Suppose that X and Y are Banach spaces and that ${\displaystyle N:X\to Y}$ is a continuous linear operator.

• The following are equivalent:
1. ${\displaystyle N:X\to Y}$ is nuclear.
2. There exists an sequence ${\displaystyle \left(x_{i}'\right)_{i=1}^{\infty }}$ in the closed unit ball of ${\displaystyle X'}$, a sequence ${\displaystyle \left(y_{i}\right)_{i=1}^{\infty }}$ in the closed unit ball of ${\displaystyle Y}$, and a complex sequence ${\displaystyle \left(c_{i}\right)_{i=1}^{\infty }}$ such that ${\textstyle \sum _{i=1}^{\infty }|c_{i}|<\infty }$ and ${\displaystyle N}$ is equal to the mapping: [8] ${\textstyle N(x)=\sum _{i=1}^{\infty }c_{i}x'_{i}(x)y_{i}}$ for all ${\displaystyle x\in X}$. Furthermore, the trace-norm ${\displaystyle \|N\|_{\operatorname {Tr} }}$ is equal to the infimum of the numbers ${\textstyle \sum _{i=1}^{\infty }|c_{i}|}$ over the set of all representations of ${\displaystyle N}$ as such a series. [8]
• If Y is reflexive then ${\displaystyle N:X\to Y}$ is a nuclear if and only if ${\displaystyle {}^{t}N:Y'_{b}\to X'_{b}}$ is nuclear, in which case ${\textstyle \left\|{}^{t}N\right\|_{\operatorname {Tr} }=\left\|N\right\|_{\operatorname {Tr} }}$. [9]

### Properties

Let X and Y be Banach spaces and let ${\displaystyle N:X\to Y}$ be a continuous linear operator.

• If ${\displaystyle N:X\to Y}$ is a nuclear map then its transpose ${\displaystyle {}^{t}N:Y'_{b}\to X'_{b}}$ is a continuous nuclear map (when the dual spaces carry their strong dual topologies) and ${\textstyle \left\|{}^{t}N\right\|_{\operatorname {Tr} }\leq \left\|N\right\|_{\operatorname {Tr} }}$. [10]

## Nuclear operators between Hilbert spaces

Nuclear automorphisms of a Hilbert space are called trace class operators.

Let X and Y be Hilbert spaces and let N : XY be a continuous linear map. Suppose that ${\displaystyle N=U\circ R}$ where R : XX is the square-root of ${\displaystyle N^{*}\circ N}$ and U : XY is such that ${\displaystyle U{\big \vert }_{\operatorname {Im} R}:\operatorname {Im} R\to \operatorname {Im} L}$ is a surjective isometry and ${\displaystyle N=U\circ R}$. 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 linear operators. [10]

### Characterizations

Let X and Y be Hilbert spaces and let N : XY be a continuous linear map whose absolute value is R : XX. The following are equivalent:

1. N : XY is nuclear.
2. R : XX is nuclear. [11]
3. R : XX is compact and ${\displaystyle \operatorname {Tr} R}$ is finite, in which case ${\displaystyle \operatorname {Tr} R=\|N\|_{\operatorname {Tr} }}$. [11]
• Here, ${\displaystyle \operatorname {Tr} R}$ is the trace of R and it is defined as follows: Since R is a continuous compact positive operator, there exists a (possibly finite) sequence ${\displaystyle \lambda _{1}>\lambda _{2}>\cdots }$ of positive numbers with corresponding non-trivial finite-dimensional and mutually orthogonal vector spaces ${\displaystyle V_{1},V_{2},\ldots }$ such that the orthogonal (in H) of ${\displaystyle \operatorname {span} \left(V_{1}\cup V_{2}\cup \cdots \right)}$ is equal to ${\displaystyle \ker R}$ (and hence also to ${\displaystyle \ker N}$) and for all k, ${\displaystyle R(x)=\lambda _{k}x}$ for all ${\displaystyle x\in V_{k}}$; the trace is defined as ${\textstyle \operatorname {Tr} R:=\sum _{k}\lambda _{k}\dim V_{k}}$.
4. ${\displaystyle {}^{t}N:Y'_{b}\to X'_{b}}$ is nuclear, in which case ${\displaystyle \|{}^{t}N\|_{\operatorname {Tr} }=\|N\|_{\operatorname {Tr} }}$. [9]
5. There are two orthogonal sequences ${\displaystyle \left(x_{i}\right)_{i=1}^{\infty }}$ in X and ${\displaystyle \left(y_{i}\right)_{i=1}^{\infty }}$ in Y, and a sequence ${\displaystyle \left(\lambda _{i}\right)_{i=1}^{\infty }}$ in ${\displaystyle l^{1}}$ such that for all ${\displaystyle x\in X}$, ${\textstyle N(x)=\sum _{i}\lambda _{i}\langle x,x_{i}\rangle y_{i}}$. [11]
6. N : XY' is an integral map. [12]

## Nuclear operators between locally convex spaces

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 ${\textstyle p_{U}(x)=\inf _{r>0,x\in rU}r}$ and let ${\displaystyle \pi :X\to X/p_{U}^{-1}(0)}$ be the canonical projection. One can define the auxiliary Banach space ${\displaystyle {\hat {X}}_{U}}$ with the canonical map ${\displaystyle {\hat {\pi }}_{U}:X\to {\hat {X}}_{U}}$ whose image, ${\displaystyle X/p_{U}^{-1}(0)}$, is dense in ${\displaystyle {\hat {X}}_{U}}$ as well as the auxiliary space ${\displaystyle F_{B}=\operatorname {span} B}$ normed by ${\textstyle p_{B}(y)=\inf _{r>0,y\in rB}r}$ and with a canonical map ${\displaystyle \iota :F_{B}\to F}$ being the (continuous) canonical injection. Given any continuous linear map ${\displaystyle T:{\hat {X}}_{U}\to Y_{B}}$ one obtains through composition the continuous linear map ${\displaystyle {\hat {\pi }}_{U}\circ T\circ \iota :X\to Y}$; thus we have an injection ${\textstyle L\left({\hat {X}}_{U};Y_{B}\right)\to L(X;Y)}$ and we henceforth use this map to identify ${\textstyle L\left({\hat {X}}_{U};Y_{B}\right)}$ as a subspace of ${\displaystyle L(X;Y)}$. [7]

Definition: Let X and Y be Hausdorff locally convex spaces. The union of all ${\textstyle L^{1}\left({\hat {X}}_{U};Y_{B}\right)}$ 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 ${\displaystyle L^{1}(X;Y)}$ 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.

### Sufficient conditions for nuclearity

• Let W, X, Y, and Z be Hausdorff locally convex spaces, ${\displaystyle N:X\to Y}$ a nuclear map, and ${\displaystyle M:W\to X}$ and ${\displaystyle P:Y\to Z}$ be continuous linear maps. Then ${\displaystyle N\circ M:W\to Y}$, ${\displaystyle P\circ N:X\to Z}$, and ${\displaystyle P\circ N\circ M:W\to Z}$ are nuclear and if in addition W, X, Y, and Z are all Banach spaces then ${\textstyle \left\|P\circ N\circ M\right\|_{\operatorname {Tr} }\leq \left\|P\right\|\left\|N\right\|_{\operatorname {Tr} }\|\left\|M\right\|}$. [13] [14]
• If ${\displaystyle N:X\to Y}$ is a nuclear map between two Hausdorff locally convex spaces, then its transpose ${\displaystyle {}^{t}N:Y'_{b}\to X'_{b}}$ is a continuous nuclear map (when the dual spaces carry their strong dual topologies). [2]
• If in addition X and Y are Banach spaces, then ${\textstyle \left\|{}^{t}N\right\|_{\operatorname {Tr} }\leq \left\|N\right\|_{\operatorname {Tr} }}$. [9]
• If ${\displaystyle N:X\to Y}$ is a nuclear map between two Hausdorff locally convex spaces and if ${\displaystyle {\hat {X}}}$ is a completion of X, then the unique continuous extension ${\displaystyle {\hat {N}}:{\hat {X}}\to Y}$ of N is nuclear. [14]

### Characterizations

Let X and Y be Hausdorff locally convex spaces and let ${\displaystyle N:X\to Y}$ be a continuous linear operator.

• The following are equivalent:
1. ${\displaystyle N:X\to Y}$ is nuclear.
2. (Definition) There exists a convex balanced neighborhood U of the origin in X and a bounded Banach disk B in Y such that ${\displaystyle N(U)\subseteq B}$ and the induced map ${\displaystyle {\overline {N}}_{0}:{\hat {X}}_{U}\to Y_{B}}$ is nuclear, where ${\displaystyle {\overline {N}}_{0}}$ is the unique continuous extension of ${\displaystyle N_{0}:X_{U}\to Y_{B}}$, which is the unique map satisfying ${\displaystyle N=\operatorname {In} _{B}\circ N_{0}\circ \pi _{U}}$ where ${\displaystyle \operatorname {In} _{B}:Y_{B}\to Y}$ is the natural inclusion and ${\displaystyle \pi _{U}:X\to X/p_{U}^{-1}(0)}$ is the canonical projection. [6]
3. There exist Banach spaces ${\displaystyle B_{1}}$ and ${\displaystyle B_{2}}$ and continuous linear maps ${\displaystyle f:X\to B_{1}}$, ${\displaystyle n:B_{1}\to B_{2}}$, and ${\displaystyle g:B_{2}\to Y}$ such that ${\displaystyle n:B_{1}\to B_{2}}$ is nuclear and ${\displaystyle N=g\circ n\circ f}$. [8]
4. There exists an equicontinuous sequence ${\displaystyle \left(x_{i}'\right)_{i=1}^{\infty }}$ in ${\displaystyle X'}$, a bounded Banach disk ${\displaystyle B\subseteq Y}$, a sequence ${\displaystyle \left(y_{i}\right)_{i=1}^{\infty }}$ in B, and a complex sequence ${\displaystyle \left(c_{i}\right)_{i=1}^{\infty }}$ such that ${\textstyle \sum _{i=1}^{\infty }|c_{i}|<\infty }$ and ${\displaystyle N}$ is equal to the mapping: [8] ${\textstyle N(x)=\sum _{i=1}^{\infty }c_{i}x'_{i}(x)y_{i}}$ for all ${\displaystyle x\in X}$.
• If X is barreled and Y is quasi-complete, then N is nuclear if and only if N has a representation of the form ${\textstyle N(x)=\sum _{i=1}^{\infty }c_{i}x'_{i}(x)y_{i}}$ with ${\displaystyle \left(x_{i}'\right)_{i=1}^{\infty }}$ bounded in ${\displaystyle X'}$, ${\displaystyle \left(y_{i}\right)_{i=1}^{\infty }}$ bounded in Y and ${\textstyle \sum _{i=1}^{\infty }|c_{i}|<\infty }$. [8]

### Properties

The following is a type of Hahn-Banach theorem for extending nuclear maps:

• If ${\displaystyle E:X\to Z}$ is a TVS-embedding and ${\displaystyle N:X\to Y}$ is a nuclear map then there exists a nuclear map ${\displaystyle {\tilde {N}}:Z\to Y}$ such that ${\displaystyle {\tilde {N}}\circ E=N}$. Furthermore, when X and Y are Banach spaces and E is an isometry then for any ${\displaystyle \epsilon >0}$, ${\displaystyle {\tilde {N}}}$ can be picked so that ${\displaystyle \|{\tilde {N}}\|_{\operatorname {Tr} }\leq \|N\|_{\operatorname {Tr} }+\epsilon }$. [15]
• Suppose that ${\displaystyle E:X\to Z}$ is a TVS-embedding whose image is closed in Z and let ${\displaystyle \pi :Z\to Z/\operatorname {Im} E}$ be the canonical projection. Suppose all that every compact disk in ${\displaystyle Z/\operatorname {Im} E}$ is the image under ${\displaystyle \pi }$ of a bounded Banach disk in Z (this is true, for instance, if X and Z are both Fréchet spaces, or if Z is the strong dual of a Fréchet space and ${\displaystyle \operatorname {Im} E}$ is weakly closed in Z). Then for every nuclear map ${\displaystyle N:Y\to Z/\operatorname {Im} E}$ there exists a nuclear map ${\displaystyle {\tilde {N}}:Y\to Z}$ such that ${\displaystyle \pi \circ {\tilde {N}}=N}$.
• Furthermore, when X and Z are Banach spaces and E is an isometry then for any ${\displaystyle \epsilon >0}$, ${\displaystyle {\tilde {N}}}$ can be picked so that ${\textstyle \left\|{\tilde {N}}\right\|_{\operatorname {Tr} }\leq \left\|N\right\|_{\operatorname {Tr} }+\epsilon }$. [15]

Let X and Y be Hausdorff locally convex spaces and let ${\displaystyle N:X\to Y}$ be a continuous linear operator.

• Any nuclear map is compact. [2]
• For every topology of uniform convergence on ${\displaystyle L(X;Y)}$, the nuclear maps are contained in the closure of ${\displaystyle X'\otimes Y}$ (when ${\displaystyle X'\otimes Y}$ is viewed as a subspace of ${\displaystyle L(X;Y)}$). [6]

## 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, the inverse limit is a construction that generalizes several other constructions that recur throughout various fields of mathematics, including products, pullbacks, intersections, and an endless amount of other related constructions, only some of which have been investigated − profinite groups, p-adic numbers, solenoids, and ring completions being some prominent examples. Inverse limits are taken of inverse systems in some given category, such as the category Set of sets for example. An inverse system is a collection of objects in the category indexed by some preordered set called the indexing set, together with a collection of morphisms called connecting morphisms that satisfy the following compatibility condition of inverse systems: A cone into this inverse system is pair consisting of an object called its vertex, and an -indexed family of morphisms each of the form and satisfying the compatibility condition: An inverse limit of this inverse system, if it exists, is a cone that also has an additional property known as the universal property of inverse limits. This universal property establishes a one-to-one correspondence between, on one hand, cones into the given inverse system and, on the other hand, a unique morphism into the limit object that is "compatible" with the limit's family of morphisms in that it satisfies the condition: .

In mathematics, an infinite series of numbers is said to converge absolutely if the sum of the absolute values of the summands is finite. More precisely, a real or complex series is said to converge absolutely if for some real number . Similarly, an improper integral of a function, , is said to converge absolutely if the integral of the absolute value of the integrand is finite—that is, if

In mathematics, a trace-class operator is a compact operator for which a trace may be defined, such that the trace is finite and independent of the choice of basis. Trace-class operators are essentially the same as nuclear operators, though many authors reserve the term "trace-class operator" for the special case of nuclear operators on Hilbert spaces and reserve "nuclear operator" for usage in more general topological vector spaces.

In mathematics, more specifically in topology, an open map is a function between two topological spaces that maps open sets to open sets. That is, a function is open if for any open set in the image is open in Likewise, a closed map is a function that maps closed sets to closed sets. A map may be open, closed, both, or neither; in particular, an open map need not be closed and vice versa.

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 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 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 to. 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 to" means that this net or filter converges to Unlike the notion of completeness for metric spaces, which it generalizes, the notion of completeness for TVSs does not depend on any metric and is defined for all TVSs, including those that are not metrizable or Hausdorff.

In the branch of mathematics called functional analysis, when a topological vector space admits a direct sum decomposition , the spaces and are called complements of each other. This happens if and only if the addition map which is defined by is a homeomorphism. Note that while this addition map is always continuous, it may fail to be a homeomorphism, which is why this definition is needed.

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.

The strongest locally convex topological vector space (TVS) topology on the tensor product of two locally convex TVSs, making the canonical map continuous is called the projective topology or the π-topology. When is endowed with this topology then it is denoted by 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 Y without any need to extend definitions from real/complex-valued functions to Y-valued functions.

In functional analysis, 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 other method is used if the disk is absorbing: in this case, the auxiliary normed space is the quotient space If the disk is both bounded and absorbing then the two auxiliary normed spaces are canonically isomorphic.

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

In the field of functional analysis, a subfield of mathematics, a dual system, dual pair, or a duality over a field is a triple consisting of two vector spaces over and a bilinear map such that for all non-zero the map is not identically and for all non-zero the map is not identically 0. The study of dual systems is called duality theory.

In functional analysis, every C*-algebra is isomorphic to a subalgebra of the C*-algebra of bounded linear operators on some Hilbert space H. This article describes the spectral theory of closed normal subalgebras of

In mathematics, particularly in functional analysis and topology, the closed graph theorem is a fundamental result stating that a linear operator with a closed graph will, under certain conditions, be continuous. The original result has been generalized many times so there are now many theorems referred to as "closed graph theorems."

## References

1. Trèves 2006, p. 488.
2. Trèves 2006, p. 483.
3. Trèves 2006, p. 490.
4. Schaefer & Wolff 1999, p. 92.
5. Schaefer & Wolff 1999, p. 93.
6. Schaefer & Wolff 1999, p. 98.
7. Trèves 2006, pp. 478-479.
8. Trèves 2006, pp. 481-483.
9. Trèves 2006, p. 484.
10. Trèves 2006, pp. 483-484.
11. Trèves 2006, pp. 492-494.
12. Trèves 2006, pp. 502-508.
13. Trèves 2006, pp. 479-481.
14. Schaefer & Wolff 1999, p. 100.
15. Trèves 2006, p. 485.

## Bibliography

• Diestel, Joe (2008). The metric theory of tensor products : Grothendieck's résumé revisited. Providence, R.I: American Mathematical Society. ISBN   978-0-8218-4440-3. OCLC   185095773.
• Dubinsky, Ed (1979). The structure of nuclear Fréchet spaces. Berlin New York: Springer-Verlag. ISBN   3-540-09504-7. OCLC   5126156.
• Grothendieck, Alexander (1966). Produits tensoriels topologiques et espaces nucléaires (in French). Providence: American Mathematical Society. ISBN   0-8218-1216-5. OCLC   1315788.
• Husain, Taqdir (1978). Barrelledness in topological and ordered vector spaces. Berlin New York: Springer-Verlag. ISBN   3-540-09096-7. OCLC   4493665.
• Khaleelulla, S. M. (1982). Counterexamples in Topological Vector Spaces. Lecture Notes in Mathematics. 936. Berlin, Heidelberg, New York: Springer-Verlag. ISBN   978-3-540-11565-6. OCLC   8588370.
• Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN   978-1584888666. OCLC   144216834.
• Nlend, H (1977). Bornologies and functional analysis : introductory course on the theory of duality topology-bornology and its use in functional analysis. Amsterdam New York New York: North-Holland Pub. Co. Sole distributors for the U.S.A. and Canada, Elsevier-North Holland. ISBN   0-7204-0712-5. OCLC   2798822.
• Nlend, H (1981). Nuclear and conuclear spaces : introductory courses on nuclear and conuclear spaces in the light of the duality. Amsterdam New York New York, N.Y: North-Holland Pub. Co. Sole distributors for the U.S.A. and Canada, Elsevier North-Holland. ISBN   0-444-86207-2. OCLC   7553061.
• Pietsch, Albrecht (1972). Nuclear locally convex spaces. Berlin,New York: Springer-Verlag. ISBN   0-387-05644-0. OCLC   539541.
• Robertson, A. P. (1973). Topological vector spaces. Cambridge England: University Press. ISBN   0-521-29882-2. OCLC   589250.
• Ryan, Raymond (2002). Introduction to tensor products of Banach spaces. London New York: Springer. ISBN   1-85233-437-1. OCLC   48092184.
• Schaefer, Helmut H.; Wolff, Manfred P. (1999). Topological Vector Spaces. GTM. 8 (Second ed.). New York, NY: Springer New York Imprint Springer. ISBN   978-1-4612-7155-0. OCLC   840278135.
• Trèves, François (2006) [1967]. Topological Vector Spaces, Distributions and Kernels. Mineola, N.Y.: Dover Publications. ISBN   978-0-486-45352-1. OCLC   853623322.
• Wong (1979). Schwartz spaces, nuclear spaces, and tensor products. Berlin New York: Springer-Verlag. ISBN   3-540-09513-6. OCLC   5126158.