16/10/2019, 07:22:51 pm *
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: ¡Atención! Hay que poner la matemática con LaTeX, y se hace así (clic aquí):
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: Explicación por qué Q es de medida cero  (Leído 119 veces)
0 Usuarios y 1 Visitante están viendo este tema.
ealaipigualamenosuno
Junior
**

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 26



Ver Perfil WWW
« : 23/06/2019, 01:23:54 am »

Hola a todos, estoy iniciando estudios básicos de topología y análisis real.
Tengo entendido que [texx]\mathbb{Q}[/texx] es de medida cero y que  usando la analogía de la ruleta infinita de hotel de Hilbert, la probabilidad de que en la recta real "salga" un número racional es nula.
Si bien [texx]\mathbb{Q}[/texx]  es infinito numerable el conjunto de los irracionales no son numerables no entiendo el concepto de medida cero y tampoco el de probabilidad cero ya mencionado.
¿Me pueden ayudar a entender estos conceptos?
Muchas gracias.
En línea

Sergio Salanitri
Aficionado a las matemáticas
https://disfrutematematicas.blog/
Masacroso
Pleno*
*****

Karma: +2/-0
Desconectado Desconectado

España España

Mensajes: 1.608


Ver Perfil
« Respuesta #1 : 23/06/2019, 05:03:24 am »

Hola a todos, estoy iniciando estudios básicos de topología y análisis real.
Tengo entendido que [texx]\mathbb{Q}[/texx] es de medida cero y que  usando la analogía de la ruleta infinita de hotel del Hilbert , la probabilidad de que en la recta real "salga" un número racional es nula.
Si bien [texx]\mathbb{Q}[/texx]  es infinito numerable el conjunto de los irracionales no son numerables no entiendo el concepto de medida cero y tampoco el de probabilidad cero ya mencionado.
Me pueden ayudar a entender estos conceptos?
Muchas gracias.

Con el concepto de probabilidad cero no puedo ayudarte mucho, ya que requiere un contexto en tu pregunta el cual desconozco, es decir, una distribución de probabilidad o una función de probabilidad específica. Es decir: yo puedo definir la siguiente distribución de probabilidad en [texx]\Bbb R[/texx]:

[texx]\displaystyle F(x):=\begin{cases}1,& x\ge\pi\\0,&\text{ otra cosa }\end{cases}[/texx]

Entonces una variable aleatoria [texx]X[/texx] con distribución [texx]F[/texx] cumple que [texx]\Pr[X=\pi]=1[/texx] y [texx]\Pr[X=c]=0[/texx] cuando [texx]c[/texx] es cualquier otro punto de [texx]\Bbb R[/texx] distinto de [texx]\pi[/texx]. Por eso para poder hablar de probabilidad cero de algo se necesita una distribución de probabilidad para contextualizar de lo que se habla.



Respecto al tema de la medida cero sí que puedo ayudarte más: toda medida cumple la propiedad de ser [texx]\sigma[/texx]-aditiva, ¿qué significa esto? Significa que si [texx]\mu[/texx] es una medida y [texx]\{A_k\}_{k=0}^\infty[/texx] es una sucesión de conjuntos disjuntos entre sí (es decir, que [texx]A_k\cap A_j=\emptyset[/texx] siempre que [texx]j\neq k[/texx]) entonces [texx]\mu(\bigcup_{k=0}^\infty A_k)=\sum_{k=0}^\infty\mu(A_k)[/texx].

Ahora bien, la medida de Lebesgue, simbolicémosla por [texx]\lambda[/texx], responde a nuestra noción intuitiva de longitud, es decir que [texx]\lambda([a,b])=b-a[/texx], y en el caso de un conjunto con un solo elemento su medida es cero, es decir que [texx]\lambda(\{x\})=0[/texx] para cualquier [texx]x\in\Bbb R[/texx].

Como [texx]\Bbb Q[/texx] es contable entonces existe una biyección [texx]s:\Bbb N\to\Bbb Q[/texx], entonces podemos definir una sucesión [texx]\{s_k\}_{k=0}^\infty[/texx] que contenga a todos los números racionales exactamente una vez (es decir, que para la anterior biyección tenemos que [texx]s_k:=s(k)[/texx]). Como [texx]\lambda[/texx] es una medida entonces debe cumplirse que

[texx]\displaystyle \lambda(\Bbb Q)=\lambda(\bigcup_{k=0}^\infty\{s_k\})=\sum_{k=0}^\infty\lambda(\{s_k\})=0+0+0+...=0[/texx]
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!