Laboratorio Virtual  > Epacios de Probabilidad  > 1 [2] 3 4 5 6 7 8

2. Conjuntos y Eventos


La teoría de conjuntos es la base de la probabilidad, así como para la mayoría de las ramas de la matemática. En probabilidad, la teoría de conjuntos se usa para proveer un lenguaje para el modelado y para la descripción de  experimentos aleatorios

Conjuntos y subconjuntos

Primero, un conjunto es simpemente una colección de objetos;  los objectos son llamados elementos del conjunto. La afirmación de que  s es un elemento del conjunto se escribe como:  s in S. (En este proyecto, como notación conveniente usamos a veces simplemente la palabra en.)

Si  A y B son conjuntos entonces A es un subconjunto de B si cada elemento de A es también un elemento de B:

A subset B   si y solo si    s in A implica que  s in B.

Por definición, un conjunto está completamente determinado por sus elementos. Así, los conjuntos A y B son iguales si tienen los mismos elementos:

A = B   si y solo si   A subset B subset A.

En la mayoría de las aplicaciones de la teoría de conjuntos, todos los conjuntos bajo discusión son subconjuntos de un cierto  conjunto universal. En oposición está el conjunto vacío, denominado por  Ø, es el conjunto que no contiene ningún elemento.

Mathematical Exercise 1. Use la definición formal para implicación para mostrar que el conjunto vacío  es un subconjunto de cualquier conjunto A.

Un conjunto se dice que es contable si puede ponerse en una correspondencia uno a uno con un subconjunto de los enteros. Así, un conjunto contable puede ser finito,  o infinito que pueda "contarse" con los enteros. Opuestamente, el conjunto de los números reales es no contable. Como veremos, los conjuntos contables  juegan un rol especial en probabilidad. El término correspondencia uno a uno  se define formalmente en la próxima sección sobre Funciones y Variables Aleatorias.

Espacio Muestral y Eventos

El espacio muestral de un experimento aleatorio es un conjunto S que incluye todos los posibles resultados de un experimento; el espacio muestral juega el rol del conjunto universal cuando se modela el experimento. Para experimentos simples, el espacio muestral puede ser precisamente el conjunto de los posibles resultados. A veces , para experimentos complejos, el espacio muestral es un conjunto matemáticamente conveniente que incluye los resultados posibles y quizas también otros elementos. Por ejemplo, si el experimento es tirar un dado y registrar el resultado, el espacio muestral es  S = {1, 2, 3, 4, 5, 6}, el conjunto de posibles resultados. Por otro lado, si el experimento es capturar una cigarra y medir su peso (en miligramos), vamos a considerar conveniente que el espacio muestral sea  S = [0, infinity), aunque la mayoría de los elementos de este conjunto sean prácticamente imposibles.

Los subconjuntos del espacio muestral de un experimento son llamados eventos. Así, un evento es un conjunto de resultados de un experimento. Cada vez que se raliza el experimento, un determinado evento A  ocurre, si el resultado del experimento es un elemento de  A, o no ocurre, si el resultado del experimento no es un elemento de A. Intuitivamente, se debe pensar en un evento como una  afirmación significativa acerca de un experimento.

El espacio muestral S en sí es un evento; por definición, ocurre  siempre. En el otro extremo,  el conjunto vacío Ø también es un evento; por definición no ocurre nunca. Generalizando, si A y B son eventos en el experimento y A es un subconjunto de B, entonces la ocurrencia de A implica la ocurrencia de B.

Conjuntos 'producto'

Generalmente, el resultado de un experimento aleatorio consiste en uno o mas ( quizás infinitamente muchas) mediciones reales, y así, el espacio muestral consiste de todas las posibles secuencias de mediciones. Así, necesitamos una buena notación para construir los conjuntos de secuencias.

Supongamos primero que tenemos n conjuntos S1, S2, ..., Sn. El Producto Cartesiano (llamado así por René Descartes) de S1, S2, ..., Sn se escribe como

S1 × S2 × ··· × Sn

es el conjunto de todas las secuencias (ordenadas)  (s1, s2 , ..., sn) donde si es un elemento de Si para cada i. Recuerde que dos secuencias ordenadas son las mismas si y solo si sus coordenadas correspondientes coinciden:

(s1, s2 , ..., sn) = (t1, t2 , ..., tn) si y solo si si = ti para i = 1, 2, ....

