EJERCICIOS COMPLEMENTARIOS 1

1) a) Supongamos que las sucesiones (an ) y (bn ), con n ∈ N, son soluciones de la recursión
R dada por
an = c1 an−1 + · · · ck an−k , con c1 , ..., ck ∈ R.
Sean r, s números reales, demostrar que la sucesión (ran + sbn ) también es solución de la
recursión R.
b) Sunpongamos que (cn ) es una solución de la recursión S dada por

an = c1 an−1 + · · · ck an−k + f (n), con f : N → R.

Demostrar que toda solución de la recursión S tiene la forma (an + cn ), donde (an ) es una
solución de R.

2) Encontrar la solución de la recurrencia

a0 = 2, a1 = 7, an = an−1 + 2an−2 .

3) Encontrar la solución de la recurrencia

a0 = 8, a1 = 6, a1 = 26, an = −an−1 + 4an−2 + 4an−3 .

4) Encontrar la solución de la recurrencia

a0 = 1, a1 = 6, an = 6an−1 − 9an−2 .

5) Encontrar la solución de la recurrencia

a0 = 1, a1 = 4, a2 = 28, a3 = 32, an = 8an−2 − 16an−4 .

6) Encontrar la solución de la recurrencia

a0 = 2, a1 = 3, an = an−1 + an−2 + 3n + 1.

7) Encontrar la solución de la recurrencia

a0 = 1, a1 = 2, an = 2an−1 − an−2 + 2n .

8) Los números de Catalan Cn , con n ∈ N, están dados por

(2n)!
Cn = .
(n + 1)!n!
Demostrar que los números de Catalan satisfacen la recursión
2(2n − 1)
C0 = 1, Cn = Cn−1 .
n+1
9) Considere el conjunto de los naturales positivos N+ . Demuestre que la relación de divi-
sivilidad, a|b si y solo si a divide a b, es una relación de orden, es decir satisface las
propiedades de reflexividad, antisimetrı́a y transitividad:

a|a, a|b|a implica a = b, a|b|c implica a|c.

Determinar el mı́nimo de este orden. Diga si este orden satisface o no el principio del buen
orden, justificando su respuesta. Determinar cuales son los átomos de este orden, es decir lo
elementos que solo están por encima del mı́nimo en este orden.

10) Dado un conjunto X considere el conjunto P (X) de los subconjuntos de X. Demuestre

que la relación de inclusión, A ⊆ B si y solo si A es un subconjunto de B, es una relación
de orden, es decir satisface las propiedades de reflexividad, antisimetrı́a y transitividad:

A ⊆ A, A ⊆ B ⊆ A implica A = B, A ⊆ B ⊆ C implica A ⊆ C.

Determinar el mı́nimo de este orden. Diga si este orden satisface o no el principio del buen
orden, justificando su respuesta. Determinar cuales son los átomos de este orden, es decir lo
elementos que solo están por encima del mı́nimo en este orden.

11) Considere el conjunto N × N cuyos elementos son pares (a, b) con a, b ∈ N. Demuestre
que la relación
(a, b) ≤ (c, d) si y solo si a < c o a = c y b ≤ d
es una relación de orden, es decir satisface reflexividad, antisimetrı́a y transitividad:

(a, b) ≤ (a, b), (a, b) ≤ (c, d) ≤ (a, b) implica (a, b) = (c, d),

(a, b) ≤ (c, d) ≤ (e, f ) implica (a, b) ≤ (e, f ).

Determinar el mı́nimo de este orden. Diga si este orden satisface o no el principio del buen
orden, justificando su respuesta. Determinar cuales son los átomos de este orden, es decir lo
elementos que solo están por encima del mı́nimo en este orden.

12) Considere el conjunto N × N cuyos elementos son pares (a, b) con a, b ∈ N. Demuestre
que la relación
(a, b) ≤ (c, d) si y solo si a ≤ c y b ≤ d
es una relación de orden, es decir satisface reflexividad, antisimetrı́a y transitividad:

(a, b) ≤ (a, b), (a, b) ≤ (c, d) ≤ (a, b) implica (a, b) = (c, d),

(a, b) ≤ (c, d) ≤ (e, f ) implica (a, b) ≤ (e, f ).

Determinar el mı́nimo de este orden. Diga si este orden satisface o no el principio del buen
orden, justificando su respuesta. Determinar cuales son los átomos de este orden, es decir lo
elementos que solo están por encima del mı́nimo en este orden.
13) Encontra el mı́nimo de cada uno de los siguientes conjuntos:

A = {n ∈ N | n > 0 y n es un multiplo de 3},

B = {n ∈ N | n > 0 y n = −38 + 7m con m ∈ Z},
C = {n ∈ N | n > 0 y n = m2 − 8m + 12 con m ∈ Z}.
D = {n ∈ N | n > 0 y n = 15k + 6l con k, l ∈ Z}.

14) Demostrar que el intervalo [3, 5] ⊆ R no está bien ordenado.

15) Sea X ⊆ R un conjunto finito, demostrar que X está bien ordenado de dos maneras
distintas: a) por inducción sobre la cardinalidad de X; b) por contradicción.

16) Supongamos que ∅ =

6 A ⊆ B ⊆ R. Demostrar que si B está bien ordenado, entonces A
está bien ordenado.