Conjunt convex

En l'espai euclidià, un objecte és convex si per a tots els parells de punts dins de l'objecte, tots els punts del segment recte que els uneix també estan dins de l'objecte. Per exemple, un cub sòlid és convex, en canvi un conjunt amb un espai buit interior o que té un bony no ho és, per exemple, una forma de mitja lluna, no és convexa.

Un conjunt convex.

Un conjunt no convex.

Equivalentment, un conjunt convex o una regió convexa és un subconjunt que intersecta tota recta en un únic segment lineal (possiblement buit). Per exemple, un cub sòlid és un conjunt convex, però tot allò que tingui un forat o una indentació, per exemple, una forma creixent, no és convex.

La fronterea d'un conjunt convex en el pla és sempre una corba convexa. La intersecció de tots els conjunts convexos que contenen un subconjunt donat A en l'espai euclidià rep el nom d'envolupant convexa de A. És el conjunt convex més petit que conté A.

Una funció convexa és una funció convexa definida en un interval amb la propietat que els seus epigrafs (el conjunt de punts en o sobre la gràfica de la funció) és un conjunt convex. La minimització convexa és un subcamp de l'optimització que estudia el problema de minimitzar funcions convexes en conjunts convexos. La branca de les matemàtiques encarregada de l'estudi de les propietats dels conjunts convexos i de les funcions convexes rep el nom d'anàlisi complexa.

Es pot generalitzar la noció de conjunt convex comes mostra més endavant.

Definicions

Una funció (en blau) és convexa si i només si la regió de damunt de la seva gràfica (en verd) és un conjunt convex.

Sigui S un espai vectorial o un espai afí sobre els nombres reals, o, més generalment, sobre un cert cos ordenat (això inclou espais euclidians, que són espais afins). Un subconjunt C de S és convex si, per tot x i y en C, el segment lineal que connecta x i y és inclòs en C.

Això significa que la combinació afí (1 − t)x + ty pertany a C per tot x,y en C i t en l'interval [0, 1]. Això implica que la convexitat és invariant respecte les tranformacions afines. A més, implica que un conjunt convex en un espai vectorial topològic real o complex és connex per arcs (i per tant també connex).

Un conjunt C és estrictament convex si tot punt en el segment lineal que connecta x i y a part dels punts finals es troba en l'interior topològic de C. Un subconjunt tancat és estrictament convex si i només si cadascun dels seus punts de frontera és un punt extrem.

Un conjunt C és absolutament convex si és convex i equilibrat.

Exemples

Els subconjunts convexos de R (el conjunt dels nombres reals) són els intervals i els punts de R. Alguns exemples de subconjunts convexos del pla euclidià són els polígons regulars sòlids, els triangles sòlids, i les interseccions de triangles sòlids. Alguns exemples de subconjunts convexos d'un espai euclidià tridimensional són els políedres arquimedians i els sòlids platònics. Els políedres de Kepler-Poinsot són exemples de conjunts no convexes.

Conjunt no convex

Un conjunt que no és convex rep el nom de conjunt no convex. Un polígon que no és un polígon convex de vegades rep el nom de polígon còncau, i algunes fonts utilitzen més generalment el terme conjunt còncau per referir-se a un conjunt no convex, però en general es descarta l'ús d'aquest terme.

El complementari d'un conjunt convex, com l'epigraf d'una funció còncava, de vegades rep el nom de conjunt convex revertit, especialment en el context de l'optimització matemàtica.

En geometria euclidiana

Sia C un conjunt en un espai vectorial real o complex. Es diu que C és convex si, per a tot el x i y de C i tot t en l'interval [0,1], el punt

(1 − t) y + t x

pertany a C. En altres paraules, tots els punts en el segment lineal que connecta x i y són de C. Això implica que un conjunt convex en un espai vectorial topològic real o complex és connex.

Es diu que un conjunt C és absolutament convex si és convex i equilibrat.

Els subconjunts convexos de R (el conjunt de nombres reals) són els intervals de R. Alguns exemples de subconjunts convexos de l'espai euclidià de dues dimensions són els polígons regulars i les corbes d'amplada constant. Alguns exemples de subconjunts convexos de l'espai euclidià de tres dimensions són els sòlids arquimedians i els sòlids platònics. Els políedres de Kepler-Poinsot són exemples de conjunts no convexos.

Propietats

