En matemáticas , particularmente en análisis funcional , una seminorma es una norma de espacio vectorial que no necesita ser definida positiva . Las seminormas están íntimamente relacionadas con los conjuntos convexos : cada seminorma es la funcional de Minkowski de algún disco absorbente y, a la inversa, la funcional de Minkowski de cualquier conjunto de este tipo es una seminorma.
Un espacio vectorial topológico es localmente convexo si y sólo si su topología es inducida por una familia de seminormas.
Definición
Sea un espacio vectorial sobre números reales o números complejos .
Una función de valor real se llama seminorma si satisface las dos condiciones siguientes:
- Subaditividad / Desigualdad triangular : para todos
- Homogeneidad absoluta : para todos y todos los escalares
Estas dos condiciones implican que [prueba 1] y que toda seminorma también tiene la siguiente propiedad: [prueba 2]
- No negatividad : para todos
Algunos autores incluyen la no negatividad como parte de la definición de "seminorma" (y a veces también de "norma"), aunque esto no es necesario ya que se deriva de las otras dos propiedades.
Por definición, una norma sobre es una seminorma que también separa puntos, es decir que tiene la siguiente propiedad adicional:
- Positivo definido /Positivo /Separación de puntos : siempre quesatisfagaentonces
AEl espacio seminorma es un parque consta de un espacio vectorialy una seminorma.Si la seminormatambién es una norma, entonces el espacio seminormase llama espacio normado .
Dado que la homogeneidad absoluta implica homogeneidad positiva, cada seminorma es un tipo de función llamada función sublineal . Una aplicación se llama función sublineal si es subaditiva y homogénea positiva . A diferencia de una seminorma, una función sublineal no es necesariamente no negativa. Las funciones sublineales se encuentran a menudo en el contexto del teorema de Hahn-Banach . Una función de valor real es una seminorma si y sólo si es una función sublineal y equilibrada .
Ejemplos
- La seminorma trivial en la que se refiere al mapa constante en induce la topología indiscreta en
- Sea una medida en un espacio . Para una constante arbitraria , sea el conjunto de todas las funciones para las cuales
existe y es finito. Se puede demostrar que es un espacio vectorial y el funcional es una seminorma en . Sin embargo, no siempre es una norma (por ejemplo, si y es la medida de Lebesgue ) porque no siempre lo implica . Para hacer una norma, cociente por el subespacio cerrado de funciones con . El espacio resultante , tiene una norma inducida por . - Si hay alguna forma lineal en un espacio vectorial, entonces su valor absoluto definido por es una seminorma.
- Una función sublineal en un espacio vectorial real es una seminorma si y sólo si es una función simétrica , lo que significa que para todos
- Cada función sublineal de valor real en un espacio vectorial real induce una seminorma definida por
- Cualquier suma finita de seminormas es una seminorma. La restricción de una seminorma (respectivamente, norma) a un subespacio vectorial es nuevamente una seminorma (respectivamente, norma).
- Si y son seminormas (respectivamente, normas) en y entonces el mapa definido por es una seminorma (respectivamente, una norma) en En particular, los mapas en definidos por y son ambos seminormas en
- Si y son seminormas, entonces también lo son
y donde y - El espacio de seminormas generalmente no es una red distributiva con respecto a las operaciones anteriores. Por ejemplo, sobre , son tales que
mientras - Si es un mapa lineal y es una seminorma entonces es una seminorma La seminorma será una norma si y sólo si es inyectiva y la restricción es una norma
Funcionales y seminormas de Minkowski
Las seminormas en un espacio vectorial están íntimamente ligadas, a través de los funcionales de Minkowski, a subconjuntos de estos que son convexos , equilibrados y absorbentes . Dado tal subconjunto de la funcional de Minkowski es una seminorma. Por el contrario, dada una seminorma en los conjuntos y son convexos, equilibrados y absorbentes y, además, el funcional de Minkowski de estos dos conjuntos (así como de cualquier conjunto que se encuentre "entre ellos") es
Propiedades algebraicas
Cada seminorma es una función sublineal y, por lo tanto, satisface todas las propiedades de una función sublineal , incluida la convexidad , y para todos los vectores : la desigualdad del triángulo inverso :
Para cualquier vector y real positivo
disco absorbenteSi es una función sublineal en un espacio vectorial real entonces existe un funcional lineal en tal que y además, para cualquier funcional lineal en si y solo si
Otras propiedades de las seminormas.
Cada seminorma es una función equilibrada . Una seminorma es una norma si y solo si no contiene un subespacio vectorial no trivial.
Si es una seminorma entonces es un subespacio vectorial de y para cada es constante en el conjunto e igual a [prueba 3]
Además, para cualquier
Si es un conjunto satisfactorio, entonces está absorbiendo en y donde denota el funcional de Minkowski asociado con (es decir, el calibre de ). En particular, si es como lo anterior y es cualquier seminorma entonces si y solo si
Si es un espacio normado y entonces para todos en el intervalo
Cada norma es una función convexa y, en consecuencia, encontrar un máximo global de una función objetivo basada en normas a veces es factible.
Relación con otros conceptos similares a normas
Sea una función no negativa. Los siguientes son equivalentes:
- es una seminorma.
- es una seminorma convexa .
- es una seminorma G equilibrada convexa .
Si se cumple alguna de las condiciones anteriores, entonces las siguientes son equivalentes:
- es una norma;
- no contiene un subespacio vectorial no trivial.
- Existe una norma respecto de la cual, está acotado.
Si es una función sublineal en un espacio vectorial real, entonces las siguientes son equivalentes:
- es un funcional lineal ;
- ;
- ;
Desigualdades que involucran seminormas
Si hay seminormas activadas, entonces:
- si y sólo si implica
- Si y son tales que implica entonces para todos
- Supongamos que y son números reales positivos y son seminormas tales que para cada si entonces Entonces
- Si es un espacio vectorial sobre los reales y es un funcional lineal distinto de cero, entonces si y solo si
Si es una seminorma y es un funcional lineal, entonces :
- en si y sólo si en (ver nota al pie para prueba). [13]
- en si y sólo si
- Si y son tales que implica entonces para todos
Teorema de Hahn-Banach para seminormas
Las seminormas ofrecen una formulación particularmente clara del teorema de Hahn-Banach :
- If es un subespacio vectorial de un espacio seminormado y if es un funcional lineal continuo, entonces puede extenderse a un funcional lineal continuo que tenga la misma norma que
Una propiedad de extensión similar también es válida para las seminormas:
- Prueba : Sea el casco convexo de Entonces es un disco absorbente y por lo tanto la funcional de Minkowski de es una seminorma en Esta seminorma satisface una y otra vez
Topologías de espacios seminormados.
Pseudometría y topología inducida.
Una seminorma induce una topología, llamada topología inducida por seminorma , a través de la pseudométrica canónica invariante de traducción ;
Esta topología es Hausdorff si y sólo si es una métrica, lo que ocurre si y sólo si es una norma .
Esta topología se convierte en un espacio vectorial topológico pseudometrizable localmente convexo que tiene una vecindad acotada del origen y una base de vecindad en el origen que consta de las siguientes bolas abiertas (o bolas cerradas) centradas en el origen:
seminormableDe manera equivalente, cada espacio vectorial con seminorma induce un cociente de espacio vectorial donde es el subespacio que consta de todos los vectores con Luego lleva una norma definida por La topología resultante, retraída a es precisamente la topología inducida por
Cualquier topología inducida por seminorma se vuelve localmente convexa , de la siguiente manera. Si es una seminorma y llamamos al conjunto la bola abierta de radio alrededor del origen ; del mismo modo, la bola cerrada de radio es El conjunto de todas las bolas abiertas (o cerradas) en el origen forma una base de vecindad de conjuntos balanceados convexos que son abiertos (o cerrados) en la topología de
Seminormas más fuertes, más débiles y equivalentes
Las nociones de seminormas más fuertes y más débiles son similares a las nociones de normas más fuertes y más débiles . Si y son seminormas entonces decimos que es más fuerte que y que es más débil que si se cumple alguna de las siguientes condiciones equivalentes:
- La topología inducida por es más fina que la topología inducida por
- Si es una secuencia en entonces en implica en
- Si es un neto en entonces en implica en
- está limitado en
- Si entonces para todos
- Existe un real tal que en
Las seminormas y se llaman equivalentes si ambas son más débiles (o ambas más fuertes) que la otra. Esto sucede si cumplen alguna de las siguientes condiciones:
- La topología inducida por es la misma que la topología inducida por
- es más fuerte que y es más fuerte que
- Si es una secuencia en entonces si y solo si
- Existen números reales positivos y tales que
Normalidad y seminormabilidad
Se dice que un espacio vectorial topológico (TVS) es unespacio seminormable (respectivamente, unespacio normal ) si su topología es inducida por una sola seminorma (resp. una sola norma). Un TVS es normal si y sólo si es seminormable y Hausdorff o equivalentemente, si y sólo si es seminormable yT 1 (porque un TVS es Hausdorff si y sólo si es unespacioT 1 ). AEl espacio vectorial topológico localmente acotado es un espacio vectorial topológico que posee una vecindad acotada del origen.
La normalidad de los espacios vectoriales topológicos se caracteriza por el criterio de normalidad de Kolmogorov . Un TVS es seminormable si y sólo si tiene una vecindad acotada convexa del origen.
Por lo tanto, un TVS localmente convexo es seminormable si y solo si tiene un conjunto abierto acotado no vacío.
Un TVS es normal si y sólo si es un espacio T 1 y admite una vecindad convexa acotada del origen.
Si es un TVS localmente convexo de Hausdorff , entonces lo siguiente es equivalente:
- es normal.
- es seminormable.
- Tiene un barrio acotado del origen.
- El dual fuerte de es normal.
- El dual fuerte de es metrizable .
Además, es de dimensión finita si y sólo si es normal (aquí denota dotado de la topología débil-* ).
El producto de infinitos espacios seminormables es nuevamente seminormable si y sólo si todos menos un número finito de estos espacios son triviales (es decir, de dimensión 0).
Propiedades topológicas
- Si es un TVS y es una seminorma continua, entonces el cierre de in es igual a
- El cierre de en un espacio localmente convexo cuya topología está definida por una familia de seminormas continuas es igual a
- Un subconjunto en un espacio seminormado está acotado si y sólo si está acotado.
- Si es un espacio seminormado, entonces la topología localmente convexa que induce a on se convierte en un TVS pseudometrizable con una pseudométrica canónica dada por para todos
- El producto de infinitos espacios seminormables es nuevamente seminormable si y sólo si todos, excepto un número finito de estos espacios, son triviales (es decir, de dimensión 0).
Continuidad de seminormas.
Si es una seminorma en un espacio vectorial topológico, entonces lo siguiente es equivalente:
- es continuo.
- es continuo en 0;
- está abierto en ;
- es barrio cerrado de 0 en ;
- es uniformemente continuo en ;
- Existe una seminorma continua tal que
En particular, si es un espacio seminormado entonces un espacio seminormado es continuo si y sólo si está dominado por un múltiplo escalar positivo de
Si es un TVS real, es una función lineal y es una seminorma continua (o más generalmente, una función sublineal), entonces implica que es continua.
Continuidad de mapas lineales.
Si es un mapa entre espacios seminormados, entonces sea
Si es un mapa lineal entre espacios seminormados entonces los siguientes son equivalentes:
- es continuo;
- ;
- Existe un real tal que ;
- En este caso,
Si es continuo entonces para todos
El espacio de todos los mapas lineales continuos entre espacios seminorma es en sí mismo un espacio seminorma bajo la seminorma.
Esta seminorma es una norma si es una norma.
Generalizaciones
El concepto de norma en las álgebras de composición no comparte las propiedades habituales de una norma.
Un álgebra de composición consiste en un álgebra sobre un campo, una involución y una forma cuadrática que se llama "norma". En varios casos es una forma cuadrática isotrópica de modo que tiene al menos un vector nulo , contrariamente a la separación de puntos requerida por la norma habitual comentada en este artículo.
Una ultraseminorma o una seminorma no de Arquímedes es una seminorma que también satisface
Debilitamiento de la subaditividad: cuasi-seminormas
Un mapa se llama cuasi-seminorma si es (absolutamente) homogéneo y existe algo tal que
El valor más pequeño de para el cual esto se cumple se llama multiplicador de
Una cuasi-seminorma que separa puntos se llama cuasi-norma en
Debilitamiento de la homogeneidad - -seminormas
Un mapa se llama -seminorma si es subaditivo y existe tal que y para todos y escalares
-normaTenemos la siguiente relación entre cuasi-seminormas y -seminormas:
Ver también
Notas
Pruebas
- ^ Si denota el vector cero mientras que denota el escalar cero, entonces la homogeneidad absoluta implica que
- ^ Supongamos que es una seminorma y sea Entonces la homogeneidad absoluta implica La desigualdad del triángulo ahora implica Porque era un vector arbitrario, se sigue lo que implica que (restando de ambos lados). Por lo tanto , lo que implica (multiplicando por ).
- ^ Sea y Queda por demostrar que La desigualdad del triángulo implica Dado que se desea.
Referencias
- ^ Obvio si es un espacio vectorial real. Para la dirección no trivial, supongamos que on y dejemos que y sean números reales tales que Entonces
- Adasch, Norberto; Ernst, Bruno; Keim, Dieter (1978). Espacios vectoriales topológicos: la teoría sin condiciones de convexidad . Apuntes de conferencias de matemáticas. vol. 639. Berlín Nueva York: Springer-Verlag . ISBN 978-3-540-08662-8. OCLC 297140003.
- Berberiano, Sterling K. (1974). Conferencias sobre Análisis Funcional y Teoría del Operador . Textos de Posgrado en Matemáticas. vol. 15. Nueva York: Springer. ISBN 978-0-387-90081-0. OCLC 878109401.
- Bourbaki, Nicolás (1987) [1981]. Espacios vectoriales topológicos: capítulos 1 a 5 . Elementos matemáticos . Traducido por Eggleston, HG; Madan, S. Berlín Nueva York: Springer-Verlag. ISBN 3-540-13627-4. OCLC 17499190.
- Conway, Juan (1990). Un curso de análisis funcional . Textos de Posgrado en Matemáticas . vol. 96 (2ª ed.). Nueva York: Springer-Verlag . ISBN 978-0-387-97245-9. OCLC 21195908.
- Edwards, Robert E. (1995). Análisis funcional: teoría y aplicaciones . Nueva York: Publicaciones de Dover. ISBN 978-0-486-68143-6. OCLC 30593138.
- Grothendieck, Alejandro (1973). Espacios vectoriales topológicos . Traducido por Chaljub, Orlando. Nueva York: Gordon y Breach Science Publishers. ISBN 978-0-677-30020-7. OCLC 886098.
- Jarchow, Hans (1981). Espacios localmente convexos . Stuttgart: BG Teubner. ISBN 978-3-519-02224-4. OCLC 8210342.
- Khaleelulla, SM (1982). Contraejemplos en espacios vectoriales topológicos . Apuntes de conferencias de matemáticas . vol. 936. Berlín, Heidelberg, Nueva York: Springer-Verlag . ISBN 978-3-540-11565-6. OCLC 8588370.
- Köthe, Gottfried (1983) [1969]. Espacios vectoriales topológicos I. Grundlehren der mathematischen Wissenschaften. vol. 159. Traducido por Garling, DJH Nueva York: Springer Science & Business Media. ISBN 978-3-642-64988-2. SEÑOR 0248498. OCLC 840293704.
- Kubrusly, Carlos S. (2011). Los elementos de la teoría del operador (Segunda ed.). Boston: Birkhäuser . ISBN 978-0-8176-4998-2. OCLC 710154895.
- Narici, Lorenzo; Beckenstein, Eduardo (2011). Espacios vectoriales topológicos . Matemática pura y aplicada (Segunda ed.). Boca Ratón, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834.
- Prugovečki, Eduard (1981). Mecánica cuántica en el espacio de Hilbert (2ª ed.). Prensa académica. pag. 20.ISBN 0-12-566060-X.
- Schaefer, Helmut H .; Wolff, Manfred P. (1999). Espacios vectoriales topológicos . GTM . vol. 8 (Segunda ed.). Nueva York, NY: Springer Nueva York Pie de imprenta Springer. ISBN 978-1-4612-7155-0. OCLC 840278135.
- Schechter, Eric (1996). Manual de análisis y sus fundamentos . San Diego, CA: Prensa académica. ISBN 978-0-12-622760-4. OCLC 175294365.
- Swartz, Charles (1992). Una introducción al análisis funcional . Nueva York: M. Dekker. ISBN 978-0-8247-8643-4. OCLC 24909067.
- Trèves, François (2006) [1967]. Espacios vectoriales topológicos, distribuciones y núcleos . Mineola, Nueva York: Publicaciones de Dover. ISBN 978-0-486-45352-1. OCLC 853623322.
- 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.
enlaces externos
- Funciones sublineales
- El teorema del sándwich para funcionales sublineales y superlineales