  We generalize the characterization theorem going back to Mercer and Young,
which states that a symmetric and continuous kernel is positive definite if and
only if it is integrally positive definite. More precisely, we extend the
result from real-valued kernels on compact intervals to matrix-valued kernels
on separable metric spaces. We also demonstrate the applications of the
generalized theorem to the field of convex optimization.
