includegraphics[width=paperwidth]USCO.

eps

CONJUNTOS
FINITOS E
INFINITOS

CONJUNTOS FINITOS E INFINITOS

Profesor Mauricio Penagos

Universidad Surcolombiana
25 de agosto de 2016

includegraphics[width=paperwidth]USCO.eps

CONJUNTOS FINITOS E INFINITOS

CONJUNTOS
FINITOS E
INFINITOS

Se establecer la diferencia entre conjunto nito y conjunto

innito, as como tambin entre conjunto enumerable y no
enumerable, todo teniendo como base el conjunto N de los
nmeros naturales.

includegraphics[width=paperwidth]USCO.eps

NMEROS NATURALES

CONJUNTOS
FINITOS E
INFINITOS

El conjunto N de los nmeros naturales se caracteriza por los

llamados Axiomas de Peano:
A1 : Existe una funcin inyectiva
S : N N
n 7 s(n)

La imagen s(n) se llama el sucesor del nmero n N.

A2 : Existe un nico nmero natural 1 N, tal que, n N,
1 6= s(n).
A3 : Si un conjunto X N es tal que 1 X , y si
s(X) X , entonces X = N.

Este ultimo axioma es conocido como el principio de

induccin matemtica (PIM).

includegraphics[width=paperwidth]USCO.eps

CONJUNTOS
FINITOS E
INFINITOS

EJEMPLO:

Supngase que p(n) signica que la propiedad p se cumple

para el nmero natural n. Entonces el PIM permite armar
que p(n) es verdadero para todos los nmeros naturales n,
siempre que
1) p(1) es verdadero
2) Si p(k) es verdad, tambin lo es p(s(k)) = p(k + 1)

includegraphics[width=paperwidth]USCO.eps

CONJUNTOS
FINITOS E
INFINITOS

ILUSTRACIN

Suma de los primeros n nmeros naturales.

p(n) : 1 + 2 + 3 + ... + n =

En efecto,
p(1) = 1 =

n(n + 1)
2

1(1 + 1)
2
= =1
2
2

Supngase ahora que para algn k N, es cierto que

p(k) : 1 + 2 + 3 + ... + k =

k(k + 1)
,
2

includegraphics[width=paperwidth]USCO.eps

CONJUNTOS
FINITOS E
INFINITOS

entonces:
p(k + 1) : 1 + 2 + 3 + ... + k + (k + 1) =

k(k + 1)
+ (k + 1)
2

k 2 + 3k + 2
(k + 1)(k + 2)
k(k + 1) + 2k + 2
=
=
2
2
2
De manera que la frmula es tambin vlida para k + 1, y en
virtud del PIM la frmula es vlida n N.
=

includegraphics[width=paperwidth]USCO.eps

TEOREMA

CONJUNTOS
FINITOS E
INFINITOS

(PRINCIPIO DE BUENA ORDENACIN).

Todo conjunto no vaco A N, posee un elemento que es el

menor de todos, esto es un n0 A tal que n0 < n, n A

includegraphics[width=paperwidth]USCO.eps

CONJUNTOS
FINITOS E
INFINITOS

Demostracin.
Primera Forma (Por contradiccin a partir del PIM)

Supongamos que 6= A N no tiene elemento mnimo.

Sea B = {1, 2, ..., n} N tal que x B x
/ A. Es claro
que 1 B (pues si 1 A, ese sera su elemento mnimo).
Adems, si 1, 2, ..., k no estn en A, evidentemente
k+1
/ A (de otro modo k + 1 sera el elemento mnimo de
A), de manera que 1, 2, ..., k + 1 no est ninguno en A. De
esto se sigue que si k B k + 1 B , en consecuencia
todo nmero n N est en B , es decir, los nmeros
1, 2, ..., n no estn en A cualquiera que sea el nmero
natural. As A = , lo cual contradice la hiptesis A 6= y
as concluye la demostracin.

includegraphics[width=paperwidth]USCO.eps

CONJUNTOS
FINITOS E
INFINITOS

Segunda Forma (Analtica)

