Appartenance (mathématiques)
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
Ne pas confondre avec la relation d'
En mathématiques, l’appartenance est une relation non symétrique entre ensembles, ou plus généralement entre objets et classes. On écrit[Note 1] pour signifier que l'objet appartient à la classe .
En théorie des ensembles usuelle : l'axiome d'extensionnalité précise que chaque ensemble est caractérisé par les éléments qui lui appartiennent ; l'axiome de fondation énonce que la relation d'appartenance est bien fondée, ce qui interdit notamment qu'un ensemble puisse être élément de lui-même (antiréflexivité)[Note 2] ; l'appartenance n'est pas transitive[Note 3], contrairement à la relation d'inclusion.
Sommaire
Notation et terminologie[modifier | modifier le code]
Le symbole a été introduit par Giuseppe Peano en 1889 dans Arithmetices principia, nova methodo exposita (en) (page X) :
« Signum ϵ significat est. Ita a ϵ b legitur a est quoddam b ; ... »
Il s'agit d'un epsilon, première lettre de la troisième personne du singulier ἐστί du verbe « être » en grec ancien. Sa graphie correspond à celle répandue en Europe continentale à l'époque de Peano. Cependant Peano utilisera aussi le symbole ε[1].
La relation se lisait ainsi à l'origine « est un »[1]. Cette formulation subsiste aujourd'hui dans une certaine mesure, par exemple lorsque l'on traduit par « est un entier naturel »[Note 4].
Dans le cas général se lit de nos jours « appartient à », « est un élément de », ou « est dans »[Note 5].
La relation réciproque , moins utilisée, se lit « contient », « comprend », ou « possède ». Le terme contient présente le désavantage d'être ambigu, pouvant également désigner l'inclusion. Utiliser possède, comme le recommande Gérard Debreu en soulignant que possède est le symétrique naturel de appartient[2], élude ce problème. D'autres auteurs, tels que Paul Halmos[3] ou George Boolos[4], recommandent plutôt d'utiliser systématiquement « contient » pour traduire , et « inclut » pour . Enfin, la plupart des auteurs, dont par exemple Nicolas Bourbaki[Note 5], n'utilisent tout simplement pas cette relation réciproque, tournant systématiquement leurs phrases de façon à pouvoir utiliser « appartient à » ou « est un élément de ».
En LaTex : s'écrit en utilisant la commande « \in », signifiant dans en anglais ; s'écrit en utilisant l'une des commandes équivalentes « \ni » et « \owns », respectivement un « \in » inversé et possède en anglais.
Dans le langage de programmation Haskell qui admet une définition de listes en compréhension, l'appartenance se note <-.
Approche naïve[modifier | modifier le code]
La définition historique donnée par Cantor en 1895[5] était la suivante :
« Un ensemble est une collection M d'objets issus de notre intuition ou de notre pensée (que nous appellerons éléments de M), considérée comme un tout. »
Cette définition un peu floue permet déjà de présenter une version intuitive de la théorie des ensembles. Voir les articles Ensemble et Théorie naïve des ensembles.
Par exemple, si M = {1,2,3}, 1, 2 et 3 sont les éléments de M.
On prendra garde à ne pas confondre « élément » et « sous-ensemble » ; dans l'exemple qui précède, {1,2} et {3}, parmi d'autres, sont des sous-ensembles de M mais n'en sont pas des éléments[Note 6].
Approche formelle[modifier | modifier le code]
Les exposés contemporains de la théorie des ensembles la décrivent comme une théorie égalitaire du premier ordre comportant outre l'égalité = un seul prédicat binaire, l'appartenance [6]. Dans cette approche, la phrase « x est élément de M » n'est que la verbalisation de la formule .
Le formalisme le plus généralement admis est celui de Zermelo-Fraenkel.
Felix Hausdorff relève que cette approche ne constitue pas une définition à partir d'un concept antérieur, mais est un point de départ pour la formalisation d'une grande partie des mathématiques :
« on pourra objecter qu'on a défini idem per idem voire obscurum per obscurius. Il faut considérer qu'il n'y a pas là une définition mais un procédé d'exposition, une référence à un concept primitif familier à tous […][Note 7]. »
Éléments d'ensembles, éléments de classes[modifier | modifier le code]
Symbole d'appartenance[modifier | modifier le code]
Le symbole d'appartenance « ∈ » est un symbole mathématique introduit par Giuseppe Peano[7] pour l'appartenance en théorie des ensembles. Sa graphie correspond à celle de la lettre grecque epsilon en Europe continentale à cette époque.
Il en existe une version minuscule et une version barrée, et ces trois caractères ont également un codage Unicode renversé de droite à gauche.
| Nom | Unicode | HTML | LaTeX | ||
|---|---|---|---|---|---|
| appartient à | ∈ | 2208 | ∈ | \in
| |
| n'appartient pas à | ∉ | 2209 | ∉ | \notin
| |
| petit appartient à | ∊ | 220A | |||
| contient comme élément | ∋ | 220B | ∋ | \ni ou \owns
| |
| ne contient pas comme élément | ∌ | 220C | \not\ni ou \not\owns
| ||
| petit contient comme élément | ∍ | 220D | |||
Ce symbole est repris comme titre d'un recueil de poésie publié par Jacques Roubaud en 1967. Pour l'auteur, il est aussi « par extension, symbole de l'appartenance au monde de « l'être au monde »[8]. »
Articles connexes[modifier | modifier le code]
- Inclusion
- SETL, un langage de programmation fondé sur la notion d'ensemble
- Liste en compréhension
Notes[modifier | modifier le code]
- Beaucoup plus rarement, le symbole ε.
- D'autres théories des ensembles requièrent au contraire l'axiome d'anti-fondation pour obtenir des hyperensembles (en) qui échappent à cette restriction.
- Mais peut l'être évidemment sur une sous-classe d'ensembles, comme il en est sur la classe particulière, mais souvent considérée, des nombres ordinaux.
- Qui est plutôt une affirmation du type de , à savoir celui des entiers naturels, que l'on noterait formellement aujourd'hui .
- Nicolas Bourbaki recommande d'utiliser « appartient à » ou « est un élément de » (E II.1) ; mises à part quelques rares exceptions (par exemple « tout sous-groupe du groupe additif Z qui contient 1 est égal à Z », A I.98), cette recommandation est respectée dans l'ensemble des Éléments de mathématiques.
- Du moins si on sait prouver que {1,2} ≠ 1, {1,2} ≠ 2, {1,2} ≠ 3,{3} ≠ 1, {3} ≠ 2 et {3} ≠ 3.
- Comme le fait remarquer dans son exposé de la théorie des ensembles ((en) Felix Hausdorff, Set theory, AMS Chelsea Publishing, 1957 (rééd. 2000) (1937 pour l'édition allemande), 352 p. (ISBN 978-0-8218-3835-8), page 11.
Références[modifier | modifier le code]
- G. Peano, Formulaire de mathématiques, Tome II, Logique mathématique (1897) Notations pour les classes
- Debreu, Gérard., Theory of value : an axiomatic analysis of economic equilibrium., Yale Univ. Press (ISBN 978-0-300-01558-4, OCLC 632217029, lire en ligne)
- (en) Paul Halmos, « How to Write Mathematics », L'Enseignement mathématique, Vol.16, , p. 144 (lire en ligne)
- George Boolos (4 février 1992). 24.243 Classical Set Theory (lecture). (Speech). Massachusetts Institute of Technology, Cambridge, MA.
- (de) Georg Cantor, Beiträge zur Begründung der transfiniten Mengenlehre, Leipzig, Teubner, 1894-1895, page 481 [Lire en ligne sur Gallica (page consultée le 14 avril 2009)].
- Voir René Cori et Daniel Lascar, Logique mathématique II. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles [détail des éditions], chapitre 7, p. 113-114 notamment.
- Hans Freudenthal, « Notation mathématique », Dictionnaire des mathématiques – fondements, probabilités, applications, Encyclopædia Universalis et Albin Michel, Paris 1998.
- Jacques Roubaud, ∈, Paris, Gallimard, coll. Poésie/Gallimard, 1988 (1re éd. 1967), 154 p. (ISBN 978-2-07-032524-5, notice BnF no FRBNF34992581), p. 11.
