Éléments de la Théorie des Ensembles
5 générations
Résumé
Éléments de la Théorie des Ensembles
A. Produit Cartésien de 2 Ensembles
Le produit cartésien E×F est l'ensemble des couples (a;b) où a∈E et b∈F. E×F={(a,b)∣a∈E et b∈F} Exemple : E={1;2},F={1;2;3}. E×F={(1,1);(1,2);(1,3);(2,1);(2,2);(2,3)}. Notez que E×F=F×E (non commutatif). La cardinalité est Card(E×F)=Card(E)×Card(F).
B. Relation Binaire
Une relation binaire R de E vers F est définie par le triplet (E,F,G), où G est une partie du produit cartésien E×F (le graphe). La notation xRy signifie (x,y)∈G. Si E=F, c'est une relation sur E.
C. Propriétés d'une Relation Binaire (cas E=F)
Soit R une relation binaire sur E :
- Réflexive : ∀x∈E, xRx
- Symétrique : ∀(x,y)∈E2, xRy⇒yRx
- Transitive : ∀(x,y,z)∈E3, (xRy)∧(yRz)⇒xRz
- Antisymétrique : ∀(x,y)∈E2, (xRy)∧(yRx)⇒x=y
D. Exemples et Diagrammes Sagittaux
Exemple 1 : E={1;2;3;4}, G={(1,1);(1,2);(2,1);(3,3);(3,4);(4,3);(2,2);(4,4)}. Puisque {(1,1);(2,2);(3,3);(4,4)}⊂G, R est réflexive. Puisque (1,2),(2,1) et (3,4),(4,3) sont présents, R est symétrique. R est également transitive (vérification requise par l'énoncé).
Exemple 2 : Sur E={0;1;4;7;8;11}, xRy⟺x+y est pair. (Ceci regroupe les pairs entre eux et les impairs entre eux.)
E. Relations d'Équivalence et d'Ordre
Une relation binaire R sur E est une relation d'équivalence si elle est réflexive, symétrique et transitive. Une relation d'ordre est réflexive, transitive et antisymétrique. La classe d'équivalence d'un élément est l'ensemble des éléments qui lui sont liés par la relation d'équivalence.
F. Exemple : Relation d'Équivalence sur Z
Sur Z2, la relation R est définie par xRy⟺x2≡y2(mod5). Cette relation est réflexive (x2≡x2), symétrique (si a≡b alors b≡a), et transitive (si x2≡y2 et y2≡z2, alors x2≡z2). R est donc une relation d'équivalence.
Les valeurs possibles de n2(mod5) pour n∈Z sont {0,1,4}. Si n∈{0,5,10,…}, n2≡0. Si n∈{1,4,6,9,…}, n2≡1. Si n∈{2,3,7,8,…}, n2≡4. Les 3 classes d'équivalence correspondent aux restes : {0}, {1}, {4}.
# Éléments de la Théorie des Ensembles
## A. Produit Cartésien de 2 Ensembles
Le **produit cartésien** $E \times F$ est l'ensemble des couples $(a ; b)$ où $a \in E$ et $b \in F$.
$$E \times F = \{(a, b) \mid a \in E \text{ et } b \in F\}$$
Exemple : $E = \{1 ; 2\}, F = \{1 ; 2 ; 3\}$. $E \times F = \{(1,1);(1,2);(1,3);(2,1);(2,2);(2,3)\}$. Notez que $E \times F \neq F \times E$ (non commutatif). La cardinalité est $\text{Card}(E \times F) = \text{Card}(E) \times \text{Card}(F)$.
## B. Relation Binaire
Une **relation binaire** $\mathcal{R}$ de $E$ vers $F$ est définie par le triplet $(E, F, G)$, où $G$ est une partie du produit cartésien $E \times F$ (le **graphe**). La notation $x \mathcal{R} y$ signifie $(x, y) \in G$. Si $E=F$, c'est une relation sur $E$.
## C. Propriétés d'une Relation Binaire (cas $E = F$)
Soit $\mathcal{R}$ une relation binaire sur $E$ :
* **Réflexive** : $\forall x \in E,\ x \mathcal{R} x$
* **Symétrique** : $\forall (x, y) \in E^2,\ x \mathcal{R} y \Rightarrow y \mathcal{R} x$
* **Transitive** : $\forall (x, y, z) \in E^3,\ (x \mathcal{R} y) \wedge (y \mathcal{R} z) \Rightarrow x \mathcal{R} z$
* **Antisymétrique** : $\forall (x, y) \in E^2,\ (x \mathcal{R} y) \wedge (y \mathcal{R} x) \Rightarrow x = y$
## D. Exemples et Diagrammes Sagittaux
Exemple 1 : $E = \{1 ; 2 ; 3 ; 4\}$, $G = \{(1,1) ; (1,2) ; (2,1) ; (3,3) ; (3,4) ; (4,3) ; (2,2) ; (4,4)\}$. Puisque $\{(1,1);(2,2);(3,3);(4,4)\} \subset G$, $\mathcal{R}$ est **réflexive**. Puisque $(1,2), (2,1)$ et $(3,4), (4,3)$ sont présents, $\mathcal{R}$ est **symétrique**. $\mathcal{R}$ est également **transitive** (vérification requise par l'énoncé).
Exemple 2 : Sur $E = \{0 ; 1 ; 4 ; 7 ; 8 ; 11\}$, $x \mathcal{R} y \iff x + y$ est pair. (Ceci regroupe les pairs entre eux et les impairs entre eux.)
## E. Relations d'Équivalence et d'Ordre
Une relation binaire $\mathcal{R}$ sur $E$ est une **relation d'équivalence** si elle est réflexive, symétrique et transitive. Une **relation d'ordre** est réflexive, transitive et antisymétrique. La **classe d'équivalence** d'un élément est l'ensemble des éléments qui lui sont liés par la relation d'équivalence.
## F. Exemple : Relation d'Équivalence sur $\mathbb{Z}$
Sur $\mathbb{Z}^2$, la relation $\mathcal{R}$ est définie par $x \mathcal{R} y \iff x^2 \equiv y^2 \pmod{5}$. Cette relation est réflexive ($x^2 \equiv x^2$), symétrique (si $a \equiv b$ alors $b \equiv a$), et transitive (si $x^2 \equiv y^2$ et $y^2 \equiv z^2$, alors $x^2 \equiv z^2$). $\mathcal{R}$ est donc une **relation d'équivalence**.
Les valeurs possibles de $n^2 \pmod{5}$ pour $n \in \mathbb{Z}$ sont $\{0, 1, 4\}$.
Si $n \in \{0, 5, 10, \dots\}$, $n^2 \equiv 0$.
Si $n \in \{1, 4, 6, 9, \dots\}$, $n^2 \equiv 1$.
Si $n \in \{2, 3, 7, 8, \dots\}$, $n^2 \equiv 4$.
Les **3 classes d'équivalence** correspondent aux restes : $\{0\}$, $\{1\}$, $\{4\}$.{
"questions": [
{
"question": "Qu'est-ce que le produit cartésien de deux ensembles $E$ et $F$ ?",
"options": [
{
"text": "L'ensemble des éléments communs à $E$ et $F$.",
"why": "Cette définition correspond à l'intersection de deux ensembles, pas au produit cartésien.",
"correct": false
},
{
"text": "L'ensemble des couples $(a, b)$ où $a \\in E$ et $b \\in F$.",
"why": "C'est la définition exacte du produit cartésien $E \\times F$ donnée dans le texte.",
"correct": true
},
{
"text": "L'ensemble des éléments de $E$ ou de $F$.",
"why": "Cette définition correspond à l'union de deux ensembles, pas au produit cartésien.",
"correct": false
},
{
"text": "L'ensemble des sous-ensembles de $E$ et $F$.",
"why": "Cette définition n'a aucun rapport avec le produit cartésien.",
"correct": false
}
]
},
{
"question": "Soient $E = \\{1, 2\\}$ et $F = \\{1, 2, 3\\}$. Quel est le produit cartésien $E \\times F$ ?",
"options": [
{
"text": "$\\{(1,1), (2,2), (3,3)\\}$",
"why": "Ce n'est pas le produit cartésien de $E$ et $F$, mais un ensemble de couples identiques.",
"correct": false
},
{
"text": "$\\{(1,1), (1,2), (1,3), (2,1), (2,2), (2,3)\\}$",
"why": "C'est le résultat exact du produit cartésien $E \\times F$ tel que défini dans le texte.",
"correct": true
},
{
"text": "$\\{(1,1), (1,2), (2,1), (2,2), (3,1), (3,2)\\}$",
"why": "Cet ensemble correspond à $F \\times E$, pas à $E \\times F$.",
"correct": false
},
{
"text": "$\\{1, 2, 3\\}$",
"why": "Ceci est simplement l'ensemble $F$, pas un produit cartésien.",
"correct": false
}
]
},
{
"question": "Le produit cartésien $E \\times F$ est-il commutatif ?",
"options": [
{
"text": "Oui, car $E \\times F = F \\times E$.",
"why": "Le texte précise explicitement que $E \\times F \\neq F \\times E$, donc il n'est pas commutatif.",
"correct": false
},
{
"text": "Non, car $E \\times F \\neq F \\times E$.",
"why": "Le texte indique clairement que le produit cartésien n'est pas commutatif.",
"correct": true
},
{
"text": "Cela dépend des ensembles $E$ et $F$.",
"why": "Le texte affirme que le produit cartésien n'est *jamais* commutatif, indépendamment des ensembles.",
"correct": false
},
{
"text": "Oui, car l'ordre des éléments dans un couple n'a pas d'importance.",
"why": "L'ordre des éléments dans un couple est fondamental en théorie des ensembles, d'où la non-commutativité.",
"correct": false
}
]
},
{
"question": "Quelle est la cardinalité du produit cartésien $E \\times F$ ?",
"options": [
{
"text": "$\\text{Card}(E) + \\text{Card}(F)$",
"why": "Cette formule correspond à la cardinalité de l'union de deux ensembles disjoints, pas au produit cartésien.",
"correct": false
},
{
"text": "$\\text{Card}(E) \\times \\text{Card}(F)$",
"why": "Le texte précise que $\\text{Card}(E \\times F) = \\text{Card}(E) \\times \\text{Card}(F)$.",
"correct": true
},
{
"text": "$\\text{Card}(E)^{\\text{Card}(F)}$",
"why": "Cette formule n'a aucun rapport avec la cardinalité du produit cartésien.",
"correct": false
},
{
"text": "$\\max(\\text{Card}(E), \\text{Card}(F))$",
"why": "Cette formule ne correspond pas à la cardinalité du produit cartésien.",
"correct": false
}
]
},
{
"question": "Qu'est-ce qu'une relation binaire de $E$ vers $F$ ?",
"options": [
{
"text": "Une fonction qui associe à chaque élément de $E$ un unique élément de $F$.",
"why": "Une relation binaire n'est pas nécessairement une fonction, car un élément de $E$ peut être associé à plusieurs éléments de $F$.",
"correct": false
},
{
"text": "Un triplet $(E, F, G)$ où $G$ est une partie du produit cartésien $E \\times F$.",
"why": "C'est la définition exacte d'une relation binaire donnée dans le texte.",
"correct": true
},
{
"text": "Une correspondance entre les éléments de $E$ et ceux de $F$ telle que chaque élément de $F$ soit associé à un seul élément de $E$.",
"why": "Cette définition décrit une fonction injective, pas une relation binaire.",
"correct": false
},
{
"text": "Un sous-ensemble de $E$ ou de $F$.",
"why": "Une relation binaire est définie sur le produit cartésien $E \\times F$, pas sur $E$ ou $F$ individuellement.",
"correct": false
}
]
},
{
"question": "Que signifie la notation $x \\mathcal{R} y$ dans le contexte d'une relation binaire ?",
"options": [
{
"text": "$x$ est un sous-ensemble de $y$.",
"why": "Cette notation n'a aucun rapport avec l'inclusion d'ensembles.",
"correct": false
},
{
"text": "$(x, y)$ appartient au graphe $G$ de la relation $\\mathcal{R}$.",
"why": "Le texte précise que $x \\mathcal{R} y$ signifie $(x, y) \\in G$, où $G$ est le graphe de la relation.",
"correct": true
},
{
"text": "$x$ et $y$ sont égaux.",
"why": "Cette interprétation est incorrecte : $x \\mathcal{R} y$ ne signifie pas $x = y$.",
"correct": false
},
{
"text": "$x$ est une fonction de $y$.",
"why": "Cette interprétation n'a aucun sens dans le contexte des relations binaires.",
"correct": false
}
]
},
{
"question": "Quelle est la propriété d'une relation binaire $\\mathcal{R}$ sur $E$ définie par $\\forall x \\in E, x \\mathcal{R} x$ ?",
"options": [
{
"text": "Symétrique",
"why": "La symétrie concerne les couples $(x, y)$ et $(y, x)$, pas les couples $(x, x)$.",
"correct": false
},
{
"text": "Réflexive",
"why": "Le texte définit la réflexivité comme la propriété $\\forall x \\in E, x \\mathcal{R} x$.",
"correct": true
},
{
"text": "Transitive",
"why": "La transitivité concerne les triplets $(x, y, z)$, pas les couples $(x, x)$.",
"correct": false
},
{
"text": "Antisymétrique",
"why": "L'antisymétrie concerne les couples $(x, y)$ et $(y, x)$ avec $x = y$, pas les couples $(x, x)$.",
"correct": false
}
]
},
{
"question": "Quelle propriété est vérifiée si $\\forall (x, y) \\in E^2, x \\mathcal{R} y \\Rightarrow y \\mathcal{R} x$ ?",
"options": [
{
"text": "Réflexive",
"why": "La réflexivité concerne les couples $(x, x)$, pas les couples $(x, y)$ et $(y, x)$.",
"correct": false
},
{
"text": "Symétrique",
"why": "Le texte définit la symétrie comme la propriété $\\forall (x, y) \\in E^2, x \\mathcal{R} y \\Rightarrow y \\mathcal{R} x$.",
"correct": true
},
{
"text": "Transitive",
"why": "La transitivité concerne les triplets $(x, y, z)$, pas les couples $(x, y)$ et $(y, x)$.",
"correct": false
},
{
"text": "Antisymétrique",
"why": "L'antisymétrie impose que $(x \\mathcal{R} y) \\wedge (y \\mathcal{R} x) \\Rightarrow x = y$, ce qui est différent.",
"correct": false
}
]
},
{
"question": "Quelle propriété est vérifiée si $\\forall (x, y, z) \\in E^3, (x \\mathcal{R} y) \\wedge (y \\mathcal{R} z) \\Rightarrow x \\mathcal{R} z$ ?",
"options": [
{
"text": "Réflexive",
"why": "La réflexivité concerne les couples $(x, x)$, pas les triplets $(x, y, z)$.",
"correct": false
},
{
"text": "Symétrique",
"why": "La symétrie concerne les couples $(x, y)$ et $(y, x)$, pas les triplets $(x, y, z)$.",
"correct": false
},
{
"text": "Transitive",
"why": "Le texte définit la transitivité comme la propriété $\\forall (x, y, z) \\in E^3, (x \\mathcal{R} y) \\wedge (y \\mathcal{R} z) \\Rightarrow x \\mathcal{R} z$.",
"correct": true
},
{
"text": "Antisymétrique",
"why": "L'antisymétrie concerne les couples $(x, y)$ et $(y, x)$, pas les triplets $(x, y, z)$.",
"correct": false
}
]
},
{
"question": "Quelle propriété est vérifiée si $\\forall (x, y) \\in E^2, (x \\mathcal{R} y) \\wedge (y \\mathcal{R} x) \\Rightarrow x = y$ ?",
"options": [
{
"text": "Réflexive",
"why": "La réflexivité concerne les couples $(x, x)$, pas les couples $(x, y)$ et $(y, x)$ avec $x = y$.",
"correct": false
},
{
"text": "Symétrique",
"why": "La symétrie impose que $x \\mathcal{R} y \\Rightarrow y \\mathcal{R} x$, sans condition sur $x = y$.",
"correct": false
},
{
"text": "Transitive",
"why": "La transitivité concerne les triplets $(x, y, z)$, pas les couples $(x, y)$ et $(y, x)$ avec $x = y$.",
"correct": false
},
{
"text": "Antisymétrique",
"why": "Le texte définit l'antisymétrie comme la propriété $\\forall (x, y) \\in E^2, (x \\mathcal{R} y) \\wedge (y \\mathcal{R} x) \\Rightarrow x = y$.",
"correct": true
}
]
},
{
"question": "Dans l'exemple 1 du texte, pourquoi la relation $\\mathcal{R}$ est-elle réflexive ?",
"options": [
{
"text": "Parce que $(1,2)$ et $(2,1)$ appartiennent au graphe $G$.",
"why": "Ces couples montrent la symétrie, pas la réflexivité.",
"correct": false
},
{
"text": "Parce que $\\{(1,1), (2,2), (3,3), (4,4)\\} \\subset G$.",
"why": "Le texte précise que la réflexivité est vérifiée car tous les couples $(x, x)$ appartiennent au graphe $G$.",
"correct": true
},
{
"text": "Parce que $(3,4)$ et $(4,3)$ appartiennent au graphe $G$.",
"why": "Ces couples montrent la symétrie, pas la réflexivité.",
"correct": false
},
{
"text": "Parce que la relation est transitive.",
"why": "La transitivité est une propriété distincte de la réflexivité.",
"correct": false
}
]
},
{
"question": "Dans l'exemple 1 du texte, pourquoi la relation $\\mathcal{R}$ est-elle symétrique ?",
"options": [
{
"text": "Parce que $\\{(1,1), (2,2), (3,3), (4,4)\\} \\subset G$.",
"why": "Ces couples montrent la réflexivité, pas la symétrie.",
"correct": false
},
{
"text": "Parce que $(1,2), (2,1)$ et $(3,4), (4,3)$ appartiennent au graphe $G$.",
"why": "Le texte indique que la symétrie est vérifiée car pour tout $(x, y) \\in G$, $(y, x) \\in G$.",
"correct": true
},
{
"text": "Parce que la relation est transitive.",
"why": "La transitivité est une propriété distincte de la symétrie.",
"correct": false
},
{
"text": "Parce que la relation est réflexive.",
"why": "La réflexivité est une propriété distincte de la symétrie.",
"correct": false
}
]
},
{
"question": "Dans l'exemple 2 du texte, sur $E = \\{0, 1, 4, 7, 8, 11\\}$, quelle est la relation $\\mathcal{R}$ ?",
"options": [
{
"text": "$x \\mathcal{R} y \\iff x = y$.",
"why": "Cette relation est l'égalité, pas celle définie dans l'exemple.",
"correct": false
},
{
"text": "$x \\mathcal{R} y \\iff x + y$ est pair.",
"why": "Le texte définit explicitement cette relation dans l'exemple 2.",
"correct": true
},
{
"text": "$x \\mathcal{R} y \\iff x \\leq y$.",
"why": "Cette relation est une relation d'ordre, pas celle définie dans l'exemple.",
"correct": false
},
{
"text": "$x \\mathcal{R} y \\iff x$ divise $y$.",
"why": "Cette relation est une relation de divisibilité, pas celle définie dans l'exemple.",
"correct": false
}
]
},
{
"question": "Qu'est-ce qu'une relation d'équivalence ?",
"options": [
{
"text": "Une relation réflexive et symétrique.",
"why": "Une relation d'équivalence doit aussi être transitive, ce qui n'est pas mentionné ici.",
"correct": false
},
{
"text": "Une relation réflexive, symétrique et transitive.",
"why": "Le texte définit une relation d'équivalence comme une relation réflexive, symétrique et transitive.",
"correct": true
},
{
"text": "Une relation réflexive et transitive.",
"why": "Une relation d'équivalence doit aussi être symétrique, ce qui n'est pas mentionné ici.",
"correct": false
},
{
"text": "Une relation symétrique et transitive.",
"why": "Une relation d'équivalence doit aussi être réflexive, ce qui n'est pas mentionné ici.",
"correct": false
}
]
},
{
"question": "Qu'est-ce qu'une relation d'ordre ?",
"options": [
{
"text": "Une relation réflexive et symétrique.",
"why": "Une relation d'ordre doit être antisymétrique et transitive, pas symétrique.",
"correct": false
},
{
"text": "Une relation réflexive, transitive et antisymétrique.",
"why": "Le texte définit une relation d'ordre comme une relation réflexive, transitive et antisymétrique.",
"correct": true
},
{
"text": "Une relation symétrique et transitive.",
"why": "Une relation d'ordre doit être réflexive et antisymétrique, pas symétrique.",
"correct": false
},
{
"text": "Une relation réflexive et antisymétrique.",
"why": "Une relation d'ordre doit aussi être transitive, ce qui n'est pas mentionné ici.",
"correct": false
}
]
},
{
"question": "Qu'est-ce qu'une classe d'équivalence d'un élément $x$ pour une relation d'équivalence $\\mathcal{R}$ ?",
"options": [
{
"text": "L'ensemble des éléments $y$ tels que $x \\neq y$.",
"why": "Cette définition n'a aucun rapport avec les classes d'équivalence.",
"correct": false
},
{
"text": "L'ensemble des éléments $y$ tels que $x \\mathcal{R} y$.",
"why": "Le texte définit la classe d'équivalence d'un élément comme l'ensemble des éléments qui lui sont liés par la relation d'équivalence.",
"correct": true
},
{
"text": "L'ensemble des éléments $y$ tels que $x$ et $y$ n'ont aucun lien par $\\mathcal{R}$.",
"why": "Cette définition est incorrecte et contraire à la notion de classe d'équivalence.",
"correct": false
},
{
"text": "L'ensemble des éléments $y$ tels que $x$ est un sous-ensemble de $y$.",
"why": "Cette définition n'a aucun rapport avec les classes d'équivalence.",
"correct": false
}
]
},
{
"question": "Dans l'exemple de la relation $\\mathcal{R}$ sur $\\mathbb{Z}^2$ définie par $x \\mathcal{R} y \\iff x^2 \\equiv y^2 \\pmod{5}$, pourquoi $\\mathcal{R}$ est-elle réflexive ?",
"options": [
{
"text": "Parce que $x^2 \\equiv y^2$ implique $x = y$.",
"why": "Cette propriété est liée à l'antisymétrie, pas à la réflexivité.",
"correct": false
},
{
"text": "Parce que $x^2 \\equiv x^2$ pour tout $x \\in \\mathbb{Z}$.",
"why": "Le texte précise que la réflexivité est vérifiée car $x^2 \\equiv x^2$ pour tout $x$.",
"correct": true
},
{
"text": "Parce que si $x^2 \\equiv y^2$, alors $y^2 \\equiv x^2$.",
"why": "Cette propriété est liée à la symétrie, pas à la réflexivité.",
"correct": false
},
{
"text": "Parce que si $x^2 \\equiv y^2$ et $y^2 \\equiv z^2$, alors $x^2 \\equiv z^2$.",
"why": "Cette propriété est liée à la transitivité, pas à la réflexivité.",
"correct": false
}
]
},
{
"question": "Dans l'exemple de la relation $\\mathcal{R}$ sur $\\mathbb{Z}^2$ définie par $x \\mathcal{R} y \\iff x^2 \\equiv y^2 \\pmod{5}$, pourquoi $\\mathcal{R}$ est-elle symétrique ?",
"options": [
{
"text": "Parce que $x^2 \\equiv x^2$ pour tout $x \\in \\mathbb{Z}$.",
"why": "Cette propriété est liée à la réflexivité, pas à la symétrie.",
"correct": false
},
{
"text": "Parce que si $x^2 \\equiv y^2$, alors $y^2 \\equiv x^2$.",
"why": "Le texte précise que la symétrie est vérifiée car la congruence modulo 5 est symétrique.",
"correct": true
},
{
"text": "Parce que si $x^2 \\equiv y^2$ et $y^2 \\equiv z^2$, alors $x^2 \\equiv z^2$.",
"why": "Cette propriété est liée à la transitivité, pas à la symétrie.",
"correct": false
},
{
"text": "Parce que $x^2 \\equiv y^2$ implique $x = y$.",
"why": "Cette propriété est liée à l'antisymétrie, pas à la symétrie.",
"correct": false
}
]
},
{
"question": "Dans l'exemple de la relation $\\mathcal{R}$ sur $\\mathbb{Z}^2$ définie par $x \\mathcal{R} y \\iff x^2 \\equiv y^2 \\pmod{5}$, pourquoi $\\mathcal{R}$ est-elle transitive ?",
"options": [
{
"text": "Parce que $x^2 \\equiv x^2$ pour tout $x \\in \\mathbb{Z}$.",
"why": "Cette propriété est liée à la réflexivité, pas à la transitivité.",
"correct": false
},
{
"text": "Parce que si $x^2 \\equiv y^2$, alors $y^2 \\equiv x^2$.",
"why": "Cette propriété est liée à la symétrie, pas à la transitivité.",
"correct": false
},
{
"text": "Parce que si $x^2 \\equiv y^2$ et $y^2 \\equiv z^2$, alors $x^2 \\equiv z^2$.",
"why": "Le texte précise que la transitivité est vérifiée car la congruence modulo 5 est transitive.",
"correct": true
},
{
"text": "Parce que $x^2 \\equiv y^2$ implique $x = y$.",
"why": "Cette propriété est liée à l'antisymétrie, pas à la transitivité.",
"correct": false
}
]
},
{
"question": "Quelles sont les valeurs possibles de $n^2 \\pmod{5}$ pour $n \\in \\mathbb{Z}$ ?",
"options": [
{
"text": "$\\{0, 1, 2, 3, 4\\}$",
"why": "Les carrés modulo 5 ne prennent pas toutes les valeurs possibles, seulement $0$, $1$ et $4$.",
"correct": false
},
{
"text": "$\\{0, 1, 4\\}$",
"why": "Le texte précise que les valeurs possibles de $n^2 \\pmod{5}$ sont $0$, $1$ et $4$.",
"correct": true
},
{
"text": "$\\{1, 4\\}$",
"why": "Le texte inclut aussi $0$ comme valeur possible.",
"correct": false
},
{
"text": "$\\{0, 1, 2, 4\\}$",
"why": "$2$ n'est pas un carré modulo $5$.",
"correct": false
}
]
},
{
"question": "Quelles sont les classes d'équivalence pour la relation $\\mathcal{R}$ sur $\\mathbb{Z}$ définie par $x \\mathcal{R} y \\iff x^2 \\equiv y^2 \\pmod{5}$ ?",
"options": [
{
"text": "$\\{0\\}, \\{1\\}, \\{2\\}, \\{3\\}, \\{4\\}$",
"why": "Les classes d'équivalence ne correspondent pas aux restes individuels, mais aux carrés de ces restes.",
"correct": false
},
{
"text": "$\\{0\\}, \\{1, 4\\}, \\{2, 3\\}$",
"why": "Les classes d'équivalence correspondent aux restes des carrés modulo 5, qui sont $0$, $1$ et $4$.",
"correct": false
},
{
"text": "$\\{0\\}, \\{1\\}, \\{4\\}$",
"why": "Le texte précise que les classes d'équivalence correspondent aux restes $0$, $1$ et $4$ des carrés modulo 5.",
"correct": true
},
{
"text": "$\\{1\\}, \\{4\\}$",
"why": "Le texte inclut aussi la classe $0$.",
"correct": false
}
]
},
{
"question": "À quelle classe d'équivalence appartient un entier $n$ tel que $n \\in \\{0, 5, 10, \\dots\\}$ pour la relation $\\mathcal{R}$ définie par $x \\mathcal{R} y \\iff x^2 \\equiv y^2 \\pmod{5}$ ?",
"options": [
{
"text": "$\\{1\\}$",
"why": "Les entiers multiples de 5 ont un carré congru à $0$ modulo 5, pas à $1$.",
"correct": false
},
{
"text": "$\\{0\\}$",
"why": "Le texte précise que si $n \\in \\{0, 5, 10, \\dots\\}$, alors $n^2 \\equiv 0 \\pmod{5}$.",
"correct": true
},
{
"text": "$\\{4\\}$",
"why": "Les entiers multiples de 5 ont un carré congru à $0$ modulo 5, pas à $4$.",
"correct": false
},
{
"text": "$\\{2\\}$",
"why": "$2$ n'est pas une valeur possible pour $n^2 \\pmod{5}$.",
"correct": false
}
]
},
{
"question": "À quelle classe d'équivalence appartient un entier $n$ tel que $n \\in \\{1, 4, 6, 9, \\dots\\}$ pour la relation $\\mathcal{R}$ définie par $x \\mathcal{R} y \\iff x^2 \\equiv y^2 \\pmod{5}$ ?",
"options": [
{
"text": "$\\{0\\}$",
"why": "Ces entiers ont un carré congru à $1$ modulo 5, pas à $0$.",
"correct": false
},
{
"text": "$\\{1\\}$",
"why": "Le texte précise que si $n \\in \\{1, 4, 6, 9, \\dots\\}$, alors $n^2 \\equiv 1 \\pmod{5}$.",
"correct": true
},
{
"text": "$\\{4\\}$",
"why": "Ces entiers ont un carré congru à $1$ modulo 5, pas à $4$.",
"correct": false
},
{
"text": "$\\{2\\}$",
"why": "$2$ n'est pas une valeur possible pour $n^2 \\pmod{5}$.",
"correct": false
}
]
},
{
"question": "À quelle classe d'équivalence appartient un entier $n$ tel que $n \\in \\{2, 3, 7, 8, \\dots\\}$ pour la relation $\\mathcal{R}$ définie par $x \\mathcal{R} y \\iff x^2 \\equiv y^2 \\pmod{5}$ ?",
"options": [
{
"text": "$\\{0\\}$",
"why": "Ces entiers ont un carré congru à $4$ modulo 5, pas à $0$.",
"correct": false
},
{
"text": "$\\{1\\}$",
"why": "Ces entiers ont un carré congru à $4$ modulo 5, pas à $1$.",
"correct": false
},
{
"text": "$\\{4\\}$",
"why": "Le texte précise que si $n \\in \\{2, 3, 7, 8, \\dots\\}$, alors $n^2 \\equiv 4 \\pmod{5}$.",
"correct": true
},
{
"text": "$\\{2\\}$",
"why": "$2$ n'est pas une valeur possible pour $n^2 \\pmod{5}$.",
"correct": false
}
]
}
]
}"Qu'est-ce que le produit cartésien de deux ensembles $E$ et $F$ ?","L'ensemble des couples $(a, b)$ où $a \in E$ et $b \in F$, noté $E \times F = \{(a, b) \mid a \in E \text{ et } b \in F\}$."
"Donnez un exemple de produit cartésien avec $E = \{1 ; 2\}$ et $F = \{1 ; 2 ; 3\}$.","$E \times F = \{(1,1);(1,2);(1,3);(2,1);(2,2);(2,3)\}$."
"Le produit cartésien est-il commutatif ?","Non, $E \times F \neq F \times E$ (non commutatif)."
"Quelle est la cardinalité du produit cartésien $E \times F$ ?","$ ext{Card}(E \times F) = ext{Card}(E) \times ext{Card}(F)$."
"Qu'est-ce qu'une relation binaire de $E$ vers $F$ ?","Un triplet $(E, F, G)$ où $G$ est une partie du produit cartésien $E \times F$ (le graphe). La notation $x \mathcal{R} y$ signifie $(x, y) \in G$."
"Quand dit-on qu'une relation binaire est définie *sur* $E$ ?","Lorsque $E = F$, c'est-à-dire que la relation lie des éléments d'un même ensemble $E$."
"Quelle est la propriété de réflexivité pour une relation binaire $\mathcal{R}$ sur $E$ ?","$\forall x \in E,\ x \mathcal{R} x$."
"Quelle est la propriété de symétrie pour une relation binaire $\mathcal{R}$ sur $E$ ?","$\forall (x, y) \in E^2,\ x \mathcal{R} y \Rightarrow y \mathcal{R} x$."
"Quelle est la propriété de transitivité pour une relation binaire $\mathcal{R}$ sur $E$ ?","$\forall (x, y, z) \in E^3,\ (x \mathcal{R} y) \wedge (y \mathcal{R} z) \Rightarrow x \mathcal{R} z$."
"Quelle est la propriété d'antisymétrie pour une relation binaire $\mathcal{R}$ sur $E$ ?","$\forall (x, y) \in E^2,\ (x \mathcal{R} y) \wedge (y \mathcal{R} x) \Rightarrow x = y$."
"Dans l'exemple 1 avec $E = \{1 ; 2 ; 3 ; 4\}$, pourquoi $\mathcal{R}$ est-elle réflexive ?","Parce que $\{(1,1);(2,2);(3,3);(4,4)\} \subset G$, donc $\forall x \in E,\ x \mathcal{R} x$."
"Dans l'exemple 1, pourquoi $\mathcal{R}$ est-elle symétrique ?","Parce que $(1,2), (2,1)$ et $(3,4), (4,3)$ sont présents dans $G$, donc $x \mathcal{R} y \Rightarrow y \mathcal{R} x$."
"Quelle est la relation binaire définie sur $E = \{0 ; 1 ; 4 ; 7 ; 8 ; 11\}$ dans l'exemple 2 ?","$x \mathcal{R} y \iff x + y$ est pair (regroupe les pairs et les impairs entre eux)."
"Qu'est-ce qu'une relation d'équivalence ?","Une relation binaire $\mathcal{R}$ sur $E$ qui est réflexive, symétrique et transitive."
"Qu'est-ce qu'une relation d'ordre ?","Une relation binaire $\mathcal{R}$ sur $E$ qui est réflexive, transitive et antisymétrique."
"Qu'est-ce qu'une classe d'équivalence ?","L'ensemble des éléments liés à un élément donné par une relation d'équivalence."
"Sur $\mathbb{Z}^2$, quelle est la relation $\mathcal{R}$ définie dans l'exemple ?","$x \mathcal{R} y \iff x^2 \equiv y^2 \pmod{5}$."
"Pourquoi la relation $\mathcal{R}$ définie par $x^2 \equiv y^2 \pmod{5}$ est-elle réflexive ?","Parce que $x^2 \equiv x^2$ pour tout $x \in \mathbb{Z}$."
"Pourquoi la relation $\mathcal{R}$ définie par $x^2 \equiv y^2 \pmod{5}$ est-elle symétrique ?","Parce que si $x^2 \equiv y^2$, alors $y^2 \equiv x^2$."
"Pourquoi la relation $\mathcal{R}$ définie par $x^2 \equiv y^2 \pmod{5}$ est-elle transitive ?","Parce que si $x^2 \equiv y^2$ et $y^2 \equiv z^2$, alors $x^2 \equiv z^2$."
"Quelles sont les valeurs possibles de $n^2 \pmod{5}$ pour $n \in \mathbb{Z}$ ?","$\{0, 1, 4\}$."
"Quelles sont les classes d'équivalence pour la relation $x^2 \equiv y^2 \pmod{5}$ sur $\mathbb{Z}$ ?","Les 3 classes d'équivalence correspondent aux restes : $\{0\}$, $\{1\}$, $\{4\}$."
"Pour quels entiers $n$ a-t-on $n^2 \equiv 0 \pmod{5}$ ?","Pour $n \in \{0, 5, 10, \dots\}$ (multiples de 5)."
"Pour quels entiers $n$ a-t-on $n^2 \equiv 1 \pmod{5}$ ?","Pour $n \in \{1, 4, 6, 9, \dots\}$ (entiers congrus à 1 ou 4 modulo 5)."
"Pour quels entiers $n$ a-t-on $n^2 \equiv 4 \pmod{5}$ ?","Pour $n \in \{2, 3, 7, 8, \dots\}$ (entiers congrus à 2 ou 3 modulo 5)."# 🧠 Fiche de Révision : Théorie des Ensembles
---
## 🔄 **1. Qu'est-ce qu'un produit cartésien ?**
Le **produit cartésien** $E \times F$ est l'ensemble de tous les **couples ordonnés** $(a, b)$ où :
- $a \in E$
- $b \in F$
**Formule :**
$$E \times F = \{(a, b) \mid a \in E \text{ et } b \in F\}$$
**Exemple :**
Si $E = \{1 ; 2\}$ et $F = \{1 ; 2 ; 3\}$, alors :
$$E \times F = \{(1,1); (1,2); (1,3); (2,1); (2,2); (2,3)\}$$
**Propriétés clés :**
⚠️ **Non commutatif** : $E \times F \neq F \times E$
🔢 **Cardinalité** : $\text{Card}(E \times F) = \text{Card}(E) \times \text{Card}(F)$
---
## 🔗 **2. Comment définir une relation binaire ?**
Une **relation binaire** $\mathcal{R}$ de $E$ vers $F$ est un **triplet** $(E, F, G)$ où :
- $G$ est un **sous-ensemble** de $E \times F$ (appelé **graphe** de la relation).
- La notation $x \mathcal{R} y$ signifie $(x, y) \in G$.
**Cas particulier :**
Si $E = F$, $\mathcal{R}$ est une **relation sur $E$**.
---
## 🔍 **3. Quelles sont les propriétés d'une relation binaire sur $E$ ?**
Soit $\mathcal{R}$ une relation binaire sur $E$ ($E = F$).
| Propriété | Définition | Exemple de Vérification |
|--------------------|----------------------------------------------------------------------------|---------------------------------------------|
| **Réflexive** | $\forall x \in E,\ x \mathcal{R} x$ | $(1,1) \in G$ pour tout $1 \in E$ |
| **Symétrique** | $\forall (x, y) \in E^2,\ x \mathcal{R} y \Rightarrow y \mathcal{R} x$ | Si $(1,2) \in G$, alors $(2,1) \in G$ |
| **Transitive** | $\forall (x, y, z) \in E^3,\ (x \mathcal{R} y) \wedge (y \mathcal{R} z) \Rightarrow x \mathcal{R} z$ | Si $(1,2) \in G$ et $(2,3) \in G$, alors $(1,3) \in G$ |
| **Antisymétrique** | $\forall (x, y) \in E^2,\ (x \mathcal{R} y) \wedge (y \mathcal{R} x) \Rightarrow x = y$ | Si $(1,2) \in G$ et $(2,1) \in G$, alors $1 = 2$ (faux en général) |
---
## 📊 **4. Comment analyser un exemple concret ?**
### Exemple 1 : $E = \{1 ; 2 ; 3 ; 4\}$ avec $G = \{(1,1); (1,2); (2,1); (3,3); (3,4); (4,3); (2,2); (4,4)\}$
- **Réflexive** : Oui, car $(1,1), (2,2), (3,3), (4,4) \in G$.
- **Symétrique** : Oui, car $(1,2) \in G \Rightarrow (2,1) \in G$ et $(3,4) \in G \Rightarrow (4,3) \in G$.
- **Transitive** : Oui (vérification implicite dans l'énoncé).
### Exemple 2 : $E = \{0 ; 1 ; 4 ; 7 ; 8 ; 11\}$ avec $x \mathcal{R} y \iff x + y$ est **pair**
- **Interprétation** : $\mathcal{R}$ relie les **nombres pairs entre eux** et les **nombres impairs entre eux**.
---
## 🔄 **5. Qu'est-ce qu'une relation d'équivalence ?**
Une relation binaire $\mathcal{R}$ sur $E$ est une **relation d'équivalence** si elle est :
1. **Réflexive**
2. **Symétrique**
3. **Transitive**
**Concept clé :**
🔑 **Classe d'équivalence** : Ensemble des éléments liés à un élément donné par $\mathcal{R}$.
---
## 📏 **6. Qu'est-ce qu'une relation d'ordre ?**
Une relation binaire $\mathcal{R}$ sur $E$ est une **relation d'ordre** si elle est :
1. **Réflexive**
2. **Transitive**
3. **Antisymétrique**
---
## ⚙️ **7. Exemple de relation d'équivalence sur $\mathbb{Z}$**
**Définition** : $x \mathcal{R} y \iff x^2 \equiv y^2 \pmod{5}$.
**Vérification des propriétés :**
- **Réflexive** : $x^2 \equiv x^2 \pmod{5}$ (toujours vrai).
- **Symétrique** : Si $x^2 \equiv y^2 \pmod{5}$, alors $y^2 \equiv x^2 \pmod{5}$.
- **Transitive** : Si $x^2 \equiv y^2 \pmod{5}$ et $y^2 \equiv z^2 \pmod{5}$, alors $x^2 \equiv z^2 \pmod{5}$.
**Classes d'équivalence :**
Les restes possibles de $n^2 \pmod{5}$ sont $\{0, 1, 4\}$.
- **Classe de 0** : $\{n \in \mathbb{Z} \mid n \equiv 0 \pmod{5}\}$ (ex: $0, 5, 10, \dots$).
- **Classe de 1** : $\{n \in \mathbb{Z} \mid n \equiv 1 \text{ ou } 4 \pmod{5}\}$ (ex: $1, 4, 6, 9, \dots$).
- **Classe de 4** : Identique à la classe de 1 (car $4 \equiv -1 \pmod{5}$).
---
## 🧩 **Ancrage Mémoriel**
- Le **produit cartésien** $E \times F$ est l'ensemble des **couples ordonnés** $(a, b)$.
- Une **relation binaire** est définie par un **graphe** $G \subseteq E \times F$.
- **4 propriétés clés** : Réflexive, Symétrique, Transitive, Antisymétrique.
- Une **relation d'équivalence** est réflexive, symétrique et transitive.
- Une **relation d'ordre** est réflexive, transitive et antisymétrique.
- Les **classes d'équivalence** regroupent les éléments liés par une relation d'équivalence.---
title: Théorie des Ensembles : Produit Cartésien et Relations Binaires
markmap:
colorFreezeLevel: 2
---
# Théorie des Ensembles
## A. Produit Cartésien
- Définition : Ensemble des couples
- Notation : $E \times F = \{(a, b) \mid a \in E, b \in F\}$
- Exemple : $E = \{1; 2\}, F = \{1; 2; 3\}$
- Résultat : 6 couples ordonnés
- Propriétés
- Non commutatif : $E \times F \neq F \times E$
- Cardinalité : $\text{Card}(E \times F) = \text{Card}(E) \times \text{Card}(F)$
## B. Relation Binaire
- Définition par triplet
- $(E, F, G)$ où $G \subseteq E \times F$
- Notation : $x \mathcal{R} y \iff (x, y) \in G$
- Cas particulier
- Relation sur $E$ si $E = F$
## C. Propriétés (cas $E = F$)
- Réflexive
- $\forall x \in E, x \mathcal{R} x$
- Symétrique
- $\forall (x, y), x \mathcal{R} y \Rightarrow y \mathcal{R} x$
- Transitive
- $\forall (x, y, z), (x \mathcal{R} y) \wedge (y \mathcal{R} z) \Rightarrow x \mathcal{R} z$
- Antisymétrique
- $\forall (x, y), (x \mathcal{R} y) \wedge (y \mathcal{R} x) \Rightarrow x = y$
## D. Exemples et Diagrammes
- Exemple 1 : $E = \{1; 2; 3; 4\}$
- Graphe : 8 couples
- Propriétés vérifiées
- Réflexive : tous $(x,x)$ présents
- Symétrique : couples réciproques
- Transitive : vérifiée
- Exemple 2 : $E = \{0; 1; 4; 7; 8; 11\}$
- Relation : $x + y$ pair
- Regroupe pairs et impairs
## E. Relations Spéciales
- Relation d'équivalence
- Réflexive + Symétrique + Transitive
- Classe d'équivalence
- Relation d'ordre
- Réflexive + Transitive + Antisymétrique
## F. Exemple Relation d'Équivalence
- Sur $\mathbb{Z}^2$
- Relation : $x \mathcal{R} y \iff x^2 \equiv y^2 \pmod{5}$
- Propriétés vérifiées
- Réflexive : $x^2 \equiv x^2$
- Symétrique : équivalence modulo
- Transitive : transitivité modulo
- Classes d'équivalence
- Reste 0 : $n^2 \equiv 0 \pmod{5}$
- Reste 1 : $n^2 \equiv 1 \pmod{5}$
- Reste 4 : $n^2 \equiv 4 \pmod{5}$