[<] Sous-ensemble, appartenance, inclusion [>] Injectivité, surjectivité, bijectivité
Soient , et trois parties d’un ensemble .
On suppose et . Montrer .
Solution
Raisonnons par double inclusion.
Soit . Procédons par disjonction de cas.
Cas: . L’élément appartient à donc à . On en déduit que .
Cas: . L’élément appartient à donc à . Or n’appartient pas à donc .
Dans les deux cas, . On a ainsi établi .
Par un raisonnement symétrique, on obtient et l’on conclut à l’égalité.
Soient , et trois parties d’un ensemble .
Montrer .
On suppose et . Montrer .
On suppose . Montrer .
On suppose et . Montrer que les trois ensembles , et sont égaux.
Soient , et trois parties d’un ensemble . Vérifier
Étant donné , et trois parties de , justifier les équivalences suivantes:
.
.
Solution
Supposons . On a toujours .
Pour . Que ou on a donc . Ainsi .
Supposons . Puisque , on a .
Supposons . On a .
Supposons . On a et de même donc .
Supposons .
On a .
Supposons . .
Supposons et .
Soit .
Si alors donc .
Si alors sachant on a , or donc .
Dans les deux cas, . Ainsi, et de manière symétrique d’où l’égalité.
Si alors clairement et .
Étant donné et deux parties de , justifier
Solution
Puisque la privation correspond à l’intersection avec le complémentaire
Soient et deux parties de , on appelle différence symétrique de et , l’ensemble
Montrer
Solution
Soit .
d’où l’égalité des ensembles.
Étant données , et trois parties d’un ensemble , montrer que:
.
Solution
Si alors pour tout :
Si alors et donc et puisque , .
Si alors et donc et puisque , .
Dans les deux cas . Ainsi et un raisonnement symétrique donne puis l’égalité.
Réciproque immédiate.
or et donc .
donc .
(Différence symétrique)
On définit la différence symétrique de deux parties et d’un ensemble par
Soient , et trois parties de .
Calculer , , et .
Vérifier la propriété d’associativité
Établir
Soient et des parties d’un ensemble .
Discuter et résoudre l’équation d’inconnue .
Soient deux parties de .
Discuter et résoudre l’équation d’inconnue .
Solution
Cas: . L’équation n’a pas de solution. En effet, l’existence de tel que implique .
Cas: . Soit une solution de l’équation.
On peut écrire
Inversement, pour avec alors
Ainsi,
[<] Sous-ensemble, appartenance, inclusion [>] Injectivité, surjectivité, bijectivité
Édité le 29-08-2023
Bootstrap 3
-
LaTeXML
-
Powered by MathJax