stringtranslate.com

Conjunto absorbente

En el análisis funcional y áreas relacionadas de las matemáticas, un conjunto absorbente en un espacio vectorial es un conjunto que se puede "inflar" o "ampliar" para que eventualmente siempre incluya cualquier punto dado del espacio vectorial. Los términos alternativos son conjunto radial o absorbente . Cada entorno del origen en cada espacio vectorial topológico es un subconjunto absorbente.

Definición

Notación para escalares

Supóngase que es un espacio vectorial sobre el campo de los números reales o complejos y para cualquier sea la bola abierta (respectivamente, la bola cerrada ) de radio en centrado en Defina el producto de un conjunto de escalares con un conjunto de vectores como y defina el producto de con un solo vector como

Preliminares

Núcleo equilibrado y casco equilibrado

Se dice que un subconjunto de esequilibrado sipara todosy todos los escalaresque satisfacenesta condición se puede escribir de manera más sucinta comoy se cumple si y solo si

Dado un conjunto, el conjunto equilibrado más pequeño que contiene denotado por se llamacasco equilibrado demientras que el conjunto equilibrado más grande contenido dentrodenotado porse llamanúcleo equilibrado de Estos conjuntos se dan mediante las fórmulas y (estas fórmulas muestran que la envoltura equilibrada y el núcleo equilibrado siempre existen y son únicos). Un conjuntoestá equilibrado si y solo si es igual a su envoltura equilibrada () o a su núcleo equilibrado (), en cuyo caso los tres conjuntos son iguales:

Si es cualquier escalar entonces mientras que si es distinto de cero o si entonces también

Un conjunto que absorbe a otro

Si y son subconjuntos de entonces se dice queabsorber si cumple alguna de las siguientes condiciones equivalentes:

  1. Definición : Existe un real tal que para cada escalar que satisface O dicho de manera más sucinta, para algún
    • Si el campo escalar es entonces intuitivamente, " absorbe ", lo que significa que si se "escala" o "infla" perpetuamente (refiriéndose a como ), entonces eventualmente (para todos los positivos suficientemente grandes), todos contendrán y, de manera similar, también deben contener eventualmente para todos los negativos suficientemente grandes en magnitud.
    • Esta definición depende de la norma canónica del campo escalar subyacente (es decir, del valor absoluto ), lo que vincula esta definición a la topología euclidiana habitual en el campo escalar. En consecuencia, la definición de un conjunto absorbente (que se da a continuación) también está vinculada a esta topología.
  2. Existe un real tal que para cada escalar distinto de cero [nota 1] que satisface O dicho de manera más sucinta, para algún
    • Como esta unión es igual a donde está la bola cerrada con el origen eliminado, esta condición puede reformularse como: para algunos
    • La desigualdad no estricta se puede reemplazar por la desigualdad estricta, que es la siguiente caracterización.
  3. Existe un real tal que para cada escalar distinto de cero [nota 1] que satisface O dicho de manera más sucinta, para algún
    • Aquí está la bola abierta con el origen eliminado y

Si es un conjunto equilibrado , esta lista se puede ampliar para incluir:

  1. Existe un escalar distinto de cero tal que
    • En tal caso, se podrá suprimir el requisito .
  2. Existe un escalar distinto de cero [nota 1] tal que

Si (una condición necesaria para ser un conjunto absorbente, o para ser un vecindario del origen en una topología), entonces esta lista se puede ampliar para incluir:

  1. Existe tal que para cada escalar que satisface O, dicho de manera más sucinta,
  2. Existe tal que para cada escalar que satisface O, dicho de manera más sucinta,
    • La inclusión es equivalente a (ya que ). Porque esto puede reescribirse, lo que da la siguiente declaración.
  3. Existe tal que
  4. Existe tal que
  5. Existe tal que
    • Las siguientes caracterizaciones se derivan de las anteriores y del hecho de que para cada escalar la envoltura equilibrada de satisface y (ya que ) su núcleo equilibrado satisface
  6. Existe tal que En palabras, un conjunto es absorbido por si está contenido en algún múltiplo escalar positivo del núcleo equilibrado de
  7. Existe tal que
  8. Existe un escalar distinto de cero [nota 1] tal que En palabras, el núcleo equilibrado de contiene algún múltiplo escalar distinto de cero de
  9. Existe un escalar tal que En palabras, se puede escalar para contener la envoltura equilibrada de
  10. Existe un escalar tal que
  11. Existe un escalar tal que En palabras, se puede escalar de modo que su núcleo equilibrado contenga
  12. Existe un escalar tal que
  13. Existe un escalar tal que En palabras, el núcleo equilibrado de se puede escalar para contener la envoltura equilibrada de
  14. El núcleo equilibrado absorbe el casco equilibrado (de acuerdo a cualquier condición definitoria de "absorbe" distinta a ésta).

Si es así, esta lista se puede ampliar para incluir:

  1. absorbe (de acuerdo a cualquier condición definitoria de "absorbe" distinta de ésta).
    • En otras palabras, puede reemplazarse por en las caracterizaciones anteriores si (o trivialmente, si ).

Un conjunto que absorbe un punto

Se dice que un conjuntoabsorber un punto si absorbe elconjunto singletonUn conjuntoabsorbe el origen si y solo si contiene el origen; es decir, si y solo si Como se detalla a continuación, se dice que un conjuntoabsorbe ensi absorbe cada punto de

Esta noción de un conjunto que absorbe a otro también se utiliza en otras definiciones: un subconjunto de un espacio vectorial topológico se denomina acotado si es absorbido por cada entorno del origen. Un conjunto se denomina bornívoro si absorbe cada subconjunto acotado.

Primeros ejemplos

Todo conjunto absorbe al conjunto vacío, pero el conjunto vacío no absorbe ningún conjunto no vacío. El conjunto singleton que contiene el origen es el único subconjunto singleton que se absorbe a sí mismo.

Supongamos que es igual a o Si es el círculo unitario (centrado en el origen ) junto con el origen, entonces es el único conjunto no vacío que absorbe. Además, no existe ningún subconjunto no vacío de que sea absorbido por el círculo unitario. Por el contrario, cada entorno del origen absorbe cada subconjunto acotado de (y, en particular, absorbe cada subconjunto/punto singular).

Conjunto absorbente

Un subconjunto de un espacio vectorial sobre un campo se denominaSe dice que el subconjunto absorbente (o absorbente ) deabsorbiendo en si satisface alguna de las siguientes condiciones equivalentes (aquí ordenadas de manera que cada condición sea una consecuencia fácil de la anterior, empezando por la definición):

  1. Definición : absorbe cada punto de es decir, para cada absorbe
    • Así, en particular, no puede ser absorbente si Todo conjunto absorbente debe contener el origen.
  2. absorbe cada subconjunto finito de
  3. Para cada existe un real tal que para cualquier escalar que satisfaga
  4. Para cada existe un real tal que para cualquier escalar que satisfaga
  5. Para cada existe un real tal que
    • Aquí está la bola abierta de radio en el campo escalar centrado en el origen y
    • La bola cerrada se puede utilizar en lugar de la bola abierta.
    • Porque la inclusión es válida si y sólo si Esto prueba la siguiente afirmación.
  6. Para cada existe un real tal que donde
    • Conexión con la topología : Si se da su topología euclidiana de Hausdorff habitual, entonces el conjunto es un entorno del origen en por lo tanto, existe un real tal que si y solo si es un entorno del origen en En consecuencia, satisface esta condición si y solo si para cada es un entorno de en cuando se da la topología euclidiana. Esto da la siguiente caracterización.
    • Las únicas topologías TVS [nota 2] en un espacio vectorial unidimensional son la topología trivial (no Hausdorff) y la topología euclidiana de Hausdorff. Todo subespacio vectorial unidimensional de es de la forma para algún valor distinto de cero y si este espacio unidimensional está dotado con el (único) Topología vectorial de Hausdorff , entonces el mapadefinido pores necesariamente un isomorfismo TVS (donde como es habitual,está dotado de su topología euclidiana estándar inducida por la métrica euclidiana ).
  7. contiene el origen y para cada subespacio vectorial unidimensional de es un vecindario del origen en cuando se da su topología vectorial de Hausdorff única (es decir, la topología euclidiana ).
    • La razón por la cual la topología euclidiana se distingue en esta caracterización se deriva en última instancia del requisito definitorio de las topologías TVS [nota 2] de que la multiplicación escalar sea continua cuando al campo escalar se le da esta topología (euclidiana).
    • -Los vecindarios son absorbentes : esta condición da una idea de por qué cada vecindario del origen en cada espacio vectorial topológico (TVS) es necesariamente absorbente: si es un vecindario del origen en un TVS entonces para cada subespacio vectorial unidimensional es un vecindario del origen en cuando está dotado de la topología de subespacio inducida en él por Esta topología de subespacio es siempre una topología vectorial [nota 2] y debido a que es unidimensional, las únicas topologías vectoriales en él son la topología euclidiana de Hausdorff y la topología trivial , que es un subconjunto de la topología euclidiana. Entonces, independientemente de cuál de estas topologías vectoriales esté en el conjunto, será un vecindario del origen en con respecto a su topología vectorial única de Hausdorff (la topología euclidiana). [nota 3] Por lo tanto, es absorbente.
  8. contiene el origen y para cada subespacio vectorial unidimensional de es absorbente en (de acuerdo con cualquier condición definitoria de "absorción" distinta de esta).
    • Esta caracterización muestra que la propiedad de ser absorbente en depende sólo de cómo se comporta con respecto a subespacios vectoriales de dimensión 1 (o 0) de En cambio, si un subespacio vectorial de dimensión finita de tiene dimensión y está dotado de su topología TVS de Hausdorff única, entonces ser absorbente en ya no es suficiente para garantizar que sea un entorno del origen en (aunque seguirá siendo una condición necesaria). Para que esto suceda, basta con que sea un conjunto absorbente que también sea convexo, equilibrado y cerrado en (tal conjunto se llama barril y será un entorno del origen en porque todo espacio euclidiano de dimensión finita, incluido es un espacio en barril ).

A esta lista se le puede añadir:

  1. El interior algebraico de contiene el origen (es decir, ).

Si está equilibrado entonces a esta lista se le puede añadir:

  1. Para cada existe un escalar tal que [1] (o equivalentemente, tal que ).
  2. Para cada existe un escalar tal que

Si es convexo o equilibrado entonces a esta lista se le puede añadir:

  1. Para cada existe un real positivo tal que
    • La prueba de que un conjunto equilibrado que satisface esta condición es necesariamente absorbente se sigue inmediatamente de la condición (10) anterior y del hecho de que para todos los escalares (donde es real).
    • La prueba de que un conjunto convexo que satisface esta condición es necesariamente absorbente es menos trivial (pero no difícil). En esta nota al pie se ofrece una prueba detallada [prueba 1] y a continuación se ofrece un resumen.
      • Resumen de la prueba : Por suposición, para cualquier distinto de cero es posible elegir reales positivos y tales que y de modo que el conjunto convexo contenga el subintervalo abierto que contiene el origen ( se llama intervalo ya que identificamos con y todo subconjunto convexo no vacío de es un intervalo). Dé su topología vectorial de Hausdorff única de modo que quede por demostrar que es un vecindario del origen en Si entonces hemos terminado, entonces supongamos que El conjunto es una unión de dos intervalos, cada uno de los cuales contiene un subintervalo abierto que contiene el origen; además, la intersección de estos dos intervalos es precisamente el origen. De modo que la envoltura convexa en forma de cuadrilátero de que está contenida en el conjunto convexo contiene claramente una bola abierta alrededor del origen.
  2. Para cada existe un real positivo tal que
    • Esta condición es equivalente a: todo pertenece al conjunto Esto sucede si y sólo si que da la siguiente caracterización.
    • Se puede demostrar que para cualquier subconjunto de si y sólo si para cada donde
  3. Para cada

