produit tensoriel | Kilomaths.com

En 1900, lors de l’Exposition Universelle, à Paris, a lieu le deuxième congrès de mathématiques. L’exposé de David Hilbert (1862-1943, mathématicien allemand, considéré comme un des plus grands mathématiciens du XXème siècle) est l’un des plus attendus. Le 8 août 1890, il présente donc sa liste de 23 problèmes qui tiennent les mathématiciens en échec et qui marqueront le cours des mathématiques du XXème siècle.

On s’intéresse dans cet article au troisième problème de Hilbert, qui est considéré comme le plus facile, et qui a eu une existence brève puisque la solution a été apportée par Dehn dès 1900. Il fallait spécifier deux tétraèdres de même base et de même hauteur, qui ne se subdivisent d’aucune manière en tétraèdres superposables, et qui ne se laissent pas compléter par des tétraèdres superposables en des polyèdres pour lesquels une telle subdivision en tétraèdres superposables soit possible (Ouf ! On peut respirer…). Autrement dit, si deux polyèdres ont même volume, peut-on produire un puzzle pour passer de l’un à l’autre ? Ou encore, si l’on a deux polyèdres de même volume, peut-on découper le premier en un nombre fini de morceaux (polyèdres) et obtenir le second en recollant les morceaux ?

La réponse à ce problème est négative. En particulier il est impossible de découper un cube en un nombre fini de polyèdres et de reconstituer un tétraèdre régulier (de même volume) à partir des morceaux. La démonstration de Dehn repose sur l’introduction d’un nouvel invariant appelé l’invariant de Dehn.

Découpages et recollements

Soient $A$ et $B$ deux parties de $\mathbb R^d$ . On dit qu’elles sont équivalentes par découpage et recollement (ou équidécomposables) s’il existe une partition de $A$ (resp. de $B$ ),

$A=A_1 \cup A_2 \cup \cdots \cup A_n$ (resp. $B=B_1 \cup B_2 \cup \cdots \cup B_n$ )

et, pour chaque $i=1, 2, \ldots, n$ , une isométrie $g_i:A_i\to B_i$ qui applique $A_i$ sur $B_i$ . On note alors $A\sim B$ .

Cette relation est clairement une relation d’équivalence.

Polygones, polyèdres, tétraèdres

Afin de se mettre d’accord, il est nécessaire de définir clairement les notions de polygones (ou devrait-on dire de domaines polygonaux) dans le plan, de polyèdre et de tétraèdre dans l’espace.

Un polygone est une figure géométrique plane, formée d’une suite de segments, chacun d’entre eux partageant une extrémité avec le précédent et le suivant, délimitant ainsi un contour fermé. Par exemple, les triangles, les rectangles, les hexagones sont des polygones…

Un polyèdre est traditionnellement une forme tridimensionnelle qui se compose d’un nombre fini de faces polygonales qui sont des parties de plans; les faces se rencontrent par paires le long des arêtes qui sont des segments de droite, et les arêtes se rencontrent aux points nommés sommets.

Icosadodécaèdre

Un tétraèdre est un polyèdre dont les 4 faces sont des triangles. Il est dit régulier si ses 4 faces sont des triangles équilatéraux.

Découpage des polyèdres : pourquoi cette question ?

Nous connaissons tous la formule élémentaire qui donne l’aire d’un triangle : la base fois la hauteur divisé par deux. La preuve de ce résultat consiste à découper le triangle en petits polygones et à les réarranger afin d’obtenir un rectangle qui a la même aire.

Peut-on utiliser un argument semblable (c’est-à-dire une preuve par découpage et recollement) afin d’obtenir le volume d’une pyramide ? En effet, on obtiendrait une preuve « élémentaire » du théorème XII.5 d’Euclide (qui dit que deux pyramides de même base et de même hauteur ont même volume). Et nous obtiendrions ainsi une définition élémentaire du volume d’un polyèdre. En effet, Euclide utilise un processus infini, l’exhaustion (un passage à la limite). Les démonstrations ultérieures de cette formule font toutes appel à des méthodes relevant de près ou de loin à un calcul intégral et aucune démonstration géométrique plus simple n’a pu être trouvée.

Le tétraèdre régulier n’est pas équidécomposable avec le cube de même volume.

Pour prouver ce théorème, Dehn a introduit un nouvel invariant qui porte son nom : l’invariant de Dehn.

Invariant de Dehn, version produit tensoriel

Les sous-groupes de $\mathbb R$ étant soit dense, soit de la forme $\alpha\mathbb Z$ , $\alpha\in\mathbb R^*$ , on a $\pi\mathbb Z$ qui est un sous-groupe distingué (car $(\mathbb R, +)$ est abélien) de $\mathbb R$ . On peut ainsi considérer le groupe quotient $\mathbb R/\pi\mathbb Z$ , qui peut être vu comme le groupe des angles de droite (au moyen de la mesure des angles en radians).

On pourra alors définir l’invariant de Dehn dans le produit tensoriel $\mathbb R \otimes_{\mathbb Z} (\mathbb R/\pi\mathbb Z)$ .