Si $S$ és un conjunt convex, per a qualsevol $u_{1},u_{2},\ldots ,u_{r}$ de $S$, i qualsevol nombres no negatius $\lambda _{1},\lambda _{2},\ldots ,\lambda _{r}$ tals que $\lambda _{1}+\lambda _{2}+\cdots +\lambda _{r}=1$, es compleix que el vector $\sum _{k=1}^{r}\lambda _{k}u_{k}$ pertany a $S$. Tot vector d'aquest tipus s'anomena combinació convexa de $u_{1},u_{2},\ldots ,u_{r}$.

La intersecció de qualsevol col·lecció de conjunts convexos és convexa, així els subconjunts convexos d'un espai vectorial (real o complex) formen un reticle complet. Això també significa per a qualsevol subconjunt A de l'espai vectorial existeix el conjunt convex més petit que el conté (anomenat l'embolcall convex d'A), és a dir que és la intersecció de tots els conjunts convexos que contenen A.

Els conjunts convexos tancats es poden caracteritzar com les interseccions de semiespais tancats (conjunts de punts de l'espai que són o bé damunt o bé a un costat d'un hiperplà). A partir del que s'acaba de dir, és clar que tals interseccions són convexes, i també seran conjunts tancats. Per demostrar el reciproc, és a dir que cada conjunt convex es pot representar com una intersecció d'aquest tipus, es necessita el teorema de l'hiperplà de suport en la forma que per a un conjunt convex tancat C donat i un punt P extern al conjunt, hi ha un semiespai tancat H que conté C i no P. El teorema de l'hiperplà de suport és un cas especial del teorema Hahn-Banach de l'anàlisi funcional.

Propietats

Donats r punts u₁, ..., u_r en un conjunt convex S, i r nombres no negatius λ₁, ..., λ_r tals que λ₁ + ... + λ_r = 1, la combinació convexa

$\sum _{k=1}^{r}\lambda _{k}u_{k}$

pertany a S. Com que la definició de conjunt convex és el cas r = 2, aquesta propietat caracteritza els conjunts convexos.

Tal combinació afina rep el nom de combinació convexa de u₁, ..., u_r.

Interseccions i unions

La col·lecció de subconjunts convexos d'un espai vectorial, un espai afí, o un espai euclidià té les següents propietats:

1. El conjunt buit i l'espai complet són convexos.
2. La intersecció de qualsevol col·lecció de conjunts convexos és convexa.
3. La unió d'una seqüència de conjunts convexos és convexa, si formen una cadena no decreixent amb inclusió. Per aquesta propietat, la restricció de cadenes és important, ja que la unió de dos conjunts convexes no té per què ser convexa.

Conjunts convexes tancats

Els conjunts convexes tancats són conjunts convexes que contenen tots els seus punts límits. Es poden caracteritzar com les interseccions de semiespais tancats (conjunts de punts en l'espai que es troben sobre o en un costat d'un hiperplà).

D'això mateix, està clar que tals interseccions són convexes, i són també conjunts tancats. Per demostrar l'invers, és a dir que es pot representar tot conjunt convex tancat com a tal intersecció, es necessita el teorema de l'hiperplà de suport en la forma que un conjunt convex tancat donat C i un punt P fora del conjunt, hi ha un semiplà tancat H que conté C i no P. El teorema de l'hiperplà de suport és un cas particular del teorema de Hahn-Banach d'anàlisi funcional.

Conjunts convexos i rectangles

