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, à Stefan Banach et Alfred Tarski, montre quil 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 quil 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 laxiome du choix, nécessaire pour construire des ensembles non mesurables.

Sommaire

Préliminaires

Le groupe des isométries est lensemble de toutes les translations, symétries planaires, rotations et de leur composées, cest-à-dire lensemble de toutes les manières de prendre une figure dans lespace 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 quil existe un ensemble F tel que g(E) = F, cest simplement dire en gros que E et F ont la même forme et la même taille, bref quils 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 (cest-à-dire en leur appliquant une isométrie). Un ensemble est dédoublable sil est équidécomposable à une « moitié » de lui-même.

Une mesure est en gros une fonction mathématique qui satisfait aux mêmes conditions quune longueur. Cest 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 dun litre de vin sont posées à deux endroits différents, physiquement il y a deux objets distincts. Cest ici que le volume montre « ses limites ». Mais mathématiquement on peut considérer que ces deux bouteilles ne forment quun seul et même objet dont le volume est 2 litres. Cest 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, cest quon peut construire des ensembles suffisamment « tordus » pour quon ne puisse pas les mesurer, cest-à-dire quon 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 quen continuant dappliquer 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 quun camion citerne, ce qui est absurde. Donc, il faut reconnaitre que le volume dun tel ensemble nexiste pas. Bien sûr, il sagit dune propriété mathématique, on ne pourra jamais construire physiquement un tel ensemble.

Le paradoxe affirme que lon peut multiplier les petits pois ou transformer une grenouille en quelque chose de plus gros que le bœuf dès linstant quon passe par une étape elle est coupée en morceaux non mesurables, 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 nest 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 dun ensemble E. On dit que A et B sont équidécomposables suivant un groupe de transformation G sil existe deux suites finies densembles (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 quil n'est pas intéressant dinclure 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 » sil 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 densemble 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 laxiome du choix, car on ne sait pas construire de fonction de \mathbb R/R \rightarrow \mathbb{R} telle quelle 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 nest pas mesurable (cest-à-dire quil nappartient 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
https://fr-academic.com/dic.nsf/frwiki/1633202 Do a right-click on the link above
and select “Copy Link”