Sea 6= A N y adems In = {x N; x n}. Si 1 A,

entonces 1 ser el menor elemento de A por el axioma 2 de
Peano. Si 1
/ A, entonces consideremos el conjunto
X = {n N/In N A}. Como I1 = {1} N A,
entonces 1 X . Por otro lado como A 6= , se concluye que
X 6= N. Luego, debe existir n X tal que n + 1
/ X.
Entonces In = {1, 2, ..., n} N A; pero como n + 1
/ X,
entonces In+1 = {1, 2, 3, ..., n, n + 1} * N A; luego
n + 1 A. Por lo tanto no = n + 1, es el menor elemento
del conjunto A.

includegraphics[width=paperwidth]USCO.eps

CONJUNTOS FINITOS

CONJUNTOS
FINITOS E
INFINITOS

DEFINICIN

Un conjunto X es nito cuando es vaco o cuando existe

n N y una biyeccin f : In X . Escribiendo
x1 = f (1), x2 = f (2), ..., xn = f (n) se tiene que
X = {x1 , x2 , ..., xn } pues f es sobreyectiva por ser biyectiva.
La biyeccin se llama un conteo de los elementos de X y el
nmero n se llama el nmero de elementos de X o nmero
cardinal del conjunto nito X .

includegraphics[width=paperwidth]USCO.eps

CONJUNTOS
FINITOS E
INFINITOS

LEMA:

Si existe una biyeccin f : X Y entonces, dados a X y

b Y , existe tambin una biyeccin g : X Y tal que
g(a) = b
Demostracin

Sea c = f (a). Como f es sobreyectiva, existe p X tal que

f (p) = b.
Denimos g : X Y de manera que g(a) = b, g(p) = c y
g(x) = f (x) si x (X {a, p}). La funcin g as denida es
una biyeccin.

includegraphics[width=paperwidth]USCO.eps

CONJUNTOS FINITOS

CONJUNTOS
FINITOS E
INFINITOS

TEOREMA 1

Un conjunto nito no es equivalente a ninguno de sus

subconjuntos propios. Es decir, si A In es un subconjunto
propio no vaco de In , no puede existir una biyeccin
f : A In .

includegraphics[width=paperwidth]USCO.eps

CONJUNTOS FINITOS

CONJUNTOS
FINITOS E
INFINITOS

Demostracin
(Por reduccin al absurdo)

Sea n0 N el menor nmero natural por el cual A es

subconjunto propio de In0 y existe una biyeccin
f : A In0 . Si n0 A, entonces por el Lema anterior,
existe una biyeccin g : A In0 con g(n0 ) = n0 . En este
caso la retriccin de g al conjunto A {n0 } es una biyeccin
del subconjunto propio A {n0 } en In0 1 , lo que contradice
la minimalidad de n0 . Si por el contrario n0
/ A, entonces
tomamos a A con f (a) = n0 , la restriccin de f al
subconjunto propio A {a} In0 1 , ser una biyeccin
sobre In0 1 , lo que nuevamente contradice la minimalidad de
n0 .

includegraphics[width=paperwidth]USCO.eps

CONJUNTOS
FINITOS E
INFINITOS

Corolario 1

Si f : Im X y g : In X son biyecciones, entonces

m = n.
Demostracin

Im seria un subconjunto propio de In y segn el Teorema

anterior no puede existir la biyeccin h : Im In .
Por otro lado, g 1 f : Im In es una biyeccin, pues es

composicin de biyecciones. Anlogamente se demuestra que

no es posible n < m. Luego m = n.

includegraphics[width=paperwidth]USCO.eps

CONJUNTOS
FINITOS E
INFINITOS

Corolario 2

Sea X un conjunto nito. Una aplicacin f : X X es

inyectiva, si y slo si es sobreyectiva.
Demostracin

() Como X es nito, existe una biyeccin, : In X . La

aplicacin f : X X es inyectiva o sobreyectiva, si y
solamente si, 1 f : In In lo es. Luego podemos
considerar f : In In . Si f fuera inyectiva entonces
poniendo A = f (In ), tendremos una biyeccin f 1 : A In .
Como lo dene el Teorema 1, A = In y f es sobreyectiva.

