Hola, muy buenas
Tengo el siguiente problema:
Definimos \( D:B(\Omega)\times{B((\Omega)}\longrightarrow{\mathbb{R}} \) dada por \( D\left(f,g\right)=sup_{x\in \Omega }\left|f\left(x\right)-g\left(x\right)\right| \) siendo la funcion \( D \) una metrica. Ademas \( (B(\Omega),D) \) es un espacio métrico completo. En efecto, si \( {{f_n}}\subseteq{B(\Omega)} \) es de cauchy entonces \( {{f_n}} \) converge en \( B(\Omega) \). De hecho, si \( \epsilon>0 \) es cualquiera, existe \( N\in{\mathbb{N}} \) tal que para todo \( n,m>N \) se tiene que \( D(f_{n},f_{m})<\epsilon \). Ahora dado \( x\in{\Omega} \) cualquiera, si \( n,m>N \) entonces \( \left|f_n\left(x\right)-f_m\left(x\right)\right|\le D\left(f_n,f_m\right)<\epsilon \) de donde \( \left\{f_n\left(x\right)\right\}\subseteq{\mathbb{R}} \) es de cauchy y por lo tanto convergente (pues \( \mathbb{R} \) es completo).
Para todo \( x\in{\Omega} \) tenemos \( y_{x}=\displaystyle\lim f_{n}(x) \)\( \in{\mathbb{R}} \)
definiendo la función \( f:\Omega\rightarrow{\mathbb{R}} \) dada por \( f(x)=y_x \)
tenemos que:
1- \( \displaystyle\lim f_{n}=f \)
2- \( f\in{B(\Omega)} \)
Probar 1 y 2. (Ahora si le añadi lo que creo que le faltaba, costó siempre transcribir)
Saludos.