Soit un ensemble et des parties de .
Quelle condition nécessaire et suffisante sur ces parties donne l’égalité ensembliste
Hints
2Hint 1
Open this only if you want a small nudge before looking at the solutions.
Solutions
2Reveal solutionsAre you sure? Give it a try first.
First, we notice that the inclusion from right to left is automatic, since, if is in , it is in particular in , and therefore in .
For the inclusion from left to right, if , has to be in and , which means that and ; and if , then it is enough that , which means that .
In total, the sufficient and necessary condition is .
On a que est inclus dans qui vaut donc est inclus dans et . De même, est inclus dans qui est donc inclus dans . Ainsi . Réciproquement, si cette suite d’inclusion est vérifiée, alors et donc on a bien .
