L'exercice suivant est automatiquement et aléatoirement généré par ataraXy.
Si vous regénérez la page (F5) les valeurs seront changées.
La correction se trouve en bas de page.
Exercice
Les relations ci-dessous sont données soit par leur matrice booléenne soit par leur représentation sagittale bi-partie.
- Pour chacune d'elles, donner la représentation manquante.
- \( \mathcal{R}_{1}\)
- \( \mathcal{R}_{2}\)
- \( \mathcal{R}_{3}\)
- \( \mathcal{R}_{4}\)
- \( \mathcal{R}_{5}\) \( \begin{array}{c|*{4}{|c}} & y_{1} & y_{2} & y_{3} & y_{4}\\\hline\hline x_{1} & 0 & 1 & 0 & 0\\\hline x_{2} & 0 & 0 & 0 & 1\end{array}\)
- \( \mathcal{R}_{6}\) \( \begin{array}{c|*{3}{|c}} & y_{1} & y_{2} & y_{3}\\\hline\hline x_{1} & 1 & 0 & 0\\\hline x_{2} & 0 & 1 & 0\\\hline x_{3} & 0 & 0 & 1\\\hline x_{4} & 1 & 0 & 0\end{array}\)
Complétez le tableau suivant avec \( V \) (pour vrai) si la propriété indiquée en colonne est satisfaite par la relation définie en ligne. Mettre \( F \) (pour faux) dans le cas contraire.
\[
\begin{array}{|c|*{5}{|c}|}
\hline\hline
& Fonction & Application & Injection & Surjection & Bijection\\\hline\hline
\mathcal{R}_{1}&&&&& \\\hline
\mathcal{R}_{2}&&&&& \\\hline
\mathcal{R}_{3}&&&&& \\\hline
\mathcal{R}_{4}&&&&& \\\hline
\mathcal{R}_{5}&&&&& \\\hline
\mathcal{R}_{6}&&&&& \\\hline
\end{array}
\]
Justifiez vos résultats concernant la relation \( \mathcal{R}_{4} \) .
Cliquer ici pour afficher la solution
Exercice
-
- \( \mathcal{R}_{1}\)
\( \begin{array}{c|*{3}{|c}} & y_{1} & y_{2} & y_{3}\\\hline\hline x_{1} & 1 & 0 & 0\\\hline x_{2} & 0 & 1 & 0\\\hline x_{3} & 1 & 0 & 0\end{array}\)
- \( \mathcal{R}_{2}\)
\( \begin{array}{c|*{3}{|c}} & y_{1} & y_{2} & y_{3}\\\hline\hline x_{1} & 0 & 1 & 1\end{array}\)
- \( \mathcal{R}_{3}\)
\( \begin{array}{c|*{1}{|c}} & y_{1}\\\hline\hline x_{1} & 0\\\hline x_{2} & 0\\\hline x_{3} & 1\end{array}\)
- \( \mathcal{R}_{4}\)
\( \begin{array}{c|*{2}{|c}} & y_{1} & y_{2}\\\hline\hline x_{1} & 0 & 1\\\hline x_{2} & 1 & 0\end{array}\)
- \( \mathcal{R}_{5}\) \( \begin{array}{c|*{4}{|c}} & y_{1} & y_{2} & y_{3} & y_{4}\\\hline\hline x_{1} & 0 & 1 & 0 & 0\\\hline x_{2} & 0 & 0 & 0 & 1\end{array}\)
- \( \mathcal{R}_{6}\) \( \begin{array}{c|*{3}{|c}} & y_{1} & y_{2} & y_{3}\\\hline\hline x_{1} & 1 & 0 & 0\\\hline x_{2} & 0 & 1 & 0\\\hline x_{3} & 0 & 0 & 1\\\hline x_{4} & 1 & 0 & 0\end{array}\)
\[
\begin{array}{|c|*{5}{|c}|}
\hline\hline
& Fonction & Application & Injection & Surjection & Bijection\\\hline\hline\mathcal{R}_{1}&V&V&F&F&F \\\hline\mathcal{R}_{2}&F&F&F&F&F \\\hline\mathcal{R}_{3}&V&F&F&F&F \\\hline\mathcal{R}_{4}&V&V&V&V&V \\\hline\mathcal{R}_{5}&V&V&V&F&F \\\hline\mathcal{R}_{6}&V&V&F&V&F \\\hline\end{array}
\]
- \( \rightarrow\)
- On observe que chaque élément de \( X \) possède au plus une image. La relation est donc une fonction.
- \( \rightarrow\)
- On observe que chaque élément de \( X \) possède exactement une unique image. La relation est donc une application.
- \( \rightarrow\)
- On observe que chaque élément de \( Y \) possède au plus un antécédent. L'application est donc injective.
- \( \rightarrow\)
- On observe que chaque élément de \( Y \) possède exactement un antécédent. L'application est donc surjective.
- \( \rightarrow\)
- Comme la relation est une injection et une surjection elle est une bijection.