Escolar Documentos
Profissional Documentos
Cultura Documentos
e Sousa Pinto
Universidade de Aveiro, 1999
T
opicos de Matem
atica Discreta
Texto de Apoio - 2005/2006
Departamento de Matem
atica
UNIVERSIDADE DE AVEIRO
Estudar Matematica
...
em memoria de Sousa Pinto
O bom desempenho em qualquer disciplina de Matematica depende em
primeira analise
1. da capacidade de ler atenta e interessadamente os textos
disponveis, por forma a poder interpretar correcta e rigorosamente as materias neles expostas. Este resultado nao se
consegue, em geral, com uma so leitura; frequentemente sao
necessarias duas, tres ou mais leituras variando este n
umero
de leitor para leitor. Nao se aprende matematica sem ler
Matematica!
2. da capacidade de escrever correctamente em Portugues sobre temas de Matematica, usando uma linguagem precisa e
clara. Na apresentacao da resolucao de um problema
devem ser enunciados com precis
ao os resultados
usados; o rigor das demonstrac
oes e o cuidado prestado `
a sua redacc
ao s
ao elementos importantes para
a apreciac
ao das respostas.
Nao responde correctamente a uma questao de Matematica
quem se limita a efectuar uma serie de calculos sem explicar
a sua razao de ser, as suas origens (proximas) e para que
servem no respectivo contexto. Nao se aprende Matematica
sem escrever Matematica!
Indice Geral
1 Introdu
c
ao `
a L
ogica e Teoria de Conjuntos
1.1 Teoria (intuitiva) de Conjuntos . . . . . . . . . . . . . . .
1.1.1 Operacoes com conjuntos . . . . . . . . . . . . . .
1.2 Elementos de Teoria da Deducao . . . . . . . . . . . . . .
1.2.1 Conjectura e demonstracao . . . . . . . . . . . . .
1.2.2 Logica proposicional . . . . . . . . . . . . . . . . .
1.2.2.1 Tautologias e contradicoes . . . . . . . .
1.2.3 Teoremas e demonstracoes . . . . . . . . . . . . . .
1.2.4 Logica com quantificadores . . . . . . . . . . . . .
1.2.4.1 Variaveis e conjuntos . . . . . . . . . . .
1.2.4.2 Os quantificadores universal e existencial
1.3 Relacoes e Aplicacoes . . . . . . . . . . . . . . . . . . . .
1.3.1 Produto cartesiano de conjuntos . . . . . . . . . .
1.3.1.1 Representacao de relacoes . . . . . . . . .
1.3.2 Particoes e relacoes de equivalencia . . . . . . . . .
1.3.3 Relacoes de ordem . . . . . . . . . . . . . . . . . .
1.3.4 Funcoes . . . . . . . . . . . . . . . . . . . . . . . .
1.4 Algebras
de Boole . . . . . . . . . . . . . . . . . . . . . .
1.4.1 Operacoes booleanas fundamentais . . . . . . . . .
1.4.2 Funcoes booleanas . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
1
6
11
13
17
21
25
31
32
33
42
42
45
46
49
55
61
62
70
2 N
umeros Naturais, Indu
c
ao e C
alculo Combinat
orio
2.1 Axiomatica dos N
umeros Naturais . . . . . . . . . . .
2.1.1 Conceito de axiomatica . . . . . . . . . . . . .
2.1.2 Os axiomas de Dedekind-Peano . . . . . . . . .
2.1.3 Aritmetica dos n
umeros naturais . . . . . . . .
2.1.4 O conjunto ordenado (IN, ) . . . . . . . . . .
2.2 Inducao Matematica Aplicacoes . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
77
77
77
79
81
87
88
iii
.
.
.
.
.
.
.
.
.
.
.
.
2.3
2.4
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
92
96
103
111
116
120
124
124
127
127
130
133
3 Rela
c
oes de Recorr
encia e Fun
c
oes Geradoras
3.1 Introducao . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.1.1 Relacoes de recorrencia e equacoes de diferencas . .
3.2 Funcoes Geradoras . . . . . . . . . . . . . . . . . . . . . . .
3.2.1 Relacoes de recorrencia e funcoes geradoras . . . . .
3.2.2 Relacoes de recorrencia lineares homogeneas . . . . .
3.2.2.1 Equacao caracterstica com razes m
ultiplas
3.2.3 Relacoes de recorrencia lineares nao homogeneas . .
135
. 135
. 141
. 143
. 153
. 157
. 161
. 167
4.4 Arvores
e Florestas . . . . . . . . . . . .
173
. 173
. 174
. 180
. 182
. 185
. 186
. 191
. 195
. 199
iv
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Captulo 1
Introduc
ao `
a L
ogica e Teoria
de Conjuntos
1.1
A teoria dos conjuntos foi criada relativamente recentemente por Georg Cantor (1845-1918) que definiu conjunto como sendo uma colecc
ao de objectos
claramente distinguveis uns dos outros, chamados elementos, e que pode ser
claro que se nao se tiver definido previamente
pensada como um todo. E
o que se entende por colecc
ao esta nao sera uma definicao rigorosa para
o termo conjunto. A fim de evitar definicoes circulares, conjunto e elemento de um conjunto sao duas nocoes que nao se definem; um conceito
quando e definido, e-o em termos de outros conceitos mais simples e nao e
habitual considerar conceitos logicamente mais simples que os de conjunto
e elemento de um conjunto. Conjunto e elemento de um conjunto sao assim termos primitivos que se admite serem do conhecimento de toda a gente
(pelo menos de toda a gente que estuda Matematica). Esta seccao destina-se
a relembrar conceitos baseados na nocao de conjunto aqui considerado de
forma intuitiva. Trata-se de um conceito de extraordinaria importancia pois
grande parte da matematica dos nossos dias pode ser construda a partir
dele. Por este facto, o estudo da construcao de conceitos de matematica
a partir da nocao primitiva de conjunto e muitas vezes se designado por
tica.
Fundamentos de Matema
N
ao tem que ser assim: trata-se de uma mera convenc
ao para facilitar o estudo.
=
=
=
=
{x : x e um n
umero real}
{x : x e um n
umero racional}
{x : x e um n
umero inteiro}
{0, 1, 2, 3, . . .}
A A,
A = B se e so se [ A B e B A ]
possui um elemento que nao pertence a A; ora como nao possui elementos
entao aquela relacao verifica-se sempre.
Exerccios 1.1.1
1. Mostrar que os conjuntos , {} e {{}} s
ao distintos dois a dois.
2. Mostrar que se A for um subconjunto do conjunto vazio ent
ao A = .
3. Dado um conjunto arbitr
ario A,
(a) ser
a A membro do conjunto {A}?
(b) ser
a {A} membro do conjunto {A}?
(c) ser
a {A} um subconjunto de {A}?
4. Dados os conjuntos
A
B
C
D
E
=
=
=
=
=
=
=
=
=
=
{1, 1, 2}
{1, 2, 1}
{0, 1, 2}
{2, 1, 1, 2}
{x : x2 = 4 ou x2 = 1}
6. Determinar em extens
ao os seguintes conjuntos
A
B
C
D
E
=
=
=
=
=
{x IN : 8 = x + 3}
{x IN : (x 2)(x 5) = 0}
2
{x IN : x
+ 22 = 13x}
{x IN : 5x 1 + 3x 2 = 3}
{x IN : (x + 1)(x + 2) < 11}
1.1.1
Operac
oes com conjuntos
Exerccios 1.1.2 :
1. Qual e a cardinalidade dos seguintes conjuntos
{1, 2, }, {1, {1, }}, {}, {1}, {{1}}
2. Determinar a cardinalidade do conjunto
p
S =
: p, q IN1 p, q 10
q
3. Seja U = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} o conjunto universal. Dados os conjuntos
A = {1, 3, 5, 7}, B = {2, 3, 4, 5, 6} e C = {0, 2, 4, 6, 8}, definir em extens
ao os
conjuntos
A B, B C, B C c , A (B C),
(A B) (A C), (A B) C, A , B , A C, U c
4. Sejam A, B e C tres conjuntos quaisquer contidos no universo U. Verificar
as seguintes igualdades:
(a)
(b)
(c)
(d)
(e)
A Ac = U
A Ac =
AB A
AB A
(Ac )c = A
5. Em que circunst
ancias s
ao verdadeiras as igualdades que se seguem
AB
A Bc
A
AB
(A B) B c
(A B c ) B
=
=
=
=
=
AB
A
B
A
AB
8. Mostrar que
(a) se A C e B C ent
ao A B C.
(b) se C A e C B ent
ao C A B.
9. Determinar os conjuntos das partes dos conjuntos
A = {1}, B = {1, 2} c = {1, 2, 3}
10. Sendo M = {1, 2, 3, 4} determinar {x M : x 6 }. Quantos elementos ter
a
o conjunto das partes de M ?
11. Descrever os elementos do conjunto P(P(P())).
12. Mostrar que
(a) A B implica P(A) P(B)
(b) P(A B) P(A) P(B)
(c) P(A B) P(A) P(B)
Em que condic
oes se verificam as igualdades nas duas u
ltimas alneas?
13. Determinar o conjunto das partes do conjunto das partes do conjunto {a}.
Concluir-se-a esta seccao com os dois teoremas que se seguem que relacionam varias das operacoes que se podem realizar com conjuntos.
Teorema 1.3 (Propriedade distributiva.) Sendo A, B, C tres conjuntos arbitr
arios, ter-se-
a
(a) A (B C) = (A B) (A C)
(b) A (B C) = (A B) (A C)
Demonstra
c
ao: Uma forma de mostrar a veracidade destas igualdades consiste
em verificar que cada um dos seus membros esta contido no outro. Far-se-a esta
verificac
ao para a primeira alnea deixando a outra a cargo do leitor interessado,
como exerccio.
Para mostrar que se tem A(B C) (AB)(AC) e suficiente verificar que
qualquer elemento t A (B C) tambem pertence ao conjunto (A B) (A C).
De facto, da hip
otese resulta que t pertence a A e a B C ou seja que t pertence a
A e t pertence a B ou t pertence a C. Entao t pertence a A e a B, isto e, t A B,
ou t pertence a A e a C, isto e, t A C. Consequentemente, t (A B) (A C)
e, portanto,
A (B C) (A B) (A C)
(1.1)
como se pretendia mostrar.
Suponha-se agora que s (A B) (A C). Entao s A B ou s A C,
ou seja, s pertence simultaneamente a A e B ou s pertence simultaneamente a A e
C. Portanto, s pertence a A e pertence a B ou a C, donde resulta
(A B) (A C) A (B C)
De (1.1) e (1.2) resulta a igualdade pretendida.
(1.2)
2
(1.3)
(1.4)
2
Exerccios 1.1.5
1. Sendo P, Q, R tres conjuntos, indicar quais das afirmac
oes que se seguem s
ao
verdadeiras.
(a) Se P e um elemento de Q e Q e um subconjunto de R, entao P e um
elemento de R.
(b) Se P e um elemento de Q e Q e um subconjunto de R, entao P e tambem
um subconjunto de R.
(c) Se P e um subconjunto de Q e Q e um elemento de R, entao P e um
elemento de R.
(d) Se P e um subconjunto de Q e Q e um elemento de R, entao P e um
subconjunto de R.
2. Sendo P, Q, R tres conjuntos, provar
(a) (P \Q)\R = P \(Q R)
(b) (P \Q)\R = (P \R)\Q
10
1.2
A definic
ao de implicac
ao bem como de outras operac
oes l
ogicas e feita mais `
a frente.
12
2 e primo
22 1 e primo
1.2.1
Conjectura e demonstra
c
ao
n
2
3
4
5
6
7
8
9
10
primo?
E
sim
sim
nao
sim
nao
sim
nao
nao
nao
2n 1
3
7
15
31
63
127
255
511
1023
primo?
E
sim
sim
nao
sim
nao
sim
nao
nao
nao
experimentar todos os n
umeros compostos possveis: eles sao em n
umero
infinito! Podera haver contra-exemplos que sejam tao grandes que nem com
os actuais meios computacionais seja possvel testa-los. Para demonstrar ou
refutar a conjectura e necessario adoptar entao outros metodos.
A conjectura II e, de facto, verdadeira.
Demonstra
c
ao: Visto que n nao e primo entao existem inteiros positivos a e
b maiores que 1 tais que a < n e b < n e n = ab. Sendo x = 2b 1 e y =
1 + 2b + 22b + + 2(a1)b , ent
ao
xy = 2b 1 1 + 2b + 22b + + 2(a1)b
= 2b 1 + 2b + 22b + + 2(a1)b 1 + 2b + 22b + + 2(a1)b
= 2b + 22b + 23b + + 2ab 1 + 2b + 22b + + 2(a1)b
=
=
2ab 1
2n 1
Visto que b < n pode concluir-se que x = 2b 1 < 2n 1; por outro lado como b > 1
entao x = 2b 1 > 21 1 = 1 donde se segue que y < xy = 2n 1. Entao 2n 1
pode decompor-se num produto de dois n
umeros inteiros positivos x e y maiores
que 1 e menores que 2n 1 o que prova que 2n 1 nao e primo.
2
Os n
umeros primos de Mersenne estao relacionados com um outro tipo
de n
umeros os n
umeros perfeitos relativamente aos quais esta tambem
por resolver outra conjectura famosa. Um n
umero inteiro n diz-se perfeito se
for igual `a soma de todos os inteiros positivos menores que n que o dividem
exactamente. Assim, 6 e perfeito pois 6 = 1 + 2 + 3 e 28 = 1 + 2 + 4 + 7 + 14
e o n
umero perfeito que se lhe segue.
16
1.2.2
L
ogica proposicional
Poder-se-
a definir a Logica como a ciencia das regras que legitimam a utilizac
ao da palavra portanto.
B. Ruyer in Logique
Como foi referido acima, a demonstracao de conjecturas e essencial em matematica. A Logica estuda os metodos de raciocnio, especialmente os que
podem expressar-se sob a forma de argumentos. Um argumento consiste
numa serie (finita) de proposicoes declarativas, chamadas premissas, a partir
das quais se infere uma outra proposicao, a conclus
ao. Ha varios tipos de
argumentos: os dois principais sao os argumentos indutivos e os argumentos
dedutivos. O primeiro, usado no dia a dia pelas ciencias empricas, parte de
dados da experiencia para concluir que uma dada proposicao, provavelmente,
e verdadeira. Os dados da experiencia tornam provavel a veracidade da
conclusao, mas nao a garantem em absoluto.
Um argumento dedutivo, pelo contrario, garante que se todas as premissas forem verdadeiras a conclusao tambem o sera. A argumentacao dedutiva
esta na base das demonstracoes matematicas. Por este facto, far-se-a, antes
de mais, uma breve resenha dos aspectos mais importantes da logica elementar. Relembrar-se-a, para comecar, o significado das conectivas logicas
mais comuns.
3
17
s
ao exemplos de proposic
oes. Por outro lado,
1.
2.
3.
4.
Ser
a (e ) igual a e2 ?
Se ao menos todos os dias pudessem ser como este!
Toda a gente e aardlingueede.
Esta proposic
ao e falsa.
claramente n
ao s
ao proposicoes.
Por vezes combinam-se varias proposicoes para obter proposicoes compostas: neste caso, em geral, pretende-se obter os valores logicos das proposicoes compostas em funcao dos valores logicos conhecidos das proposicoes
mais simples que as compoem.
Uma conectiva logica que modifica o valor de uma dada proposicao p e
a sua negacao n
ao p, denotada geralmente por p, que e uma proposicao
falsa quando p e verdadeira e verdadeira quando p e falsa. Isto pode
expressar-se `a custa da chamada tabela de verdade da negacao:
p
1
0
p
0
1
p
1
1
0
0
q
1
0
1
0
pq
1
0
0
0
pq
1
1
1
0
pq
1
0
1
1
q
1
0
1
0
pq
1
0
0
1
q
1
0
1
0
q
1
0
1
0
pq
1
0
1
1
qp
1
1
0
1
19
(p q) (q p)
1
0
0
1
Na pratica usa-se frequentemente esta relacao: para mostrar que uma proposicao da forma p q e verdadeira decompoe-se essa proposicao nas duas
partes p q e q p e mostra-se separadamente que cada uma delas e
verdadeira.
Nota 1.8 (A implica
c
ao.) A tabela de verdade da conectiva funciona como
aquela definic
ao4 para a implicac
ao que a experiencia mostrou ser a mais adequada.
No entanto h
a aqui um certo conflito em relacao ao que se passa na conversacao
usual: nesta n
ao se dir
a geralmente p implica q quando se sabe `a priori que p
e falsa. A implicac
ao e verdadeira quando o antecedente p e falso qualquer que
seja o consequente q. Esta situacao pode ilustrar-se com a implicacao se dois
mais dois s
ao cinco ent
ao a terra e um queijo que e verdadeira uma vez que o
antecedente e falso.
As duas primeiras linhas da tabela da implicacao nao apresentam qualquer
problema sob o ponto de vista intuitivo do senso comum. Quanto `as duas u
ltimas,
qualquer outra escolha possvel apresentaria desvantagens sob o ponto de vista
l
ogico, o que levou `
a escolha das solucoes apresentadas: de facto, fazendo 0 na 3a
a
linha e 0 na 4 linha obtem-se a tabela da conjuncao, ; fazendo 0 na 3a linha
e 1 na 4a linha obtem-se a equivalencia. Resta a possibilidade de fazer 1 na 3a
linha e 0 na 4a linha que nao e tambem desejavel pois isso equivaleria a recusar a
equivalencia
[p q] [q p]
Ora esta equivalencia e aconselhavel, ela propria, pelo senso comum: por exemplo,
a proposic
ao se o Pedro fala, existe e (intuitivamente) equivalente `a proposicao
se o Pedro n
ao existe, n
ao fala. A aceitacao desta equivalencia impoe a tabela
considerada para a implicacao.
p
1
1
0
0
q
1
0
1
0
pq
1
0
1
1
q
0
1
0
1
p
0
0
1
1
q p
1
0
1
1
Outras definic
oes para a implicac
ao seriam, em princpio, possveis.
20
1.2.2.1
Tautologias e contradi
c
oes
p
0
1
p (p)
1
1
q
1
0
1
0
pq
1
1
1
0
p (p q)
1
1
1
1
pq
1
0
1
1
q
0
1
0
1
p (q)
0
1
0
0
(p q) [p (q)]
0
0
0
0
Exerccios 1.2.3 :
1. Indicar os valores (de verdade ou falsidade) das seguintes afirmac
oes:
(a) 3 7 e 4 e um n
umero inteiro mpar
(b) 3 7 ou 4 e um n
umero inteiro mpar
(c) 5 e mpar ou divisvel por 4
21
7 e um n
umero inteiro par
3+1=4
24 e divisvel por 8
22
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.
20.
21.
22.
23.
24.
25.
a)
b)
a)
b)
c)
a)
b)
a)
b)
a)
b)
c)
d)
a)
b)
a)
b)
c)
a)
b)
a)
b)
p p
[p (p)]
pp
p (p p)
p (p p)
p p
(p q) (q p)
(p q) (q p)
(p q) (q p)
(p (q r)) ((p q) r)
(p (q r)) ((p q) r)
(p (q r)) ((p q) (p r))
(p (q r)) ((p q) (p r))
(p 0) p
(p 0) 0
(p 1) 1
(p 1) p
(p q) (p q)
(p q) (p q)
(p q) [(p q) (q p)]
(p q) [(p q) (p q)]
(p q) (p q)
(p q) (p q)
(p q) (p q)
(p q) (q p)
(p q) [(p q) 0]
[(p r) (q r)] [(p q) r]
[(p q) (p r)] [p (q r)]
[(p q) r] [p (q r)]
p (p q)
(p q) p
[p (p q)] q
[(p q) q p
[(p q) (q r)] (p r)
[(p q) p] q
(p 0) p
[(p q) (r s)] [(p r) (q s)]
(p q) [(p r) (q r)]
idempotencia
idempotencia
dupla negacao
comutatividade
comutatividade
comutatividade
associatividade
associatividade
distributividade
distributividade
identidade
identidade
identidade
identidade
lei de Morgan
lei da Morgan
equivalencia
equivalencia
equivalencia
implicacao
implicacao
contrarecproca
reducao ao absurdo
adicao
simplificacao
modus ponens
modus tollens
silogismo hipotetico
silogismo disjuntivo
absurdo
Na tabela acima apresentam-se alguns exemplos importantes de tautologias onde p, q, r designam variaveis proposicionais (isto e, afirmacoes que ou
23
p (q)
pq
[(p) q)]
q (q)
(p) q
[p q]
p (q)
(p) (q)
24
p [q (p)]
[p [q (r)]] q
[(p) (q)]
[(p) q] [p (r)]
[p q] [p (q)]
[p r] [(r) [p q]]
1.2.3
Teoremas e demonstra
c
oes
(1.5)
(1.6)
ou p1 , . . . , pn /q
pn
q
Interessa distinguir entre argumentos correctos ou validos e argumentos
incorrectos ou invalidos ou falaciosos.
Defini
c
ao 1.11 Um argumento
p1 , . . . , pn /q
diz-se correcto ou v
alido se a conclus
ao for verdadeira sempre que as
premissas p1 , . . . , pn forem simultaneamente verdadeiras e diz-se incorrecto
ou inv
alido ou falacioso no caso contr
ario, isto e, se alguma situac
ao
permitir que as premissas sejam todas verdadeiras e a conclus
ao falsa.
Constru
c
ao de demonstra
c
oes elementares. Os matematicos sao pes5
soas muito cepticas . Tem varios metodos para resolver problemas matematicos que vao desde a experimentac
ao `a tentativa e erro. Mas nao se convencem da validade das respostas obtidas a menos que possam prova-las!
A prova ou demonstracao e uma especie de puzzle para o qual nao ha
5
26
tese
a2 < b2
A tecnica de demonstrac
ao, neste caso, obtem-se por comparacao das duas
desigualdades a < b e a2 < b2 . Multiplicando a primeira desigualdade por a (que e
um n
umero real positivo!) vem
a2 < ab
(1.7)
e multiplicando-a agora por b (que e tambem um n
umero real positivo) vem
ab < b2
(1.8)
27
tese
ac bc c 0
tese
ac > bc
28
Demonstra
c
ao: Far-se-
a a prova pela contra-recproca. Suponha-se c > 0. Entao
multiplicando ambos os membros da desigualdade a > b por c obter-se-a ac > bc.
Consequentemente,
ac bc c 0
2
Exerccios 1.2.5
1. Sejam A, B, C, D quatro conjuntos e suponha-se que A\B C D e seja
x A. Mostrar que se x 6 D ent
ao x B.
2. Sejam a, b n
umeros reais. Mostrar que se a < b ent
ao (a + b)/2 < b.
3. Suponha-se que x e um n
umero real tal que x 6= 0. Mostrar que se
3
x+5
1
=
x2 + 6
x
ent
ao x 6= 8.
4. Sejam a, b, c, d n
umeros reais tais que 0 < a < b e d > 0. Provar que se
ac > bd ent
ao c > d.
As regras que permitem passar de hipoteses feitas e resultados ja demonstrados a novas proposicoes sao conhecidas por regras de infer
encia. A
regra de inferencia mais frequentemente usada, conhecida por modus ponens, e a seguinte:
p q
p
q
Se forem verdadeiras a proposicao p e a implicacao p q, entao q e necessariamente verdadeira.
p
1
1
0
0
q
1
0
1
0
pq
1
0
1
1
p (p q)
1
0
0
0
[p (p q)] q
1
1
1
1
De um modo geral,
p1 , p2 , . . . , pn |= q
e uma regra de inferencia se e so se
p1 p2 . . . p n q
for uma tautologia.
Outras regras de inferencia sao as seguintes:
p, p q
p q, q r
p q, q
p
pq
p, q
|=
|=
|=
|=
|=
|=
q
pr
p
pq
p
pq
modus ponens
modus tollens
Exerccios 1.2.6 Sendo p, q, r e s quatro proposicoes dadas, estabelecer a validade ou invalidade dos seguintes argumentos.
1. (p) q, p |= q
2. p q, r (q) |= p (r)
3. (p) q, (r) (q) |= p (r)
4. q (p), q |= p
5. p |= p q
6. (p q) (r s), r |= (p) (q)
7. p q, (q) (r), s (p r), s |= q
8. p q, q (r), (r) (p) |= (p q)
9. p q, (r) (q), r (p) |= p
10. p (p) |= p
11. p q, p r, r |= q
12. p, q (p), (q) [r (s)], r |= s
13. p (q s), q r |= p (r s)
14. p (q), q p, r p |= q
15. p q, r s, (p s) |= q (r)
30
1.2.4
L
ogica com quantificadores
Ha muitas especies de afirmacoes que se fazem em matematica que nao podem ser simbolizadas e logicamente analisadas em termos do calculo proposicional. Para alem das complexidades externas introduzidas pelas diferentes
conectivas uma afirmacao pode conter complexidades por assim dizer internas que advem de palavras tais como todo, cada, algum, etc. as quais
requerem uma analise logica que esta para alem do calculo proposicional.
Tal analise e objecto da chamada L
ogica de Predicados.
No exemplo que se segue mostram-se as dificuldades que poderiam aparecer se se usasse apenas o calculo proposicional.
Exemplo 1.16 Sejam P e Q dois conjuntos. Represente-se por p a afirmacao
x e um elemento de P e por q a afirmacao x e um elemento de Q. Analisar a
sentenca
(p q) (q p)
em termos de c
alculo proposicional.
Discuss
ao: Antes de mais considere-se a tabela de verdade da sentenca dada.
p
1
1
0
0
q
1
0
1
0
pq
1
0
1
1
qp
1
1
0
1
(p q) (q p)
1
1
1
1
O resultado obtido e algo surpreendente visto que a tabela de verdade indica que
esta sentenca e uma tautologia (sempre verdadeira). Tendo em conta o significado
de p e q tem-se ent
ao que x P implica x Q ou x Q implica x P o que de
acordo com o resultado obtido seria sempre verdadeiro. Mas x P implica x Q
ou x Q implica x P parece afirmar que a proposicao P e um subconjunto de
Q ou Q e um subconjunto de P constitui uma afirmacao sempre verdadeira.Ora,
a propria experiencia mostra que ha outras situacoes possveis para os conjuntos
P e Q, nomeadamente P pode n
ao estar contido em Q e, por seu turno, Q pode
tambem n
ao estar contido em P .
Esta an
alise assim feita conduz a um aparente paradoxo que resultou do facto
de nem p nem q serem, de facto, proposicoes: trata-se de formulas abertas ou
predicados. Por outro lado uma proposicao do tipo P e um subconjunto de Q
tem uma estrutura que requer o uso de quantificadores, isto e, o uso de expressoes
do tipo todo (P e um subconjunto de Q se todo o x P pertencer a Q.)
31
1.2.4.1
Vari
aveis e conjuntos
1.2.4.2
Como se referiu acima, uma formula p(x), contendo uma variavel x, pode
ser verdadeira para alguns valores de x pertencentes ao universo do discurso
e falsa para outros. Por vezes pretende-se dizer que uma dada formula p(x)
se verifica para todos os elementos x (do universo). Escreve-se, entao
para todo o x, p(x)6
e representa-se, simbolicamente, por
x p(x)
(1.9)
33
(1.10)
claro que e sempre possvel supor que x e uma variavel em U, para o que
E
basta escrever
x [ x U [ x D p(x) ] ]
No exemplo 1.17 com a formula p(x) x2 + 1 > 0, pode sempre supor-se
que o universo e U C. Entao,
x p(x)
e uma proposicao falsa, enquanto que
x [ x IR p(x) ]
e uma proposicao verdadeira.
Supondo que D e um conjunto finito, por exemplo,
D = {a1 , a2 , . . . , an }
a formula (1.10) e (logicamente) equivalente `a conjuncao
p(a1 ) p(a2 ) . . . p(an )
o que mostra bem que (1.10) nao tem variaveis livres, tratando-se, portanto,
de uma proposicao. O mesmo significado pode ser dado no caso em que D
e um conjunto infinito envolvendo agora, correspondentemente, um n
umero
infinito de conjuncoes.
Por outro lado, escreve-se
x p(x)
(1.11)
para significar que existe (no universo do discurso) pelo menos um elemento
x para o qual p(x) se verifica, o que se pode ler da seguinte forma
existe pelo menos um x tal que p(x)
A formula (1.11) e uma abreviatura (usada normalmente) para a expressao
x [ x U p(x) ]
onde, novamente, U designa o universo do discurso. O smbolo e chamado
o quantificador existencial.
Se D for um subconjunto de U e p(x) for uma formula com uma variavel
cujo domnio e D, entao
xD p(x) ou x [x D p(x)]
34
36
37
Quantifica
c
ao m
ultipla. Uma formula matematica pode ter mais de
uma variavel. Considere-se, por exemplo, a afirmacao
para cada n
umero inteiro par n existe um n
umero inteiro k para
o qual se verifica a igualdade n = 2k
Denotando por p(n, k) a formula n = 2k e por IP o conjunto dos n
umeros
inteiros pares, a afirmacao pode ser assim apresentada simbolicamente
nIP kZZ p(n, k) ou n [ n IP k [ k ZZ p(n, k) ] ]
que constitui uma proposicao verdadeira.
Considere-se agora a proposicao que se obtem trocando a ordem dos
quantificadores
kZZ nIP p(n, k) ou k [ k IP n [ n IP p(n, k) ] ]
que, em linguagem comum, significa
existe um n
umero inteiro k tal que para todo o n
umero inteiro
par n se tem a igualdadde n = 2k
que e obviamente falsa. Outro exemplo de uma proposicao com dois quantificadores e a seguinte
x y [ x + y = 5 ]
onde o domnio de quantificacao e o conjunto dos n
umeros reais. Em linguagem corrente, escrever-se-ia
para todo o n
umero real x existe um n
umero real y tal que
x + y = 5
que constitui uma proposicao verdadeira (sendo y = 5x para cada x IR).
Se se trocarem os quantificadores obter-se-a
y x [ x + y = 5 ]
que significa
existe um n
umero real y tal que para todo o n
umero real x se
tem x + y = 5
38
xIN yIN [x + y = x]
yIN xIN [x + y = x]
onde y e o elemento neutro da adic
ao (y = 0).
39
corresponde a afirmar que nao e verdade que exista um ser humano que seja
perfeito ou, de modo mais coloquial, ninguem e perfeito. Isto equivale a
afirmar que todos os seres humanos sao n
ao perfeitos (isto e, imperfeitos),
o que pode simbolizar-se assim
x [x H p(x) ]
Tendo em conta que a (b) e equivalente a (a b), entao
(x [x H p(x) ]) x [x H p(x) ] x [x H p(x) ]
De modo semelhante, pode verificar-se que
(x [x U p(x) ])
equivale a
x [x U p(x) ] ou x [ p(x) ]
ou
x [x U p(x) ]
Em resumo, de um modo generico, tem-se as equivalencias
(x p(x)) x [ p(x) ]
(x p(x)) x [ p(x) ]
conhecidas por Segundas Leis de Morgan.
Exerccios 1.2.9
1. Traduzir em linguagem simb
olica, escolhendo em cada caso os universos apropriados, as seguintes afirmac
oes:
(a) Para cada linha l e cada ponto P nao pertencente a l existe uma linha
l0 que passa por P e e paralela a l.
(b) Para cada x no conjunto A existe y no conjunto B tal que f (x) = y.
(c) Para todo o x pertencente ao domnio da funcao f e para todo o > 0
existe > 0 tal que |x c| < implica |f (x) L| < .
(d) Para cada x em G existe x0 em G tal que xx0 = e.
(e) A soma de dois n
umeros pares e par.
2. Indicar em linguagem comum a negac
ao de cada uma das afirmac
oes do exerccio anterior.
3. Seja p(x, y) a f
ormula x + 2 > y e seja IN {0, 1, 2, . . .} o conjunto dos
n
umeros naturais. Escrever em linguagem comum o significado das express
oes
que se seguem e determinar os seus valores l
ogicos.
40
x
y
x
y
x
x
y
x
y
x
y
y
(x < y)
(x < y)
(x < y)
(x < y)
(x < y)
(x < y)
x y (2x y = 0)
y x (2x y = 0)
y x (2x y = 0)
x [ x < 10 y [ y < x y < 9 ] ]
y z (y + z = 100)
x y [ y > x (y + x = 100) ]
A identidade da adic
ao e o 0.
Todo o n
umero real tem simetrico.
Os n
umeros negativos n
ao tem razes quadradas.
Todo o n
umero positivo possui exactamente duas razes quadradas.
41
1.3
1.3.1
Expressar a proposic
ao xM q(x) em termos de conjuntos.
Formular a negac
ao do resultado da alnea (a) em termos de Q.
Formular o resultado da alnea (b) em termos de Qc .
Interpretar logicamente a alnea (c) com uma proposic
ao que envolva
q(x).
Rela
c
oes e Aplica
c
oes
Produto cartesiano de conjuntos
Os conjuntos {a, b}, {b, a} e {a, b, a} sao iguais porque tem os mesmos elementos; a ordem pela qual se escrevem os elementos e irrelevante, assim
como nao tem qualquer significado que um elemento apareca escrito uma
so vez ou varias vezes. Em certas situacoes, porem, e necessario distinguir conjuntos com os mesmos elementos colocados por ordens diferentes ou
conjuntos nos quais um mesmo elemento aparece mais que uma vez. Tais
situacoes aparecem, por exemplo, em geometria analtica plana onde a cada
ponto do plano se associa o par de n
umeros reais (x, y) que sao as suas
coordenadas: (2, 3) e (3, 2), por exemplo, sao coordenadas de dois pontos
distintos. Expressoes como estas sao designadas por pares ordenados e,
em termos de conjuntos, podem representar-se da seguinte forma
(2, 3) = {{2}, {2, 3}}
(3, 2) = {{3}, {2, 3}}
(onde a assimetria dos elementos no segundo membro determina qual e o
primeiro elemento e qual e o segundo elemento no primeiro membro). O
caso de de um par ordenado cujos elementos sao iguais reduz-se ao seguinte:
(a, a) = {{a}}
Expressoes do tipo (a, b, c) designam-se por ternos ordenados e, de um
modo geral, expressoes da forma (a1 , a2 , . . . , an ) designam-se por n-uplos
ou sequencias ordenadas de n elementos. Um n-uplo pode definir-se recursivamente por
(a1 , . . . , an1 , an ) ((a1 , . . . , an1 ), an ) , n > 2
42
sendo (a1 , a2 ) {{a1 }, {a1 , a2 }}. Dois pares ordenados sao iguais se
tiverem o mesmo primeiro elemento e o mesmo segundo elemento, isto e,
(a, b) = (a0 , b0 ) a = a0 b = b0
o que decorre imediatamente da definicao de par ordenado dada acima.
Consideracoes analogas se podem fazer relativamente `a igualdade de dois
n-uplos.
Defini
c
ao 1.19 Sejam A e B dois conjuntos n
ao vazios. Chama-se produto cartesiano de A por B, e representa-se por A B, ao conjunto de
todos os pares ordenados (a, b) tais que a A e b B, ou seja
A B = {(a, b) : a A b B}
No caso particular em que se tem A = B obtem-se o conjunto
A2 = {(a, a0 ) : a, a0 A}
designado por quadrado cartesiano de A.
O conceito de produto cartesiano pode ser estendido a mais de dois conjuntos
de modo natural. Assim, sendo A, B e C tres conjuntos quaisquer, o produto
cartesiano de A por B por C, denotado por A B C, e o conjunto de
todos os ternos ordenados (x, y, z) onde x A, y B e z C:
A B C = {(x, y, z) : x A y B z C}
Analogamente, o produto cartesiano de n conjuntos A1 , A2 , . . . , An , denotado por A1 A2 An e definido por
A1 A2 An = {(x1 , x2 , . . . , xn ) : x1 A1 x2 A2 . . . xn An }
Se, em particular, se tiver A1 = A2 = = An = A obtem-se
A1 An = An
= {(x1 , . . . , xn ) : xi A para todo i = 1, 2, . . . , n}
que e a potencia cartesiana de ordem n do conjunto A.
Defini
c
ao 1.20 Chama-se rela
c
ao bin
aria de A para B a todo o subconjunto n
ao vazio R do produto cartesiano A B. Se, em particular, for
A = B ent
ao R diz-se uma relac
ao bin
aria definida em A.
43
Exemplo 1.22 Sejam A e B conjuntos de numeros reais. A relacao R (de igualdade) define-se da seguinte forma
aRb se e so se a = b
para todo o a A e todo o b B.
44
1.3.1.1
Representa
c
ao de rela
c
oes
rij =
se (ai , bj ) R
se (ai , bj ) 6 R
1
0
1 0
R= 0 1
1 0
1
R= 0
1
0
1
0
0
1
1
1
0
0
45
x2
x5 W dy
3
d
Rd
y
x3
1.3.2
x7
- d
x4
~ d
z K
x6
Partic
oes e rela
c
oes de equival
encia
46
Defini
c
ao 1.29 Seja A um conjunto n
ao vazio e R uma relac
ao bin
aria
2
definida em A. A relac
ao R A dir-se-
a uma rela
c
ao de equival
encia
em A se satisfizer as seguintes propriedades:
(a) reflexividade: a [ a A aRa ],
(b) simetria: a,bA [ aRb bRa ]
(c) transitividade: a,b,cA [ [ aRb bRc ] aRc ]
Sendo A um conjunto e R A2 uma relacao de equivalencia chama-se classe
de equival
encia que contem o elemento a A ao conjunto, denotado
geralmente por [a], definido por
[a] = {x A : (x, a) R},
onde o elemento a A se diz representante da classe.
Teorema 1.30 Seja R uma relac
ao de equivalencia definida num conjunto
A. Ent
ao:
(1) cada elemento de A pertence `
a sua classe de equivalencia,
isto e, a [a], qualquer que seja a A;
(2) a reuni
ao de todas as classes de equivalencia e o conjunto
A, isto e, aA [a] = A;
(3) dados dois elementos a, b A ter-se-
a aRb quando e s
o
quando a e b pertencerem `
a mesma classe de equivalencia,
isto e,
a,bA [ aRb [a] = [b] ];
47
Defini
c
ao 1.31 Seja A um conjunto e R uma relac
ao de equivalencia em
A. Chama-se conjunto quociente de A por R, e denota-se por A/R, ao
conjunto de todas as classes de equivalencia determinadas em A por R,
A/R = {[a] : a A}
Uma relacao de equivalencia num conjunto nao vazio A origina uma
particao desse conjunto em classes de equivalencia que sao os blocos da
particao obtida. Reciprocamente,
Teorema 1.32 Seja P uma partic
ao de um conjunto n
ao vazio A e R a
relac
ao definida em A por
aRb a e b pertencem ao mesmo bloco de P
Ent
ao R e uma relac
ao de equivalencia.
claro que se a A entao aRa (o elemento a estas no
Demonstra
c
ao: (a) E
mesmo bloco dele pr
oprio).
(b) Se aRb ent
ao a e b estao no mesmo bloco e, portanto, bRa.
(c) Se aRb e bRc, ent
ao a, b e c estao no mesmo bloco. Logo aRc
Visto que R e reflexiva, simetrica e transitiva entao e uma relacao de equivalencia,
designada rela
c
ao de equival
encia determinada pela parti
c
ao P.
2
48
1.3.3
Relac
oes de ordem
Defini
c
ao 1.35 Chama-se rela
c
ao de ordem definida no conjunto A a
uma relac
ao bin
aria R A2 com as seguintes propriedades:
(1) reflexividade: a [ a A aRa ],
(2) anti-simetria: a,bA [ [ aRb bRa ] a = b ]
(3) transitividade: a,b,cA [ [ aRb bRc ] aRc ]
Se, adicionalmente, R satisfizer a proposic
ao
(4) dicotomia: a,b [ a, b A [ aRb bRa ] ]
dir-se-
a uma rela
c
ao de ordem total. Se R n
ao for uma relac
ao de ordem
total tambem se designa, por vezes, relac
ao de ordem parcial.
49
Exemplo 1.36
1. Seja A uma famlia de conjuntos. A relacao em A definida por A e um
subconjunto de B e uma ordem parcial.
2. Seja A um subconjunto qualquer de n
umeros reais. A relacao em A e uma
relac
ao de ordem total e a chamada ordem natural.
3. A relac
ao R definida em IN por xRy se e s
o se x e m
ultiplo de y e uma
relac
ao de ordem parcial em IN.
Defini
c
ao 1.37 Seja R uma relac
ao de ordem definida em A; a relac
ao
2
R A definida por
a,bA [ aR b [ aRb a 6= b ] ]
(1.12)
51
12
*6
6
4
I
@
@
@
@
2
6
@
I
@
@
@
3
2. Seja agora B = {1, 2, 3, 4, 6, 8, 12, 24} (= A {1, 24}) com a ordem tal como
foi definida no exemplo anterior. Entao 1 e o mnimo de B e 24 e o maximo
de B. 1 e o u
nico elemento minimal de B e 24 e o u
nico elemento maximal
de B. O diagrama de Hasse agora tem o seguinte aspecto:
24
@
I
@
@
@ 12
*6
6
4
@
I
@
I
@
@
@
@
@
@3
2@
I
@
@
@
1
8
52
Defini
c
ao 1.42 Seja (A, ) um conjunto ordenado. Chama-se cadeia de
A a um subconjunto de A que e totalmente ordenado por .
No exemplo 1 acima, o conjunto {2, 4, 12} e uma cadeia; no exemplo 2, o conjunto {1, 2, 6, 12, 24} e uma cadeia e no exemplo 3, o conjunto {, {1}, {1, 2}}
e uma cadeia.
Defini
c
ao 1.43 Seja A um conjunto totalmente ordenado pela relac
ao .
Dir-se-
a que e uma boa ordem ou que A e bem ordenado por se
todo o subconjunto n
ao vazio de A possuir mnimo.
O exemplo tpico de um conjunto bem ordenado e dado por IN provido com
a relacao de ordem usual, enquanto que ZZ com a ordenacao usual nao e
bem ordenado. Por razoes analogas tambem Q ou IR com as suas ordenacoes
usuais tambem nao sao conjuntos bem ordenados.
Exerccios 1.3.1
1. Sendo o par ordenado (a, b) definido em termos de conjuntos por (a, b) =
{{a}, {a, b}} mostrar que se verifica a seguinte equivalencia:
(a, b) = (c, d) [a = c b = d]
quaisquer que sejam os pares ordenados (a, b) e (c, d).
2. Sejam dados os conjuntos A = {a, b, c}, B = {1, 2} e C = {4, 5, 6}.
53
A (B C) = (A B) (A C)
A (B C) = (A B) (A C)
(A B) (Ac B) =
[A B C D] A C B D
A (B C) = (A B) (A C)
A (B C) = (A B) (A C)
(A B) (C D) = (A C) (B D)
A (B\C) = (A B)\(A C)
54
1.3.4
Func
oes
Defini
c
ao 1.44 Seja f A B uma relac
ao de A para B. Se, para todo
o x A existir um e um s
o y B tal que (x, y) f dir-se-
a que f e uma
55
aplica
c
ao (ou fun
c
ao) de A em B; para significar que f e uma aplicac
ao
de A em B costuma escrever-se
f :A B
e, neste caso, escreve-se y = f (x), dizendo-se que y B e a imagem por
f de x A.
Dada uma aplicacao f : A B, ao conjunto A tambem se da o nome de
domnio de f e com este significado representa-se por D(f ) Df (ou, mais
simplesmente, por D).
Exemplo 1.45 Como exemplos de algumas relacoes que sao funcoes e outras que
o n
ao s
ao, considere-se
A
B
f
g
h
=
=
=
=
=
{1, 2, 3, 4}
{1, 2, 3, 4, 5}
{(1, 2), (2, 3), (3, 4), (4, 5)}
{(1, 2), (1, 3), (2, 4), (3, 5), (4, 5)}
{(1, 1), (2, 2), (3, 3)}
Ent
ao f , g e h s
ao relacoes de A para B mas apenas f e uma funcao definida em
A; g e h n
ao s
ao func
oes definidas em A a primeira porque tanto (1, 2) como (1, 3)
s
ao elementos de g e a segunda porque D(h) = {1, 2, 3} =
6 A. A funcao f e particularmente simples, podendo ser descrita pela formula f (x) = x + 1 qualquer que seja
x A. Embora a maior parte das funcoes normalmente consideradas nas disciplinas
de C
alculo sejam dadas de forma semelhante, em geral, nao se podem especificar
as func
oes deste modo; de facto, a maioria das funcoes que se podem definir nao
podem ser descritas de forma tao simples `a custa de uma formula algebrica.
O conjunto
I(f ) f (A) = {y B : [ x [ x A y = f (x) ] ]}
designa-se por contradomnio da aplicacao f . Se f (A) = B dir-se-a que f e
uma aplica
c
ao sobrejectiva (ou aplicacao sobre B); a aplicacao f : A B
diz-se injectiva (ou unvoca) se cada elemento de f (A) for imagem de um
so elemento de A, isto e, f e injectiva se e so se
x,x0 [ x, x0 A [ x 6= x0 f (x) 6= f (x0 ) ] ]
o que significa que elementos distintos de A tem necessariamente imagens por
f diferentes em f (A) B. Se a aplicacao f : A B for simultaneamente
56
= [h g](f (x))
= h[g(f (x))] = h[(g f )(x)] = [h (g f )](x)
Defini
c
ao 1.47 Dado um conjunto A chama-se aplica
c
ao identidade em
A`
a aplicac
ao idA : A A definida por
idA (x) = x
qualquer que seja x A.
57
58
59
(c) Ser
a f sobrejectiva?
(d) Determinar o conjunto das pre-imagens de 4.
(e) Determinar a imagem recproca do conjunto {t : 1 t 4}.
7. Sendo IR o conjunto dos n
umeros reais explicar porque e que as func
oes definidas
por
1
f (x) =
e g(x) = x
x2
n
ao s
ao func
oes de IR em IR.
8. Sendo IN o conjunto dos n
umeros naturais e f : IN IN a func
ao definida por
f (n) = 2n + 5
mostrar que f e injectiva e determinar a func
ao inversa. Ser
a f sobrejectiva? E a
func
ao inversa ser
a sobrejectiva?
9. Seja f : IR IR definida por f (x) = x2 4. Determinar as imagens dos seguintes
conjuntos
(a) {4, 4, 5}
(b) {4, 5}
(c) {t : t IR t 0}
10. Dar um exemplo de uma func
ao real de vari
avel real tal que
(a) seja injectiva e sobrejectiva,
(b) n
ao seja injectiva nem sobrejectiva.
11. Seja X = {p, q, r}, Y = {a, b, c, d} e Z = {1, 2, 3, 4} e sejam g : X Y definida
pelo conjunto dos pares ordenados {(p, a), (q, b), (r, c)} e f : Y Z definida pelo
conjunto de pares ordenados {(a, 1), (b, 1), (c, 2), (d, 3)}. Escrever a func
ao composta f g sob a forma de um conjunto de pares ordenados.
12. Sendo A = {p, q, r} e f : A A definida por f (p) = q, f (q) = p e f (r) = q. Dar a
func
ao f f sob a forma de um conjunto de pares ordenados.
13. Seja A e f como no problema anterior. Definir
g = f f f
(nvezes)
60
se x A
se x
6 A
1
0
chama-se fun
c
ao caracterstica do conjunto A.
Sejam A e B dois subconjuntos de U. Mostrar que para todo o x U
(a) fAB (x) = fA (x) fB (x)
(b) fAB (x) = fA (x) + fB (x) fA (x) fB (x)
(c) fA (x) + fAc (x) = 1
(d) fC (x) = fA (x) + fB (x) 2fA (x) fB (x) onde C designa a diferenca simetrica
de A e B.
1.4
Algebras
de Boole
1.4.1
Operac
oes booleanas fundamentais
1
1
1
0
1
0
1
0
1
1
0
0
0
0
a
1
0
0
1
Antes de estabelecer algumas propriedades das algebras de Boole considere-se o conceito de dualidade. Por definicao, o dual de qualquer proposicao
numa algebra booleana e a proposicao que se obtem por substituicao na
primeira da operacao + pela operacao e da constante 1 pela constante 0.
Teorema 1.52 (Princpio de Dualidade) O dual de qualquer teorema
numa
algebra de Boole e tambem um teorema.
O princpio de dualidade verifica-se em qualquer algebra de Boole. Cada
axioma da definicao de algebra de Boole tem duas partes e a u
nica diferenca
entre estas duas partes e o papel desempenhado pelas operacoes + e que
estao trocados bem assim como o papel desempenhado pelas constantes 1
63
Demonstra
c
ao:
(a)
a+a
=
=
=
=
=
(a + a) 1
(a + a) (a + a
)
a + (a a
)
a+0
a
por
por
por
por
por
B4
B5
B3
B5
B4
(b)
aa
=
=
=
=
=
(a a) + 0
(a a) + (a a
)
a (a + a
)
a1
a
por
por
por
por
por
B4
B5
B3
B5
B4
64
Demonstra
c
ao:
(a)
a+1
=
=
=
=
=
+ 1)
1(a
(a + a
) (a + 1)
a + (
a 1)
a+a
por
por
por
por
por
B4
B5
B3
B4
B5
(b)
a0
=
=
=
=
=
(a 0) + 0
(a 0) + (a a
)
a (0 + a
)
aa
por
por
por
por
por
B4
B5
B3
B4
B5
a + (a b)
=
=
=
=
(a 1) + (a b)
a (1 + b)
a1
a
por B4
por B3
pelo teorema 1.54
por B4
Demonstra
c
ao: (a) Seja b B qualquer. Entao por B5
b + b = 1 e b b = 0
Fazendo, em particular, b = a
obter-se-a
(
a) + a
= 1 e (
a) a
= 0
(1.13)
65
(1.14)
2
=
=
=
=
=
=
(x y) x
+ (x y) y
x (y x
) + x (y y)
x (
x y) + x (y y)
(x x
) y + x (y y)
(0 y) + (x 0)
0
por B3
por B2
por B1
por B2
por B5
pelo teorema 1.54
=
=
=
=
=
=
(
x + y) + (x y)
[
x + y) + x] [(
x + y) + y]
[x + (
x + y)] [(
x + y) + y]
[(x + x
) + y] [x + (y + y)]
(1 + y) (x + 1)
1
por B1
por B3
por B1
por B2
por B5
pelo teorema 1.54
Tem-se ent
ao
(x y) (
x + y) = 0 e (x y) + (
x + y) = 1
pelo que, tendo em conta B5,
xy = x
+ y
2
A segunda proposic
ao obtem-se por dualidade.
Exemplo 1.58 (Circuitos com interruptores.) Sejam x, y, . . . interruptores electricos e suponha-se que x, x
designam sempre dois interruptores com a propriedade de que se um esta ligado o outro esta desligado e vice-versa.
Dois interruptores, x e y, por exemplo, podem ser ligados por fios, em serie ou
em paralelo, como segue
x
66
y
z
x (y + x
)
(
x + z)y + x
y
y
1
0
1
0
xy
1
0
0
0
x
1
1
0
0
y
1
0
1
0
x+y
1
1
1
0
0
1
Observe-se que as tres tabelas acima sao identicas `as tabelas da conjuncao,
disjunc
ao e negac
ao de proposic
oes.
Para determinar o comportamento de um circuito booleano constroi-se uma
tabela que e an
aloga `
as tabelas de verdade do calculo proposicional. Para os dois
circuitos acima, por exemplo, tem-se o seguinte:
x
1
1
0
0
y
1
0
1
0
0
0
1
1
x
+y
1
0
1
1
x(y + x
)
1
0
0
0
A corrente s
o passar
a se os interruptores x e y estiverem ligados simultaneamente.
67
x
1
1
1
1
0
0
0
0
y
1
1
0
0
1
1
0
0
z
1
0
1
0
1
0
1
0
0
0
0
0
1
1
1
1
z+x
1
0
1
0
1
1
1
1
(z + x
)y
1
0
0
0
1
1
0
0
y
0
0
1
1
0
0
1
1
x
y
0
0
1
1
0
0
0
0
(z + x
)y + x
y
1
0
1
1
1
1
0
0
Neste caso a corrente passara para 5 configuracoes possveis dos tres interruptores.
Desenhando os circuitos apropriados e enumerando todas as situacoes possveis,
pode verificar-se que todos os axiomas de algebra de Boole sao validos quando
interpretados em termos de circuitos com interruptores.
Teorema 1.59 A
algebra dos circuitos com interruptores e uma
algebra booleana.
Por exemplo, os dois circuitos equivalentes
y
z
x + yz
y
z
(x + y)(x + z)
z
y
z
xy
z+x
(y + z)
68
x
y
(x + y + z)uv(y
z + x + yu)
Exerccios 1.4.2
1. Desenhar os circuitos com interruptores que realizam as express
oes booleanas
que se seguem sem efectuar qualquer simplificac
ao previa.
(a) xyz + xy(zw + st)
(b) x + y(z + wt) + su
(c) x[y(z + w) + z(u + v)]
(d) (x + y + z)(x + y
z ) + zw + w(
y + z)
(e) (xy + x
y z + x
z )z
(f ) xz + y + yz + x
yz
(g) (xy + z)(y + z) + z
(h) x
z + x
y + z
2. Determinar as express
oes que representam algebricamente os seguintes circuitos:
(a)
c
a
b
f
g
(b)
c
b
b
c
69
(c)
z
x
y
y
x
s
w
y
Exerccios 1.4.3
1. Seja A um conjunto qualquer e P(A) o conjunto das partes de A. Verificar que
B (P(A), , ) constitui uma
algebra de Boole quando, para cada x P(A)
se define x
= A\x.
2. Mostre que o conjunto {a, b, c, d} com as operac
oes definidas pelas tabelas
seguintes e uma
algebra de Boole.
+
a
b
c
d
a
a
b
b
a
b
b
b
b
b
c
b
b
c
c
a
b
c
d
d
a
b
c
d
a
a
a
d
d
b
a
b
c
d
c
d
c
c
d
d
d
d
d
d
1.4.2
Func
oes booleanas
x
1
1
0
0
y
1
0
1
0
xy
1
0
0
0
x+y
1
1
1
0
e
x
1
0
0
1
x2
1
1
0
0
1
1
0
0
x3
1
0
1
0
1
0
1
0
x
2
0
0
1
1
0
0
1
1
x
2 x3
0
0
1
0
0
0
1
0
f (x1 , x2 , x3 )
1
1
1
1
0
0
1
0
Esta tecnica pode ser usada para expressar uma funcao booleana com
qualquer n
umero de variaveis booleanas na forma canonica. Cada um dos
termos que contem todas as variaveis (com ou sem barra) chama-se termo
can
onico.
A forma canonica de uma funcao booleana pode tambem obter-se directamente a partir da sua tabela de valores como se indica no exemplo que se
segue.
Exemplo 1.62 Seja f : {0, 1}3 {0, 1} a funcao definida por
x
1
1
1
1
0
0
0
0
y
1
1
0
0
1
1
0
0
z
1
0
1
0
1
0
1
0
f (x, y, z)
1
0
0
1
0
1
0
1
Ent
ao
f (x, y, z)
1 xyz + 0 xy
z + 0 x
y z + 1 x
y z + 0 x
yz + 1 x
y
z+
0x
yz + 1 x
yz
= xyz + x
y z + x
y
z+x
yz
=
e a express
ao analtica da funcao f (x, y, z) na sua forma canonica.
72
Simplifica
c
ao de fun
c
oes booleanas. Anteriormente mostrou-se como
se pode reduzir uma funcao booleana `a sua forma canonica. Esta, no entanto, nem sempre e a forma mais conveniente para resolver certos problemas. Por vezes e desejavel expressar uma funcao booleana com o n
umero
mnimo de termos e variaveis, obtendo-se entao a chamada forma mnima.
Isto e particularmente importante no desenho de circuitos com interruptores:
quanto menos termos e menos variaveis mais simples e mais economico sera
o circuito.
A simplificacao de um circuito pode fazer-se muitas vezes apelando `a
intuicao e `a esperiencia. Contudo, para circuitos muito complexos, tais
como os que aparecem nos modernos computadores, e necessario dispor
de tecnicas mais sistematicas. Ha varios metodos baseados na teoria das
funcoes booleanas. Aqui considerar-se-a apenas o menos sofisticado daqueles metodos que se baseia na aplicacao directa das propriedades das algebras
de Boole.
O metodo geral de simplificacao de um circuito consiste em determinar, em primeiro lugar, a funcao booleana que o representa, simplificar a
funcao booleana obtida e, finalmente, desenhar um novo circuito que realize
a funcao booleana simplificada.
y
a
b
c
= (xy + abc)(xy + a
+ b + c)
= xyxy + xy
a + xyb + xy
c + abcxy + abc
a + abcb + abc
c
= xy + xy
a + xyb + xy
c + abcxy
= xy(1 + a
+ b + c + abc) = xy
b
b
c
b
c
74
c
d
g(a, b, c, d) = bc + abcd + cd
h(a, b, c, d) = a
c+a
b
c + b
cd
entao
f (a, b, c, d) = g(a, b, c, d) + h(a, b, c, d)
Considerando o dual de g
d(g)
= (b + c)(a + b + c + d)(c + d)
= (ab + bb + bc + bd + ac + bc + c + cd)(c + d)
= abc + abd + bcc + bcd + bcd + bdd + acc + acd + bcc +
bcd + cc + cd + ccd + cdd
= abc + abd + bc + bcd + bcd + ac + acd + bc + bcd + c + cd + cd
+ bc(1 + d)
+ c(1 + d)
+ cd
= abc + abd + bc(1 + d + d) + ac(1 + d)
= abc + abd + bc + ac + bc + c + cd
= (a + 1)bc + abd + ac + (b + 1 + d)c
= bc + abd + ac + c
= (b + a + 1)c + abd = c + abd
g(a, b, c, d) = c(a + b + d)
Por outro lado,
d(h)
= (a + c)(
a + b + c)(b + c + d)
= (a
a + ab + a
c+a
c + b
c + c
c)(b + c + d)
= abb + ab
c + abd + ab
c + a
cc + a
cd + a
b
c + a
cc + a
cd +
bb
c + b
cc + b
cd + cb + cc + cd
= ab
c + abd + ab
c + a
c + a
cd + a
b
c + a
c + b
c + b
cd + b
c + c + cd
+ b
+ c(1 + d)
= ab
c + abd + (1 + a + a
)b
c + a
c(1 + d)
c(1 + d)
= ab
c + abd + b
c + a
c + b
c + c
= (ab + b + a + b + 1)
c + abd
= c + abd
h(a, b, c, d) = c(a + b + d)
75
Consequentemente, tem-se
+ c(a + b + d)
= a + b + d
f (a, b, c, d) = c(a + b + d)
pelo que o circuito simplificado equivalente e
a
b
d
2.
a
a
76
b
c
a
b
c
Captulo 2
N
umeros Naturais, Indu
c
ao e
C
alculo Combinat
orio
2.1
2.1.1
Axiom
atica dos N
umeros Naturais
Conceito de axiom
atica
Aqueles que se ocupam da geometria, da aritmetica e ciencias
desse genero admitem o par e o mpar, as figuras, tres tipos de
angulos, (...) Estas coisas dao-nas por sabidas, e, quando as usam
como hip
oteses, nao acham que ainda seja necessario prestar contas disto a si mesmos nem aos outros, uma vez que sao evidentes
para todos. Partindo da, analisando todas as fases e, tirando
consequencias, atingem o ponto a cuja investigacao se tinham
abalancado.
blica (VI, 510, cd)
Plat
ao in Repu
de termos distintos disponveis em qualquer vocabulario. Evita-se esta impossibilidade aceitando, uma vez por todas, o emprego de termos primitivos
escolhidos `a priori que devem ser em pequeno n
umero e de conte
udo simples.
o que se faz em teoria dos conjuntos na qual conjunto e elemento de um
(E
conjunto nao se definem, sendo considerados termos primitivos.)
Numa teoria os termos especficos que nao sao primitivos dizem-se termos definidos. Suponha-se conhecida a lista de todos os termos primitivos
de uma dada teoria. A introducao de um novo termo especfico na teoria
far-se-a `a custa destes termos primitivos e de termos logicos. A explicacao
assim obtida para o novo termo constitui o que se chama uma defini
c
ao e
este termo e o termo definido. Assim, o primeiro termo definido, t1 , e explicado apenas `a custa de termos primitivos (e termos logicos); para definir
um segundo termo, t2 , podem agora empregar-se todos os termos primitivos
e o termo definido t1 (e termos logicos); um terceiro termo, t3 , pode ser
explicado `a custa dos termos primitivos e de todos os termos ja definidos
anteriormente, t1 e t2 (e os termos logicos que forem necessarios). Este procedimento segundo o qual uma definicao atribui um sentido a um termo `a
custa de termos primitivos e de termos definidos anteriormente, evita o ciclo
vicioso que seria o de um termo ser explicado `a custa de termos que por sua
vez acabariam por ser explicados por ele proprio.
A parte central de qualquer teoria matematica e constituda por enunciados de proposicoes ou sentencas verdadeiras (no contexto daquela teoria).
Estes enunciados estabelecem as ligacoes entre os termos especficos da teoria. Os termos especficos e os termos logicos sao o material basico para
a construcao daquelas afirmacoes. Tal como acontece com os termos especficos, podem subdividir-se as proposicoes verdadeiras de uma teoria em
duas classes:
(1) proposicoes primitivas ou axiomas, e
(2) proposicoes derivadas ou teoremas.
Os axiomas sao afirmacoes que se aceitam como verdadeiras sem qualquer prova; sao necessarias por razoes analogas `as expostas a proposito dos
termos primitivos. Os axiomas sao geralmente apresentados no incio de
uma teoria, imediatamente a seguir aos termos primitivos e, tal como estes,
sao geralmente em pequeno n
umero e dotados de sentido intuitivo.
Uma vez estabelecidos os axiomas de uma teoria, novas proposicoes podem ser formuladas. Agora, no entanto, para que uma proposicao possa ser
78
considerada um teorema dentro da teoria (isto e, seja uma proposicao verdadeira da teoria) torna-se necessario submete-la a um teste designado por
prova ou demonstra
c
ao. Serao teoremas as proposicoes que satisfizerem
positivamente aquele teste. Para provar uma primeira proposicao, p1 , os
u
nicos argumentos que podem ser usados sao os axiomas e as definicoes ja
estabelecidas; se p1 decorrer logicamente destes argumentos (isto e, se for
demonstrada) entao transforma-se num teorema, T1 . Para provar uma nova
proposicao, p2 , podem agora usar-se nao so os axiomas e as definicoes estabelecidas mas tambem o teorema T1 ; se a proposicao p2 for demonstrada
entao transforma-se num teorema, T2 . Este processo vai-se repetindo assim
sucessivamente tal como ja foi referido no caso das definicoes, isto e, uma
demonstracao mostra a veracidade de uma proposicao por argumentos que
se baseiam nos axiomas da teoria e nas definicoes e teoremas ja estabelecidos.
Note-se que, entendendo-se que uma proposicao so e considerada verdadeira se puder ser demonstrada a partir dos axiomas da teoria e de teoremas ja demonstrados, isso significa que a veracidade de uma proposicao depende directamente dos axiomas da teoria sob consideracao; uma proposicao
pode ser um teorema numa certa teoria e nao o ser noutra (por exemplo,
em geometria euclidiana plana a proposicao
a soma dos
angulos de um tri
angulo e igual a um
angulo raso
e um teorema, mas deixa de o ser no contexto de outras geometrias diferentes
daquela). Neste sentido, numa teoria axiomatica, a questao que se poe
relativamente a uma dada proposicao nao e a de saber se ela traduz algum
tipo de verdade mas sim a de saber se aquela proposicao e ou nao uma
consequencia logica dos axiomas da referida teoria.
2.1.2
Os axiomas de Dedekind-Peano
Como exemplo tpico e relativamente bem conhecido de uma teoria axiomatica apresenta-se a Axiomatica de Dedekind-Peano para os n
umeros naturais que servira de base para a demonstracao de algumas das suas consequencias elementares.
A construcao axiomatica de Dedekind-Peano do conjunto dos n
umeros naturais parte de tres termos primitivos zero, n
umero natural e sucessor
e de cinco axiomas que os relacionam:
N1 O zero e um n
umero natural e representa-se por 0.
N2 Cada n
umero natural n tem um e um so sucessor, representado por suc(n), que e tambem um n
umero natural.
79
Denotar-se-
a por IN1 o subconjunto de IN igual a IN\{0} e, de um modo mais geral,
para qualquer p IN, denotar-se-
a por INp o conjunto INp {n IN : n p}.
80
1. 0 A (pela definic
ao do conjunto A)
2. Suponha-se que n A, n 6= 0. Entao n = suc(m) para algum m IN.
Consequentemente, suc(n) = suc(suc(m)) e como, por N2, suc(m) IN
ent
ao suc(n) A.
Dos dois argumentos precedentes, tendo em conta N5, vem A = IN ficando provada
a afirmac
ao.
2.1.3
Aritm
etica dos n
umeros naturais
A aritmetica dos n
umeros naturais baseia-se em duas operacoes: a adicao
e a multiplicacao. Nenhuma destas operacoes recebe uma mencao explcita
na Axiomatica de Dedekind-Peano o que significa que as mesmas podem
ser definidas em termos das nocoes ja introduzidas. Tal modo de proceder
apresenta, no entanto, um acrescimo de dificuldades pelo que se adoptara
aqui o ponto de vista que consiste em introduzir as definicoes de adicao e
multiplicacao em IN de forma axiomatica podendo depois deduzir-se toda
a aritmetica dos n
umeros naturais fazendo repetido apelo ao princpio da
inducao matematica.
A adi
c
ao de n
umeros naturais e uma operacao interna, denotada pelo
smbolo +, que e definida recursivamente por
A1 n [ n IN [ n + 0 = n ] ],
A2 n,m [ m, n IN [ n + suc(m) = suc(n + m) ] ]
podendo mostrar-se que existe uma e so uma operacao interna definida sobre
IN que satisfaca A1 e A2.
Podem agora provar-se novas propriedades satisfeitas pelos elementos
de IN partindo apenas das proposicoes aceites como verdadeiras ate este
momento.
Teorema 2.2 A adic
ao em IN e associativa.
Demonstra
c
ao: Seja X o conjunto de n
umeros definido por
X {p IN : m,n [ m, n IN [ (m + n) + p = m + (n + p) ] ]}
Como de A1 resulta (m + n) + 0 = m + n = m + (n + 0), para todo o m, n IN
tem-se ent
ao que
0X
(2.1)
81
= suc ((m + n) + q)
= suc (m + (n + q))
= m + suc(n + q) = m + (n + suc(q))
(2.2)
De (2.1) e (2.2), tendo em conta o axioma N5, resulta que X = IN e que, portanto,
para todos os n
umeros m, n, p IN
(m + n) + p = m + (n + p)
2
(2.4)
e de (2.3) e (2.4), tendo em conta o axioma N5, resulta que M = IN0 ou, o que e
o mesmo, que
0+m=m+0
qualquer que seja m IN.
(b) Para demonstrar a comutatividade no caso geral torna-se necessario provar,
antes de mais, os seguintes resultados preliminares:
Lema 2.4 mIN [ suc(m) = 1 + m ].
82
Demonstra
c
ao: Seja S {s IN : suc(s) = 1 + s}. Visto que,
por definic
ao, se tem 1 = suc(0) entao, tendo em conta A1, vem
suc(0) = 1 + 0, o que mostra que
0S
(2.5)
(2.6)
2
Demonstra
c
ao: Da alnea (a) do teorema tem-se que qualquer que
seja m IN m + 0 = 0 + m e, portanto, tendo em conta o axioma N2,
vem suc(m+0) = suc(0+m), donde por A2 m+suc(0) = 0+suc(m),
ou seja, atendendo ao Lema 2.4 e `a parte (a) do teorema,
m + 1 = 0 + suc(m) = suc(m) + 0 = suc(m) = 1 + m
2
= suc(m + p)
= suc(p + m) = p + suc(m)
= p + (1 + m) = (p + 1) + m = suc(p) + m
(2.8)
De (2.7) e (2.8) e tendo em conta o axioma N5 resulta que X = IN, o que por seu
lado completa a demonstrac
ao do teorema.
2
A multiplica
c
ao de n
umeros naturais e uma operacao interna, denotada
pelo smbolo (ou mais frequentemente por simples justaposicao) que se
define recursivamente por
83
M1 n [ n IN [ n 0 = 0 ] ]
M2 n,m [ m, n IN [ n suc(m) = n m + n ],
sendo, tambem neste caso, possvel provar que existe uma e uma so operacao
interna definida sobre IN0 que satisfaca M1 e M2.
Teorema 2.6 A multiplicac
ao em IN e distributiva `
a direita relativamente
a adic
`
ao, isto e,
m(n + p) = mn + mp
quaisquer que sejam os n
umeros m, n, p IN.
Demonstra
c
ao: Seja X o conjunto de n
umeros definido por
X {p IN : m,n [m, n IN [ m(n + p) = mn + mp ] ]}.
Tendo em conta A1 e M1 tem-se para todos m, n IN que m(n + 0) = mn =
mn + 0 = mn + m0 o que mostra que
0 X.
(2.9)
= m suc(n + q) = m(n + q) + m
= (mn + mq) + m = mn + (mq + m)
= mn + m suc(q)
(2.10)
De (2.9) e (2.10), tendo em conta o axioma N5, conclui-se que X = IN, ficando
provado o teorema.
2
84
(2.11)
= (mn)q + mn = m(nq) + mn
= m(nq + n) = m(n suc(q))
(2.12)
(2.14)
De (2.13) e (2.14), atendendo ao axioma N5, X = IN, ficando o teorema completamente demonstrado.
2
Demonstra
c
ao: (a) - Provar-se-a em primeiro lugar que qualquer que seja m IN
se tem 0m = m0. Seja M {m IN0 : 0m = m0}. Como 0 0 = 0 0 entao tem-se
imediatamente que
0M
(2.15)
Seja n M qualquer. Entao da definicao de M resulta que 0 n = n 0 e portanto,
tendo em conta M1 e M2, a hipotese de inducao o lema 2.4 e o teorema 2.8, vem
sucessivamente
0 suc(n)
= 0n+0
= n 0 + 1 0 = (n + 1) 0 = suc(n) 0
donde resulta
n [ n M suc(n) M ]
(2.16)
(2.17)
(2.18)
2
(2.19)
= mp + m
= pm + 1 m = (p + 1)m = suc(p) m
(2.20)
86
2.1.4
87
2.2
Indu
c
ao Matem
atica Aplica
c
oes
2. nZZ [ n p [ n A n + 1 A ] ]
entao,
A = {n ZZ : n p}
O princpio de inducao matematica usual e um caso particular deste enunciado no qual p = 0.
Este princpio e usado frequentemente em Matematica para provar proposicoes da forma
n [ n INr p(n) ]
onde INr = {n ZZ : n r} e p(n) e uma formula com uma variavel livre
cujo domnio e INr . Considere-se, por exemplo, a seguinte proposicao
n IN1 1 + 2 + 3 + + n =
n(n + 1)
2
cuja prova se pode fazer apelando ao princpio de inducao matematica generalizado. Seja p(n) a formula
1 + 2 + 3 + + n =
n(n + 1)
2
n(n + 1)
+ (n + 1)
2
1
(n + 1)(n + 2)
n+1 =
(n + 1)
2
2
= (1 + x)n (1 + x)
(1 + xn )(1 + x) = 1 + x + xn + xn+1
1 + xn+1
Ent
ao da validade de p(n) resulta a validade de p(n + 1) e, portanto, pelo princpio
de induc
ao matem
atica pode afirmar-se que p(n) se verifica qualquer que seja n =
1, 2, 3, . . ..
n
3
2
(2.21)
90
Exerccios 2.2.1
1. Provar as seguintes proposic
oes
(a) n [ n IN 12 + 22 + + n2 = n(n + 1)(2n + 1)/6 ]
(b) n [ n IN 13 + 23 + + n3 = (n(n + 1)/2)2 ]
(c) n [ n IN 1 + 3 + 5 + + (2n 1) = n2 ]
(d) n [ n IN n 2 x,y [ xn y n = (x y)(xn1 + xn2 y +
+ xy n2 + y n1 ) ] ]
(e) n [ n IN 2 divide n(n + 1) ]
(f ) n [ n IN Dxn xn = n! ]
(g) n [ n IN 2n > n ]
(h) n [ n IN a,b [ a, b IR a > b > 0 an > bn ] ]
(i) n [ n IN
1
13
1
24
+ +
1
n(n+2)
3n2 +5n
4(n+1)(n+2)
1
12
3
1
23
1
34
+ +
1
n(n+1)
n
n+1
a1 = 1
an+1 = an + 8n
Descobrir uma f
ormula fechada para an e prove a sua validade por induc
ao.
3. Seja (an )n=1,2,... uma sucess
ao definida recursivamente por
a1
an
= 1
= an1 + 2 an1 + 1,
n2
Mostrar que an e um n
umero inteiro qualquer que seja n IN.
4. Descobrir e provar por induc
ao uma f
ormula para
1
0
1
1
91
n
2.2.1
92
(a) 0 T, e
(b) k [ k T k + 1 T],
entao, pelo Axioma N5, segue-se que T = IN. Em consequencia vem Ac = IN e,
portanto, A = o que contradiz a hipotese considerada. Logo A possui primeiro
elemento.
2
Para completar o ciclo de implicacoes que nos permite concluir a equivalencia dos dois princpios de inducao e do princpio da boa ordenacao de IN,
mostrar-se-a agora que o princpio de inducao completa implica a inducao
fraca.
Teorema 2.16 Suponha-se que se verifica em IN o princpio de induc
ao
completa e seja A um conjunto de n
umeros naturais tal que
1. 0 A,
2. n [ n IN [ n A n + 1 A ] ]
Ent
ao A = IN.
93
Demonstra
c
ao: Suponha-se que se verificam as duas condicoes acima. Visto que
a proposic
ao
nIN [ {0, 1, . . . , n} A n A ]
e evidentemente verdadeira, entao tem-se que
nIN [ [ {0, 1, . . . , n} A [ n A n + 1 A ] ]
donde resulta imediatamente
nIN [ {0, 1, . . . , n} A n + 1 A ]
Pelo princpio de induc
ao completa ter-se-a entao A = IN, ficando demonstrado o
teorema.
2
94
da induc
ao completa podem ser usadas para resolver o mesmo tipo de problemas
exemplificar-se-
a a demonstrac
ao da conhecida proposicao
n [ n IN1 1 + 2 + + n = n(n + 1)/2 ]
usando agora o princpio da boa ordenacao.
Represente-se por p(n), como e habitual, a formula
1 + 2 + + n =
1
n(n + 1)
2
Seja
A = {n IN1 : p(n)}
Se A = ent
ao a proposic
ao fica automaticamente demonstrada. Suponha-se
entao que A 6= . Pelo princpio da boa ordenacao, A tem um primeiro elemento,
k. Visto que p(1) e evidentemente verdadeira, entao 1 6 A e, portanto, k 6= 1,
donde se pode concluir que k 1 IN1 . Como, por outro lado, k 1 6 A entao
p(k 1) e verdadeira. Ent
ao, tem-se o seguinte:
1 + 2 + + (k 1) + k
1
(k 1)k + k
2
1
1
= k
(k 1) + 1 =
k(k + 1)
2
2
=
o que mostra que p(k) e uma proposicao verdadeira. Mas isto e contraditorio com o
facto de k ser o primeiro elemento de A. A contradicao resultou de se supor que A
era n
ao vazio o que, portanto, e falso. Ou seja, p(n) verifica-se para todo o n IN1 .
Resolu
c
ao. Suponha-se, pelo
contrario, que 2 e racional; isto e, que existem
n
umeros r, s IN1 tais que 2 = r/s. Entao,
m( 2 1) = k m e um n
umero natural menor que m (visto que 0 < 2 1 < 1)
e, portanto, 2 n
ao e um n
umero racional.
Exerccios 2.2.2
95
ao de IN. Se
2. Mostrar que 3 e irracional usando o princpio da boa
ordenac
pretendesse usar a mesma tecnica para mostrar que 4 e irracional onde e
que a demonstrac
ao falhava?
3. Sejam e as soluc
oes da equac
ao
x2 x 1 = 0
com > 0. Para n IN1 qualquer define-se
fn =
n n
A sucess
ao (fn )nIN e conhecida por sucess
ao de n
umeros de Fibonaci de que
se voltar
a a falar no seguimento.
(a)
(b)
(c)
(d)
(e)
(f )
Determinar f1 , f3 e f4 .
Mostrar que n [n IN1 fn+2 = fn+1 + fn ].
Mostrar que fn e inteiro qualquer que seja n IN1 .
Mostrar que fn < (13/8)n qualquer que seja n IN1 .
2
Mostrar que fn+1
fn fn+2 = (1)n qualquer que seja n IN1 .
Mostrar que para todo o n IN1
n
X
fi = fn+2 1
i=1
2.3
1 n 2
5 + (1)n+1
15
3
Introdu
c
ao ao C
alculo Combinat
orio
Esta relacao de equipotencia entre conjuntos e reflexiva, simetrica e transitiva. Logo e uma relacao de equivalencia.
Defini
c
ao 2.21 Diz-se que dois conjuntos tem o mesmo n
umero de elementos (ou a mesma potencia) se e s
o se A e B forem equipotentes.
Deste modo, o n
umero de elementos de um conjunto A a cardinalidade
de A, card(A) e, por asssim dizer, a propriedade que esse conjunto tem
de comum com todos os conjuntos que se possam por em correspondencia
bijectiva com A. Por conseguinte, o n
umero de elementos de A podera ser
representado indistintamente por qualquer desses conjuntos (equipotentes a
A) incluindo o proprio A.
Se A for um conjunto finito entao e possvel definir uma correspondencia
bijectiva entre os elementos de A e os elementos de um subconjunto de IN1
da forma
{1, 2, 3, . . . , n}
para algum n IN1 . Entao card(A) = n.
Cardinal da reuni
ao de conjuntos. Sejam A e B dois conjuntos finitos
com cardinalidade card(A) e card(B), respectivamente. Se A e B forem
conjuntos disjuntos, isto e, se A B = , entao
card(A B) = card(A) + card(B)
(2.22)
card
n
[
Aj =
n
X
card(Aj )
j=1
j=1
(2.23)
H
a, portanto, ao todo, 43 estudantes distintos a frequentar as duas disciplinas.
card
n
[
j=1
Aj =
n
X
card(Aj )
j=1
98
card(Ai Aj ) +
1i<jn
card(Ai Aj Ak )
1i<j<kn
+ (1)n1 card(A1 A2 An )
que pode demonstrar-se pelo metodo de inducao finita.
Cardinal do produto cartesiano de conjuntos. Suponha-se que numa
sala de baile se encontram 4 rapazes que se designam por a1 , a2 , a3 , a4 e 5
raparigas que se designam por b1 , b2 , b3 , b4 , b5 . Seja
A = {a1 , a2 , a3 , a4 }
B = {b1 , b2 , b3 , b4 , b5 }
Quantos pares diferentes se podem formar, ao todo, sendo cada par constitudo por um rapaz e uma rapariga? Este n
umero e, naturalmente, o
cardinal do produto cartesiano A B, ou seja
card(A B)
Cada rapaz pode figurar em 5 pares diferentes visto haver 5 raparigas; como
ha quatro rapazes entao podem formar-se ao todo 4 5 pares diferentes.
Assim,
card(A B) = 20
Sejam agora A e B dois conjuntos finitos quaisquer, nao vazios, e seja
card(A) = m e card(B) = n. Como B tem n elementos, cada elemento de
A da origem exactamente a n pares diferentes de A B. Portanto, como A
tem m elementos, sera m n o n
umero de elementos de A B.
Se um, pelo menos, dos conjuntos A, B e vazio, e claro que nenhum par
ordenado pode ser formado e, assim, AB e tambem vazio. Por conseguinte,
quaisquer que sejam os conjuntos finitos A e B, tem-se sempre:
card(A B) = card(A) card(B)
Esta formula generaliza-se imediatamente ao caso de produtos cartesianos
de 3 conjuntos A, B e C
card(A B C) = card[(A B) C]
= card(A B) card(C)
= [card(A) card(B)] card(C)
= card(A) card(B) card(C)
99
n
X
aik bkj
k=1
Esta f
ormula envolve n produtos aik bkj e (n 1) adicoes (note-se que para somar 2
n
umeros se executa uma adicao, para somar 3 n
umeros se executam duas adicoes,
etc.). Como C possui n2 elementos entao o calculo de C envolve n3 multiplicacoes
e n2 (n 1) adic
oes.
Exemplo 2.24 Um cofre tem tres discos, cada um com as mesmas 24 letras e
s
o pode ser aberto quando se coloca uma determinada letra de cada um dos discos
numa determinada posic
ao. Supondo que se ignora o segredo do cofre, de quantas
maneiras diferentes se podem colocar as letras dos discos nas referidas posic
oes?
Resolu
c
ao. As maneiras diferentes de colocar as letras sao dadas por todas as
sequencias de 3 letras escolhidas no conjunto das 24 letras disponveis. Seja A o
conjunto de todas as letras; entao
A3 = {(a, b, c) : a, b, c A}
e o conjunto de todas as sequencias possveis e, portanto, o n
umero pretendido sera
card(A3 ) = card(A)3 = 243 = 138 247
100
Exemplo 2.25 Quantos numeros diferentes de 5 algarismos se podem representar com os algarismos 1, 3, 9 no sistema decimal?
Resolu
c
ao. Os referidos n
umeros tais como 11391, 31933, etc. correspondem a
todas as sequencias de 5 algarismos escolhidos de 1, 3, 9. Estas sequencias sao
{1, 3, 9}5 = {(a, b, c, d, e) : a, b, c, d, e = 1, 3, 9}
Assim,
card {1, 3, 9}5
N
umero de subconjuntos de um conjunto finito.
junto qualquer, o conjunto
Sendo A um con-
P(A) = {X : X A}
e, como se sabe, o conjunto das partes de A. Entre os conjuntos pertencentes
a P(A) figuram o conjunto vazio e o proprio conjunto A.
Sendo A finito, a contagem dos elementos de P(A) pode fazer-se de
maneira simples, aplicando a teoria do produto cartesiano. Com efeito, se
101
= 2card(A)
Exerccios 2.3.1
1. O n
umero de c
odigo da seguranca social de uma pessoa e uma sequencia de
9 dgitos (n
ao necessariamente distintos). Sendo X o conjunto de todos os
possveis n
umeros de c
odigo de seguranca social, determinar o n
umero de
elementos de X.
2. Chama-se n
umero bin
ario a uma sequencia de 0s ou 1s. Um n
umero bin
ario
com 8 dgitos designa-se por byte.
(a) Quantos bytes existem?
(b) Determinar o n
umero de bytes que comecam por 10 e terminam por
01.
102
(c) Determinar o n
umero de bytes que comecam por 10 e n
ao terminam
em 01.
(d) Determinar o n
umero de bytes que comecam por 10 ou terminam por
01.
3. Numa sala h
a n casais. Determinar o n
umero de escolhas possveis de pares
constitudos por uma mulher e um homen que n
ao seja seu marido.
4. Seja X o cojunto de todos os polin
omios de grau 4 na indeterminada t cujos
coeficientes s
ao n
umeros inteiros n
ao negativos de um s
o dgito. Determinar
a cardinalidade de X.
5. O nome de uma vari
avel na linguagem de programac
ao FORTRAN e uma
sequencia que tem no m
aximo seis caracteres dos quais o primeiro e obrigatoriamente uma letra do alfabeto e os restantes, se existirem, s
ao letras ou
dgitos. Determinar o n
umero de nomes distintos para vari
aveis nesta linguagem.
2.3.1
Arranjos, permuta
c
oes e combina
c
oes
O n
umero de todos os possveis arranjos de m elementos p a p e designado
pela notacao
Am
p
Deduzir-se-a agora uma formula que permite calcular o n
umero Am
p para m
e p conhecidos. Nao faz sentido considerar arranjos de m objectos tomados
p a p se p for maior que m: assim o n
umero de tais arranjos e sempre igual
a zero.
Considere-se, para comecar, o seguinte caso particular:
Com as letras a, b, c, d quantos arranjos de duas letras diferentes
se podem formar?
Os arranjos com uma so letra sao evidentemente os seguintes
a,
b,
c,
d,
em n
umero de 4. Pode entao escrever-se
A41 = 4
Os arranjos com duas letras formam-se agora `a custa dos anteriores, colocando, `a direita de cada arranjo formado por uma so letra, cada uma das
letras dadas que ainda nao figuram nele. Assim, o arranjo a da origem aos
arranjos
ab,
ac,
ad,
e nao ha mais arranjos com duas letras comecadas por a. Procedendo
analogamente com os restantes obtem-se o seguinte quadro
ab
ac
ad
ba
bc
bd
ca
cb
cd
da
db
dc
abd,
E nao ha mais arranjos que contenham, nos dois primeiros lugares, as letras
ab, por esta ordem. Procedendo analogamente com os restantes arranjos,
obtem-se
abc
abd
acb
acd
adb
adc
bac
bad
bca
bcd
bda
bdc
cab
cad
cba
cbd
cda
cdb
dab
dac
dba
dbc
dca
dcb
(2.24)
que e o n
umero de arranjos nos quais entram todos os objectos dados. Neste
caso aos arranjos de m objectos tomados m a m da-se o nome de permutacoes. Denotando o n
umero de permutacoes de m objectos por Pm ,
vem
P m = Am
m
Para m = 1 vem P1 = A11 = 1 e, para m > 1 qualquer,
Pm = Am
m = m (m 1) (m 2) 2 1
ou seja, o n
umero total de permutacoes de m elementos e igual ao produto
dos primeiros m n
umeros naturais 1, 2, . . . , m. Este produto e, como se sabe,
o factorial de m e representa-se por m!. Entao,
Pm = m!
106
m!
m!
=
= m!
(m m)!
0!
entre os 4, sem que interesse a ordem pela qual sao considerados. Tais conjuntos (como simples conjuntos) so podem diferir entre si pelos elementos
de que sao formados: da-se-lhes o nome de combina
c
oes dos 4 livros 3 a 3.
Mais geralmente,
Defini
c
ao 2.29 Dados m elementos quaisquer, chamam-se combina
c
oes
desses m elementos p a p a todos os conjuntos que e possvel obter com p
elementos escolhidos entre os m dados (sem atender a qualquer ordem).
Uma vez que se trata de simples conjuntos e nao de sequencias ordenadas,
duas combinacoes serao distintas quando, e so quando, existir pelo menos
um elemento de uma que nao seja elemento da outra.
O n
umero de todas as possveis combinacoes de m elementos p a p e
designado por
!
m
m
Cp ou
p
imediato concluir que
E
!
m
p
= 0 quando p > m
m
m
= 1
e, portanto,
!
Cpm
m
p
Am
p
Pp
ou, substituindo Am
oes, vem
p e Pp pelas suas express
!
m
p
m(m 1) (m p + 1)
m!
=
p!
p!(m p)!
(2.25)
m
p
m
mp
109
110
14.
15.
16.
17.
2.3.2
O bin
omio de Newton
Os n
umeros Ckn de combinacoes de n elementos tomados k a k aparecem na
formula do binomio de Newton, razao pela qual sao muitas vezes designados
por coeficientes binomiais.
Teorema 2.30 (F
ormula de Pascal) Se n e k forem dois n
umeros inteiros tais que 1 k n 1, ent
ao
n
k
n1
n1
+
k
k1
Este resultado pode obter-se por simples aplicacao das regras usuais da
algebra. Assim,
!
n1
n1
+
k
k1
=
=
=
=
(n 1)!
(n 1)!
+
k!(n 1 k)! (k 1)!(n 1 k + 1)!
(n 1)!
(n 1)!
+
k!(n k 1)! (k 1)!(n k)!
(n 1)!(n k) + k(n 1)!
k!(n k)!
n!
=
k!(n k)!
111
n
k
n1
n1
+
k
k1
n
n
= 1
1
1
1
1
1
1
2
3
4
1
3
1
4
n
n
n
n
+
+
+ +
0
1
2
n
= 2n
(1 + x)
n
n
n 2
n r
n n
+
x+
x + +
x + +
x (2.26)
0
1
2
r
n
1
1
+
x
0
1
(1 + x) = 1 + x =
k
k
k 2
k k
+
x+
x + +
x
0
1
2
k
(1 + x)k =
(1 + x)
k
k
k 2
k k
+
x+
x + +
x (1 + x)
0
1
2
k
!
k
k
k 2
k k
+
x+
x + +
x +
0
1
2
k
!)
k
k 2
k 3
k k+1
x+
x +
x + +
x
0
1
2
k
!
k
+
0
k
k
+
0
1
!
x+
k
k
+
k1
k
!)
k
k
+
1
2
!)
x2 +
k k+1
x +
x
k
k
k+1
(1+x)
k
k+1
k+1 2
k+1 k
k k+1
+
x+
x + +
x +
x
0
1
2
k
k
113
e como
k
0
k+1
0
k
k
= 1 e
k+1
k+1
= 1
k+1
(1 + x)
k+1
k+1
k+1 2
+
x+
x +
0
1
2
k+1 k
k + 1 k+1
+
x +
x
k+1
k
o que mostra a veracidade da proposicao
kIN1 [p(k) p(k + 1)]
Tendo em conta o princpio de inducao finita fica demonstrada a formula do
binomio de Newton para n IN1 qualquer.
A formula (2.26) pode generalizar-se. O desenvolvimento de (x + y)n
pode obter-se a partir do desenvolvimento anterior, tendo em atencao que,
sendo x 6= 0, e
y n
(x + y)n = xn 1 +
x
Como
y
1+
x
n
n
n
+
0
1
!
y
x
n
+
2
!
2
y
x
n
+ +
n
!
n
y
x
xn 1 +
y
x
n
= (x + y)n
!
n n
n n1
n n2 2
x +
x
y+
x
y +
0
1
2
!
n nk k
n n
+
x
y + +
y
k
n
(2.27)
(x + y)
n
X
n
j=0
114
xnj y j
(2.28)
(x y)
n
X
n
j=0
(1)j xnj y j
(2.29)
n
n
n
n
+
+
+ +
0
1
2
n
= 2n
que ja anteriormente tinha sido referida; por outro lado, fazendo em (2.29)
x = y = 1 vem
!
n
n
n
n
+
+ (1)n
0
1
2
n
= 0
n1
n(1 + x)
n
n
n 2
n n1
+2
x+3
x + + n
x
1
2
3
n
n2
n1
n
n
n
n
+2
+3
+ + n
1
2
3
n
(1 + x)
n
X
n
j=0
xj
n(1 + x)
n
X
n j1
=
j
x
j
j=1
nx(1 + x)
n
X
n j
=
j
x
j
j=1
115
n(1 + x)
n2
+ n(n 1)(1 + x)
n
X
j=1
n j1
x
j
Substituindo x por 1,
n2
n(n + 1)2
n
X
n
j
j=1
2.3.2.1
Newton (1642-1727) generalizou a formula do binomio obtendo uma expressao para (x + y) onde e um n
umero real qualquer. Para valores
de que nao sejam inteiros e positivos, no entanto, o desenvolvimento
transforma-se numa serie infinita relativamente `a qual se poem questoes
de convergencia. Limitar-nos-emos a estabelecer aqui o teorema deixando a
sua demonstracao para os textos de Analise Matematica.
Teorema 2.31 Seja um n
umero real qualquer. Ent
ao para todo o x, y
tais que |x/y| < 1
!
X
j j
(x + y) =
x y
j
j=0
onde
( 1) ( j + 1)
j!
(x + y)
n
X
n
j=0
xj y nj
X
j
(1 + z) =
z
j
j=0
116
n
j
n(n 1) (n j + 1)
j!
j n(n
= (1)
+ 1) (n + j 1)
n+j1
= (1)j
j!
j
X
1
n+j1 j
=
=
(1)j
z
n
(1 + z)
j
j=0
(1 + z)
Em particular, para n = 1
n+j1
j
e, portanto,
j
j
= 1
X
1
(1)j z j , |z| < 1
=
(1 + z)
j=0
X
1
=
zj ,
1z
j=0
|z| < 1
=
=
1 1
2(2
1) ( 12 j + 1)
j!
(1)j1 1 3 (2j 3)
2j
j!
117
=
=
=
1+z = 1+
X
(1)j1 2j 2
j=1
j22j1
zj
j1
!
1
1
2 2
4 3
1
= 1+ z
z +
z
3
5
2
22 1
32 2
p
20 =
16 + 4 = 4 1 + 0, 25
1
1
1
2
3
= 4 1 + (0, 25) (0, 25) + (0, 25)
2
8
16
= 4, 472 . . .
Exerccios 2.3.3
1. Usando o bin
omio de Newton mostrar que
n
n
X
n
k=0
2k
rk
para qualquer n
umero real r.
2. Provar que
r
r
r1
=
k
rk
k
qualquer que seja r IR e qualquer que seja o inteiro k 0 tal que r 6= k.
118
+ + (1)
2 1
3 2
4 3
n+1 n
6. Provar que para todo o real r e inteiros n
ao negativos k e m
r
m
r
rk
=
m
k
k
mk
7. Provar que
n
X
m1
m2
m1 + m2
=
k
nk
n
k=0
usando a f
ormula do bin
omio e a relac
ao (1 + x)m1 (1 + x)m2 = (1 + x)m1 +m2 .
8. Verificar que:
ubicas de 1.
(a) 21 (1 i 3) e uma das razes c
(b)
2
2 (1
1
y+
y
n
119
2.3.2.2
O teorema multinomial
Permuta
c
oes generalizadas. Seja X uma coleccao de n objectos (nao
necessariamente distintos) pertencentes a k grupos diferentes de tal forma
que
1. em cada grupo todos os objectos sao identicos;
2. objectos de grupos distintos sao diferentes.
Por exemplo, a coleccao de letras
a, b, a, b, b, d, e, e, d
pode ser decomposta em quatro grupos: um para os as, um para os bs, um
para os ds e um para os es. Na coleccao ha 2 as, 3 bs, 2 ds e 2 es. Alguns
autores designam estes tipos de coleccoes por multiconjuntos.
Mais geralmente, suponha-se que em cada grupo ha ni (i = 1, 2, . . . , k)
objectos, sendo n = n1 + n2 + + nk . Chama-se permuta
c
ao generalizada de X a cada um dos arranjos em linha da totalidade destes objectos.
Denota-se o n
umero de permutacoes generalizadas de X por
P (n; n1 , n2 , . . . , nk )
o qual seria igual a n! se todos os objectos fossem distintos, isto e, se se
tivesse k = n e, portanto, n1 = n2 = = nn = 1.
Teorema 2.32 Se a colecc
ao X de n objectos for constituda por k grupos
distintos, cada um dos quais tem ni objectos identicos (i = 1, 2, . . . , k), ent
ao
o n
umero de permutac
oes generalizadas de X e dado por
P (n; n1 , n2 , . . . , nk ) =
n!
n1 !n2 ! nk !
Demonstra
c
ao: Se os objectos que pertencem ao grupo i, por exemplo, fossem
todos distintos ent
ao originariam ni ! permutacoes dos elementos desse grupo. Assim, cada permutac
ao generalizada de X originaria n1 !n2 ! nk ! permutacoes (simples) se os objectos de X fossem todos distintos. Entao sendo P (n; n1 , n2 , . . . , nk )
o n
umero de permutac
oes generalizadas ter-se-a que
P (n; n1 , n2 , . . . , nk )n1 !n2 ! nk !
e igual ao n
umero de permutacoes (simples) se os objectos de X fossem todos
distintos, ou seja,
P (n; n1 , n2 , . . . , nk )n1 !n2 ! nk ! = n!
120
Consequentemente,
P (n; n1 , n2 , . . . , nk ) =
n!
n1 !n2 ! nk !
2
9!
= 15 120
1!2!2!3!1!
Combina
c
oes generalizadas. Considere-se agora uma coleccao de n objectos (nao necessariamente distintos) pertencentes a k grupos (cada um
dos quais e constitudo por objectos identicos). Os primeiros n1 objectos
identicos podem ser colocados em n lugares (de tal forma que em nenhum
lugar ha mais que um objecto) de
n
n1
modos distintos. Entao os n2 objectos do grupo seguinte podem ser colocados nos lugares restantes de
!
n n1
n2
modos diferentes. E assim sucessivamente ate esgotar todos os k grupos de
objectos. Ao todo ha entao
!
n
n n1
n n1 nk1
n1
n2
nk
n
n1 , n 2 , . . . , n k
121
n n1 nk1
n
n n1
n2
nk
n1
=
=
=
(n n1 )!
(n n1 nk1 )!
n!
n1 !(n n1 )! n2 !(n n1 n2 )!
nk !(n n1 n2 nk )!
n!
= P (n; n1 , n2 , . . . , nk )
n1 !n2 ! nk !
(x1 + x2 + + xk )
n1 ++nk =n
n
xn1 xn2 xnk k
n1 , n 2 , . . . , n k 1 2
onde o somat
orio se estende a todas as sequencias de inteiros n
ao negativos
n1 , n2 , . . . , nk tais que n1 + n2 + + nk = n.
Demonstra
c
ao: Suponha-se que se desenvolve o produto
(x1 + x2 + + xk )(x1 + x2 + + xk ) (x1 + x2 + + xk )
n factores
ate terem desaparecido todos os parentesis. Visto que cada factor tem k parcelas, ent
ao no final da operacao resultarao k n termos da forma xn1 1 xn2 2 xnk k onde
n1 , n2 , , nk s
ao inteiros nao negativos cuja soma e n, isto e, n1 +n2 + +nk = n.
O termo xn1 1 xn2 2 xnk k obtem-se escolhendo x1 em n1 dos n factores, x2 em n2
dos n n1 factores, . . . e xk em nk dos n n1 nk1 factores restantes. Entao
o n
umero de vezes que o termo xn1 1 xn2 2 xnk k ocorre e igual a
n
n1
n n1
n2
n n1 nk1
nk
=
n!
n1 !n2 ! nk !
2
122
(x1 + x2 )
=
=
n
xn1 xn2
n1 , n 2 1 2
X
n1 +n2 =n
n
X
n1 =0
n
X
n
n
1
xn1 1 xnn
=
xn1 1 x2nn1
2
n1 , n n1
n
1
n =0
Exerccios 2.3.4
1. Usando o teorema multinomial, mostrar que para n e k inteiros positivos
X
n
n
k =
n1 , n 2 , . . . , n k
onde a soma se estende a todas as sequencias de inteiros n
ao negativos n1 , n2 , . . . , nk
tais que n1 + n2 + + nk = n.
2. Desenvolver
(x1 + x2 + x3 )4
usando o teorema multinomial.
3. Determinar o coeficiente de x31 x2 x43 x25 no desenvolvimento de
(x1 + x2 + x3 + x4 + x5 )10
4. Determinar o coeficiente do termo em x21 x32 x3 x24 no desenvolvimento de
(x1 x2 + 2x3 2x4 )8
5. Desenvolver (x1 +x2 +x3 )n observando que (x1 +x2 +x3 )n = [(x1 +x2 )+x3 ]n
e usando ent
ao a f
ormula do bin
omio de Newton.
6. Simplificar
P
n
(a)
i+j+k=n i,j,k
P
k
(b)
i+j+k=n (1)
n
i,j,k
2j /3i+j
123
2.4
N
umeros Cardinais Transfinitos
O infinito! Nenhuma outra questao perturbou tao profundamente o esprito humano; nenhuma outra ideia o estimulou de forma tao frutuosa; apesar disso nenhum outro
conceito carece de maior clarificacao que o de infinito ...
frase atribuda a David Hilbert
2.4.1
Conjuntos equipotentes
Dado um n
umero m IN1 qualquer, denotar-se-a por IN[m] a seccao
inicial de IN1 definida por
IN[m] = {1, 2, . . . , m}
e sendo A um conjunto qualquer, diz-se que A tem m elementos quando
existe uma aplicacao bijectiva
: A IN[m]
Dados agora dois conjuntos A e B, sejam
: A IN[m] , : B IN[n]
duas bijeccoes. Se for m = n dir-se-a, naturalmente, que os conjuntos A e
B tem o mesmo n
umero de elementos. Neste caso, se o objectivo a atingir
fosse apenas o de comparar o tamanho dos conjuntos A e B e nao o de saber
exactamente quantos elementos tem cada um deles, a aplicacao
= 1 : A B
resolveria completamente o problema. De facto, visto que e sao bijeccoes,
entao tambem e uma bijeccao. Reciprocamente se existirem bijeccoes
: A B e : A IN[m] entao existe uma bijeccao 1 : B IN[m] .
Daqui resulta que, num contexto de conjuntos finitos,
dois conjuntos A e B tem o mesmo n
umero de elementos se
existir uma bijecc
ao : A B.
A nocao de bijeccao pode estender-se a conjuntos quaiquer, o que permite
fazer comparacoes de conjuntos arbitrarios. Recorde-se e reescreva-se a
definicao 2.21 ja considerada anteriormente.
Defini
c
ao 2.37 (Cantor) Sejam A e B dois conjuntos arbitr
arios. A e
B dir-se-
ao conjuntos equipotentes se existir uma bijecc
ao : A B
entre eles.
imediato constatar que a relacao de equipotencia entre conjuntos e uma
E
relacao de equivalencia. Escrever-se-a A B para significar que A e B
sao equipotentes. Pode agora formalizar-se a definicao de conjunto finito do
seguinte modo:
125
Defini
c
ao 2.38 Um conjunto A dir-se-
a finito se for vazio ou existir um
n
umero m IN1 tal que A IN[m] {1, 2, . . . , m}. Um conjunto que n
ao e
finito dir-se-
a infinito.
Se A for um conjunto finito, o n
umero m IN tal que A IN[m] e, como se
sabe, o cardinal do conjunto A que se denota por card(A). O objectivo
agora e dar um significado `a nocao de cardinalidade no caso de conjuntos
infinitos. Antes porem considere-se o seguinte resultado:
Teorema 2.39 Todo o conjunto infinito contem um subconjunto equipotente a IN1 .
Demonstra
c
ao: Seja A um conjunto infinito qualquer. A e nao vazio e, portanto,
possui um elemento a1 A. O conjunto A\{a1 } e nao vazio pois de contrario A
seria o conjunto finito {a1 }. Consequentemente existira a2 A\{a1 }; analogamente
o conjunto A\{a1 , a2 } n
ao pode ser vazio e, portanto, existira a3 A\{a1 , a2 }.
Procedendo assim sucessivamente obter-se-a um subconjunto {a1 , a2 , . . . . . .}, de
A, que e equipotente a IN1 .
2
Este teorema revela que o conjunto IN1 e, de certo modo, o mais pequeno conjunto infinito, ja que cada conjunto infinito possui um subconjunto equipotente a IN1 . Com base no Teorema 2.39 pode agora definir-se
conjunto finito (a partir da nocao de conjunto infinito) sem exigir o conhecimento previo do conjunto IN1 . Tal definicao deve-se a Dedekind e tem a
forma seguinte:
Defini
c
ao 2.40 Um conjunto n
ao vazio A diz-se Dedekind-finito se e s
o
se para toda a aplicac
ao : A A se tem que e injectiva se e s
o se
for sobrejectiva. Por convenc
ao dir-se-
a tambem que e Dedekind-finito o
conjunto .
possvel provar que sao equivalentes as Definicoes 2.38 e 2.40.
E
Nota 2.41 A definicao rigorosa de cardinalidade, que afinal serve para dar um
sentido `
a express
ao n
umero de elementos de um conjunto arbitr
ario, nao e simples
e sai fora do
ambito desta introducao. Indicar-se-ao, no entanto, as propriedades
b
asicas que a noc
ao de cardinal de um conjunto deve satisfazer e que constituem,
de certo modo, uma definicao axiomatica para esta nocao. Essas propriedades sao
as seguintes:
C1. Todo o conjunto A possui um cardinal associado, denotado por
card(A). Reciprocamente, para cada cardinal existe um conjunto X tal que = card(X);
126
C2. card(A) = 0 se e s
o se A = ;
C3. Se A IN[m] ent
ao card(A) = m;
C4. card(A) = card(B) se e so se A B.
2.4.2
2.4.2.1
Cardinais transfinitos
O primeiro n
umero transfinito, 0
Demonstra
c
ao: Suponha-se que A nao e finito. Entao A e nao vazio e, consequentemente, possui um elemento menor que todos os outros. Seja a1 A esse
elemento. Seja agora a2 o menor elemento de A\{a1 }, a3 o menor elemento de
A\{a1 , a2 } e assim sucessivamente. Desta forma todos os elementos de A sao considerados ficando ent
ao construda uma bijeccao entre A e IN1 .
2
Defini
c
ao 2.44 Dir-se-
a que um conjunto infinito A tem cardinalidade
0 se A for equipotente ao conjunto IN1 , e escrever-se-
a com este sentido
card(A) = 0 .
Demonstra
c
ao: A demonstrac
ao resulta do processo de numeracao dos elementos
de Q+ exemplificado como se segue
1
1
2
1
3
1
4
1
5
1
6
...
2
2
2
3
2
4
2
5
2
6
...
3
2
3
3
3
4
3
5
3
6
...
4
2
4
3
4
4
4
5
4
6
...
5
2
5
3
5
4
5
5
5
6
...
6
..
.
6
2
6
3
6
4
6
5
6
6
...
..
.
..
.
..
.
..
.
..
.
n
X
j=0
129
|aj |.
2.4.2.2
O segundo n
umero transfinito, 1
Dos exemplos atras considerados pode ficar a ideia de que, afinal, todos os
conjuntos infinitos tem a mesma cardinalidade, 0 . Como a seguir se vera,
tal nao se verifica, no entanto.
Teorema 2.48 Seja A um conjunto n
ao vazio qualquer e denote-se por
P(A) o conjunto das partes de A. Ent
ao
card(A) < card (P(A))
(onde a desigualdade e estrita).
Demonstra
c
ao: Visto que a aplicacao
: A P(A)
a ; (a) = {a}
e injectiva, ent
ao tem-se imediatamente,
card(A) card (P(A))
Para mostrar que, adicionalmente, se tem card(A) 6= card (P(A)) e necessario
provar agora que n
ao existe nenhuma bijeccao entre A e P(A). Para tal, basta
mostrar que n
ao h
a nenhuma aplicacao de A em P(A) que seja sobrejectiva ou,
dito de outro modo, que para toda a aplicacao
: A P(A)
existe sempre um subconjunto T de P(A) que nao e imagem por de nenhum
elemento de A. Tal demonstracao deve-se a Georg Cantor, que introduziu o subconjunto T A definido por
T = {t A : t 6 (t)}
provando em seguida que nao existe qualquer b A para o qual se tenha (b) = T.
130
X
i
[0, 1]
(T) = 0, 1 2 3 . . . . . .
i
10
i=1
onde, para cada i = 1, 2, 3, . . . . . ., se tem
0
i =
1
se i 6 T
se i T,
g(x) =
1
k+2
se x = 0,
1
se x = k+1
e k = 0, 1, 2, . . .,
1
, k1 [ e k = 1, 2, . . .
se x ] k+1
e bijectiva.
131
X
i
2i
i=1
Teorema de Shr
oder-Bernstein: Dados dois conjuntos A e B, se existirem duas
aplicac
oes injectivas : A B e : B A, ent
ao existe tambem uma aplicac
ao bijectiva
: A B.
132
e o quadrado
I 2 = {(x, y) IR2 : 0 < x, y < 1}.
O quadrado tem area igual a 1 enquanto que o intervalo tem area igual a 0.
Seria de esperar, portanto, que houvesse mais pontos no quadrado que no
intervalo. Entretanto pode provar-se o seguinte:
Teorema 2.50 O segmento da recta real I e o quadrado I 2 do plano real
s
ao equicardinais (ou, dito de outra forma, h
a tantos pontos no plano real
quantos na recta real).
Demonstra
c
ao: Considere-se um quadrado de comprimento unitario referido a
um sistema de eixos cuja origem coincide com o vertice inferior esquerdo e cujos
eixos contem os lados que se cruzam nesse vertice. Seja p a abcissa de um ponto
do lado do quadrado assente no eixo Ox. Entao p e um n
umero estritamente
compreendido entre 0 e 1. Deste n
umero extraiam-se dois n
umeros a e b da seguinte
forma: em a figuram todos os dgitos existentes nas casas decimais de ordem mpar
e em b todos os dgitos existentes nas casas decimais de ordem par.(Se, por exemplo,
for p = 0.7346982340 . . . vem a = 0.74924 . . . e b = 0.368630 . . ..) O par (a, b) pode
ser representado por um ponto P (a, b) do interior do quadrado; reciprocamente,
a cada ponto do quadrado pode, pela construcao inversa, fazer-se corresponder um
e um s
o ponto da aresta considerada. Estabelece-se assim uma correspondencia
bijectiva p (a, b) entre pontos do intervalo (0, 1) e pontos do quadrado (0, 1)
(0, 1) ou seja: h
a tantos pontos no quadrado como no segmento de recta.
2
N
umeros cardinais transfinitos superiores
134
Captulo 3
Relac
oes de Recorr
encia e
Func
oes Geradoras
3.1
Introdu
c
ao
(3.1)
onde Am
a custa do termo anterior
p , para cada m IN fixado, se expressa `
m
Ap1 . A formula (3.1) e um exemplo de uma relacao de recorrencia.
Outro exemplo do mesmo tipo e dado pelos termos de uma progressao
geometrica de razao r: denotando por an o termo de ordem n da progressao
geometrica entao este termo e igual ao produto do termo de ordem n 1
pela razao r, isto e,
an = r an1 , n = 1, 2, 3, . . .
(3.2)
= r a0
= r a1
= r a2
..
.
= r
= r2
= r3
an = r an1 = rn
..
.
135
f0 = f1 = 1
fn = fn1 + fn2
{1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233, 377, 610, 987, 1597, . . .}
f2n = fn ln
f0 + f1 + + fn = fn+2 1
ln = fn1 + fn+1
2fm+n = fm ln + fn lm
Defini
c
ao 3.1 Dada uma sucess
ao de n
umeros a0 , a1 , a2 , . . . , an , . . . chamase rela
c
ao de recorr
encia a uma equac
ao que relaciona o termo an com
os termos que o antecedem e que e v
alida para todo o n maior que um dado
inteiro fixado n0 .
Em muitos casos e possvel obter a partir da relacao de recorrencia e
das condicoes iniciais uma formula explcita para o termo de ordem n. Isto
pode ser feito por iteracao sucessiva da formula de recorrencia ou entao
137
conjecturando adequadamente uma formula fechada a qual tem de ser depois demonstrada por inducao matematica, usando a relacao de recorrencia
correspondente e o que acontece com a relacao de recorrencia (3.2), por
exemplo.
Considere-se, de novo, a relacao de recorrencia de Fibonacci
fn = fn1 + fn2 ,
n = 2, 3, 4, . . .
Uma forma de resolver esta relacao e procurar para ela solucoes da forma
fn = q n
(3.3)
onde q e um n
umero real nao nulo.
Como
fn1 = q n1 e fn2 = q n2
entao a expressao (3.3) sera solucao da relacao de recorrencia de Fibonacci
se e so se1 q 6= 0 satisfizer a relacao algebrica
q n = q n1 + q n2
ou seja
q n q n1 q n2 = 0
Pondo q n2 em evidencia
q n2 q 2 q 1
= 0
1+ 5
1 5
q2 =
q1 =
2
2
e, portanto,
!n
1+ 5
2
138
!n
1 5
2
!n
1+ 5
+ c2
2
!n
1 5
2
1+ 5
1 5
1 = c1
+ c2
2
2
donde
1 1+ 5
c1 =
,
2
5
1 1 5
c2 =
2
5
Entao os n
umeros de Fibonacci satisfazem a formula
!n+1
!n+1
1
1
1+ 5
1 5
fn =
2
2
5
5
para n = 0, 1, 2, 3, 4, . . . (provar por inducao!).
Considerando agora as condicoes iniciais correspondentes `a sucessao dos
n
umeros de Lucas na solucao geral da relacao de recorrencia de Fibonacci
ln = c1
l0 = 2,
!n
1+ 5
+ c2
2
l1 = 1
!n
1 5
2
obtem-se
2 = c1 + c2
1+ 5
1 5
1 = c1
+ c2
2
2
139
donde
c1 =
52
,
5
c2 =
5+2
Os n
umeros de Lucas satisfazem assim a formula
ln =
52
!n
1+ 5
5+2
2
5
!n
1 5
2
n
n1
n2
nk
+
+
+ +
0
1
2
k
onde k = [n/2]. Visto que Cpn = 0 para qualquer inteiro p > n, pode escrever-se
g(n) =
n
n1
n2
nk
nk1
0
+
+
+ +
+
+ +
0
1
2
k
k+1
n
0
= 1 = f0
0
1
0
=
+
= 1 = f1
0
1
=
140
Para n 2
n1
n2
n3
0
g(n 1) + g(n 2) =
+
+
+ +
+
0
1
2
n1
n2
n3
0
+
+ +
0
1
n2
n1
n2
n2
=
+
+
+
0
1
0
n3
n3
0
0
+
+ +
+
2
1
n1
n2
Tendo em conta a relac
ao entre os coeficientes binomiais
r
r1
r1
=
+
p
p
p1
e aplicando-a adequadamente `
a expressao anterior, visto que C0n1 = 1 = C0n e
0
Cn = 0, vem
n1
n1
n2
1
g(n 1) + g(n 2) =
+
+
+ +
0
1
2
n1
n
n1
n2
1
0
=
+
+
+ +
+
0
1
2
n1
n
Entao
g(n 1) + g(n 2) = g(n)
o que significa que g(n) e soluc
ao da relacao de recorrencia de Fibonacci para n 2.
Consequentemente, fn = g(n) para todo o n = 0, 1, 2, . . ..
2
3.1.1
Relac
oes de recorr
encia e equa
c
oes de diferen
cas
n = 1, 2, . . .
k an = k1 an
= k1 an k1 an1 , n = k, k + 1, . . .
Chama-se equa
c
ao de diferen
cas a uma equacao que envolve o termo an
e as suas diferencas. Por exemplo, a equacao
32 (an ) + 2(an ) + 7an = 0
(3.4)
n = 1, 2, 3, . . .
com a condic
ao incial a0 = 1 tem a seguinte solucao
an = n!, n = 0, 1, 2, 3, . . .
3.2
Fun
c
oes Geradoras
b
4
4
3
2
4
3
c
4
3
4
4
2
3
143
O n
umero de soluc
oes inteiras da equacao dada pertencentes ao conjunto {2, 3, 4}
e, como j
a se sabia por enumeracao directa, igual a 6.
Defini
c
ao 3.5 Chama-se serie de potencias a uma serie da forma
a0 + a1 x + a2 x2 + + an xn +
onde an (n = 0, 1, 2, 3, . . .) s
ao n
umeros reais ou complexos e x designa uma
vari
avel.
Se
a0 + a1 x + a2 x2 + + an xn +
b0 + b1 x + b2 x2 + + bn xn +
forem duas series de potencias, entao a soma destas duas series de potencias
e a serie de potencias dada por
(a0 + b0 ) + (a1 + b1 )x + (a2 + b2 )x2 + + (an + bn )xn +
e o produto destas duas series de potencias e a serie de potencias cujo
coeficiente de xn , n = 0, 1, 2, . . . e dado por
a0 bn + a1 bn1 + a2 bn2 + + an b0 =
ai bj
i,j0; i+j=n
n=0
ai bj xn
i,j0; i+j=n
145
onde x {0, 2, 4, 6, 8, . . .}, y {0, 3, 6, 9, . . .} e z {0, 5, 10, 15, 20, . . .}. Entao,
associando `
as vari
aveis x, y, z as series de potencias
gx (t) = 1 + t2 + t4 + t6 +
gy (t) = 1 + t3 + t6 + t9 +
gz (t) = 1 + t5 + t10 + t15 +
a func
ao geradora ordin
aria associada a este problema e dada por
g(t)
=
=
g(x)
1
= (1 x)n
(1 x)n
X
n
=
(1)r xr
r
r=0
=
146
onde
n
r
=
=
=
=
(n)(n 1)(n 2) (n r + 1)
r!
n(n + 1)(n + 2) (n + r 1)
(1)r
r!
(n
+
r
1)
(n + 1)n(n 1)!
(1)r
r!(n 1)!
n
+
r
1
r
r n+r1
(1)
(1)
r
n1
X
n+r1
r=0
n1
xr
e, portanto,
ar =
n+r1
n+r1
n1
r
= (x3 + x4 + x5 + x6 + x7 + x8 )4
= x12 (1 + x + x2 + x3 + x4 + x5 )4
147
O n
umero de soluc
oes pretendido e igual ao coeficiente de x15 da funcao
h(x) = (1 + x + x2 + x3 + x4 + x5 )4
Tendo em conta o teorema anterior
h(x)
= (1 + x + x2 + x3 + x4 + x5 )4
= (1 x6 )4 (1 + x + x2 + x3 + )4
4 6
4 12
x +
x + + x24
1
2
(1 + x + x + x + )
4
5 2
6 3
= 1+
x+
x +
x +
1
2
3
Ent
ao o coeficiente de x15 no produto e igual a
X
ai bj = a0 b15 + a6 b9 + a12 b3
i+j=15
18
4
12
4
6
1
15
1
9
2
3
18!
4! 12!
4! 6!
+
15!3!
3!1! 9!3!
2!2! 3!3!
3 17 16 4 2 11 10 + 2 3 5 4 = 56
148
Se
a0 + a1 x + a2 x2 + a3 x3 + + an xx +
for a serie de potencias de uma funcao g(x), entao g(x) e a funcao geradora
ordinaria da sucessao (an )n=0,1,2,... . A partir desta funcao geradora e possvel
construir as funcoes geradoras de outras sucessoes relacionadas com aquela.
Teorema 3.13 Se g(x) for a func
ao geradora ordin
aria associada `
a sucess
ao
(an )n=0,1,2,... e h(x) for a func
ao geradora associada `
a sucess
ao (bn )n=0,1,2,... ,
ent
ao
1. g(x) + h(x) e a func
ao geradora ordin
aria associada `
a sucess
ao
(an + bn )n=0,1,2,... .
2. (1x)g(x) e a func
ao geradora associada `
a sucess
ao (an an1 )n=0,1,2,...
(onde se faz a1 = 0).
3. (1 + x + x2 + )g(x) e a func
ao geradora da sucess
ao
(a0 + a1 + + an )n=0,1,2,...
4. g(x) h(x) e a func
ao geradora da sucess
ao
(a0 bn + a1 bn1 + + an b0 )n=0,1,2,...
5. xg 0 (x) e a func
ao geradora da sucess
ao (nan )n=0,1,2,... onde g 0 (x) e a
derivada de g relativamente a x.
Demonstra
c
ao: Sendo
g(x)
aj xj
j=0
h(x)
bj xj
j=0
entao
1.
g(x) + h(x) =
(aj + bj )xj
j=0
2.
(1 x)g(x)
X
j=0
aj xj
aj xj+1
j=0
149
3.
(1 + x + x2 + )g(x)
= (1 + x + x2 + )(a0 + a1 x + a2 x2 + )
= a0 + (a0 + a1 )x + (a0 + a1 + a2 )x2 +
4.
g(x)h(x) =
n
X
aj bnj xn
n=0
5. Sendo
g 0 (x) =
j=0
j aj xj1
j=1
vem
xg 0 (x) =
j aj xj
j=1
1
1x
(a serie de potencias converge absolutamente para |x| < 1). A funcao g(x)
e a funcao geradora da sucessao constante an = 1, n = 0, 1, 2, . . . enquanto
que
1
h(x) = g(x)k =
(1 x)k
tendo em conta o teorema 3.9, e a funcao geradora da sucessao
n+k1
n
!!
n=0,1,2,3,...
n = 0, 1, 2, . . .
Resolu
c
ao. A func
ao
g(x) =
1
1x
150
e a func
ao geradora ordin
aria para a sucessao constante an = 1, n = 0, 1, 2, . . .
Tendo em conta a alnea 5. do teorema 3.13
xg 0 (x) = x
1
x
=
2
(1 x)
(1 x)2
e a func
ao geradora da sucess
ao (n)n=0,1,2,3,... . Aplicando este princpio uma vez
mais, vem
0
x(1 + x)
x
=
x
(1 x)2
(1 x)3
obtem-se a func
ao geradora da sucessao (n2 )n=0,1,2,... . Entao, tendo agora em conta
a primeira alnea do mesmo teorema,
h(x)
3x
5x(1 + x)
+
2
(1 x)
(1 x)3
2x(4 + x)
(1 x)3
e a func
ao geradora associada `
a sucessao (3n + 5n2 )n=0,1,2,... .
Exerccios 3.2.1
1. Determinar as func
oes geradoras ordin
arias associadas `
as seguintes sucess
oes
(a)
(b)
(c)
(d)
(e)
(f )
(1, 1, 1, 1, 0, 0, 0, . . .)
(1, 1, 1, 1, 1, 0, 0, 0, . . .)
(0, 0, 0, 0, 1, 1, 1, 1, . . .)
(1, 1, 1, 1, 1, 1, . . .)
(1, 2, 3, 4, . . .)
(1, 2, 3, 4, . . .)
2. Determinar as sucess
oes associadas `
as seguintes func
oes geradoras
(a) g1 (x) = (2 + x)4
(b) g2 (x) = x2 + ex
(c) g3 (x) = x3 /(1 x)
3. Determinar o coeficiente de x7 na func
ao
g(x) = (1 x)k
quando k = 9 e quando k = 9.
151
152
3.2.1
Relac
oes de recorr
encia e fun
c
oes geradoras
n = 1, 2, 3, . . .
2a0 x
2a1 x2
2a2 x3
an xn
2an1 xn
=
..
.
153
e, portanto,
a0 + g(x) = 2xg(x)
donde
g(x) =
a0
1 2x
n = 0, 1, 2, 3, . . .
e a soluc
ao da relac
ao de recorrencia dada.
n
,
3
n = 0, 1, 2, 3, . . .
onde a0 = 1.
Resolu
c
ao. Visto que a0 = 1, a funcao geradora ordinaria associada `a sucessao e
da forma
g(x) = 1 + a1 x + a2 x2 +
Multiplicando por xn a relacao de recorrencia, vem
an xn = 2an1 xn
n n
x
3
=
..
.
2an1 xn
n
3
xn
donde
g(x) 1 = 2xg(x)
2(x + a1 x2 + a2 x3 + + an1 xn + )
1
x + 2x2 + + nxn +
3
x
1 + 2x + 3x2 + + nxn1 +
3
154
ou seja,
g(x) 1 = 2xg(x)
x
f (x)
3
onde
1 + 2x + 3x2 + + nxn1 +
0
= x + x2 + x3 + + xn +
0
0
x
1
1
=
=
=
1 +
1x
1x
(1 x)2
f (x)
Entao,
g(x) 1 = 2xg(x)
x
1
3 (1 x)2
(1 2x) g(x) = 1
x
3(1 x)2
e, portanto,
donde,
g(x) =
3(1 x)2 x
3 7x + 3x2
=
2
3(1 x) (1 2x)
3(1 x)2 (1 2x)
Decompondo a fracc
ao do lado direito em elementos simples, obtem-se
1
1
1
1
g(x) =
+
+
3 1 x (1 x)2
1 2x
Como
1
1x
1
(1 x)2
1
1 2x
1 + x + x2 + x3 + + xn +
0
1
=
= 1 + 2x + 3x2 + + (n + 1)xn +
1x
=
1 + 2x + 22 x2 + + 2n xn +
2 + n + 2n
1
(1 + (n + 1) + 2n ) =
3
3
Exerccios 3.2.2
1. Determinar a func
ao geradora ordin
aria para a relac
ao de recorrencia
an = c1 an1 + c2 an2
com a0 = e a1 = onde c1 , c2 , , s
ao constantes dadas.
155
2. Sendo
g(x) =
2
(1 x)(1 2x)
a func
ao geradora ordin
aria associada a uma relac
ao de recorrencia que envolve os termos da sucess
ao (an )n=0,1,2,... , determinar a forma do termo geral
an .
3. Resolver a relac
ao de recorrencia
an = an2 + 4n
com as condic
oes iniciais a0 = 3 e a1 = 2, usando uma func
ao geradora
ordin
aria apropriada.
4. Determinar a func
ao geradora ordin
aria para a relac
ao de recorrencia
an+1 = an + bn
com a condic
ao inicial a0 = c onde , b e c s
ao constantes e, ent
ao, obter o
termo geral an .
5. Resolver as relac
oes de recorrencia que se seguem usando o metodo da func
ao
geradora ordin
aria.
an = 4an2 para n 2; a0 = 0, a1 = 1
an = an1 + an2 para n 2; a0 = 1, a1 = 3
an = an1 + 9an2 9an3 para n 3; a0 = 0, a1 = 1, a2 = 2
an = 8an1 16an2 para n 2; a0 = 1, a1 = 0
an = 3an2 2an3 para n 3; a0 = 1, a1 = 0, a2 = 0
an = 5an1 6an2 4an3 + 8an4 para n 4; a0 = 0, a1 = 1, a2 =
1, a3 = 2
(g) an = 2an1 4an2 + 8an3 + 16an4 para n 4; a0 = 1, a1 = 2, a2 =
1, a3 = 2
(a)
(b)
(c)
(d)
(e)
(f )
6. Determinar a func
ao geradora ordin
aria da sucess
ao de cubos 0, 1, 8, . . . , n3 , . . ..
7. Seja a0 , a1 , . . . , an , . . . a sucess
ao definida por an = n3 para n = 0, 1, 2, . . ..
Mostrar que
an = an1 + 3n2 3n + 1 para n = 1, 2, . . .
e, usando esta relac
ao de recorrencia, determinar a func
ao geradora ordin
aria
para a sucess
ao.
8. Seja a0 , a1 , . . . , an , . . . a sucess
ao definida por an = C2n para n = 0, 1, 2, . . ..
Determinar a func
ao geradora ordin
aria para a sucess
ao.
156
3.2.2
Relac
oes de recorr
encia lineares homog
eneas
(3.6)
onde 1 , 2 , . . . , k sao constantes dadas. Visto que o termo an e determinado pelos k termos da sucessao que o antecedem a equacao (3.6) diz-se
uma relacao de recorrencia de ordem k. Supoe-se k 6= 0 pois de contrario a
relacao de recorrencia seria de ordem inferior a k. A relacao de recorrencia
diz-se homogenea por nao ter termo independente.
Por exemplo, a relacao
an = 3 (an1 )2 + an2 ,
n = 2, 3, 4, . . .
nao e uma relacao de recorrencia linear, embora seja homogenea. Por outro
lado,
an = (n + 2)an1 + 2an2 , n = 2, 3, 4, . . .
e uma relacao de recorrencia linear, mas os seus coeficientes nao sao constantes dependem de n.
A sucessao (an )n=0,1,2,... fica completamente determinada pela equacao
(3.6) a partir do momento em que sejam dados os valores iniciais a0 , a1 , . . .,
ak1 . Para resolver a equacao (3.6) procuram-se solucoes da forma
an = xn ,
n = 0, 1, 2, 3, . . .
onde x e um n
umero a determinar convenientemente. Visto que
an1 = xn1 , an2 = xn2 , . . . , ank = xnk
entao, por substituicao na equacao (3.6), obtem-se
xn 1 xn1 2 xn2 k xnk = 0
ou seja,
= 0
Ora x nao pode ser nulo pois isso conduziria ao anulamento de todos os
termos da sucessao; consequentemente, sendo x 6= 0, obtem-se a equacao
algebrica
xk 1 xk1 2 xk2 k = 0
(3.7)
que e conhecida por equa
c
ao caracterstica associada `a equacao de recorrencia (3.6). As solucoes da equacao caracterstica designam-se por razes
caractersticas da relacao de recorrencia (3.6).
A equacao (3.7) possui k razes reais ou complexas, iguais ou distintas.
No entanto, como k 6= 0, por hipotese, todas as razes sao diferentes de
zero.
Exemplo 3.17 A relacao de recorrencia de Fibonaci
fn = fn1 + fn2
tem associada a equac
ao caracterstica
x2 x 1 = 0
cujas razes caractersticas sao
q1
1+ 5
1 5
=
e q2 =
2
2
(3.8)
159
c1 + c2 + + ck = b0
c1 q1 + c2 q2 + + ck qk = b1
(3.9)
1
1
1
q1
q2
qk
..
..
..
.
.
.
q1k1
q2k1
qkk1
e constitudo por
(k 1) + (k 2) + + [k (k 1)] =
(k 1)k
=
2
k
2
n = 3, 4, 5, . . .
com as condic
oes iniciais a0 = 1, a1 = 2 e a2 = 0.
Resolu
c
ao. A equac
ao caracterstica desta relacao de recursao e a seguinte:
x3 2x2 x + 2 = 0
cujas razes s
ao as seguintes
q1 = 1,
q2 = 1,
q3 = 2
Ent
ao
an = c1 1n + c2 (1)n + c3 2n
160
e a soluc
ao geral da relac
ao de recursao dada. Tendo em conta as condicoes iniciais,
as constantes c1 , c2 e c3 dever
ao satisfazer o seguinte sistema de equacoees lineares
c1 + c2 + c3 = 1
c1 c2 + 2c3 = 2
c1 + c2 + 4ck = 0
Visto que
1
1
1 1
1 1
1 1 2 = 0 2 1 = 6
0
1
0 3
1 4
entao este sistema de equac
oes tem uma e uma so solucao, que e
c1 = 2, c2 = 2/3,
c3 = 1/3
A soluc
ao procurada e ent
ao a seguinte
an = 2
3.2.2.1
2
1
(1)n 2n ,
3
3
n = 0, 1, 2, 3, . . .
Equa
c
ao caracterstica com razes m
ultiplas
(3.10)
(3.11)
c = 1
2c = 3
161
n = 0, 1, 2, 3, . . .
c2 =
1
(a1 2a0 )
2
1
a0 + (a1 2a0 )n 2n ,
2
n = 0, 1, 2, 3, . . .
Suponha-se que q e, por exemplo, uma raiz tripla desta equacao, ou seja,
que se tem a seguinte decomposicao
p(x) = (x q)3 r(x)
onde r(x) e um polinomio de grau k 3. Entao, para cada n = k, k + 1, . . .,
q e uma raiz tripla do polinomio pn (x) definido por
pn (x) = xnk p(x)
= xn 1 xn1 2 xn2 k xnk
Por outro lado, q e uma raiz dupla da primeira derivada de pn (x)
p0n (x) = nxn1 1 (n 1)xn2 2 (n 2)xn3 k (n k)xnk1
e, consequentemente, e uma raiz dupla do polinomio
xp0n (x) = nxn 1 (n 1)xn1 2 (n 2)xn2 k (n k)xnk
Em particular, para x = q, vem
nq n = 1 (n 1)q n1 + 2 (n 2)q n2 + + k (n k)q nk
o que mostra que
nq n
e solucao da equacao (3.12).
Como q e uma raiz dupla de xp0n (x) entao q e raiz simples da sua derivada
0
xp0n (x)
e, portanto, e tambem raiz do polinomio que se obtem a partir deste multiplicando-o por x, ou seja,
0
x xp0n (x)
nq n ,
n2 q n
k 6= 0; n = k, k + 1, . . .
n = 4, 5, . . .
sujeita `
as condic
oes iniciais a0 = 1, a1 = 0, a2 = 1 e a3 = 2.
164
Resolu
c
ao. A equac
ao caracterstica associada `a relacao de recorrencia e
x4 + x3 3x2 5x 2 = 0
cujas razes s
ao 1, 1, 1 e 2.
A parte da soluc
ao correspondente `a raiz tripla -1 e
(c1 + c2 n + c3 n2 )(1)n
enquanto que a parte da soluc
ao geral correspondente `a raiz simples 2 e
c4 2n
Entao a soluc
ao geral da relac
ao de recorrencia dada e dada por
an = (c1 + c2 n + c3 n2 )(1)n + c4 2n
Para determinar as constantes c1 , c2 , c3 , c4 usam-se agora as condicoes iniciais
c1
+c4 = 1
c1
c2
c3 +2c4 = 0
c1 +2c2 +4c3 +4c4 = 1
42
29
7
10
c2 =
c3 =
c4 =
52
52
52
52
e, portanto, a soluc
ao procurada e
7 2
10 n
42 29
n+
n (1)n +
2 ,
an =
52 52
52
52
n = 0, 1, 2, . . .
Exerccios 3.2.3
1. Determinar o n
umero k na relac
ao de recorrencia
an+1 = kan
se
(a) a1 = 5 e a2 = 10
(b) a1 = 5 e a3 = 20
2. Resolver as relac
oes de recorrencia
(a) an+3 = 6an+2 11an+1 + 6an com a0 = 3, a1 = 6 e a2 = 14.
(b) an+3 = 4an+2 5an+1 + 2an com a0 = 2, a1 = 4 e a2 = 7.
(c) an+3 = 3an+2 + 4an+1 12an com a0 = 0, a1 = 11 e a2 = 15.
165
= (m 1)bn e
= an + (m 2)bn
por
2
1 + a
0
0
0
..
.
1 a2n+2
se a 6= 1
1 a2
an
an
an
an
an
= 3an1 , n 1; a0 = 1
= an1 n + 3, n 1; a0 = 2
= an1 + 1, n 1; a0 = 0
= an1 + 2, n 1; a0 = 1
= 2an1 + 1, n 1; a0 = 1
166
3.2.3
Relac
oes de recorr
encia lineares n
ao homog
eneas
k
X
j (n j)
(3.13)
j=1
k
X
j (n j) + f (n)
(3.14)
j=1
k
X
j=1
167
= 5 48 4n1 6 48 4n2 + 6 4n
= 5 12 4n 6 3 4n + 6 4n
= 48 4n = (n)
Ent
ao, finalmente,
an = c1 2n + c2 3n + 48 4n
e a soluc
ao geral da relac
ao de recorrencia dada.
Por vezes uma relacao de recorrencia nao homogenea apresenta as diversas situacoes simultaneamente. Neste caso faz-se apelo ao chamado princpio
de sobreposicao de efeitos que constitui o teorema que se segue.
Teorema 3.25 Se, para cada i = 1, 2, . . . , r, a func
ao i (n) for uma soluc
ao
particular da relac
ao de recorrencia
an = 1 an1 + 2 an2 + + k ank + fi (n)
ent
ao a func
ao
1 (n) + 2 (n) + + r (n)
e soluc
ao particular da relac
ao de recorrencia
an = 1 an1 + 2 an2 + + k ank +
r
X
i=1
169
fi (n)
Demonstra
c
ao: Se, para cada i = 1, 2, . . . , r, i (n) e solucao particular da relacao
de recorrencia
an = 1 an1 + 2 an2 + + k ank + fi (n)
ent
ao tem-se que
i (n) = 1 i (n 1) + 2 i (n 2) + + k i (n k) + fi (n)
pelo que somando para i = 1, 2, . . . , r
r
X
i=1
i (n) = 1
r
X
i (n 1) + 2
i=1
r
X
i (n 2) + + k
i=1
r
X
i (n k) +
i=1
r
X
fi (n)
i=1
Exerccios 3.2.4
1. Determinar a soma
n
X
j3
j=1
n1
com a0 = 0:
(a) usando o princpio de sobreposic
ao,
(b) fazendo repetidas substituic
oes e induzindo a soluc
ao.
170
Ent
ao determinar a soma dos quadrados dos primeiros n n
umeros naturais.
4. Determinar as constantes p, q e r na relac
ao de recorrencia
an + pan1 + qan2 = r,
n2
171
p(j)
Captulo 4
Introdu
c
ao
u
u
,
,
,
,
u
Z
Z
3 Z
u
u
Zu
4.1.1
Definic
oes b
asicas
a
u
u
,
\
,
c,
b\
d
\,
u
Z
Zc
5 ZZ
u
f
174
Se entre dois vertices existir mais que uma aresta entao, se for necessario
efectuar distincoes, o grafo correspondente toma o nome de multigrafo e as
varias arestas que ligam os mesmos dois vertices tambem se designam por
arestas m
ultiplas. No entanto, na literatura da especialidade, em geral, o
termo grafo e empregue mesmo quando possui arestas m
ultiplas.
8ul
H
HH
9
u
HH
u6
@
@
@
u
7
u
3
u
5 u
Z
%% Z
Z
Zu
%
% 4
2 u
%
l
1
Neste contexto, chama-se grafo orientado ou digrafo (directed graph)
a uma estrutura G (V, E) onde, novamente, V e um conjunto finito de
vertices e E um conjunto finito de arcos dirigidos. A seguir apresenta-se
um exemplo de um digrafo com 6 vertices e 10 arcos dirigidos.
1
3
u
u
]
j u
?
u
5
q u
1
1
u
2
!u
!
\
!
!!
\
!
!
u
\
b
b
\
b
\u
b
4
b
3
bu
5
uX
X
HHXX
HHXXXX
XX u
H
b
HH X
HH
Hu
u
r
u
q
V = {a, p, q},
Um grafo diz-se nulo se possuir apenas vertices sem arestas nem lacetes;
por outro lado, no extremo oposto, um grafo diz-se completo quando entre
cada par de vertices ha uma aresta. Neste u
ltimo caso, se o grafo tiver n
vertices e habitual denota-lo por Kn . Um digrafo diz-se completo se entre
cada par de vertices existir pelo menos um arco. Um grafo bipartido simples
G (V, W ; E) diz-se completo se existir uma aresta entre cada vertice de V
e cada vertice de W . Um grafo bipartido completo denota-se por Kp,q onde
p e q sao o n
umero de vertices de V e W , respectivamente.
176
u
Q
u
Q
Q
Q
Q
Q
Q
Q
Q 2u
Q
!
!
\
!
!
\
!
!!
u
\
b
b
\
b
\u 4
b
b
3
bu
Q 2u
Q
\
\
\
\
\u
4
u
(a)
(b)
Nesta figura o grafo (b) e um subgrafo do grafo (a) induzido pelo conjunto
W = {1, 2, 4, 5} que e um subconjunto do conjunto V = {1, 2, 3, 4, 5} de
vertices do primeiro.
Ligando estas quatro componentes da cidade existem 7 pontes tal como se indica
na figura. Os habitantes de Konigsberg, que gostavam de passear na cidade ao
domingo, colocavam a si proprios a seguinte questao: ser
a possvel planear um
passeio pela cidade de tal forma que partindo de casa a ela se regressasse ap
os ter
atravessado uma e uma s
o vez cada uma das sete pontes?
Se se considerar cada uma das quatro partes da cidade como um vertice e cada
ponte como uma aresta, entao o problema corresponde ao seguinte grafo (multigrafo) com 4 vertices e 7 arestas
N
u
b
b
b
b
W
b
b
b
bu E
u
S
Em termos de teoria dos grafos o problema pode entao ser assim formulado: dado
um grafo qualquer (n
ao necessariamente simples) sera possvel percorrer todas as
arestas do grafo sem passar por cima de nenhuma delas mais que uma vez?
No caso do problema das pontes de Konigsberg, Euler estabeleceu a resposta
definitiva, pela negativa, como mais `a frente se vera.
Exemplo 4.3 (R
ede de transportes.) Suponha-se que cada vertice de um
grafo dado representa uma cidade da Europa, por exemplo. Dois vertices sao ligados por uma aresta se existir uma ligacao aerea directa entre as cidades que eles
representam. Um problema que se pode por e o de saber se se pode partir de uma
dada cidade e voltar `
a mesma cidade depois de ter visitado todas as outras. Se a
cada aresta se associar um n
umero real nao negativo que represente o custo do uso
daquela aresta, pode colocar-se um problema de optimizacao que e o de encontrar
178
o percurso (se existir) que satisfaz a condicao do problema anterior ao menor custo.
Este e o conhecido problema do caixeiro viajante.
b
u
u
d
u
c
t
u
T
T
w T
"u
Q T
" QQT
Tu
""
u
Q
v
G1 (V1 , E1 )
u
G2 (V2 , E2 )
Dois grafos isomorfos, aparte os nomes dados aos vertices e `as arestas e
a sua representacao pictorica sao, na realidade, o mesmo grafo e e como tal
que podem ser encarados no contexto da teoria dos grafos.
179
Para mostrar que dois grafos nao sao isomorfos e necessario mostrar que
nao existe qualquer bijeccao entre os conjuntos de vertices respectivos que
transformem arestas em arestas. Se dois grafos nao tiverem o mesmo n
umero
de vertices entao nao sao isomorfos; se tiverem o mesmo n
umero de vertices
mas tiverem diferente n
umero de arestas tambem nao podem ser isomorfos.
Finalmente, mesmo que dois grafos tenham o mesmo n
umero de vertices e
o mesmo n
umero de arestas, ainda assim eles podem nao ser isomorfos. Por
exemplo, os dois grafos
ar
br
#
# #
#
#
r
e#
#
r
c
##
#
#
r
d
1r
#Q
Q
#
Q
#
Qr 2
5 rb
T b
T bb
Tr
br
G1
G2
tem ambos 5 vertices e 7 arestas. No entanto, nao sao isomorfos. Uma forma
de mostrar que isto e verdade e notar que os vertices a, b, d, e de G1 formam
um subgrafo completo de G1 : qualquer isomorfismo com G1 devera transformar estes quatro vertices noutros quatro vertices com a mesma propriedade.
Ora, em G2 nao ha quatro vertices que induza um subgrafo completo de G2
e, portanto, este nao pode ser isomorfo a G1 .
Exerccios 4.1.1 Mostrar que os grafos
r
T
r T
r TTr T
HH
TTr
r!
!
r
r
e
T
e
T
r
es
T
@
T
@ T
@
r
Tr
n
ao s
ao isomorfos.
4.1.2
Caminhos de um grafo
onde, para cada j, ej e uma aresta que liga vj a vj+1 . Os vertices e as arestas
de um caminho podem nao ser todos distintos. Ao n
umero de arestas que
compoem um caminho da-se o nome de comprimento desse caminho.
Um caminho diz-se simples se nao tiver arestas repetidas e diz-se elementar se todos os seus vertices forem distintos. Um caminho no qual o
vertice inicial e o vertice terminal coincidem chama-se circuito. Um circuito diz-se simples se nao possuir arestas repetidas e um circuito no qual
nenhum vertice e repetido excepto o vertice inicial (terminal) designa-se por
ciclo. No grafo que se segue, por exemplo,
1
e13
e12
u
u
H
" 2
H
"
HH
e15
"
" e25
H
HH "
u
H"
"Q 5
"
"
Q
"
Qe45
"e35
Q
"
Q
"
Q
Qu 4
u
"
e34
o caminho 3e35 5e25 2e12 1e15 5e45 4e34 3 e um circuito simples (nao ha arestas
repetidas e o vertice inicial e terminal coincidem), mas nao e um ciclo ja
que para alem do vertice inicial (que e tambem terminal) ha outro vertice,
o vertice 5, que esta repetido.
Num digrafo estes conceitos podem ter em conta a orientacao. Chama-se
caminho orientado a uma sequencia finita de arcos da forma
v1 , e1 , v2 , e2 , . . . , er1 , vr
onde, para cada j = 1, 2, . . . , r 1, se tem ej = (vj , vj+1 ). A partir daqui
define-se caminho fechado, circuito e ciclo concordantemente.
Grafos conexos. Seja G (V, E) um grafo qualquer. No conjunto V dos
vertices define-se a seguinte relacao
vJ w se e s
o se v = w ou
existe um caminho entre v e w.
Esta relacao e
reflexiva,
181
simetrica e
transitiva
e, portanto, e uma relacao de equivalencia. Entao V pode decompor-se
em classes de equivalencia {V1 , V2 , . . . , Vr }; cada um dos subgrafos Gi , (com
i = 1, 2, . . . , r), induzido por Vi V , chama-se componente conexa do
grafo G.
Exemplo 4.6 O grafo
r
T
T
T
r
Tr
tem duas componentes conexas.
r
r
"
""
""
r"
r
Defini
c
ao 4.7 Um grafo diz-se conexo se e s
o se possuir uma s
o componente conexa, ou seja, se e s
o se entre dois quaisquer dos seus vertices
existir sempre um caminho. Um grafo que possui mais que uma componente
conexa diz-se um grafo desconexo.
No caso dos digrafos a questao da conexidade e um pouco mais complexa:
assim, se entre dois vertices quaisquer vi e vj (vi 6= vj ) existir sempre um
caminho orientado de vi para vj e um caminho orientado de vj para vi o
digrafo diz-se fortemente conexo; se tal nao acontecer, mas o grafo que se
obtem do digrafo retirando simplesmente a orientacao dos seus arcos (isto
e, transformando todos os seus arcos em arestas) for conexo entao o digrafo
diz-se fracamente conexo.
4.1.3
Graus dos v
ertices de um grafo
Demonstra
c
ao: Proceder-se-
a por inducao sobre o n
umero de arestas do grafo:
denote-se por p(n) a afirmac
ao de que a soma dos graus de todos os vertices de um
grafo com n arestas e igual a 2n.
(i) Se o grafo n
ao tem qualquer aresta, entao o grau de qualquer dos seus
vertices e zero e a soma dos graus de todos os vertices e zero. Assim, p(0) e uma
proposic
ao verdadeira.
(ii) Suponha-se que para um dado k IN se verifica p(k), isto e, que a soma
dos graus de todos os vertices de um grafo com k arestas e igual a 2k. Considere-se
agora um grafo G com k + 1 arestas. Pretende-se provar que a soma dos graus
de todos os vertices de G e igual a 2k + 2. Para tal, considere-se um grafo G 0
exactamente igual a G mas com menos uma aresta, por exemplo, a aresta {a, b}.
Pela hip
otese de induc
ao, G 0 tem k arestas e, portanto, a soma dos graus de
todos os seus vertices e igual a 2k. Para obter G a partir de G 0 a u
nica coisa que e
necess
ario fazer e acrescentar a G 0 a aresta {a, b}. Este acrescento aumenta o grau
do vertice a de uma unidade e o grau do vertice b de uma unidade: entao, ao passar
de G 0 para G por adic
ao da aresta {a, b} a soma dos graus de todos os vertices de
G 0 aumenta 2 unidades fazendo com que a soma dos graus de todos os vertices de
G seja igual a 2k + 2. Isto significa que para k IN dado
p(k) p(k + 1)
Por (i) e (ii), tendo em conta o princpio de inducao matematica, fica demonstrado
o teorema.
2
Corol
ario 4.9 Em qualquer grafo o n
umero de vertices que tem grau mpar
e um n
umero par.
Demonstra
c
ao: A soma dos graus de todos os vertices e um n
umero par e, para
que assim seja, o n
umero de termos mpares nao pode ser mpar pois de contrario
a soma total seria tambem mpar.
2
Exerccios 4.1.2
1. Para os grafos 1, 2, 3 e 4 desenhados a seguir:
(a) Fazer a descric
ao formal (como par ordenado de conjuntos).
(b) Determinar o grau de cada vertice.
(c) Determinar o n
umero de arestas.
(d) Verificar o teorema 4.8.
183
[1]
[2]
as
H
as
H
b
s
HH
s
H
eH
HHr
r
c
d
b
s
HH
s
H
eH
HHr
r
c
d
[3]
[4]
ar
H
HH
@
@ HH
r
cpr
f
a
@ H
b
a
aara
@
d a@
@s c
a
s
e
as
cr
bs
HH
@
@
@ H @
@ HH@
H
r
@r
Hr
@
e
f
d
[6]
as
br
@
@
r
d
r
e
cs
cs
br
@
@
@
@
@
@r
r
@s
e
f
d
@
@r
f
[7]
as
r
c
J
J
Jr
e
as
@
[8]
er
br
J
J
Jsd
s
f
crX
XXsf
r
r
a
sg
bl
lr
dl
l
l
lsph
resolver (se possvel) os seguintes problemas:
(a) Determinar um caminho elementar de a a f .
(b) Determinar um caminho simples de a a f que n
ao seja elementar.
(c) Determinar um caminho de a a f que n
ao seja simples.
3. Para cada um dos grafos 9, 10, 11 e 12 resolver os seguintes problemas:
(a) Determinar um circuito que n
ao seja um ciclo.
(b) Determinar um circuito que n
ao seja simples.
184
[9]
a
!raa
!
a
a
s !
e!
H
sb
H
H
H
HH
Hr c
r
d
[11]
as
r
c
J
J
Jr
e
[10]
as
cs
br
@
@
@
@
@
@
@r
r
@s
e
f
d
[12]
br
J
J
Jsd
s
f
er
r
a
crX
Xrf
CC X
C
r
bbb C Cr g
r
C
b
db
b
b sh
p
4.2
Representa
c
ao de Grafos por Matrizes
4.2.1
Matriz de adjac
encia de um grafo
O grafo
1
t
c
c
c
c t4
,
,
,
t
5
t,
3
A=
0
1
1
1
0
1
1
0
0
1
sm
1
0
0
1
0
1
0
1
0
0
0
1
0
0
0
0 0
1 0
A=
0 1
0 0
1 0
1
0
1
1
1
1
1
0
0
1
0
1
0
0
0
Demonstra
c
ao: Seja aij o elemento da linha i e coluna j da matriz A2 . Entao,
supondo que A e de dimens
ao n
(2)
aij
n
X
p=1
187
aip apj
onde
(k1)
aip
apj =
(k1)
Por hip
otese (induc
ao) aip
(k1)
aip
0
se p e j forem adjacentes
no caso contrario
e o n
umero de caminhos de comprimento k 1 entre
(k1)
Corol
ario 4.14 O elemento aii de A2 e igual ao grau do vertice i.
Demonstra
c
ao: Visto que
(2)
aii
n
X
aip api
p=1
ent
ao, como aip = 1 quando e so quando api = 1, isto e, quando e so quando ha
uma aresta entre os vertices i e p, a soma de p = 1 ate p = n da o grau do vertice
i.
2
1r
r
! 2
!
!
!
r!
! 3aa
!
aa
!!
ar
4s
5
cuja matriz de adjacencia e a seguinte
0
1
A=
0
1
0
1
0
1
0
1
0
1
0
1
1
1
0
1
0
0
0
1
1
0
0
Entao,
A =
2 0 2 0 1
0 3 1 2 1
2 1 3 0 1
0 2 0 2 1
1 1 1 1 2
0
5
1
4
2
A =
A =
9
3
11
1
6
5
2
6
1
4
1
6
2
5
4
3 11
15 7
7 15
11 3
8
8
4
1
5
0
2
2
4
4
2
2
1 6
11 8
3 8
9 6
6 8
Em A2 na posic
ao (4, 4) est
a o n
umero 2 que e o grau do vertice 4 e e igual ao
n
umero de caminhos do vertice 4 ao vertice 4: os caminhos 4-1-4 e 4-3-4. Da quarta
potencia de A pode concluir-se, por exemplo, que ha 8 caminhos de comprimento 4
entre os vertices 2 e 5. Os elementos que aparecem na diagonal de A3 correspondem
aos n
umeros de tri
angulos (circuitos de comprimento 3) que passam pelos vertices
respectivos.
O caso dos digrafos. Como ja foi referido acima, num digrafo, chama-se
caminho dirigido do vertice v para o vertice w a uma sequencia finita de
vertices e arcos
v1 , a1 , v2 , a2 , . . . , vr , ar , vr+1
tais que v1 = v e vr+1 = w e, para cada i, ai e um arco dirigido de vi para
vi+1 . Se existir um caminho dirigido do vertice v para o vertice w entao
dir-se-a que v esta ligado ou conectado a w. A traducao para digrafos do
teorema 4.13 pode enunciar-se da seguinte maneira
Teorema 4.18 Se A for a matriz de adjacencia de um digrafo, ent
ao o
k
elemento da posic
ao (i, j) da potencia A (k 1) e o n
umero de caminhos
dirigidos de comprimento k do vertice i para o vertice j.
A demonstracao deste teorema e identica `a demonstracao do teorema
4.13, tendo o cuidado de adaptar todos os resultados usados ao caso dos
digrafos.
190
4.2.2
Matriz de incid
encia de um grafo
e3
e5
2 ri
e1
1r
c e4
c
e2 c r 5
e6
r
4
r
3
e a seguinte:
B=
1
1
0
0
0
1
0
1
0
0
1
0
1
0
0
1
0
0
0
1
0
1
0
0
0
0
1
0
1
0
Cada coluna correspondente a uma aresta que nao seja um lacete tem
apenas dois elementos nao nulos; as colunas correspondentes a lacetes tem
apenas um elemento nao nulo. Alem disso, a soma dos elementos de cada
linha da o grau do vertice que lhe corresponde, num grafo simples (sem
lacetes).
Exerccios 4.2.1 Mostrar que entre as matrizes de adjacencia e de incidencia
de um grafo simples (sem lacetes) se verifica a relac
ao
B Bt = D + A
191
1t
- 2t
1
e4
e5
6
e3
t
3
e2
?
s
4
e6
e a seguinte.
1 0
1
1
0
0
1 1 0
0
1
0
B=
0
0 1 1 1 1
0
1
0
0
0 1
a u
c
u
BZZ
Z
B Z
Z
Z
Z B
Z u
Z Bu
Z e
d Z
LLZ
Z
Z
Z
Z L Z
Z L
Z
Z
Z
Z
Zu g
L
u
f
b
u
Z
192
1 1 1
0 0 0
B=
0 0 1
0 1 0
1 0 0
0
1
0
1
0
0
0
1
0
1
1 1 1 0 0 0 0 0 0
0 0 0 1 1 1 0 0 0
0 0 0 0 0 0 1 1 1
B=
1 0 0 1 0 0 1 0 0
0 1 0 0 1 0 0 1 0
0 0 1 0 0 1 0 0 1
(a) Determinar o grau de cada vertice.
(b) Esbocar uma representac
ao pict
orica de G.
(c) Determinar a matriz de adjacencia de G.
4. Seja G o grafo correspondente `
a seguinte matriz
0 1 1 0 1
1 0 1 1 0
1 1 0 0 0
A=
0 1 0 0 1
1 0 0 1 0
0 0 1 1 0
de adjacencia
0
0
0
0
0 1 0 0 0
1 0 1 0 0
A=
0 1 0 0 0
0 0 0 0 1
0 0 0 1 0
Por um procedimento matricial indicar se existe um caminho entre os vertices
1 e 5.
193
6. Usar um procedimento matricial para determinar se o grafo ao qual corresponde a matriz de adjacencia
0 1 1 0 0
1 0 0 1 0
A=
1 0 0 0 1
0 1 0 0 1
0 0 1 1 0
e ou n
ao conexo.
7. Determinar o n
umero total de arestas de um grafo completo com n vertices.
8. Determinar o n
umero de arestas do grafo bipartido Kp,q .
9. Construir um grafo conexo simples com n vertices por forma que o grau de
cada vertice seja igual a 2. Observar a estrutura deste grafo e coment
a-la.
10. Provar que num grafo simples com 2 ou mais vertices, os graus dos vertices
n
ao podem ser todos distintos.
11. Considerar o digrafo G (V, E) onde
V = {1, 2, 3, 4, 5, 6} e E = {(1, 2), (2, 3), (3, 4), (4, 5), (5, 6), (1, 6), (2, 6), (5, 2)}
(a)
(b)
(c)
(d)
0
A2 =
1
1
0 1 1
0 3 1
3 1 1
e A3 = 3 2 4
1 4 2
1 2 1
1 1 2
1 4 3
1
4
3
2
13. Mostrar que a soma dos elementos da diagonal principal da segunda potencia
da matriz de adjacencia de um grafo (traco de A2 ) e igual a duas vezes o
n
umero de arestas do grafo.
194
4.3
195
grau par positivo. Seja a esse vertice. Pode entao garantir-se que ha pelo menos
duas arestas incidentes em a que se denotarao, respectivamente, por {a, b} e {a, c}.
#
l ar #
l#
"b
br"" bbcr
"
"
e
EE
e
l
#
l ar #
l#
c
br
r
"
"
EE
e
e
196
197
N
u
b
b
b
b
W
b
b
b
bu E
u
S
Neste grafo com 4 vertices todos eles tem grau mpar: de acordo com o teorema, tal
grafo n
ao possui qualquer caminho (ou circuito) euleriano. Ficou assim resolvido,
de uma vez por todas, pela negativa, o problema dos habitantes de Konigsberg
(Kaliningrad).
Exerccios 4.3.1
1. Determinar um circuito euleriano no seguinte grafo
198
u
uPPP
PP
PP
PP
u
u
u
PP
PP
PP
PP
u
u
u
Hr
P
b
H
PPr
l
LL
e
c
l
r
r
B
g
Je
L B
@
BB
r
@
Lr
J
r
r
J
r
f
j
i
k
d
ir
hr
LL
c
br
r
L
A
T
L
A a T
qr j
m r
L
Tr d
Ar
r
g
L
A
T
L
A
T
L
A
Tr
r
r
Lr
e
f
e
k
4.4
Arvores
e Florestas
Esta seccao e dedicada a um tipo especial de grafos que tem grande importancia nas ciencias da computacao.
Defini
c
ao 4.26 Dir-se-
a que um grafo T e uma
arvore se possuir as duas
propriedades seguintes:
T1 T e um grafo conexo,
T2 n
ao existem ciclos em T .
199
Uma arvore pode ser dirigida ou nao dirigida consoante T seja um digrafo
ou, simplesmente, um grafo. O termo arvore sem qualquer qualificativo
interpreta-se sempre no sentido de ser uma arvore nao dirigida. O digrafo
At
QQ
=
B t
A
A
/
AU E
D t
t
C
C
C
C
CW
CW
t t
t t
QQ
s
tC
S
S
w
S
F t
tG
C
B
C
B
CW
BBN
t t
t t
L M
J K
H
@
@
@
@
@
@
HH
H
HH
H
@
@
...
ui
ui
. e. .
...
ui+1
...
@
@
...
ui
ui+1
vi+1
......
......
@
@
...
v
v
Defini
c
ao 4.30 Uma aresta de um grafo conexo e designada por ponte se
a sua remoc
ao (sem retirar os vertices) tornar o grafo desconexo.
Por exemplo, no grafo
t
td
@
@
@t
td
@
@
@t
Reciprocamente,
Teorema 4.32 Se G for um grafo conexo no qual cada aresta e uma ponte
ent
ao G e uma
arvore.
202
Demonstra
c
ao: Suponha-se que G nao e uma arvore, seja C um ciclo em G e
suponha-se que e designa uma aresta em C. Seja G 0 o grafo que se obtem suprimindo
a aresta e em G. Visto que, por hipotese, e e uma ponte entao G 0 e desconexo.
Sejam p e q dois vertices quaisquer de G. Como G e conexo existe um caminho
P entre p e q. Se P n
ao contiver e entao existe tambem um caminho entre p
e q no grafo desconexo G 0 . Por outro lado, se e = {v, w} for uma aresta de P
que tambem pertence ao ciclo C que parte, por exemplo, do vertice t, obtem-se o
seguinte caminho em G 0 entre p e q
p......v......t......w......q
(substitui-se a aresta e pelo resto do circuito C que vai de v a w). Por outras
palavras, existe sempre um caminho entre cada par de vertices de G 0 o que contraria
o facto de G 0 ser desconexo.
2
Defini
c
ao 4.35 Um subgrafo T de um grafo G com n vertices diz-se uma
arvore suporte de G se
203
1. T for uma
arvore e
2. T tiver exactamente n vertices
Teorema 4.36 Um grafo G e conexo se e s
o se possuir uma
arvore suporte.
Demonstra
c
ao: Se G possuir uma arvore suporte entao, visto que a arvore e
conexa e possui o mesmo n
umero de vertices que G, G e conexo.
Reciprocamente, suponha-se que G e um grafo conexo. Sejam v1 , v2 , . . . , vn
os vertices de G. Seleccione-se um destes vertices e atribua-se-lhe a etiqueta 1.
Considerem-se agora os vertices adjacentes ao vertice etiquetado por 1: escolhase um destes vertices, atribua-se-lhe a etiqueta 2 e marque-se a aresta {1, 2}, que
n
ao pode voltar a ser usada. Procedendo de modo semelhante, suponha-se que
se etiquetou o vertice vi com o n
umero inteiro k. Procure-se entre os vertices
adjacentes a k se existe algum que ainda nao esteja etiquetado: se tal se verificar,
escolha-se um tal vertice, atribua-se-lhe a etiqueta k + 1 e marque-se a aresta
{k, k + 1} para n
ao voltar a ser usada.
Pode, no entanto, acontecer que todos os vertices adjacentes a k estejam ja
etiquetados. Neste caso recua-se para o vertice k 1 e pesquisa-se a existencia de
vertices ainda n
ao etiquetados adjacentes a k 1. Se existir um atribua-se-lhe a
etiqueta k + 1 e marque-se a aresta {k 1, k + 1} para nao voltar a ser usada.
Continua-se este processo ate que todos os vertices estejam etiquetados o que
acontecer
a necessariamente visto o grafo ser conexo. (Se o grafo nao fosse conexo
recuar-se-ia ate ao vertice 1 antes de todos os vertices do grafo estarem etiquetados.)
O subgrafo constitudo pelos n vertices originais e as arestas marcadas e uma
arvore a
br
cr
aa
r
f
r
g
r
e
a
ar
d
Ent
ao a
arvore
8br
r
7
1r
4r
aa
a
ar
r
5
3
r
r
2
6
e uma
arvore geradora do grafo inicial.
204
Defini
c
ao 4.38 Chama-se floresta a um grafo constitudo por v
arias componentes conexas, cada uma das quais e uma
arvore.
Exerccios 4.4.1
1. Seja G uma floresta com n vertices, m arestas e k componentes. Determinar
m em func
ao de n e k.
2. Suponha-se que uma
arvore tem 2 vertices de grau 5, 3 vertices de grau 4, 6
vertices de grau 3, 8 vertices de grau 2 e r vertices de grau 1. Determinar r.
3. Um grafo conexo tem 20 vertices. Determinar o n
umero mnimo de arestas
que o grafo pode ter.
4. Um grafo G tem 20 arestas. Determinar o n
umero m
aximo de vertices que o
grafo pode ter.
5. Suponha-se que G tem 4 componentes conexas, 20 arestas e r vertices. Determinar o valor m
aximo de r.
6. Uma aresta e de um grafo conexo G pertence a todas as possveis
arvores
suporte de G. Que se pode afirmar relativamente `
a aresta e?
205
Bibliografia
[1] David C. Kurtz, Foundations of Abstract Mathematics, McGraw-Hill International
Editions, NY 1992.
[2] J. Sebasti
ao e Silva
[3] J. Sebasti
ao e Silva
[4] V. K. Balakrishnan, Introductory Discrete Mathematics, Dover, NY 1991.
[5] Richard A. Brualdi, Introductory Combinatorics, North-Holland, NY 1979.
[6] Stephen A. Wiitala, Discrete Mathematics. A Unified Approach, McGraw-Hill International Editions, Computer Science Series, NY 1987.
[7] Michael O. Albertson & Joan P. Hutchinson, Discrete Mathematics with Algorithms,
John Wiley & Sons, NY 1988.
[8] Martin J. Erickson, Introduction to Combinatorics, John Wiley & Sons, NY 1996.
[9] Domingos M. Cardoso, Curso sobre Grafos e Combinat
oria (Apontamentos), U.
Aveiro, Abril de 1999.
[10] Jorge Picado, Curso sobre Teoria dos Grafos (Apontamentos manuscritos), U. Coimbra, 1998
[11] John P. DAngelo & Douglas B. West, Mathematical Thinking, Prentice Hall, 1997.
[12] Alan Tucker, Applied Combinatorics, John Wiley & Sons, 1984.
[13] A. Chetwynd & P. Diggle, Discrete Mathematics, Arnold, 1995.
[14] J. Eldon Whitesitt, Boolean Algebra and its Applications, Dover, 1995.
[15] Douglas Kaye, Sistemas Booleanos, Editorial Alhambra, 1970.
[16] Normann L. Biggs, Discrete Mathematics, Oxford Science Publications, 1993.
[17] Walter Ladermann & Alan J. Weir, Group Theory, Longman, 1996.
[18] Oystein Ore, Graphs and Their Uses, The Mathematical Association of America,
1990.
207