Extension of a bounded linear operator from a dense subspace

ID: extension-of-a-bounded-linear-operator-from-a-dense-subspace

Let be a dense linear subspace of a normed space , let be a Banach space, and let be linear with . Then has a unique bounded extension , defined by for any sequence converging to , and .

New to topics? Read the docs here!