Exercice 20, § 1
Topologie générale, IX, p. 88
Bourbaki marks this one as harder than the rest.
a) Soit un espace topologique. Montrer que les deux propriétés suivantes sont équivalentes: toute fonction numérique finie continue dans est bornée; toute fonction numérique continue et bornée dans atteint ses bornes. On dit que est un espace weierstrassien s’il possède ces propriétés. Si est weierstrassien, pour toute application continue de dans un espace topologique , le sous-espace de est weierstrassien. b) Dans un espace topologique , on considère les deux propriétés suivantes: pour tout recouvrement ouvert dénombrable de , est réunion d’un nombre fini des ; toute base de filtre dénombrable sur , formée d’ensembles ouverts, admet au moins un point adhérent. Montrer que et sont équivalentes et qu’elles entraînent que 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 et . Si possède les propriétés et , il en est de même de tout sous-espace de la forme , où est une partie ouverte de (cf. exerc. 21). Montrer que les conditions et sont aussi équivalentes à la suivante: toute suite localement finie d’ouverts non vides deux à deux disjoints est finie. c) Dans un espace topologique , on considère la propriété: tout recouvrement ouvert localement fini de est fini.
Montrer que entraîne . (Si est une suite croissante de parties ouvertes de formant un recouvrement de et telles que , considérer le recouvrement formé des et du complémentaire d’une suite telle que ).
Si est régulier, prouver que entraîne . (Soit un recouvrement ouvert infini et localement fini de . Définir par récurrence une suite d’indices, une suite de points de et, pour chaque , deux voisinages ouverts de tels que: 1° on ait , et ne rencontre qu’un nombre fini d’ensembles ; 2° ne rencontre aucun des d’indice . Considérer alors le recouvrement de formé des et du complémentaire de la réunion des .
d) Dans un espace complètement régulier , montrer que les propriétés , et sont équivalentes, et sont équivalentes à la suivante: θ) est précompact pour toute structure uniforme compatible avec la topologie de .
(Pour voir que entraîne ), remarquer que si est un recouvrement ouvert infini dénombrable et localement fini de et , il y a une fonction numérique continue dans et telle que pour tout . Pour montrer que entraîne , considérer la structure uniforme universelle sur (IX, p. 86, exerc. 10). Pour prouver que entraîne , remarquer que si n’est pas précompact pour une structure uniforme , il existe un entourage symétrique pour et une suite de points de tels que les ensembles soient deux à deux disjoints.
e) Si est un espace complètement régulier weierstrassien et tel que soit complet pour une structure uniforme compatible avec sa topologie, est compact.
f) Sur un espace complètement régulier weierstrassien , la structure uniforme universelle (IX, p. 86, exerc. 10) est induite par la structure uniforme du compactifié de Stone-Čech , et est la seule structure uniforme rendant uniformément continues les applications continues de dans , et compatible avec la topologie de .
Solution
Aucune solution n’a encore été écrite.