Definition
Let H be a Hilbert space and G the set of bounded invertible operators on H of the form I + T, where T is a trace-class operator. G is a group because
It has a natural metric given by d(X, Y) = ||X - Y||1, where || ยท ||1 is the trace-class norm.
If H is a Hilbert space with inner product, then so too is the kth exterior power with inner product
In particular
gives an orthonormal basis of if (ei) is an orthonormal basis of H. If A is a bounded operator on H, then A functorially defines a bounded operator on by
If A is trace-class, then (A) is also trace-class with
This shows that the definition of the Fredholm determinant given by
makes sense.
Read more about this topic: Fredholm Determinant
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)
“The definition of good prose is proper words in their proper places; of good verse, the most proper words in their proper places. The propriety is in either case relative. The words in prose ought to express the intended meaning, and no more; if they attract attention to themselves, it is, in general, a fault.”
—Samuel Taylor Coleridge (1772–1834)