17/02/2020, 18:05:32 *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.
¿Perdiste tu email de activación?

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: Puedes practicar LATEX con el cómodo editor de Latex online
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: Espacio cociente  (Leído 185 veces)
0 Usuarios y 1 Visitante están viendo este tema.
Brahiam
Semi pleno
***

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Colombia Colombia

Mensajes: 59


Ver Perfil
« : 06/11/2019, 00:46:51 »

Buenas noches he tratado de resolver varios ejercicios para una tarea que tengo, pero estos tres ejercicios no los he podido resolver, si alguien me ayuda se lo agradecería mucho. Son los siguientes:

[texx]1)[/texx] Sea [texx]M[/texx] un subespacio vectorial cerrado de un espacio Banach [texx]X[/texx]. Sea [texx](x_n)[/texx] una sucesión en [texx]X[/texx] tal que  [texx]d(x_n,M)\leq \dfrac{1}{n^2}[/texx] para cada [texx]n\in\mathbb{N}[/texx]. Mostrar que existe [texx]a\in X[/texx] tal que

                                                        [texx]\lim_{n \to \infty}d(x_1+\ldots+x_n-a,M)=0[/texx].

[texx]2)[/texx] Sea [texx]X[/texx] un espacio normado con [texx]dimX\leq 1 [/texx]. Mostrar que si [texx]M[/texx] es un subespacio vectorial cerrado de [texx]X[/texx], entonces el mapeo cociente [texx]Q_M:X \to X/M[/texx] es una mapeo abierto.

[texx]3)[/texx] Sea
                                                      [texx]M:=\{f\in C([0,1])  \ | \ \int_{0}^{1}f(x)dx=0[/texx]\}
mostrar que [texx]M[/texx] es un subespacio vectorial cerrado de [texx]C([0,1])[/texx].
En línea
Luis Fuentes
el_manco
Administrador
Pleno*
*****

Karma: +0/-0
Conectado Conectado

Sexo: Masculino
España España

Mensajes: 45.967


Ver Perfil
« Respuesta #1 : 06/11/2019, 04:44:34 »

Hola

Buenas noches he tratado de resolver varios ejercicios para una tarea que tengo, pero estos tres ejercicios no los he podido resolver, si alguien me ayuda se lo agradecería mucho. Son los siguientes:

[texx]1)[/texx] Sea [texx]M[/texx] un subespacio vectorial cerrado de un espacio Banach [texx]X[/texx]. Sea [texx](x_n)[/texx] una sucesión en [texx]X[/texx] tal que  [texx]d(x_n,M)\leq \dfrac{1}{n^2}[/texx] para cada [texx]n\in\mathbb{N}[/texx]. Mostrar que existe [texx]a\in X[/texx] tal que

                                                        [texx]\lim_{n \to \infty}d(x_1+\ldots+x_n-a,M)=0[/texx].

Por ser subespacio cerrado existe [texx]y_n\in M[/texx] tal que [texx]\|x_n-y_n\|\leq \dfrac{1}{n^2}[/texx].

Toma (comprueba que converge):

[texx]a=\displaystyle\sum_{n=1}^\infty{}(x_n-y_n)[/texx]

y comprueba que cumple lo pedido.

Cita
[texx]2)[/texx] Sea [texx]X[/texx] un espacio normado con [texx]dimX\leq 1 [/texx]. Mostrar que si [texx]M[/texx] es un subespacio vectorial cerrado de [texx]X[/texx], entonces el mapeo cociente [texx]Q_M:X \to X/M[/texx] es una mapeo abierto.

Revisa la condición marcada en rojo.

Cita
[texx]3)[/texx] Sea
                                                      [texx]M:=\{f\in C([0,1])  \ | \ \int_{0}^{1}f(x)dx=0[/texx]\}
mostrar que [texx]M[/texx] es un subespacio vectorial cerrado de [texx]C([0,1])[/texx].

¿Qué norma estás considerando?

Saludos.
En línea
Brahiam
Semi pleno
***

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Colombia Colombia

Mensajes: 59


Ver Perfil
« Respuesta #2 : 06/11/2019, 14:16:23 »

Hola

Buenas noches he tratado de resolver varios ejercicios para una tarea que tengo, pero estos tres ejercicios no los he podido resolver, si alguien me ayuda se lo agradecería mucho. Son los siguientes:

