This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 2.5 License.

BY: Grupo CDPYE-UGR

Álgebra de sucesos
 This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 2.5 License.
BY: Grupo CDPYE-UGR

Álgebra de sucesos
Consideremos un experimento aleatorio con espacio muestral Ω.
 This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 2.5 License.
BY: Grupo CDPYE-UGR

Álgebra de sucesos
Consideremos un experimento aleatorio con espacio muestral Ω. Si identificamos cada suceso aleatorio, A, con el
conjunto de sucesos elementales cuya ocurrencia implica la de A, es evidente que A es un subconjunto de Ω y,
por tanto, notando P(Ω) a la clase de todos los subconjuntos de Ω, es claro que la clase de sucesos asociada al
experimento es un subconjunto de P(Ω).
 This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 2.5 License.
BY: Grupo CDPYE-UGR

Álgebra de sucesos
Consideremos un experimento aleatorio con espacio muestral Ω. Si identificamos cada suceso aleatorio, A, con el
conjunto de sucesos elementales cuya ocurrencia implica la de A, es evidente que A es un subconjunto de Ω y,
por tanto, notando P(Ω) a la clase de todos los subconjuntos de Ω, es claro que la clase de sucesos asociada al
experimento es un subconjunto de P(Ω).
Para modelar un experimento aleatorio debe especificarse la clase de sucesos que va a ser objeto de estudio en dicho
experimento ya que, en la gran mayorı́a de ocasiones, no todos los sucesos son de interés para el problema particular
analizado.
 This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 2.5 License.
BY: Grupo CDPYE-UGR

Álgebra de sucesos
Consideremos un experimento aleatorio con espacio muestral Ω. Si identificamos cada suceso aleatorio, A, con el
conjunto de sucesos elementales cuya ocurrencia implica la de A, es evidente que A es un subconjunto de Ω y,
por tanto, notando P(Ω) a la clase de todos los subconjuntos de Ω, es claro que la clase de sucesos asociada al
experimento es un subconjunto de P(Ω).
Para modelar un experimento aleatorio debe especificarse la clase de sucesos que va a ser objeto de estudio en dicho
experimento ya que, en la gran mayorı́a de ocasiones, no todos los sucesos son de interés para el problema particular
analizado.
Esta clase debe incluir todos los sucesos que puedan expresarse en términos de los sucesos de interés, mediante
operaciones lógicas entre ellos y, por tanto, la clase de sucesos considerada en un experimento aleatorio, que notaremos
A, debe tener una estructura algebraica consistente con tales operaciones.
 This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 2.5 License.
BY: Grupo CDPYE-UGR

Álgebra de sucesos
Consideremos un experimento aleatorio con espacio muestral Ω. Si identificamos cada suceso aleatorio, A, con el
conjunto de sucesos elementales cuya ocurrencia implica la de A, es evidente que A es un subconjunto de Ω y,
por tanto, notando P(Ω) a la clase de todos los subconjuntos de Ω, es claro que la clase de sucesos asociada al
experimento es un subconjunto de P(Ω).
Para modelar un experimento aleatorio debe especificarse la clase de sucesos que va a ser objeto de estudio en dicho
experimento ya que, en la gran mayorı́a de ocasiones, no todos los sucesos son de interés para el problema particular
analizado.
Esta clase debe incluir todos los sucesos que puedan expresarse en términos de los sucesos de interés, mediante
operaciones lógicas entre ellos y, por tanto, la clase de sucesos considerada en un experimento aleatorio, que notaremos
A, debe tener una estructura algebraica consistente con tales operaciones.
Concretamente, centrándonos en el caso de que la clase A sea finita (lo que ocurre, por ejemplo, si Ω es finito),
y atendiendo a la definición de suceso aleatorio como caracterı́stica o propiedad observable del resultado de un
experimento, es evidente que:
 This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 2.5 License.
BY: Grupo CDPYE-UGR

