Professional Documents
Culture Documents
eps
CONJUNTOS
FINITOS E
INFINITOS
includegraphics[width=paperwidth]USCO.eps
CONJUNTOS
FINITOS E
INFINITOS
includegraphics[width=paperwidth]USCO.eps
NMEROS NATURALES
CONJUNTOS
FINITOS E
INFINITOS
includegraphics[width=paperwidth]USCO.eps
CONJUNTOS
FINITOS E
INFINITOS
EJEMPLO:
includegraphics[width=paperwidth]USCO.eps
CONJUNTOS
FINITOS E
INFINITOS
ILUSTRACIN
En efecto,
p(1) = 1 =
n(n + 1)
2
1(1 + 1)
2
= =1
2
2
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
includegraphics[width=paperwidth]USCO.eps
CONJUNTOS
FINITOS E
INFINITOS
Demostracin.
Primera Forma (Por contradiccin a partir del PIM)
includegraphics[width=paperwidth]USCO.eps
CONJUNTOS
FINITOS E
INFINITOS
includegraphics[width=paperwidth]USCO.eps
CONJUNTOS FINITOS
CONJUNTOS
FINITOS E
INFINITOS
DEFINICIN
includegraphics[width=paperwidth]USCO.eps
CONJUNTOS
FINITOS E
INFINITOS
LEMA:
includegraphics[width=paperwidth]USCO.eps
CONJUNTOS FINITOS
CONJUNTOS
FINITOS E
INFINITOS
TEOREMA 1
includegraphics[width=paperwidth]USCO.eps
CONJUNTOS FINITOS
CONJUNTOS
FINITOS E
INFINITOS
Demostracin
(Por reduccin al absurdo)
includegraphics[width=paperwidth]USCO.eps
CONJUNTOS
FINITOS E
INFINITOS
Corolario 1
includegraphics[width=paperwidth]USCO.eps
CONJUNTOS
FINITOS E
INFINITOS
Corolario 2
includegraphics[width=paperwidth]USCO.eps
CONJUNTOS
FINITOS E
INFINITOS
includegraphics[width=paperwidth]USCO.eps
CONJUNTOS
FINITOS E
INFINITOS
Corolario 3
includegraphics[width=paperwidth]USCO.eps
CONJUNTOS
FINITOS E
INFINITOS
Teorema 2
includegraphics[width=paperwidth]USCO.eps
CONJUNTOS
FINITOS E
INFINITOS
includegraphics[width=paperwidth]USCO.eps
CONJUNTOS
FINITOS E
INFINITOS
Definicin
includegraphics[width=paperwidth]USCO.eps
CONJUNTOS
FINITOS E
INFINITOS
Corolario
includegraphics[width=paperwidth]USCO.eps
CONJUNTOS INFINITOS
CONJUNTOS
FINITOS E
INFINITOS
includegraphics[width=paperwidth]USCO.eps
CONJUNTOS
FINITOS E
INFINITOS
Ejemplo
includegraphics[width=paperwidth]USCO.eps
CONJUNTOS
FINITOS E
INFINITOS
Teorema 3
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
includegraphics[width=paperwidth]USCO.eps
CONJUNTOS
FINITOS E
INFINITOS
Ilustracin
includegraphics[width=paperwidth]USCO.eps
Conjuntos enumerables
CONJUNTOS
FINITOS E
INFINITOS
includegraphics[width=paperwidth]USCO.eps
CONJUNTOS
FINITOS E
INFINITOS
Teorema 4
includegraphics[width=paperwidth]USCO.eps
CONJUNTOS
FINITOS E
INFINITOS
Corolario 1
includegraphics[width=paperwidth]USCO.eps
CONJUNTOS
FINITOS E
INFINITOS
Corolario 2
includegraphics[width=paperwidth]USCO.eps
CONJUNTOS
FINITOS E
INFINITOS
Corolario 3
includegraphics[width=paperwidth]USCO.eps
CONJUNTOS
FINITOS E
INFINITOS
Demostracin
includegraphics[width=paperwidth]USCO.eps
CONJUNTOS
FINITOS E
INFINITOS
Corolario 4
includegraphics[width=paperwidth]USCO.eps
CONJUNTOS
FINITOS E
INFINITOS
Demostracin
n=1
n=1
Xn , as
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
..
.
2 2
An = { n1 , 1
n , n , n , ...}
Es claro que cada Ai es enumerable para cada i N y que
S
includegraphics[width=paperwidth]USCO.eps
EJEMPLOS VARIOS
CONJUNTOS
FINITOS E
INFINITOS
includegraphics[width=paperwidth]USCO.eps
EJEMPLOS VARIOS
CONJUNTOS
FINITOS E
INFINITOS
Ejemplo 2
n1
2 ,
n
2 ,
n impar
n par
includegraphics[width=paperwidth]USCO.eps
EJEMPLOS VARIOS
CONJUNTOS
FINITOS E
INFINITOS
Ejemplo 3
R no es enumerable.
Demostracin
includegraphics[width=paperwidth]USCO.eps
CONJUNTOS
FINITOS E
INFINITOS
..
.
xn = 0, an1 an2 an3 ..., ann ...
includegraphics[width=paperwidth]USCO.eps
CONJUNTOS
FINITOS E
INFINITOS
y1 6= 0
y2 6= a22
y2 6= 0
.. .. ..
. . .
yn 6= ann
yn 6= 0
includegraphics[width=paperwidth]USCO.eps
EJEMPLOS VARIOS
CONJUNTOS
FINITOS E
INFINITOS
Ejemplo 4
Demostracin
=
=
=
=
=
1 + 8 = 32
9=9
includegraphics[width=paperwidth]USCO.eps
EJEMPLOS VARIOS
CONJUNTOS
FINITOS E
INFINITOS
Ejemplo 5
1 rn+1
,
1r
r 6= 1
Demostracin
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
includegraphics[width=paperwidth]USCO.eps
EJEMPLOS VARIOS
CONJUNTOS
FINITOS E
INFINITOS
Ejemplo 7
includegraphics[width=paperwidth]USCO.eps
CONJUNTOS
FINITOS E
INFINITOS
(b)
Demostracin: