Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Conjuntos equipotentes
Conjuntos equipotentes
CM-1A2A LÓGICA Y TEORÍA DE CONJUNTO
Conjuntos equipotentes Conjuntos finitos e infinitos
Conjuntos equipotentes
Definición
El conjunto X es equipotente al conjunto Y si existe una función
f : X → Y biyectiva, lo que se denota por X ∼ Y ,
Ejemplo
El conjunto P = {2n : n ∈ N} es numerable, ya que podemos
definir la función f : N → P, definida por f (n) = 2n para todo
n ∈ N, el cual es facil de probar que es biyectiva. Luego,
concluimos que P ∼ N.
Se concluye que:
“Hay tantos números pares como números naturales”, lo mismo se
Universidad Nacional de Ingeniería
puede decir de los números impares. Facultad de Ciencias
Conjuntos equipotentes
CM-1A2A LÓGICA Y TEORÍA DE CONJUNTO
Conjuntos equipotentes Conjuntos finitos e infinitos
Ejemplo
Z ∼ N.
Demostración:
Consideremos la función f : N → Z definida por:
Conjuntos equipotentes
CM-1A2A LÓGICA Y TEORÍA DE CONJUNTO
Conjuntos equipotentes Conjuntos finitos e infinitos
n, m son pares:
n m
f (n) = f (m) → = → n = m.
2 2
n, m son impares:
(n − 1) (m − 1)
f (n) = f (m) → − =− → n = m.
2 2
n es par, m es impar:
n (m − 1)
f (n) = f (m) → =− → |{z}
n = −(m − 1) .
2 2 +
| {z }
∈Z ∈Z− ∪{0}
anterior.
Conjuntos equipotentes
CM-1A2A LÓGICA Y TEORÍA DE CONJUNTO
Conjuntos equipotentes Conjuntos finitos e infinitos
• f sobreyectiva: Se cumple
f (N) = {f (x)/n ∈ N} ⊂ Z.
Veamos la otra inclusión:
Sea n ∈ Z, se tiene los siguientes casos:
n ∈ Z+ :
Consideremos m = 2n ∈ N. Se cumple:
2n
f (m) = f (2n) = = n → n ∈ f (N).
2
n ∈ Z− :
Consideremos m = −2n + 1 ∈ N. Se cumple:
(−2n + 1) − 1
f (m) = f (−2n + 1) = − = n → n ∈ f (N).
2
n = 0:
Para m = 1 se tiene f (m) = n. Luego, n ∈ f (N). Universidad Nacional de Ingeniería
Facultad de Ciencias
Ejemplo
N×N∼N
Demostración:
Considere la función f : N × N → N definir como:
1
f (j, k) = (j + k − 1)(j + k − 2) + j.
2
Se puede probar que es f es biyección.
Conjuntos equipotentes
CM-1A2A LÓGICA Y TEORÍA DE CONJUNTO
Conjuntos equipotentes Conjuntos finitos e infinitos
Observación
La relación entre conjuntos definida por X ∼ Y es una relación de
equivalencia sobre la clase de conjuntos.
Ejemplo
Si S ∼ T y U ∼ V , entonces S × U ∼ T × V .
Demostración:
Por hipótesis S ∼ T y U ∼ V , entonces existen funciones
biyectivas f : S → T y g : U → V .
Definimos la función h : S × U → T × V como
Conjuntos equipotentes
CM-1A2A LÓGICA Y TEORÍA DE CONJUNTO
Conjuntos equipotentes Conjuntos finitos e infinitos
• h inyectiva:
Sean (s, u), (s 0 , u 0 ) ∈ S × U tal que
f (s) = f (s 0 ) ∧ g (u) = g (u 0 )
Por ser f y g biyectivas, son inyectivas. Por lo tanto, u = u 0 y
s = s 0 , entonces (u, s) = (u 0 , s 0 ).
• h es sobreyectiva:
Por definición de h, se tiene que
h(S × U) ⊂ T × V
Conjuntos equipotentes
CM-1A2A LÓGICA Y TEORÍA DE CONJUNTO
Conjuntos equipotentes Conjuntos finitos e infinitos
Conjuntos equipotentes
CM-1A2A LÓGICA Y TEORÍA DE CONJUNTO
Conjuntos equipotentes Conjuntos finitos e infinitos
Conjuntos finitos
In = {k ∈ N : k ≤ n}.
Teorema
Sea A ⊂ In no vació. Si In ∼ A, entonces A = In .
Demostración:
La prueba se hace por inducción sobre n.
Conjuntos equipotentes
CM-1A2A LÓGICA Y TEORÍA DE CONJUNTO
Conjuntos equipotentes Conjuntos finitos e infinitos
n = 1:
Sean A ⊂ I1 y f : I1 → A biyección, entonces
A = {f (1)} ⊂ I1 = {1} → A = I1 .
Conjuntos equipotentes
CM-1A2A LÓGICA Y TEORÍA DE CONJUNTO
Conjuntos equipotentes Conjuntos finitos e infinitos
Corolario
Sean m y n números naturales tales que Im ∼ In . Entonces, m = n
Demostracón:
Sean m y n números naturales, sin perdida de generalidad podenos
suponer que m ≤ n, entonces Im ⊂ In .
Considerando A = Im ⊂ In , y por hipótesis A ∼ In , por el teorema
anterior se tiene que A = In , es decir Im ∼ In . Por lo tanto, m = n.
Conjuntos equipotentes
CM-1A2A LÓGICA Y TEORÍA DE CONJUNTO
Conjuntos equipotentes Conjuntos finitos e infinitos
Definición
Un conjunto X es finito cuando, o bien X = ∅, o bien existe n ∈ N
tal que X ∼ In .
Conjuntos equipotentes
CM-1A2A LÓGICA Y TEORÍA DE CONJUNTO
Conjuntos equipotentes Conjuntos finitos e infinitos
Corolario
No existe una función biyectiva f : X → Y de un conjunto finito X
sobre un subconjunto propio Y ⊂ X (denotado por Y ( X ).
Demostración:
Probemos por contradicción, supongamos que existe una función
biyectiva f : X → Y .
Como X es finito existe n ∈ N y ϕ : In → X biyección.
Desde que Y ( X se tiene que A = ϕ−1 (Y ) ( ϕ−1 (X ) = In .
Además, ϕ0 = ϕ|A : A → Y es biyectiva.
Luego, la función g = (ϕ0 )−1 ◦ f ◦ ϕ : In → A
XO
f /Y
O es biyectiva, entonces A ∼ In , por el teorema
ϕ ϕ0 anterior A = In lo cual es una contradicción,
g
/A pues A es un subconjunto propio de In . Universidad Nacional de Ingeniería
In Facultad de Ciencias
Conjuntos equipotentes
CM-1A2A LÓGICA Y TEORÍA DE CONJUNTO
Conjuntos equipotentes Conjuntos finitos e infinitos
Observación
Notemos que:
Y 6⊂ X ≡ ¬(Y ⊂ X ), se tiene que:
¬[∀x(x ∈ Y → x ∈ X )] ≡ ∃x[¬(x ∈ Y → x ∈ X )]
≡ ∃x[x ∈ Y ∧ x 6∈ X ]
Y ( X ≡ (Y ⊂ X ) ∧ (Y 6= X ) ≡ (Y ⊂ X ) ∧ (X 6⊂ Y ), se
tiene que
(∀x[x ∈ Y → x ∈ X ]) ∧ (∃x[x ∈ X ∧ x 6∈ Y ])
Conjuntos equipotentes
CM-1A2A LÓGICA Y TEORÍA DE CONJUNTO
Conjuntos equipotentes Conjuntos finitos e infinitos
Teorema
Si X es un conjunto finito entonces todo subconjunto
Y ⊂ X es finito y |Y | ≤ |X |.
Demostración:
Probemos lo siguiente:
Afirmación: Si n ∈ N, todo subconjunto Y de In es finito y
|Y | ≤ |In |.
Probaremos por inducción sobre n que se cumple la propiedad.
Conjuntos equipotentes
CM-1A2A LÓGICA Y TEORÍA DE CONJUNTO
Conjuntos equipotentes Conjuntos finitos e infinitos
1 ∈ X:
Los únicos subconjuntos de I1 son Y = ∅ ó Y = I1 , en ambos
casos se tiene que Y es finito y |Y | ≤ |I1 |.
HI. n ∈ X :
Es decir, que cualquier subconjunto Y de In es finito y |Y | ≤ |In |.
Conjuntos equipotentes
CM-1A2A LÓGICA Y TEORÍA DE CONJUNTO
Conjuntos equipotentes Conjuntos finitos e infinitos
Demostración:
Vemos que f define una biyección f : X → f (X ).
Como f (X ) ⊂ Y e Y es finito, entonces f (X ) es finito y
|f (X )| ≤ |Y |. Como f es biyectiva |X | = |f (X )|, entonces
|X | ≤ |Y |. Universidad Nacional de Ingeniería
Facultad de Ciencias
Conjuntos equipotentes
CM-1A2A LÓGICA Y TEORÍA DE CONJUNTO
Conjuntos equipotentes Conjuntos finitos e infinitos
Corolario
Sea g : X → Y una función sobreyectiva. Si X es finito entonces
Y también lo es. Además, |Y | ≤ |X |.
Demostración:
Como g : X → Y es sobreyectiva, entonces posee una inversa a
derecha f : Y → X tal que g ◦ f = IdY .
Lo que implica que g es inversa a izquierda de f , por lo que f es
inyectiva. Desde que X es finito y por el corolario 2.7 se tiene que
Y es finito y |Y | ≤ |X |.
Conjuntos equipotentes
CM-1A2A LÓGICA Y TEORÍA DE CONJUNTO
Conjuntos equipotentes Conjuntos finitos e infinitos
Teorema
Las siguientes proposiciones son equivalentes:
1 |X | ≤ |Y |
2 Existe una función inyectiva f : X → Y .
3 X = ∅ o existe una función sobreyectiva g : Y → X .
Demostración:
Vemos que:
1) → 2): Como |X | ≤ |Y |, entonces existen n, m ∈ N con n ≤ m y
las biyecciones f : X → In y g : Im → Y .
Luego, la función g ◦ f : X → Y es inyectiva.
Universidad Nacional de Ingeniería
Facultad de Ciencias
Conjuntos equipotentes
CM-1A2A LÓGICA Y TEORÍA DE CONJUNTO
Conjuntos equipotentes Conjuntos finitos e infinitos
el cual es sobreyectiva.
3) → 1): vemos los casos:
Si X = ∅ ⊆ Y , entonces |Y | ≥ 0 = |∅|.
Si X 6= ∅ y g : Y → X sobreyectiva, para cada x ∈ X elegimos
yx ∈ g −1 ({x}). Luego, definimos f : X → Y talque f (x) = yx ,
esta función es inyectiva. Por lo tanto, |X | = |f (X )| ≤ |Y |.
Universidad Nacional de Ingeniería
Facultad de Ciencias
Conjuntos equipotentes
CM-1A2A LÓGICA Y TEORÍA DE CONJUNTO
Conjuntos equipotentes Conjuntos finitos e infinitos
Teorema (Cantor-Schröder-Bernstein)
Si X y Y son conjuntos tales que |X | ≤ |Y | y |Y | ≤ |X |, entonces
|X | = |Y | .
Demostración:
Por hipótesis del teorema se tiene que: |X | ≤ |Y | y |Y | ≤ |X |
entonces existen una funciones inyectiva f : X → Y y g : Y → X .
Luego, la función g ◦ f : X → X es inyectiva y |X | = |g ◦ f (X )|.
Además, g ◦ f (X ) ⊆ g (Y ) ⊆ X , lo que implica que |g (Y )| = |X |.
Por otro lado, |Y | = |g (Y )|. Lo que implica que |X | = |Y |.
Conjuntos equipotentes
CM-1A2A LÓGICA Y TEORÍA DE CONJUNTO
Conjuntos equipotentes Conjuntos finitos e infinitos
Teorema
Si X e Y son conjuntos finitos disjuntos, con m y n elementos
respectivamente, entonces X ∪ Y es finito y posee m + n
elementos, es decir:
|X ∪ Y | = |X | + |Y |
.
Demostración:
Por ser X e Y finitos con m y n elementos respectivamente,
existen ψ : Im → X , φ : In → Y funciones biyectivas.Definamos las
función ϕ : In+m → X ∪ Y definida como
(
ψ(x), si 1 ≤ x ≤ m
ϕ(x) =
φ(x − m), si m + 1 ≤ x ≤ n + m. Universidad Nacional de Ingeniería
Facultad de Ciencias
Corolario
Sean X1 , · · · , Xk conjuntos finitos y disjuntos dos a dos, con
m1 , · · · , mk elementos respectivamente. Entonces
X1 ∪ X2 ∪ · · · ∪ Xk es finito y posee m1 + m2 + · · · + mk elementos,
es decir:
Conjuntos equipotentes
CM-1A2A LÓGICA Y TEORÍA DE CONJUNTO
Conjuntos equipotentes Conjuntos finitos e infinitos
Corolario
Sean Y1 , Y2 , · · · , Yk conjuntos finitos (no necesariamente
disjuntos) con m1 , m2 , · · · , mk elementos respectivamente.
Entonces Y1 ∪ Y2 ∪ · · · Yk es finito y posee como máximo
m1 + m2 + · · · + mk elementos. Es decir:
Demostración:
Definimos para cada i + 1, 2, · · · , k los conjuntos
Conjuntos equipotentes
CM-1A2A LÓGICA Y TEORÍA DE CONJUNTO
Conjuntos equipotentes Conjuntos finitos e infinitos
Conjuntos equipotentes
CM-1A2A LÓGICA Y TEORÍA DE CONJUNTO
Conjuntos equipotentes Conjuntos finitos e infinitos
Proposición
Si X e Y son conjuntos finitos con m y n elementos, entonces
X × Y es finito y posee m · n elementos, es decir:
|X × Y | = |X | · |Y |.
Demostración:
Como Y es finito y posee n elementos, podemos escribir
Y = {y1 , y2 , · · · , yn }. Además,
X × Y = X1 ∪ X2 ∪ · · · ∪ Xn
donde Xi = X × {yi }, i = 1, 2, · · · , n.
Afirmación: Los Xi son disjuntos dos a dos y poseen m elementos. Universidad Nacional de Ingeniería
Facultad de Ciencias
Corolario
Sean X1 , · · · , Xk conjuntos finitos con m1 , m2 , · · · , mk elementos
respectivamente. El producto cartesiano X1 × X2 × · · · × Xk es
finito y posee m1 · m2 · · · · mk elementos.
Conjuntos equipotentes
CM-1A2A LÓGICA Y TEORÍA DE CONJUNTO
Conjuntos equipotentes Conjuntos finitos e infinitos
|X ∪ Y | = |X | + |Y | − |X ∩ Y |.
|X ∪ Y | = |X \ Y | + |X ∩ Y | + |Y \ X | = |X | + |Y | − |X ∩ Y |. Facultad de Ciencias
Conjuntos equipotentes
CM-1A2A LÓGICA Y TEORÍA DE CONJUNTO
Conjuntos equipotentes Conjuntos finitos e infinitos
Tarea:
Resuelva:
1 Si A es un conjunto no vacı́o y existe un natural n y una
aplicación inyectiva de A en In , entonces A es finito.
2 Si A es un conjunto no vacı́o y existe un natural n y una
aplicación sobreyectiva de In en A, entonces A es finito.
3 Si X , Y y Z son conjuntos finitos, entonces
Conjuntos equipotentes
CM-1A2A LÓGICA Y TEORÍA DE CONJUNTO
Conjuntos equipotentes Conjuntos finitos e infinitos
Tarea:
1 Pruebe el principio de inclusión- exclusión generalizado: Si
X1 , X2 , · · · , Xk son conjuntos finitos, entonces
|X1 ∪ X2 ∪ · · · ∪ Xk | = a1 − a2 + a3 − · · · + (−1)k−1 ak ,
Conjuntos equipotentes
CM-1A2A LÓGICA Y TEORÍA DE CONJUNTO
Conjuntos equipotentes Conjuntos finitos e infinitos
Teorema
Si X es infinito, entonces |X | ≥ |In | para todo n ∈ N.
Demostración:
Sea X infinito. La prueba sera por inducción sobre n.
Definamos el conjunto inductivo.
Y = {n ∈ N/|X | ≥ |In |}
• 1 ∈ Y:
Como X es infinito, X 6= ∅, entonces:
|X | > 0 → |X | ≥ 1 = |I1 | → 1 ∈ Y .
• HI n ∈ Y :
Es decir que |X | ≥ |In |. Luego existe una función inyectiva Universidad Nacional de Ingeniería
Facultad de Ciencias
f : In → X .
Conjuntos equipotentes
CM-1A2A LÓGICA Y TEORÍA DE CONJUNTO
Conjuntos equipotentes Conjuntos finitos e infinitos
Afirmacion: f (In ) ( X .
Sabemos que f (In ) ⊂ X , si f (In ) = X entonces f es sobreyectiva
por lo que X será finito, lo cual es una contradicción, pues X es
infinito.
Como f (In ) ( X existe x ∈ X \ f (X ). Definamos g : In+1 → X ,
como (
i, para 1 ≤ i ≤ n
g (i) = ,
x, si i = n
el cual es inyectiva. Por lo tanto, |X | ≥ n + 1 = |In+1 |.
Por lo tanto, n + 1 ∈ Y . Por el PIM se tiene que |Y | = N.
Por lo que la propiedad se cumple para todo n ∈ N.
Universidad Nacional de Ingeniería
Facultad de Ciencias
Conjuntos equipotentes
CM-1A2A LÓGICA Y TEORÍA DE CONJUNTO
Conjuntos equipotentes Conjuntos finitos e infinitos
Conjuntos equipotentes
CM-1A2A LÓGICA Y TEORÍA DE CONJUNTO
Conjuntos equipotentes Conjuntos finitos e infinitos
Tarea:
1 Sea la función f : X → Y . entonces se cumplen las siguientes
propiedades:
a) Si X es un conjunto infinito y f es una aplicación inyectiva,
entonces Y también es un conjunto infinito.
b) Si Y es un conjunto infinito y f es una aplicación sobreyectiva,
entonces X también es un conjunto infinito.
Conjuntos equipotentes
CM-1A2A LÓGICA Y TEORÍA DE CONJUNTO