Soit X un espace séparé localement compact et dénombrable à l’infini. Désignons par l’espace des fonctions numériques réelles continues sur X et à support compact et par l’espace complété de par la norme uniforme, et par et les sous-ensembles de et constitués par des fonctions non-négatives.