Si tenemos n experimentos con espacios muestrales S1, S2, ..., Sn, entonces S1 × S2 × ··· × Sn es el espacio muestral natural para el experimento compuesto que consiste en realizar secuencialemnte los  n experimentos. Si Si = S  para cada i, entonces el conjunto producto puede escribirse en forma compacta como

Sn = S × S × ··· × S (n factores).

Así si tenemos un experimento básico con espacio muestral S, entonces Sn es el espacio natural para el esperimento compuesto que consiste de  n réplicas del experimento básico. En particular, llamaremos R al conjunto de números reales de modo que Rn es un espacio Euclideano de dimensió-n. En muchos casos, el espacio muestral de un experimento aleatorio, y por consiguiente los eventos del experimento, son subconjuntos de Rn para algún n.

Ahora, supongamos que tenemos una colección infinita de conjuntos  S1, S2, ..., el producto Cartesiano de S1, S2, ..., denominado

S1 × S2 × ···

es el conjunto de todoas las secuencias (ordenadas)  (s1, s2 , ...,) donde si es un elemento de Si para cada i. Nuevamente, dos secuencias ordenadas son iguales si y solo si sus coordenadas correspondientes coinciden. Si tenemos una secuencia infinita de experimentos con espacios muestrales S1, S2, ..., entonces S1 × S2 × ··· es el espacio muestral natural para el experimento compuesto que consiste en relaizar el experimento dado secuencialmente. En particular, el espacio muestral para el experimento compuesto que consiste de réplicas indefinidas de un experimento básico es S × S × ···. Este es un caso especial esencial, porque la teoría de probabilidad se basa en la idea de réplicas de un dado experimento.

Operaciones entre conjuntos

Estamos listos ahora para repasar las operaciones básicas de la teoría de conjuntos. Para un experimento aleatorio, estas operaciones se pueden usar para construir nuevos eventos a partir de eventos dados. Para las definiciones siguientes, supongamos que  AB son subconjuntos del conjunto universal, al que llamaremos  S.

La union de A y B es el conjunto obtenido combinando los elementos de A y B.

A union B = {s in S: s in A or s in B}.

Si AB son eventos en un experimento con espacio muestral  S, entonces la unión de  A y B es el evento que ocurre si y solo si ocurre A  u ocurre B.

La  intersección de A y B es el conjunto de elementos comunes de ambos,  A y B:

A intersect B = {s in S: s in A y s in B}.

Si A y B son eventos en un experimento con espacio muestral  S, entonces la intersección de A y B es el evento que corre si y solo si  A ocurre y B ocurre. Si la intersección del conjunto A y B es vacío, entonces A y B son  disjuntos:

A intersect B = Ø.

Si A y B son eventos disjuntos en un experimento, entonces ellos son mutuamente excluyententes; no pueden ocurrir ambos en la misma realización del experimento.

El complemento de A es el conjunto de elementos que no están en  A , cuya notación es  Ac:

Ac = {s in S: s not in A}.

Si A es un evento en un experimento con espacio muestral space S, entonces el complemento de A es un evento que ocurre si y solo si A no ocurre.

Simulation Exercise 2. Las operaciones de conjuntos se ilustran a menudo con gráficos esquemáticos conocidos como diagramas de Venn, denominados por  John Venn. En el applet del diagrama de Venn, seleccione cada uno de los siguientes y observe el área sombreada en el diagrama.

  1. A
  2. B
  3. Ac
  4. Bc
  5. A union B
  6. A intersect B

Reglas Básicas 

En los siguientes problemas,  A, B, y C son subconjuntos de un conjunto universal  S.

Mathematical Exercise 3. Muestre que  A intersect B A A union B

Mathematical Exercise 4. Pruebe  las  leyes conmutativas:

  1. A union B = B union A
  2. A intersect B = B intersect A

Mathematical Exercise 5. Pruebe  las  leyes asociativas:

  1. A union (B union C) = (A union B) union C
  2. A intersect (B intersect C) = (A intersect B) intersect C

Mathematical Exercise 6. Pruebe  las  leyes distributivas:

  1. A (B union C) = (A B) union (A C)
  2. A union (B intersect C) = (A union B) intersect (A union C)

Mathematical Exercise 7. Pruebe  las  leyes de DeMorgan (llamadas por Agustus DeMorgan):

  1. (A union B)c = Ac intersect Bc.
  2. (A intersect B)c = Ac union Bc.

