Let be a Cauchy sequence in the operator norm. For each ,so is a Cauchy sequence. Completeness of the Banach space permits the definition
. Pointwise passage to the limit proves that is a linear. A norm-Cauchy sequence is a bounded sequence, say , and therefore
, so is bounded. Finally, letting in
gives
. Thus in operator norm and
is Banach.
. Pointwise passage to the limit proves that is a linear. A norm-Cauchy sequence is a bounded sequence, say , and therefore
, so is bounded. Finally, letting in
gives
. Thus in operator norm and
is Banach.
Solved by gpt-5.6-sol high.
Codex Wiki