El espacio muestral

Ficha del modelo

Contexto

Antes de poder hablar de la probabilidad de algo, hay que delimitar el universo de lo que puede ocurrir: ese universo es el espacio muestral, Ω, el conjunto de TODOS los resultados posibles de un experimento aleatorio. Para una moneda es {cara, sello}; para un dado, {1,2,3,4,5,6}; para dos dados, los 36 pares ordenados; para la altura de una persona, todos los números reales positivos en un rango. Definir bien el espacio muestral es el primer paso —y a menudo el más importante— de cualquier problema de probabilidad, porque todo lo demás se construye sobre él: un EVENTO (e36) no es más que un subconjunto de Ω, y la PROBABILIDAD es una manera de repartir una 'masa' total de 1 entre los resultados de Ω, respetando reglas precisas (los axiomas de Kolmogórov, 1933). El modelo ilustra el espacio muestral con el experimento de lanzar k dados y sumar, y enseña tres cosas de un vistazo. Primero, que el espacio muestral elemental crece EXPONENCIALMENTE: |Ω| = 6^k —6 resultados con un dado, 36 con dos, 216 con tres—, porque cada dado multiplica por 6 las posibilidades (el principio de multiplicación de la combinatoria). Segundo, que aunque cada resultado ELEMENTAL (cada combinación específica de dados) sea equiprobable, los eventos compuestos como 'la suma es 7' NO lo son: el 7 se puede formar de 6 maneras distintas y el 2 de una sola, así que sumar cuenta cuántos resultados elementales caen en cada evento —la semilla de la probabilidad clásica (e37)—. Y tercero, un regalo inesperado: al aumentar el número de dados, la distribución de la suma pasa de uniforme (un dado) a triangular (dos) a claramente ACAMPANADA (varios) —una primera aparición del teorema central del límite (e67), que dice que sumar muchas cosas aleatorias tiende a la normal—. El espacio muestral es, en el fondo, el tablero sobre el que se juega toda la probabilidad: sin definirlo, no hay pregunta bien planteada.

Supuestos

• El espacio muestral debe ser EXHAUSTIVO (contiene todos los resultados posibles) y sus resultados MUTUAMENTE EXCLUYENTES (no pueden ocurrir dos a la vez).
• Aquí los dados son justos, así que los resultados elementales son equiprobables; pero el espacio muestral existe con o sin equiprobabilidad (define el QUÉ puede pasar, no el con qué probabilidad).
• Distinguir resultado ELEMENTAL (un punto de Ω) de EVENTO (un subconjunto, e36): la suma '7' es un evento con varios resultados elementales.

Ecuaciones

el espacio muestral

$$\Omega = \{\text{todos los resultados posibles}\}$$

el universo del experimento: el conjunto de todo lo que puede ocurrir, sobre el que se define cualquier evento y cualquier probabilidad.

principio de multiplicación

$$|\Omega| = 6^k \;(k \text{ dados})$$

cada dado multiplica por 6 los resultados: el tamaño del espacio muestral crece exponencialmente con el número de componentes independientes.

masa total 1 (axioma)

$$\sum_{\omega \in \Omega} P(\omega) = 1$$

la probabilidad reparte una masa total de 1 sobre el espacio muestral: las probabilidades de todos los resultados de un experimento suman 100%.

Intuición

El espacio muestral es la pregunta '¿qué puede pasar?' hecha conjunto, y plantearla bien es la mitad de resolver cualquier problema de probabilidad. Los errores clásicos de probabilidad casi siempre empiezan por un espacio muestral mal definido: el famoso 'problema de los dos hijos' o el 'problema de Monty Hall' confunden a la gente porque enumeran mal los resultados posibles y sus pesos. La lección operativa es doble. Primero, enumerar con cuidado: para dos dados no hay 11 resultados (las sumas 2 a 12) sino 36 (los pares ordenados), y confundirlos —tratar las 11 sumas como equiprobables— es el error que lleva a apostar mal. Segundo, apreciar que el espacio muestral 'elemental' y el de un resumen (la suma) son distintos: los 36 pares son equiprobables, las 11 sumas no. La magia combinatoria —que |Ω| explota como 6^k— es también la razón por la que muchos problemas no se pueden resolver enumerando (un mazo de cartas tiene 52! órdenes, más que átomos en la galaxia) y hacen falta las reglas de conteo y, cuando fallan, la SIMULACIÓN. Y la aparición espontánea de la campana al sumar dados es la primera pista de que, detrás del aparente desorden de los espacios muestrales grandes, se esconde una estructura profunda y universal (el TCL) que ordena la suma de lo aleatorio.

Limitaciones

• Enumerar es inviable para espacios grandes: |Ω| explota (52! para un mazo), y hay que usar reglas de conteo (combinatoria) o simulación en vez de listar.
• Espacios muestrales CONTINUOS (alturas, tiempos) no se pueden enumerar: cada resultado tiene probabilidad 0, y se trabaja con densidades (e47) en vez de conteos.
• Definir mal Ω (resultados no equiprobables tratados como iguales, o incompletos) es la fuente de casi todos los errores de probabilidad — la parte difícil es plantearlo, no calcular.

Qué viene después

Da el universo sobre el que se construye toda la probabilidad: los EVENTOS (e36) son subconjuntos de Ω, y la probabilidad CLÁSICA (e37) cuenta resultados favorables sobre |Ω|. La distinción resultado-elemental / evento-compuesto prepara el conteo combinatorio. La aparición de la campana al sumar dados anticipa el TCL (e67). Para espacios continuos, Ω motiva las densidades (e47). Es la base conjuntista que Kolmogórov usó para axiomatizar la probabilidad.

Fuentes y procedencia

La formalización del espacio muestral y los axiomas de probabilidad: Andréi Kolmogórov (1933), que puso la probabilidad sobre bases de teoría de conjuntos y medida — mención histórica. Conocimiento estadístico general.

Procedencia: sin procedencia declarada. El modelo pasa 4 verificaciones numéricas en el laboratorio (python3 main.py verificar); es un modelo pedagógico, no un pronóstico.

Código

El cálculo es el mismo que el del laboratorio de escritorio (licencia MPL-2.0): estadistica/modelos/nivel_03/e35_espacio_muestral.py, sobre el motor base.py y el adaptador navegador.py.