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.${\displaystyle L:X\a Y}$${\estilo de visualización X}$${\estilo de visualización Y}$${\estilo de visualización X}$${\displaystyle Y.}$${\estilo de visualización X}$${\estilo de visualización Y}$${\estilo de visualización L}$${\estilo de visualización M>0}$${\displaystyle x\en X,}$$${\displaystyle \|Lx\|_{Y}\leq M\|x\|_{X}.}$$${\estilo de visualización M}$${\estilo de visualización L}$${\estilo de visualización \|L\|.}$

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).${\displaystyle f:X\to Y}$ ${\estilo de visualización f(X)}$${\estilo de visualización 0.}$

Todo operador acotado es Lipschitz continuo en${\estilo de visualización 0.}$

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

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.${\displaystyle F:X\a Y}$${\displaystyle B\subseteq X}$${\estilo de visualización X}$${\estilo de visualización F(B)}$${\displaystyle Y.}$

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 ). ${\displaystyle F:X\a Y}$${\estilo de visualización U}$${\estilo de visualización X}$${\displaystyle F(U)}$${\estilo de visualización Y,}$${\estilo de visualización F}$

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]${\estilo de visualización X}$${\estilo de visualización Y,}$${\displaystyle F:X\a Y}$

Todo espacio normado es bornológico.

Sea un operador lineal entre espacios vectoriales topológicos (no necesariamente de Hausdorff). Los siguientes son equivalentes:${\displaystyle F:X\a Y}$

1. ${\estilo de visualización F}$está (localmente) acotado; ^[3]
2. (Definición): asigna subconjuntos acotados de su dominio a subconjuntos acotados de su codominio; ^[3]${\estilo de visualización F}$
3. ${\estilo de visualización F}$asigna subconjuntos acotados de su dominio a subconjuntos acotados de su imagen ; ^[3]${\displaystyle \operatorname {Im} F:=F(X)}$
4. ${\estilo de visualización F}$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. ${\estilo de visualización F}$asigna cada secuencia nula convergente de Mackey a un subconjunto acotado de ^{[nota 1]}${\displaystyle Y.}$
   • 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${\displaystyle x_{\bullet}=\left(x_{i}\right)_{i=1}^{\infty}}$${\estilo de visualización X}$${\displaystyle r_{\bullet}=\left(r_{i}\right)_{i=1}^{\infty}\to \infty}$${\displaystyle r_{\bullet}=\left(r_{i}x_{i}\right)_{i=1}^{\infty}}$${\estilo de visualización X.}$

Si y son localmente convexos , entonces se puede agregar lo siguiente a esta lista:${\estilo de visualización X}$${\estilo de visualización Y}$

6. ${\estilo de visualización F}$mapas de discos delimitados en discos delimitados. ^[4]
7. $Estilo de visualización F-1$mapas de discos bornívoros en discos bornívoros en ^[4]${\estilo de visualización Y}$${\estilo de visualización X.}$

Si es un espacio bornológico y es localmente convexo, entonces se puede agregar lo siguiente a esta lista:${\estilo de visualización X}$${\estilo de visualización Y}$

8. ${\estilo de visualización F}$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.${\estilo de visualización X}$${\estilo de visualización F}$
9. ${\estilo de visualización F}$es secuencialmente continua en el origen .

