Introducción

«En el Análisis tropezamos, casi siempre, con espacios provistos tanto de una topología como de operaciones de adición de elementos y multiplicación de éstos por números, es decir, tropezamos con los así llamados espacios topológicos lineales. Entre estos espacios, constituyen una clase importante los espacios normados. La teoría fue desarrollada en los trabajos de S. Banach y de otros autores». (Kolmogorov,1975).

Definición norma. Sea $X$ un espacio vectorial sobre $\mathbb R$. Se dice que una aplicación $\| . \| : V \rightarrow \mathbb R$ es una norma si para todo $x,y \in X$ y para todo $\lambda \in \mathbb R$ se satisface:

1. $\| x \|=0 \iff x=0$
2. $\|\lambda x\| = |\lambda| \|x\|$
3. $\|x + y\| \leq \|x\|+\|y\|$

El espacio vectorial $(X,\|.\|)$ es llamado espacio normado. Este a su vez induce un espacio métrico si se define:

$d(x,y)=\|x-y\|$

lo cual probaremos a continuación:

Demostración: Sean $x,y,z \in V$

1. $d(x,x)=\|x-x\|=\|0\|\iff x=0$
2. $d(x,y)=\|x-y\|=\|(-1)(-x+y)\|=|-1|\|-x+y\|=1\|y-x\|=\|y-x\|=d(y,x)$
3. $d(x,y)=\|x-y\|=\|x-z+z-y\|\leq \|x-z\|+\|z-y\|=d(x,z)+d(z,y)$

El recíproco no siempre es válido, es decir:

Proposición. No todos los espacios métricos son inducidos por espacios normados.

Demostración: Sean $X \neq \{0\}$ y $d$ la métrica discreta definida en Espacios métricos, entonces si $x \neq 0$
$\|2x\|=|2|\|x\|=|2|\|x-0\|=|2|d(x-0)=2(1)=2$
Lo cual no puede ser, pues la distancia únicamente toma valores en ${0,1}$

Ejemplos:

1. La norma p. Sea p $\in [1, \infty)$ y $x \in \mathbb {R}^n$. Si $x=(x_1,…, x_n)$, definimos:
   $\| x \|_p = (\sum_{i=1}^n |x_i|^p ) ^ {1/p}$ (p_norma).
2. $\|x\|_\infty = max \{|x_1|,…,|x_n|\}$ (la norma infinito).
3. En el espacio vectorial $C_{[a,b]}$ donde para $f \in C_{[a,b]}$, $\norm{f}=max_{a \leq t \leq b} |f(t)|$
4. Sea$(x_{n})$ en el conjunto de sucesiones acotadas. Se define la norma como: $\norm{(x_{n})}:=\sup_{n}|x_{n}|$.

Más adelante…

Ya que reconocemos la distancia entre dos puntos procederemos a identificar todos los puntos que están «cerca» de un punto específico. ¿Te suena familiar? Vamos a ver si el conjunto formado por estos puntos es diferente al que estamos acostumbrados a representar como una bola redonda de radio $\epsilon > 0$.

Tarea moral

1. Demuestra que si $(X,\|.\|)$ es un espacio normado, entonces $\forall \, x \in X, \norm{x} \geq 0$.
2. Demuestra que la norma $\| x \|_2$ induce la métrica euclideana.
3. Demuestra que la norma del ejemplo 3 induce la métrica en el espacio de funciones continuas vista en Espacios métricos.
4. Demuestra que en el conjunto de números complejos $\mathbb{C}$ pueden definirse las métricas 1 y 2.

Enlaces

• Análisis Matemático.
• Enlace a entrada anterior.
• Enlace a entrada siguiente.