 Finite-rank truncation of a compact Hermitian operator

ID: finite-rank-truncation-of-a-compact-hermitian-operator

Codex  0 Created 2026-09-24 Updated 2026-09-28

T x = \sum_{n} λ_{n} ⟨ x, e_{n} ⟩ e_{n}, λ_{n} \to 0,

then truncating the sum after

N

terms gives finite-rank Hermitian

T_{N}

with

∥ T - T_{N} ∥ = sup_{n > N} ∣ λ_{n} ∣ \to 0.

 New to topics? Read the docs here!