Retour au cours

QCM sur Éléments de la Théorie des Ensembles

Appartient au cours : Éléments de la Théorie des Ensembles
{
  "questions": [
    {
      "question": "Le produit cartésien $E \\times F$ est défini comme l'ensemble des couples $(a, b)$ où $a \\in E$ et $b \\in F$.",
      "options": [
        {
          "text": "Vrai",
          "why": "Le produit cartésien $E \\times F$ est effectivement défini comme l'ensemble des couples ordonnés $(a, b)$ tels que $a$ appartient à $E$ et $b$ appartient à $F$.",
          "correct": true
        },
        {
          "text": "Faux",
          "why": "Cette affirmation est correcte selon la définition du produit cartésien. Le produit cartésien n'est pas défini autrement.",
          "correct": false
        }
      ]
    },
    {
      "question": "Le produit cartésien $E \\times F$ est commutatif, c'est-à-dire que $E \\times F = F \\times E$.",
      "options": [
        {
          "text": "Vrai",
          "why": "Le produit cartésien n'est pas commutatif. Par exemple, si $E = \\{1, 2\\}$ et $F = \\{1, 2, 3\\}$, alors $E \\times F \\neq F \\times E$.",
          "correct": false
        },
        {
          "text": "Faux",
          "why": "Le produit cartésien n'est effectivement pas commutatif, car l'ordre des éléments dans les couples compte.",
          "correct": true
        }
      ]
    },
    {
      "question": "La cardinalité du produit cartésien $E \\times F$ est donnée par $\\text{Card}(E \\times F) = \\text{Card}(E) + \\text{Card}(F)$.",
      "options": [
        {
          "text": "Vrai",
          "why": "La cardinalité du produit cartésien est le produit des cardinalités des ensembles $E$ et $F$, soit $\\text{Card}(E) \\times \\text{Card}(F)$.",
          "correct": false
        },
        {
          "text": "Faux",
          "why": "La formule correcte pour la cardinalité du produit cartésien est $\\text{Card}(E \\times F) = \\text{Card}(E) \\times \\text{Card}(F)$.",
          "correct": true
        }
      ]
    },
    {
      "question": "Une relation binaire $\\mathcal{R}$ de $E$ vers $F$ est définie par un triplet $(E, F, G)$, où $G$ est une partie du produit cartésien $E \\times F$.",
      "options": [
        {
          "text": "Vrai",
          "why": "Une relation binaire de $E$ vers $F$ est effectivement définie par un triplet $(E, F, G)$, où $G$ est un sous-ensemble de $E \\times F$ appelé graphe de la relation.",
          "correct": true
        },
        {
          "text": "Faux",
          "why": "Cette définition est correcte et correspond bien à la structure d'une relation binaire.",
          "correct": false
        }
      ]
    },
    {
      "question": "La notation $x \\mathcal{R} y$ signifie que $(x, y) \\notin G$, où $G$ est le graphe de la relation binaire $\\mathcal{R}$.",
      "options": [
        {
          "text": "Vrai",
          "why": "La notation $x \\mathcal{R} y$ signifie que $(x, y)$ appartient à $G$, le graphe de la relation binaire $\\mathcal{R}$.",
          "correct": false
        },
        {
          "text": "Faux",
          "why": "L'affirmation est incorrecte car $x \\mathcal{R} y$ signifie que $(x, y) \\in G$.",
          "correct": true
        }
      ]
    },
    {
      "question": "Une relation binaire sur $E$ est réflexive si pour tout $x \\in E$, $x \\mathcal{R} x$.",
      "options": [
        {
          "text": "Vrai",
          "why": "Une relation binaire sur $E$ est réflexive si chaque élément de $E$ est en relation avec lui-même, c'est-à-dire $\\forall x \\in E, x \\mathcal{R} x$.",
          "correct": true
        },
        {
          "text": "Faux",
          "why": "Cette définition est correcte pour une relation réflexive.",
          "correct": false
        }
      ]
    },
    {
      "question": "Une relation binaire est symétrique si pour tout $(x, y) \\in E^2$, $x \\mathcal{R} y \\Rightarrow y \\mathcal{R} x$.",
      "options": [
        {
          "text": "Vrai",
          "why": "Une relation binaire est symétrique si, chaque fois que $x$ est en relation avec $y$, alors $y$ est aussi en relation avec $x$.",
          "correct": true
        },
        {
          "text": "Faux",
          "why": "Cette définition correspond bien à la propriété de symétrie d'une relation binaire.",
          "correct": false
        }
      ]
    },
    {
      "question": "Une relation binaire est transitive si pour tout $(x, y, z) \\in E^3$, $(x \\mathcal{R} y) \\wedge (y \\mathcal{R} z) \\Rightarrow x = z$.",
      "options": [
        {
          "text": "Vrai",
          "why": "La transitivité d'une relation binaire signifie que si $x$ est en relation avec $y$ et $y$ est en relation avec $z$, alors $x$ doit être en relation avec $z$, pas que $x = z$.",
          "correct": false
        },
        {
          "text": "Faux",
          "why": "La transitivité implique $(x \\mathcal{R} y) \\wedge (y \\mathcal{R} z) \\Rightarrow x \\mathcal{R} z$, et non $x = z$.",
          "correct": true
        }
      ]
    },
    {
      "question": "Une relation binaire est antisymétrique si pour tout $(x, y) \\in E^2$, $(x \\mathcal{R} y) \\wedge (y \\mathcal{R} x) \\Rightarrow x = y$.",
      "options": [
        {
          "text": "Vrai",
          "why": "Une relation binaire est antisymétrique si la seule possibilité pour que $x$ soit en relation avec $y$ et $y$ avec $x$ est que $x$ soit égal à $y$.",
          "correct": true
        },
        {
          "text": "Faux",
          "why": "Cette définition est correcte pour une relation antisymétrique.",
          "correct": false
        }
      ]
    },
    {
      "question": "Dans l'exemple 1 du transcript, la relation $\\mathcal{R}$ sur $E = \\{1, 2, 3, 4\\}$ est réflexive, symétrique et transitive.",
      "options": [
        {
          "text": "Vrai",
          "why": "La relation $\\mathcal{R}$ dans l'exemple 1 est effectivement réflexive, symétrique et transitive selon les vérifications fournies dans le transcript.",
          "correct": true
        },
        {
          "text": "Faux",
          "why": "L'exemple 1 confirme que la relation est réflexive, symétrique et transitive.",
          "correct": false
        }
      ]
    },
    {
      "question": "Dans l'exemple 2 du transcript, la relation $\\mathcal{R}$ définie par $x \\mathcal{R} y \\iff x + y$ est pair regroupe les nombres impairs avec les nombres impairs et les nombres pairs avec les nombres pairs.",
      "options": [
        {
          "text": "Vrai",
          "why": "La relation $\\mathcal{R}$ dans l'exemple 2 regroupe effectivement les nombres pairs ensemble et les nombres impairs ensemble car la somme de deux nombres pairs ou de deux nombres impairs est toujours paire.",
          "correct": true
        },
        {
          "text": "Faux",
          "why": "Cette affirmation est correcte, car la somme de deux pairs ou de deux impairs est paire.",
          "correct": false
        }
      ]
    },
    {
      "question": "Une relation d'équivalence est une relation binaire qui est uniquement réflexive et symétrique.",
      "options": [
        {
          "text": "Vrai",
          "why": "Une relation d'équivalence doit être réflexive, symétrique et transitive. La transitivité est une propriété nécessaire en plus de la réflexivité et de la symétrie.",
          "correct": false
        },
        {
          "text": "Faux",
          "why": "Une relation d'équivalence doit être réflexive, symétrique ET transitive.",
          "correct": true
        }
      ]
    },
    {
      "question": "Une relation d'ordre est une relation binaire qui est réflexive, transitive et symétrique.",
      "options": [
        {
          "text": "Vrai",
          "why": "Une relation d'ordre doit être réflexive, transitive et antisymétrique, pas symétrique.",
          "correct": false
        },
        {
          "text": "Faux",
          "why": "Une relation d'ordre doit être réflexive, transitive et antisymétrique, et non symétrique.",
          "correct": true
        }
      ]
    },
    {
      "question": "Sur $\\mathbb{Z}^2$, la relation $\\mathcal{R}$ définie par $x \\mathcal{R} y \\iff x^2 \\equiv y^2 \\pmod{5}$ est une relation d'équivalence.",
      "options": [
        {
          "text": "Vrai",
          "why": "La relation $\\mathcal{R}$ est réflexive, symétrique et transitive, ce qui en fait une relation d'équivalence.",
          "correct": true
        },
        {
          "text": "Faux",
          "why": "Cette relation satisfait bien les trois propriétés nécessaires pour être une relation d'équivalence.",
          "correct": false
        }
      ]
    },
    {
      "question": "Pour la relation $\\mathcal{R}$ définie par $x \\mathcal{R} y \\iff x^2 \\equiv y^2 \\pmod{5}$, les classes d'équivalence sont au nombre de 5.",
      "options": [
        {
          "text": "Vrai",
          "why": "Les valeurs possibles de $n^2 \\pmod{5}$ sont seulement 0, 1, et 4, ce qui donne trois classes d'équivalence.",
          "correct": false
        },
        {
          "text": "Faux",
          "why": "Il y a trois classes d'équivalence correspondant aux restes possibles : 0, 1, et 4.",
          "correct": true
        }
      ]
    },
    {
      "question": "Si $n \\in \\{0, 5, 10, \\dots\\}$, alors $n^2 \\equiv 1 \\pmod{5}$.",
      "options": [
        {
          "text": "Vrai",
          "why": "Si $n \\in \\{0, 5, 10, \\dots\\}$, alors $n^2 \\equiv 0 \\pmod{5}$, pas 1.",
          "correct": false
        },
        {
          "text": "Faux",
          "why": "Pour $n \\in \\{0, 5, 10, \\dots\\}$, $n^2 \\equiv 0 \\pmod{5}$.",
          "correct": true
        }
      ]
    },
    {
      "question": "Si $n \\in \\{1, 4, 6, 9, \\dots\\}$, alors $n^2 \\equiv 1 \\pmod{5}$.",
      "options": [
        {
          "text": "Vrai",
          "why": "Pour $n \\in \\{1, 4, 6, 9, \\dots\\}$, $n^2 \\equiv 1 \\pmod{5}$ est correct.",
          "correct": true
        },
        {
          "text": "Faux",
          "why": "Cette affirmation est correcte, car $n^2 \\equiv 1 \\pmod{5}$ pour ces valeurs de $n$.",
          "correct": false
        }
      ]
    },
    {
      "question": "Si $n \\in \\{2, 3, 7, 8, \\dots\\}$, alors $n^2 \\equiv 4 \\pmod{5}$.",
      "options": [
        {
          "text": "Vrai",
          "why": "Pour $n \\in \\{2, 3, 7, 8, \\dots\\}$, $n^2 \\equiv 4 \\pmod{5}$ est correct.",
          "correct": true
        },
        {
          "text": "Faux",
          "why": "Cette affirmation est correcte selon les calculs modulo 5.",
          "correct": false
        }
      ]
    }
  ]
}