DM de maths sur les ensembles
Réponses à toutes vos questions après le Bac (Fac, Prépa, etc.)
-
ludo74
- Membre Relatif
- Messages: 119
- Enregistré le: 04 Oct 2006, 16:50
-
par ludo74 » 13 Sep 2008, 17:34
Bonjour à tous,
je suis en prépa HEC cette année et j'ai un petit problème sur une démonstration de DM si vous pouviez m'aidez j'en serai ravi.... :we:
voila le sujet
Soient E et F deux ensembles non vides.
1. Démontrer que
 \subset P(E) \cup P(F))
.
2. Montrer, à l'aide d'un contre exemple, que l'inclusion réciproque n'est pas vraie en général.
3. Comparer de même, au sens de l'inclusion,
)
et
 \cap P(F))
.
voila je bloque vraiment sur la première je vois ce qu'il veut dire grâce à mes schémas mais je n'arrive pas à le démontrer je pense que si quelqu'un m'aide pour la première je devrais pouvoir me sortir de la 3
Merci de votre aide
Ludo
-
leon1789
- Membre Transcendant
- Messages: 5486
- Enregistré le: 27 Nov 2007, 15:25
-
par leon1789 » 13 Sep 2008, 17:39
ludo74 a écrit:1. Démontrer que
 \subset P(E) \cup P(F))
.
ok
Pour toi, avec des mots en français, par quels éléments est constitué
)
? et
 \cup P(F))
?
-
ludo74
- Membre Relatif
- Messages: 119
- Enregistré le: 04 Oct 2006, 16:50
-
par ludo74 » 13 Sep 2008, 17:45
en français
)
c'est l'union des parties de E et F et
 \cup P(F))
c'est les parties de E union des parties de F c'est à dire que dans le premier cas l'union des parties des deux ensembles et dans l'autre on va "ajouter" les deux ensembles... c'est un peu laborieux
-
leon1789
- Membre Transcendant
- Messages: 5486
- Enregistré le: 27 Nov 2007, 15:25
-
par leon1789 » 13 Sep 2008, 17:50
ok, et si on prend un exemple tout simple, juste pour voir :
si E = {1} et F = {2} , que sont
)
et
 \cup P(F))
?
(:!: il y a un bug quelque part...)
-
ludo74
- Membre Relatif
- Messages: 119
- Enregistré le: 04 Oct 2006, 16:50
-
par ludo74 » 13 Sep 2008, 17:58
euh oui il y a un problème là paceque
si E={1} et F={2}
alors
)
={1,2} et
 \cup P(F))
={1,2} aussi... mais là je pense que je me trompe... parce que ce n'est pas égal...
-
leon1789
- Membre Transcendant
- Messages: 5486
- Enregistré le: 27 Nov 2007, 15:25
-
par leon1789 » 13 Sep 2008, 18:02
alors
)
={1,2} :
non !et
 \cup P(F))
={1,2} :
non !Ecris bien les ensembles avec des {} et des { {} }
P(E) = ?
P(F) = ?
 \cup P(F) = ?)
-
ludo74
- Membre Relatif
- Messages: 119
- Enregistré le: 04 Oct 2006, 16:50
-
par ludo74 » 13 Sep 2008, 18:08
euh oui pardon c'est:
P(E)={1}
P(F)={2}
et
 \cup P(F))
= {{1},{2}}
mais je vois pas exactement ce que ça change pour notre démonstration?? J'avoue que j'ai un peu de mal avec les parties le prof n'a pas terminé son cours et je suis un peu perdu
-
leon1789
- Membre Transcendant
- Messages: 5486
- Enregistré le: 27 Nov 2007, 15:25
-
par leon1789 » 13 Sep 2008, 18:17
je me suis trompé aussi :
)
n'est pas {1,2} ,
mais
{{},{1},{2},{1,2}}
-
leon1789
- Membre Transcendant
- Messages: 5486
- Enregistré le: 27 Nov 2007, 15:25
-
par leon1789 » 13 Sep 2008, 18:18
ludo74 a écrit:euh oui pardon c'est:
P(E)={1}
P(F)={2}
et
 \cup P(F))
