Théorème de Banach-Tarski

Théorème de Banach-Tarski

Paradoxe de Banach-Tarski

Illustration du paradoxe de Banach-Tarski

Le paradoxe de Banach-Tarski, dû à Stefan Banach et Alfred Tarski, montre qu’il est possible de couper une boule de \mathbb R^3 en un nombre fini de morceaux et de réassembler ces morceaux pour former deux boules identiques à la première, à une isométrie près. Il montre qu’il existe des morceaux non-mesurables, sans quoi on obtiendrait une contradiction (la longueur, la surface ou le volume étant des exemples de mesures).

La démonstration de ce paradoxe utilise l’axiome du choix, nécessaire pour construire des ensembles non mesurables.

Sommaire

Préliminaires

Le groupe des isométries est l’ensemble de toutes les translations, symétries planaires, rotations et de leur composées, c’est-à-dire l’ensemble de toutes les manières de prendre une figure dans l’espace et de la déplacer ou de la faire tourner sur elle-même sans la déformer (et en particulier sans changer sa taille). Une isométrie peut se voir comme une fonction mathématique g et une figure comme un ensemble de points E. Dire qu’il existe un ensemble F tel que g(E) = F, c’est simplement dire en gros que E et F ont la même forme et la même taille, bref qu’ils sont identiques à leur position près.

Deux ensembles sont donc équidécomposables si on peut couper le premier en morceaux et reconstruire le deuxième simplement en déplaçant les morceaux (c’est-à-dire en leur appliquant une isométrie). Un ensemble est dédoublable s’il est équidécomposable à une « moitié » de lui-même.

Une mesure est en gros une fonction mathématique qui satisfait aux mêmes conditions qu’une longueur. C’est donc une généralisation de la longueur (ou du volume). Un bon exemple de mesure est la mesure de Lebesgue : si on veut mesurer un intervalle, on prend sa longueur et si on a un ensemble « en plusieurs morceaux », on prend la somme de la longueur de chacun des morceaux. Par exemple, si deux bouteilles d’un litre de vin sont posées à deux endroits différents, physiquement il y a deux objets distincts. C’est ici que le volume montre « ses limites ». Mais mathématiquement on peut considérer que ces deux bouteilles ne forment qu’un seul et même objet dont le volume est 2 litres. C’est un exemple de mesure.

Plus généralement, la mesure d'un « objet » vide vaut 0, alors que la mesure d'un ensemble constitué de plusieurs « objets » est la somme des mesures de chacun des objets. Ce qu'affirme ce paradoxe, c’est qu’on peut construire des ensembles suffisamment « tordus » pour qu’on ne puisse pas les mesurer, c’est-à-dire qu’on ne peut pas leur associer une valeur en général (ou un volume ou une longueur en particulier) sans violer les deux propriétés évoquées plus haut. Plus précisément, si on essaie de trouver une manière de leur associer un volume, on peut prouver qu’en continuant d’appliquer cette méthode, on trouvera une partie qui a le même volume que le tout, ou un verre à eau a le même volume qu’un camion citerne, ce qui est absurde. Donc, il faut reconnaitre que le volume d’un tel ensemble n’existe pas. Bien sûr, il s’agit d’une propriété mathématique, on ne pourra jamais construire physiquement un tel ensemble.

Le paradoxe affirme que l’on peut multiplier les petits pois ou transformer une grenouille en quelque chose de plus gros que le bœuf dès l’instant qu’on passe par une étape où elle est coupée en morceaux non mesurables, où le volume perd son sens. Par la suite, on peut réassembler ces morceaux en un objet « plus gros » sans avoir à dire que la grenouille et le bœuf ont le même volume puisque le volume du résultat n’est pas la somme des volumes des morceaux.

Ce paradoxe a pu être perçu comme une rupture entre les mathématiques et la physique, car en pratique une telle transformation est impossible avec des objets de la vie courante : elle nécessite des coupures infiniment fines, ce qui est physiquement impossible, à cause de la taille des atomes.

Énoncé plus précis

Soient A, B deux parties d’un ensemble E. On dit que A et B sont équidécomposables suivant un groupe de transformation G s’il existe deux suites finies d’ensembles (F_n)_{n\in I} et (H_n)_{n\in I} telles que :

  • \forall n \in I, \exists g \in G | g(F_n)=H_n
  • \bigcup_{n\in I} F_n = A
  • \bigcup_{n\in I} H_n = B

Par exemple, tout parallélogramme est équidécomposable à un rectangle. L’équidécomposabilité est une relation d'équivalence, donc elle est symétrique, réflexive et transitive. À noter ici qu’il n'est pas intéressant d’inclure les homothéties dans G. On prend donc généralement le groupe des isométries (translations et rotations).

Un ensemble E est dit « dédoublable » s’il existe deux ensembles A et B non vides tels que E = A \cup B (union disjointe) et tels que A, B, E soient équidécomposables.

Démontrer le résultat de Banach-Tarski revient à montrer que la boule unité de \mathbb R^3 est dédoublable suivant le groupe des isométries de \mathbb R^3.

