Déterminant de Fredholm
Un article de Wikipédia, l'encyclopédie libre.
Le déterminant de Fredholm est une fonction analytique complexe qui généralise pour les opérateurs la notion de déterminant associée aux matrices. Le déterminant de Fredholm est défini pour les opérateurs à noyau continu.
[modifier] Présentation informelle
Le déterminant de Fredholm peut être défini par
où K est un opérateur intégral. Sa trace est donnée par
et
et ainsi de suite.