= {{1},{2}}
non !
P(E)={{1},{}}
P(F)={{2},{}}
et
 \cup P(F))
=
{{},{1},{2}}Et donc tu vois que
 \cup P(F))
est inclus dans
)
, et non le contraire... d'où un bug dans l'énoncé je pense.
-
ludo74
- Membre Relatif
- Messages: 119
- Enregistré le: 04 Oct 2006, 16:50
-
par ludo74 » 13 Sep 2008, 18:22
Ah bah on y avait travaillé à plusieurs et c'est ce qu'on se demandait mais du coup oui je comprend le problème merci de ton aide tu m'as bien éclairé bonne soirée
-
leon1789
- Membre Transcendant
- Messages: 5486
- Enregistré le: 27 Nov 2007, 15:25
-
par leon1789 » 13 Sep 2008, 18:25
En fait, le bon sujet est celui-ci
1. Démontrer que
 \supset P(E) \cup P(F))
.

2. Montrer, à l'aide d'un contre exemple, que l'inclusion réciproque n'est pas vraie en général.
(là, tu as un contre-exemple, cf au-dessus :id: )3. Comparer de même, au sens de l'inclusion,
)
et
 \cap P(F))
.
-
ludo74
- Membre Relatif
- Messages: 119
- Enregistré le: 04 Oct 2006, 16:50
-
par ludo74 » 13 Sep 2008, 18:43
effectivement je pense qu'il a fait une erreur et que l'on va devoir le faire avec cette correction.
le contre exemple je l'ai compris, et pour la démonstration par contre est ce qu'on a le droit de se servir d'un exemple ou pas??
-
leon1789
- Membre Transcendant
- Messages: 5486
- Enregistré le: 27 Nov 2007, 15:25
-
par leon1789 » 13 Sep 2008, 18:57
ludo74 a écrit:pour la démonstration par contre est ce qu'on a le droit de se servir d'un exemple ou pas??
non, on ne peut pas.
Un contre-exemple prouve qu'un truc est faux en général,
mais un exemple ne prouve rien sur la généralité.
Mais là, c'est pas compliqué :
P(E) est inclus dans
)
car ....
P(F) est inclus dans
)
car ....
et donc...
-
ludo74
- Membre Relatif
- Messages: 119
- Enregistré le: 04 Oct 2006, 16:50
-
par ludo74 » 13 Sep 2008, 19:07
mais il n'y a rien d'autres à dire que ça si j'ai bien compris la démonstration c'est:
P(E) inclus dans
)
car
P(F) inclus dans
)
car
Donc
 \cup P(F) \subset P(E \cup F))
-
leon1789
- Membre Transcendant
- Messages: 5486
- Enregistré le: 27 Nov 2007, 15:25
-
par leon1789 » 13 Sep 2008, 19:51
ludo74 a écrit: ...car
... car
aaaaaaarghhhhhhhh :marteau: :marteau: :marteau:
 \subset E)
???
-
ludo74
- Membre Relatif
- Messages: 119
- Enregistré le: 04 Oct 2006, 16:50
-
par ludo74 » 13 Sep 2008, 20:47
apparemment j'ai intéret de bosser sérieux :cry: mais je vois pas trop le probleme puisque une partie de E se trouve forcément dans E nan??
-
ludo74
- Membre Relatif
- Messages: 119
- Enregistré le: 04 Oct 2006, 16:50
-
par ludo74 » 13 Sep 2008, 20:51
ok autant pour moi ne te suicide pas devant mon ignorance :we: c'est le contraire c'est bon j'ai compris
-
leon1789
- Membre Transcendant
- Messages: 5486
- Enregistré le: 27 Nov 2007, 15:25
-
par leon1789 » 13 Sep 2008, 22:13
oui, le contraire à peu près :
)
-
leon1789
- Membre Transcendant
- Messages: 5486
- Enregistré le: 27 Nov 2007, 15:25
-
par leon1789 » 13 Sep 2008, 22:13
P(E) est inclus dans
)
car ....
P(F) est inclus dans
)
car ....
et donc
 \cup P(F))
....
Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 38 invités