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.

Firstly I will state two essential properties of the Baire space, which I perhaps will come back to another time and prove – for now I will simply use them to proving the Baire Category Theorem. Here stated in a lemma:

Lemma.The Baire space is a complete metric space, where the metric is defined as.

This lemma then also means that any statement involving open sets can equivalently be stated in terms of the metric alone and vice versa. Although it is merely stated as a lemma for the purpose of this blog post, the completeness in particular is not trivial. Taking this lemma as a fact, we can prove the theorem:

Theorem (Baire Category Theorem).Let be the Baire space and define to be a sequence of dense open subsets of . Thenis dense in the Baire space as well.

*Proof. *We show that . Fix . Since is dense and open, is nonempty and open, so we can choose such that and for some (chosen with the axiom of choice). Then since is open and dense, is nonempty and open, and again we pick such that and . Continue recursively in this manner, generating a sequence , which is Cauchy due to our choices of the ‘s. Since the Baire space is complete, the sequence converges to some . Now, for any ,

,

since closedness ensures containment of the limit point ; thus meaning . Since furthermore for every by construction, is dense in the Baire space.

Now, to provide some overview as to how this relates to other areas of mathematics, the most important implications lie within functional analysis:

Theorem (Open Mapping Theorem).Let , be Banach spaces and be a surjective continuous linear map. Then is an open map, i.e. is open for every open set .

Theorem (Closed Graph Theorem).Let , be Banach spaces and a linear map. Then is continuous if and only if its graph is a closed subset of with the product topology.

However, it also leads to interesting results within real analysis – for instance:

Theorem.Let satisfying . Then is a polynomial.