Eine binäre Operation auf Teilmengen A und B eines reellen Vektorraums, definiert durch A + B = {a + b : a ∈ A, b ∈ B}; verwendet zur Kombination von Gestalten, Untersuchung der Konvexifizierung und Analyse von translationalen Kombinationen von Mengen.

Prinzip

Paarweise Vektoraddition von Elementen der beiden Mengen erzeugt eine neue Menge; die Operation ist kommutativ und assoziativ, verhält sich vorhersagbar unter Skalarmultiplikation und konvexer Hülle und addiert Stützfunktionen.

Demonstration

Die Minkowski-Summe zweier konvexer Polygone in R^2 ist ein weiteres konvexes Polygon, dessen Kanten sich durch Addition der Kantenrichtungsequenzen erhalten lassen; in der algorithmischen Geometrie wird sie zur Berechnung morphologischer Dilatationen oder erreichbarer Mengen starrer Körper verwendet.

Fehlanwendung

Die Minkowski-Summe mit der Mengenversion zu verwechseln oder anzunehmen, dass A + B topologische Eigenschaften ohne Prüfung bewahrt (z. B. müssen Summen abgeschlossener Mengen in unendlichdimensionalen Räumen nicht abgeschlossen sein) führt zu falschen Schlüssen.

Konsequenz

Minkowski-Addition ist grundlegend in der konvexen Geometrie (erscheint in der Brunn–Minkowski-Ungleichung), in der Regelungstheorie (erreichbare Mengen) und der computergestützten Morphologie; sie übersetzt algebraische Operationen in geometrische Formkombinationen.

Umkehrung

Minkowski-Subtraktion (die Menge von x mit x + B ⊂ A) versucht die Summe zu invertieren, ist aber im Allgemeinen keine echte Inverse und kann leer oder nicht eindeutig sein; Differenzoperationen verhalten sich anders als die Addition.

Abgrenzung

Definiert für Teilmengen eines Vektorraums (oder abelschen topologischen Gruppen); Eigenschaften können versagen oder qualifiziert werden müssen in unendlichdimensionalen Räumen, nichtabelschen Gruppen oder bei zusätzlichen Strukturen wie Maßen — Konvexität und Kompaktheit liefern das robusteste Verhalten.

Semantische Spannung

Spannung besteht zwischen der Betrachtung der Minkowski-Summe als geometrische Formoperation und als algebraische Faltung (Indikatorfunktionen falten sich zu einem Ausdruck des Summenunterstützungsbereichs); algorithmische und analytische Perspektiven betonen verschiedene Aspekte derselben Operation.

Synthese

Die Minkowski-Summe ist die grundlegende geometrische Operation, die alle paarweisen Summen zweier Mengen in einem Vektorraumn bildet; sie erhält und interagiert einfach mit konvexer Struktur und Stützfunktionen, besitzt aber keine allgemeine Inverse und erfordert außerhalb des konvexen endlichen Rahmens Vorsicht.