Norm attainment on the vanishing sequence space
ID: norm-attainment-on-the-vanishing-sequence-space
The continuous linear functional on the real space of sequences converging to zero corresponds to and has operator norm . Equality on the closed unit ball forces on the support of , since every term is nonnegative. Such an can tend to zero only if that support is finite. Conversely, the finite sign sequence attains equality for every finitely supported sequence .
New to topics? Read the docs here!