Diferencia entre revisiones de «Conjunto absolutamente convexo»

De testwiki
Ir a la navegación Ir a la búsqueda
imported>Davius
 
(Sin diferencias)

Revisión actual - 18:27 11 oct 2022

En matemáticas, un subconjunto C de un espacio vectorial real o complejo se dice que es absolutamente convexo o en forma de disco si es convexo y equilibrado (algunos utilizan el término circular en lugar de equilibrado), en cuyo caso se llama disco. La envoltura de disco o enovoltura absolutamente convexa de un conjunto es la intersección de todos los discos que contienen ese conjunto.

Definición

El área en gris claro es la envoltura absolutamente convexa de la cruz en gris oscuro.

Un subconjunto S de un espacio vectorial (real o complejo) X se denomina disco y se dice que es absolutamente convexo y equilibrado si se cumple alguna de las siguientes condiciones equivalentes:

  1. S es convexo y equilibrado.
  2. para cualesquiera escalares a y b, si |a|+|b|≤1 entonces aS+bS⊆S.
  3. para todos los escalares a,b, y c, si |a|+|b|≤|c|, entonces aS+bS⊆cS.
  4. para cualquier escalar a1,…,an si ∑i=1n|ai|≤1 entonces a1S+⋯+anS⊆S.
  5. para cualquier escalar c,a1,…,an si ∑i=1n|ai|≤|c| entonces a1S+⋯+anS⊆cS.

El menor subconjunto convexo (resp. equilibrado) de X que contiene a un conjunto se denomina envoltura convexa de dicho conjunto y se denota por co⁡S (resp. bal⁡S).

Del mismo modo, se define que una envolutra de disco, o envolutra absolutamente convexa, de un conjunto S es el disco más pequeño (con respecto al inclusión de conjuntos) que contiene a S.Plantilla:Sfn La envoltura de disco de S se denotará por disco⁡S o cobal⁡S y es igual a cada uno de los siguientes conjuntos: co⁡(bal⁡S), que es la envoltura convexa del envoltura equilibrada de S; así, cobal⁡S=co⁡(bal⁡S).

    • En general, cobal⁡S≠bal⁡(co⁡S) es posible, incluso en espacios vectoriales de dimensión finita.
  2. la intersección de todos los discos que contienen S.
  3. {∑i=1nsixi:n∈ℕ,xi∈S,∑i=1n|si|≤1}, donde los si son elementos del cuerpo subyacente.

Condiciones suficientes

La intersección de un número arbitrario de conjuntos absolutamente convexos es de nuevo absolutamente convexa; sin embargo, la unión de un número arbitrario de conjuntos absolutamente convexos no necesitan ser ya absolutamente convexos.

Si D es un disco en X, entonces D es absorbente en X si y sólo si span⁡D=X.{sfn|Narici|Beckenstein|2011|pp=67-113}}

Propiedades

Plantilla:VT Si S es un disco absorbente en un espacio vectorial X entonces existe un disco absorbente E en X tal que E+E⊆S. Plantilla:Sfn.

Si D es un disco y r y s son escalares entonces sD=|s|D y (rD)∩(sD)=(min‖r|,|s|})D.

La envoltura absolutamente convexa de un conjunto acotado en un espacio vectorial topológico (EVT) localmente convexo es de nuevo acotada.

Si D es un disco acotado en un EVT X y si x∙=(xi)i=1∞ es una sucesión en D, entonces las sumas parciales s∙=(sn)n=1infty son sucesiones de Cauchy, donde para todo n, sn:=∑i=1n2−ixi.Plantilla:Sfn. En particular, si además D es un subconjunto secuencialmente completo de X, entonces esta serie s∙ converge en X a algún punto de D.

La envoltura convexa y equilibrada de S contiene tanto a la envoltura convexa de S como a la envoltura equilibrada de S Además, contiene la envoltura equilibrada de la envoltura convexa de S; así bal⁡(co⁡S)⊆cobal⁡S=co⁡(bal⁡S), donde el ejemplo siguiente muestra que esta inclusión puede ser estricta.

Sin embargo, para cualesquiera subconjuntos S,T⊆X, si S⊆T entonces cobal⁡S⊆cobal⁡T, lo que implica que cobal⁡(co⁡S)=cobal⁡S=cobal⁡bal⁡S).

Ejemplos

Aunque cobal⁡S=co⁡(bal⁡S), la envoltura convexo equilibrado de S es ‘’no’’ necesariamente igual a la envoltura equilibrada de la envoltura convexa de S.{sfn|Trèves|2006|p=68}.

Para un ejemplo en el que cobal⁡S≠bal⁡(co⁡S) sea X el espacio vectorial real R2 y sea S:={(−1,1),(1,1)}.. Entonces bal⁡(co⁡S) es un subconjunto estricto de cobal⁡S que ni siquiera es convexo; en particular, este ejemplo también muestra que la envoltura equilibrado de un conjunto convexo es ‘’no’’ necesariamente convexo.

El conjunto cobal⁡S es igual al cuadrado cerrado y lleno en X con vértices (−1,1),(1,1),(−1,−1), y (1,−1) (esto es porque el conjunto equilibrado cobal⁡S debe contener tanto a S como a S={(−1,−1),(1,−1)}, donde ya que cobal⁡S también es convexo, debe contener en consecuencia el cuadrado sólido co⁡((−S)∪S), que para este ejemplo particular resulta ser también equilibrado de modo que cobal⁡S=co⁡((−S)∪S)). Sin embargo, co⁡(S) es igual al segmento de recta cerrada horizontal entre los dos puntos de S de modo que bal⁡(co⁡S) es, en cambio, un subconjunto cerrado con forma de "reloj de arena" que corta el eje x exactamente en el origen y es la unión de dos triángulo isósceles cerrados y llenos: uno cuyos vértices son el origen junto con S y el otro triángulo cuyos vértices son el origen junto con −S={(−1,−1),(1,−1)}. Este "reloj de arena" relleno no convexo bal⁡(co⁡S) es un subconjunto propio del cuadrado relleno cobal⁡S=co⁡(bal⁡S).

Véase también

Referencias

Plantilla:Listaref

Bibliografía

Plantilla:Control de autoridades

Obtenido de «https://es.wiki.beta.math.wmflabs.org/w/index.php?title=Conjunto_absolutamente_convexo&oldid=12622»