https://en.formulasearchengine.com/index.php?title=M2-brane&feed=atom&action=historyM2-brane - Revision history2024-03-28T08:38:47ZRevision history for this page on the wikiMediaWiki 1.42.0-wmf.5https://en.formulasearchengine.com/index.php?title=M2-brane&diff=29966&oldid=preven>HNAKXR at 14:42, 6 January 20142014-01-06T14:42:42Z<p></p>
<p><b>New page</b></p><div><!-- (redirect weak L1 ideal) --><br />
In mathematics, a '''weak trace class''' operator is a [[compact operator]] on a [[separable space|separable]] [[Hilbert space]] ''H'' with [[singular value]]s the same order as the [[harmonic series|harmonic sequence]].<br />
When the dimension of ''H'' is infinite the ideal of weak trace-class operators has fundamentally different properties than the ideal of [[trace class operator]]s. The usual [[trace class#Definition|operator trace]] on the trace-class operators does not extend to the weak trace class. Instead the ideal of weak trace-class operators admits an infinite number of linearly independent quasi-continuous traces, and it is the smallest two-sided ideal for which all traces on it are [[singular trace]]s.<br />
<br />
Weak trace-class operators feature in the [[noncommutative geometry]] of French mathematician [[Alain Connes]].<br />
<br />
== Definition ==<br />
<br />
A [[compact operator]] ''A'' on an infinite dimensional [[separable space|separable]] [[Hilbert space]] ''H'' is ''weak trace class'' if μ(''n'',''A'') {{=}} O(''n''<sup>−1</sup>), where μ(''A'') is the sequence of [[singular value]]s. In mathematical notation the two-sided [[ideal]] of all weak trace-class operators is denoted,<br />
::::<math> L_{1,\infty} = \{ A \in K(H) : \mu(n,A) = O(n^{-1}) \}. </math><br />
<br />
The term weak trace-class, or weak-''L''<sub>1</sub>, is used because the operator ideal corresponds, in J. W. Calkin's [[Calkin correspondence|correspondence]] between two-sided ideals of bounded linear operators and rearrangement invariant sequence spaces, to the [[Lp space|weak-''l''<sub>1</sub> sequence space]].<br />
<br />
== Properties ==<br />
<br />
* the weak trace-class operators admit a [[quasinorm|quasi-norm]] defined by<br />
::::<math> \| A \|_{w} = \sup_{n \geq 0} (1+n)\mu(n,A), </math><br />
:making ''L''<sub>1,∞</sub> a quasi-Banach operator ideal, that is an ideal that is also a [[quasi-Banach space]].<br />
<br />
== See also ==<br />
<br />
* [[Lp space]]<br />
* [[Spectral triple]]<br />
* [[Singular trace]]<br />
* [[Dixmier trace]]<br />
<br />
== References ==<br />
{{reflist}}<br />
* {{cite book<br />
| isbn=978-0-82-183581-4<br />
| author= B. Simon<br />
| year=2005<br />
| title=Trace ideals and their applications<br />
| publisher=Amer. Math. Soc.<br />
| location=Providence, RI }}<br />
* {{cite book<br />
| isbn=978-0-52-132532-5<br />
| author= A. Pietsch<br />
| year=1987<br />
| title=Eigenvalues and s-numbers<br />
| publisher=Cambridge University Press<br />
| location=Cambridge, UK }}<br />
*{{cite book<br />
| author=A. Connes<br />
| title=Noncommutative geometry<br />
| url=http://www.alainconnes.org/docs/book94bigpdf.pdf<br />
| publisher=Academic Press<br />
| location=Boston, MA<br />
| isbn=978-0-12-185860-5<br />
| year=1994 }}<br />
* {{cite book<br />
| isbn=978-3-11-026255-1<br />
| author= S. Lord, F. A. Sukochev. D. Zanin<br />
| year=2012<br />
| url=http://www.degruyter.com/view/product/177778<br />
| title=Singular traces: theory and applications<br />
| publisher=De Gruyter<br />
| location=Berlin }}<br />
<br />
[[Category:Operator algebras]]<br />
[[Category:Hilbert space]]<br />
[[Category:Von Neumann algebras]]</div>en>HNAKXR