So, obviously one can diagonalize any self-adjoint transformation on a finite dimensional vector space. This is pretty simple to prove. What I'm curious about is integral operators. How does this proof need to be adapted to handle integral operators? What goes wrong? What do we need to account for? Are there any corresponding theorems I might want to look at?