includegraphics[width=paperwidth]USCO.eps

CONJUNTOS
FINITOS E
INFINITOS

() Recprocamente. Si f fuera sobreyectiva entonces, para

cada x In , podemos escoger y = g(x) In , tal que
f (y) = x. Esto dene una aplicacin g : In In , tal que
f (g(x)) = x para todo x In , entonces g es inyectiva y por
lo que acabamos de probar, g es sobreyectiva. As, si
y1 , y2 In sea tales que f (y1 ) = f (y2 ) tomamos x1 , x2 In
con g(x1 ) = y1 , g(x2 ) = y2 y tenemos
x1 = f (g(x1 )) = f (x1 ) = f (x2 ) = f (g(x2 )) = x2 donde
y1 = g(x1 ) = g(x2 ) = y2 luego f es inyectiva.

includegraphics[width=paperwidth]USCO.eps

CONJUNTOS
FINITOS E
INFINITOS

Corolario 3

No puede existir una biyeccin f : X Y de un conjunto

nito X sobre uno de sus subconjuntos propios Y X .
Demostracin

Es consecuencia directa del Teorema 1.

includegraphics[width=paperwidth]USCO.eps

CONJUNTOS
FINITOS E
INFINITOS

Teorema 2

Todo subconjunto de un conjunto nito es nito.

Demostracin

Si X = , no hay nada que demostrar, pues es un

conjunto nito. Si X 6= y a X entonces X {a} es
tambin nito. Sea X nito, existe una biyeccin f : In X
y en virtud del Lema se puede suponer que f (n) = a. Luego
si n = 1, entonces X {a} = que es nito.
Si n > 1, la restriccin de f a In1 es una biyeccin sobre
X {a}. As X {a} es nito y tiene n 1 elementos. El
caso general se prueba por induccin sobre el nmero n de
elementos de X como sigue:

includegraphics[width=paperwidth]USCO.eps

CONJUNTOS
FINITOS E
INFINITOS

i) Para n = 1, es trivial; Pues los subconjuntos de X son y

X es nito.
ii)

Supongamos que el resultado es vlido para conjuntos con

n elementos y sea X un conjunto con n + 1 elementos e Y

un subconjunto de X . Si Y = X , Y es nito puesto que X
es nito. Si Y X , existe a X tal que a
/ Y . Luego
Y X (a) y como X (a) tiene n elementos, sigue que
Y es nito por hiptesis de induccin.

includegraphics[width=paperwidth]USCO.eps

CONJUNTOS
FINITOS E
INFINITOS

Definicin

Un subconjunto X N se dice que est acotado cuando

existe p N tal que x p, x X.

includegraphics[width=paperwidth]USCO.eps

CONJUNTOS
FINITOS E
INFINITOS

Corolario

Un subconjunto X N es nito, si y solamente si, est

acotado.
() Si X es nito, existe una biyeccin f : In X .
Llamando x1 = f (1), x2 = f (2), ..., xn = f (n) se tiene que
X = {x1 , x2 , ..., xn } N por ser f sobreyectiva. Tomando
p = x1 + x2 + x3 + ... + xn se tiene que
xk p, k = 1, 2, 3, ..., n y as X est acotado.
() Recprocamente, si X N est acotado, existe P N
tal que x p, x X . Ahora Ip = {1, 2, 3, ..., p} X , y

como todo subconjunto de un conjunto nito es nito, se

concluye que X es nito.

includegraphics[width=paperwidth]USCO.eps

CONJUNTOS INFINITOS

CONJUNTOS
FINITOS E
INFINITOS

Un conjunto se dice que es innito cuando no es nito. Esto

quiere decir que X es innito cuando X 6= y adems de
eso n N, no es posible establecer una biyeccin
f : In X .
El conjunto N de lo nmeros naturales es un conjunto
innito, al igual que el conjunto nk de los mltiplos del
nmero k N.

includegraphics[width=paperwidth]USCO.eps

CONJUNTOS
FINITOS E
INFINITOS

Ejemplo

