EN
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 found in the literature, in which X is always metrizable and compact and the measure σ is finite.