Bibm@th

Forum de mathématiques - Bibm@th.net

Bienvenue dans les forums du site BibM@th, des forums où on dit Bonjour (Bonsoir), Merci, S'il vous plaît...

Vous n'êtes pas identifié(e).

#1 24-10-2016 20:08:55

marwan33
Membre
Inscription : 03-01-2015
Messages : 16

Ensemble et sous ensemble

Bonjour,
J'ai un exercice contenant différentes démonstrations à faire dont une où je suis bloqué. Je vous demande donc de l'aide pour la résoudre, on a:

Soit E un ensemble et A, B trois sous-ensembles de E, On rappelle A\B = { x ∈ A; X ∉ B}:

A ⊂ B <=>  Ce(A) U B = E

Ce(A) étant le complément de A dans l'ensemble E

J'aurai donc besoin d'aide.

Merci

Hors ligne

#2 24-10-2016 20:47:05

leon1789
Membre
Inscription : 27-08-2015
Messages : 1 203

Re : Ensemble et sous ensemble

1) Comment montre-t-on une équivalence ?

Hors ligne

#3 24-10-2016 20:54:34

marwan33
Membre
Inscription : 03-01-2015
Messages : 16

Re : Ensemble et sous ensemble

Bonsoir
Je ne sais pas trop l'expliquer, lors d'une équivalence il faut prouver que la partie de droite soit vraie ? si on suppose que A ⊂ B

Hors ligne

#4 24-10-2016 21:05:33

leon1789
Membre
Inscription : 27-08-2015
Messages : 1 203

Re : Ensemble et sous ensemble

Ca s'appelle comment ceci :

A ⊂ B   =>    Ce(A) U B = E

et ceci

A ⊂ B   <=    Ce(A) U B = E

Hors ligne

#5 24-10-2016 21:14:08

marwan33
Membre
Inscription : 03-01-2015
Messages : 16

Re : Ensemble et sous ensemble

d'accords on peut donc dire que Ce(B) ⊂ Ce(A) d'ou Ce(B) U B = Ce(A) U B =E

je ne sais pas trop quoi faire car je ne visualise pas une démarche pour trouver l'équivalence dans ce cas :(
c'est la plus compliqué des 5 autre à faire.

Hors ligne

#6 24-10-2016 21:29:00

freddy
Membre chevronné
Lieu : Paris
Inscription : 27-03-2009
Messages : 7 457

Re : Ensemble et sous ensemble

Salut,

je m'immisce rapidement

je n'ai vu que deux sous ensembles, A et B, et non 3 ? Erreur de plume ?!
Sinon, pour démontrer que P <=> Q, on montre que P implique Q, puis que Q implique P.

En simple, si A est inclus dans B, alors le complémentaire de A dans E est égal à $\bar{A}= E\setminus A =\{ x \in E, x \notin A\}$
et donc $\bar{A} \cup B = \{ x \in E, x \notin A\}\cup\{ x\in B \}=E$ car $B\supset A$ donc si $x \in B \Rightarrow x \in A$

Tu montres la réciproque ?

Dernière modification par freddy (25-10-2016 12:26:14)

Hors ligne

#7 24-10-2016 21:33:25

marwan33
Membre
Inscription : 03-01-2015
Messages : 16

Re : Ensemble et sous ensemble

oui pardon il y a bien 3 sous ensemble (A, B et C) mais vu que cette proposition n'en avait que 2 je suis permis de supprimer la troisième.

Hors ligne

#8 24-10-2016 21:42:47

freddy
Membre chevronné
Lieu : Paris
Inscription : 27-03-2009
Messages : 7 457

Re : Ensemble et sous ensemble

Ou alors, on peut écrire :

$A\subset B \Rightarrow \bar{B}\subset \bar{A} \Rightarrow \bar{B}\cup B=E \subset \bar{A}\cup B \Rightarrow \bar{A}\cup B=E$ ce qui est plus rapide et plus explicite.

Hors ligne

#9 24-10-2016 21:48:41

