Unidad 1 Conjuntos Coordinables
Unidad 1 Conjuntos Coordinables
Unidad 1 Conjuntos Coordinables
Medidas
Unidad 1
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.
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.
1 Z,
2 N,
3 A = {n ∈ N/ n ≤ 100},
4 B = {n ∈ N/ n ≥ 3},
5 C = {3, 6, 9}
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.
Clases o Familias
σ Algebra
Función de Conjuntos
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}, ∅},
Propiedades de la Medida