Définition 10

Étiquette 0ECZ, permanente. À citer comme [Bourbaki, Tag 0ECZ].

General Topology, chapter IX, § 6. Espaces polonais ; espaces sousliniens ; ensembles boréliens

Soit $f$ une capacité sur $X$ ; on dit qu’une partie $A$ de $X$ est capacitable (pour $f$ ) si $f(A) = \sup_K f(K)$ , où $K$ parcourt l’ensemble des parties compactes de $A$ .

Par exemple, si $\mu$ est une mesure sur $X$ , et si $f$ est la mesure extérieure essentielle $\mu^*$ , tout ensemble $\mu$ -mesurable est capacitable (INT, IX, § 1).

Bourbaki place la démonstration juste après l’énoncé : ce qui précède est l’énoncé avec sa démonstration.

Cité par

Rien.

Cite

Rien.