16/09/2019, 02:15:15 am *
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: Renovado el procedimiento de inserción de archivos GEOGEBRA en los mensajes.
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: Duda-Extensión de Medidas  (Leído 553 veces)
0 Usuarios y 1 Visitante están viendo este tema.
latex
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 241


Ver Perfil
« : 29/01/2019, 07:49:13 pm »

Hola buenas noches, tengo una pequeña duda que no se contestar debido a que se me escapa algún detalle, es la siguiente:

(duda referida a la siguiente proposición)
Sea [texx]\zeta[/texx] una colección de subconjuntos de [texx]\Omega[/texx] y [texx]p: \zeta \rightarrow{[0,\infty]}[/texx] una función cualquiera, tales que [texx]\emptyset \in \zeta[/texx] y [texx]p(\emptyset) = 0[/texx]. Para cualquier [texx]B\subset{\Omega}[/texx] se define

        [texx]\nu^*(B)=inf \{\displaystyle\sum_{n=1}^\infty{p(A_n)} : A_n \in \zeta , B\subset{\bigcup\limits_{i=1}^{\infty} A_{i}}  \}[/texx], define una medida exterior generada por [texx]p[/texx], para la que [texx]\nu^*(A) \leq{p(A)}[/texx], para [texx]A\in \zeta[/texx]. En la prueba de esto es básicamente probar que se verifican la definición de medida exterior, donde la más difícil puede ser probar que si [texx]B_n[/texx] es una sucesión de conjuntos de [texx]\Omega[/texx], entonces
[texx]\nu^*(\bigcup\limits_{i=1}^{} B_{i}) \leq{\displaystyle\sum_{i=1}^\infty{\nu^*(B_n)}}[/texx] en la prueba suponiendo que [texx]\displaystyle\sum_{n=1}^\infty{\nu^*(B_n)} < \infty[/texx] , se toma [texx]\epsilon > 0[/texx], y para cada [texx]n[/texx], tomamos una sucesión [texx]A_{nm}[/texx]   [texx]\in \zeta[/texx] tal que   [texx] B_n \in [/texx] [texx]\bigcup\limits_{m=1}^\infty{A_{nm}}[/texx], y [texx]\displaystyle\sum_{m=1}{\nu^*(A_{nm})} \leq{\nu^*(B_n)} +\displaystyle\frac{e}{2^n}[/texx]. Mi duda es ¿por qué se puede tomar dicha sucesión [texx]A_{nm}[/texx]? Me gustaría saber el motivo de su existencia, también me pregunto si [texx]\zeta[/texx] que es una colección de subconjuntos necesariamente debe ser un recubrimiento del espacio [texx]\Omega[/texx], no sé, contadme todo lo que sepáis, que encantado os leeré.
 

Por último aunque una medida exterior [texx]\nu^*[/texx] tiene la ventaja de estar definida en todo [texx]P(\Omega)[/texx], tiene el defecto de no ser numerablemente aditiva, ni siquiera aditiva. Por ello tratamos de encontrar una o-álgebra, sobre la que sí sea numerablemente aditiva. Esto último es de vital importancia entenderlo, sin embargo a priori no logró profundizarlo acerca de ahí, si podéis expresar lo anterior de alguna forma más ''clara'',  ¿Qué podéis contarme de esto último?

Saludos y muchas gracias de antemano.
En línea
Masacroso
Pleno*
*****

Karma: +2/-0
Desconectado Desconectado

España España

Mensajes: 1.571


Ver Perfil
« Respuesta #1 : 29/01/2019, 08:16:41 pm »

Revisa lo anterior ya que me parece hay varios errores. Lo que se trata de demostrar es que [texx]\nu^*[/texx] es subaditiva, es decir que

[texx]\displaystyle \nu^*\left(\bigcup\limits_{i=1}^{} B_{i}\right) \leq{\displaystyle\sum_{i=1}^\infty{\nu^*(B_i)}}[/texx]

Los [texx]A_n[/texx] no está claro lo que son. Por otra parte te faltó añadir que [texx]\bigcup\zeta\supset\omega[/texx]. Luego, supongo que [texx]\omega=\Omega[/texx] y que querías escribir [texx]\sigma[/texx]-álgebra en vez de o-álgebra, ¿no?
En línea
latex
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 241


Ver Perfil
« Respuesta #2 : 30/01/2019, 03:27:13 am »

Hola Masacroso, ya he corregido las erratas de notación, respecto a lo que añades, en el libro que estudio no se dice explícito,  lo que tu comentas, quizás esa simple respuesta, responde a la primera parte de mi duda, ¿no?

Saludos :sonrisa:
En línea
Luis Fuentes
el_manco
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 44.718


Ver Perfil
« Respuesta #3 : 30/01/2019, 06:04:12 am »

Hola

En la prueba de esto es básicamente probar que se verifican la definición de medida exterior, donde la más difícil puede ser probar que si [texx]B_n[/texx] es una sucesión de conjuntos de [texx]\Omega[/texx], entonces
[texx]\nu^*(\bigcup\limits_{i=1}^{} B_{i}) \leq{\displaystyle\sum_{i=1}^\infty{\nu^*(B_n)}}[/texx] en la prueba suponiendo que [texx]\displaystyle\sum_{n=1}^\infty{\nu^*(B_n)} < \infty[/texx] , se toma [texx]\epsilon > 0[/texx], y para cada [texx]n[/texx], tomamos una sucesión [texx]A_{nm}[/texx]   [texx]\in \zeta[/texx] tal que   [texx] B_n \in [/texx] [texx]\bigcup\limits_{m=1}^\infty{A_{nm}}[/texx], y [texx]\displaystyle\sum_{m=1}{\nu^*(A_{nm})} \leq{\nu^*(B_n)} +\displaystyle\frac{e}{2^n}[/texx]. Mi duda es ¿por qué se puede tomar dicha sucesión [texx]A_{nm}[/texx]?