El conjunto N de los nmeros naturales es innito.En efecto,

dada cualquier funcin f : In N, sea
p = f (1) + f (2) + ... + f (n). Es claro que p > f (x) para
todo x In , en lo cual p
/ f (In ). Luego, ninguna funcin f
es sobreyectiva.

includegraphics[width=paperwidth]USCO.eps

CONJUNTOS
FINITOS E
INFINITOS

Teorema 3

Si X es un conjunto innito, entonces existe una funcin

inyectiva f : N X .
Demostracin

Sea 6= A N y xA A. Denimos f : N X
inductivamente haciendo f (1) = xx .Ya denimos
f (1), f (2), ..., f (n), escribimos
An = X {f (1), f (2), ..., f (n)}. Como X es innito,
An 6= . Denimos entonces f (n + 1) = XAn . Esto completa
la denicin de f . Para demostrar que f es inyectiva, sean
m, n N con m < n. Entonces
f (m) X {f (1), ..., f (n 1)} mientras que
f (n) X {f (1), f (2), ..., f (n 1)}. Luego f (m) 6= f (n).

includegraphics[width=paperwidth]USCO.eps

CONJUNTOS
FINITOS E
INFINITOS

Corolario

Un conjunto X es innito, si y solo si, existe una biyeccin

: X Y sobre un subconjunto propio Y X .
Demostracin

() Sea X innito y f : N X una funcin inyectiva.

Para cada n N, escribimos f (n) = xn . Consideremos el
subconjunto propio Y = X {x1 }. Denamos la biyeccin
: X Y tomando (x) = x, si x no es ningn de los xn
y (xn ) = n + 1.
() Recprocamente, si existe una biyeccin de X sobre
uno de sus subconjuntos propios Y X , entonces X es
innito, en virtud del Corolario 1. del Teorema 2.

includegraphics[width=paperwidth]USCO.eps

CONJUNTOS
FINITOS E
INFINITOS

Ilustracin

Si N1 = N {1} entonces : N N1 , (n) = n + 1 es

una biyeccin de N sobre N1 = {2, 3, ...}. Mas generalmente
si p N podemos considerar Np = {p + 1, p + 2, ...} y denir
la biyeccin : N Np , (n) = n + p.
Si P = {2, 4, ...} entonces : N P, (n) = 2n, es una
biyeccin. Evidentemente, si I = {1, 3, 5, ...} es el conjunto
de los nmeros impares, entonces : N I ,
(n) = 2n 1 tambin es una biyeccin. En estos dos
ltimos ejemplos, N P = I y N I = P son ambos
innitos, mientras que N Np = {1, 2, ..., p} es nito.

includegraphics[width=paperwidth]USCO.eps

Conjuntos enumerables

CONJUNTOS
FINITOS E
INFINITOS

Se dice que un conjunto X es enumerables cuando es nito o

cuando existe una biyeccin f : N X . En este caso, f se
llama una enumeracin de los elementos de X . Si escribimos
f (1) = x1 , f (2) = x2 , ..., f (n) = xn , ..., se tiene entonces
que X = {x1 , x2 , ..., xn ...}

includegraphics[width=paperwidth]USCO.eps

CONJUNTOS
FINITOS E
INFINITOS

Teorema 4

Todo subconjunto X N es enumerable.

Demostracin

Si X es nito, entonces X es enumerable por denicin. De

no ser asi, enumeramos los elementos de X poniendo x1
menor elemento de X y suponiendo denidos
x1 < x2 < ... < xn , escribimos An = X {x1 , x2 , ..., xn }.
Es claro que An 6= pues X es innito, denimos ahora
Xn+1 menor elemento de An . Entonces
X = {x1 , x2 , ..., xn , ...}. Si existiese algn elemento x X
diferente de los xn , entonces x An para todo n N, luego
X seria un nmero natural mayor que todos los elementos
del conjunto innito {x1 , x2 , ..., xn , ...}, es decir X estara
acotado y no podra ser innito.

includegraphics[width=paperwidth]USCO.eps

CONJUNTOS
FINITOS E
INFINITOS

