Sei
ein kompakter Operator.
Dann ist
Grenzwert (in
)
einer Folge von endlichdimensionalen Operatoren.
Die Nähe zum endlichdimensionalen Fall ersieht man unter anderem aus folgendem:
- Ist
ein endlichdimensionaler Operator und
,
dann folgt aus der
Injektivität von
die Existenz von
und
.
- Ist
ein kompakter Operator, dann sind äquivalent:
1. es
und ist stetig,
2.
,
d.h.
ist injektiv,
3.
,
d.h.
ist surjektiv.