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:
“According to our social pyramid, all men who feel displaced racially, culturally, and/or because of economic hardships will turn on those whom they feel they can order and humiliate, usually women, children, and animals—just as they have been ordered and humiliated by those privileged few who are in power. However, this definition does not explain why there are privileged men who behave this way toward women.”
—Ana Castillo (b. 1953)
“Although there is no universal agreement as to a definition of life, its biological manifestations are generally considered to be organization, metabolism, growth, irritability, adaptation, and reproduction.”
—The Columbia Encyclopedia, Fifth Edition, the first sentence of the article on “life” (based on wording in the First Edition, 1935)
“Perhaps the best definition of progress would be the continuing efforts of men and women to narrow the gap between the convenience of the powers that be and the unwritten charter.”
—Nadine Gordimer (b. 1923)