Chapter 6 The Baire Category Theorem
In this chapter we prove an important theorem, the Baire category theorem, relating to complete metric spaces. This theorem underpins three of the cornerstones of functional analysis: the uniform boundedness principle, the open mapping theorem, and the closed graph theorem.