Sigui C un cos convex en el pla (un conjunt convex l'interior del qual no és buit). Es pot inscriure un rectangle r en C tal que una còpia homotècica R de r sigui circumscrita al voltant de C. El ràtio d'homotècia positiu és a tot estirar de 2 i: $${\tfrac {1}{2}}\cdot \operatorname {Area} (R)\leq \operatorname {Area} (C)\leq 2\cdot \operatorname {Area} (r)$$

Diagrames de Blaschke-Santaló

Es pot parametritzar el conjunt ${\mathcal {K}}^{2}$ de tots els cossos convexos planars en termes del cos convex diàmetre D, el seu inradir (el cercle més gran contingut en el cos convex) i el seu circumradi R (el cercle més petit que conté el cos convex). De fet, aquest conjunt pot ser descrit pel conjunt de desigualtat donades per $$2r\leq D\leq 2R$$ $$R\leq {\frac {\sqrt {3}}{3}}D$$ $$r+R\leq D$$ $$D^{2}{\sqrt {4R^{2}-D^{2}}}\leq 2R(2R+{\sqrt {4R^{2}-D^{2}}})$$ i es pot visualitzar com la imatge de la funció g que va del cos convex al punt en $\mathbb {R} ^{2}$ donat per (r/R, D/2R). La imatge d'aquesta funció rep el nom de diagrama Blachke-Santaló (r, D, R) .

Diagrama Blaschke-Santaló (r, D, R) per cossos convexos planars. $\mathbb {L}$ denota el segment lineal, $\mathbb {I} _{\frac {\pi }{3}}$ el triangle equilàter, $\mathbb {RT}$ el triangle de Reuleaux i $\mathbb {B} _{2}$ el cercle unitari.

Alternativament, també es pot parametritzar el conjunt ${\mathcal {K}}^{2}$ a partir de la seva amplada (la distància més petita entre dos hiperplans de suport paral·lels diferents), el perímetre i l'àrea.

Altres propietats

Sigui X un espai vectorial topològic i $C\subseteq X$ convex.

• $\operatorname {Cl} C$ i $\operatorname {Int} C$ són ambdós convexos (és a dir, la clausura i l'interior de dos conjunts convexos són convexos).
• Si $a\in \operatorname {Int} C$ i $b\in \operatorname {Cl} C$ llavors $[a,b[\,\subseteq \operatorname {Int} C$ (on $[a,b[\,:=\left\{(1-r)a+rb:0\leq r<1\right\}$).
• Si $\operatorname {Int} C\neq \emptyset$ llavors:
  • $\operatorname {cl} \left(\operatorname {Int} C\right)=\operatorname {Cl} C$, i
  • $\operatorname {Int} C=\operatorname {Int} \left(\operatorname {Cl} C\right)=C^{i}$, on $C^{i}$ és l'interior algebraic de C.

Conjunts convexos estelats

Aquest conjunt no és convex però és un estel convex, perquè el segment entre el punt x₀ i qualsevol altre punt x del conjunt està contingut al conjunt.

Sia C un conjunt en un espai vectorial real o complex. C és un estel convex si existeix un x₀ de C tal que el segment de recta des de x₀ fins a qualsevol y de C està contingut a C. Per tant un conjunt convex no buit és sempre convex estelat però un conjunt convex estelat no sempre és convex.

Generalitzacions i extensions de la convexitat

La idea de convexitat en l'espai euclidià es pot generalitzar modificant la definició en uns o altres aspectes. Es fa servir el nom de "convexitat generalitzada", perquè els objectes que resulten retenen certes propietats dels conjunts convexos.

Convexitat ortogonal

Un exemple de convexitat generalitzada és la convexitat ortogonal.

Un conjunt S en l'espai euclidià s'anomena ortogonalment convex, si qualsevol segment paral·lel a qualsevol dels eixos de coordenades que connecti dos punts de S roman totalment dins de S. És fàcil de demostrar que la intersecció de qualsevol col·lecció de conjunts ortogonalment convexos és ortogonalment convexa. Algunes altres propietats dels conjunts convexos també es compleixen.

Geometria no euclidiana

La definició d'un conjunt convex i d'un embolcall convex s'estén de manera natural a la geometria no euclidiana definint un conjunt convex geodèsic com el que conté tots els punts dels segments de geodèsiques que uneixen qualsevol parella de punts del conjunt.

Topologia d'ordre

La convexitat es pot estendre per a un espai X dotat de la topologia d'ordre, fent servir l'ordre total $<$ de 'espai.

Sia $Y\subseteq X$. El subespai $Y$ és un conjunt convex si per a tots els parells de punts $a,b\in Y$ tals que $a<b$, l'interval $\left(a,b\right)=\left\{x\in X:a<x<b\right\}$ està contingut en $Y$. És a dir, $Y$ és convex si i només si $\forall a,b\in Y,\left(a,b\right)\subseteq Y$.

Convexitat abstracta (axiomàtica)

La idea de convexitat es pot generalitzar a uns altres objectes, si certes propietats de convexitat se seleccionen com axiomes.

Donat un conjunt X, una convexitat sobre X és una col·lecció \mathcal{C} de subconjunts de X que satisfan els següents axiomes:

1. El conjunt buit i X són a ${\mathcal {C}}$
2. La intersecció de qualsevol col·lecció de conjunts de ${\mathcal {C}}$ és de ${\mathcal {C}}$.
3. La unió d'una cadena (respecte de la relació d'inclusió) d'elements de ${\mathcal {C}}$ és de ${\mathcal {C}}$.

Els elements de ${\mathcal {C}}$ s'anomenen conjunts convexos i la parella (X, ${\mathcal {C}}$) s'anomena un espai de convexitat. Per a la convexitat ordinària, els primers dos axiomes es compleixen, i el terç un és trivial.

Per a una definició alternativa de convexitat abstracta, més adequada a la geometria discreta, veure les geometries convexes associades amb animatroides.

Vegeu també

• Funció convexa