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. Un espace topologique est dit si toute suite décroissante de fermés de est stationnaire, c'est-à-dire constante à partir d'un certain rang. Un espace est noethérien si et seulement si tout ouvert de est quasi-compact. Cette condition est aussi équivalent à celle, plus forte en apparence, de « quasi-compacité » : est noethérien si et seulement si tout sous-espace de est quasi-compact. Il en résulte que tout sous-espace d'un espace noethérien est noethérien. Si est réunion finie de sous-espaces noethériens, alors est noethérien. Un espace discret et noethérien est nécessairement fini. Si est un espace noethérien séparé, alors toute partie de est compacte, donc fermée. Il suit que est discret, donc fini. 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 de dimension sur un corps algébriquement clos est noethérien pour la topologie de Zariski. En effet, si est une suite décroissante de fermés de Zariski de alors est une suite croissante d'idéaux de k[X1,.