Identification of the support for the generalized functions.
We analyze some aspects of Mercer's theory when the integral operators act on L²(X,σ), where X is a first countable topological space and σ is a non-degenerate measure. We obtain results akin to the well-known Mercer's theorem and, under a positive definiteness assumption on the generating kernel of the operator, we also deduce series representations for the kernel, traceability of the operator and an integration formula to compute the trace. In this way, we upgrade considerably similar results...