Discussion:Théorème de Cantor-Bernstein

message: Voir ma nouvelle démonstration qui tient en deux ou trois lignes modulo un lemme qui devrait être mieux connu.--Spoirier 19:42, 11 novembre 2005 (CET)
: Dans la première démonstration, j'ai supprimé la partie qui montrait que les C_i étaient disjoints et qui, sauf erreur de ma part, n'est pas indispensable pour la suite. Il conviendrait également d'intégrer dans la l'article la démo de Spoirier ci-dessus, qui est fort intéressante. Mais garde-t-on alors les trois démos, ou alors une seule seulement, la plus courte ? Theon 24 février 2006 à 15:47 (CET)
replies: text:  Tant que les démonstrations sont vraiment différentes, autant présenter les trois : wikipedia a une vocation encyclopédique, non ? Donc on peut se permettre de montrer toute la richesse des mathématiques. Et comme ce n'est pas une science figée, il serait aussi intéressant de présenter les différentes preuves historiques. Meskiangasher 21 mars 2006 à 20:26 (CET)
replies: text:  La troisième démonstration est sourcée. Quid de sourcer les première et deuxième démonstrations ? Aussi, je suggère de remplacer "première", "deuxième", "troisième" par des adjectifs où les noms des auteurs des démonstrations ː Cantor, Bernstein, etc. Je ne suis pas spécialiste donc je peux pas le faire. Bonne soirée. --Fschwarzentruber (discuter) 22 juillet 2017 à 20:38 (CEST)

message: : il faudrait une section Corollaires et des liens depuis surjection, injection, bijection.
: il faudrait (pour cela/aussi) préciser dans quel mesure (AC ?) on peut passer d'une surjection de B sur A à une injection de A sur B et inversement. (voir aussi un point à préciser)   <STyx
Il faut préciser que le produit de 2 applications injectives est une application injective.
Dans la démonstration du théorèm( première démonstration finale), il n'est pas prouvé que la restriction à g est bijective, en vertu de quel théorème?
Si cela avait été le cas on aurait tout simplement dit que la restriction de l'image de f dans F est bijective.
Il manque quelque chose pour rendre cette démonstration correcte.
:Le fait que la composée de deux injections est une injection n'est pas l'objet de cet article. La propriété figure dans l'article injection vers lequel pointe le présent article. Le fait que g, étant injective de F dans E, est bijective de F sur B = g(F), relève de la définition de g(F). Theon (d) 26 février 2008 à 18:56 (CET)
replies: text: Si B = g(F) est vide, alors F est vide (ainsi que E). Theon (d) 27 février 2008 à 17:53 (CET)

text: Si E et F sont vides, ils sont en bijection et la démonstration de l'article reste parfaitement valable. Il n'y a donc pas lieu de les supposer non vides. De même, le fait que E et F soient disjoints ou non n'a aucune importance. Theon (d) 28 février 2008 à 08:02 (CET)

text: C'est incompatible avec les hypothèses. Theon (d) 28 février 2008 à 20:57 (CET)
thread_title:  Corollaires et liens à  ecrire 

message: Bonjour,
Je suis complétement néophyte en théorie des ensembles et logique, j'ai beaucoup apprécié la première démonstration (j'ai vachement galéré à comprendre la seconde, et la troisième est juste hors de portée pour moi). Après lecture de l'introduction, en supposant que les deux première démonstrations présentées correspondaient à peu près à des démonstrations historiques, j'ai fait cette supposition:
*La première démonstration, qui ne fait pas appel à des notions de "très hauts niveaux" correspondrait à celle de Bernstein.
*La deuxième démonstration serait une actualisation de celle de Zermelo et Dedekind.
Je me plante très probablement, mais du coup, je pense que ce serait vachement sympa de la part des connaisseurs de préciser la provenance au début de chacune des démonstrations, parce qu'en plus ça permettrait de se faire une petite idée sur l'histoire des concepts utilisés.
Merci d'avance
--Un autre type (discuter) 16 mars 2018 à 18:06 (CET)
replies: text: C'est ça, mais il faudrait vérifier dans le détail pour le mettre effectivement dans l'article, et rédiger probablement un peu différemment (d'ailleurs c'est la principale justification pour conserver ces 3 démonstrations), pour celle de Bernstein c'est compliqué car il ne l'a publiée que très tard, alors que Borel l'avait déjà publiée (et peut-être adaptée). J'ai toujours pensé que celle de König était la plus simple à comprendre, par ailleurs (voir sur la version en: une illustration probablement plus parlante), en tout cas elle n'est pas de plus haut niveau, et celle de Zermelo ne fait même pas appel aux entiers ... Proz (discuter) 16 mars 2018 à 19:10 (CET)
thread_title:  Précision 