Álgebra de sucesos
Consideremos un experimento aleatorio con espacio muestral Ω. Si identificamos cada suceso aleatorio, A, con el
conjunto de sucesos elementales cuya ocurrencia implica la de A, es evidente que A es un subconjunto de Ω y,
por tanto, notando P(Ω) a la clase de todos los subconjuntos de Ω, es claro que la clase de sucesos asociada al
experimento es un subconjunto de P(Ω).
Para modelar un experimento aleatorio debe especificarse la clase de sucesos que va a ser objeto de estudio en dicho
experimento ya que, en la gran mayorı́a de ocasiones, no todos los sucesos son de interés para el problema particular
analizado.
Esta clase debe incluir todos los sucesos que puedan expresarse en términos de los sucesos de interés, mediante
operaciones lógicas entre ellos y, por tanto, la clase de sucesos considerada en un experimento aleatorio, que notaremos
A, debe tener una estructura algebraica consistente con tales operaciones.
Concretamente, centrándonos en el caso de que la clase A sea finita (lo que ocurre, por ejemplo, si Ω es finito),
y atendiendo a la definición de suceso aleatorio como caracterı́stica o propiedad observable del resultado de un
experimento, es evidente que:

- Si A es un suceso de interés, también lo es Ac (interesarse por la ocurrencia o no de A es equivalente a hacerlo

por la no ocurrencia u ocurrencia de Ac ).
 This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 2.5 License.
BY: Grupo CDPYE-UGR

Álgebra de sucesos
Consideremos un experimento aleatorio con espacio muestral Ω. Si identificamos cada suceso aleatorio, A, con el
conjunto de sucesos elementales cuya ocurrencia implica la de A, es evidente que A es un subconjunto de Ω y,
por tanto, notando P(Ω) a la clase de todos los subconjuntos de Ω, es claro que la clase de sucesos asociada al
experimento es un subconjunto de P(Ω).
Para modelar un experimento aleatorio debe especificarse la clase de sucesos que va a ser objeto de estudio en dicho
experimento ya que, en la gran mayorı́a de ocasiones, no todos los sucesos son de interés para el problema particular
analizado.
Esta clase debe incluir todos los sucesos que puedan expresarse en términos de los sucesos de interés, mediante
operaciones lógicas entre ellos y, por tanto, la clase de sucesos considerada en un experimento aleatorio, que notaremos
A, debe tener una estructura algebraica consistente con tales operaciones.
Concretamente, centrándonos en el caso de que la clase A sea finita (lo que ocurre, por ejemplo, si Ω es finito),
y atendiendo a la definición de suceso aleatorio como caracterı́stica o propiedad observable del resultado de un
experimento, es evidente que:

- Si A es un suceso de interés, también lo es Ac (interesarse por la ocurrencia o no de A es equivalente a hacerlo

por la no ocurrencia u ocurrencia de Ac ).

- Si A y B son sucesos de interés en el experimento, también lo será la ocurrencia simultánea de ambos, A ∩ B,

y la ocurrencia de alguno de ellos, A ∪ B.
 This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 2.5 License.
BY: Grupo CDPYE-UGR

Álgebra de sucesos
Consideremos un experimento aleatorio con espacio muestral Ω. Si identificamos cada suceso aleatorio, A, con el
conjunto de sucesos elementales cuya ocurrencia implica la de A, es evidente que A es un subconjunto de Ω y,
por tanto, notando P(Ω) a la clase de todos los subconjuntos de Ω, es claro que la clase de sucesos asociada al
experimento es un subconjunto de P(Ω).
Para modelar un experimento aleatorio debe especificarse la clase de sucesos que va a ser objeto de estudio en dicho
experimento ya que, en la gran mayorı́a de ocasiones, no todos los sucesos son de interés para el problema particular
analizado.
Esta clase debe incluir todos los sucesos que puedan expresarse en términos de los sucesos de interés, mediante
operaciones lógicas entre ellos y, por tanto, la clase de sucesos considerada en un experimento aleatorio, que notaremos
A, debe tener una estructura algebraica consistente con tales operaciones.
Concretamente, centrándonos en el caso de que la clase A sea finita (lo que ocurre, por ejemplo, si Ω es finito),
y atendiendo a la definición de suceso aleatorio como caracterı́stica o propiedad observable del resultado de un
experimento, es evidente que:

- Si A es un suceso de interés, también lo es Ac (interesarse por la ocurrencia o no de A es equivalente a hacerlo

por la no ocurrencia u ocurrencia de Ac ).

- Si A y B son sucesos de interés en el experimento, también lo será la ocurrencia simultánea de ambos, A ∩ B,

y la ocurrencia de alguno de ellos, A ∪ B.

Estas consideraciones, junto con el hecho de que la clase A es no vacı́a (siempre habrá al menos un suceso de interés),
conducen a exigir que si la clase de sucesos considerada en un experimento aleatorio es finita, debe tener la estructura
que definimos a continuación.
 This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 2.5 License.
BY: Grupo CDPYE-UGR

