These are lecture notes for Functional Analysis (Math 920), Spring 2008. The text for this course is Functional Analysis by Peter D. Lax, John Wiley & Sons (2002), referred to as "Lax" below. In some places I follow the book closely in others additional material and alternative proofs are given.