 In the finite-dimensional case, part of the first approach works in much greater generality; any square matrix, not necessarily Hermitian, has an eigenvector.This is simply not true for general operators on Hilbert spaces.The spectral theorem for the compact self adjoint case can be obtained analogously