Convexe verzameling

Uit Wikipedia, de vrije encyclopedie
Ga naar: navigatie, zoeken
Een convexe verzameling.

In de euclidische ruimte is een object convex als voor ieder tweetal punten binnen dit object, het rechte lijnstuk dat deze twee punten verbindt, geheel binnen het object ligt. Een massieve kubus is bijvoorbeeld convex, maar alles wat hol van binnen is of waar een deuk in zit, bijvoorbeeld een vorm als de wassende maan, is niet convex.

In de euclidische meetkunde[bewerken]

Laat C een verzameling in een reële of complexe vectorruimte zijn. Men zegt dat C convex is, als voor alle x en y in C en alle t in het interval [0,1], het punt

 (1-t)x + ty

deel uitmaakt van de verzameling C.

In andere woorden: elk punt op het lijnstuk dat x en y verbindt ligt in C. Dit impliceert dat een convexe verzameling in een reële of complexe topologische vectorruimte samenhangend is.

Een verzameling C wordt absoluut convex genoemd als deze verzameling zowel convex als evenwichtig is.

Een niet-convexe verzameling.

De convexe deelverzamelingen van R (de verzameling van de reële getallen) zijn simpelweg de intervallen van R. Voorbeelden van convexe deelverzamelingen van de euclidische 2-ruimte zijn regelmatige veelhoeken en lichamen van constante dikte. Voorbeelden van convexe deelverzamelingen van de euclidische 3-ruimte zijn de Archimedische- en de Platonische lichamen. De Kepler-Poinsot-lichamen zijn voorbeelden van niet-convexe verzamelingen.

Eigenschappen[bewerken]

Als S een convexe verzameling is en u_1,u_2,\ldots,u_r\in S, dan is voor de niet-negatieve getallen \lambda_1,\lambda_2,\ldots,\lambda_r , met

\lambda_1+\lambda_2+\cdots+\lambda_r=1,

de vector \sum_{k=1}^r\lambda_k u_k\in S.

Een vector van dit type staat bekend als een convexe combinatie van u_1,u_2,\ldots,u_r.

De doorsnede van enige collectie van convexe verzamelingen is zelf ook convex. De convexe deelverzamelingen van een (reële of complexe) vectorruimte vormt dus een complete tralie. Dit betekent ook dat enige deelverzameling A van de vectorruimte zich in de kleinste convexe verzameling bevindt (het convex omhulsel van A), namelijk de doorsnede van alle convexe verzamelingen die A bevatten.

Een functie (blauw) is convex dan en slechts dan als het gebied boven de grafiek (in het groen) een convexe verzameling is.

Gesloten convexe verzamelingen kunnen worden gekarakteriseerd als de doorsneden van gesloten half-ruimten (verzamelingen van punten in de ruimte die op en aan één kant van een hypervlak liggen). Hieruit volgt dat zulke doorsneden convex zijn, en dat zij ook gesloten verzamelingen zijn. Om het omgekeerde te bewijzen, dat wil zeggen, dat elke convexe verzameling kan worden weergegeven als zo'n doorsnede, heeft men de ondersteunende hypervlak-stelling nodig. Voor een gegeven gesloten convexe verzameling C en een gegeven punt P bestaat er een gesloten half-ruimte H bestaat die C en niet P bevat. De ondersteunende hypervlak-stelling is een speciaal geval van de stelling van Hahn-Banach uit de functionaalanalyse.

Zie ook[bewerken]

Voetnoten[bewerken]

Externe links[bewerken]