Norming subspace of a dual space
ID: norming-subspace-of-a-dual-space
A vector subspace is norming if some satisfies the displayed inequality. It retains enough continuous linear functionals to control the norm of every vector. Every such vector subspace is dense for the weak-star topology: otherwise a nonzero evaluation linear functional would annihilate its weak-star closure, contradicting the inequality. In the real case its symmetric unit ball makes the absolute-value and signed supremum versions equivalent.
New to topics? Read the docs here!