Continuous linear extension
In functional analysis, it is often convenient to define something on a normed vector space by defining it on a dense set and extending it to the whole space. This procedure is justified for bounded linear operators by the theorem below. The result is again linear and bounded (and thus continuous), so it is called the continuous linear extension.
Theorem
Every bounded linear transformation from a normed vector space V to a complete normed vector space W can be uniquely extended to a bounded linear transformation from the completion of V to W.
Application
Consider for instance the definition of the Riemann integral. A step function is a function of the form
where r1, ..., rn are real numbers, and 1X denotes the indicator function of the set X. The space of all step functions with the L∞ norm (see Lp space) is a normed vector space, which we denote by S. Define the integral of the step functions by
This defines a bounded linear operator I : S → R.
Let PC denote the space of bounded piecewise continuous functions, which are continuous to the right, with the L∞ norm. The space S is dense in PC, so we can apply the BLT-theorem to extend the operator I to a bounded linear operator PC → R. This defines the Riemann integral of all functions in PC.
Construction of the extension
In fact, the extended operator can be constructed explicitly.
Let L be the bounded linear transformation from V to W that we want to extend. Denote the completion of V by V′. We want to construct the extension L′ : V′ → W. Pick an x ∈ V′. The construction of V′ implies that there is a Cauchy sequence {xn} which converges to x. The sequence {L(xn)} is also Cauchy, because the operator L is bounded, hence it converges to some y ∈ W. Furthermore, the limit y does not depend on the particular Cauchy sequence {xn} we chose, so we can now define L′(x) to be y.
A proof of the theorem should additionally show that L′ inherits the linearity and boundedness of L, and that the above construction is unique.
Reference
Michael Reed and Barry Simon, Functional Analysis. Academic Press, San Diego, 1980. ISBN 0-12-585050-5.
Referenced By
Bilateral shift | List of functional analysis topics | List of mathematical topics | List of mathematical topics (A-C) | List of mathematics topics | Shift operator | Unilateral shift
|