Corolario 1

Sea f : X Y una funcin inyectiva. Si Y es enumerable

entonces X tambin lo es. En particular, todo subconjunto
de un conjunto enumerables es enumerable.
Demostracin

Basta considerar el caso que existe una biyeccin

: X N. Entonces ( f ) : X N es una biyeccin
de X en un subconjunto de N, que es enumerable, por el
Teorema 4. En el caso particular X Y , tomamos
f : X Y igual a la aplicacin inclusin.

includegraphics[width=paperwidth]USCO.eps

CONJUNTOS
FINITOS E
INFINITOS

Corolario 2

Sea f : X Y una funcin sobreyectiva. Si X es

enumerable entonces Y tambin lo es.
Demostracin

Como f es sobreyectiva, para cada y Y podemos tomar un

x = g(y) X tal que f (x) = y . Esto dene una funcin
g : Y X tal que f (g(y)) = y ,y Y . De esta manera g
es inyectiva y por el Corolario 1. Y es enumerable.

includegraphics[width=paperwidth]USCO.eps

CONJUNTOS
FINITOS E
INFINITOS

Corolario 3

El producto cartesiano de dos conjuntos enumerables es

tambin enumerable.

includegraphics[width=paperwidth]USCO.eps

CONJUNTOS
FINITOS E
INFINITOS

Demostracin

Si X e Y son enumerables, entonces existen funciones

biyectivas y por lo tanto sobreyectivas f : N X y
g : N Y , luego : N N X Y , dada por
(m, n) = (f (m), g(n)), es tambin sobreyectiva.
Probaremos ahora que N N es enumerable. Para ello
consideremos la funcin : N N N, dada por
(m, n) : 2m 3n . Esta funcin es inyectiva, lo cual lo
probaremos, (m, n) = (t, p) (m, n) = (t, p) donde
t 3p
= 2tm 3p .
m, n, t, p N. 2m 3n = 2t 3p 3n = 22m
n
Puesto que 3 es impar para cada n N, mientras que
2tm 3p es par si t 6= m, con t > m, es claro que
3n = 2tm 3p nicamente cuando t m = 0, es decir t = m
y n = p. (En virtud al Teorema Fundamental de la
Aritmtica) y as N N es enumerable por el Corolario 1 y en
virtud del Corolario 2 se concluye que X Y es enumerable.

includegraphics[width=paperwidth]USCO.eps

CONJUNTOS
FINITOS E
INFINITOS

Corolario 4

La unin de una familia enumerable de conjuntos

enumerables es tambin enumerable.

includegraphics[width=paperwidth]USCO.eps

CONJUNTOS
FINITOS E
INFINITOS

Demostracin

Sean X1 , X2 , . . . , Xn una familia de conjuntos enumerables.

Luego existen biyecciones (y por ende sobreyecciones)
f1 : N X1 , f2 : N X2 , . . . , fn : N Xn , . . .,
concluyamos que X =

Xn es enumerable. Para ello,

n=1

denamos una funcin f : N N X que sea

sobreyectiva. La funcin f (m, n) = fn (m) es sobreyectiva,
por esto dado cualquier x X , entonces x

n=1

Xn , as

existe un Xi enumerable tal que x Xi y como Xi es

enumerable por hiptesis existe la sobreyeccin fi : N N
y en consecuencia para el x Xi existe m N tal que
fi (m) = Xi . De esta manera se ha encontrado el par
(m, i) N N tal que f (m, i) = fi (m) = X .

includegraphics[width=paperwidth]USCO.eps

EJEMPLOS VARIOS

CONJUNTOS
FINITOS E
INFINITOS

Ejemplo 1

El conjunto Q = { m
n : m, n Z, n 6= 0} es enumerable.
Demostracin

Consideremos los conjuntos

A0 = {0}
2 2
A1 = { 11 , 1
1 , 1 , 1 , ...}
1 1 2 2
A2 = { 2 , 2 , 2 , 2 , ...}

..
.

2 2
An = { n1 , 1
n , n , n , ...}
Es claro que cada Ai es enumerable para cada i N y que
S

