Processing math: 100%

lunes, 21 de octubre de 2013

Distancias no equivalentes

En el espacio X de las funciones continuas de [0,1] consideramos las dos distancias que hemos definido en clase:d(f,g)=\int_{0}^{1}|f(x)-g(x)|dx d'(d,g)=\max\{|f(x)-g(x)|: 0\leq x\leq 1\}.
Estas dos distancias no son equivalentes. Concretamente, usando la entrada anterior, y ya que d'\leq d, se tiene \tau'\subset\tau.

Sin embargo, \tau\not\subset\tau'. Para ello, vamos a mostrar una sucesión \{f_n\}\rightarrow g en \tau', pero no es convergente en \tau. Definimos
f_n(x)=\left\{\begin{array}{ll} 0 &  \mbox{si $0\leq x\leq 1-\frac{1}{n}$}\\ n(x-1)+1 & \mbox{si $1-\frac{1}{n}\leq x\leq 1$}. \end{array} \right.
Entonces
d(f_n,g)=\int_{0}^1f_n(x)\ dx=\frac{1}{2n}\rightarrow 0,
pero
d'(f_n,g)=\max\{f_n(x):0\leq x\leq 1\}=1
que no converge a 0, luego \{f_n\} no converge a g=0 para la distancia d'.
Un dibujo de las funciones f_n es el siguiente:




Observemos que las funciones f_n no convergen puntualmente a la función g=0, aunque la propiedad sólo falla en x=1.

No hay comentarios:

Publicar un comentario