Kompakter metrischer Raum/Stetiger Integralkern/Kompakter Operator/Fakt

Es sei ein kompakter metrischer Raum mit einem endlichen Maß auf . Es sei

ein stetiger Integralkern.

Dann ist die zugehörige Transformation

mit

ein kompakter Operator.