Universidad de los Andes

MATE-2201

Analysis 1 Taller 1

Conjuntos; inducción. Fecha de entrega: 18 de agosto de 2022

1. (a) Muestre que un subconjunto de un conjunto contable es contable o finito.

(b) Muestre que la unión contable de conjuntos contables es contable.
(c) Muestre que el producto directo de conjuntos contables es contable.
(d) Muestre que Q es contable.

2. (a) Muestre que el conjunto de potencias PN no es contable.

(b) Sean A, B conjuntos. Muestre o encuentre un contraejemplo:
(i) P(A ∩ B) = PA ∩ PB.
(ii) P(A ∪ B) = PA ∪ PB.

3. Muestre las siguientes fórmulas y desigualdades:

n
X  n(n + 1) 2
(a) k3 = , n ∈ N,
2
k=1
2n n
X 1 X 1
(b) (−1)k+1 = , n ∈ N.
k n+k
k=1 k=1
n
(c) 2 ≤ n! para n ≥ 4.

4. Para n ∈ N0 y m ∈ N sea
n m
X o
a(m, n) := # (x1 , . . . , xm ) ∈ Nm
0 : x j ≤ n ,
j=1
n m
X o
b(m, n) := # (x1 , . . . , xm ) ∈ Nm
0 : xj = n .
j=1

(a) Muestre que a(m, n) = b(m + 1, n), m ∈ N, n ∈ N0 .

 
n+m
(b) Muestre que a(m, n) = , m ∈ N, n ∈ N0 .
m

Hint: Muestre que a(m, n − 1) + a(m − 1, n) = a(m, n) y use inducción en n + m.

5. Resuma en 1-2 párrafos los temas de la semana 1. (Entréguelo en una hoja aparte.)