Konvexní množina

Konvexní množina M

Nekonvexní množina N

Mnohostěn: a) konvexní, b) nekonvexní

V matematice se pod pojmem konvexní množina obvykle rozumí podmnožina Euklidovského prostoru nebo reálného vektorového prostoru, která má následující vlastnost:

• úsečka spojující libovolné dva body této množiny je obsažena v dané množině.

Jde tedy o množinu M takovou, že pro všechny body $A,B\in \mathbf {M}$ platí

$AB\subseteq \mathbf {M} .$

Analyticky to lze vyjádřit tak, že pro všechna $a,b\in \mathbf {M}$ je splněna podmínka

${\overline {ab}}:=\{\lambda a+(1-\lambda )b\mid 0\leq \lambda \leq 1\}\subseteq M.$

Příklady

• úsečka, přímka i polorovina jsou konvexní
• úhel je konvexní, právě když jeho velikost je nejvýše 180°
• každý trojúhelník i rovnoběžník i lichoběžník je konvexní, čtyřúhelník už konvexní být nemusí.
• mnohoúhelník v rovině je konvexní, jestliže
  • žádný jeho vnitřní úhel není větší než 180°
  • vznikne jako průnik konečně mnoha polorovin.
• Kruh a koule jsou konvexní
• Krychle a kvádr jsou konvexní
• Kružnice ani kulová plocha nejsou konvexní
• Žádná křivka ani plocha není konvexní, kromě částí přímky a roviny.

Vlastnosti

• Průnik libovolného souboru konvexních množin je konvexní. To umožňuje pro libovolnou množinu definovat jení konvexní obal jako průnik všech jejích konvexních nadmnožin. Je to její nejmenší konvexní nadnožina (ve smyslu inkluze).
• Konvexní množina je (obloukovitě) souvislá.
• Sjednocení konvexních množin obecně není konvexní: Např. sjednocení dvou různých jednobodových množin není konvexní.

Související články

• Obloukově souvislá množina
• Geometrický útvar
• Úsečka
• Křivka