title: Espacio vectorial normado
text: # Espacio vectorial normado
  
  En matemática, un espacio normado o espacio vectorial normado es un espacio vectorial en el que se ha definido explícitamente una norma vectorial. Podemos señalar los siguientes hechos que ayudan a comprender la importancia del concepto de espacio normado:
  * En un espacio euclídeo, la norma coincide precisamente con la longitud del vector.
  * Todo espacio vectorial normado es un espacio métrico con la distancia inducida por la norma.
  * Si el espacio vectorial es además completo se dice que es un espacio de Banach.
  Nótese que sobre un espacio vectorial se pueden definir diferentes normas, lo cual da lugar a diferentes espacios normados que tienen el mismo espacio vectorial como base de la construcción.
  
  # Espacio vectorial normado
  ## Definición
  
  Un espacio vectorial $V$ se dice que es normado si en él se puede definir una norma:
  * Norma vectorial
  * Sea $V$ un espacio vectorial sobre un cuerpo $\mathbb {K} =\mathbb {R} {\text{ ó }}\mathbb {C}$.
  * Se dice que
  * ${\begin{aligned}\|\cdot \|:V&\to \mathbb {R} \\x&\mapsto \|x\|\end{aligned}}$
  * es una norma en $V$ si verifica:
  * No negatividad:
  * $\|x\|\geq 0\quad \forall x\in V$.
  * Además, $\|x\|=0\Leftrightarrow x=0$.
  * Homogeneidad:
  * $\|kx\|=|k|\cdot \|x\|\quad \forall x\in V,\forall k\in \mathbb {K}$.
  * Desigualdad triangular:
  * $\|x+y\|\leq \|x\|+\|y\|\quad \forall x,y\in V$.
  Generalmente se denotará a $(V,\|\cdot \|)$ al espacio vectorial normado y, cuando la norma sea clara, simplemente por $V$.
  Obsérvese que la condición $\|x\|\geq 0\quad \forall x\in V$ (no negatividad) se deriva del resto, por lo que se podría eliminar. En efecto, $0=\|0\|=\|x-x\|\leq \|x\|+\|-x\|=\|x\|+\|x\|=2\|x\|$, de donde $\|x\|\geq 0$.
  
  # Espacio vectorial normado
  ## Ejemplos
  ### De dimensión finita
  
  * $\mathbb {R}$
  * Los espacios euclídeos $\mathbb {R} ^{n}$ , estudiados en el análisis clásico.
  * Las matrices cuadradas de orden n sobre $\mathbb {R}$: $M_{n}\left(\mathbb {R} \right)$
  
  # Espacio vectorial normado
  ## Ejemplos
  ### De dimensión infinita
  
  * Todos los espacio de Hilbert y, en particular, el conformado por todas las funciones de cuadrado integrable sobre un intervalo $\scriptstyle L^{2}([a,b])$ con la norma dada por el producto escalar $\scriptstyle \|v\|=\langle v,v\rangle ^{1/2}$.
  * El espacio de funciones continuas $\scriptstyle f:\Omega \to \mathbb {R}$ sobre un espacio topológico compacto con la norma del supremo: $\scriptstyle \|v\|=\max _{x\in \Omega }|v(x)|$
  
  # Espacio vectorial normado
  ## Distancia inducida
  
  En todo espacio vectorial normado se puede definir la distancia $d:V\times V\rightarrow R$:
      $d(x,y)=\|x-y\|\,$
  con la cual (V,d) es un espacio métrico.
  
  # Espacio vectorial normado
  ## Espacios vectoriales normados de dimensión finita
  
  Se cumplen los siguientes resultados (que generalmente no son ciertos para espacios de dimensión infinita):
  * Todas las normas definidas en el espacio son equivalentes, es decir, definen la misma topología. La convergencia o divergencia de una sucesión no depende de la norma escogida. El resultado no es cierto para espacios de dimensión infinita siendo siempre posible encontrar dos normas que no son equivalentes.
  * El espacio es completo, es decir, es un espacio de Banach. Como consecuencia, todo subespacio de dimensión finita de un espacio vectorial (no necesariamente de dimensión finita) es cerrado.
  * Un espacio vectorial normado es de dimensión finita si y solo si la bola unidad es compacta.
  * Todo funcional lineal es continuo. Si el espacio tiene dimensión infinita, existen funcionales lineales no continuos.
  * Teorema de Heine-Borel o teorema de Borel-Lebesgue. Un subconjunto del espacio vectorial es compacto si y solo si es cerrado y acotado.
  
  # Espacio vectorial normado
  ## Espacios normados de dimensión infinita
  
  En análisis funcional, teoría de ecuaciones diferenciales e incluso en mecánica cuántica intervienen espacios normados de dimensión infinita, en especial espacios de Banach y espacios de Hilbert. Ambos tipos de espacios son métricamente completos, siendo todo espacio de Hilbert trivialmente también un espacio de Banach (al revés solo es cierto si la norma del espacio de Banach satisface la ley del paralelogramo).
  Los espacios de Banach son ampliamente usados para discutir ecuaciones de evolución que involucran ecuaciones diferenciales ordinarias (en concreto un problema bien definido está definido sobre un espacio de Banach).