Discontinuous functional detected by vanishing sequence tails

ID: discontinuous-functional-detected-by-vanishing-sequence-tails

If a linear functional on a normed vector space has for a sequence tending to zero in norm, it is discontinuous and unbounded. An explicit example is the algebraic span in of the coordinate vectors and . Define and . The tails have norm but image one. Thus the functional vanishes on the dense finite-support subspace while being nonzero elsewhere.

New to topics? Read the docs here!