---
title: "Baire Category and the Uniform Boundedness Principle"
description: "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 ma"
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-09-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 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.

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

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.

**Example.** 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.

**Tip.** 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.

**Recap.** Completeness plus category turns bounds at each point into one bound for all points.

## Practice

18 questions on this page, each with its working shown.

## Needs first

- [Continuity and Uniform Continuity](https://lightmysky.com/learn/mathematics/continuity-and-uniform-continuity-mt_plWc9raOwz)
- [Bounded Linear Operators and the Operator Norm](https://lightmysky.com/learn/mathematics/bounded-linear-operators-and-the-operator-norm-mt_Qi_mbSNMMx)

## 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)