This book contains the author's notes for a course that he taught at ETH, Zurich. The aim is to lead the reader to a proof of the Peter-Weyl theorem, the basic theorem in the representation theory of compact topological groups. The topological, analytical, and algebraic groundwork needed for the proof is provided as part of the course.