Kompakte Operatoren im Hilbert-Raum

Sei ein kompakter Operator. Dann ist T Grenzwert (in ) einer Folge von endlichdimensionalen Operatoren. Die Nähe zum endlichdimensionalen Fall ersieht man unter anderem aus folgendem: