stringtranslate.com

Operador acotado

En el análisis funcional y la teoría de operadores , un operador lineal acotado es una transformación lineal entre espacios vectoriales topológicos (TVS) y que asigna subconjuntos acotados de a subconjuntos acotados de Si y son espacios vectoriales normados (un tipo especial de TVS), entonces es acotado si y solo si existe alguno tal que para todos El más pequeño de ellos se llama norma del operador de y se denota por Un operador acotado entre espacios normados es continuo y viceversa.

El concepto de operador lineal acotado se ha extendido desde los espacios normados a todos los espacios vectoriales topológicos.

Fuera del análisis funcional, cuando una función se denomina " acotada ", esto suele significar que su imagen es un subconjunto acotado de su codominio. Una función lineal tiene esta propiedad si y solo si es idéntica. Por consiguiente, en el análisis funcional, cuando un operador lineal se denomina "acotado", nunca se lo entiende en este sentido abstracto (de tener una imagen acotada).

En espacios vectoriales normados

Todo operador acotado es Lipschitz continuo en

Equivalencia de acotación y continuidad

Un operador lineal entre espacios normados está acotado si y sólo si es continuo .

Prueba

Supongamos que está acotado. Entonces, para todos los vectores con distinto de cero tenemos Dejando ir a cero se muestra que es continua en Además, dado que la constante no depende de esto se muestra que de hecho es uniformemente continua , e incluso Lipschitz continua .

Por el contrario, de la continuidad en el vector cero se sigue que existe una tal que para todos los vectores con Por lo tanto, para todo no cero se tiene Esto demuestra que está acotado. QED

En espacios vectoriales topológicos

Un operador lineal entre dos espacios vectoriales topológicos (TVS) se denomina operador lineal acotado o simplemente acotado si siempre que está acotado en entonces está acotado en Un subconjunto de un TVS se denomina acotado (o más precisamente, acotado por von Neumann ) si cada vecindad del origen lo absorbe . En un espacio normado (e incluso en un espacio seminormado ), un subconjunto es acotado por von Neumann si y solo si está acotado por norma. Por lo tanto, para los espacios normados, la noción de un conjunto acotado por von Neumann es idéntica a la noción habitual de un subconjunto acotado por norma.

Continuidad y acotación

Todo operador lineal secuencialmente continuo entre TVS es un operador acotado. [1] Esto implica que todo operador lineal continuo entre TVS metrizables está acotado. Sin embargo, en general, un operador lineal acotado entre dos TVS no necesita ser continuo.

Esta formulación permite definir operadores acotados entre espacios vectoriales topológicos generales como un operador que convierte conjuntos acotados en conjuntos acotados. En este contexto, sigue siendo cierto que toda función continua es acotada, pero la inversa no es posible; un operador acotado no necesita ser continuo. Esto también significa que la acotación ya no es equivalente a la continuidad de Lipschitz en este contexto.

Si el dominio es un espacio bornológico (por ejemplo, un TVS pseudometrizable , un espacio de Fréchet , un espacio normado ), entonces un operador lineal en cualquier otro espacio localmente convexo está acotado si y solo si es continuo. Para los espacios LF , se cumple una recíproca más débil; cualquier función lineal acotada de un espacio LF es secuencialmente continua .

Si es un operador lineal entre dos espacios vectoriales topológicos y si existe un entorno del origen en tal que es un subconjunto acotado de entonces es continuo. [2] Este hecho se suele resumir diciendo que un operador lineal que está acotado en algún entorno del origen es necesariamente continuo. En particular, cualquier funcional lineal que esté acotado en algún entorno del origen es continuo (incluso si su dominio no es un espacio normado ).

Espacios bornológicos

Los espacios bornológicos son exactamente aquellos espacios localmente convexos para los cuales cada operador lineal acotado en otro espacio localmente convexo es necesariamente continuo. Es decir, un TVS localmente convexo es un espacio bornológico si y solo si para cada TVS localmente convexo un operador lineal es continuo si y solo si está acotado. [3]

Todo espacio normado es bornológico.

Caracterizaciones de operadores lineales acotados

Sea un operador lineal entre espacios vectoriales topológicos (no necesariamente de Hausdorff). Los siguientes son equivalentes:

  1. está (localmente) acotado; [3]
  2. (Definición): asigna subconjuntos acotados de su dominio a subconjuntos acotados de su codominio; [3]
  3. asigna subconjuntos acotados de su dominio a subconjuntos acotados de su imagen ; [3]
  4. asigna cada secuencia nula a una secuencia acotada; [3]
    • Una secuencia nula es por definición una secuencia que converge al origen.
    • Por lo tanto, cualquier mapa lineal que sea secuencialmente continuo en el origen es necesariamente un mapa lineal acotado.
  5. asigna cada secuencia nula convergente de Mackey a un subconjunto acotado de [nota 1]
    • Se dice que una secuencia es convergente de Mackey al origen en si existe una secuencia divergente de números reales positivos tal que es un subconjunto acotado de

Si y son localmente convexos , entonces se puede agregar lo siguiente a esta lista:

  1. mapas de discos delimitados en discos delimitados. [4]
  2. mapas de discos bornívoros en discos bornívoros en [4]

Si es un espacio bornológico y es localmente convexo, entonces se puede agregar lo siguiente a esta lista:

  1. es secuencialmente continua en algún punto (o equivalentemente, en cada uno) de su dominio. [5]
    • Un mapa lineal secuencialmente continuo entre dos TVS siempre está acotado, [1] pero lo inverso requiere suposiciones adicionales para cumplirse (como que el dominio sea bornológico y el codominio sea localmente convexo).
    • Si el dominio también es un espacio secuencial , entonces es secuencialmente continuo si y sólo si es continuo.
  2. es secuencialmente continua en el origen .

Ejemplos

Operadores lineales ilimitados

Sea el espacio de todos los polinomios trigonométricos con la norma

El operador que asigna un polinomio a su derivada no está acotado. De hecho, para con tenemos mientras que como por lo tanto no está acotado.

Propiedades del espacio de operadores lineales acotados

El espacio de todos los operadores lineales acotados desde hasta se denota por .

Véase también

Referencias

  1. ^ Prueba: Supongamos por el bien de la contradicción que converge a pero no está acotado en Elija un entorno equilibrado abierto del origen en tal que no absorba la secuencia Reemplazando con una subsecuencia si es necesario, se puede suponer sin pérdida de generalidad que para cada entero positivo La secuencia es convergente de Mackey al origen (ya que está acotada en ) por lo que por suposición, está acotada en Así que elija un real tal que para cada entero Si es un entero entonces ya que está equilibrado, lo cual es una contradicción. QED Esta prueba se generaliza fácilmente para dar caracterizaciones aún más fuertes de " está acotado". Por ejemplo, la palabra "tal que es un subconjunto acotado de " en la definición de "Mackey convergente al origen" se puede reemplazar con "tal que en "
  1. ^ desde Wilansky 2013, págs. 47–50.
  2. ^ Narici y Beckenstein 2011, págs. 156-175.
  3. ^ abcde Narici y Beckenstein 2011, págs.
  4. ^ desde Narici y Beckenstein 2011, pág. 444.
  5. ^ Narici y Beckenstein 2011, págs. 451–457.

Bibliografía