Pour en finir avec linfini Yves Lafont Institut de Mathématiques de Luminy Université de la...
-
Upload
leolin-tardy -
Category
Documents
-
view
102 -
download
0
Transcript of Pour en finir avec linfini Yves Lafont Institut de Mathématiques de Luminy Université de la...
![Page 1: Pour en finir avec linfini Yves Lafont Institut de Mathématiques de Luminy Université de la Méditerranée (Aix-Marseille 2) 6/6/6.](https://reader035.fdocument.pub/reader035/viewer/2022062621/551d9d8f497959293b8c51b5/html5/thumbnails/1.jpg)
Pour en finir avec l’infini
Yves Lafont
Institut de Mathématiques de Luminy
Université de la Méditerranée
(Aix-Marseille 2)
6/6/6
![Page 2: Pour en finir avec linfini Yves Lafont Institut de Mathématiques de Luminy Université de la Méditerranée (Aix-Marseille 2) 6/6/6.](https://reader035.fdocument.pub/reader035/viewer/2022062621/551d9d8f497959293b8c51b5/html5/thumbnails/2.jpg)
2
Symbole 1 : cycle
![Page 3: Pour en finir avec linfini Yves Lafont Institut de Mathématiques de Luminy Université de la Méditerranée (Aix-Marseille 2) 6/6/6.](https://reader035.fdocument.pub/reader035/viewer/2022062621/551d9d8f497959293b8c51b5/html5/thumbnails/3.jpg)
3
Cycles familiers
• Cycles naturels des astres (jours, mois, ans)• Cycles mécaniques des horloges• Cycles biologiques des générations• Cycles scolaires ou universitaires• Cycles de conférences
![Page 4: Pour en finir avec linfini Yves Lafont Institut de Mathématiques de Luminy Université de la Méditerranée (Aix-Marseille 2) 6/6/6.](https://reader035.fdocument.pub/reader035/viewer/2022062621/551d9d8f497959293b8c51b5/html5/thumbnails/4.jpg)
4
Cycles en mathématiques
• Cinématique : rotation autour d’un point• Géométrie : paramétrage angulaire du cercle• Topologie : revêtement universel du cercle• Algèbre : générateur du groupe des entiers• Algorithmique : instruction de boucle
![Page 5: Pour en finir avec linfini Yves Lafont Institut de Mathématiques de Luminy Université de la Méditerranée (Aix-Marseille 2) 6/6/6.](https://reader035.fdocument.pub/reader035/viewer/2022062621/551d9d8f497959293b8c51b5/html5/thumbnails/5.jpg)
5
Automate
![Page 6: Pour en finir avec linfini Yves Lafont Institut de Mathématiques de Luminy Université de la Méditerranée (Aix-Marseille 2) 6/6/6.](https://reader035.fdocument.pub/reader035/viewer/2022062621/551d9d8f497959293b8c51b5/html5/thumbnails/6.jpg)
6
![Page 7: Pour en finir avec linfini Yves Lafont Institut de Mathématiques de Luminy Université de la Méditerranée (Aix-Marseille 2) 6/6/6.](https://reader035.fdocument.pub/reader035/viewer/2022062621/551d9d8f497959293b8c51b5/html5/thumbnails/7.jpg)
7
![Page 8: Pour en finir avec linfini Yves Lafont Institut de Mathématiques de Luminy Université de la Méditerranée (Aix-Marseille 2) 6/6/6.](https://reader035.fdocument.pub/reader035/viewer/2022062621/551d9d8f497959293b8c51b5/html5/thumbnails/8.jpg)
8
Symbole 2 : spirale
![Page 9: Pour en finir avec linfini Yves Lafont Institut de Mathématiques de Luminy Université de la Méditerranée (Aix-Marseille 2) 6/6/6.](https://reader035.fdocument.pub/reader035/viewer/2022062621/551d9d8f497959293b8c51b5/html5/thumbnails/9.jpg)
9
![Page 10: Pour en finir avec linfini Yves Lafont Institut de Mathématiques de Luminy Université de la Méditerranée (Aix-Marseille 2) 6/6/6.](https://reader035.fdocument.pub/reader035/viewer/2022062621/551d9d8f497959293b8c51b5/html5/thumbnails/10.jpg)
10
Symbole 3 : point de fuite
![Page 11: Pour en finir avec linfini Yves Lafont Institut de Mathématiques de Luminy Université de la Méditerranée (Aix-Marseille 2) 6/6/6.](https://reader035.fdocument.pub/reader035/viewer/2022062621/551d9d8f497959293b8c51b5/html5/thumbnails/11.jpg)
11
![Page 12: Pour en finir avec linfini Yves Lafont Institut de Mathématiques de Luminy Université de la Méditerranée (Aix-Marseille 2) 6/6/6.](https://reader035.fdocument.pub/reader035/viewer/2022062621/551d9d8f497959293b8c51b5/html5/thumbnails/12.jpg)
12
Fondements de l’analyse
L’inverse 1/x échange 0 et l’infini :
1,2,3,…,n,… devient 1,1/2,1/3,…,1/n,…
(infiniment petit = infiniment grand)
Série infinie dont la somme est finie :
1/2 + 1/4 + 1/8 + … + 1/2n + … = 1
(paradoxe de Zénon)
![Page 13: Pour en finir avec linfini Yves Lafont Institut de Mathématiques de Luminy Université de la Méditerranée (Aix-Marseille 2) 6/6/6.](https://reader035.fdocument.pub/reader035/viewer/2022062621/551d9d8f497959293b8c51b5/html5/thumbnails/13.jpg)
13
Symbole 4 : abyme
![Page 14: Pour en finir avec linfini Yves Lafont Institut de Mathématiques de Luminy Université de la Méditerranée (Aix-Marseille 2) 6/6/6.](https://reader035.fdocument.pub/reader035/viewer/2022062621/551d9d8f497959293b8c51b5/html5/thumbnails/14.jpg)
14
![Page 15: Pour en finir avec linfini Yves Lafont Institut de Mathématiques de Luminy Université de la Méditerranée (Aix-Marseille 2) 6/6/6.](https://reader035.fdocument.pub/reader035/viewer/2022062621/551d9d8f497959293b8c51b5/html5/thumbnails/15.jpg)
15
Dénombrements
• Combien y a-t-il d’étoiles ?• Combien y a-t-il de livres ?
• Combien y a-t-il de points ?• Combien y a-t-il de nombres ?
![Page 16: Pour en finir avec linfini Yves Lafont Institut de Mathématiques de Luminy Université de la Méditerranée (Aix-Marseille 2) 6/6/6.](https://reader035.fdocument.pub/reader035/viewer/2022062621/551d9d8f497959293b8c51b5/html5/thumbnails/16.jpg)
16
![Page 17: Pour en finir avec linfini Yves Lafont Institut de Mathématiques de Luminy Université de la Méditerranée (Aix-Marseille 2) 6/6/6.](https://reader035.fdocument.pub/reader035/viewer/2022062621/551d9d8f497959293b8c51b5/html5/thumbnails/17.jpg)
17
![Page 18: Pour en finir avec linfini Yves Lafont Institut de Mathématiques de Luminy Université de la Méditerranée (Aix-Marseille 2) 6/6/6.](https://reader035.fdocument.pub/reader035/viewer/2022062621/551d9d8f497959293b8c51b5/html5/thumbnails/18.jpg)
18
L’hôtel de Hilbert
L’hôtel est complet, mais il est infini.
Arrive un client.
Arrive un autocar infini.
Arrive une infinité d’autocars infinis.
![Page 19: Pour en finir avec linfini Yves Lafont Institut de Mathématiques de Luminy Université de la Méditerranée (Aix-Marseille 2) 6/6/6.](https://reader035.fdocument.pub/reader035/viewer/2022062621/551d9d8f497959293b8c51b5/html5/thumbnails/19.jpg)
19
Il faut passer partout :
![Page 20: Pour en finir avec linfini Yves Lafont Institut de Mathématiques de Luminy Université de la Méditerranée (Aix-Marseille 2) 6/6/6.](https://reader035.fdocument.pub/reader035/viewer/2022062621/551d9d8f497959293b8c51b5/html5/thumbnails/20.jpg)
20
Mauvaise réponse :
![Page 21: Pour en finir avec linfini Yves Lafont Institut de Mathématiques de Luminy Université de la Méditerranée (Aix-Marseille 2) 6/6/6.](https://reader035.fdocument.pub/reader035/viewer/2022062621/551d9d8f497959293b8c51b5/html5/thumbnails/21.jpg)
21
Bonne réponse :
![Page 22: Pour en finir avec linfini Yves Lafont Institut de Mathématiques de Luminy Université de la Méditerranée (Aix-Marseille 2) 6/6/6.](https://reader035.fdocument.pub/reader035/viewer/2022062621/551d9d8f497959293b8c51b5/html5/thumbnails/22.jpg)
22
Autre bonne réponse :
![Page 23: Pour en finir avec linfini Yves Lafont Institut de Mathématiques de Luminy Université de la Méditerranée (Aix-Marseille 2) 6/6/6.](https://reader035.fdocument.pub/reader035/viewer/2022062621/551d9d8f497959293b8c51b5/html5/thumbnails/23.jpg)
23
Arithmétique infinie
Soit N un cardinal infini :
N + 1 = N
2 x N = N + N = N
N2 = N x N = N
2N > N
(diagonalisation de Cantor)
![Page 24: Pour en finir avec linfini Yves Lafont Institut de Mathématiques de Luminy Université de la Méditerranée (Aix-Marseille 2) 6/6/6.](https://reader035.fdocument.pub/reader035/viewer/2022062621/551d9d8f497959293b8c51b5/html5/thumbnails/24.jpg)
24
Représentation des réels
Un nombre réel a une infinité de décimales.
Exemple : 3,141592653589793238462…
Idem en base 2 (arithmétique des ordinateurs).
Exemple : 11,00100100001111110110…
Donc il y a plus de nombres réels que d’entiers.
![Page 25: Pour en finir avec linfini Yves Lafont Institut de Mathématiques de Luminy Université de la Méditerranée (Aix-Marseille 2) 6/6/6.](https://reader035.fdocument.pub/reader035/viewer/2022062621/551d9d8f497959293b8c51b5/html5/thumbnails/25.jpg)
25
Il faut écrire toutes les suites :
![Page 26: Pour en finir avec linfini Yves Lafont Institut de Mathématiques de Luminy Université de la Méditerranée (Aix-Marseille 2) 6/6/6.](https://reader035.fdocument.pub/reader035/viewer/2022062621/551d9d8f497959293b8c51b5/html5/thumbnails/26.jpg)
26
Une proposition :
![Page 27: Pour en finir avec linfini Yves Lafont Institut de Mathématiques de Luminy Université de la Méditerranée (Aix-Marseille 2) 6/6/6.](https://reader035.fdocument.pub/reader035/viewer/2022062621/551d9d8f497959293b8c51b5/html5/thumbnails/27.jpg)
27
Diagonalisation de Cantor :
![Page 28: Pour en finir avec linfini Yves Lafont Institut de Mathématiques de Luminy Université de la Méditerranée (Aix-Marseille 2) 6/6/6.](https://reader035.fdocument.pub/reader035/viewer/2022062621/551d9d8f497959293b8c51b5/html5/thumbnails/28.jpg)
28
Cette suite n’apparaît pas :
![Page 29: Pour en finir avec linfini Yves Lafont Institut de Mathématiques de Luminy Université de la Méditerranée (Aix-Marseille 2) 6/6/6.](https://reader035.fdocument.pub/reader035/viewer/2022062621/551d9d8f497959293b8c51b5/html5/thumbnails/29.jpg)
29
Autres diagonalisations
Logique : énoncés vrais mais indémontrables
Théorème d’incomplétude de Goedel
Calcul : problèmes indécidables
Machines de Turing
Théorie de la complexité algorithmique
![Page 30: Pour en finir avec linfini Yves Lafont Institut de Mathématiques de Luminy Université de la Méditerranée (Aix-Marseille 2) 6/6/6.](https://reader035.fdocument.pub/reader035/viewer/2022062621/551d9d8f497959293b8c51b5/html5/thumbnails/30.jpg)
30
La Bibliothèque de Babel (Borges)
La Bibliothèque contient tous les livres.
Les livres ont tous la même taille, mais :
Comment les numéroter, les cataloguer ?
La bibliothèque de Babel est-elle infinie ?
A quoi sert une telle bibliothèque ?
![Page 31: Pour en finir avec linfini Yves Lafont Institut de Mathématiques de Luminy Université de la Méditerranée (Aix-Marseille 2) 6/6/6.](https://reader035.fdocument.pub/reader035/viewer/2022062621/551d9d8f497959293b8c51b5/html5/thumbnails/31.jpg)
31