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

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

Embed Size (px)

Citation preview

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