Definition
Mimicking the definition for matrices, a bounded linear operator A over a separable Hilbert space H is said to be in the trace class if for some (and hence all) orthonormal bases {ek}k of H the sum of positive terms
is finite. In this case, the sum
is absolutely convergent and is independent of the choice of the orthonormal basis. This value is called the trace of A. When H is finite-dimensional, every operator is trace class and this definition of trace of A coincides with the definition of the trace of a matrix.
By extension, if A is a non-negative self-adjoint operator, we can also define the trace of A as an extended real number by the possibly divergent sum
Read more about this topic: Trace Class
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)
“The very definition of the real becomes: that of which it is possible to give an equivalent reproduction.... The real is not only what can be reproduced, but that which is always already reproduced. The hyperreal.”
—Jean Baudrillard (b. 1929)
“Mothers often are too easily intimidated by their children’s negative reactions...When the child cries or is unhappy, the mother reads this as meaning that she is a failure. This is why it is so important for a mother to know...that the process of growing up involves by definition things that her child is not going to like. Her job is not to create a bed of roses, but to help him learn how to pick his way through the thorns.”
—Elaine Heffner (20th century)