• Cualquier operador lineal entre dos espacios normados de dimensión finita está acotado, y dicho operador puede verse como una multiplicación por alguna matriz fija .
• Cualquier operador lineal definido en un espacio normado de dimensión finita está acotado.
• En el espacio de secuencias de números reales eventualmente nulos, considerado con la norma, el operador lineal para los números reales que devuelve la suma de una secuencia está acotado, con norma de operador 1. Si se considera el mismo espacio con la norma, el mismo operador no está acotado.$Estilo de visualización c_{00}$${\displaystyle \ell ^{1}}$${\displaystyle \ell ^{\infty }}$
• Muchas transformadas integrales son operadores lineales acotados. Por ejemplo, si es una función continua, entonces el operador definido en el espacio de funciones continuas en dotado de la norma uniforme y con valores en el espacio con dados por la fórmula es acotado. Este operador es, de hecho, un operador compacto . Los operadores compactos forman una clase importante de operadores acotados.$${\displaystyle K:[a,b]\times [c,d]\to \mathbb {R} }$$${\estilo de visualización L}$${\displaystyle C[a,b]}$${\estilo de visualización [a,b]}$${\displaystyle C[c,d]}$${\estilo de visualización L}$$${\displaystyle (Lf)(y)=\int _{a}^{b}\!K(x,y)f(x)\,dx,}$$
• El operador de Laplace (su dominio es un espacio de Sobolev y toma valores en un espacio de funciones integrables al cuadrado ) está acotado.$${\displaystyle \Delta :H^{2}(\mathbb {R} ^{n})\to L^{2}(\mathbb {R} ^{n})\,}$$
• El operador de desplazamiento en el espacio Lp de todas las sucesiones de números reales con está acotado. Se ve fácilmente que su norma de operador es${\displaystyle \ell ^{2}}$ ${\displaystyle \left(x_{0},x_{1},x_{2},\ldots \right)}$${\displaystyle x_{0}^{2}+x_{1}^{2}+x_{2}^{2}+\cdots <\infty ,\,}$ $${\displaystyle L(x_{0},x_{1},x_{2},\dots )=\left(0,x_{0},x_{1},x_{2},\ldots \right)}$$${\displaystyle 1.}$

Sea el espacio de todos los polinomios trigonométricos con la norma ${\displaystyle X}$${\displaystyle [-\pi ,\pi ],}$

$${\displaystyle \|P\|=\int _{-\pi }^{\pi }\!|P(x)|\,dx.}$$

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.${\displaystyle L:X\to X}$${\displaystyle v_{n}=e^{inx}}$${\displaystyle n=1,2,\ldots ,}$${\displaystyle \|v_{n}\|=2\pi ,}$${\displaystyle \|L(v_{n})\|=2\pi n\to \infty }$${\displaystyle n\to \infty ,}$${\displaystyle L}$

El espacio de todos los operadores lineales acotados desde hasta se denota por .${\displaystyle X}$${\displaystyle Y}$${\displaystyle B(X,Y)}$

• ${\displaystyle B(X,Y)}$es un espacio vectorial normado.
• Si es Banach, entonces también lo es ; en particular, los espacios duales son Banach.${\displaystyle Y}$${\displaystyle B(X,Y)}$
• Para cualquier el núcleo de es un subespacio lineal cerrado de .${\displaystyle A\in B(X,Y)}$${\displaystyle A}$${\displaystyle X}$
• Si es Banach y no es trivial, entonces es Banach.${\displaystyle B(X,Y)}$${\displaystyle X}$${\displaystyle Y}$

• Conjunto acotado (espacio vectorial topológico)  : generalización de la acotación
• Contracción (teoría de operadores)  : operadores acotados con norma de subunidad
• Mapa lineal discontinuo
• Operador lineal continuo
• Limitación local
• Norma (matemáticas)  – Longitud en un espacio vectorial
• Álgebra de operadores  : rama del análisis funcional
• Norma del operador  : medida del "tamaño" de los operadores lineales
• Teoría de operadores  – Campo de estudio matemático
• Seminorma  : función de valor real no negativo en un espacio vectorial real o complejo que satisface la desigualdad triangular y es absolutamente homogénea.Pages displaying wikidata descriptions as a fallback
• Operador ilimitado  : operador lineal definido en un subespacio lineal denso

• "Operador acotado", Enciclopedia de Matemáticas , EMS Press , 2001 [1994]
• Kreyszig, Erwin: Introducción al análisis funcional con aplicaciones , Wiley, 1989
• Narici, Lawrence; Beckenstein, Edward (2011). Espacios vectoriales topológicos . Matemáticas puras y aplicadas (segunda edición). Boca Raton, FL: CRC Press. ISBN 978-1584888666.OCLC 144216834  .
• Wilansky, Albert (2013). Métodos modernos en espacios vectoriales topológicos . Mineola, Nueva York: Dover Publications, Inc. ISBN 978-0-486-49353-4.OCLC 849801114  .