Академический Документы
Профессиональный Документы
Культура Документы
Induo
Contra-exemplos
Contradio
Contrapositiva
Construo
Diagonalizao
1
Exemplo
Justificativa
(1) x=a2+b2+c2+d2
Dado
Dado
(2) e propriedades da
aritmtica
(1), (3) e propriedades
da aritmtica
(4) x 4
(5) 2x x2
(4) e Teorema*
4
Teorema*: Se x 4, ento 2x x2 (provado mais adiante)
Induo Estrutural
Aplicada quando h definies recursivas.
Ex.: Definio recursiva de rvore
Base: Um nico n uma rvore, e esse n a raiz
da rvore.
Induo: Se T1, T2, ...,Tk so rvores, ento
podemos formar uma nova rvore da seguinte
forma:
1. Comece com um novo n N, a raiz da rvore.
2. Adicione cpias de todas as rvores T1, ...,Tk.
3. Adicione arestas desde o n N at as razes
de cada uma das rvores de 2.
9
Induo Estrutural
Seja S(X) uma afirmao sobre as estruturas X definidas
por alguma definio recursiva especfica.
1. Como base, prove S(X) para a(s) estrutura(s) de base X.
2. Para a etapa indutiva, tome uma estrutura X que a
definio recursiva nos diz que formada a partir de Y1,
Y2, ...Yk. Suponha verdadeiras as afirmaes S(Y1), S(Y2),
...S(Yk) e use essas afirmaes para provar S(X).
k + e1 + e2 + ... + ek
arestas
ns
k + 1 + e1 + e2 + ... + ek
ns
Contra-exemplos
Suposto Teo.: Todos os primos so mpares (ou:
Se o inteiro x primo, ento x mpar)
Contra-exemplo: O inteiro 2 primo, mas
par.
13
Contra-exemplos
Suposto Teo.: No existe par de inteiros a e b tais
que a mod b = b mod a.
Contra-exemplo: Seja a = b = 2.
Ento a mod b = b mod a = 0
No processo de encontrar o contra-exemplo,
descobrimos de fato as condies exatas sob as
quais o suposto teorema verdadeiro:
Teorema: a mod b = b mod a se e somente se a = b.
14
Prova 1:
Suponha que T seja finito (ou seja, negamos a
tese)
Pela definio de conjunto complemento, se T, finito,
complemento de S, finito, em relao a U, ento
U deve ser finito.
Mas, por hiptese, U infinito. Ento U seria ao
mesmo tempo finito e infinito, o que um absurdo
(uma contradio). Logo, nossa hiptese inicial no
pode ser verdadeira.
Portanto, T infinito (provamos a tese).
16
Prova 2:
Nova afirmao
S finito
U infinito
T o complemento
de S
17
Prova:
Sabemos que ST = U e que S e T so
18
19
20
Contrapositiva
s vezes mais fcil provar uma
afirmao da forma se H ento C
provando-se a afirmao equivalente contrapositiva:
se no C ento no H
(vide Tabela Verdade)
21
Tabela Verdade
H
HC
~C ~H
V
22
23
Diagonalizao
Proposta de Cantor
Para conjuntos finitos, emparelhamos os
conjuntos, assim comparamos seus
tamanhos. Se um deles terminar antes que
o outro, ento menor.
Cantor estendeu esta idia para conjuntos
infinitos. Se for possvel emparelh-los
indefinidamente, ento eles so de
tamanhos iguais.
Exemplo: nmeros naturais, , e nmeros
pares. Qual o maior?
25
Funo de mapeamento
n
f(n)
6
.
.
.
f(n) = 2n
Embora intuitivamente
o conjunto dos pares
parea ser menor que
, j que ele um
subconjunto prprio de
, possvel
emparelhar os dois
conjuntos e assim
declarar que eles tm o
mesmo tamanho26
Q (conjuntos dos
nmeros racionais
positivos) tem o mesmo
tamanho de .
A figura ao lado d a
correspondncia de
para Q. Pulamos
elementos repetidos e
continuando assim
obtemos a lista de todos
os elementos de Q:
1, 1/2, 2, 1/3, 3, 1/4, 2/3, 3/2, 4,...
27
28