Pensez à lire la Charte avant de poster !

$\newcommand{\K}{\mathbf K}$


Les-Mathematiques.net - Cours de mathématiques supérieures
 Les-Mathematiques.net - Cours de mathématiques universitaires - Forum - Cours à télécharger

A lire
Deug/Prépa
Licence
Agrégation
A télécharger
Télécharger
229 personne(s) sur le site en ce moment
E. Cartan
A lire
Articles
Math/Infos
Récréation
A télécharger
Télécharger
Théorème de Cantor-Bernstein
Théo. Sylow
Théo. Ascoli
Théo. Baire
Loi forte grd nbre
Nains magiques
 
 
 
 
 

Bijectivité

Envoyé par Pablo_de_retour 
Bijectivité
il y a cinq semaines
avatar
Bonsoir à tous
Comment montrer que, $ \mathbb{R} $ et $ \mathcal{P} ( \mathbb{R} ) $ ne sont pas bijectives [en bijection] ?
Merci d'avance.



Edité 1 fois. La dernière correction date de il y a cinq semaines et a été effectuée par AD.
Re: Bijectivité.
il y a cinq semaines
De façon général, si $E$ est un ensemble, il n'existe pas de bijection entre $E$ et $\mathcal P(E)$.

Pour le démontrer, on suppose qu'il existe une bijection $f \colon E \to \mathcal P(E)$ et on considère l'ensemble
$$A =\{ x \in E \mid x \notin f(x) \},
$$ qui conduit à une contradiction.



Edité 1 fois. La dernière correction date de il y a cinq semaines et a été effectuée par AD.
Re: Bijectivité.
il y a cinq semaines
avatar
$ \mathbb{R} $ et $ \mathcal{P} ( \mathbb{R} ) $ ne sont pas en bijection, parce que, sinon, il existe une surjection $ \pi \ : \ \mathbb{R} \to \mathcal{P} ( \mathbb{R} ) $.
Or, si nous prenons $ T = \{ \ x \in \mathbb{R} \ | \ x \not \in \pi (x) \ \} \in \mathcal{P} ( \mathbb{R} ) $, alors $ T $ n'a pas d'antécédent par $ \pi $. D'où contradiction.
Par conséquent, $ \mathbb{R} $ et $ \mathcal{P} ( \mathbb{R} ) $ ne sont pas en bijection.
smiling smiley

Edit, Grillé par Héhéhé



Edité 1 fois. La dernière correction date de il y a cinq semaines et a été effectuée par Pablo_de_retour.
Re: Bijectivité.
il y a cinq semaines
Es-tu capable de démontrer que $T$ n'a pas d'antécédent par $\pi$ ?
Re: Bijectivité.
il y a cinq semaines
avatar
@Héhéhé,
Supposons que $ T $ a un antécédent $ a $ par $ \pi $,
Alors, $ a \in \pi (a) $ ou $ a \not \in \pi (a) $.
- Si $ a \in \pi (a) $, alors, $ a \not \in \pi (a) $, ce qui absurde.
- Si $ a \not \in \pi (a) $, alors $ a \in \pi (a) $, ce qui est absurde aussi.
D'où, $ a $ n'est pas un antécédent de $ T $ par $ \pi $, et ce pour tout $ a \in \mathbb{R} $.
Par conséquent, $ T $ n'a aucun antécédent par $ \pi $.
smiling smiley
Seuls les utilisateurs enregistrés peuvent poster des messages dans ce forum.

Cliquer ici pour vous connecter

Liste des forums - Statistiques du forum

Total
Discussions: 149 210, Messages: 1 506 639, Utilisateurs: 27 657.
Notre dernier utilisateur inscrit Algomius.


Ce forum
Discussions: 2 516, Messages: 51 010.

 

 
©Emmanuel Vieillard Baron 01-01-2001
Adresse Mail:

Inscription
Désinscription

Actuellement 16057 abonnés
Qu'est-ce que c'est ?
Taper le mot à rechercher

Mode d'emploi
En vrac

Faites connaître Les-Mathematiques.net à un ami
Curiosités
Participer
Latex et autres....
Collaborateurs
Forum

Nous contacter

Le vote Linux

WWW IMS
Cut the knot
Mac Tutor History...
Number, constant,...
Plouffe's inverter
The Prime page