3. Considerando la definición del principio del buen orden demostrar la siguiente proposición:
Proposición (Transitividad del orden). Si a < b y b < c en N, entonces a < c,
Utilizando la siguiente definición:
Si a, b ∈ N diremos que a < b si existe un n ∈ N tal que b = a + n
Demostración:
Se tiene que a < b, por definición existe n ∈ N tal que b = a + n, entonces
a < b
= a+n
b < c
a+n = c
1
por lo que se tiene que
a<a+n<c
a+n<c
a<c
2
Bibliografía