Integral operator with bounded kernel. (Q2599165)

\(K (x, y)\) und \(N (x, y)\) seien beschränkt und meßbar für \(0 \leqq \displaystyle{x\atop y} \leqq 1\). \((L)\) sei der Raum aller meßbaren Funktionen \(f (x)\), die in \(0\leqq x \leqq1\) absolut integrabel sind, \((M)\) der Raum aller beschränkten meßbaren Funktionen \(f (x)\) mit \(0\leqq x\leqq1\), \((\mathfrak M)\) der Banachraum, der aus allen Mengenfunktionen \(\varphi(E)\) besteht, die totaladditiv für alle Borelmengen aus dem Intervall \(0\leqq x \leqq1\) sind. Die Integraloperation \[ \llap{\(K\):\qquad\quad} g(y)=\int\limits_0^1 f(x)K(x,y)\,dx \] braucht nicht vollstetig in \((L)\) zu sein, wie an einem Beispiel gezeigt wird. Dagegen ist der Integraloperator \(P(x, y) = \displaystyle\int\limits_0^1 N (x, z) K(z, y)\, dz\) als \((L)\) in \((L)\) abbildender Operator vollstetig, ebenso als Operator, der \((\mathfrak M)\) in \((\mathfrak M)\) abbildet. Der Integraloperator \(K\) selbst ist vollstetig als Operator, der \((M)\) auf \((L)\) abbildet.