Números Inteiros

Matemática para o Ensino Fundamental -

Inteiros

Éder Mateus

Departamento de Matemática - DMAI

28 de setembro de 2021

Números Inteiros MEF

Números Inteiros

Números Inteiros MEF

 Números Inteiros

Ordem dos Inteiros

Teorema
A relação OZ = {(x, y), (a, b) ∈ Z × Z : x + b ≤ y + a} é de
ordem total em Z.

Proposição
Seja w ∈ (x, y ) ∈ Z. Representamos o sı́mbolo ”0”a classe do
elemento neutro para a adição em Z. Considerendo a ordem
OZ , temos:
a) 0 ≤ w se, e somente se, y ≤ x.
b) w ≤ 0 se, e somente se, x ≤ y

Números Inteiros MEF

Números Inteiros

Números Inteiros MEF

 Números Inteiros

Definição
Considere o conjunto dos númeors inteiros munido da ordem
total OZ . Os conjuntos descritos abaixo são, respectivamente,
chamados de conjuntos dos inteiros positivos e conjunto dos
números negativos:

Z+ = {w ∈ Z : 0 ≤ w e w 6= 0}

Z− = {w ∈ Z : w ≤ 0 e w 6= 0}.

Corolário
A ordem OZ particiona o conjunto Z em 3 conjuntos
mutualmente disjuntos.

Números Inteiros MEF

 Números Inteiros

Definição
Considere o conjunto dos númeors inteiros munido da ordem
total OZ . Os conjuntos descritos abaixo são, respectivamente,
chamados de conjuntos dos inteiros positivos e conjunto dos
números negativos:

Z+ = {w ∈ Z : 0 ≤ w e w 6= 0}

Z− = {w ∈ Z : w ≤ 0 e w 6= 0}.

Corolário
A ordem OZ particiona o conjunto Z em 3 conjuntos
mutualmente disjuntos.

Números Inteiros MEF

 Números Inteiros

Teorema
Considere o conjunto dos números naturais e o conjunto dos
números inteiros munidos, respectivamente, com suas ordens
(menor ou igual). Então:

Z+ = {(x, 1) : x ∈ N e 1 < x}

Z− = {(1, x) : x ∈ N e 1 < x}

Números Inteiros MEF

 Números Inteiros

Corolário
Se (a, b) = (x, 1) então o oposto aditivo de (a, b) representado
por −(a, b), é (1, x) = (b, a).

Corolário
O conjunto Z+ = {(x, 1) : x ∈ N e 1 < x} satisfaz os axiomas
de Peano.

Números Inteiros MEF

 Números Inteiros

Observação
Pela função definida no corolário anterior, se m ∈ Z, ou
m = (n + 1, 1) ou m = (1, n + 1) ou m = (1, 1). Assim se
fizermos m = (1, 1) = 0
a) (1 + 1, 1) = (2, 1) = +1, (2 + 1, 1) = (3, 1) = +2; e assim
sucessivamente.
b) (1, 1 + 1) = −(2, 1) = −1, (1, 2 + 1) = −(3, 1) = −2.

Portanto torna-se válido escrever

Z = {.., −3, −2, −1, 0, 1, 2, 3, ...}

Por abuso e notação, se x ∈ (a, b), então

x ∈ ((a + 1) + 1, (b + 1) + 1) = (a + 1, 1) + (1, b + 1) =
(a + 1, 1) − (b + 1, 1) = a − b.

Números Inteiros MEF

 Números Inteiros

Observação
Pela função definida no corolário anterior, se m ∈ Z, ou
m = (n + 1, 1) ou m = (1, n + 1) ou m = (1, 1). Assim se
fizermos m = (1, 1) = 0
a) (1 + 1, 1) = (2, 1) = +1, (2 + 1, 1) = (3, 1) = +2; e assim
sucessivamente.
b) (1, 1 + 1) = −(2, 1) = −1, (1, 2 + 1) = −(3, 1) = −2.

Portanto torna-se válido escrever

Z = {.., −3, −2, −1, 0, 1, 2, 3, ...}

Por abuso e notação, se x ∈ (a, b), então

x ∈ ((a + 1) + 1, (b + 1) + 1) = (a + 1, 1) + (1, b + 1) =
(a + 1, 1) − (b + 1, 1) = a − b.

Números Inteiros MEF

 Números Inteiros

Observação
Pela função definida no corolário anterior, se m ∈ Z, ou
m = (n + 1, 1) ou m = (1, n + 1) ou m = (1, 1). Assim se
fizermos m = (1, 1) = 0
a) (1 + 1, 1) = (2, 1) = +1, (2 + 1, 1) = (3, 1) = +2; e assim
sucessivamente.
b) (1, 1 + 1) = −(2, 1) = −1, (1, 2 + 1) = −(3, 1) = −2.

Portanto torna-se válido escrever

Z = {.., −3, −2, −1, 0, 1, 2, 3, ...}

Por abuso e notação, se x ∈ (a, b), então

x ∈ ((a + 1) + 1, (b + 1) + 1) = (a + 1, 1) + (1, b + 1) =
(a + 1, 1) − (b + 1, 1) = a − b.

Números Inteiros MEF

 Números Inteiros

Definição
Um conjunto ∅ = 6 L ⊂ Z é limitado inferiormente se existe w ∈ Z
tal que w ≤ l, ∀l ∈ L.

Teorema
Todo subconjunto não vazio L ⊂ Z, limitado inferiormente,
possui um menor elemento.

Números Inteiros MEF

 Números Inteiros

Definição
Um conjunto ∅ = 6 L ⊂ Z é limitado inferiormente se existe w ∈ Z
tal que w ≤ l, ∀l ∈ L.

Teorema
Todo subconjunto não vazio L ⊂ Z, limitado inferiormente,
possui um menor elemento.

Números Inteiros MEF

 Números Inteiros

Teorema
Fixado w ∈ Z. seja L = {λ ∈ Z; w ≤ λ}. Seja P uma
proposição tal que:
1) P é válida para w.
2) Se P é válida para λ ∈ L, P é válida para λ + 1.
Então P é válida para todo λ ∈ L.

Números Inteiros MEF