Maybe a definition of functional calculus? Using quantum mechanics notation, if $A$ is self-adjoint and compact, then $A = \sum \lambda_k |k\rangle\langle k|$, which means that for $f:\mathbb{R}\to\mathbb{R}$ we can define $f(A) = \sum f(\lambda_k) |k\rangle\langle k|$.
This allows us to give a simple demonstration of Stone's theorem for such operators: that $\exp itA$ is a strongly continuous one-parameter unitary group on your Hilbert space.
It also gives very simple motivation for the construction of Green's functions and resolvent operators.
Besides the usual quantum harmonic oscillator, a similar construction can be used to give the decomposition of $L^2$ via eigenfunctions of the Laplacian on a compact manifold. This naturally leads to the Hodge decomposition, which I'm told is generally considered to be somewhat useful :-)
That on a compact manifold, the inverse of the Laplacian is a compact operator means that, discarding the harmonic functions, the Laplacian has a lowest eigenvalue. This fact (and that self-adjointness allows it to be diagonalized) allows you to define the Zeta-function determinant of the Laplacian using some analytic continuation tricks. On 2-dimensional closed surfaces, this is an interesting invariant with nice geometric properties.
(Note that in the case of non-compact domains, the inverse Laplacian is no longer a compact operator, and the Laplacian has a continuous spectrum. So the summation in the zeta-function determinant no longer makes any sense...)