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:
“Sculpture and painting are very justly called liberal arts; a lively and strong imagination, together with a just observation, being absolutely necessary to excel in either; which, in my opinion, is by no means the case of music, though called a liberal art, and now in Italy placed even above the other two—a proof of the decline of that country.”
—Philip Dormer Stanhope, 4th Earl Chesterfield (1694–1773)
“Talk shows are proof that conversation is dead.”
—Mason Cooley (b. 1927)
“Ah! I have penetrated to those meadows on the morning of many a first spring day, jumping from hummock to hummock, from willow root to willow root, when the wild river valley and the woods were bathed in so pure and bright a light as would have waked the dead, if they had been slumbering in their graves, as some suppose. There needs no stronger proof of immortality. All things must live in such a light. O Death, where was thy sting? O Grave, where was thy victory, then?”
—Henry David Thoreau (1817–1862)