Κυρτό σύνολο

Κυρτό (επάνω) και μη κυρτό (κάτω) σύνολο.

Στα μαθηματικά, ένα σύνολο λέγεται κυρτό όταν για οποιαδήποτε δύο σημεία του συνόλου, όλα τα σημεία του ευθύγραμμου τμήματος που τα ενώνει ανήκουν μέσα στο σύνολο. Στην αντίθετη περίπτωση, δηλαδή όταν υπάρχουν ζεύγη σημείων των οποίων το ευθύγραμμο τμήμα δεν βρίσκεται ολόκληρο μέσα στο σύνολο, το σύνολο λέγεται μη κυρτό.

Κυρτό είναι το σύνολο της επάνω εικόνας, το οποίο περικλείεται από τη γραμμή. Μη κυρτά είναι η ίδια η γραμμή που περικλείει το κυρτό σύνολο, το εξωτερικό του κυρτού συνόλου, καθώς και το σχήμα της κάτω εικόνας.

Ορισμός

Ένα σύνολο $S\subseteq \mathbb {R} ^{n}$ είναι κυρτό αν για κάθε δύο σημεία $x,y\in S$, ο κυρτός συνδυασμός τους είναι επίσης στο $S$. Ισοδύναμα,

$\forall x,y\in S.\quad \forall \lambda \in [0,1].\quad \lambda \cdot x+(1-\lambda )\cdot y\in S.$

Παραδείγματα

• Το σύνολο $\mathbb {R} ^{n}$ είναι κυρτό.
• Το κενό σύνολο είναι κυρτό.
• Το σύνολο με ένα σημείο είναι κυρτό.
• Κάθε διάστημα $[a,b]$ στο $\mathbb {R}$ είναι ένα κυρτό σύνολο.

Ιδιότητες

• Η τομή $n$ κυρτών συνόλων $S_{1},\ldots ,S_{n}$ είναι κυρτό σύνολο.

• Η ένωση δύο κυρτών συνόλων δεν είναι κατά ανάγκη κυρτό σύνολο.