Kompakter metrischer Raum/Stetiger Integralkern/Kompakter Operator/Fakt/Beweis

Beweis

Ein stetiger linearer Operator liegt nach Fakt vor.