Mathematical Exercise 8. Muestre que B intersect Aes el evento que ocurre si y solo si  B ocurre, pero A no ocurre.

Cuando A B, B intersect Ac es algunas veces escrita B - A. Así, S - A es el mismo que Ac.

Mathematical Exercise 9. Muestre que (A intersect Bc) union (B intersect Ac) es el evento que courre si y solo si uno, pero no ambos, de los eventos dados ocurren. Este evento es denominado diferencia simétrica  y corresponde a exclusivo o.

Mathematical Exercise 10. Muestre que (A intersect B) union (Ac intersect Bc) es el evento que ocurre si y solo si ambos eventos ocurren o ninguno ocurre.

Mathematical Exercise 11. Pruebe que existen 16 eventos deferentes (en general) que pueden construirse a partir de 2 eventos dados  A y B.

Simulation Exercise 12. En el  applet del diagram de Venn  , observe el diagrama de cada uno de los 16 eventos que pueden construirse a partir de   A y B. Note en particular el diagrama de los eventos en los Ejercicios 8, 9, y 10.

Ejercicios Computacionales 

Mathematical Exercise 13. Considere el experimento de tirar un dado dos veces y registrar los dos resultados. Sea A el evento de sacar un 1 en el primer dado  y B el evento  de que la suma de los dados sea  7.

  1. Defina el espacio muestral S matemáticamente.
  2. Describa A como un subconjunto de  S.
  3. Describa B como un subconjunto de  S.
  4. Describa A union B como un subconjunto de  S.
  5. Describa A intersect B como un subconjunto de  S.
  6. Describa Ac intersect Bc como un subconjunto de  S.

Simulation Exercise 14. En la simulación del experimento con dados , selecciones dado justo y fije  n = 2 . Corra el experimento 100 veces y cuente el número de veces que cada evento del el ejercicio previo ocurre.

Mathematical Exercise 15. Considere el experimento de dar cartas de un mazo estándar. El resultado se registra diciendo cual es el palo y el número de la carta seleccionada. Sea Q el evento de sacar una carta que sea una reina y  H el evento de que la carta sea de corazón.

  1. Defina el espacio muestral S matemáticamente.
  2. Exprese Q como un subconjunto de S.
  3. Exprese H como un subconjunto de  S.
  4. Exprese Q union H como un subconjunto de  S.
  5. Exprese Q intersect H como un subconjunto de  S.
  6. Exprese Q intersect Hc como un subconjunto de  S.

Simulation Exercise 16. In the card experiment, set n = 1. Run the experiment 100 times and count the number of times each event in the previous exercise occurs.

Mathematical Exercise 17. Recall that Buffon's coin experiment consists of tossing a coin with radius r 1/2 on a floor covered with square tiles of side length 1. The coordinates of the center of the coin are recorded relative to axes through the center of the square in which the coin falls. Let A denote the event that the coin does not touch the sides of the square.

  1. Define the sample space S mathematically.
  2. Describe A as a subset of S.
  3. Describe Ac as a subset of S.

Simulation Exercise 18. In Buffon's coin experiment, set r = 1/4. Run the simulation 100 times and count the number of times event A in the last exercises occurs

Mathematical Exercise 19. An experiment consists of rolling a pair of dice until the sum of the two scores is either 5 or 7. The number of rolls is recorded. Give the sample space of this experiment.

Mathematical Exercise 20. An experiment consists of rolling a pair of dice until the sum of the two scores is either 5 or 7. The scores of the dice on the final roll are recorded. Let A denote the event that the sum is 5 rather than 7.

  1. Define the sample space S mathematically.
  2. Describe A as a subset of S.

Mathematical Exercise 21. The die-coin experiment consists of rolling a die and then tossing a coin the number of times shown on the die. The sequence of coin scores is recorded. Let A denote the event that there are exactly two heads.

  1. Define the sample space S mathematically.
  2. Express A as a subset of S.

Simulation Exercise 22. Run the simulation of the die-coin experiment, with the default settings, 100 times. Count the number of times event A in the last exercise occurs occurs.

Mathematical Exercise 23. In the coin-die experiment, we have a coin and two dice, one red and one green. First the coin is tossed, and then if the result is heads the red die is rolled, while if the result is tails the green die is rolled. The coin score and the score of the chosen die are recorded. Let A denote the event that the die score is at least 4.

  1. Define the sample space S mathematically.
  2. Express A as a subset of S.

