Ensemble définissable
En mathématiques, un ensemble définissable dans une structure donnée d'ensemble de base M est un sous-ensemble de Mm (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
modifierSoient un langage du premier ordre,
une
-structure de domaine
,
un sous-ensemble de
, et m un entier naturel. Alors :
- Un sous-ensemble
de
est définissable dans
avec paramètres dans
s'il existe une formule
du langage
, et des éléments
tels que pour tous
,
si et seulement si
- 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
(avec paramètres) si son graphe est définissable dans
(avec ces paramètres).
- Un élément a de
est définissable (avec paramètres) dans
si le singleton {a} est définissable dans
(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 Mm.
Bibliographie
modifier- Elisabeth Bouscaren, Cours du magistère Math-Info (Ulm) 2003-2004
- David Marker, Model Theory: An Introduction, Springer, 2002.
🔥 Top keywords: Cookie (informatique)Wikipédia:Accueil principalJordan BardellaEnsemble pour la République (France)Spécial:RechercheNouveau Front populaireÉlections législatives françaises de 2024Liste de partis politiques en FranceListe de sondages sur les élections législatives françaises de 2024Élections législatives en FranceÉlections législatives françaises de 2022Gabriel AttalRassemblement nationalLe Comte de Monte-CristoWilly SagnolManuel BompardEnsemble (parti français)Lamine YamalRenaissance (parti)Robin Le NormandChampionnat d'Europe de football 2024Latifa AmahzouneJean-Luc MélenchonÉlection triangulaireMarine Le PenNico WilliamsFront populaire (France)Marie-Caroline Le PenÉdouard PhilippeRima HassanAurore BergéPrisca ThevenotKévin VauquelinEmmanuel MacronLes RépublicainsEnsemble (coalition française)Clémence GuettéRaphaël GlucksmannÉric Ciotti