Mesure régulière dans un espace métrique

[legeniedesalpages]

Bonsoir je n'arrive pas à démontrer cette proposition:

Si est un espace métrique et une mesure sur les boréliens vérifiant:

(a) est localement compact séparable et est finie sur les compacts,

ou

(b) est complet séparable et est finie,

alors est régulière.


Merci pour votre aide