In functional analysis, it is often convenient to define a linear transformation on a complete, normed vector space X by first defining a linear transformation T on a dense subset of X and then extending T to the whole space via the theorem below. The resulting extension remains linear and bounded (thus continuous).
This procedure is known as continuous linear extension.
Every bounded linear transformation T from a normed vector space X to a complete, normed vector space Y can be uniquely extended to a bounded linear transformation T ~ from the completion of X to Y . In addition, the operator norm of T is c iff the norm of T ~ is c .
This theorem is sometimes called the B L T theorem, where B L T stands for bounded linear transformation.
Consider, for instance, the definition of the Riemann integral. A step function on a closed interval [ a , b ] is a function of the form: f ≡ r 1 1 [ a , x 1 ) + r 2 1 [ x 1 , x 2 ) + ⋯ + r n 1 [ x n − 1 , b ] where r 1 , … , r n are real numbers, a = x 0 < x 1 < … < x n − 1 < x n = b , and 1 S denotes the indicator function of the set S . The space of all step functions on [ a , b ] , normed by the L ∞ norm (see Lp space), is a normed vector space which we denote by S . Define the integral of a step function by: I ( ∑ i = 1 n r i 1 [ x i − 1 , x i ) ) = ∑ i = 1 n r i ( x i − x i − 1 ) . I as a function is a bounded linear transformation from S into R .
Let P C denote the space of bounded, piecewise continuous functions on [ a , b ] that are continuous from the right, along with the L ∞ norm. The space S is dense in P C , so we can apply the B.L.T. theorem to extend the linear transformation I to a bounded linear transformation I ~ from P C to R . This defines the Riemann integral of all functions in P C ; for every f ∈ P C , ∫ a b f ( x ) d x = I ~ ( f ) .
The above theorem can be used to extend a bounded linear transformation T : S → Y to a bounded linear transformation from S ¯ = X to Y , if S is dense in X . If S is not dense in X , then the Hahn–Banach theorem may sometimes be used to show that an extension exists. However, the extension may not be unique.