Pour en finir avec linfini Yves Lafont Institut de Mathématiques de Luminy Université de la...

31
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

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

31