Simulation Exercise 24. Run the coin-die experiment, with the default settings, 100 times. Count the number of times that event A in the last exercise occurs.

Mathematical Exercise 25. In a certain district, candidates 1, 2, and 3 are running for congress. A political consultant samples 100 registered voters from the district and records the age (in years), gender, and candidate preference of each person in the sample. Assume that a registered voter must be at least 18 years old. Define a sample space for the experiment.

Data Analysis Exercise 26. In the basic cicada experiment, a cicada in the Middle Tennessee area is captured and the following measurements recorded: body weight (in grams), wing length, wing width, and body length (in millimeters), species type, and gender. The cicada data set gives the results of 104 repetitions of this experiment.

  1. Define a sample space for the basic experiment.
  2. Let F be the event that a cicada is female. Describe F as a subset of the sample space.
  3. Determine whether F occurs for each cicada in the data set.
  4. Give the sample space for the compound experiment that consists of 104 repetitions of the basic experiment/

Data Analysis Exercise 27. In the basic M&M experiment, a bag of M&Ms (of a specified size) is purchased and the following measurements recorded: the number of red, green, blue, yellow, orange, and brown candies, and the net weight (in grams). The M&M data set gives the results of 30 repetitions of this experiment.

  1. Define a sample space for the basic experiment.
  2. Let A be the event that a bag contains at least 57 candies. Describe A as a subset of the sample space.
  3. Determine whether A occurs for each bag in the data set.
  4. Give the sample space for the compound experiment that consists of 30 repetitions of the basic experiment.

Mathematical Exercise 28. A system consists of 5 components, labeled 1, 2, 3, 4, 5. Each component is either failed (encoded by 0) or working (encoded by 1). The sequence of component states is recorded. Let A be the event that a majority of components are working.

  1. Define the sample space S mathematically.
  2. Express A as a subset of S.

Mathematical Exercise 29. Two components, labeled 1 and 2, are operated until failure, and the sequence of failure times (in hours) is recorded. Let A be the event that component 1 lasts longer than 1000 hours and let B be the even that component 1 lasts longer than component 2.

  1. Define the sample space S mathematically.
  2. Describe A as a subset of S.
  3. Describe B as a subset of S.
  4. Describe A union B as a subset of S.
  5. Describe A intersect B as a subset of S.
  6. Describe A intersect Bc as a subset of S.

General Operations

The operations of union and intersection can easily be extended to a finite or even an infinite collection of sets. Thus, suppose that Aj is a subset of a universal set S for each j in a nonempty index set J.

The union of the sets Aj, j in J is the set obtained by combining the elements of the given sets:

j Aj = {s in S: s in Aj for some j}.

If Aj, j in J are events in an experiment with sample space S, then the union is the event that occurs if and only if at least one of the given events occurs.

The intersection of the sets Aj, j in J is the set of elements common to all of the given sets:

j Aj = {s in S: s in Aj for every j}.

If Aj, j in J are events in an experiment with sample space S, then the intersection is the event that occurs if and only if every event in the collection occurs.

The sets Aj, j in J are pairwise disjoint if the intersection of any two sets is empty:

Ai intersect Aj = Ø for i j.

If Aj, j in J are events in a random experiment, this means that they are mutually exclusive; at most one of the events could occur on a given run of the experiment.

The sets Aj, j in J are said to partition a set B if Aj, j in J are pairwise disjoint and

j Aj = B.

Basic Rules

In the following problems, Aj, j in J and B are subsets of a universal set S.

Mathematical Exercise 30. Prove the general distributive laws:

  1. [j Aj] intersect B = j (Aj intersect B)
  2. [j Aj] union B = j (Aj union B)

Mathematical Exercise 31. Prove the general De Morgan’s laws:

  1. [j Aj] c = j Ajc.
  2. [j Aj]c = Ajc .

Mathematical Exercise 32. Suppose that the sets Aj, j in J partition S. Show that for any subset B, the sets Aj intersect B, j in J, partition B.

Rules for Product Sets

We will now see how the set operations relate to the Cartesian product operation. Suppose that S1 and S2 are sets and that A1, B1 are subsets of S1 while A2, B2 are subsets of S2. The sets in the exercises below are subsets of S1 × S2.

