NON-DÉNOMBRABILITÉ de R

preview_player
Показать описание
Quatre preuves de la non-dénombrabilité de l'ensemble R des nombres réels.

Ressources externes :

1) Deux vidéos d'introduction aux notions d'application, injection, surjection, bijection :

2) Un article sur la notion de bijection :

Plan de la vidéo :

00:00 Introduction, notion de dénombrabilité
02:41 Controverse autour des travaux de Cantor
04:03 Preuve 1 (Cantor)
06:54 Preuve 2 (Lebesgue)
07:59 Preuve 3 (Baire)
08:45 Preuve 4 (Cantor)
12:41 Epilogue
Рекомендации по теме
Комментарии
Автор

Excellent. C'est passionnant de travailler différentes preuves d'un même théorème.Merci beaucoup Professeur et bravo.👍👍

steevelevy
Автор

Très bonne vidéo, j'ai beaucoup aimé les preuves topologiques, on en entend moins parler que la diagonale de Cantor !
Juste une petite remarque : dans la 3ème preuve on utilise le théorème de Baire pour montrer la non-dénombrabilité de R - je n'ai pas regardé de démonstration, mais peut-être que celle-ci fasse intervenir la non-dénombrabilité de R elle-même !
Plus généralement, utiliser de gros résultats pour démontrer des choses assez générales mais plus élémentaires nous font courir le risque de l'argument circulaire, non?

martintrucchi
Автор

Il n’y a pas de problème d’axiome du choix lorsque l’on construit le réel servant à la démonstration par la diagonale de cantor ?

massimechoub
Автор

Je reste perplexe sur l’existence de -1…

marcpremium