n=1 An = Q. Adems Q puede enumerarse mediante el

llamado Procedimiento de la diagonal de Cantor:

1 1 1 2 1 1
0, ,
, , ,
, , ...
1 1 2 1 2 3

includegraphics[width=paperwidth]USCO.eps

EJEMPLOS VARIOS

CONJUNTOS
FINITOS E
INFINITOS

Otra forma de probar que Q es enumerable es la siguiente:

La funcin f : Z Z {0} Q, denida por f (m, n) = m
n
es sobreyectiva, y como Z Z {0} es enumerable, por el
corolario 2 se concluye que Q tambin lo es.

includegraphics[width=paperwidth]USCO.eps

EJEMPLOS VARIOS

CONJUNTOS
FINITOS E
INFINITOS

Ejemplo 2

El conjunto Z = {..., 2, 1, 0, 1, 2, ...} es enumerable.

La funcin f : N Z, denida por
(
f (n) =

n1
2 ,
n
2 ,

n impar
n par

es biyectiva y por ende sobreyectiva. Luego por el Corolario 1

del Teorema 4 se sigue que Z es enumerable.

includegraphics[width=paperwidth]USCO.eps

EJEMPLOS VARIOS

CONJUNTOS
FINITOS E
INFINITOS

Ejemplo 3

R no es enumerable.
Demostracin

Para probar que R no es enumerable, basta ver que

I = {x R : 0 6 x 6 1} no es enumerable. Para pobrar esto

puede utilizarse nuevamente la "Prueba de la diagonal". Por

un lado, puesto que existen innitos nmeros racionales en
I = [0, 1], es claro que I es innito q Q es un elemento de
I = [0, 1], siempre que q = m
n con m, n R {0}, con
m < n, n 6= 0). Por otro lado supongamos que I = [0, 1] es
enumerable, digamos I = {x1 , x2 , ..., xn , ...}. Adems como
0 6 xi 6 1 es claro que cada xi puede escribirse en la forma

includegraphics[width=paperwidth]USCO.eps

CONJUNTOS
FINITOS E
INFINITOS

x1 = 0, a11 a12 a13 ..., a1n ...

x2 = 0, a21 a22 a23 ..., a2n ...
x3 = 0, a31 a32 a33 ..., a3n ...

..
.
xn = 0, an1 an2 an3 ..., ann ...

Donde 0 aij 9 y donde cada xi tiene un nmero innito

de guarismos no nulos. Por ejemplo, 1 = 0, 999... y aquellos
xi que pueden escribirse de dos maneras como
1
10 = 0, 1000 = 0, 0999... escogemos el que tiene los nueves.

includegraphics[width=paperwidth]USCO.eps

CONJUNTOS
FINITOS E
INFINITOS

Consideremos el nmero decimal y = 0, y1 y2 y3 ...yn ... I

construido de la siguiente manera: se toma y1 tal que
y1 6= a11

y1 6= 0

y2 6= a22

y2 6= 0

.. .. ..
. . .
yn 6= ann

yn 6= 0

De esta manera, es claro que y 6= x1 , pues y1 6= a11 y

y1 =
6 0; y 6= x2 pues y2 6= a22 y y2 6= 0, ..., y 6= xk pues
yk =
6 akk y yk 6=. Luego y 6= xn para cada n N y as y
/ I,
lo que contradice el supuesto que I = [0, 1] sea enumerable.

includegraphics[width=paperwidth]USCO.eps

EJEMPLOS VARIOS

CONJUNTOS
FINITOS E
INFINITOS

Ejemplo 4

Demostrar por el PIM:

13 + 23 + ... + n3 = (1 + 2 + ... + n)2

Demostracin

Llamamos p(n) : 13 + 23 + ... + n3 = (1 + 2 + ... + n)2

De esta manera,
p(1) :
13 = 12 = 1
p(2) :
13 + 23 = (1 + 2)2
p(k) p(k + 1)
[1 + 2 + ... + k + (k + 1)]2

=
=
=
=
=

1 + 8 = 32

9=9

[(1 + 2 + 3 + ... + k) + (k + 1)]2

