Conjuntos

Medidas

Unidad 1

Probabilidad y Estadı́stica - 2013 Unidad 1

 Clases o Familias
Conjuntos Anillo de Conjuntos
Medidas Algebra de Conjuntos
σ Algebra

Conjuntos Coordinables
Definición 1.1::
Dos conjuntos A y B son coordinables si es posible definir una
función biyectiva de A en B. Esto es,

A ≈ B ⇔ ∃f : A → B /f es biyectiva
Ejemplos:
1 A = {a, b, c} es coordinable con B = {1, 2, 5}
2 El conjunto de los números naturales (N) es coordinable con
el conjunto de los naturales pares, pues la función
f : N → Np /f (n) = 2n es biyectiva.

Observación: La relación de coordinabilidad es una relación de

equivalencia.
Probabilidad y Estadı́stica - 2013 Unidad 1
 Clases o Familias
Conjuntos Anillo de Conjuntos
Medidas Algebra de Conjuntos
σ Algebra

Conjuntos Finitos e Infinitos

Definición 1.2:
1 Un conjunto A es finito si y sólo si es vacı́o o es coordinable
con un intervalo de números naturales. Esto es, A es finito
⇔ A = ∅ ∨ ∃n ∈ N/ A ≈ [1, n]N
2 Un conjunto A es infinito si y sólo si no es vacı́o y no es
coordinable con un intervalo de números naturales. Esto es, A
es infinito ⇔ A 6= ∅ ∧ ∀n ∈ N A no es coordinable con [1, n]N

Propiedades:
1 Todo subconjunto de un conjunto finito es finito.
2 Si un conjunto tiene un subconjunto infinito, es infinito.
3 La unión de dos conjuntos finitos es un conjunto finito.

Probabilidad y Estadı́stica - 2013 Unidad 1

 Clases o Familias
Conjuntos Anillo de Conjuntos
Medidas Algebra de Conjuntos
σ Algebra

Pregunta: ¿ Cuáles de los siguientes conjuntos son finitos y cuales

infinitos?

1 Z,
2 N,
3 A = {n ∈ N/ n ≤ 100},
4 B = {n ∈ N/ n ≥ 3},
5 C = {3, 6, 9}

Ejercicio: Dar dos ejemplos de conjuntos finitos y dos de conjuntos

infinitos

Probabilidad y Estadı́stica - 2013 Unidad 1

 Clases o Familias
Conjuntos Anillo de Conjuntos
Medidas Algebra de Conjuntos
σ Algebra

Conjuntos numerables y no numerables

Definición 1.3:
1 Un conjunto A es numerable si es coordinable con un
subconjunto de N.
2 Un conjunto A es infinito numerable si es coordinable con N.
3 Un conjunto A es no numerable si no es coordinable con
ningún subconjunto de N.

Ejercicio: Clasificar como numerable, infinito numerable o no

numerable los siguientes conjuntos:
Np , Q, A = {x = 5n / n ∈ N}, R, B = {x : x ∈ R ∧ 0 ≤ x ≤ 1},
C = {1, 4, 9, 13}

Probabilidad y Estadı́stica - 2013 Unidad 1

 Clases o Familias
Conjuntos Anillo de Conjuntos
Medidas Algebra de Conjuntos
σ Algebra

Clases o Familias

Definición 1.4: Un conjunto A cuyos elementos son conjuntos es

una clase ó familia de conjuntos.
Ejemplos:
1 Sea A un conjunto. Entonces el conjunto de partes de A,
P(A), definido por todos los subconjuntos de A, es una clase
o familia de conjuntos.
2 B = {{1}, {1, 2}, ∅, {2}, {3}} es una clase de conjuntos.
3 C = {∅, {a, b}}

Probabilidad y Estadı́stica - 2013 Unidad 1

 Clases o Familias
Conjuntos Anillo de Conjuntos
Medidas Algebra de Conjuntos
σ Algebra

Definición 1.5: Una clase B 6= ∅ que es cerrada para la unión y

diferencia de conjuntos (si A ∈ B, C ∈ B ⇒ A ∪ C ∈ B y
A − C ∈ B) se denomina Anillo (Booleano) de Conjuntos
Preguntas
a ¿Es la clase B de la página anterior un anillo booleano de
conjuntos?
b ¿ Y la clase C ?
Teorema 1.1: El conjunto de partes de un conjunto A es un anillo
booleano de conjuntos.
Teorema 1.2: El conjunto vacı́o pertenece a todo anillo booleano
de conjuntos.

Probabilidad y Estadı́stica - 2013 Unidad 1

 Clases o Familias
Conjuntos Anillo de Conjuntos
Medidas Algebra de Conjuntos
σ Algebra

Algebra Booleana de Conjuntos

