Espace topologique irréductible

En topologie, un espace irréductible est un espace topologique non vide qui ne peut pas se décomposer en (c'est-à-dire s'écrire comme réunion de) deux parties fermées strictement plus petites. Ce type d'espaces apparaît (et est utilisé) surtout en géométrie algébrique, où l'irréductibilité est une des propriétés topologiques basiques. Un espace topologique X non vide est dit irréductible si l'une des affirmations (équivalentes) suivante est réalisée : X n'est pas réunion de deux fermés propres (c'est-à-dire différents de X) ; l'intersection d'une famille finie d'ouverts non vides de X est non vide ; la réunion d'une famille finie de fermés propres est propre ; tout ouvert non vide de X est dense dans X ; tout ouvert de X est connexe. On cherche souvent à décomposer un espace topologique en parties irréductibles. Une composante irréductible d'un espace topologique X est un sous-espace irréductible de X maximal pour l'inclusion. En utilisant le lemme de Zorn, on peut voir que X se décompose toujours en réunion de composantes irréductibles. Par maximalité, on voit aisément que les composantes irréductibles sont fermées. Dans le cas d'un espace topologique séparé, les composantes irréductibles sont les singletons. Ainsi la notion d'espaces irréductibles n'a d'utilité que pour certains types de topologie, comme la topologie de Zariski. Dans un schéma noethérien, les composantes irréductibles sont en nombre fini. Plus généralement tout espace topologique noethérien a un nombre fini de composantes irréductibles. Si X est un ensemble infini muni de la topologie cofinie (c'est-à-dire la topologie où les parties fermées sont finies ou égales à X), alors c'est un espace irréductible. Un ensemble algébrique associé à un idéal radiciel I d'un anneau de polynômes est irréductible si et seulement si I est un idéal premier. Soit A un anneau commutatif unitaire et soit X le spectre de A, muni de sa topologie de Zariski. Alors les composantes irréductibles de X correspondent biunivoquement aux idéaux premiers minimaux de A.