Definition
If H is a Hilbert space, then L1,∞(H) is the space of compact linear operators T on H such that the norm
is finite, where the numbers μi(T) are the eigenvalues of |T| arranged in decreasing order. Let
- .
The Dixmier trace Trω(T) of T is defined for positive operators T of L1,∞(H) to be
where limω is a scale-invariant positive "extension" of the usual limit, to all bounded sequences. In other words, it has the following properties:
- limω(αn) ≥ 0 if all αn ≥ 0 (positivity)
- limω(αn) = lim(αn) whenever the ordinary limit exists
- limω(α1, α1, α2, α2, α3, ...) = limω(αn) (scale invariance)
There are many such extensions (such as a Banach limit of α1, α2, α4, α8,...) so there are many different Dixmier traces. As the Dixmier trace is linear, it extends by linearity to all operators of L1,∞(H). If the Dixmier trace of an operator is independent of the choice of limω then the operator is called measurable.
Read more about this topic: Dixmier Trace
Famous quotes containing the word definition:
“Scientific method is the way to truth, but it affords, even in
principle, no unique definition of truth. Any so-called pragmatic
definition of truth is doomed to failure equally.”
—Willard Van Orman Quine (b. 1908)
“Was man made stupid to see his own stupidity?
Is God by definition indifferent, beyond us all?
Is the eternal truth man’s fighting soul
Wherein the Beast ravens in its own avidity?”
—Richard Eberhart (b. 1904)
“... if, as women, we accept a philosophy of history that asserts that women are by definition assimilated into the male universal, that we can understand our past through a male lens—if we are unaware that women even have a history—we live our lives similarly unanchored, drifting in response to a veering wind of myth and bias.”
—Adrienne Rich (b. 1929)