Une procédure de réarrangement géométrique qui remplace un ensemble mesurable de l'espace euclidien par un ensemble dont les tranches perpendiculaires à une droite ou un plan choisi sont remplacées par des intervalles (ou des boules) symétriques centrés sur cette droite ou ce plan, préservant le volume tout en réduisant typiquement le périmètre ou certaines énergies.

Principe

Pour chaque droite orthogonale à une direction choisie, remplacer l'intersection de l'ensemble original avec cette droite par un intervalle centré ayant la même mesure unidimensionnelle ; effectuer cela pour toutes les droites parallèles produit un nouvel ensemble symétrique par rapport à la direction choisie et diminue souvent la mesure du bord ou l'énergie tout en conservant le volume.

Démonstration

Appliquer la symétrisation de Steiner dans le plan autour de l'axe des x à un ensemble mesurable borné en prenant chaque droite verticale et en remplaçant la tranche verticale par un segment vertical centré de même longueur ; itérer selon plusieurs directions rapproche l'ensemble (au sens approprié) d'une boule, et pour des ensembles convexes on peut montrer que le périmètre diminue.

Mauvaise application

Employer la symétrisation de Steiner sans précaution sur des ensembles non mesurables ou s'attendre à ce qu'elle préserve des propriétés topologiques telles que la connexité ou le genre sans vérification ; l'opération peut déconnecter des ensembles ou détruire des structures fines malgré la conservation du volume.

Conséquence

Des symétrisations de Steiner répétées le long d'une suite de directions peuvent produire des ensembles approchant des minimisateurs radialement symétriques (par exemple des boules) pour des problèmes isopérimétriques ou variationnels, fournissant des démonstrations constructives par réarrangement d'inégalités et d'existence de minimisateurs symétriques.

Inversion

Une opération inverse exacte n'existe généralement pas : étant donné un ensemble symétrisé il y a typiquement de nombreux antécédents et aucune 'désymétrisation' canonique ne restaure la géométrie originale ; inverser par des déformations arbitraires augmente en général le périmètre ou l'énergie.

Limite

S'applique aux ensembles mesurables de mesure finie dans l'espace euclidien et à une classe de réarrangements de fonctions (via les niveaux) ; elle ne s'étend pas automatiquement aux espaces métriques arbitraires ni ne préserve la régularité fine sans structure supplémentaire.

Tension sémantique

Étroitement liée à la symétrisation de Schwarz (sphérique) et à d'autres réarrangements ; la tension réside dans le choix d'étapes directionnelles de Steiner versus la symétrisation radiale complète — Steiner est plus simple et directionnel mais peut nécessiter des itérations et des choix de directions pour atteindre la symétrie radiale.

Synthèse

La symétrisation de Steiner est un réarrangement tranche par tranche dirigé qui préserve le volume tout en réguli s ant la géométrie selon la direction choisie ; itérée de manière appropriée, elle produit des configurations plus symétriques et de périmètre inférieur et sert d'outil constructif dans les inégalités géométriques et les problèmes variationnels.