Nuclear operators between Banach spaces

In mathematics, nuclear operators between Banach spaces are a linear operators between Banach spaces in infinite dimensions that share some of the properties of their counter-part in finite dimension. In Hilbert spaces such operators are usually called trace class operators and one can define such things as the trace. In Banach spaces this is no longer possible for general nuclear operators, it is however possible for 23-nuclear operator via the Grothendieck trace theorem. The general definition for Banach spaces was given by Grothendieck. This article presents both cases but concentrates on the general case of nuclear operators on Banach spaces.

## Contents

* 1 Nuclear operators on Hilbert spaces
* 1.1 Properties
* 2 Nuclear operators on Banach spaces
* 2.1 q-nuclear operators
* 2.2 Relation to trace-class operators
* 2.3 Properties
* 2.4 Generalizations
* 3 Examples
* 4 See also
* 5 References

## Nuclear operators on Hilbert spaces

An operator ℒ on a Hilbert space ℋ ℒ:ℋ->ℋ is compact if it can be written in the form[citation needed] ℒ=∑n=1Nρn⟨fn,⋅⟩gn, where 1≤N≤∞, and {f1,…,fN} and {g1,…,gN} are (not necessarily complete) orthonormal sets. Here {ρ1,…,ρN} is a set of real numbers, the set of singular values of the operator, obeying ρn->0 if N=∞.

The bracket ⟨⋅,⋅⟩ is the scalar product on the Hilbert space; the sum on the right hand side must converge in norm.

An operator that is compact as defined above is said to be nuclear or trace-class if ∑n=1∞|ρn|<∞.

### Properties

A nuclear operator on a Hilbert space has the important property that a trace operation may be defined. Given an orthonormal basis {ψn} for the Hilbert space, the trace is defined as Tr⁡ℒ=∑n⟨ψn,ℒψn⟩.

Obviously, the sum converges absolutely, and it can be proven that the result is independent of the basis[citation needed]. It can be shown that this trace is identical to the sum of the eigenvalues of ℒ (counted with multiplicity).

## Nuclear operators on Banach spaces

Main article: Fredholm kernel

The definition of trace-class operator was extended to Banach spaces by Alexander Grothendieck in 1955.

Let A and B be Banach spaces, and A′ be the dual of A, that is, the set of all continuous or (equivalently) bounded linear functionals on A with the usual norm. There is a canonical evaluation map A′⊗B->Hom⁡(A,B) (from the projective tensor product of A and B to the Banach space of continuous linear maps from A to B). It is determined by sending f∈A′ and b∈B to the linear map a↦f(a)⋅b. An operator ℒ∈Hom⁡(A,B) is called nuclear if it is in the image of this evaluation map.[1]

### q-nuclear operators

An operator ℒ:A->B is said to be nuclear of order q if there exist sequences of vectors {gn}∈B with ‖gn‖≤1, functionals {fn*}∈A′ with ‖fn*‖≤1 and complex numbers {ρn} with ∑n|ρn|q<∞, such that the operator may be written as ℒ=∑nρnfn*(⋅)gn with the sum converging in the operator norm.

Operators that are nuclear of order 1 are called nuclear operators: these are the ones for which the series ∑ρn is absolutely convergent. Nuclear operators of order 2 are called Hilbert–Schmidt operators.

### Relation to trace-class operators

With additional steps, a trace may be defined for such operators when A=B.

### Properties

The trace and determinant can no longer be defined in general in Banach spaces. However they can be defined for the so-called 23-nuclear operators via Grothendieck trace theorem.

### Generalizations

More generally, an operator from a locally convex topological vector space A to a Banach space B is called nuclear if it satisfies the condition above with all fn* bounded by 1 on some fixed neighborhood of 0.

An extension of the concept of nuclear maps to arbitrary monoidal categories is given by (Stolz Teichner). A monoidal category can be thought of as a category equipped with a suitable notion of a tensor product. An example of a monoidal category is the category of Banach spaces or alternatively the category of locally convex, complete, Hausdorff spaces; both equipped with the projective tensor product. A map f:A->B in a monoidal category is called thick if it can be written as a composition A≅I⊗A⟶t⊗idAB⊗C⊗A⟶idB⊗sB⊗I≅B for an appropriate object C and maps t:I->B⊗C,s:C⊗A->I, where I is the monoidal unit.

In the monoidal category of Banach spaces, equipped with the projective tensor product, a map is thick if and only if it is nuclear.[2]

## Examples

Suppose that f:H1->H2 and g:H2->H3 are Hilbert-Schmidt operators between Hilbert spaces. Then the composition g∘f:H1->H3 is a nuclear operator.[3]