Il faut enfin remarquer le rôle essentiel joué dans ce résultat par la non commutativité du groupe des rotations de l'espace : on démontre que le paradoxe n'est pas possible dans le plan.

Un exemple d’ensemble non mesurable

Soit R une relation d'équivalence définie par \forall x,y \in\mathbb R, xRy \Leftrightarrow x-y \in\mathbb Q.

On construit l'ensemble quotient \mathbb R/R, qu'on note aussi \mathbb R/\mathbb Q (dans ce cas, la relation d'équivalence est sous-entendue).

Soit Sn un ensemble tel que Sn contienne un et un seul élément de chaque classe d’équivalence de \mathbb R. On utilise l’axiome du choix, car on ne sait pas construire de fonction de \mathbb R/R \rightarrow \mathbb{R} telle qu’elle renvoie un et un seul élément de chaque classe d’équivalence, on est donc obligé de supposer son existence.

On peut montrer que Sn n’est pas mesurable (c’est-à-dire qu’il n’appartient pas à la tribu de Lebesgue).

Voir aussi

  • Marc GUINOT, Le Paradoxe de Banach-Tarski, Editions Aleas (ISBN 2-908016-08-7)
  • Pierre de la HARPE, Mesures finiment additives et Paradoxes, in Autour du centenaire de Lebesgue, Panoramas et Synthèses 18 (2004), Société Mathématique de France (ISBN 2-85629-170-8)
  • Stan WAGON, The Banach-Tarski Paradox, Editions Cambridge University Press (ISBN 0-521-45704-1)

Articles connexes

Lien externe

  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Paradoxe de Banach-Tarski ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Théorème de Banach-Tarski de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать реферат

Regardez d'autres dictionnaires:

  • Théorème de Banach — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Le nom de Banach est donné à plusieurs théorèmes : le Théorème de Hahn Banach sur l extension d une forme linéaire continue, d un sous espace… …   Wikipédia en Français

  • Paradoxe de Banach-Tarski — En mathématiques, et plus précisément en géométrie, le paradoxe de Banach Tarski est un théorème, démontré en 1924 par Stefan Banach et Alfred Tarski, qui affirme qu il est possible de couper une boule de l espace usuel en un nombre fini de… …   Wikipédia en Français

  • TARSKI (A.) — Né à Varsovie, Alfred Tarski, qui fut, avant la Seconde Guerre mondiale, un des maîtres de l’école polonaise de logique, devait s’imposer comme un des plus grands logiciens contemporains, par ses travaux sur la métamathématique et sur la… …   Encyclopédie Universelle

  • BANACH (S.) — Avec l’introduction des espaces qui portent son nom et l’étude fine des applications linéaires dans ces espaces, Banach est un des fondateurs de l’analyse fonctionnelle. Son œuvre illustre bien la force des théories mathématiques modernes: se… …   Encyclopédie Universelle

  • Theoreme de Cantor-Bernstein — Théorème de Cantor Bernstein Le théorème de Cantor Bernstein, également appelé théorème de Cantor Schröder Bernstein, est un théorème de la théorie des ensembles. Il est nommé en l honneur des mathématiciens Georg Cantor, Felix Bernstein et Ernst …   Wikipédia en Français

  • Théorème de Cantor-Schröder-Bernstein — Théorème de Cantor Bernstein Le théorème de Cantor Bernstein, également appelé théorème de Cantor Schröder Bernstein, est un théorème de la théorie des ensembles. Il est nommé en l honneur des mathématiciens Georg Cantor, Felix Bernstein et Ernst …   Wikipédia en Français

  • Théorème de Schröder-Bernstein — Théorème de Cantor Bernstein Le théorème de Cantor Bernstein, également appelé théorème de Cantor Schröder Bernstein, est un théorème de la théorie des ensembles. Il est nommé en l honneur des mathématiciens Georg Cantor, Felix Bernstein et Ernst …   Wikipédia en Français

  • Théorème de cantor-bernstein — Le théorème de Cantor Bernstein, également appelé théorème de Cantor Schröder Bernstein, est un théorème de la théorie des ensembles. Il est nommé en l honneur des mathématiciens Georg Cantor, Felix Bernstein et Ernst Schröder. Cantor en donna… …   Wikipédia en Français

  • Théorème de Bolyai-Gerwein — Théorème de Wallace Bolyai Gerwein En géométrie, le théorème de Lowry Wallace Bolyai Gerwien (ou encore théorème de Bolyai, théorème de Bolyai Gerwien ou théorème de Lowry Wallace Bolyai Gerwien) énonce que, lorsque deux polygones ont même aire,… …   Wikipédia en Français

  • Théorème de Bolyai-Gerwien — Théorème de Wallace Bolyai Gerwein En géométrie, le théorème de Lowry Wallace Bolyai Gerwien (ou encore théorème de Bolyai, théorème de Bolyai Gerwien ou théorème de Lowry Wallace Bolyai Gerwien) énonce que, lorsque deux polygones ont même aire,… …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”