Quien ama la práctica sin la teorı́a es

como el marinero que se embarca

sin timón ni brújula y nunca sabe dónde ir.

Leonardo da Vinci

1. Aplicaciones del Principio de Inducción Es-

tructural
Ejemplo 1

Supongamos que (A, ≤) es Bien Fundado y consideremos (A × A, ≤L ), donde

≤L es el orden lexicográfico:

(a, b) ≤L (c, d) ↔ (a < c) ∨ (a = c ∧ b ≤ d)

Afirmación: (A × A, ≤L ) es parcialmente ordenado y es Bien Fundado.

Veamos que (A × A, ≤L ) es parcialmente ordenado.

1. Afirmación: ≤L es reflexiva.
En efecto, dado cualquier elemento (a, b) de A × A. Se tiene

(a, b) ≤L (a, b)

porque

a=a∧b≤b

2. Afirmación: ≤L es Transitiva.
Sean (a, b), (c, d) , (e, f ) cualesquiera elementos en A × A.

((a, b) ≤L (c, d) ∧ (c, d) ≤L (e, f ) → (a < c ∨ (a = c ∧ b ≤ d)) ∧ (c < e ∨ (c = e ∧ d ≤ f ))

→ ((a < c ∨ (a = c ∧ b ≤ d)) ∧ c < e) ∨ (a < c ∨ (a = c ∧ b ≤ d)) ∧ c = e ∧ d ≤ f )
→ (a < c ∧ c < e) ∨ (a = c ∧ b ≤ d ∧ c < e) ∨ (a < c ∧ c = e ∧ d ≤ f ) ∨ (a = c ∧ b ≤ d ∧ c = e ∧ d ≤ f )
→ (a < e) ∨ (a < e) ∨ (a < e) ∨ (a = e ∧ b ≤ f )
→ a ≤ e ∨ (a = e ∧ b ≤ f )
→ (a, b) ≤L (e, f )

3. Afirmación: ≤L es Antisimétrica.
Sean (a, b), (c, d) cualesquiera elementos en A × A.
(a, b) ≤L (c, d) ∧ (c, d) ≤L (a, b) → (a < c ∨ (a = c ∧ b ≤ d)) ∧ (c < a ∨ (c = a ∧ d ≤ b))
→ ((a < c ∨ (a = c ∧ b ≤ d)) ∧ c < a) ∨ ((a < c ∨ (a = c ∧ b ≤ d)) ∧ (c = a ∧ d ≤ b))
→ (a < c ∧ c < a) ∨ (a = c ∧ b ≤ d ∧ c < a) ∨ ((a < c ∧ (c = a ∧ d ≤ b)) ∨ (a = c ∧ b ≤ d ∧ c = a ∧ d ≤ b))
→ C ∨ C ∨ C ∨ (a = c ∧ b = d)
→ a=c∧b=d
→ (a, b) = (c, d)

1
 Ahora veamos que (A × A, ≤L ) es un conjunto Bien Fundado.
Supongamos por contradicción que existe una sucesión en A × A estrictamente
decreciente. Supongamos que esta sucesión tiene la forma
{(an , bn )}
Es decir,

(a1 , b1 ) > (a2 , b2 ) > (a3 , b3 ) > ....

Observemos que (an ) y (bn ) son sucesiones en A. Entonces
Sea X = {an |n ∈ N} ∪ {bn |n ∈ N} , X 6= ∅ y X ⊆ A.
Como A es Bien Fundado entonces ∃x0 ∈ X tal que x0 es minimal, de donde
x0 = ak para algún k ∈ N o x0 = bl para algún l ∈ N.
Caso1:x0 = ak , k ∈ N.
Como se cumple que
(ak , bk ) > (ak+1 , bk+1 ) > (ak+2 , bk+2 ) > ...
Entonces

bk > bk+1 > bk+2 > ... (contradicción)

(bn )∞
n=k es una sucesión estrictamente decreciente en A.

Caso2: La demostración de este caso es similar al Caso1.

2. La función de Ackerman.
En 1928, Wilhems Ackerman observó que A(x, y, z) la z-ésima exponencia-
ción iterada de x con y como exponente, es una función recursiva que no es
primitiva recursiva. En 1935, Rózsa Péter simplificó A(x, y, z) a una función de
dos variables. En 1948, Raphael M. Robinson simplificó la condición inicial que-
dando una función doblemente recursiva de N2 en N, definida recursivamente
de la siguiente manera:

 n + 1, Si m = 0
A(m, n) = A(m − 1, 1), Si m 6= 0 y n = 0
A(m − 1, A(m, n − 1)), Si m 6= 0 y n 6= 0


Esta función es conocida como la función de Ackerman, el ejemplo más

simple de una función total que es computable. O sea, que se puede implementar
con ciclos tipo While. Pero que no es primitiva recursiva . Por lo que no se
puede implementar solo con ciclos de tipo For Por su definición la función
de Ackerman crece más rápido que cualquier función exponencial. Ejemplo,
A(4, 2) = 265536 − 3.
Ejemplo 2 Calcular A(3, 2)