Relações de ordem em N

Ângelo Bezerra, Iago Cossentino, José Gabriel

April 5, 2018

Definição 1 Seja R uma relação binária em um conjuto não vazio A e x, y, z elementos quaisquer
de A. Dizemos que R é uma relação de ordem em A quando satisfaz as seguintes condições:

i Reflexividade: xRx.
ii Antissimetria: Se xRy e yRx, então x = y.
iii Transitividade: Se xRy e yRz, então xRz.
Um conjunto A 6= ∅, munido de uma relação de ordem, diz-se um conjunto ordenado.

Definição 2 Dados m, n ∈ N, dizemos que mRn se existir p ∈ N tal que n = m + p.

Proposição 1 A relação R da Definição 2 é relação de ordem em N.

Definição 3 Para m, n ∈ N, se mRn, onde R é a relação da definição anterior, dizemos que m é

menor ou igual a n e passaremos a escrever o símbolo ≤ no lugar de R: assim, m ≤ n significará
mRn.
Notação:

1. Se m ≤ n, mas m 6= n, escrevemos m < n e dizemos que m é menor do que n.

2. Escrevemos n ≥ m como alternativa a m ≤ n. Leremos n é maior do que ou igual a m.

3. Escrevemos n > m como alternativa a m < n. Leremos n é maior do que m.

Proposição 2 Para todo n ∈ N∗ , n > 0. Em particular, 1 > 0.

Proposição 3 Para todo n ∈ N, s(n) > n.

Proposição 4 (Lei da Tricotomia) Para quaisquer m, n ∈ N, temos que uma, e apenas uma, das
relações seguintes ocorre:

i m < n;
ii m = n;

iii m > n;

Teorema 1 (Compatibilidade da relação de ordem com as operações en N) Sejam a, b e C naturais

quaisquer. São válidas as seguintes implicações:
1. a ≤ b ⇒ a + c ≤ b + c;
2. a ≤ b ⇒ ac ≤ bc;

Teorema 2 (Lei do cancelamento da multiplicação) Sejama, b, c ∈ N, com c 6= 0, tais que ac = bc.

Então a = b.

Teorema 3 Sejam a, b ∈ N. Então a < b se, e somente se, a + 1 ≤ b.

Teorema 4 (Princípio da Boa Ordem) Todo subconjunto não vazio de N possui um menor ele-
mento.

1
Proposição 5 Seja X um subconjunto de N satisfazendo os dois itens abaixo:

i a∈X
ii n ∈ X ⇒ n + 1 ∈ X
Então temos que {a, a + 1, a + 2, ...} ⊂ X

Proposição 6 Seja s : N =⇒ N a função sucessor. Para cada n ≥ 1, tem-se sn (0) 6= sn (0), para
todo k < n.