Si (lo cual es necesario para que sea absorbente) entonces basta con comprobar cualquiera de las condiciones anteriores para todos los valores distintos de cero en lugar de todos.

Ejemplos y condiciones suficientes

Para que un conjunto absorba a otro

Sea una función lineal entre espacios vectoriales y sean y conjuntos balanceados. Entonces absorbe si y solo si absorbe [2]

Si un conjunto absorbe a otro conjunto , entonces cualquier superconjunto de también absorbe. Un conjunto absorbe el origen si y solo si el origen es un elemento de

Un conjunto absorbe una unión finita de conjuntos si y solo si absorbe cada individualidad del conjunto (es decir, si y solo si absorbe para cada ). En particular, un conjunto es un subconjunto absorbente de si y solo si absorbe cada subconjunto finito de

Para que un conjunto sea absorbente

La bola unitaria de cualquier espacio vectorial normado (o espacio vectorial semirregulado ) es absorbente. En términos más generales, si es un espacio vectorial topológico (TVS), entonces cualquier entorno del origen en es absorbente en Este hecho es una de las motivaciones principales para definir la propiedad "absorbente en "

Todo superconjunto de un conjunto absorbente es absorbente. En consecuencia, la unión de cualquier familia de (uno o más) conjuntos absorbentes es absorbente. La intersección de un número finito de subconjuntos absorbentes es, una vez más, un subconjunto absorbente. Sin embargo, las bolas abiertas de radio son todas absorbentes aunque su intersección no lo sea.

Si es un disco (un subconjunto convexo y equilibrado) entonces y por lo tanto en particular, un disco es siempre un subconjunto absorbente de [3] Por lo tanto, si es un disco en entonces es absorbente en si y solo si Esta conclusión no está garantizada si el conjunto es equilibrado pero no convexo; por ejemplo, la unión de los ejes y en es un conjunto equilibrado no convexo que no es absorbente en

La imagen de un conjunto absorbente bajo un operador lineal sobreyectivo es nuevamente absorbente. La imagen inversa de un subconjunto absorbente (del codominio) bajo un operador lineal es nuevamente absorbente (en el dominio). Si es absorbente, entonces lo mismo es cierto para el conjunto simétrico.

Espacios auxiliares normados

Si es convexo y absorbente en entonces el conjunto simétrico será convexo y equilibrado (también conocido como un conjunto absolutamente convexo o un disco ) además de ser absorbente en Esto garantiza que la funcional de Minkowski de será una seminorma en por lo que se convierte en un espacio seminormado que lleva su topología seudometrizable canónica . El conjunto de múltiplos escalares como rangos sobre (o sobre cualquier otro conjunto de escalares distintos de cero que tengan como punto límite) forma una base de vecindad de discos absorbentes en el origen para esta topología localmente convexa . Si es un espacio vectorial topológico y si este subconjunto absorbente convexo es también un subconjunto acotado de entonces todo esto también será cierto para el disco absorbente si además no contiene ningún subespacio vectorial no trivial entonces será una norma y formará lo que se conoce como un espacio normado auxiliar . [4] Si este espacio normado es un espacio de Banach entonces se llama disco de Banach .

Propiedades

Todo conjunto absorbente contiene el origen. Si es un disco absorbente en un espacio vectorial entonces existe un disco absorbente en tal que [5]

Si es un subconjunto absorbente de entonces y, de manera más general, para cualquier secuencia de escalares tales que En consecuencia, si un espacio vectorial topológico es un subconjunto no magro de sí mismo (o equivalentemente para TVS, si es un espacio de Baire ) y si es un subconjunto absorbente cerrado de entonces necesariamente contiene un subconjunto abierto no vacío de (en otras palabras, el interior topológico de no estará vacío), lo que garantiza que es un vecindario del origen en

Todo conjunto absorbente es un conjunto total , lo que significa que todo subespacio absorbente es denso .

Véase también

