|
|
| Line 1: |
Line 1: |
| In [[mathematics]], a '''nuclear space''' is a [[topological vector space]] with many of the good properties of finite-dimensional vector spaces. The topology on them can be defined by a family of [[seminorm]]s whose [[unit sphere#Unit balls in normed vector spaces|unit balls]] decrease rapidly in size. Vector spaces whose elements are "smooth" in some sense tend to be nuclear spaces; a typical example of a nuclear space is the set of smooth functions on a compact manifold.
| | Hello, my title is Andrew and my spouse doesn't like it at all. Alaska is the only place I've been residing in [http://test.jeka-nn.ru/node/129 online psychic readings] but now I'm considering other options. To play lacross is something he would never give up. Office supervising is exactly where my primary income comes from but I've [http://ltreme.com/index.php?do=/profile-127790/info/ free psychic readings] always needed my own business.<br><br>Also visit my web-site - free psychic readings ([http://si.dgmensa.org/xe/index.php?document_srl=48014&mid=c0102 http://si.dgmensa.org]) |
| | |
| All finite-dimensional vector spaces are nuclear (because every operator on a finite-dimensional vector space is nuclear). There are no Banach spaces that are nuclear, except for the finite-dimensional ones. In practice a sort of converse to this is often true: if a "naturally occurring" topological vector space is '''not''' a Banach space, then there is a good chance that it is nuclear.
| |
| | |
| Although important,{{fact|date=October 2013}} nuclear spaces are not explicitly used in practice.{{fact|date=October 2013}} Implicitly, they are used in (essentially) every application, owing to the ubiquity of finite-dimensional vector spaces.
| |
| | |
| Much of the theory of nuclear spaces was developed by [[Alexander Grothendieck]] and published in {{harv|Grothendieck|1955}}.
| |
| | |
| ==Definition==
| |
| | |
| This section lists some of the more common definitions of a nuclear space. The definitions below are all equivalent. Note that some authors use a more restrictive definition of a nuclear space, by adding the condition that the space should be [[Fréchet space|Fréchet]]. (This means that the space is complete and the topology is given by a '''countable''' family of seminorms.)
| |
| | |
| We start by recalling some background. A [[locally convex topological vector space]] ''V'' has a topology that is defined by some family of [[seminorm]]s. For any seminorm, the unit ball is a closed convex symmetric neighborhood of 0, and conversely any closed convex symmetric neighborhood of 0 is the unit ball of some seminorm. (For complex vector spaces, the condition "symmetric" should be replaced by "[[balanced set|balanced]]".)
| |
| If ''p'' is a seminorm on ''V'', we write ''V<sub>p</sub>'' for the [[Banach space]] given by completing ''V'' using the seminorm ''p''. There is a natural map from ''V'' to ''V<sub>p</sub>'' (not necessarily injective).
| |
| | |
| If ''q'' is another seminorm, larger than ''p'', then there is a natural map from ''V<sub>q</sub>'' to ''V<sub>p</sub>'' which factors through the appropriate diagram with the map ''V'' → ''V<sub>q</sub>''. These maps are always continuous. The space ''V'' is nuclear when a stronger condition holds, namely that these maps are [[Nuclear_operator#On_Banach_spaces|nuclear operators]]. The condition of being a nuclear operator is subtle, and more details are available in the corresponding article.
| |
| | |
| '''Definition 1''': A '''nuclear space''' is a locally convex topological vector space such that for any seminorm ''p'' we can find a larger seminorm ''q'' so that the natural map from ''V<sub>q</sub>'' to ''V<sub>p</sub>'' is [[nuclear operator|nuclear]].
| |
| | |
| Informally, this means that whenever we are given the unit ball of some seminorm, we can find a "much smaller" unit ball of another seminorm inside it, or that any neighborhood of 0 contains a "much smaller" neighborhood. It is not necessary to check this condition for all seminorms ''p''; it is sufficient to check it for a set of seminorms that generate the topology, in other words, a set of seminorms that are a [[subbase]] for the topology.
| |
| | |
| Instead of using arbitrary Banach spaces and nuclear operators, we can give a definition in terms of [[Hilbert space]]s and [[trace class]] operators, which are easier to understand.
| |
| (On Hilbert spaces nuclear operators are often called trace class operators.)
| |
| We will say that a seminorm ''p'' is a '''Hilbert seminorm''' if ''V''<sub>''p''</sub> is a Hilbert space, or equivalently if ''p'' comes from a sesquilinear positive semidefinite form on ''V''.
| |
| | |
| '''Definition 2''': A '''nuclear space''' is a topological vector space with a topology defined by a family of Hilbert seminorms, such that for any Hilbert seminorm ''p'' we can find a larger Hilbert seminorm ''q'' so that the natural map from ''V''<sub>''q''</sub> to ''V''<sub>''p''</sub> is [[trace class]].
| |
| | |
| Some authors prefer to use [[Hilbert–Schmidt operator]]s rather than trace class operators. This makes little difference, because any trace class operator is Hilbert–Schmidt, and the product of two Hilbert–Schmidt operators is of trace class.
| |
| | |
| '''Definition 3''': A '''nuclear space''' is a topological vector space with a topology defined by a family of Hilbert seminorms, such that for any Hilbert seminorm ''p'' we can find a larger Hilbert seminorm ''q'' so that the natural map from ''V''<sub>''q''</sub> to ''V''<sub>''p''</sub> is Hilbert–Schmidt.
| |
| | |
| If we are willing to use the concept of a nuclear operator from an arbitrary locally convex topological vector space to a Banach space, we can give shorter definitions as follows:
| |
| | |
| '''Definition 4''': A '''nuclear space''' is a locally convex topological vector space such that for any seminorm ''p'' the natural map from ''V'' to ''V''<sub>''p''</sub> is [[nuclear operator|nuclear]].
| |
| | |
| '''Definition 5''': A '''nuclear space''' is a locally convex topological vector space such that any continuous linear map to a Banach space is nuclear.
| |
| | |
| Grothendieck used a definition similar to the following one:
| |
| | |
| '''Definition 6''': A '''nuclear space''' is a locally convex topological vector space ''A'' such that for any locally convex topological vector space ''B'' the natural map from the projective to the injective tensor product of ''A'' and ''B'' is an isomorphism.
| |
| | |
| In fact it is sufficient to check this just for Banach spaces ''B'', or even just for the single Banach space ''l''<sup>1</sup> of absolutely convergent series.
| |
| | |
| ==Examples==
| |
| | |
| *A simple infinite dimensional example of a nuclear space is the space of all rapidly decreasing sequences ''c''=(''c''<sub>1</sub>, ''c''<sub>2</sub>,...). ("Rapidly decreasing" means that ''c<sub>n</sub>p''(''n'') is bounded for any polynomial ''p''.) For each real number ''s'', we can define a norm ||·||<sub>''s''</sub> by
| |
| :||''c''||<sub>''s''</sub> = sup |''c''<sub>''n''</sub>|''n''<sup>''s''</sup>
| |
| If the completion in this norm is ''C''<sub>''s''</sub>, then there is a natural map from ''C''<sub>''s''</sub> to ''C''<sub>''t''</sub> whenever ''s''≥''t'', and this is nuclear whenever ''s''>''t''+1, essentially because the series Σ''n''<sup>''t''−''s''</sup> is then absolutely convergent. In particular for each norm ||·||<sub>''t''</sub> we can find another norm, say ||·||<sub>''t''+2</sub>,
| |
| such that the map from ''C''<sub>''t''+2</sub> to ''C''<sub>''t''</sub> is nuclear. So the space is nuclear.
| |
| | |
| *The space of smooth functions on any compact manifold is nuclear.
| |
| | |
| *The [[Schwartz space]] of smooth functions on <math> \mathbf{R}^n </math> for which the derivatives of all orders are rapidly decreasing is a nuclear space.
| |
| | |
| *The space of entire holomorphic functions on the complex plane is nuclear.
| |
| | |
| *The inductive limit of a sequence of nuclear spaces is nuclear.
| |
| | |
| *The strong dual of a nuclear Fréchet space is nuclear.
| |
| | |
| *The product of a family of nuclear spaces is nuclear.
| |
| | |
| *The completion of a nuclear space is nuclear (and in fact a space is nuclear if and only if its completion is nuclear).
| |
| | |
| *The [[topological tensor product|tensor product]] of two nuclear spaces is nuclear.
| |
| | |
| ==Properties==
| |
| | |
| Nuclear spaces are in many ways similar to finite-dimensional spaces and have many of their good properties.
| |
| | |
| * A locally convex Hausdorff space is nuclear if and only if its completion is nuclear.
| |
| | |
| * A Frechet space is nuclear if and only if its strong dual is nuclear.
| |
| | |
| * Every bounded subset of a nuclear space is precompact (recall that a set is precompact if its closure in the completion of the space is compact).
| |
| | |
| * If ''X'' is a quasi-complete nuclear space then ''X'' has the Heine-Borel property (that is, every closed and bounded subset of ''X'' is compact).
| |
| | |
| * A [[nuclear space|nuclear]] quasi-complete [[barrelled space]] is a [[Montel space]].
| |
| | |
| * Every closed equicontinuous subsets of the dual of a nuclear space is a compact metrizable set (for the strong dual topology).
| |
| | |
| * Every nuclear space is a subspace of a product of Hilbert spaces.
| |
| | |
| * Every nuclear space admits a basis of seminorms consisting of Hilbert norms.
| |
| | |
| * Every nuclear space is a Schwartz space.
| |
| | |
| * A closed bounded subset of a nuclear Fréchet space is compact. (A bounded subset ''B'' of a topological vector space is one such that for any neighborhood ''U'' of 0 we can find a positive real scalar ''λ'' such that ''B'' is contained in ''λU''.) This statement may be paraphrased as a [[Heine–Borel theorem]] for nuclear Fréchet spaces, analogous to the finite-dimensional situation.
| |
| | |
| * Any subspace and any quotient space by a closed subspace of a nuclear space is nuclear.
| |
| | |
| * If ''A'' is nuclear and ''B'' is any locally convex topological vector space, then the natural map from the projective tensor product of ''A'' and ''B'' to the injective tensor product is an isomorphism. Roughly speaking this means that there is only one sensible way to define the tensor product. This property characterizes nuclear spaces ''A''.
| |
| | |
| * In the theory of measures on topological vector spaces, a basic theorem states that any continuous [[cylinder set measure]] on the dual of a nuclear Fréchet space automatically extends to a [[Radon measure]]. This is useful because it is often easy to construct cylinder set measures on topological vector spaces, but these are not good enough for most applications unless they are Radon measures (for example, they are not even countably additive in general).
| |
| | |
| ==Bochner–Minlos theorem==
| |
| | |
| A continuous functional ''C'' on a nuclear space ''A'' is called a '''characteristic functional''' if ''C''(0) = 1, and for any complex <math>z_j</math> and <math>x_j\in A</math>, ''j'',''k'' = 1, ..., ''n'',
| |
| :<math>\sum_{j=1}^n \sum_{k=1}^n z_j \bar z_k C(x_j - x_k) \ge 0.</math>
| |
| | |
| Given a characteristic functional on a nuclear space ''A'', the '''Bochner–Minlos theorem''' (after [[Salomon Bochner]] and [[Robert Adol'fovich Minlos]]) guarantees the existence and uniqueness of the corresponding [[probability measure]] <math>\mu</math> on the dual space <math>A'</math>, given by
| |
| | |
| :<math>C(y) = \int_{A'} e^{i\langle x,y\rangle} d\mu(x). </math>
| |
| | |
| This extends the [[inverse Fourier transform]] to nuclear spaces.
| |
| | |
| In particular, if ''A'' is the nuclear space
| |
| | |
| :<math>A=\bigcap_{k=0}^\infty H_k</math>,
| |
| | |
| where <math>H_k</math> are Hilbert spaces, the Bochner–Minlos theorem guarantees the existence of a probability measure with the characteristic function <math>e^{-\frac{1}{2}\|y\|_{H_0}^2}</math>, that is, the existence of the Gaussian measure on the [[dual space]]. Such measure is called '''[[white noise]] measure'''. When ''A'' is the Schwartz space, the corresponding [[random element]] is a [[random]] [[distribution (mathematics)|distribution]].
| |
| | |
| | |
| ==Strongly nuclear spaces==
| |
| | |
| A '''strongly nuclear space''' is a locally convex topological vector space such that for any seminorm ''p'' we can find a larger seminorm ''q'' so that the natural map from ''V<sub>q</sub>'' to ''V<sub>p</sub>'' is a strongly [[nuclear operator|nuclear]].
| |
| | |
| ==See also==
| |
| *[[Fredholm kernel]]
| |
| *[[Nuclear operator]]
| |
| *[[Trace class]]
| |
| *[[rigged Hilbert space]]
| |
| | |
| ==References==
| |
| * {{Cite journal|last=Grothendieck|first= Alexandre|authorlink=Grothendieck|title=Produits tensoriels topologiques et espaces nucléaires|year= 1955 |series=Mem. Am. Math. Soc.|volume=16|ref=harv}}
| |
| * {{Cite journal|last1=Gel'fand|first1= I. M.|first2= N. Ya. |last2=Vilenkin|title=Generalized Functions – vol. 4: Applications of harmonic analysis|year=1964 |oclc=310816279|ref=harv}}
| |
| * Takeyuki Hida and Si Si, ''Lectures on white noise functionals'', World Scientific Publishing, 2008. ISBN 978-981-256-052-0
| |
| * T. R. Johansen, ''[http://www.math.uni-paderborn.de/~johansen/seminars/minlos.pdf The Bochner-Minlos Theorem for nuclear spaces and an abstract white noise space]'', 2003.
| |
| *{{springer|id=N/n067860|title=Nuclear space|author=G.L. Litvinov}}
| |
| *{{Cite book | last1=Pietsch | first1=Albrecht | title=Nuclear locally convex spaces | origyear=1965 | url=http://books.google.com/books?id=v6IdSAAACAAJ | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Ergebnisse der Mathematik und ihrer Grenzgebiete | isbn=978-0-387-05644-9 | year=1972 | volume=66 | mr=0350360 | ref=harv | postscript=<!-- Bot inserted parameter. Either remove it; or change its value to "." for the cite to end in a ".", as necessary. -->{{inconsistent citations}}}}
| |
| * {{cite book |last=Robertson |first=A.P. |coauthors= W.J. Robertson |title= Topological vector spaces |series=Cambridge Tracts in Mathematics |volume=53 |year=1964 |publisher= [[Cambridge University Press]] | page=141}}
| |
| * {{cite book | last = Schaefer | first = Helmuth H. | year = 1971 | title = Topological vector spaces | series=[[Graduate Texts in Mathematics|GTM]] | volume=3 | publisher = Springer-Verlag | location = New York | isbn = 0-387-98726-6 | page=100 }}
| |
| | |
| {{Functional Analysis}}
| |
| | |
| [[Category:Operator theory]]
| |
| [[Category:Topological vector spaces]]
| |