Compact factorial triangular operator on l1
ID: compact-factorial-triangular-operator-on-l1
The operator in the title is bounded and compact on the absolutely summable sequence space. The norm of a matrix operator on is the supremum of its absolute column sums: the triangle inequality gives one bound and coordinate unit vectors give the other. Here the column sum is , using . The latter inequality follows by induction. Retaining the first columns gives a finite-rank operator and a remainder of norm at most . A norm limit of finite-rank operators is a compact operator, proving the assertion. This column-decay method can prove compactness even when each row has infinitely many nonzero entries.
New to topics? Read the docs here!