En matemáticas , un espacio vectorial normado o espacio normado es un espacio vectorial sobre los números reales o complejos sobre los que se define una norma . [1] Una norma es una generalización de la noción intuitiva de "longitud" en el mundo físico. Si es un espacio vectorial sobre , donde es un campo igual a o a , entonces una norma en es un mapa , generalmente denotado por , que satisface los siguientes cuatro axiomas:
Si es un espacio vectorial real o complejo como el anterior, y es una norma en , entonces el par ordenado se llama espacio vectorial normado. Si del contexto queda claro qué norma se pretende, entonces es común denotar el espacio vectorial normado simplemente por .
Una norma induce una distancia , llamada su métrica (norma) inducida , mediante la fórmula que convierte cualquier espacio vectorial normado en un espacio métrico y un espacio vectorial topológico . Si este espacio métrico está completo entonces el espacio normado es un espacio de Banach . Cada espacio vectorial normado puede "extenderse de forma única" a un espacio de Banach, lo que hace que los espacios normados estén íntimamente relacionados con los espacios de Banach. Todo espacio de Banach es un espacio normado, pero lo contrario no es cierto. Por ejemplo, el conjunto de las sucesiones finitas de números reales puede normarse con la norma euclidiana , pero no es completo para esta norma.
Un espacio producto interno es un espacio vectorial normado cuya norma es la raíz cuadrada del producto interno de un vector por sí mismo. La norma euclidiana de un espacio vectorial euclidiano es un caso especial que permite definir la distancia euclidiana mediante la fórmula
El estudio de los espacios normados y los espacios de Banach es una parte fundamental del análisis funcional , un subcampo importante de las matemáticas.
Un espacio vectorial normado es un espacio vectorial equipado con una norma . AEl espacio vectorial seminormado es un espacio vectorial equipado con unaseminorma.
Una variación útil de la desigualdad del triángulo es para cualquier vector y
Esto también muestra que una norma vectorial es una función (uniformemente) continua .
La propiedad 3 depende de la elección de una norma en el campo de los escalares. Cuando el campo escalar es (o más generalmente un subconjunto de ), generalmente se considera el valor absoluto ordinario , pero son posibles otras opciones. Por ejemplo, para un espacio vectorial superior a uno podría tomarse como el valor absoluto -ádico .
Si es un espacio vectorial normado, la norma induce una métrica (una noción de distancia ) y por tanto una topología. Esta métrica se define de forma natural: la distancia entre dos vectores y está dada por Esta topología es precisamente la topología más débil que hace continuo y que es compatible con la estructura lineal de en el siguiente sentido:
De manera similar, para cualquier espacio vectorial seminormado podemos definir la distancia entre dos vectores y como Esto convierte el espacio seminormado en un espacio pseudométrico (obsérvese que es más débil que una métrica) y permite la definición de nociones como continuidad y convergencia . Para decirlo de manera más abstracta, todo espacio vectorial seminormado es un espacio vectorial topológico y, por tanto, lleva una estructura topológica inducida por la seminorma.
De especial interés son los espacios normados completos , que se conocen como espacios de Banach . Todo espacio vectorial normado se ubica como un subespacio denso dentro de algún espacio de Banach; Este espacio de Banach está esencialmente definido de manera única y se llama la finalización de
Dos normas en el mismo espacio vectorial se llaman equivalentes si definen la misma topología . En un espacio vectorial de dimensión finita, todas las normas son equivalentes, pero esto no es cierto para espacios vectoriales de dimensión infinita.
Todas las normas en un espacio vectorial de dimensión finita son equivalentes desde un punto de vista topológico, ya que inducen la misma topología (aunque los espacios métricos resultantes no tienen por qué ser los mismos). [2] Y dado que cualquier espacio euclidiano es completo, podemos concluir que todos los espacios vectoriales normados de dimensión finita son espacios de Banach. Un espacio vectorial normado es localmente compacto si y sólo si la bola unitaria es compacta , que es el caso si y sólo si es de dimensión finita; esto es una consecuencia del lema de Riesz . (De hecho, un resultado más general es cierto: un espacio vectorial topológico es localmente compacto si y sólo si es de dimensión finita. El punto aquí es que no asumimos que la topología proviene de una norma).
La topología de un espacio vectorial seminormado tiene muchas propiedades interesantes. Dado un sistema de vecindad alrededor de 0, podemos construir todos los demás sistemas de vecindad como con
Además, existe una base de vecindad para el origen que consta de conjuntos absorbentes y convexos . Como esta propiedad es muy útil en el análisis funcional , las generalizaciones de espacios vectoriales normados con esta propiedad se estudian bajo el nombre de espacios localmente convexos .
Una norma (o seminorma ) en un espacio vectorial topológico es continua si y sólo si la topología que induce a es más basta que (es decir, ), lo que ocurre si y sólo si existe alguna bola abierta en (como tal vez, por ejemplo) que está abierto en (dicho diferente, tal que ).
Un espacio vectorial topológico se llama normable si existe una norma tal que la métrica canónica induce la topología. El siguiente teorema se debe a Kolmogorov : [3]
Criterio de normalidad de Kolmogorov : un espacio vectorial topológico de Hausdorff es normal si y sólo si existe unavecindad convexa acotada de von Neumann de
Un producto de una familia de espacios normables es normal si y sólo si sólo un número finito de espacios no son triviales (es decir, ). [3] Además, el cociente de un espacio normal por un subespacio vectorial cerrado es normal, y si además la topología está dada por una norma , entonces el mapa dado por es una norma bien definida que induce la topología del cociente en [4 ]
Si es un espacio vectorial topológico localmente convexo de Hausdorff , entonces lo siguiente es equivalente:
Además, es de dimensión finita si y sólo si es normal (aquí denota dotado de la topología débil-* ).
La topología del espacio de Fréchet tal como se define en el artículo sobre espacios de funciones y distribuciones de prueba , está definida por una familia contable de normas pero no es un espacio normable porque no existe ninguna norma sobre la cual la topología que esta norma induce es igual a
Incluso si un espacio vectorial topológico metrizable tiene una topología definida por una familia de normas, es posible que aún no sea un espacio normal (lo que significa que su topología no puede definirse por una sola norma). Un ejemplo de tal espacio es el espacio de Fréchet cuya definición se puede encontrar en el artículo sobre espacios de funciones y distribuciones de prueba , porque su topología está definida por una familia contable de normas pero no es un espacio normable porque no existe ninguna. norma en tal que la topología que esta norma induce es igual a De hecho, la topología de un espacio localmente convexo puede estar definida por una familia de normas en si y sólo si existe al menos una norma continua en [6]
Los mapas más importantes entre dos espacios vectoriales normados son los mapas lineales continuos . Junto con estos mapas, los espacios vectoriales normados forman una categoría .
La norma es una función continua en su espacio vectorial. Todos los mapas lineales entre espacios vectoriales de dimensión finita también son continuos.
Una isometría entre dos espacios vectoriales normados es un mapa lineal que conserva la norma (es decir, para todos los vectores ). Las isometrías son siempre continuas e inyectivas . Una isometría sobreyectiva entre los espacios vectoriales normados y se llama isomorfismo isométrico , y y se llaman isométricamente isomórficos . Los espacios vectoriales normados isométricamente isomórficos son idénticos a todos los efectos prácticos.
Cuando hablamos de espacios vectoriales normados, ampliamos la noción de espacio dual para tener en cuenta la norma. El dual de un espacio vectorial normado es el espacio de todos los mapas lineales continuos desde el campo base (los complejos o los reales); dichos mapas lineales se denominan "funcionales". La norma de un funcional se define como el supremo de donde se extiende sobre todos los vectores unitarios (es decir, vectores de norma ) en Esto se convierte en un espacio vectorial normado. Un teorema importante sobre funcionales lineales continuos en espacios vectoriales normados es el teorema de Hahn-Banach .
La definición de muchos espacios normados (en particular, espacios de Banach ) implica una seminorma definida en un espacio vectorial y luego el espacio normado se define como el espacio cociente por el subespacio de elementos de la seminorma cero. Por ejemplo, con los espacios , la función definida por es una seminorma en el espacio vectorial de todas las funciones en las que la integral de Lebesgue en el lado derecho está definida y es finita. Sin embargo, la seminorma es igual a cero para cualquier función soportada en un conjunto de medida cero de Lebesgue. Estas funciones forman un subespacio que "cocientemos", lo que las hace equivalentes a la función cero.
Dados espacios seminormados con seminormas denotan el espacio producto donde la suma vectorial se define como y la multiplicación escalar se define como
Defina una nueva función por la cual sea una seminorma. La función es una norma si y sólo si todas son normas.
De manera más general, para cada real el mapa definido por es una seminorma. Para cada uno esto define el mismo espacio topológico.
Un argumento sencillo que involucra álgebra lineal elemental muestra que los únicos espacios seminormados de dimensión finita son aquellos que surgen como el espacio producto de un espacio normado y un espacio con seminorma trivial. En consecuencia, muchos de los ejemplos y aplicaciones más interesantes de espacios seminormados ocurren para espacios vectoriales de dimensión infinita.