Determinante de Fredholm
Definición
El determinante de Fredholm det(I+K) es un escalar definido para operadores de clase traza (nucleares) K en un espacio de Hilbert, construido como el producto convergente ∏_j (1+λ_j) sobre los autovalores λ_j de K (contados con multiplicidad algebraica), o equivalentemente por det(I+K)=exp(tr log(I+K)). Caracteriza la invertibilidad de I+K y la dependencia analítica respecto a parámetros.