The document is intended to lead to a proof of the Hodge decomposition theorem and spectral theorem of elliptic operators. The reader is assumed to be familiar with analysis and the arguments are not very detailed.

A lot of the material is based on lecture notes by Johannes Ebert, which can be found at https://ivv5hpp.uni-muenster.de/u/jeber_02/skripten.html.