(1 + 2 + ... + k)2 + 2(1 + 2 + ... + k)(k + 1) + (k + 1)2
(13 + 23 + ... + k 3 ) + (k + 1)2 (k + 1)
(13 + 23 + ... + k 3 ) + (k + 1)2 (k + 1)
(13 + 23 + ... + k 3 ) + (k + 1)3

includegraphics[width=paperwidth]USCO.eps

EJEMPLOS VARIOS

CONJUNTOS
FINITOS E
INFINITOS

Ejemplo 5

Demostrar por induccin que:

1 + r + r2 + ... + rn =

1 rn+1
,
1r

r 6= 1

Demostracin

Pongamos p(n) : 1 + r + r2 + ... + rn =

p(1) :

1rn+1
1r

1r2
1r

Supongamos que

(1r)(1+r)
1r

p(n) : 1 + r + r2 + ... + rn =

1rn+1
1r ,

=1+r

1rn+1
1r ,

r 6= 1

r 6= 1

includegraphics[width=paperwidth]USCO.eps

CONJUNTOS
FINITOS E
INFINITOS

Entonces
1 + r + r2 + ... + rn =
=
=
=

1 rn+1
+ rn+1
1r
1 rn+1 + rn+1 (1 r)
1r
n+1
1r
+ rn+1 rn+2
1r
1 rn+2
, r 6= 1
1r

includegraphics[width=paperwidth]USCO.eps

CONJUNTOS
FINITOS E
INFINITOS

b.

Sea
s = 1 + r + ... + rn
rs = r + r2 + rn + rn+1
s rs = s(1 r) = 1 rn+1

De modo que
s =

1rn+1
1r ,

r 6= 1

includegraphics[width=paperwidth]USCO.eps

EJEMPLOS VARIOS

CONJUNTOS
FINITOS E
INFINITOS

Ejemplo 6

Todo nmero natural es par o impar.

Demostracin

Es claro que las funciones f (n) = 2n 1 y g(n) = 2n con

n N denen los nmeros naturales pares y los impares. En
primer lugar, 1 es par o impar; de hecho, 1 es impar pues
1 = 2. 1 1. Sea n N, entonces n es par o bien es impar.
Esto signica que n puede expresarse o bien como 2k o como
2k + 1. En el caso que n fuese par, n + 1 = 2k + 1 es impar;
en caso que n sea impar,
n + 1 = (2k + 1) + 1 = 2k + 2 = 2(k + 1) = 2t,
t = k + 1 N y as n + 1 es par. En cualquier caso, n + 1 o
bien par o impar.

includegraphics[width=paperwidth]USCO.eps

EJEMPLOS VARIOS

CONJUNTOS
FINITOS E
INFINITOS

Ejemplo 7

Si X es nito y Y X entonces Card(Y ) Card(X).

Sea Card(X) el nmero de elementos del conjunto nito X ,
demuestre que:
(a) Si X es nito y Y X , entonces Card(Y ) Card(X).
Demostracin

Sea X = In = {x N : x n}. As, Card(X) = n. Como

Y X , es claro que Y es tambin nito por ser subconjunto
de un conjunto nito. Supongamos que Card(Y ) = m y que
m > n. Por ser Card(Y ) = m existe una biyeccin
f : Im Y . Como Y X entonces Im In y adems f
es una biyeccin entre Im e y In (subconjunto propio de
In ), lo cual es absurdo. Luego Card(Y ) Card(X)
(b) Dada f : X Y , pruebe si X es innito y f es
inyectiva, entonces Y es innito

includegraphics[width=paperwidth]USCO.eps

CONJUNTOS
FINITOS E
INFINITOS

Dada f : X Y , pruebe si X es innito y f es

inyectiva, entonces Y es innito

(b)

Demostracin:

Como f es inyectiva, es claro que f : X Y = f (X) es

biyectiva. De esta manera Card(X) = Card(Y ).
Supongamos que Y es nito, como f (X) Y entonces
f (X) es nito,lo cual es absurdo pues X tambin sera nito
por ser f inyectva.