Exemple 3

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

Si E est séparé, pour tout point $y \in X$ et toute fonction $f \in \tilde{\mathscr{K}}(X; E)$ , on a

\int f d\varepsilon_y = f(y)

car

\int \langle f, z' \rangle d\varepsilon_y = \langle f(y), z' \rangle

par définition.

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.

Rien.