Compact. Its column indexed by has entries for , and zero otherwise. The sum of that column is for , by the elementary induction . For operators from the supremum of the absolute column sums is the operator norm: one inequality is the triangle inequality, and coordinate unit vectors give the reverse. Keeping just the first input columns is finite rank and its remainder norm is at most . Hence it converges to in norm, proving compactness.

Articles by others on the same topic (0)

There are currently no matching articles.