involucro convesso
involucro convesso in topologia, è detto involucro convesso, o anche inviluppo convesso, di un sottoinsieme A di uno spazio vettoriale reale l’intersezione di tutti gli insiemi convessi che contengono A o, equivalentemente, il più piccolo insieme convesso contenente A (nel senso che qualunque altro insieme convesso che contenga A contiene anche l’involucro convesso: → convessità). L’involucro convesso di un insieme convesso coincide con l’insieme stesso. L’involucro convesso di A è costituito da tutte le combinazioni lineari convesse di punti di A, cioè da punti del tipo
dove gli xi sono punti di A e i coefficienti ki sono numeri reali positivi tali che
Se A è un insieme finito di punti, il suo involucro convesso è detto politopo (convesso). Se A è costituito da k + 1 punti x0, x1, ..., xk in posizione generica (ossia i vettori x1 − x0, x2 − x1, ..., xk − xk−1 sono linearmente indipendenti), l’involucro convesso di A si dice k-simplesso di vertici x0, x1, ..., xk (→ simplesso). Nozione strettamente collegata è quella di involucro lineare di un insieme A contenuto in uno spazio vettoriale, ottenuto come intersezione di tutti i sottospazi lineari contenenti A.