Clôture (mathématiques)

Un article de Wikipédia, l'encyclopédie libre.

Cet article est une ébauche concernant les mathématiques.

Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).

On parle de clôture ou de fermeture en mathématiques dans des contextes très divers. Quelques exemples sont listés ci-dessous.

[modifier] Clôture pour des opérations

En mathématiques, on dit qu'un ensemble est clos pour des fonctions ou opérations si ces opérations appliquées à des éléments de l'ensemble produisent un élément de l'ensemble. On dit aussi que l'ensemble est stable pour ces opérations. Par exemple, l'ensemble des nombres réels est clos pour la soustraction, mais pas l'ensemble des entiers naturels, 3 et 7 sont tous deux des entiers naturels, mais (3 − 7) ne l'est pas.

Un préalable pour parler de structures algébriques est que celle-ci soit close sous les opérations en jeu, par exemple on ne peut parler de groupe que pour ensemble muni d'une opération binaire, l'ensemble étant clos pour cette opération.

Soit L une liste d'opérations. On appelle clôture d'un ensemble S pour les opérations de L à l'intérieur d'un ensemble E donné lui même clos pour ces opérations, le plus petit sous-ensemble de E contenant S et clos pour les opérations de L. Quand il s'agit bien d'opérations en un sens étroit, des fonctions ayant un nombre fini d'arguments dans E, partout définies, et à valeur dans E, on vérifie que l'intersection de toutes les parties de E closes contenant S et closes sous L définit la clôture de S. Il y a au moins une partie close pour les opérations de L, l'ensemble 'E' lui même, et donc il est bien possible de définir cette intersection. Le fait d'être clos par les opérations de L est stable par intersection, donc l'ensemble ainsi défini est bien clos sous les opérations de L. Ainsi, la clôture pour la soustraction de l'ensemble des entiers naturels, vu comme sous-ensemble des nombres réels, est l'ensemble des entiers relatifs (dans l'ensemble des réels comme dans n'importe quel groupe additif dont les entiers naturels sont un sous-monoïde). Si on ne suppose pas que la clôture se fait à l'intérieur d'un groupe additif qui « étend » l'addition des entiers naturels et pour la notion de soustraction dans ce groupe additif, il n'y a aucune raison que la clôture donne les entiers relatifs.

En algèbre on parlera plutôt de sous-structure engendrée, par exemple de sous-groupe engendré par un sous-ensemble. En théorie des langages, le sous-monoïde des mots (muni de l'opération de concaténation) engendré par un langage est appelé fermeture de Kleene du langage.

En théorie des ensembles, l'ensemble des entiers naturels est défini comme le plus petit ensemble contenant 0 est clos pour l'opération successeur (pour un ensemble 0 et une opération successeur que l'on aura choisi injective, et telle que 0 ne soit pas l'image d'un élément par un successeur). La situation est un peu différente, dans la théorie ZFC, l'univers, qui est clos pour l'opération successeur choisie, n'est pas un ensemble (un objet de la théorie). On peut définir par clôture la classe des entiers (une partie, au sens intuitif, de l'univers). Pour que ce soit un ensemble, il faut supposer qu'il existe au moins un ensemble contenant 0 et clos par successeur : c'est l'axiome de l'infini. Par cet exemple on voit que pour pouvoir parler de clôture de S sous certaines opérations, il est essentiel d'avoir supposé ou démontré auparavant l'existence d'un ensemble clos sous ces opérations et contenant S.

Si on revient à l'exemple des entiers naturels et de la clôture par soustraction, le fait de supposer l'existence des réels pour contruire l'ensemble des entiers relatifs est tout à fait artificiel : on construit les relatifs avant les réels ; l'ensemble clos par soustraction (ou passage à l'opposé) dont on montre l'existence, est directement l'ensemble des relatifs.

[modifier] clôture de relations binaires

Une relation binaire sur un ensemble E est défini par son graphe qui est un ensemble de couples d'éléments de E. La clôture transitive d'un relation R est la plus petit relation transitive contenant cette relation. Cela peut être vu comme une clôture pour une fonction partielle sur les couples (ça n'est pas difficile de la rendre totale si on tient à ce que ce soit un cas particulier de la notion définie au paragraphe précédent). On définit de façon analogue la clôture réflexive, symétrique etc. d'une relation binaire.

[modifier] Généralisations

la notion de clôture décrite dans les paragraphes précédents se généralise de diverses façons, et peut prendre des noms différents suivant le contexte.

Tout d'abord, on peut clore un ensemble par des relations, et non par seulement par des opérations. Par exemple le sous-espace vectoriel engendré par une partie S d'un espace vectoriel E, peut-être décrit comme la clôture par combinaison linéaire de S. Les sous-espaces vectoriels sont les sous-ensembles de E clos par combinaison linéaire. Cela ne relève pas exactement du schéma précédent, puisque l'on fait intervenir le produit par un scalaire. On peut voir cela comme la clôture par la relation ternaire, « le vecteur w est combinaison linéaire des deux vecteurs u et v ». De façon analogue, en géométrie, l'enveloppe convexe est aussi une clôture (par barycentres à coefficients positifs).

En théorie des ensembles la clôture transitive d'un ensemble est le plus petit ensemble transitif le contenant, il s'agit donc de la clôture pour la relation d'appartenance.

Mais la clôture par des relations n'épuise pas non plus les utilisations de ce terme.

En algèbre la clôture algébrique d'un corps est le plus petit corps algébriquement clos le contenant (défini à isomorphisme près), dont on démontre directement l'existence. Là encore on peut voir ceci comme une clôture pour la notion d'extension algébrique.

En logique mathématique une théorie est souvent définie comme un ensemble d'énoncés clos par déduction (à l'intérieur de l'ensemble de tous les énoncés, qui lui est évidemment clos par déduction). La relation de déduction peut être définie comme une relation entre un ensemble fini (ou une suite finie) de formules et une formule.

En topologie les fermés de la droite réelle, par exemple les intervalles fermés comme [1,2] = {x: 1 ≤ x ≤ 2}, sont clos par passage à la limite des suites convergentes (indexées par des entiers) de réels du fermé, et cette propriété est caractéristique. Dit plus simplement un sous-ensemble S de la droite réelle est fermé si est seulement si toute suite de points de S convergente a pour limite un point de S. Cette propriété se généralise telle quelle à un espace métrique, et mieux à un espace à base dénombrable. Pour un espace topologique en général il faut parler de filtre plutôt que de suite.