有界線性算子與算子範數

Theorem. For a linear map T: X -> Y between normed spaces,
the following are equivalent:
   (a) T is continuous at every point;
   (b) T is continuous at 0;
   (c) T is bounded: ∃ C with ||Tx|| ≤ C ||x|| for all x.

(a) ⇒ (b): trivial, 0 is a point.

(b) ⇒ (c): Continuity at 0 with ε = 1 gives δ > 0 such that
    ||u|| ≤ δ  ⇒  ||Tu|| ≤ 1.
Take any x ≠ 0 and set u = δ x / ||x||, so ||u|| = δ. Then
    ||T u|| = (δ / ||x||) ||T x|| ≤ 1
  ⇒  ||T x|| ≤ (1/δ) ||x||.
So C = 1/δ works (x = 0 is trivial).

(c) ⇒ (a): For any x, a, linearity gives
    ||T x - T a|| = ||T(x - a)|| ≤ C ||x - a||.
Given ε > 0, choose δ = ε / C; then ||x - a|| < δ forces
    ||T x - T a|| < ε.
So T is (in fact Lipschitz, hence uniformly) continuous.  ∎

Worked value. Let X = C[0,1] with sup norm, and define the
integration functional  T f = ∫_0^1 f(t) dt.

Upper bound:  |T f| = |∫_0^1 f| ≤ ∫_0^1 |f(t)| dt
                    ≤ ∫_0^1 ||f||_∞ dt = ||f||_∞.
So ||T|| ≤ 1.

Attained:  take f ≡ 1, then ||f||_∞ = 1 and T f = 1.
So ||T|| ≥ |T f| / ||f||_∞ = 1.

Therefore  ||T|| = 1.

Submultiplicativity, sanity check. If S, T are bounded and
   ||T x|| ≤ ||T|| ||x||,  ||S y|| ≤ ||S|| ||y||,  then
   ||S T x|| ≤ ||S|| ||T x|| ≤ ||S|| ||T|| ||x||,
so ||S T|| ≤ ||S|| ||T||.