Théorème de Cantor - Bernstein
Bonjour à tous.
Je pense que ce sujet revient régulièrement, je n'ai pas vraiment de question à poser, j'ouvre ce fil juste pour dire que j'ai trouvé une autre démonstration. C'est une variante de la démonstration classique, qui me paraît plus facile à comprendre car plus intuitive. J'aimerais bien avoir votre avis, et aussi être sûr que je n'ai pas fait d'erreur dans la démonstration. Merci d'avance à celui ou celle qui aura le courage de la lire.
Bonne journée, Pierre
Théorème de Cantor - Bernstein
Théorème de Cantor - Bernstein
Réponses
-
Oui ta preuve est assez classique, c'est la première que j'avais vu personnellement.J'ai juste remarqué une petite typo dans la preuve de $X \neq A$ page 1. La conclusion de la preuve est $X \neq A$ et non $E \neq A$.Je préfère la preuve par Tarski personnellement. Elle est peut-être moins constructiviste mais a le mérite de la concision : question d'affinités !
-
Sur la page wikipédia du théorème on trouve 3 démonstrations. Je crois que PierreCap adapte la première et que celle de Tarski préférée par heuristique est la deuxième. Personnellement c'est la troisième qui a ma préférence, et de loin. Je me souviens avoir été assez émerveillé par la simplicité et la beauté de l'argument la première fois que je l'ai lue.Tous les goûts sont dans la nature parait-il !
-
Heuristique a dit : https://les-mathematiques.net/vanilla/index.php?p=/discussion/comment/2337051/#Comment_2337051[Inutile de recopier un message présent sur le forum. Un lien suffit. AD]
-
Pierrre
-
Merci Renart pour ta preuve, je ne la connaissais pas et je la trouve très sympa !
-
AD : https://www.projet-voltaire.fr/culture-generale/reforme-orthographe-expliquee-10-points/ goût peut désormais s'écrire sans accentPierreCap : En effet, on peut parfois l'utiliser directement pour construire des bijections si l'on est en manque d'inspiration.Exercice illustratif : si l'on se donne $f : [0;1[ \to [0;1]$ l'injection qu'est l'identité et $g : [0;1] \to [0;1[ $ définie par $g : x \mapsto x/2$ déterminer une bijection à l'aide de la démonstration 3 du théorème de Cantor-Bernstein.
-
Je ne la connaissais pas la démonstration 3 de Cantor-Bernstein. C'est peut-être la plus simple à retenir.
-
Je n'ai pas encore regardé la démonstration dont tu m'as parlé (celle de Julius König selon Wikipédia). Je vais le faire, j'attends juste d'avoir assez de temps à y consacrer car ça risque de pas être facile pour moi. Mais j'ai fait ton exercice en utilisant ma démonstration du lemme, que je connais mieux forcément ;o) Si j'ai bien compris, il faut fabriquer une bijection $h : [ \![ 0 ; 1] \!] \rightarrow [ \![ 0 ; 1[ \![$ utilisant l'injection $g : x \mapsto x/2$ et l'application identité. Voilà ce que j'ai trouvé :
posons $ X = \{ \frac{1}{2^n} | n \in \N \}$
pour $x \in X$ on fait $h(x) = g(x)$
pour $x \in [ \![ 0 ; 1] \!] \setminus X $ on fait $ h(x) = x$
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 7 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 62 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 312 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 772 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres