Having established the Baire space, we will here state and prove a version of the Baire Category Theorem, which is an important tool used within functional analysis, as well as also having applications in other parts of analysis and topology. After proving the theorem, we will state a few results in which the proofs rely on the theorem, to get a feeling of its power. Continue reading