Inviluppo convesso
Da Wikipedia, l'enciclopedia encyclopedia
In matematica si definisce inviluppo convesso (o talvolta involucro convesso) di un qualsiasi sottoinsieme di uno spazio vettoriale reale, l'intersezione di tutti gli insiemi convessi che contengono .
Poiché l'intersezione di insiemi convessi è a sua volta convessa, una definizione alternativa di inviluppo convesso è "il più piccolo insieme convesso contenente ".
Intuitivamente, l'inviluppo convesso di un insieme di punti è la forma che assumerebbe un elastico allargato in modo da contenere tutti i punti e poi lasciato libero di restringersi: un poligono che ha alcuni di quei punti come vertici e li contiene tutti.
L'inviluppo convesso si può costruire come l'insieme di tutte le combinazioni convesse di punti di , cioè tutti i punti del tipo , dove gli sono punti di e sono numeri reali non negativi a somma 1, ovvero .
Evidentemente, se è convesso, il suo inviluppo convesso è stesso.