Nuclearity of a nonnegative definite integral kernel on a separable metric space (Q1187528): Difference between revisions
From MaRDI portal
Removed claims |
Changed an Item |
||
Property / author | |||
Property / author: Hiroshi Sato / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: James R. Holub / rank | |||
Normal rank |
Revision as of 13:54, 10 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Nuclearity of a nonnegative definite integral kernel on a separable metric space |
scientific article |
Statements
Nuclearity of a nonnegative definite integral kernel on a separable metric space (English)
0 references
22 July 1992
0 references
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.
0 references
nonnegative definite integral kernel
0 references
\(U\)-statistics
0 references
nuclearity of an operator
0 references