Espace noethérien

En mathématiques, un espace noethérien (le nom fait référence à Emmy Noether) est un espace topologique qui vérifie la condition de chaîne descendante sur les fermés ou, ce qui revient au même, la condition de chaîne ascendante sur les ouverts.

Définition

Un espace topologique $X$ est dit Modèle:Page h' si toute suite décroissante de fermés de $X$ est stationnaire, c'est-à-dire constante à partir d'un certain rang.

Propriétés

• Un espace $X$ est noethérien si et seulement si tout ouvert de $X$ est quasi-compact.
• Cette condition est aussi équivalent à celle, plus forte en apparence, de « quasi-compacité Modèle:Lien » : $X$ est noethérien si et seulement si tout sous-espace de $X$ est quasi-compact.
• Il en résulte que tout sous-espace d'un espace noethérien est noethérien.
• Si $X$ est réunion finie de sous-espaces noethériens, alors $X$ est noethérien.
• Un espace discret et noethérien est nécessairement fini.
• Si $X$ est un espace noethérien séparé, alors toute partie de $X$ est compacte, donc fermée. Il suit que $X$ est discret, donc fini.

Utilisations

Espaces noethériens en géométrie algébrique

De nombreux exemples d'espaces noethériens proviennent de la géométrie algébrique. Une variété algébrique, munie de la topologie de Zariski, est réunion finie d'ouverts qui sont des variétés algébriques affines. Or les fermés d'une variété algébrique affine V sont en bijection (décroissante) avec les idéaux radiciels de l'anneau O(V) de ses fonctions régulières. La condition de chaîne descendante dans V correspond à la condition de chaîne ascendante dans l'anneau noethérien O(V). Donc V, ainsi que toute variété algébrique, est noethérien. Cette classe d'exemples explique aussi le nom de « noethériens » donné à ces espaces.

Le spectre premier d'un anneau commutatif noethérien est un espace noethérien (mais le spectre premier d'un anneau non noethérien peut être noethérien). Plus généralement, l'espace topologique sous-jacent d'un schéma noethérien est noethérien.

Exemple.

L'espace affine $k^n$ de dimension $n$ sur un corps algébriquement clos $k$ est noethérien pour la topologie de Zariski. En effet, si $(Y_n)$ est une suite décroissante de fermés de Zariski de $k^n$ alors $(I(Y_n))$ est une suite croissante d'idéaux de k[X₁,…,X_n]. Comme cet anneau est noethérien, cette suite d'idéaux est stationnaire. Or à cause de la bijection entre idéaux radiciels de k[X₁,…,X_n] et fermés de Zariski de $k^n$, on a $Z(I(Y_n))=Y_n$, donc la suite des $Y_n$ est stationnaire.

Vérification formelle

Les espaces noethériens peuvent être utilisés en informatique théorique, plus précisément en vérification formelle, comme généralisation des beaux préordres (en anglais : Modèle:Lang ou WQO).

Notes et références

• Modèle:Hartshorne1
• Modèle:Planetmath