Ver o código fonte de «Conxunto convexo»

[[Ficheiro:Convex_polygon_illustration1.svg|miniatura|Un conxunto convexo.]]
[[Ficheiro:Convex_polygon_illustration2.svg|miniatura|Un conxunto cóncavo.]]
Un subconxunto ''X'' dun [[espazo vectorial]] [[Número real|real]] ou complexo é '''convexo''' cando todo [[Recta|segmento de recta]] que liga dous puntos de ''X'' está contido en ''X''.

Ou sexa:
: <math>\forall x, y \in X \ \forall t \in \left[ 0 , 1 \right] \ (1 - t) \ x + t \ y \in X\,</math>
  
Se ''X'' non é convexo, chámase '''cóncavo'''. O menor convexo que contén un subconxunto ''X'' desígnase [[envolvente convexa]] de ''X''.

== Exemplos ==
* En <math>\R</math>, convexo é equivalente a [[Conexo por camiños|conexo]], ou sexa, os subconxuntos convexos de números reais son os [[Intervalo (matemáticas)|intervalos]] (incluíndo os [[conxunto unitario|unitarios]]).<math />
* Os [[Sólido platónico|sólidos platónicos]];
* Os [[Recta|segmentos de recta]];
* Os [[subespazo vectorial|subespazos vectoriais]] dun espazo vectorial;

== Véxase tamén ==
=== Outros artigos ===
* [[Conxunto absolutamente convexo]]
* [[Concavidade]]
{{Control de autoridades}}

[[Categoría:Xeometría]]