Finite column sum does not imply boundedness

ID: finite-column-sum-does-not-imply-boundedness

An everywhere-defined linear operator on an infinite-dimensional separable Hilbert space need not be bounded merely because for a Hilbertian basis . Let , extend to a Hamel basis, and let the linear functional equal one on and zero on every other basis vector. Then has for every but . For , while , proving discontinuity. Thus the definition of a Hilbert-Schmidt operator must require boundedness, or first define the operator on finite linear combinations and take its unique continuous extension.

New to topics? Read the docs here!