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.