sección 4

ejercicio 4

Para cada n ∈ N Sea Pn ={X ⊆ N : cardX = n}

pruebe que Pn es enumerable. concluya que el conjunto Pf de los conjuntos
finitos de N es enumerable.

entonces dado Pn ={X ⊆ N : cardX = n} existe una f : P → Nn =

NxNxNx · · · N

f (X) = (m1 , m2 , m3 · · · , mn )

Donde X = {m1 < m2 < · · · < mn } f es inyectiva

por el corolario 1 del conjuno de loos números enumerables como Nn e enu-

merable se cocluye que pn es enumerable

pf = ∞
S
n=1 Pn (subconjuntos finitos de N) por corolario 4 de conjuntos enu-
merables se cocluye que Pf es enumerable

sección 1.

ejercicio 1. usando el metodo de inducción pruebe que a) 1 + 2 + ... + n =

n(n+1)
2
b)1 + 3 + 5 + ... + (2n − 1) = n2

∀n ∈ N

a) 1 + 2 + ... + n = n(n+1)
2
n(n+1)
Sean p(n) : 1 + 2 + ... + n = 2
debemos probar que p(n) satisface las
propiedades 1,2,3
1(1+1)
1)p(1) : 1 = 2
es verdadero

2) suponemos que la igualdad es verdadero para un cierto valor k es de-

cir:
k(k+1)
1 + 2 + ... + k = 2

1
3)sea k ∈ N debemos probar que p(k) → p(k + 1) es verdadero Como
p(k + 1) : 1 + 2 + ... + k + (k + 1) = (k + 1) ((k+1)+1)
2
sumamos (k + 1) a ambos miembros (H.I)

1 + 2 + ... + k + (k + 1) = k(k+1)
2
+ (k + 1)
k
= (k + 1)( 2+1 )
= (k + 1)( (k+2)
2
)
como p(k + 1) es verdadero y suponiendo que (k) lo es asi hemos demostrado
que ∀n ∈ N : 1 + 2 + ... + n = n(n+1)
2
es verdadero

b) ∀n ∈ N

1 + 3 + 5 + ... + (2n − 1) = n2
sea p(n) : 1 + 3 + 5 + ... + (2n − 1) = n2
Ahora debemos probar que p(n) = 1

1)p(1) : (2(1) − 1) = 12 es verdadero

2)suponemos que la igualdad es verdadero para un cierto valor k es decir

1 + 3 + 5 + ... + (2k − 1) = k 2

3) Sea k ∈ N debemos probar que p(k) → p(k + 1) es verdadero

Como p(k + 1) : 1 + 3 + 5 + ... + (2k − 1) + (2(k + 1) − 1) = (k + 1)2

= k 2 + 2k + 2 − 1
k 2 + 2k + 1
(k + 1)2
ejercicio 5

obtenga el principio de induccón como consecuencia de buena ordenación

demostracción

existe una formulación equivalente al peincipio de inucción matemática que

se conoce como principio de buena ordenación para todo n ∈ N
Cualquier subconjunto no bacı́o del conjunto de los números naturales N

2
tiene mı́nimo

supongamos que ⊂ N es un subconjunto de los números naturales no vacı́o

que no tiene mı́nimo y sea S(n) la proposición : s(n) = ningún número nat-
ural menor o igual que n pertenece a x
Como x no tiene mı́nimo s(1) es verdada (porque si s(1) fuese falsa 1 seria
el mı́nimo de x) y suponiendo que s(n) es verdadera también s(n + 1) lo es
(porque si s(n + 1) fuera falsa entonces n + 1 seria el mı́nimo de x) luego
por P.I.M todas las afirmaciones s(n) son verdaderas, lo que implica que no
existe ningún número en x contradiciendo el hecho de que x es no vacio.

Ahora (∃A){n ∈ Ntalque˜s(n)} = A supongamos entonces que A contiene

almenos 1 elemento entonces A tiene un elemento mı́nimo (n0 )(pBo)

si n0 = 0 contradice la base de la inducción entonces 0@A si n0 6= 0 con-

tradice el paso indusivo para n0
por lo tanto (@n0 ∈ A) → (a = φ) → (∀n ∈ N)(∃s(n))

sección 2

ejercicio 2

Sea p(x) el conjunto cuyos elementos son subconjuntos de x pruebe usan-

do el metodo de inducción que si x es finito entonces cardp(x) = 2cardx

Demostracción

el conjunto potencia es el conjunto de todos los subconjuntos de un con-

junto dado

si A es el conjunto dado entonces : card : (p(x))

ejemplo si

x = {1, 2}
card(p(x)) = {φ}, {1}, {2}, {1, 2}
o visto de otra forma donde n = card(x)
n(p(x)) = 2n

3
por inducción para

n=1
|(p(x))| = 21 = 2
paran = 2
|(p(x))| = 22 = 4
paran = 3
|(p(x))| = 23 = 8
ahoraparan = k
|(p(x))| = 2k

Ahora para n = k + 1
conforme hacemos variar a los subconjuntos de x y obtenemos a todos los
subconjuntos de x − {a} en consecuencia tenemos |(p(x))| = 2|(p(x − {a}))|
= 2,2k = 2k + 1 esto concluye la inducción

|(p(A))| = 2k+1

Apostol

Sea s la colección de todas las sucesiones cuyos terminos 0 y 1 probar que s

no es numerable

S = {s/s : N → {0, 1}}

veamos que s no es enumerable
para esto veamos que ningún subconjunto numerable

x = {s1 , s2 , s3 , ..., sn , ...} ⊂ S es igual a S

S : sm ∈ X ⊂ SentoncesSm = (S1m , S2m , ..., Snm,... )

= (Sm(1) , Sm(2,...,Sm(n) ...) )

formamos S ∗ ∈ SasiS ∗ (n) = 0siSn(n) 02 o 2siSn(n) = 0
se tiene que S ∗ ∈ / X por lo tanto X no es subconjunto propio de S

Luego S no es numerable