Está en la página 1de 37

Conjuntos equipotentes Conjuntos finitos e infinitos

CM-1A2A LÓGICA Y TEORÍA DE CONJUNTO

Conjuntos equipotentes

August 27, 2020

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

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:

f (n) = n/2, n es par ; f (n) = −(n − 1)/2, n es impar.

Veamos que f es biyectiva.


• f inyectiva:
Sean n, m ∈ N tal que f (n) = f (m). Luego, se tiene los siguientes
casos:
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

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}

esta contradicción implica que este caso no se da.


n es impar, m es par, tampoco se da este caso, análogo al Universidad Nacional de Ingeniería
Facultad de Ciencias

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

En todos los casos se tiene que n ∈ f (N). Por lo tanto, Z ⊂ f (N).


Conjuntos equipotentes
CM-1A2A LÓGICA Y TEORÍA DE CONJUNTO
Conjuntos equipotentes Conjuntos finitos e infinitos

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.

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

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

h(s, u) = (f (s), g (u)), (s, u) ∈ S × U.


Universidad Nacional de Ingeniería

Veamos que h es biyectiva. Facultad de Ciencias

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

h(s, u) = h(s 0 , u 0 ) → (f (s), g (u)) = (f (s 0 ), g (u 0 ))

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

Veamos la otra inclusió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

Sea (t, v ) ∈ T × V . Por ser f y g biyectivas, son sobreyectivas.


Para t ∈ T existe s ∈ S tal que t = f (s) y para v ∈ V existe
u ∈ U tal que v = g (u).
Consideremos (s, v ) ∈ S × V , vemos que

h(s, v ) = (f (s), g (v )) = (t, v )

Lo que implica que (t, v ) ∈ h(S × U).


Por lo tanto, T × V ⊂ h(S × U).
Entonces, h(S × U) = T × V .
Por ser h inyectiva y sobreyectiva se tiene que h es biyectiva, lo
que implica:
S × U ∼ T × V.
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 finitos

Para cada número natural n consideramos el conjunto

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.

X = {n ∈ N/Sea A ⊂ In no vació . Si In ∼ A, entonces A = In }


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

 n = 1:
Sean A ⊂ I1 y f : I1 → A biyección, entonces

A = {f (1)} ⊂ I1 = {1} → A = I1 .

 HI: n ∈ X (si existe una biyección de entre In y un conjunto no


vació A, entonces A = In ).
Sean A ⊂ In+1 no vació y f : In+1 → A biyección. Denotemos por
a = f (n + 1) y la función restricción f |In : In → A \ {a} el cual
también es una biyecció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

Tenemos los siguientes casos:


Si A \ {a} ⊂ In , por hipótesis inductiva A \ {a} = In , lo que
implica que a = n + 1 y A = In+1 .
Si A \ {a} 6⊂ In ), entonces n + 1 ∈ A \ {a}, por ser f biyectiva,
existe p ∈ In+1 tal que f (p) = n + 1. Definimos g : In+1 → A
como: 
f (x), x 6= p ∧ x 6= n + 1

g (x) = a, x =p

n + 1, x = n + 1

el cual es una biyección, cuya restricción


g |In : In → A \ {n + 1} es biyección y A \ {n + 1} ⊂ In , por la
hipótesis inductiva A \ {n + 1} = In , por lo que A = In+1 .
En ambos casos se tiene que n + 1 ∈ X . Universidad Nacional de Ingeniería
Facultad de Ciencias

Por el PIM se tiene X = N.


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.

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

Definición
Un conjunto X es finito cuando, o bien X = ∅, o bien existe n ∈ N
tal que X ∼ In .

En este caso diremos que X tiene n elementos o que el número


cardinal de X es n y denotamos |X | = ](X ) = n.
Por convención el conjunto vacı́o tiene 0 elementos.
Definición
Un conjunto X es infinito si no es finito.

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
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 ])

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
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.

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

Sea el conjunto inductivo:

X = {n ∈ N/ Si Y ⊂ In , entonces Y es finito ∧ |Y | ≤ |In |}.

 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 |.

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

Sea Y ⊂ In+1 . Luego, se tiene los siguientes casos:


Si n + 1 6∈ Y , entonces Y ⊂ In , por hipótesis inductiva Y es
finito y |Y | ≤ |In | ≤ |In+1 |. Luego, n + 1 ∈ X .
Si n + 1 ∈ Y , entonces Y \ {n + 1} ⊂ In .
Luego, Y \ {n + 1} es finito, por lo que existe p ∈ N y
φ : Ip → Y \ {n + 1} biyección con p ≤ n.
Definimos la biyección ϕ : Ip+1 → Y , donde
(
φ(x), para x ∈ Ip
ϕ(x) = .
n + 1, x = p + 1

Luego, Y es finito y |Y | = |Ip+1 |. Como p ≤ n, entonces


p + 1 ≤ n + 1. Por lo tanto, |Y | ≤ |In+1 |. Luego, n + 1 ∈ X .
En ambos casos se tiene que n + 1 ∈ X . Universidad Nacional de Ingeniería
Facultad de Ciencias

Por el PIM se tiene que X = N.


Conjuntos equipotentes
CM-1A2A LÓGICA Y TEORÍA DE CONJUNTO
Conjuntos equipotentes Conjuntos finitos e infinitos

Por ser X finito, existe n ∈ N y f : X → In biyección por lo que


|X | = |In |. Como Y ⊂ X , entonces f (Y ) ⊂ f (X ) = In .
Por la afirmación f (Y ) es finito y |f (Y )| ≤ |In |.
Por ser f : Y → f (Y ) biyectiva y f (Y ) finito, se tiene que
|Y | = |f (Y )|. Luego, |Y | ≤ |X |.
Corolario
Sea f : X → Y una función inyectiva. Si Y es finito entonces X
también lo sera. Además. |X | ≤ |Y |.

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 |.

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
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

2) → 3): Sea X 6= ∅, entonces existe a ∈ X y por hipótesis existe


f : X → Y inyectiva, definamos la función g ; Y → X como:
(
f −1 (x), x ∈ f (X )
g (x) =
a, x ∈ Y \ f (X )

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 |.

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
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

Como X ∩ Y = ∅ la función ϕ es biyectiva. (ejercicio)


Conjuntos equipotentes
CM-1A2A LÓGICA Y TEORÍA DE CONJUNTO
Conjuntos equipotentes Conjuntos finitos e infinitos

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:

|X1 ∪ X2 ∪ · · · ∪ Xk | = |X1 | + |X2 | + · · · + |Xk |

Demostración: La demostración del teorema se prueba usando


inducción sobre k, aplicando el teorema 2.11. Ejercicio. 

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
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:

|Y1 ∪ Y2 ∪ · · · Yk | ≤ |Y1 | + |Y2 | + · · · + |Yk |

Demostración:
Definimos para cada i + 1, 2, · · · , k los conjuntos

Xi = {(x, i)/x ∈ Yi } = Yi × {i}


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

Afirmación 1: Xi es finito y |Xi | = mi , i = 1, 2, · · · , k.


Afirmación 2: Los Xi son disjuntos dos a dos.
Por el corolario 2.12 el conjunto X1 ∪ X2 ∪ · · · ∪ Xk es finito y
posee m1 + m2 + · · · mk elementos.
Definimos la función f : X1 ∪ X2 ∪ · · · ∪ Xk → Y1 ∪ Y2 ∪ · · · Yk
como f (x, i) = x.
Afirmación 3: f es sobreyectiva. (ejercicio)
Por corolario 2.8 se tiene que el conjunto Y1 ∪ Y2 ∪ · · · Yk es finito
y posee a lo mas m1 + m2 + · · · mk elementos.

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

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

Se concluye que X × Y es finito y posee m + m + · · · + m = m · n.


Conjuntos equipotentes
CM-1A2A LÓGICA Y TEORÍA DE CONJUNTO
Conjuntos equipotentes Conjuntos finitos e infinitos

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.

Demostración: Se prueba por inducción sobre k. 

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

Proposición (Principio de inclusión- exclusión)


Si X e Y son conjuntos finitos, entonces

|X ∪ Y | = |X | + |Y | − |X ∩ Y |.

Demostración: Vemos que:


X = (X \ Y ) ∪ (X ∩ Y ) → |X | = |X \ Y | + |X ∩ Y |
Y = (Y \ X ) ∪ (X ∩ Y ) → |Y | = |Y \ X | + |X ∩ Y |
Por lo que X ∪ Y se puede escribir como unión disjunta dos a dos
de:
X ∪ Y = (X \ Y ) ∪ (X ∩ Y ) ∪ (Y \ X ),
Luego:
Universidad Nacional de Ingeniería

|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

|X ∪Y ∪Z | = |X |+|Y |+|Z |−|X ∩Y |−|X ∩Z |−|Y ∩Z |+|X ∩Y ∩Z |.

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

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 ,

donde ai es la suma de los cardinales de todas las i


intersecciones de X1 , X2 , · · · , Xk .

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
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

Otra forma alternativa es la siguiente:

Demostración: Por reducción al absurdo (PRA):


Supongamos que existe n0 ∈ N tal que |X | < |In0 |. Luego, existe
f : X → In0 inyectiva, por el teorema 2.9 y por ser In0 finito se
tiene que X es finito, lo cual es una contradicció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

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.

Universidad Nacional de Ingeniería


Facultad de Ciencias

Conjuntos equipotentes
CM-1A2A LÓGICA Y TEORÍA DE CONJUNTO

También podría gustarte