Maßraum/Messbarer Integralkern/Linearer Operator/Fakt

Es sei ${}(M,\mu )$ ein endlicher Maßraum mit dem Produktraum ${}M\times M$ und sei

$K\colon M\times M\longrightarrow {\mathbb {K} }$

ein beschränkter messbarer Integralkern.

Dann ist die zugehörige Transformation

$T_{K}\colon L^{2}(M)\longrightarrow L^{2}(M),\,f\longmapsto T_{K}(f),$

mit

${}(T_{K}(f))(u)=\int _{M}K(u,t)f(t)d\mu (t)\,$

eine stetiger linearer Operator.

Zum Beweis, Alternativen Beweis erstellen