This comprehensive introduction to functional analysis covers both the abstract theory and applications. With carefully written out proofs, more than 300 problems, and appendices covering prerequisites, this self-contained volume can be used as a text for a graduate-level course and as a reference text for researchers in the field.