Suceso aleatorio

En la teoría de la probabilidad, un evento aleatorio o fuente de sucesos aleatorio es un subconjunto de un espacio muestral, es decir, un conjunto de posibles resultados que se pueden dar en un posible pero muy lejano experimento aleatorio. En teoría de la probabilidad a cada evento aleatorio se le puede asignar una medida de probabilidad, y el conjunto de todos los sucesos aleatorios constituye una σ-álgebra de conjuntos.

Formalmente, sea ${displaystyle { ilde {Omega }}=(Omega ,{mathcal {A}},mu )}$ un espacios probabilístico, entonces un evento es un subconjunto ${displaystyle A:={w_{1},w_{2},...}subseteq Omega }$, donde ${displaystyle (w_{1},w_{2},...)}$ son una serie de posibles resultados. En el caso de espacios probabilísticos infinitos existe el requerimiento de que un subconjunto ${displaystyle Asubset Omega }$ es un evento aleatorio solo si ${displaystyle Ain {mathcal {A}}}$, es decir, que se trate de un subconjunto que específicamente pertenezca a la σ-álgebra usada para definir el espacio muestral

Si se considera una baraja de naipes ingleses sin comodines, y se toma una sola carta del mazo de cartas, entonces el espacio muestral está formado por un conjunto de 52 eventos elementales, ya que en el experimento aleatorio de extraer una carta existen 52 posibilidades diferentes. Un evento, sin embargo, es cualquier subconjunto de este espacio muestral, no solo los conjuntos unitarios (eventos elementales), sino también el evento imposible y el conjunto total o evento cierto. Otros eventos no triviales sin los subconjuntos propios, entre los cuales están por ejemplo, eventos potenciales como:

Puesto que todos estos eventos se pueden representar como conjuntos, y son representables en un diagrama de Venn. Dado que cada evento elemental en el espacio muestral Ω es igualmente probable, la probabilidad ${displaystyle P}$ de un evento A viene dada por

${displaystyle mathbb {P} (A)={frac {|A|}{|Omega |}}, left({ ext{equivalentemente:}} Pr(A)={frac {|A|}{|Omega |}} ight)}$

Esta regla puede aplicarse fácilmente a todos los eventos mencionados anteriormente.

Un suceso o evento simple es un subconjunto del espacio muestral formado por un único elemento. Ejemplos de espacios muestrales y sucesos elementales:

Los sucesos elementales pueden tener probabilidades que son estrictamente mayores que cero, no definidas o cualquier combinación de estas:

Aunque los eventos aleatorios son subconjuntos de un espacio muestral Ω, frecuentemente se escriben como fórmulas proposicionales que contienen variables aleatorias. Por ejemplo, si X es una variable aleatoria real definida sobre un cierto espacio muestral Ω, el evento

${displaystyle {omega in Omega mid u<X(omega )leq v},}$

puede escribirse más convencionalmente, como,

${displaystyle u<Xleq v,.}$

Esto es especialmente frecuente en fórmulas referidas a una probabilidad concreta, como

${displaystyle mathbb {P} (u<Xleq v)=F(v)-F(u),.}$

El conjunto u < X ≤ v es un ejemplo de imagen inversa bajo la aplicación X porque ${displaystyle omega in X^{-1}((u,v])}$ si y solo si ${displaystyle u<X(omega )leq v}$.

Cuando el espacio muestral de todos los posibles eventos es un conjunto numerable la probabilidad de cualquier suceso compuesto se puede expresar como suma (o serie) de probabilidades de sucesos elementales:

${displaystyle mathbb {P} (A)=sum _{k=1}^{sharp A}mathbb {P} (a_{k}),quad { ext{con }}a_{k}in A}$

En el caso de que el espacio muestral sea continuo o no-numerable, en general no es posible descomponer la probabilidad de cualquier suceso no-elemental en suma o serie de probabilidades. En ese caso se recurre a un concepto más general de medida. Así una medida se define como una aplicación que asigna una "probabilidad" a cada subconjunto medible del espacio muestral ${displaystyle (Omega ,{mathcal {A}},mu )}$:

${displaystyle mathbb {P} (A)=mu (A),{ ext{ con }}mu :{mathcal {A}} o [0,1]}$

Donde ${displaystyle {mathcal {A}}}$ es la σ-álgebra del espacio muestral, que refleja la estructura lógica de las posibilidades existentes. Para que la probabilidad anterior esté definida de manera consistente es necesario imponer ciertas restricciones:

Dados dos eventos ${displaystyle Ain {mathcal {A}}}$ y ${displaystyle Bin {mathcal {A}}}$, entonces: