Weak trace-class operator: Difference between revisions

Revision as of 12:07, 20 September 2013

Revision as of 06:10, 8 October 2013

Line 1:

<!-- (redirect weak L1 ideal) -->

In mathematics, a '''weak trace class''' operator is a [[compact operator]] on a [[separable space|separable]] [[Hilbert space]] ''H'' with [[singular value|singular values]]s the same order as the [[harmonic series|harmonic sequence]].

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|trace class operators]]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 [[Singularsingular trace|singular traces]]s.

Weak trace-class operators feature in the [[Noncommutative geometry|noncommutative geometry]] of French mathematician [[Alain Connes]].

== Definition ==

A [[compact operator]] ''A'' on an infinite dimensional [[separable space|separable]] [[Hilbert space]] ''H'' is ''weak trace class'' if μ(''n'',''A'') {{=}} O(''n''⁻¹), where μ(''A'') is the sequence of [[singular value|singular values]]s. In mathematical notation the two-sided [[ideal]] of all weak trace-class operators is denoted,

::::<math> L_{1,\infty} = \{ A \in K(H) : \mu(n,A) = O(n^{-1}) \}. </math>

Line 58:

| ___location=Berlin }}

[[Category:von NeumannOperator algebras]]

[[Category:OperatorHilbert algebrasspace]]

[[Category:HilbertVon spaceNeumann algebras]]

[[Category:von Neumann algebras]]