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.
Articles by others on the same topic
There are currently no matching articles.