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:
“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)
“... 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)
“... 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)