Definición 1.6:Una clase A 6= ∅ formada por subconjuntos de un
conjunto S que es cerrada para la unión y complemento de
conjuntos (si B ∈ A, C ∈ A ⇒ B ∪ C ∈ A, B ′ ∈ A) se denomina
Algebra Booleana de Conjuntos ( álgebra de subconjuntos de S)
Teorema 1.3: El conjunto de partes de conjunto A es un álgebra
booleana de conjuntos.
Teorema 1.4: Toda álgebra booleana de conjuntos es un anillo
booleano de conjuntos.
Teorema 1.5: Sea A un álgebra booleana de subconjuntos de un
conjunto S. Entonces se satisfacen:
∅⊂A S T
∀n, ∀A1 , . . . , An ∈ A, ni=1 Ai ∈ A, ni=1 Ai ∈ A
Esto es, un álgebra de conjuntos es cerrada para un número finito
de operaciones ∪, ∩,′ , −
Probabilidad y Estadı́stica - 2013 Unidad 1
 Clases o Familias
Conjuntos Anillo de Conjuntos
Medidas Algebra de Conjuntos
σ Algebra

σ Algebra

Definición 1.7: Sea A un álgebra booleana de subconjuntos de un

conjunto S. Si además seSsatisface que si
An ∈ A, ∀n = 1, 2, 3, . . . , ∞
n=1 An ∈ A entonces se dice que A es
una σ- álgebra de subconjuntos de S.
Proposición 1.1: Sea A una σ-álgebraTde subconjuntos de S.
Entonces, si An ∈ A, ∀n = 1, 2, 3, . . . , ∞
n=1 An ∈ A

Esto es, podemos decir que una σ-álgebra de conjuntos es cerrada

para una cantidad numerable de operaciones ∪, ∩,′ , −

Probabilidad y Estadı́stica - 2013 Unidad 1

 Conjuntos
Medidas

Función de Conjuntos

Definición 1.8: Sea f una función cuyo dominio es una clase de

conjuntos B y su codominio un conjunto C . Entonces se dice que
f es una función de conjuntos. Si además su codominio es el
conjunto R, entonces se dice que f es una función real de conjuntos
Sea f :B → R una función real de conjuntos. Entonces:
Se dice que f es no negativa sii f (A) ≥ 0∀A ∈ B
Se dice que f es aditiva sii ∀A, C ∈ B tales que A ∩ C = ∅ se
satisface f (A ∪ C ) = f (A) + f (C ).
Si B es una σ-álgebra de conjuntos,
S , . . . ∈ B son
A1 , A2P
mutuamente excluyentes, y f ( ∞ n=1 nA ) = ∞
n=1 f (An ) se dice
que f es aditiva numerable

Probabilidad y Estadı́stica - 2013 Unidad 1

 Conjuntos
Medidas

Medida
Sea B un álgebra de conjuntos, f : B → R una función real de
conjuntos.
Definición 1.9: Si tal f es no negativa y aditiva, entonces f es
una medida.
Sea A una σ-álgebra de conjuntos, f : A → R una función real de
conjuntos.
Definición 1.10: Si tal f es no negativa y numerablemente
aditiva, entonces f es una medida numerablemente aditiva.
Ejercicio: Decidir si las siguientes funciones de conjuntos son
medidas:
1 B = {{a}, {b}, {a, b}, ∅},

f ({a}) = 0, f ({b}) = 1, f ({a, b}) = 1, f (∅) = 0

2 B = {{a}, {b}, {a, b}, ∅}, f ({a}) = −1, f ({b}) =

1, f ({a, b}) = 1, f (∅) = 0

Probabilidad y Estadı́stica - 2013 Unidad 1
 Conjuntos
Medidas

Propiedades de la Medida

Sea A una σ- álgebra de conjuntos, f : A → R una medida

numerablemente aditiva. A, B, A1 , A2 , A3 , . . . , An , . . . ∈ A,
n = 1, 2, 3, . . ..
Se verifican las siguientes propiedades:
1 f (∅) = 0
2 Si A ⊆ B entonces f (B − A) = f (B) − f (A)
3 Si A ⊆ B entonces f (A) ≤ f (B)
Si A1 , A2 , . . . An son disjuntos de a pares, entonces f ( ni=1 Ai ) = ni=1 f (Ai ).
S P
4

5 Dados A, B cualesquiera, f (A) = f (A − B) + f (A ∩ B)

6 Dados A, B cualesquiera, f (A ∪ B) = f (A − B) + f (B − A) + f (A ∩ B)
7 Dados A, B cualesquiera, f (A ∪ B) = f (A) + f (B) − f (A ∩ B)
8 f (A1 ∪ A2 ∪ . . . An ) = f (A1 ) + f (A2 ) + . . . + f (An ) − f (A1 ∩ A2 ) − f (A1 ∩
A3 ) − . . . − f (An−1 ∩ An ) + . . . + (−1)n+1 f (A1 ∩ A2 ∩ . . . ∩ An ), cualesquiera
sean A1 , A2 , . . . , An .

Probabilidad y Estadı́stica - 2013 Unidad 1