Exos sympas MP(*)

Un problème, une question, un nouveau théorème ?

Messages : 317

Enregistré le : 04 oct. 2017 15:58

Classe : MP

Re: Exos sympas MP(*)

Message par Errys » 13 févr. 2020 09:55

Un problème rigolo :

Peut-on trouver une partie E non dénombrable de $ P(\mathbb{N}) $ qui soit totalement ordonnée pour l'inclusion ? (Si $ A,B\in E, A\subseteq B \text{ ou } B\subseteq A) $
Lycée Édouard Branly 2015-2018
LLG HX1 2018-2019
LLG MP*3 2019-2020

Messages : 10

Enregistré le : 26 janv. 2018 00:28

Classe : Ecole d'ingé

Re: Exos sympas MP(*)

Message par Tass » 13 févr. 2020 12:35

Mon premier instinct c'est de mettre $ \mathbb{N} $ en bijection avec $ \mathbb{Q} $ puis de travailler sur $ \mathbb{Q} $. Ensuite, on définit $ E = \{\{z \in \mathbb{Q} \mid z<x\} \mid x \in \mathbb{R}\} $. Cet ensemble est clairement indénombrable étant donné qu'il est en bijection avec $ \mathbb{R} $. De plus, l'ordre de l'inclusion sur $ E $ correspond à l'ordre usuel sur $ \mathbb{R} $, donc $ E $ est totalement ordonné pour l'inclusion.

J'ai bon ?

Messages : 2

Enregistré le : 12 févr. 2020 18:52

Classe : Corps des mines

Re: Exos sympas MP(*)

Message par Xmines » 13 févr. 2020 16:42

Bravo Errys !
Il existe d’autre variante de solution que je posterai sous peu

Messages : 317

Enregistré le : 04 oct. 2017 15:58

Classe : MP

Re: Exos sympas MP(*)

Message par Errys » 13 févr. 2020 21:02

Tass a écrit :
13 févr. 2020 12:35
Mon premier instinct c'est de mettre $ \mathbb{N} $ en bijection avec $ \mathbb{Q} $ puis de travailler sur $ \mathbb{Q} $. Ensuite, on définit $ E = \{\{z \in \mathbb{Q} \mid z<x\} \mid x \in \mathbb{R}\} $. Cet ensemble est clairement indénombrable étant donné qu'il est en bijection avec $ \mathbb{R} $. De plus, l'ordre de l'inclusion sur $ E $ correspond à l'ordre usuel sur $ \mathbb{R} $, donc $ E $ est totalement ordonné pour l'inclusion.

J'ai bon ?
Oui c'est juste :) bravo !
Lycée Édouard Branly 2015-2018
LLG HX1 2018-2019
LLG MP*3 2019-2020

Répondre