UNIVERSIDAD SURCOLOMBIANA
SEDE NEIVA
Facultad de Ciencias Exactas y Naturales
Programa Matemática Aplicada
Análisis Real
Taller I
(1) Usando el método de inducción pruebe que
n(n + 1)
(a) 1 + 2 + . . . + n = .
2
(b) 1 + 3 + 5 + . . . + (2n − 1) = n2 .
(2) Dados m, n ∈ N con n > m, pruebe que ó n es múltiplo de m o que existen q, r ∈ N tales
que n = mq + r, r < m. Pruebe que q y r son únicos con esta propiedad.
(3) Sea X ⊂ N un subconjunto no vacı́o tal que m, n ∈ X ⇔ m, m + n ∈ X. Pruebe que existe
k ∈ N tal que X es el conjunto de los múltiplos de k.
(4) Dado n ∈ N, pruebe que no existe x ∈ N tal que n < x < n + 1.
(5) Obtenga el principio de inducción como consecuencia del principio de buena ordenación.
(6) Demuestre que no puede existir una biyección entre un conjunto finito y una parte propia
de éste.
(7) Un subconjunto X ⊂ N es finito si y sólo si, está acotado.
(8) Considere card X como el número de elementos del conjunto finito X. Demuestre que:
(a) Si X es finito e Y ⊂ X, entonces card Y ≤ card X.
(b) Si X e Y son finitos, entonces X ∪ Y es finito y
card(X ∪ Y ) = card X + card Y − card(X ∩ Y ).
(c) Si X e Y son finitos, entonces X × Y es finito y
card(X × Y ) = card X · card Y.
(9) Sea P(X) el conjunto cuyos elementos son los subconjuntos de X. Pruebe, usando el método
de inducción, que si X es finito entonces card P(X) = 2card X .
(10) Sea F(X; Y ) el conjunto de las funciones f : X → Y . Si card X = m y card Y = n,
pruebe que card (F(X; Y )) = nm .
(11) Dada f : X → Y , pruebe que:
(a) Si X es infinito y f es inyectiva entonces Y es infinito.
(b) Si Y es infinito y f es sobreyectiva entonces X es infinito.
(12) Pruebe que el conjunto P de los números primos es infinito.
(13) Defina f : N × N → N mediante f (1, n) = 2n − 1 y f (n + 1, n) = 2n (2n − 1). Pruebe que
f es una biyección.
1
(14) El conjunto Q de los números racionales es numerable.
(15) El conjunto R de los números reales no es numerable.
(16) Sea X un conjunto arbitrario y sea Y un conjunto contiendo por lo menos dos elementos.
Ninguna función φ : X → F(X, Y ) es sobreyectiva.
(17) Sea X1 , X2 , . . . , Xn , . . . conjuntos infinitos numerables. El producto cartesiano ∞
Q
n=1 Xn no
es numerable.