[texx]1)[/texx] Sea [texx]M[/texx] un subespacio vectorial cerrado de un espacio Banach [texx]X[/texx]. Sea [texx](x_n)[/texx] una sucesión en [texx]X[/texx] tal que  [texx]d(x_n,M)\leq \dfrac{1}{n^2}[/texx] para cada [texx]n\in\mathbb{N}[/texx]. Mostrar que existe [texx]a\in X[/texx] tal que

                                                        [texx]\lim_{n \to \infty}d(x_1+\ldots+x_n-a,M)=0[/texx].

Por ser subespacio cerrado existe [texx]y_n\in M[/texx] tal que [texx]\|x_n-y_n\|\leq \dfrac{1}{n^2}[/texx].

Toma (comprueba que converge):

[texx]a=\displaystyle\sum_{n=1}^\infty{}(x_n-y_n)[/texx]

y comprueba que cumple lo pedido.

Cita
[texx]2)[/texx] Sea [texx]X[/texx] un espacio normado con [texx]dimX\leq 1 [/texx]. Mostrar que si [texx]M[/texx] es un subespacio vectorial cerrado de [texx]X[/texx], entonces el mapeo cociente [texx]Q_M:X \to X/M[/texx] es una mapeo abierto.

Revisa la condición marcada en rojo.

Cita
[texx]3)[/texx] Sea
                                                      [texx]M:=\{f\in C([0,1])  \ | \ \int_{0}^{1}f(x)dx=0[/texx]\}
mostrar que [texx]M[/texx] es un subespacio vectorial cerrado de [texx]C([0,1])[/texx].

¿Qué norma estás considerando?

Saludos.
Luis así están formulados los problemas en el libro: FUNCTIONAL ANALYSIS, DZUNG MINH HA, V1.  Pag 203. Pienso yo que tuvo ése error de redacción. por ejemplo debería ser [texx]dimX\geq 1 [/texx] y en el otro ejercicio no especifican  que norma  utilizar. ¿Podríamos utilizar la norma [texx]||x||=\int_{0}^{1}|x(t)|dt[/texx]?
En línea
Luis Fuentes
el_manco
Administrador
Pleno*
*****

Karma: +0/-0
Conectado Conectado

Sexo: Masculino
España España

Mensajes: 45.967


Ver Perfil
« Respuesta #3 : 07/11/2019, 08:37:42 »

Hola

 Para el dos tienes que probar que si [texx]V[/texx] es abierto en [texx]X[/texx] entonces [texx]\pi(V)[/texx] es abierto en [texx]X/M[/texx] es abierto en [texx]X/M[/texx].

 Ahora prueba que si [texx]B(0,1)[/texx] es la bola abierta  unidad en [texx]X[/texx] entonces [texx]\pi(B(0,1))[/texx] es la bola abierta unidad en [texx]X/M[/texx].

 De ahí para cualquier otra bola:

[texx] B(x,r)=x+r\cdot B(0,1)\quad \Rightarrow{}\quad \pi(B(x,r))=\pi(x)+r\pi(b(0,1))[/texx] abierto en [texx]X/M[/texx]

 y tienes el resultado.

Saludos.
En línea
Luis Fuentes
el_manco
Administrador
Pleno*
*****

Karma: +0/-0
Conectado Conectado

Sexo: Masculino
España España

Mensajes: 45.967


Ver Perfil
« Respuesta #4 : 07/11/2019, 08:56:50 »

Hola

 Para el tercero con esa norma, si [texx]\{f_n\}\to f[/texx] entonces:

[texx] \displaystyle\lim_{n \to{+}\infty}{}\displaystyle\int_{0}^{1}|f_n(x)-f(x)|dx=0[/texx]

 Pero:

[texx] \left|\displaystyle\int_{0}^{1}(f_n(x)-f(x))dx\right|\leq \displaystyle\int_{0}^{1}|f_n(x)-f(x)|dx[/texx]

 Aplicando límites se deduce que:

[texx]\displaystyle\lim_{n \to{+}\infty}{}\displaystyle\int_{0}^{1}(f_n(x)-f(x))dx=0[/texx]

y

[texx]\displaystyle\int_{0}^{1}f(x)dx=\displaystyle\lim_{n \to{+}\infty}\displaystyle\int_{0}^{1}f_n(x)dx=0[/texx]

Saludos.
En línea
Páginas: [1]   Ir Arriba
  Imprimir  
 
Ir a:  

Impulsado por MySQL Impulsado por PHP Powered by SMF 1.1.4 | SMF © 2006, Simple Machines LLC XHTML 1.0 válido! CSS válido!