(Para ver todas las entradas de esta serie hágase clic aquí.)
A la parte 1 - A la parte 3
Teorema 4: (n + m) + k = n + (m + k)
(Es decir, la suma es asociativa).
Demostración:
Fijamos n y m, y hacemos inducción en k.
Para k = 0 vale ya que:
(n + m) + 0 = n + m = n + (m + 0).
Tenemos que probar que (n + m) + k = n + (m + k) implica (n + m) + S(k) = n + (m + S(k)). Veamos que es así:
(n + m) + S(k) =
= S((n + m) + k) (ax. 4)
= S(n + (m + k)) (hipótesis)
= n + S(m + k) (ax. 4)
= n + (m + S(k)) (ax. 4).
Teorema 5: 0.n = 0
(Recuérdese que el axioma 5 afirma que n.0 = 0).
Demostración:
Hacemos inducción en n. Para n = 0 vale por el axioma 5. Tenemos que probar que 0.n = 0 implica 0.S(n) = 0. Veámoslo: 0.S(n) = 0.n + 0 = 0 + 0 = 0.
Teorema 6: S(n).m = n.m + m
Demostración:
Fijamos n y hacemos inducción en m. Para m = 0 vale porque: S(n).0 = 0 = 0 + 0 = n.0 + 0.
Tenemos que probar que S(n).m = n.m + m implica S(n).S(m) = n.S(m) + S(m). Veámoslo:
S(n).S(m) =
= S(n).m + S(n) (por el ax. 6)
= (n.m + m) + S(n) (hipótesis)
= n.m + (m + S(m)) (teo. 4)
= n.m + (S(m) + n) (teo. 2)
= n.m + (n + S(m)) (teo. 3)
= (n.m + n) + S(m) (teo. 4)
= n.S(m) + S(m) (ax. 6)
Teorema 7: n.m = m.n (el producto es conmutativo).
Demostración:
Fijamos n y hacemos inducción en m. Para m = 0 vale porque n.0 = 0 = 0.n.
Tenemos que probar que n.m = m.n implica n.S(m) = S(m).n. Veámoslo:
n.S(m) =
= n.m + n (ax. 6)
= m.n + n (hipótesis)
= S(m).n (teo. 6).