--- title: "Baire Category and the Uniform Boundedness Principle" description: "In a nonempty complete metric space, countably many nowhere dense sets cannot cover the space. Baire's theorem yields uniform boundedness for pointwise-bounded families of bounded linear operators on " canonical: https://lightmysky.com/learn/mathematics/baire-category-and-the-uniform-boundedness-principle-mt_11Rd73trAX source: https://lightmysky.com/learn/mathematics/baire-category-and-the-uniform-boundedness-principle-mt_11Rd73trAX.md retrieved: 2026-11-12 --- > **Agent view.** This is the Markdown twin of the page, for tools and assistants. > When to use this site, and the call that answers each job: https://lightmysky.com/agent-instructions.md > API description (OpenAPI 3.1): https://lightmysky.com/openapi.json · Authentication: https://lightmysky.com/auth.md > Pricing: https://lightmysky.com/pricing.md · Catalog: https://lightmysky.com/llms.txt · Full catalog: https://lightmysky.com/llms-full.txt > Every machine-readable file on this domain: https://lightmysky.com/.well-known/ai-catalog.json > Ask for Markdown with `Accept: text/markdown`, a `.md` address, or `?mode=agent`. # Baire Category and the Uniform Boundedness Principle In a nonempty complete metric space, countably many nowhere dense sets cannot cover the space. Baire's theorem yields uniform boundedness for pointwise-bounded families of bounded linear operators on Banach spaces and proves the open mapping theorem for surjective bounded linear operators between Banach spaces. Subject: Mathematics · Area: Calculus & Analysis · Ages 23 to 24 Page: https://lightmysky.com/learn/mathematics/baire-category-and-the-uniform-boundedness-principle-mt_11Rd73trAX ## Ready when they can - 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 ## Lesson: Pointwise bounds become one uniform bound Closure means the set together with all its limit points. An open set contains a ball around each of its points. A set is nowhere dense when its closure contains no open ball. A meagre set, also called first category, is a countable union of nowhere dense sets. The rationals are dense but meagre in the real line: they are countable, and each single point is nowhere dense. A metric space is complete when every Cauchy sequence converges to a point in it. The rationals are incomplete: decimal truncations of sqrt(3) are rational and Cauchy but have an irrational limit. Baire says a nonempty complete metric space is not meagre in itself. Its proof uses nested closed balls with shrinking radii whose centres are Cauchy; completeness supplies a limit outside the proposed union. **Example.** Let bounded linear T_n on Banach X satisfy sup_n ||T_n x|| < infinity for each x. Closed sets E_k = {x: all ||T_n x|| <= k} cover X. Baire gives a closed ball of radius r > 0 at a in one E_k. For ||h|| <= r, both a+h and a lie there. Linearity and the triangle inequality give ||T_n h|| <= ||T_n(a+h)|| + ||T_n a|| <= 2k. Scaling gives ||T_n|| <= 2k/r. If ||T_n|| <= M, then ||T_n x|| <= M||x||; T_n = M times the identity attains this for M >= 0. *(drawing: Completeness enters at the Baire step, which finds a ball inside one closed set E_k.)* Open mapping: a surjective bounded linear T between Banach spaces is open. Baire, differences and scaling put a ball around 0 in the closure of T(B), with B the open unit ball. Approximate a target by Tx_j with ||x_j|| < 1, 1/2, 1/4, ... and halved residual bounds. Geometric tail bounds make partial sums Cauchy. Completeness gives their limit; continuity maps it to the target. Its norm is < 2, so T(2B) contains the ball. Translation and scaling prove openness. Closed graph: a linear T between Banach spaces X and Y with closed graph G is bounded. The product X times Y has norm max(||x||,||y||); Cauchy pairs converge coordinatewise, so it is Banach. Its closed subspace G is Banach. The projection P(x,Tx) = x is bounded and bijective. Open mapping makes P^-1 bounded. The target projection Q is bounded too, so T = Q P^-1 is bounded. Nested closed balls in Baire's proof have radii tending to 0. Late centres lie in the same small ball, so they form a Cauchy sequence. Completeness gives a limit in the space; closedness keeps it in every ball, outside the nowhere dense sets being avoided. **Recap.** For bounded linear operators on a Banach space, pointwise bounds give one bound on all operator norms. *Original lesson, questions and flashcards authored for this dataset.* ## Practice 18 questions on this page, each with its working shown. ## Needs first - [Bounded Linear Operators and the Operator Norm](https://lightmysky.com/learn/mathematics/bounded-linear-operators-and-the-operator-norm-mt_Qi_mbSNMMx) ## Optional connections - [Continuity and Uniform Continuity](https://lightmysky.com/learn/mathematics/continuity-and-uniform-continuity-mt_plWc9raOwz) ## Opens up - [The Hahn-Banach Theorem and the Dual Space](https://lightmysky.com/learn/mathematics/the-hahn-banach-theorem-and-the-dual-space-mt_pJuHFxkvjS)