Fredholm-Determinante
Definition
Die Fredholm-Determinante det(I+K) ist ein Skalar, definiert für Spurklasse-(nukleare) Operatoren K auf einem Hilbertraum, konstruiert als konvergentes Produkt ∏_j (1+λ_j) über Eigenwerte λ_j von K (mit algebraischer Vielfachheit), bzw. äquivalent durch det(I+K)=exp(Tr log(I+K)). Sie charakterisiert die Invertierbarkeit von I+K und die analytische Parameterabhängigkeit.