Notas

  1. ^ abcd El requisito de que un escalar sea distinto de cero no puede eliminarse de esta caracterización.
  2. ^ abc Una topología en un espacio vectorial se denomina topología vectorial o topología TVS si hace que la suma de vectores y la multiplicación escalar sean continuas cuando al campo escalar se le da su topología euclidiana inducida por norma habitual (siendo esa norma el valor absoluto ). Dado que las restricciones de las funciones continuas son continuas, si es un subespacio vectorial de un TVS, entonces las operaciones de suma de vectores y multiplicación escalar de también serán continuas. Por lo tanto, la topología de subespacio que cualquier subespacio vectorial hereda de un TVS volverá a ser una topología vectorial.
  3. ^ Si es un vecindario del origen en un TVS entonces sería patológico si existiera cualquier subespacio vectorial unidimensional en el que no fuera un vecindario del origen en al menos alguna topología TVS en Las únicas topologías TVS en son la topología euclidiana de Hausdorff y la topología trivial , que es un subconjunto de la topología euclidiana. En consecuencia, esta patología no ocurre si y solo si ser un vecindario de en la topología euclidiana para todos los subespacios vectoriales unidimensionales que es exactamente la condición de que sea absorbente en El hecho de que todos los vecindarios del origen en todos los TVS sean necesariamente absorbentes significa que este comportamiento patológico no ocurre.

Pruebas

  1. ^ Prueba : Sea un espacio vectorial sobre el cuerpo con ser o y dote al cuerpo con su topología euclidiana normada usual. Sea un conjunto convexo tal que para cada existe un real positivo tal que Porque si entonces la prueba es completa así que supóngase Claramente, cada subconjunto convexo no vacío de la recta real es un intervalo (posiblemente abierto, cerrado o semicerrado; posiblemente degenerado (es decir, un conjunto singleton ); posiblemente acotado o ilimitado). Recordemos que la intersección de conjuntos convexos es convexa de modo que para cada los conjuntos y son convexos, donde ahora la convexidad de (que contiene el origen y está contenido en la recta ) implica que es un intervalo contenido en la recta Lema : Si entonces el intervalo contiene un subintervalo abierto que contiene el origen. Prueba del lema : Por suposición, dado que podemos elegir algunos tales que y (porque ) también podemos elegir algunos tales que donde y (ya que ). Porque es convexo y contiene los puntos distintos y contiene la envoltura convexa de los puntos que (en particular) contiene el subintervalo abierto donde este subintervalo abierto contiene el origen (para ver por qué, tome que satisface ), lo que prueba el lema. Ahora fijemos sea Porque era arbitrario, para probar que es absorbente en es necesario y suficiente mostrar que es un entorno del origen en cuando se da su topología euclidiana de Hausdorff habitual, donde recordemos que esta topología convierte la función definida por en un isomorfismo TVS. Si entonces el hecho de que el intervalo contenga un subintervalo abierto alrededor del origen significa exactamente que es un entorno del origen en que completa la prueba. Así que supongamos que Escribimos de modo que y (ingenuamente, es el " -eje" y es el " -eje" de ). El conjunto está contenido en el conjunto convexo de modo que la envoltura convexa de está contenida en Por el lema, cada uno de y son segmentos de línea (intervalos) con cada segmento que contiene el origen en un subintervalo abierto; además, se intersecan claramente en el origen. Elija un real tal que y Sea la envoltura convexa de la cual está contenida en la envoltura convexa de y por lo tanto también está contenida en el conjunto convexo Para terminar la prueba, basta con mostrar que es un entorno de en Visto como un subconjunto del plano complejo tiene la forma de un cuadrado abierto con sus cuatro esquinas en los ejes positivo y negativo y (es decir, en y ). Por lo tanto, se verifica fácilmente que contiene la bola abierta de radio centrada en el origen de Por lo tanto, es un entorno del origen en como se desea.

Citas

  1. ^ Narici y Beckenstein 2011, págs. 107-110.
  2. ^ Narici y Beckenstein 2011, págs. 441–457.
  3. ^ Narici y Beckenstein 2011, págs. 67–113.
  4. ^ Narici y Beckenstein 2011, págs. 115–154.
  5. ^ Narici y Beckenstein 2011, págs. 149-153.

Referencias