Par définition du produit tensoriel, on a une application $\mathbb Z$ -bilinéaire naturelle

$i : \begin{array}[t]{rcl}\mathbb R\times(\mathbb R/\pi\mathbb Z) & \to & \mathbb R\otimes_{\mathbb Z}(\mathbb R/\pi\mathbb Z) \\ (a,\theta) & \mapsto & a\otimes\theta\end{array}$

On a aussi une fonction $\mathbb Z$ -bilinéaire

$\overline f : \begin{array}[t]{rcl}\mathbb R\times(\mathbb R/\pi\mathbb Z) & \to & \mathbb R \\ (a,\theta) & \mapsto & af(\theta)\end{array}$

Par la propriété universelle du produit tensoriel, il existe une unique application $\mathbb Z$ -linéaire

$F : \begin{array}[t]{rcl}\mathbb R\otimes_{\mathbb Z}(\mathbb R/\pi\mathbb Z) & \to & \mathbb R \\ a\otimes\theta & \mapsto & af(\theta)\end{array}$

On peut ainsi définir l’invariant de Dehn indépendamment de la fonction $f$ en l’exprimant dans le produit tensoriel.

Soit un polyèdre $P$ dans l’espace. On définit l’invariant de Dehn de $P$ comme le nombre réel :

$\delta(P)=\sum_{e\in P}\ell(e) \otimes \alpha(e)$

où l’on somme sur toutes les arêtes $e$ du polyèdre, $\ell(e)$ représentant la longueur de l’arête $e$ et $\alpha(e)$ l’angle entre deux faces dont l’intersection est $e$ .

On a donc le théorème suivant :

Si deux polyèdres sont équidécomposables, ils ont le même invariant de Dehn.

qui repose sur le caractère additif de l’invariant de Dehn : si un polyèdre $P$ est réunion disjointe de polyèdres $P_1, \ldots, P_r$ , on a

$\delta(P)=\delta(P_1)+\cdots+\delta(P_r)$

On souhaite donc calculer l’invariant de Dehn du cube et celui du tétraèdre. Pour cela on a besoin d’un résultat préliminaire :

Un élément $t=a\otimes\theta \in \mathbb R\otimes_{\mathbb Z}(\mathbb R/\pi\mathbb Z)$ , avec $a\neq 0$ , est nul si et seulement si $\frac\theta\pi$ est rationnel. En effet, si $\frac\theta\pi = \frac pq$ , on a

$t=(q\frac aq)\otimes\frac pq \pi = \frac aq \otimes (q\frac pq \pi) = \frac aq \otimes p\pi = \frac aq \otimes 0 = 0$ .

Supposons maintenant que $\frac\theta\pi$ est irrationnel. Par la propriété universelle du produit tensoriel, étant donnés

$\overline f : \begin{array}[t]{rcl}\mathbb R\times(\mathbb R/\pi\mathbb Z) & \to & \mathbb R \\ (a,\theta) & \mapsto & af(\theta)\end{array}$ et $i : \begin{array}[t]{rcl}\mathbb R\times(\mathbb R/\pi\mathbb Z) & \to & \mathbb R\otimes_\mathbb Z(\mathbb R/\pi\mathbb Z) \\ (a,\theta) & \mapsto & a\otimes\theta\end{array}$

deux applications bilinéaires, il existe une unique application $\mathbb Z$ -linéaire

$F : \begin{array}[t]{rcl}\mathbb R\otimes_\mathbb Z(\mathbb R/\pi\mathbb Z) & \to & \mathbb R \\ a\otimes\theta & \mapsto & af(\theta)\end{array}$

On aura gagné si on trouve $f$ telle que $f(\theta)\neq0$ . Comme $\mathbb R$ est un $\mathbb Q$ -espace vectoriel et qu’il existe des bases de $\mathbb R$ comme $\mathbb Q$ -espace vectoriel, et comme $\theta$ et $\pi$ sont $\mathbb Q$ -indépendants, on les complète en une base et on envoie $\pi$ sur $0$ et $\theta$ sur $1$ . Cet homomorphisme se factorise par $\pi\mathbb Z$ et c’est ce que l’on désirait.

Preuve du théorème

Considérons le cube $C$ . On utilisant la bilinéarité du produit tensoriel sur $\mathbb Z$ on a

$\delta(C)=\sum_{e\in C} \ell(e)\otimes \frac\pi2 = \sum_{e\in C} 2\frac{\ell(e)}2\otimes \frac\pi2 = \sum_{e\in C} \frac{\ell(e)}2\otimes 2\frac\pi2 = \sum_{e\in C} \frac{\ell(e)}2\otimes \pi = 0$

Considérons maintenant le tétraèdre régulier $T$ de volume 1 avec des cotés de longueur $\ell$ ( $=6\sqrt2$ ). En utilisant le résultat préliminaire et la liberté de la famille $\{\alpha,\pi\}$ où $\alpha$ est tel que $\cos \alpha = \frac 13$ , on a