Exo 3
Commencez par chercher à résoudre l'exercice par vous-même.
Si vous manquez d'idée pour débuter, consultez l'indice fourni et recommencez à chercher.
Une solution détaillée vous est ensuite proposée.
Soient et deux parties d'un ensemble .
Question
Démontrer que : .
Démontrez séparément les deux implications.
Commencez par l'implication la plus facile en supposant .
Pour l'autre implication, démontrez successivement les deux inclusions et .
Montrons que : . On suppose donc que : .
Donc : et . Donc : .
Montrons que : . On suppose donc que : .
Or : , donc . Or : . Donc : .
Et : , donc . Or : . Donc : .
Donc : puisque l'on a les deux inclusions.
Conclusion : .