Measure, Integration & Real Analysis · Problem 6D.13
L^p Spaces — Sheldon Axler
Mathematics — Measure Theory · unique-extension-bounded-functional
Problem
Suppose V is a normed vector space, U is a subspace of V, and ψ:U→R is a bounded linear functional. Prove that ψ has a unique extension to a bounded linear functional φ on V with ∥φ∥=∥ψ∥ if and only if
f∈Usup(−∥ψ∥∥f+h∥−ψ(f))=g∈Uinf(∥ψ∥∥g+h∥−ψ(g))
for every h∈V∖U.