Mathematical Exercise 33. Show that (A1 × A2) intersect (B1 × B2) = (A1 intersect B1) × (A2 intersect B2).

Mathematical Exercise 34. Show that

  1. (A1 × A2) union (B1 × B2) subset (A1 union B1) × (A2 union B2),
  2. In part (a), equality does not hold in general.
  3. (A1 × A2) union (B1 × B2) can be written as a disjoint union of product sets.

Mathematical Exercise 35. Show that

  1. (A1c × A2c) subset (A1 × A2)c.
  2. In part (a), equality in does not hold in general.
  3. (A1 × A2)c can be written as a disjoint union of product sets.

The last three subsections explore advanced topics and can be omitted on a first reading.

Sigma Algebras

In probability theory, and in most other mathematical theories, it is sometimes impossible to include all subsets of the universal set S in the theory. There are many strange, pathological subsets of R, for instance, that play no essential role in applied mathematics. However, we naturally want our collection of admissible subsets to be closed under the set operations listed above. Specifically, we usually need that the following property to hold: 

Any set that can be constructed from a countable number of admissible sets (using the set operations) should itself be admissible.

This leads to key definition. Suppose that A is a collection of subsets of S. Then A is said to be a sigma algebra if

  1. S in A.
  2. If A in A then Ac in A.
  3. If Aj in A for each j in a countable index set J, then unionj Aj in A.

Mathematical Exercise 36. Show that Ø in A.

Mathematical Exercise 37. Show that If Aj in A for each j in a countable index set J, then intersectj Aj in A. Hint: Use DeMorgan's law.

In any random experiment, we assume that the collection of events forms a sigma algebra.

General Constructions

Let {0, 1}S denote the collection of all subsets of S, called the power set of S. Trivially, {0, 1}S is a the largest sigma algebra of S, and as discussed above, is sometimes too large to be useful. The rather strange notation will be explained in the next section on Functions and Random Variables.

At the other extreme, the smallest sigma algebra of S is given in the following exercise.

Mathematical Exercise 38. Show that {Ø, S} is a sigma algebra.

In many cases, we want to construct a sigma algebra that contains certain basic sets. The following exercises show how to do this.

Mathematical Exercise 39. Suppose that Aj is a sigma algebra of subsets of S for each j in a nonempty index set J. Show that the intersection A below is also a sigma algebra of subsets of S.

A = intersectj Aj.

Suppose now that B is a collection of subsets of S. Think of the sets in B as basic sets; but in general B will not be a sigma algebra. The sigma algebra generated by B is the intersection of all sigma algebras that contain B, which by the previous exercise, really is a sigma algebra:

sigma(B) = intersect{A: A is a sigma algebra of subsets of S and B A}.

Mathematical Exercise 40. Show that sigma(B) is the smallest sigma algebra containing B:

  1. B sigma(B)
  2. If A is a sigma algebra of subsets of S and B A then sigma(B) A.

Mathematical Exercise 41. Suppose that A is a subset of S. Show that

sigma({A}) = {Ø, A, Ac, S}.

Mathematical Exercise 42. Suppose that A and B are subsets of S. List the 16 (in general distinct) sets in sigma({A, B}).

Mathematical Exercise 43. Suppose that A1, A2, ..., An are subsets of S. Show that there are 2^(2n) (in general distinct) sets in the sigma algebra generated by the given sets.

Special Cases

We will now discuss the natural sigma algebras that we will use for various sample spaces and other sets in this project.

As noted previously, product sets play a crucial role in probability theory. Thus, suppose that S1, S2, ..., Sn are sets and that Ai is a sigma algebra of subsets of Si for each i. For the product set

S = S1 × S2 × ··· × Sn,

we use the sigma algebra A generated by the collection of all product sets of the form

A1 × A2 × ··· × An where Ai in Ai for each i.

We extend this idea to an infinite product. Thus, suppose that S1, S2, ... are sets and that Ai is a sigma algebra of subsets of Si for each i. For the product set

S = S1 × S2 × ··· ,

we use the sigma algebra A generated by the collection of all product sets of the form

A1 × A2 × ··· × An × Sn+1 × Sn+2 × ··· where n is a positive integer and Ai in Ai for each i.

Combining the product construction with our earlier remarks about R, note that for Rn, we use the sigma algebra generated by the collection of all products of intervals. This is the Borel sigma algebra for Rn.