Symétrisation de Steiner

Modèle:Ébauche Modèle:Voir homonymie En géométrie affine, la symétrisation de Steiner est une géométrie visant à remplacer une partie quelconque d'un espace affine par une partie admettant des propriétés de symétrie. Cette transformation a été utilisée pour démontrer certaines inégalités isopérimétriques.

Elle est nommée ainsi en l'honneur de Jakob Steiner.

Définition

Dans un espace affine, soit H un hyperplan et Modèle:Math une direction non parallèle à H. Soit K une partie de l'espace affine. On définit alors le symétrisé de Steiner $s{t}_{H,\delta }(K)$ par :

pour toute droite D parallèle à Modèle:Math :

• si K ∩ D = ∅ alors $s{t}_{H,\delta }(K)\cap D=\varnothing ,$
• si K ∩ D ≠ ∅ alors $s{t}_{H,\delta }(K)\cap D$ est le segment porté par D, de milieu situé en H et de longueur, sur D, égale à celle de K ∩ D.

Conséquences

• On peut montrer que la symétrisation de Steiner n'est pas continue pour la distance de Hausdorff.
• Pour toute partie K, $s{t}_{H,\delta }(s{t}_{H,\delta }(K))=s{t}_{H,\delta }(K)$
• La symétrisation de Steiner conserve le volume, et elle n'augmente pas le diamètre.
• Elle conserve également la convexité.

• Inégalité isodiamétrique de Bieberbach:

Quel que soit K compact dans un espace euclidien de dimension n, on a

$V(K)\le 2^{-n}\beta (n)(diam(K){)}^n,$

où

$\beta (n)$

désigne le volume de la boule unité dans l'espace considéré.

Sources

• Modèle:Berger2, Tome 1
• Modèle:Article