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:
“... 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)
“Beauty, like all other qualities presented to human experience, is relative; and the definition of it becomes unmeaning and useless in proportion to its abstractness. To define beauty not in the most abstract, but in the most concrete terms possible, not to find a universal formula for it, but the formula which expresses most adequately this or that special manifestation of it, is the aim of the true student of aesthetics.”
—Walter Pater (1839–1894)
“... we all know the wag’s definition of a philanthropist: a man whose charity increases directly as the square of the distance.”
—George Eliot [Mary Ann (or Marian)