Operación binaria sobre subconjuntos A y B de un espacio vectorial real definida por A + B = {a + b : a ∈ A, b ∈ B}; se usa para combinar formas, estudiar la convexificación y analizar combinaciones por traslación de conjuntos.

Principio

La suma vectorial elemento a elemento de los dos conjuntos produce un nuevo conjunto; la operación es conmutativa y asociativa, interactúa de forma predecible con la multiplicación escalar y la envolvente convexa, y suma funciones de soporte.

Demostración

La suma de Minkowski de dos polígonos convexos en R^2 es otro polígono convexo cuyas aristas se obtienen sumando las secuencias de direcciones de aristas; en geometría computacional se usa para calcular dilataciones morfológicas o conjuntos alcanzables de un cuerpo rígido.

Aplicación incorrecta

Confundir la suma de Minkowski con la unión de conjuntos o suponer que A + B preserva propiedades topológicas sin comprobación (por ejemplo, sumas de conjuntos cerrados pueden no ser cerradas en espacios de dimensión infinita) conduce a conclusiones erróneas.

Consecuencia

La adición de Minkowski es fundamental en geometría convexa (aparece en la desigualdad de Brunn–Minkowski), teoría de control (conjuntos alcanzables) y morfología computacional; convierte operaciones algebraicas en combinaciones geométricas de formas.

Inversión

La sustracción de Minkowski (el conjunto de x tales que x + B ⊂ A) intenta invertir la suma pero no es en general una inversa verdadera y puede ser vacía o no única; las operaciones de diferencia se comportan de forma distinta a la adición.

Límite

Se define para subconjuntos de un espacio vectorial (o grupos topológicos abelianos); las propiedades pueden fallar o requerir matices en dimensiones infinitas, grupos no abelianos o con estructuras adicionales como medidas — la convexidad y la compacidad aseguran el comportamiento más robusto.

Tensión semántica

Existe tensión entre ver la suma de Minkowski como operación geométrica sobre formas y verla como convolución algebraica (las funciones indicadoras se convolucionan para expresar el soporte de la suma); las perspectivas algorítmica y analítica subrayan diferentes aspectos de la misma operación.

Síntesis

La suma de Minkowski es la operación geométrica elemental que forma todas las sumas pareadas de dos conjuntos en un espacio vectorial; preserva e interactúa de modo simple con la estructura convexa y las funciones de soporte, pero carece de inversa general y requiere cuidado fuera del contexto convexo de dimensión finita.