1.4.

ORDEN ENTRE NÚMEROS NATURALES 7

V O Ejercicios 1.1

T A O
1. Demostrar que todo número natural diferente de cero es de la forma

U S N
n+ para algún n ∈ N.
2. Demostrar que para todo n ∈ N, n+ = n + 0+ .

A
G B I
3. Si m y n son números naturales tales que m+n = 0, probar que m = 0
y n = 0.
4. Demostrar que si m, n ∈ N entonces m + n ∈ N y mn ∈ N.

R U 5. Probar que si n, m ∈ N son tales que mn = 0 entonces m = 0, o n = 0.

6. Demostrar los lemas 1.10 y 1.11 y el Teorema 1.9.

1.4 Orden entre números naturales

1.12 Definición. Dados m, n ∈ N decimos que:

m ≤ n si existe p ∈ N tal que n = m + p.

Veamos que la relación ≤ define un orden sobre N. En efecto,

1. La relación ≤ es reflexiva.
Para todo m ∈ N, m ≤ m puesto que m = m + 0 con 0 ∈ N.
2. La relación ≤ es antisimétrica.
Si n, m son números naturales tales que m ≤ n y n ≤ m, entonces
existen p, q ∈ N tales que n = m + p y m = n + q. Luego, m =
(m + p) + q = m + (p + q). Por lo tanto, p + q = 0 y, en consecuencia,
p = q = 0, lo que implica m = n.
3. La relación es transitiva.
Si m, n, r ∈ N son tales que m ≤ n y n ≤ r, entonces n = m + p y
r = n + q donde p, q ∈ N, y por lo tanto r= (m + p) + q = m + (p + q)
donde p + q ∈ N, luego m ≤ r.
 8 CAPÍTULO 1. NÚMEROS NATURALES

V O
Como es usual, definimos m < n si m ≤ n y m 6= n. Podemos observar
como consecuencia de la definición que m < n si y solo si n = m + p+ para
algún p ∈ N.

T A
1.13 Teorema (Ley de la tricotomı́a). Dados m, n ∈ N una y solo una

O
de las siguientes afirmaciones es verdadera,

U S A N
m < n, m = n, n < m.

I
La demostración requiere la prueba del lema siguiente.

G B 1.14 Lema. Si m, n ∈ N todas las afirmaciones siguientes son falsas:

R U 1. m < n y m = n.

2. n < m y n = m.

3. m < n y n < m.

Demostración. Si tuviéramos simultáneamente m < n y m = n, tendrı́amos

n = m + p+ , donde p ∈ N y m = n, lo que implicarı́a que p+ = 0. Esto
contradice el axioma A-3. Luego 1 es falsa.

Análogamente demostramos que 2 es falsa.

Ahora, si m < n y n < m tendrı́amos n = m + p+ y m = n + q + lo que

implicarı́a

n = (n + q + ) + p+ = n + (q + + p+ ) = n + (q + + p)+

y en consecuencia (q + + p)+ = 0, lo que contradice A-3, luego 3 es falsa.

Demostración. (Del Teorema 1.13). Dados m, n ∈ N veamos que se tiene al

menos una de las afirmaciones.

Sea S= {n ∈ N | para todo m ∈ N se tiene alguna de las relaciones m < n,

m = n, n < m}.

1. 0 ∈ S, ya que para todo m 6= 0 tenemos 0 < m.

 1.4. ORDEN ENTRE NÚMEROS NATURALES 9

V O
2. Supongamos que n ∈ S. Sea m ∈ N, como n ∈ S se presentan tres
casos:

T A
Caso 1. m < n. En este caso n = m + p+ donde p ∈ N y por lo tanto,

O n+ = n + 0+ = (m + p+ ) + 0+

U S A N
= m + (p+ + 0+ )
= m + (p+ + 0)+

I
= m + (p+ )+

G Bluego m < n+ .

U
Caso 2. m = n. En este caso n+ = n + 0+ = m + 0+ , es decir m < n+ .

Caso 3. n < m. En este caso m = n + p+ donde p ∈ N. Si p = 0 entonces

R m = n + 0+ = n+ . Si p 6= 0 entonces m = n + p+ = n + (p + 0+ ) =
(n + 0+ ) + p = n+ + p, luego n+ < m.

Hemos visto entonces que para todo m ∈ N, se cumple alguna de las

relaciones m < n+ , m = n+ , n+ < m, en consecuencia n+ ∈ S y por A-5,
S = N.

El lema demuestra que solamente se puede tener una de las afirmaciones

m < n, m = n, n < m y ası́ se termina la demostración del teorema.

Otras propiedades del orden en N serán enunciadas en los siguientes

ejercicios.

Ejercicios 1.2

Demostrar cada una de las siguientes afirmaciones:

1. Si n ∈ N y n 6= 0 entonces n ≥ 1.