Proof
The following is a standard proof that a complete pseudometric space is a Baire space.
Let be a countable collection of open dense subsets. We want to show that the intersection is dense. A subset is dense if and only if every nonempty open subset intersects it. Thus, to show that the intersection is dense, it is sufficient to show that any nonempty open set has a point in common with all of the . Since is dense, intersects ; thus, there is a point and such that:
where and denote an open and closed ball, respectively, centered at with radius . Since each is dense, we can continue recursively to find a pair of sequences and such that:
(This step relies on the axiom of choice.) Since when, we have that is Cauchy, and hence converges to some limit by completeness. For any, by closedness,
Therefore and for all .
Read more about this topic: Baire Category Theorem
Famous quotes containing the word proof:
“There are some persons in this world, who, unable to give better proof of being wise, take a strange delight in showing what they think they have sagaciously read in mankind by uncharitable suspicions of them.”
—Herman Melville (1819–1891)
“The proof of a poet is that his country absorbs him as affectionately as he has absorbed it.”
—Walt Whitman (1819–1892)
“If any proof were needed of the progress of the cause for which I have worked, it is here tonight. The presence on the stage of these college women, and in the audience of all those college girls who will some day be the nation’s greatest strength, will tell their own story to the world.”
—Susan B. Anthony (1820–1906)