## See also

* Topological tensor product - Tensor product constructions for topological vector spaces
* Nuclear operator - Linear operator related to topological vector spaces
* Nuclear space - Generalization of finite-dimensional Euclidean spaces different from Hilbert spaces

## References

1. ↑ (Schaefer Wolff)
2. ↑ (Stolz Teichner)
3. ↑ Schaefer & Wolff 1999, p. 177.

* A. Grothendieck (1955), Produits tensoriels topologiques et espace nucléaires,Mem. Am. Math.Soc. 16. MR0075539
* A. Grothendieck (1956), La theorie de Fredholm, Bull. Soc. Math. France, 84:319–384. MR0088665
* A. Hinrichs and A. Pietsch (2010), p-nuclear operators in the sense of Grothendieck, Mathematische Nachrichen 283: 232–261. doi:10.1002/mana.200910128. MR2604120
* Hazewinkel, Michiel, ed. (2001), "Nuclear operator", Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Nuclear_operator
* Schaefer, H. H.; Wolff, M. P. (1999), Topological vector spaces, Graduate Texts in Mathematics, 3 (2 ed.), Springer, doi:10.1007/978-1-4612-1468-7, ISBN 0-387-98726-6
* Stolz, Stephan; Teichner, Peter (2012), "Traces in monoidal categories", Transactions of the American Mathematical Society 364 (8): 4425–4464, doi:10.1090/S0002-9947-2012-05615-7

* v
* t
* e

Functional analysis (topics)

Topological vector spaces|

* Asplund
* Banach (list)
* Banach lattice
* Barrelled
* Bornological
* Brauner
* F-space
* Fréchet (tame)
* Hilbert (Inner product space
* Polarization identity)
* LF-space
* Locally convex (Seminorms/Minkowski functionals)
* Mackey
* Montel
* Nuclear
* Normed (norm)
* Quasinormed
* Reflexive
* Riesz
* Smith
* Stereotype
* Strictly convex
* Webbed
* Topological tensor product (of Hilbert spaces)

Topologies of function spaces|

* Dual
* Dual space (Dual norm)
* Operator
* Ultraweak
* Weak (polar
* operator)
* Mackey
* Strong (polar
* operator)
* Ultrastrong
* Uniform convergence

Linear operators|

* Adjoint
* Bilinear (form
* operator
* sesquilinear)
* (Un)Bounded
* Closed
* Compact (on Hilbert spaces)
* (Dis)Continuous
* Densely defined
* Fredholm
* Hilbert–Schmidt
* Functionals (positive)
* Normal
* Nuclear
* Self-adjoint
* Strictly singular
* Trace class
* Transpose
* Unitary

Operator theory|

* Banach algebras
* C*-algebras
* Spectrum (C*-algebra
* radius)
* Spectral theory (of ODEs
* Spectral theorem)
* Polar decomposition
* Singular value decomposition

Theorems|

* Banach–Alaoglu
* Banach–Mazur
* Banach–Saks
* Banach–Schauder (open mapping)
* Banach–Steinhaus (Uniform boundedness)
* Bessel's inequality
* Cauchy–Schwarz inequality
* Closed graph
* Closed range
* Eberlein–Šmulian
* Freudenthal spectral
* Gelfand–Mazur
* Gelfand–Naimark
* Goldstine
* Hahn–Banach (hyperplane separation)
* Kakutani fixed-point
* Krein–Milman
* Lomonosov's invariant subspace
* Mackey–Arens
* Mazur's lemma
* M. Riesz extension
* Riesz representation
* Parseval's identity
* Schauder fixed-point

Analysis|

* Abstract Wiener space
* Bochner space
* Differentiation in Fréchet spaces
* Derivatives (Fréchet
* Gateaux
* functional
* holomorphic)
* Integrals (Bochner
* Dunford
* Gelfand–Pettis
* regulated
* Paley–Wiener
* weak)
* Functional calculus (Borel
* continuous
* holomorphic)
* Inverse function theorem (Nash–Moser theorem)
* Measures (Lebesgue
* Projection-valued
* Vector)
* Weakly measurable function

Types of sets|

* Absolutely convex
* Absorbing
* Balanced
* Bounded
* Convex
* Convex cone (subset)
* Linear cone (subset)
* Radial
* Star-shaped
* Symmetric
* Zonotope

Subsets / set operations|

* Algebraic interior (core)
* Bounding points
* Convex hull
* Extreme point
* Interior
* Minkowski addition
* Polar

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Nuclear operators between Banach spaces. Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Nuclear_operators_between_Banach_spaces&oldid=286312"
*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template