Bourbaki

Exercice 11, § 1

Intégration, III

a) Montrer que lorsqu’on munit M(X;C)\mathscr{M}(X; \mathbf{C}) de la topologie quasi-forte (resp. de la topologie de la convergence strictement compacte, resp. de la topologie vague), la forme bilinéaire (f,μ)↦⟨f,μ⟩(f, \mu) \mapsto \langle f, \mu \rangle est (S,T\mathfrak{S}, \mathfrak{T})-hypocontinue, où T\mathfrak{T} est l’ensemble des parties vaguement bornées de M(X;C)\mathscr{M}(X; \mathbf{C}), et où S\mathfrak{S} est l’ensemble des parties bornées de H(X;C)\mathscr{H}(X; \mathbf{C}) contenues dans un H(X,K;C)\mathscr{H}(X, K; \mathbf{C}) pour un K compact convenable (resp. l’ensemble des parties strictement compactes de H(X;C)\mathscr{H}(X; \mathbf{C}), resp. l’ensemble des parties finies de H(X;C)\mathscr{H}(X; \mathbf{C})) (cf. Esp. vect. top., chap. III, § 4, exerc. 7).

b) Pour toute partie compacte K de X, montrer que la forme bilinéaire (f,μ)↦⟨f,μ⟩(f, \mu) \mapsto \langle f, \mu \rangle est continue dans H(X,K;C)×M(X;C)\mathscr{H}(X, K; \mathbf{C}) \times \mathscr{M}(X; \mathbf{C}) lorsqu’on munit M(X;C)\mathscr{M}(X; \mathbf{C}) de la topologie quasi-forte; elle est continue dans H(X,K;C)×M+(X)\mathscr{H}(X, K; \mathbf{C}) \times \mathscr{M}_+(X) quand on munit M+(X)\mathscr{M}_+(X) de la topologie vague (utiliser l’exerc. 10).

c) On suppose X paracompact et non compact. Montrer que la forme bilinéaire (f,μ)↦⟨f,μ⟩(f, \mu) \mapsto \langle f, \mu \rangle n’est pas continue dans H(X;C)×M+(X)\mathscr{H}(X; \mathbf{C}) \times \mathscr{M}_+(X) lorsqu’on munit M+(X)\mathscr{M}_+(X) de la topologie forte (identique dans ce cas à la topologie quasi-forte).

d) Donner un exemple où X est compact et où la forme bilinéaire (f,μ)↦⟨f,μ⟩(f, \mu) \mapsto \langle f, \mu \rangle n’est pas continue dans C(X;C)×M(X;C)C(X; \mathbf{C}) \times \mathscr{M}(X; \mathbf{C}) lorsqu’on munit C(X;C)C(X; \mathbf{C}) de la topologie de la convergence compacte (Esp. vect. top., chap. IV, § 3, exerc. 2).

Solution

Aucune solution n’a encore été écrite.

Transcrit du volume imprimé. Non traduit.