Chapters 16 and 17 provide a treatment of the techniques in Hilbert space, the Fourier transform, and elliptic operator theory necessary to establish the spectral decomposition theorem of a self-adjoint operator of Laplace type and to prove the Hodge Decomposition Theorem that was stated without proof in Book II.