Antecedentes:
El conjunto de todas las secuencias binarias infinitas se llama espacio de Cantor, denotado por [math] 2 ^ {\ omega} [/ math]. [math] 2 ^ {\ omega} [/ math] puede interpretarse como el árbol binario infinito completo . Lleva una topología canónica generada por los conjuntos de cilindros [w], que consisten en todas las secuencias infinitas que extienden la cadena finita w.
Al identificar números reales con su expansión binaria infinita, también podemos interpretar elementos del espacio de Cantor como reales .
La medida de Lebesgue en el espacio de Cantor es inducida por la función
[matemáticas] \ lambda [w] = 2 ^ {- | w |} [/ matemáticas]
El paradigma básico de la teoría de la probabilidad es que el resultado típico de un experimento aleatorio (teóricamente) con distribución [matemática] \ lambda [/ matemática] (por ejemplo, secuencias infinitas de lanzamientos de monedas justos) forma un conjunto de Lebesgue medir uno.
Simplemente pongo otra implicación aquí para [math] P \ geq 0.99 [/ math], que incluye 1 y es útil en ciertos contextos.
Suponga que la máquina de Turing genera f [1] con probabilidad [math] \ epsilon> 0 [/ math]. Según el teorema de densidad de Lebesgue, existe una cadena finita [math] \ sigma [/ math], de modo que si arreglamos los primeros bits del oráculo (una fuente de aleatoriedad) para que sean exactamente [math] \ sigma [/ math], y luego obtenemos los otros bits al azar, luego calculamos f con probabilidad de al menos [matemáticas] 0.99 [/ matemáticas]
[1] f: para todo n, te dice cuántos ceros hay entre los primeros n bits de tu oráculo
- ¿Por qué los grupos de Lie y el álgebra de Lie se estudian de manera diferente? Como los grupos son parte del álgebra, suenan como si fueran la misma cosa.
- Hay 4 nos. tal que la suma de todos los d cuatro nos. así como la suma de cada dos nos. Es un cuadrado perfecto. Encuentra d nos.
- ¿A qué es igual [matemáticas] (165) * 2 - (164) * 2 [/ matemáticas]?
- ¿Cuál es el valor de x en esta ecuación: Pr (equilibrio incluso después de jugar $ 10 por semana durante x semanas en el juego de selección 3) = Pr (dispuesto a la lotería Mega Million), que equivale a 1 en 175,711,536 por su sitio web?
- ¿Es [matemática] \ {\ sin (n), n \ in \ mathbb N \} [/ matemática] densa en el intervalo [-1, 1]?