Baire Category and the Uniform Boundedness Principle
In a complete space, a countable union of nowhere dense sets cannot fill the space. That one fact upgrades pointwise bounds on a family of operators into a single uniform bound, and it is also what makes a surjective bounded operator an open map.
What a learner can do afterwards
- State the category theorem and point at the step where completeness is used
- Derive a uniform bound from pointwise bounds on a family of operators
- Say what the open mapping and closed graph theorems add to the same argument
1 · Read
The reals fill the line with no gaps, while the rationals leave holes at every irrational. Approximating a root by decimals builds bunching terms with no rational target in sight. Completeness fills those holes: every bunching sequence actually lands somewhere in the space.
The category theorem says a complete space cannot be filled by a countable union of nowhere dense sets. Dense is not the same as large: the rationals sit everywhere yet stay thin in this category sense. Completeness is the load-bearing step, since bunching alone cannot conjure a limit from thin air.
The uniform boundedness principle upgrades pointwise bounds into one uniform bound. Take a family of operators bounded at each single point. On a complete space, category forces a single cap on operator norms that works everywhere at once. Pointwise control becomes uniform control.
Place the sibling theorems correctly. The open mapping theorem says a surjective bounded operator sends open sets to open sets. The closed graph theorem gives boundedness from a closed graph. Both extend the same completeness-powered argument into new territory.
Completeness plus category turns bounds at each point into one bound for all points.
2 · Watch
Take it off screen
Where it sits
8 questions wait behind this lesson, each with its answer explained. Every answer feeds the sky: stars light as they are learned, and dim when it is time to come back.