Opération binaire sur des sous-ensembles A et B d'un espace vectoriel réel définie par A + B = {a + b : a ∈ A, b ∈ B} ; utilisée pour combiner des formes, étudier la convexification et analyser les combinaisons par translation d'ensembles.

Principe

L'addition vecteur par vecteur des éléments de chaque ensemble produit un nouvel ensemble ; l'opération est commutative et associative, interagit de façon prévisible avec la multiplication par scalaire et l'enveloppe convexe, et additionne les fonctions support.

Démonstration

La somme de Minkowski de deux polygones convexes dans R^2 est un autre polygone convexe dont les arêtes se déduisent en ajoutant les suites de directions d'arêtes ; en géométrie algorithmique on l'utilise pour calculer des dilatations morphologiques ou des ensembles atteignables pour un corps rigide.

Mauvaise application

Confondre la somme de Minkowski avec l'union d'ensembles ou supposer que A + B préserve des propriétés topologiques sans vérification (par exemple la somme d'ensembles fermés n'est pas nécessairement fermée en dimension infinie) conduit à des erreurs.

Conséquence

L'addition de Minkowski est fondamentale en géométrie convexe (apparaissant dans l'inégalité de Brunn–Minkowski), en théorie du contrôle (ensembles atteignables) et en morphologie computationnelle ; elle transforme des opérations algébriques en combinaisons géométriques.

Inversion

La soustraction de Minkowski (l'ensemble des x tels que x + B ⊂ A) tente d'inverser la somme mais n'est généralement pas une inverse vraie et peut être vide ou non unique ; les opérations de différence se comportent différemment de l'addition.

Limite

Définie pour des sous-ensembles d'un espace vectoriel (ou d'un groupe topologique abélien) ; des propriétés peuvent échouer ou exiger des précautions en dimensions infinies, groupes non abéliens ou sous structures supplémentaires comme des mesures — la convexité et la compacité assurent le comportement le plus robuste.

Tension sémantique

Il y a une tension entre la vision de la somme de Minkowski comme opération géométrique sur les formes et comme convolution algébrique (les fonctions indicatrices se convolvent pour donner le support de la somme) ; les perspectives algorithmique et analytique mettent en avant différents aspects de l'opération.

Synthèse

La somme de Minkowski est l'opération géométrique élémentaire qui forme toutes les sommes vecteur à vecteur de deux ensembles dans un espace vectoriel ; elle préserve et interagit simplement avec la structure convexe et les fonctions support, mais n'a pas d'inverse général et demande prudence en dehors du cadre convexe de dimension finie.