Probablemente poco riguroso pero me convence. Nota: este argumento es análogo al argumento de que elegir un número real aleatorio de $(0,1)$ nunca resultará en un número racional. Se basa en la afirmación de que para incluir todos los racionales en una selección aleatoria uniforme, se debe permitir que el espacio muestral sean los reales.
Considera los números escritos al revés en base $10$. En otras palabras, comienza con la unidad, luego la decena, luego la centena, etc.
Por ejemplo, los números del cero al noventa y nueve serían $$\begin{align} &\text{unidades}&\text{decenas}\\ &0& 0\\ &1&0\\ &\vdots&\vdots\\ &8&9\\ &9&9\\ \end{align}$$
$$\text{Sea }n = \sum_{i=0}^M d_i\cdot 10^i$$
Afirmamos que seleccionar un número aleatorio con a lo sumo $M$ dígitos es equivalente a generar una secuencia de $M$ miembros aleatorios de $\{0, 1,\dots,9\}$. Para darles a todos los números en $[0, 10^M-1]$ una oportunidad igual de ser seleccionados, debemos generar todos los $M$ dígitos, permitiendo que los números pequeños se representen con cadenas finales de ceros.
Podemos diseñar un experimento para seleccionar números aleatorios tan grandes como deseemos. El problema es que el infinito siempre es más grande. Para incluir todos los números naturales en el espacio muestral, debemos seleccionar infinitos dígitos. Si esto fuera posible, todos los números naturales podrían ser representados por la selección aleatoria eventual de una secuencia infinita de ceros finales. Que esto ocurra es extremadamente improbable.
Para parafrasear el comentario de @Severin, asumamos que puedes seleccionar uniformemente al azar un número natural y que la probabilidad de seleccionar un número en particular no es cero. Entonces la suma de las probabilidades de todos los eventos en el espacio muestral es $\infty$. Seguramente esta es una contradicción más grave que una probabilidad de cero.
Ahora diseñemos un experimento que realmente funcione:
Lanza una moneda hasta que salga cara. Deja que el número de lanzamientos, $n$, sea nuestro número natural (no seleccionado uniformemente al azar). Todos los $n \in \mathbb{N}$ tienen una probabilidad no nula de ser seleccionados y la suma de las probabilidades de los resultados en el espacio muestral es uno.
¿Cuál es una buena estimación de la probabilidad promedio de seleccionar un número específico en este experimento? Cualquier cosa mayor que cero es demasiado grande.
Prueba: Para cualquier elección $\epsilon>0$, podemos construir un subconjunto finito $\mathscr{S} \subset \mathbb{N}$ tal que la probabilidad promedio de seleccionar un número de $\mathscr{S}$ sea menor o igual a $\epsilon$ y la probabilidad de seleccionar un número que no esté en $\mathscr{S}$ sea menor a $\epsilon$.
Sea $\delta = \lfloor\log_2 \frac{1}{\epsilon}\rfloor$ y sea todos los $n \leq 2^\delta$ miembros de $\mathscr{S}$. La probabilidad promedio de seleccionar un miembro de $\mathscr{S}$ es $$\frac{2^{2^\delta} - 1}{(2^\delta)2^{2^\delta}} < \frac{1}{2^\delta} \leq \epsilon $$
La probabilidad de seleccionar un miembro de $\mathbb{N} - \mathscr{S}$ es a lo sumo $\frac{1}{2^{2^\delta+1}} < \epsilon$.
Por lo tanto, cualquier $\epsilon > 0$ sobrestima la probabilidad promedio de seleccionar un número natural específico.
2 votos
youtube.com/watch?v=ZA4JkHKZM50 Este video de Grant puede ayudar.
6 votos
Para que un evento tenga una probabilidad de $0$ no es lo mismo que el evento sea imposible.
4 votos
Hay un problema fundamental aquí. No hay una medida de probabilidad en los números naturales tal que todos los números tengan la misma masa. De hecho, esa es la razón por la que la gente comenzó a considerar la "densidad natural".
2 votos
Toma la probabilidad de elegir de {1, ..., N} y deja que N crezca. @SeverinSchraven tiene razón, pero para una heurística rudimentaria, el ejemplo de 1 a N debería ayudarte.
0 votos
@JustWandering Soy un observador constante de 3blue1brown, pero no ayudó a resolver mi intuición y no fue muy convincente, de todos modos gracias.
0 votos
@SeverinSchraven ¿Podrías por favor elaborar? Te lo agradecería...
2 votos
Si hubiera una medida de probabilidad $\mu$ en los números naturales con $\mu(\{n\})=\mu(\{m\})$ para todos los números naturales $m,n$, entonces obtenemos por la sigma-aditividad $$ 1 = \mu(\mathbb{N}) = \sum_{n\in \mathbb{N}} \mu(\{n}). $$ Ahora utiliza que todos los singeltons tienen el mismo peso y observa que esto da una contradicción.
0 votos
Hmm.Eso parece agradable. ¡Gracias por la ayuda!