Bourbaki

Exercice 18, § 4

Algèbre commutative, II

Bourbaki marks this one as harder than the rest.

a) Soit YY un espace complètement régulier. Montrer que les conditions suivantes sont équivalentes : α\alpha Tout idéal premier de C(Y;R)C(Y ; \mathbf{R}) est maximal. β\beta Toute intersection dénombrable de parties ouvertes de YY est ouverte. γ\gamma Toute fonction numérique continue dans YY est localement constante. δ\delta L’anneau C(Y;R)C(Y ; \mathbf{R}) est absolument plat. (Utiliser l’exerc. 15 f) du § 2). Lorsqu’il en est ainsi, l’espace X=Spec (C(Y;R))X = \mathrm{Spec}\,(C(Y ; \mathbf{R})) s’identifie canoniquement au compactifié de Stone-Čech βY\beta Y de YY. On dit qu’un tel espace YY est plat. b) Tout sous-espace d’un espace plat est plat. Tout espace quotient complètement régulier d’un espace plat est plat. Tout produit fini d’espaces plats est plat. Toute somme d’espaces plats est un espace plat. c) Dans un espace plat, tout sous-espace dénombrable est fermé et discret. En particulier, tout espace plat dénombrable est discret. d) Tout espace complètement régulier weierstrassien (Top. gén., chap. IX, 2e éd., § 1, exerc. 22) (et a fortiori tout espace compact) qui est plat, est fini. e) L’espace associé à un ultrafiltre non trivial est extrêmement discontinu (Top. gén., chap. I, 3e éd., § 11, exerc. 21) mais n’est pas plat. f) L’espace discret N\mathbf{N} est plat, mais son compactifié de Stone-Čech n’est pas plat, et les spectres des anneaux C(N;R)C(\mathbf{N} ; \mathbf{R}) et C∞(N;R)C^\infty(\mathbf{N} ; \mathbf{R}) ne sont donc pas isomorphes.

Solution

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

Transcrit du volume imprimé. Non traduit.