Ensemble définissable

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

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

En mathématiques, un ensemble définissable dans une structure donnée d'ensemble de base M est un sous-ensemble de M^m (m entier naturel) pour lequel on peut trouver une formule du langage de la structure, avec éventuellement pour paramètres des éléments de M, de façon que les éléments sont exactement ceux qui satisfont cette formule.

Définition

Soient ${\mathcal {L}}$ un langage du premier ordre, ${\mathcal {M}}$ une ${\mathcal {L}}$ -structure de domaine $M$ , $X$ un sous-ensemble de $M$ , et m un entier naturel. Alors :

Un sous-ensemble $E$ de $M^{m}$ est définissable dans ${\mathcal {M}}$ avec paramètres dans $X$ s'il existe une formule $\varphi [x_{1},\ldots ,x_{m},y_{1},\ldots ,y_{n}]$ du langage ${\mathcal {L}}$ , et des éléments $b_{1},\ldots ,b_{n}\in X$ tels que pour tous $a_{1},\ldots ,a_{m}\in M$ ,

(a_{1},\ldots ,a_{m})\in E

si et seulement si

{\mathcal {M}}\models \varphi [a_{1},\ldots ,a_{m},b_{1},\ldots ,b_{n}]

si l'ensemble X est M lui-même, on dit simplement que E est définissable (éventuellement définissable avec paramètres) dans ℳ ;

si l'ensemble X est vide, c'est-à-dire qu'aucun paramètre n'apparaît dans la formule φ, on dit que E est définissable dans ℳ sans paramètres.

Une fonction est définissable dans ${\mathcal {M}}$ (avec paramètres) si son graphe est définissable dans ${\mathcal {M}}$ (avec ces paramètres).
Un élément a de $M$ est définissable (avec paramètres) dans ${\mathcal {M}}$ si le singleton {a} est définissable dans ${\mathcal {M}}$ (avec ces paramètres).

La définissabilité dans une structure dépend bien-sûr fortement du langage ℒ (celui de la structure) utilisé pour la définition, et on dit aussi que l'ensemble E est ℒ-définissable dans ℳ, ou encore que E est un sous-ensemble ℒ-définissable (définissable dans le langage ℒ) de M^m.