message: Bonjour à tous,
Est-ce qu'un mathématicien peut donner des sources pour les démonstrations ?
Merci d'avance et bonne soirée.
--Fschwarzentruber (discuter) 14 octobre 2018 à 00:09 (CEST)
replies: text: Elles sont sourcées, non (enfin, la troisième directement, la seconde est une application du théorème de Knaster-Tarski) ? Plus utile serait de redonner l'erreur de la démonstration de Schroeder. Les notes me semblent assez précises (la pertinence, c'est autre chose : il faudrait des sources secondaires montrant que telle ou telle démonstration est plus pertinente qu'une autre, et ça, en mathématiques, c'est rare qu'on l'ait...)--Dfeldmann (discuter) 31 janvier 2019 à 21:06 (CET)
replies: text:  (conflit d'édition, réponse à Fs.) Ce n'est pas ça le problème. Dans ce cas le modèle à utiliser est Modèle:Référence souhaitée, voir la documentation de Modèle:Référence nécessaire qui indique clairement qu'il s'agit d'une remise en cause. Ceci dit chercher et indiquer soi-même une source est aussi possible... (je précise que je l'ai déjà pas mal pratiqué sur cet article comme ça peut facilement se constater). Proz (discuter) 31 janvier 2019 à 21:12 (CET)
replies: text:  Pour l'erreur de Schröder : ça peut se faire à partir de Hinkis 2013 (le problème est aussi que Schröder a un style manifestement assez illisible, mais je crois comprendre qu'il y a une erreur bien identifiable). Les 3 démonstrations sont intéressantes au moins sur le plan historique (celle par Knaster-Tarski, qui est je crois dans leur article, est essentiellement celle de Dedekind, je compte un jour la reprendre dans ce sens). Dans les 3 démonstrations, on a des constructions du point fixe différentes, ce qui est intéressant. Proz (discuter) 31 janvier 2019 à 21:28 (CET)
replies: text:  Merci pour la correction de "Référence nécessaire" en "Référence souhaitée". --Fschwarzentruber (discuter) 31 janvier 2019 à 22:26 (CET)
thread_title:  Source des démonstrations 

message: Bonjour, sur la démo 1 le lemme préliminaire annonce une fonction injective         u : A → B  avec B ⊆ A. Par inclusion de B dans A comment u pourrait-elle alors être injective, une fonction f : E → F étant injective ⇒  Card(E) ≤ Card(F) ? Dans ce cas pour assurer l'injectivité il faudrait alors que B = A et u serait bijective ce qui rendrait ce lemme inutile et n'avancerait en rien la démonstration du théorème ?
:Ah bon ? Pourtant l´application n -> 2n de A = les entiers et B = les entiers pairs est injective, non ?--Dfeldmann (discuter) 20 juillet 2019 à 08:29 (CEST)
replies: text: Je ne pense pas non plus qu'il y ait de soucis avec le lemme préliminaire. Par contre, quid de rajouter une source ? (je ne sais pas de quel livre est inspiré cette démonstration) Bonne journée. Fschwarzentruber (discuter) 20 juillet 2019 à 10:29 (CEST)
replies: text: Tout d'abord, merci à tous pour l'aide apportée à un autodidacte débutant en mathématiques. Oui elle est bien injective et on a bien 2N ⊊ N et |2N| = ℵ₀ = |N| (|2N| = ℵ₀ car dénombrable? → débutant). Cette égalité si égalité il y a, donne pour vrai (table du ou logique) |2N| ≤ |N| tout comme |N| ≤ |2N| ainsi l'implication est vraie. Ces arguments me permettent-ils de valider l'intégralité des informations sur ce cas (hors injectivité triviale) ? (merci encore au passage pour cet exemple avec des ensembles infinis dénombrables).
Mais cette application n'est elle pas naturellement bijective puisque chaque élément de N est associé à son double, ainsi la validation du lemme est instantanée et ne motive pas l'établissement de la démonstration qui lui succède? Y aurait-il au moins un exemple dans chacun des cas: ensembles finis (je ne vois pas comment) , ensembles infinis dénombrables et ensembles infinis non-dénombrables pour lequel u n'est pas trivialement bijective motivant le raisonnement suivit dans la démonstration? Ou peut être que par incompréhension ou lacunes je ne vois pas l'évidence de cette motivation pour tous cas d'ensembles pris quelconques ? --Georg Zorn (discuter) 20 juillet 2019 à 22:50 (CEST)
replies: text: En mathématiques, même (et surtout) pour les débutants, il est prudent d’énoncer avec précision ce qui gêne dans tel ou tel argument. Ici, vous étiez d’abord victime de l’illusion selon laquelle, si B est inclus dans A et s’il y a une injection de A vers B, on doit avoir A=B. Je vous ai détrompé. Vous pensez à présent (à raison sur mon exemple, mais ce n’était pas son but ) que la deuxième injection (donnée par n -> 2n) étant une bijection, il n’y a toujours rien de non trivial dans le lemme. Cette fois, je vous propose donc les mêmes A et B, mais l’injection n->4n ; j’espère vous convaincre mieux ainsi...—Dfeldmann (discuter) 21 juillet 2019 à 00:04 (CEST)
replies: text:  Dfeldmann a tout à fait raison et pour un autre contre exemple qu'il ne suffit pas que 1/ A s'injecte dans B, 2/ B inclus dans A, 3/ A et B même cardinalité, pour que 4/ A=B, prendre comme avant f(n) = 2n, A = ensemble des entiers, et B cette fois = ensemble des entiers pairs union {1} = {0, 1, 2, 4, 6, 8, ...}. La clef est que A et B sont infinis et ce qui marche pour le fini ne s'y applique pas ; voyez l'article Hôtel de Hilbert sur le sujet et retenez aussi qu'un ensemble est infini ssi il est bijectable avec une partie stricte de lui-même. Sinon, , sachez, si vous l'ignorez, qu'un autre Zorn a travaillé sur une autre version de l'axiome du choix dont parle en creux ce présent article ;-) . --Epsilon0  ε0 21 juillet 2019 à 02:33 (CEST)
replies: text:  Oui je sais c'est d'ailleurs devant le refus de devoir admettre ce lemme sans démonstration que j'entame un cours sur la théorie ZFC pour désobscurcir bien d'autres points. Merci me voilà enfin libéré « vers l'infini, et au-delà ! » Buzz l'Éclair.--Georg Zorn (discuter) 22 juillet 2019 à 02:18 (CEST)
thread_title:  Lemme préliminaire démo 1