Content deleted Content added
m Dating maintenance tags: {{What}} |
|||
Line 9:
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 (ring theory)|ideal]] of all weak trace-class operators is denoted,
::::<math> L_{1,\infty} = \{ A \in K(H) : \mu(n,A) = O(n^{-1}) \}. </math>
where <math>K(H) </math> are the compact operators.{{what|reason= This definition disagrees with the definition in the article on the [[Dixmier trace]].|date=December 2016}} 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]].
== Properties ==
| |||