Nuclearity of a nonnegative definite integral kernel on a separable metric space (Q1187528)

This paper is devoted to a proof of the following result: Theorem 1: Let \((X,d)\) be a separable metric space, \(\mu\) a locally finite Borel measure on \(X\), and \(K(x,y)\) a continuous function on \(X \times X\) for which 1) \(\int_ X \int_ X | K(x,y) |^ 2d \mu(x)d \mu(y)<+\infty\), and 2) \(\int_ X \int_ XK(x,y)f(x) \overline{f(y)} d\mu(x)d \mu(y) \geq 0\) for all \(f\) in \(L^ 2(X)\). Then the linear operator \(K\) on \(L^ 2(X,\mu)\) defined by \((Kf)(x)=\int_ XK(x,y)f(y)d \mu(y)\) is nuclear if and only if: 3) \(\int_ XK(x,x)d \mu(x)<+ \infty\). From this it follows (Theorem 2) that if there is a \(\mu\)-measurable set \(X_ 0\) for which \(\mu(X \backslash X_ 0)=0\) and \(K\) is continuous on \(X_ 0\) and satisfies 1) and 2), then \(K\) is again nuclear on \(L^ 2(X)\) if and only if 3) holds, and this result, in turn, leads to a proof of the nuclearity of an operator appearing in limit theorems for \(U\)- statistics.