freddy
Membre chevronné
Lieu : Paris
Inscription : 27-03-2009
Messages : 7 457

Re : Ensemble et sous ensemble

A l'inverse, on a :

$ \bar{A}\cup B = E \Rightarrow \overline{\bar{A}\cup B} = A \cap \bar{B} = \emptyset$ et donc ...

je te laisse conclure ?

Hors ligne

#10 24-10-2016 21:59:48

marwan33
Membre
Inscription : 03-01-2015
Messages : 16

Re : Ensemble et sous ensemble

si le résultat est un ensemble vide  CeA∪B=E n'est pas équivalent A⊂B donc ce qui est absurde à moins que je me trompe?

Hors ligne

#11 24-10-2016 22:03:15

marwan33
Membre
Inscription : 03-01-2015
Messages : 16

Re : Ensemble et sous ensemble

Néanmoins B ∩ Ce(B) =∅ donc A ∩ Ce(B) = B ∩ Ce(B)= ∅ donc A ⊂ B ?

Hors ligne

#12 24-10-2016 22:10:04

freddy
Membre chevronné
Lieu : Paris
Inscription : 27-03-2009
Messages : 7 457

Re : Ensemble et sous ensemble

Re,

et si tu réfléchissais un peu plus avec un diagramme de Venn ?

Hors ligne

#13 24-10-2016 22:17:17

marwan33
Membre
Inscription : 03-01-2015
Messages : 16

Re : Ensemble et sous ensemble

avec un diagramme de Venn on remarque bien que A est compris dans B et que A ∩ Ce(B) = B ∩ Ce(B)= ∅ d'ou A ⊂ B

Hors ligne

#14 25-10-2016 07:34:25

freddy
Membre chevronné
Lieu : Paris
Inscription : 27-03-2009
Messages : 7 457

Re : Ensemble et sous ensemble

marwan33 a écrit :

avec un diagramme de Venn on remarque bien que A est compris dans B et que A ∩ Ce(B) = B ∩ Ce(B)= ∅ d'ou A ⊂ B

Salut,

tu prends l'hypothèse pour en faire la conclusion, tu tournes en rond.
A priori, tu ne sais rien sur A par rapport à B sauf que tu déduis de la proposition initiale que $A\cap \bar{B}=\emptyset$. C'est cette disjonction qui te permet d'affirmer que A est inclus dans B, puisqu'il n'a aucun élément commun avec son complémentaire dans E.

Hors ligne

#15 25-10-2016 09:27:47

marwan33
Membre
Inscription : 03-01-2015
Messages : 16

Re : Ensemble et sous ensemble

Juste pour savoir,  comment on aurai fait si on impliquait x dans le raisonnement ?

Hors ligne

#16 25-10-2016 12:40:10

freddy
Membre chevronné
Lieu : Paris
Inscription : 27-03-2009
Messages : 7 457

Re : Ensemble et sous ensemble

Re,

Hypothèse :  $\{x \in E, x \notin A\} \cup \{x \in B\}= E  \Leftrightarrow \{ x \in A\} \cap \{ x \in E, x \notin B\}=\emptyset$

Puisque $A \neq \emptyset$ par hypothèse, alors si $ x \in A \Rightarrow x \in B$ ce qui signifie que $A$ est un sous ensemble de $B$.

Dernière modification par freddy (25-10-2016 13:10:52)

Hors ligne

Réponse rapide

Veuillez composer votre message et l'envoyer
Nom (obligatoire)

E-mail (obligatoire)

Message (obligatoire)

Programme anti-spam : Afin de lutter contre le spam, nous vous demandons de bien vouloir répondre à la question suivante. Après inscription sur le site, vous n'aurez plus à répondre à ces questions.

Quel est le résultat de l'opération suivante (donner le résultat en chiffres)?
soixante dix-huit moins dix-neuf
Système anti-bot

Faites glisser le curseur de gauche à droite pour activer le bouton de confirmation.

Attention : Vous devez activer Javascript dans votre navigateur pour utiliser le système anti-bot.

Pied de page des forums