Por definición:

[texx]\nu^*(B_n)=inf \{\displaystyle\sum_{m=1}^\infty{p(A_{nm})} : A_{nm} \in \zeta , B_n\subset{\bigcup\limits_{i=1}^{\infty} A_{ni}}  \}[/texx]

En particular por definición de ínfimo, si [texx]\nu^*(B_n)<+\infty[/texx], dado [texx]k>0[/texx] existe una familia de conjuntos [texx]\{A_{nm}\}_{m\in \mathbb{N}}\subset \zeta[/texx] tal que:

[texx]B_n\subset{\bigcup\limits_{i=1}^{\infty} A_{ni}}[/texx]

y

[texx]\nu^*(B_n)\leq \displaystyle\sum_{m=1}^\infty{p(A_{nm})}<\nu^*(B_n)+K[/texx]

Aplícalo para [texx]K=\dfrac{\epsilon}{2^n}[/texx]. Y nota que he puesto [texx]p(A_{nm})[/texx] y no [texx]\nu^*(A_{nm})[/texx]

Cita
también me pregunto si [texx]\zeta[/texx] que es una colección de subconjuntos necesariamente debe ser un recubrimiento del espacio [texx]\Omega[/texx], no sé, contadme todo lo que sepáis, que encantado os leeré.

No, no tiene porque ser un recubrimiento.
 
Cita
Por último aunque una medida exterior [texx]\nu^*[/texx] tiene la ventaja de estar definida en todo [texx]P(\Omega)[/texx], tiene el defecto de no ser numerablemente aditiva, ni siquiera aditiva. Por ello tratamos de encontrar una o-álgebra, sobre la que sí sea numerablemente aditiva. Esto último es de vital importancia entenderlo, sin embargo a priori no logró profundizarlo acerca de ahí, si podéis expresar lo anterior de alguna forma más ''clara'',  ¿Qué podéis contarme de esto último?

¿Has estudiado ya como se define una medida a partir de una medida exterior seleccionando los conjuntos que junto con su complementario "parten bien" la medida de cualquier otro. ¿Entiendes que la condición de ser aditiva es muy razonable: básicamente que la medida de trozos disjuntos sea la medida de la unión de los trozos?.

Saludos.
En línea
Masacroso
Pleno*
*****

Karma: +2/-0
Desconectado Desconectado

España España

Mensajes: 1.571


Ver Perfil
« Respuesta #4 : 30/01/2019, 03:19:00 pm »

Cita
también me pregunto si [texx]\zeta[/texx] que es una colección de subconjuntos necesariamente debe ser un recubrimiento del espacio [texx]\Omega[/texx], no sé, contadme todo lo que sepáis, que encantado os leeré.

No, no tiene porque ser un recubrimiento.

Entonces, ¿cómo defines la medida exterior de un subconjunto cualquiera de [texx]\Omega[/texx]?

Había leído en un libro de análisis que una medida exterior en un conjunto [texx]\Omega[/texx] se definía a través de una cobertura conforme [texx]\mathcal K[/texx] (conforming cover en inglés), que no es más que una colección de subconjuntos de [texx]\Omega[/texx] tales que contiene una sucesión [texx](A_k)[/texx] cuya unión cubre a [texx]\Omega[/texx], y además contiene el conjunto vacío.

Entonces a partir de eso una función [texx]\nu:\mathcal K\to [0,\infty][/texx] con [texx]\nu(\emptyset)=0[/texx] define una medida exterior [texx]\mu^*[/texx] en [texx]\Omega[/texx] de esta manera

[texx]\displaystyle \mu^*(B):=\inf\left\{\sum_{k=0}^\infty \nu(A_k): \bigcup_{k=0}^\infty A_k\supset B,\, A_k\in\mathcal K\right\}[/texx]

para un subconjunto cualquiera [texx]B\subset\Omega[/texx]. Pero si [texx]\bigcup\mathcal K\not\supset\Omega[/texx] entonces es posible que [texx]B[/texx] no sea cubierto por ninguna colección contable en [texx]\mathcal K[/texx]. En ese caso, ¿qué valor le damos a la medida exterior de [texx]B[/texx], o cómo se resuelve este caso?
En línea
Luis Fuentes
el_manco
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 44.718


Ver Perfil
« Respuesta #5 : 31/01/2019, 04:26:53 am »

Hola

para un subconjunto cualquiera [texx]B\subset\Omega[/texx]. Pero si [texx]\bigcup\mathcal K\not\supset\Omega[/texx] entonces es posible que [texx]B[/texx] no sea cubierto por ninguna colección contable en [texx]\mathcal K[/texx]. En ese caso, ¿qué valor le damos a la medida exterior de [texx]B[/texx], o cómo se resuelve este caso?

Si no se puede recubrir por ninguna colección contable, por la definición que hemos hecho nos queda que:

[texx]\mu^*(B)=inf\emptyset=+\infty[/texx]

Saludos.
En línea
latex
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 241


Ver Perfil
« Respuesta #6 : 02/02/2019, 01:07:46 pm »

Con estas aportaciones queda mi duda resuelta.

Gracias :sonrisa:
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!