stringtranslate.com

Hiperplano de apoyo

Un conjunto convexo (en rosa), un hiperplano de soporte (la línea discontinua) y el semiespacio de soporte delimitado por el hiperplano que contiene (en azul claro).

En geometría , un hiperplano de soporte de un conjunto en el espacio euclidiano es un hiperplano que tiene ambas propiedades siguientes: [1]

Aquí, un semiespacio cerrado es el semiespacio que incluye los puntos dentro del hiperplano.

Teorema de apoyo al hiperplano

Un conjunto convexo puede tener más de un hiperplano de soporte en un punto dado de su límite.

Este teorema establece que si es un conjunto convexo en el espacio vectorial topológico y es un punto en el límite de entonces existe un hiperplano de soporte que contiene Si ( es el espacio dual de , es un funcional lineal distinto de cero) tal que para todo , entonces

define un hiperplano de soporte. [2]

Por el contrario, si es un conjunto cerrado con interior no vacío tal que cada punto en el límite tiene un hiperplano de soporte, entonces es un conjunto convexo, y es la intersección de todos sus semiespacios cerrados de soporte. [2]

El hiperplano del teorema puede no ser único, como se observa en la segunda imagen de la derecha. Si el conjunto cerrado no es convexo, el enunciado del teorema no es verdadero en todos los puntos del límite de, como se ilustra en la tercera imagen de la derecha.

Los hiperplanos de soporte de los conjuntos convexos también se denominan planos tac o hiperplanos tac . [3]

La dirección hacia adelante se puede demostrar como un caso especial del teorema del hiperplano separador (consulte la página para obtener la prueba ). Para la dirección inversa,

Prueba

Definamos que es la intersección de todos sus semiespacios cerrados de apoyo. Claramente . Ahora sea , demuestre .

Sea , y considere el segmento de línea . Sea el número más grande tal que esté contenido en . Entonces .

Sea , entonces . Dibuje un hiperplano de soporte a través de . Sea representado como una función lineal distinta de cero tal que . Entonces , como , tenemos . Por lo tanto , por , tenemos , por lo que .

Véase también

Un hiperplano de soporte que contiene un punto dado en el límite de puede no existir si no es convexo.

Notas

  1. ^ Luenberger, David G. (1969). Optimización por métodos de espacio vectorial. Nueva York: John Wiley & Sons. p. 133. ISBN 978-0-471-18117-0.
  2. ^ ab Boyd, Stephen P.; Vandenberghe, Lieven (2004). Optimización convexa (pdf) . Cambridge University Press. págs. 50–51. ISBN 978-0-521-83378-3. Recuperado el 15 de octubre de 2011 .
  3. ^ Cassels, John WS (1997), Introducción a la geometría de los números , Springer Classics in Mathematics (reimpresión de 1959[3] y 1971 Springer-Verlag ed.), Springer-Verlag.

Referencias y lecturas adicionales