Escolar Documentos
Profissional Documentos
Cultura Documentos
= n.(m + k) + n
(hiptesis)
= n.S(m + k)
(ax. 6)
= n.(m + S(k)) (ax. 4)
Teorema 9: (n.m).k = n.(m.k).
(Es decir, el producto es asociativo).
Demostracin:
Fijamos n y m, y hacemos induccin en k. Para k = 0 vale por el axioma 5.
Tenemos que probar que si (n.m).k = n.(m.k). entonces (n.m).S(k) = n.(m.S(k)).
Vemoslo:
(n.m).S(k) =
= (n.m).k + n.m
(ax.6)
= n.(m.k) + n.m
(hiptesis)
= n.(m.k + m)
(teo. 8)
= n.(m.S(k))
(ax. 6).
Definicin: 1 = S(0).
Teorema 10: 10.
(Es consecuencia inmediata del axioma 1.)
Teorema 11: n + 1 = S(n).
Demostracin:
n+1=
= n + S(0) (definicin)
= S(n + 0) (Ax. 4)
= S(n) (Ax. 3)
Teorema 12: 1.n = n.
Demostracin:
Por induccin. Para n = 0 vale por el axioma 5.
Veamos que 1.n = n implica 1.S(n) = S(n).
1.S(n) =
= 1.n + 1 (Ax. 6)
= n + 1 (por hiptesis)
= S(n) (Teo. 11).
Definiciones:
2 = S(1)
3 = S(2)
4 = S(3)
5 = S(4)
etc.
Veamos ahora un nuevo teorema:
Teorema 13: Si n0 entonces existe m tal que S(m) = n.
Demostracin:
El enunciado que queremos demostrar equivale a n(n=0m(S(m)=n)), y este
ltimo enunciado se prueba fcilmente por induccin. En efecto, para n = 0
vale, y supuesto que vale para n entonces es claro que tambin vale para S(n)
"nmero" es "smbolo que cumple los axiomas". Es por eso que, a mi modesto
entender, como dije ms arriba, la lgica de primer orden (tan defendida por
los lgicos matemticos) es insuficiente para abarcar la riqueza del
razonamiento matemtico.
Es tambin interesante notar que en la lgica de primer orden s puede
demostrarse que
1 = S(0)
2 = SS(0)
3 = SSS(0)
etc.
Es decir, puede probarse cada instancia del teorema 26, pero no el teorema en
toda su generalidad.
Teorema 27: 3 es primo.
Teorema 28: 2.2 = 4 (luego, 4 no es primo).
Demostracin:
2.2 = 2.S(1) = 2.1 + 2 = 2 + 2.
2 + 2 = 2 + S(1) = S(2 + 1) = S(S(2)) = S(3) = 4.
Teorema 29: Si nm entonces existe k tal que n + k = m o m + k = n.
Definicin: nm si y slo si existe k tal que n + k = m.
n < m si y slo si nm y nm.
Teorema 30: Para todo n y m vale que nm o mn.
Teorema 31: Si nm y mn entonces n = m.
Teorema 32: Si nm entonces SnSm.
Teorema 33: Si nm y mk entonces nk.
Teorema 34: Para todo n, 0n.
Teorema 35: Para todo n, no existe k tal que n < k < Sn.
Teorema 36: Si n < m entonces Snm.
Teorema 37: Si nm entonces para todo k, n+km+k.
Teorema 38: Si nm entonces para todo k, nkmk.
Fin (por ahora).
Publicadas por Gustavo Pieiro No hay comentarios.:
Etiquetas: Axiomas de Peano
16.10.14
1.S(n) =
= 1.n + 1 (Ax. 6)
= n + 1 (por hiptesis)
= S(n) (Teo. 11).
Definiciones:
2 = S(1)
3 = S(2)
4 = S(3)
5 = S(4)
etc.