Beruflich Dokumente
Kultur Dokumente
etica
Unidade 1
N
umeros Inteiros
Abramo Hefez
PROFMAT - SBM
Aviso
PROFMAT - SBM
Aritm
etica - Unidade 1 - N
umeros Inteiros
slide 2/12
Introducao
a+b =b+a
da multiplicacao:
a b = b a.
PROFMAT - SBM
Aritm
etica - Unidade 1 - N
umeros Inteiros
slide 3/12
Associatividade
da adicao:
(a + b) + c = a + (b + c)
da multiplicacao:
(a b) c = a (b c)
a+0=a
para a multiplicacao:
a1=a
Existencia de simetrico:
Para cada a existe b (= a), tal que a + b = 0
Distributividade:
a (b + c) = a b + a c
PROFMAT - SBM
Aritm
etica - Unidade 1 - N
umeros Inteiros
slide 4/12
A subtracao
Com a operacao de adicao e a formacao de simetrico, define-se em
Z a operacao de subtracao:
a b = a + (b),
ou seja, a menos b e a soma de a com o simetrico de b.
Citamos a seguir algumas propriedades da operacao de subtracao:
aa=0
a0=a
0 a = a
(b a) = a b
c (b a) = c b c a
PROFMAT - SBM
Aritm
etica - Unidade 1 - N
umeros Inteiros
slide 5/12
PROFMAT - SBM
Aritm
etica - Unidade 1 - N
umeros Inteiros
slide 6/12
Aritm
etica - Unidade 1 - N
umeros Inteiros
slide 7/12
PROFMAT - SBM
Aritm
etica - Unidade 1 - N
umeros Inteiros
slide 8/12
PROFMAT - SBM
Aritm
etica - Unidade 1 - N
umeros Inteiros
slide 9/12
Boa Ordenacao:
Todo subconjunto nao vazio A de Z e limitado inferiormente
possui um menor elemento.
PROFMAT - SBM
Aritm
etica - Unidade 1 - N
umeros Inteiros
slide 10/12
Princpio da Induc
ao Matem
atica (PIM)
PROFMAT - SBM
Aritm
etica - Unidade 1 - N
umeros Inteiros
slide 11/12
Demonstracao
Seja
V = {n Z; n > a e p(n) e verdadeiro}.
Note que da hipotese (i) tem-se que a V.
Queremos mostrar que e vazio o conjunto
F = {n Z; n > a e p(n) e falso} note que a 6 F.
Suponhamos, por absurdo, que F 6= , logo sendo limitado
inferiormente (por a), pelo PBO temos que F possui um menor
elemento b > a (pois, por (i), a 6 F).
Portanto, b 1 > a e b 1 6 F, ou seja, b 1 V.
Mas, por (ii), temos que b = b 1 + 1 V, o que e um absurdo,
pois b F.
Na realidade, pode-se provar que o PIM e equivalente ao PBO.
PROFMAT - SBM
Aritm
etica - Unidade 1 - N
umeros Inteiros
slide 12/12