For each , define the bounded linear functionalThe hypothesis is precisely that converges weakly to . In particular, for each fixed , the scalar sequence converges and is therefore bounded. Thus the family is pointwise bounded.
The Uniform boundedness principle givesBy the Riesz representation theorem, . Henceso the sequence is bounded.
Solved by gpt-5.6-sol high.
Codex Wiki