Un espacio de probabilidad es un espacio medido con ; los elementos de son sucesos, y una propiedad se cumple casi seguramente (c.s.) si su suceso tiene probabilidad . Una variable aleatoria es una aplicación medible (o : un vector aleatorio); su ley es la medida de probabilidad imagen en (el Ejercicio 11.9), determinada por la función de distribución (el Ejercicio 9.3). tiene densidad si ; es discreta si es una combinación numerable de masas de Dirac. La esperanza es
y el teorema de transferencia (el Ejercicio 11.9) la calcula en la ley: — en el caso discreto, en el caso con densidad: las fórmulas de segundo año, ahora teoremas de una sola teoría. La varianza es para .
Ejemplos
Ejemplo 22.2
Las leyes estándar y sus transformadas destacables: Bernoulli , binomial , geométrica, Poisson (discretas: las tablas de segundo año siguen siendo válidas); uniforme en (la propia medida de Lebesgue); exponencial (densidad ); la gaussiana de densidad — una densidad de probabilidad por el Problema 10.1, de media y varianza (momentos gaussianos, el Ejercicio 11.10).
Ejemplo 22.14 (Lo que compra la ley fuerte)
(a) Frecuencias: para lanzamientos de moneda i.i.d., la frecuencia observada de caras converge c.s. a — la justificación empírica de la propia probabilidad. (b) Monte Carlo: para y uniformes i.i.d., (Teorema 22.6), c.s.: integrales por muestreo, en cualquier dimensión, a la velocidad independiente de la dimensión que precisa el Capítulo 23. (c) Números normales: casi todo número real tiene, en su desarrollo binario, frecuencia asintótica de unos (aplíquese la ley fuerte a las variables de dígitos del Teorema 22.6) — el teorema de Borel, un enunciado sobre los números de todos los días demostrado por la medida: el Problema 22.1 lo completa en todas las bases.