Démonstration sur les ensembles

Bonsoir,
Je dois démontrer (en lien)

Voilà ce que j'ai fait :

(sens direct) On suppose AunionB = AinterB
Mq A= B
soit x € AunionB
donc x € A ou x € B
or AunionB = AinterB
donc x € A et x € B
donc A = B

(sens opposé) On suppose A = B
Mq AunionB = AinterB

Comme A = B
AunionB = A
AinterB = A
donc AunionB = AinterB

J'aimerais savoir si c'est bon
Merci d'avance.80492

Réponses

  • Le sens direct ne va pas du tout. Tu ne démontres rien du tout, tu parles d'un élément de $A\cup B$ et tu affirmes la conclusion sans qu'on voie le lien avec ce qui précède.

    Ce que tu dois démontrer, c'est que $A$ et $B$ ont les mêmes éléments, c'est-à-dire que pour tout $x$, il est équivalent de dire que $x\in A$ et de dire que $x\in B$. Autrement dit, tu dois prendre un élément de $A$ et montrer qu'il appartient à $B$, puis prendre un élément de $B$ et montrer qu'il appartient à $A$.

    Le sens réciproque est OK mais tu t'es sans doute rendu.e compte que ce n'est pas là la difficulté de l'exercice.
  • donc le sens direct :

    Mq A inclut dans B

    soit x € A
    donc x € A ou x € B
    donc x € AunionB
    or AunionB = AinterB
    donc x € A et x € B
    donc x € B

    Mq B inclut dans A
    soit x € B
    donc x € B ou x € A
    donc x € AunionB
    or AunionB = AinterB
    donc x € B et x € A
    donc x € A

    C'est ca ?
  • Oui, c'est ça. Tu aurais pu invoquer le rôle symétrique joué par $A$ et $B$ pour éviter de récrire la même chose en échangeant leurs rôles.
  • Merci beaucoup !
Connectez-vous ou Inscrivez-vous pour répondre.