Problème sur les réels
Réponses à toutes vos questions après le Bac (Fac, Prépa, etc.)
-
Marillion
- Membre Naturel
- Messages: 20
- Enregistré le: 08 Oct 2005, 10:41
-
par Marillion » 14 Nov 2006, 19:20
Bonjour à tous,
Voilà l'énoncé:
Soient A et B deux parties de R (R ensemble des reéls).
Montrer que A inclus dans B implique que complémentaire de A est inclus dans complémentaire de B.
-
Zebulon
- Membre Complexe
- Messages: 2413
- Enregistré le: 01 Sep 2005, 10:06
-
par Zebulon » 14 Nov 2006, 19:36
Bonjour,
Marillion a écrit:Soient A et B deux parties de R (R ensemble des reéls).
Montrer que A inclus dans B implique que complémentaire de A est inclus dans complémentaire de B.
ça va être très difficile à montrer...
C'est dans l'autre sens :

.
-
Mohamed
- Membre Relatif
- Messages: 225
- Enregistré le: 02 Juil 2006, 21:01
-
par Mohamed » 14 Nov 2006, 19:46
salut
l'énoncé est faux, ca doit etre comme ça
Mq A inclus ds B implique la complémentaire de B inclus ds la complémentaire de A
tu peux démontrer ça en utilisant la contraposée...
-
Zebulon
- Membre Complexe
- Messages: 2413
- Enregistré le: 01 Sep 2005, 10:06
-
par Zebulon » 14 Nov 2006, 20:47
Mohamed a écrit:tu peux démontrer ça en utilisant la contraposée...
La contraposée ? Pourquoi ne pas le démontrer directement ? C'est immédiat !
-
Marillion
- Membre Naturel
- Messages: 20
- Enregistré le: 08 Oct 2005, 10:41
-
par Marillion » 14 Nov 2006, 21:27
En fait, j'ai mal traduit l'énoncé:
Il faut démontrer que A incluse dans B implique adhérence de A incluse dans adhérence de B.
Toutes mes excuses...mais si vous pouviez à nouveau m'aider...
-
abcd22
- Membre Complexe
- Messages: 2426
- Enregistré le: 13 Jan 2006, 14:36
-
par abcd22 » 14 Nov 2006, 21:33
Qu'est-ce que vous avez vu comme définition de l'adhérence ou propriétés équivalentes à le définition ?
-
Zebulon
- Membre Complexe
- Messages: 2413
- Enregistré le: 01 Sep 2005, 10:06
-
par Zebulon » 14 Nov 2006, 21:35
Première question : on est dans un espace métrique ou topologique quelconque ?
Ensuite, il faut traduire

je le fais dans un espace métrique)
\cap A\neq\empty)
.
On veut montrer que si

, alors

, ie :
\cap B\neq\empty)
.
Alors on se donne un r>0, et on le montre...
-
Marillion
- Membre Naturel
- Messages: 20
- Enregistré le: 08 Oct 2005, 10:41
-
par Marillion » 14 Nov 2006, 21:42
On se trouve dans un espace topologique.
-
Zebulon
- Membre Complexe
- Messages: 2413
- Enregistré le: 01 Sep 2005, 10:06
-
par Zebulon » 14 Nov 2006, 21:43
Alors on remplace les boules par des voisinages de x.
-
abcd22
- Membre Complexe
- Messages: 2426
- Enregistré le: 13 Jan 2006, 14:36
-
par abcd22 » 14 Nov 2006, 21:58
Dans le premier post tu dis A et B parties de

pourtant ?
-
Marillion
- Membre Naturel
- Messages: 20
- Enregistré le: 08 Oct 2005, 10:41
-
par Marillion » 14 Nov 2006, 22:04
Merci.
C'étatit tout simple en définitive.
-
aviateurpilot
- Membre Irrationnel
- Messages: 1772
- Enregistré le: 01 Juin 2006, 21:33
-
par aviateurpilot » 14 Nov 2006, 22:26
on sais que:
(P => Q) (non Q => non P)
donc:
(

=>

) (

=>

)
par suite

=>

-
yos
- Membre Transcendant
- Messages: 4858
- Enregistré le: 10 Nov 2005, 20:20
-
par yos » 14 Nov 2006, 22:53

donc

. Mais

est fermé et

est le plus petit fermé contenant A.
Donc

.
Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 22 invités