MATE1102. Matemática Estructural. Taller 2.

2018-10

Inducción

El propósito del taller es reforzar la comprensión de ideas de Principio del Buen

Orden, Inducción, Inducción Fuerte, Definición recursiva e isomorfismo de órdenes.

1. Para cada uno de los siguientes órdenes parciales, indique si es o no un buen orden.
Explique
(i) (Q+ , ≤)
(ii) (Z− , ≤)
1
(iii) (B, ≤), para B = {x ∈ Q : ∃n ∈ N : x = 1 + n+2 }
1
(iv) (B, ≤), para B = {x ∈ Q : ∃n ∈ N : x = 1 − n+2 }

2. (i) Dar un subconjunto infinito B, del intervalo [0, 1], tal que con el orden usual,
B no tiene elemento mı́nimo.
(ii) Dar un subconjunto infinito B, del intervalo [0, 1], tal que con el orden usual,
(B, ≤) es un buen orden.

3. Pruebe que si (A, ≤) es un buen orden y B es un subconjunto no vacio de A,

entonces (B, ≤) es un buen orden.

4. Sea X = {0, 1} × N con el siguiente orden parcial, ≤X (que se llama el orden del
diccionario): (0, n) <X (1, m) para todo n, m ∈ N. (0, n) ≤X (0, m) ↔ n ≤ m,
(1, n) ≤ (1, m) ↔ n ≤ m. Pruebe que (X, ≤X ) es un buen orden.

5. En la demostración de que PBO, PI y PIF son equivalentes, repasar las implica-

ciones PBO → PI y PIF → PBO.

6. Pruebe por inducción, lo siguiente

(i) Para todo n ∈ N, n ≥ 2, se cumple 2n + 1 ≤ 2n2
(ii) Para todo n ∈ N, n ≥ 2, , se cumple n2 ≤ 3n (en este item puede usar el
anterior).
(iii) Para todo n ∈ N, , se cumple que n3 − n es múltiplo de 6.
(iv) Para todo natural impar, su cuadrado, menos 1, es divisible por 8.
(v) Para todo n ∈ N, n ≥ 1,
n
√ X 1
n≤ √
j=1
j

7. El sistema postal de los Estados Unidos, tiene estampillas de 4 centavos y también

de 5 centavos. Pruebe que con estos dos tipos de estampillas puede pagarse el costo

1
 en centavos del envı́o de cualquier carta que cueste 12 o más centavos. Sugerencia:
Como caso base haga 12, 13, 14 y 15. Use PIF

8. Dar una definición recursiva de las siguientes fórmulas, especificando el caso base
y la regla dePrecursión.
(i) S(n) = nj=1 j, n ≥ 1.
(ii) f (n) = n2 , n ≥ 1.
(iii) f (n) = 2n + 1, n ≥ 1.

9. Para la sucesión definida por F1 = 1, F2 = 3 y para n > 2, Fn = Fn−2 + 2Fn−1 ,

demuestre que todos los términos son impares.

10. Para la sucesión de Fibonacci, definida por F0 = F1 = 1 y para n ≥ 2, Fn =

Fn−1 + Fn−2 , pruebe que
(i) Para n ≥ 1, F3n−1 es par.
(ii) Para n ≥ 2,
Xn
Fj2 = Fn Fn+1
j=0

11. Use inducción para probar lo siguiente: Para todo n ≥ 1, si A es un conjunto finito
de n elementos, con un orden lineal, ≤, entonces (A, ≤) es un buen orden.

12. Pruebe que no puede existir un isomorfismo de orden de N a Z.

13. Sean (A, ≤A ) y (B, ≤B ) dos conjuntos bien ordenados y ϕ : A → B un isomorfismo

de orden entre ambas estructuras. Pruebe que si a0 es el elemento mı́nimo de A y
b0 es el elemento mı́nimo de B, entonces ϕ(a0 ) = b0 .

14. Sean (A, ≤A ) y (B, ≤B ) dos órdenes lineales, tales que existe un isomorfismo de
orden entre ambas estructuras. Prube que si (A, ≤A ) es un buen orden, entonces
(B, ≤B ) también lo es.