Inviluppo convesso.

[lorandrum]

Domanda credo facile ma che mi dà qualche grattacapo. Come faccio a dimostrare che un k-simplesso è un chiuso?

[Principe2]

per definizione: è intersezione finita di chiusi (semispazi chiusi!)

[lorandrum]

Uhm? Il k-simplesso generato da ${v_0,v_1,...,v_k}$ insieme c-indipendente (aka, i vettori $v_i-v_0$ sono linearmente indip.) non è l'intersezione di tutti i convessi (quindi non necessariamente chiusi) contenenti $v_0,v_1,...,v_k$?

[Luca.Lussardi]

Il simplesso è definito come intersezione di sottospazi affini, che sono chiusi, almeno in dimensione finita.

[lorandrum]

Ok, son d'accordo. Sopra temo di aver scritto una cazzata.