Álgebra de conjuntos
Sea Ω un conjunto arbitrario y A ⊆ P(Ω) una clase no vacı́a de subconjuntos de Ω. La clase A tiene estructura de
álgebra si:

A ∈ A ⇒ Ac ∈ A.

A, B ∈ A ⇒ A ∪ B ∈ A.
 This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 2.5 License.
BY: Grupo CDPYE-UGR

Álgebra de conjuntos
Sea Ω un conjunto arbitrario y A ⊆ P(Ω) una clase no vacı́a de subconjuntos de Ω. La clase A tiene estructura de
álgebra si:

A ∈ A ⇒ Ac ∈ A.

A, B ∈ A ⇒ A ∪ B ∈ A.

Seguidamente, especificamos algunas propiedades de interés, que se deducen inmediatamente de la definición anterior.
 This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 2.5 License.
BY: Grupo CDPYE-UGR

Álgebra de conjuntos
Sea Ω un conjunto arbitrario y A ⊆ P(Ω) una clase no vacı́a de subconjuntos de Ω. La clase A tiene estructura de
álgebra si:

A ∈ A ⇒ Ac ∈ A.

A, B ∈ A ⇒ A ∪ B ∈ A.

Seguidamente, especificamos algunas propiedades de interés, que se deducen inmediatamente de la definición anterior.

Propiedades
Si A ⊆ P(Ω) tiene estructura de álgebra, se satisface:

i) Ω ∈ A y ∅ ∈ A.

ii) A, B ∈ A ⇒ A ∩ B ∈ A.

iii) A, B ∈ A ⇒ A − B ∈ A y A4B ∈ A.

iv) A1 , . . . , An ∈ A ⇒ A1 ∪ · · · ∪ An ∈ A y A1 ∩ · · · ∩ An ∈ A. 
 This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 2.5 License.
BY: Grupo CDPYE-UGR

Álgebra de conjuntos
Sea Ω un conjunto arbitrario y A ⊆ P(Ω) una clase no vacı́a de subconjuntos de Ω. La clase A tiene estructura de
álgebra si:

A ∈ A ⇒ Ac ∈ A.

A, B ∈ A ⇒ A ∪ B ∈ A.

Seguidamente, especificamos algunas propiedades de interés, que se deducen inmediatamente de la definición anterior.

Propiedades
Si A ⊆ P(Ω) tiene estructura de álgebra, se satisface:

i) Ω ∈ A y ∅ ∈ A.

ii) A, B ∈ A ⇒ A ∩ B ∈ A.

iii) A, B ∈ A ⇒ A − B ∈ A y A4B ∈ A.

iv) A1 , . . . , An ∈ A ⇒ A1 ∪ · · · ∪ An ∈ A y A1 ∩ · · · ∩ An ∈ A. 

Estas propiedades expresan que si la clase de sucesos considerada en el estudio de un experimento aleatorio es finita
(y, por lo tanto, tiene estructura de álgebra), cualquier unión o intersección finita, ası́ como cualquier diferencia de
sucesos, es un suceso.
 This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 2.5 License.
BY: Grupo CDPYE-UGR

Álgebra de conjuntos
Sea Ω un conjunto arbitrario y A ⊆ P(Ω) una clase no vacı́a de subconjuntos de Ω. La clase A tiene estructura de
álgebra si:

A ∈ A ⇒ Ac ∈ A.

A, B ∈ A ⇒ A ∪ B ∈ A.

Seguidamente, especificamos algunas propiedades de interés, que se deducen inmediatamente de la definición anterior.

Propiedades
Si A ⊆ P(Ω) tiene estructura de álgebra, se satisface:

i) Ω ∈ A y ∅ ∈ A.

ii) A, B ∈ A ⇒ A ∩ B ∈ A.

iii) A, B ∈ A ⇒ A − B ∈ A y A4B ∈ A.

iv) A1 , . . . , An ∈ A ⇒ A1 ∪ · · · ∪ An ∈ A y A1 ∩ · · · ∩ An ∈ A. 

Estas propiedades expresan que si la clase de sucesos considerada en el estudio de un experimento aleatorio es finita
(y, por lo tanto, tiene estructura de álgebra), cualquier unión o intersección finita, ası́ como cualquier diferencia de
sucesos, es un suceso.
Además, Ω y ∅ son siempre sucesos, denominados suceso seguro (ocurre siempre que se realiza el experimento)
y suceso imposible o nulo (no ocurre nunca), respectivamente.