Definition
Let
be a sequence of (complex) Hilbert spaces and
be the bounded operators from Hi to Hj.
A map A on where
is called a positive definite kernel if for all m > 0 and , the following non-negativity condition holds:
bounded operator:http://www.encyclopediaofmath.org/index.php/Bounded_operator