Bourbaki

Exercice 20, § 1

Topologie générale, IX, p. 88

Bourbaki marks this one as harder than the rest.

a) Soit XX un espace topologique. Montrer que les deux propriétés suivantes sont équivalentes: α\alpha toute fonction numérique finie continue dans XX est bornée; β\beta toute fonction numérique continue et bornée dans XX atteint ses bornes. On dit que XX est un espace weierstrassien s’il possède ces propriétés. Si XX est weierstrassien, pour toute application continue ff de XX dans un espace topologique YY, le sous-espace f(X)f(X) de YY est weierstrassien. b) Dans un espace topologique XX, on considère les deux propriétés suivantes: γ\gamma pour tout recouvrement ouvert dénombrable (Un)(U_n) de XX, XX est réunion d’un nombre fini des U‾n\overline{U}_n; δ\delta toute base de filtre dénombrable sur XX, formée d’ensembles ouverts, admet au moins un point adhérent. Montrer que γ\gamma et δ\delta sont équivalentes et qu’elles entraînent que XX est weierstrassien. En particulier, tout espace absolument fermé (I, p. 108, exerc. 19) est weierstrassien. L’espace séparé défini dans I, p. 109, exerc. 21 c), est weierstrassien mais ne vérifie pas les propriétés γ\gamma et δ\delta. Si XX possède les propriétés γ\gamma et δ\delta, il en est de même de tout sous-espace de la forme U‾\overline{U}, où UU est une partie ouverte de XX (cf. exerc. 21). Montrer que les conditions γ\gamma et δ\delta sont aussi équivalentes à la suivante: γ′\gamma' toute suite localement finie (Un)(U_n) d’ouverts non vides deux à deux disjoints est finie. c) Dans un espace topologique XX, on considère la propriété: ξ\xi tout recouvrement ouvert localement fini de XX est fini.

Montrer que ξ\xi entraîne γ\gamma. (Si (Un)(U_n) est une suite croissante de parties ouvertes de XX formant un recouvrement de XX et telles que Un+1∉U‾nU_{n+1} \notin \overline{U}_n, considérer le recouvrement formé des Un+1∩∁U‾nU_{n+1} \cap \complement \overline{U}_n et du complémentaire d’une suite (an)(a_n) telle que an+1∈Un+1∩∁U‾na_{n+1} \in U_{n+1} \cap \complement \overline{U}_n).

Si XX est régulier, prouver que γ\gamma entraîne ξ\xi. (Soit (Uα)(U_\alpha) un recouvrement ouvert infini et localement fini de XX. Définir par récurrence une suite (αn)(\alpha_n) d’indices, une suite (xn)(x_n) de points de XX et, pour chaque xnx_n, deux voisinages ouverts Vn,WnV_n, W_n de xnx_n tels que: 1° on ait V‾n⊂Wn,W‾n⊂Uαn\overline{V}_n \subset W_n, \overline{W}_n \subset U_{\alpha_n}, et WnW_n ne rencontre qu’un nombre fini d’ensembles UαU_\alpha; 2° UαU_\alpha ne rencontre aucun des WkW_k d’indice k<nk < n. Considérer alors le recouvrement de XX formé des WnW_n et du ∞\infty complémentaire de la réunion des V‾n\overline{V}_n.

d) Dans un espace complètement régulier XX, montrer que les propriétés α),β),γ),δ)\alpha), \beta), \gamma), \delta), et ξ\xi sont équivalentes, et sont équivalentes à la suivante: θ) XX est précompact pour toute structure uniforme compatible avec la topologie de XX.

(Pour voir que α\alpha entraîne ζ\zeta), remarquer que si (Un)(U_n) est un recouvrement ouvert infini dénombrable et localement fini de XX et an∈Una_n \in U_n, il y a une fonction numérique ff continue dans XX et telle que f(an)=nf(a_n) = n pour tout nn. Pour montrer que θ\theta entraîne α\alpha, considérer la structure uniforme universelle sur XX (IX, p. 86, exerc. 10). Pour prouver que γ\gamma entraîne θ\theta, remarquer que si XX n’est pas précompact pour une structure uniforme UU, il existe un entourage symétrique VV pour UU et une suite (xn)(x_n) de points de XX tels que les ensembles V(xn)V(x_n) soient deux à deux disjoints.

e) Si XX est un espace complètement régulier weierstrassien et tel que XX soit complet pour une structure uniforme compatible avec sa topologie, XX est compact.

f) Sur un espace complètement régulier weierstrassien XX, la structure uniforme universelle (IX, p. 86, exerc. 10) est induite par la structure uniforme du compactifié de Stone-Čech βX\beta X, et est la seule structure uniforme rendant uniformément continues les applications continues de XX dans [0,1][0, 1], et compatible avec la topologie de XX.

Solution

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

Transcrit du volume imprimé. Non traduit.