Conjunt convex: diferència entre les revisions

De la Viquipèdia, l'enciclopèdia lliure
Contingut suprimit Contingut afegit
m Robot afegeix: ur:محدب طاقم
m Robot afegeix: pms:Bombadura
Línia 97: Línia 97:
[[nl:Convexe verzameling]]
[[nl:Convexe verzameling]]
[[pl:Zbiór wypukły]]
[[pl:Zbiór wypukły]]
[[pms:Bombadura]]
[[pt:Conjunto convexo]]
[[pt:Conjunto convexo]]
[[ru:Выпуклое множество]]
[[ru:Выпуклое множество]]

Revisió del 10:27, 31 ago 2010

Un conjunt convex.
Un conjunt no 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.

En Geometria Euclidiana

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.

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 ) x + t y

pertany a C. En altres paraules, tots els punts en el segment de recta 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 un conjunt convex, per a qualsevol de , i qualsevol nombres no negatius tlas que , es compleix que el vector pertany a . Tot vector d'aquest tipus s'anomena combinació convexa de .

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 del hiperplà de suport és un cas especial del teorema Hahn-Banach de l'anàlisi funcional.

Conjunts convexos estelats

Aquest conjunt no és convex però és un estel convex, perquè el segment entre el punt x0 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 x0 de C tal que el segment de recta des de x0 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.[1]

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.

Vegeu "Embolcall ortogonalment convex" per més informació.

Geometria no euclidiana

La definició d'un conjunt convex i d'un embolcall convex s'estén de forma 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.[2]

Sia . El subespai és un conjunt convex si per a tots els parells de punts tals que , l'interval està contingut en . És a dir, és convex si i només si .

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:[3]

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

Els elements de s'anomenen conjunts convexos i la parella (X, ) 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é

Referències

  1. Rawlins G.J.E. and Wood D, "Ortho-convexity and its generalizations", in: Computational Morphology, 137-152. Elsevier, 1988.
  2. Munkres, James; Topology, Prentice Hall; 2nd edition (December 28, 1999). ISBN 0-13-181629-2.
  3. Soltan, Valeriu, Introduction to the Axiomatic Theory of Convexity, Ştiinţa, Chişinău, 1984 (in Russian).