Also known as the Banach–Steinhaus theorem: for a family of continuous linear operators from a Banach space X to a normed space Y, if the family is pointwise bounded (for every x in X the sup of operator norms applied to x is finite) then the operator norms are uniformly bounded (sup of operator norms is finite).

Principle

Pointwise control on a nonmeager domain in a complete metric (Banach) setting, combined with Baire category arguments, forces a global uniform bound on operator norms; local boundedness propagates to uniform boundedness under completeness.

Demonstration

Let {T_n} be continuous linear operators X→Y. If for each x in X the sequence {T_n x} is bounded in Y, the principle yields M with ||T_n|| ≤ M for all n. A typical contradiction proof uses sets where ||T_n x|| ≤ k, Baire category, and completeness of X to extract a ball on which the family is uniformly bounded.

Misapplication

Applying the result to families of nonlinear maps, to operators between noncomplete normed spaces, or assuming uniform boundedness from weakened pointwise conditions: completeness (Banach domain) and linearity are essential hypotheses.

Consequence

Provides a key tool to deduce uniform operator bounds from apparently weaker pointwise information and is central in functional analysis for proving existence results and ruling out pathological unbounded families under pointwise control.

Reversal

If a family of operators fails to be uniformly bounded then there exists at least one point where the family is unbounded pointwise; lack of uniform boundedness manifests as divergence on a dense set or along a sequence of points.

Boundary

Requires linear operators and a Banach domain (completeness). The theorem does not hold in general for families of nonlinear mappings or for domains lacking the Baire property.

Semantic Tension

Relates to but differs from the open mapping and closed graph theorems: all three are pillars of Banach space theory with differing hypotheses and conclusions—uniform boundedness translates pointwise boundedness to uniform operator norm control, while the others address surjectivity and closedness issues.

Synthesis

The Uniform Boundedness Principle converts pointwise boundedness of a family of continuous linear operators on a Banach space into a single global bound on operator norms, leveraging completeness and category arguments to turn local control into uniform control.