Fundamentos de Matematica

Universidade Federal de Sergipe
Centro de Ciencias Exatas e Tecnologia

Departamento de Matemtica
Material Didtico para a disciplina
Fundamentos de Matemtica
Paulo de Souza Rabelo
Aracaju - SE
2013
Sumrio
1 Introduo 1
2 Noes de Lgica 4
2.1 Clculo Proposicional 4
2.1.1 Conjuno 5
2.1.2 Disjuno 6
2.1.3 Negao 7
2.1.4 Implicaes 7
2.1.5 Se, e somente se 9
2.2 Tautologias e Contradies 9
2.3 Quanticadores 10
2.4 Validade de Argumentos 12
2.4.1 Tabela-Verdade 13
2.4.2 Regras de Inferncia 14
2.4.3 rvore de Refutao 16
2.4.4 Argumentos envolvendo quanticadores 18
3 Tcnicas de Provas 28
3.1 O Mtodo Direto 30
Prova por Contradio (Reduo ao Absurdo) 32
Provas tipo P se, e somente se, Q 34
Prova por Casos 35
Provas de Existncia 36
Provas de Unicidade 38
Uso de Contra-Exemplos 40
3.2 Induo Matemtica 41
4 Conjuntos 46
4.1 Uma pausa para o rigor 51
5 Relaes 55
5.1 Relaes de Equivalncia 56
5.2 Relao de Ordem 60
6 Funes 63
7 Cardinalidade 68
ii
CAPTULO 1
Introduo
O que Lgica? Lgica a cincia que estuda pricpios e mtodos de inferncia, tendo o obje-
tivo principal de determinar em que condies certas coisas se seguem (so consequncias), ou
no, de outras. Obviamente, como denio, isso deixa bastante a desejar: precisamos explici-
tar o que "inferncia", por exemplo, e o que se quer dizer com "se seguem"ou "consequncia".
Vamos comear com o problema apresentado no seguinte mini-conto de fadas:
H no muito tempo atrs, num pas distante, havia um velho rei que tinha
trs lhas, inteligentssimas e de indescritvel beleza, chamadas Guilhermina,
Genoveva e Griselda. Sentindo-se perto de partir desta para melhor, e sem
saber qual das lhas designar como sua sucessora, o velho rei resolveu
submet-las a um teste. A vencedora no apenas seria a nova soberana, como
ainda receberia a senha da conta secreta do rei (num banco suo), alm de
um m de semana, com despesas pagas, na Disneylndia. Chamando as
lhas sua presena, o rei mostrou-lhes cinco pares de brincos, idnticos em
tudo com exceo das pedras neles engastadas: trs eram de esmeralda, e
dois de rubi. O rei vendou ento os olhos das moas e, escolhendo ao acaso,
colocou em cada uma delas um par de brincos. O teste consistia no seguinte:
aquela que pudesse dizer, sem sombra de dvida, qual o tipo de pedra que
havia em seus brincos herdaria o reino (e a conta na Sua, etc.).
A primeira que desejou tentar foi Guilhermina, de quem foi removida a
venda dos olhos. Guilhermina examinou os brincos de suas irms, mas no
foi capaz de dizer que tipo de pedra estava nos seus (e retirou-se, furiosa). A
segunda que desejou tentar foi Genoveva. Contudo, aps examinar os brincos
de Griselda, Genoveva se deu conta de que tambm no sabia determinar se
seus brincos eram de esmeralda ou rubi e, da mesma forma que sua irm,
saiu batendo a porta. Quanto a Griselda, antes mesmo que o rei lhe tirasse
a venda dos olhos, anunciou corretamente, alto e bom som, o tipo de pedra
de seus brincos, dizendo ainda o porqu de sua armao. Assim, ela herdou
o reino, a conta na Sua e, na viagem Disneylndia, conheceu um jovem
cirurgio plstico, com quem se casou e foi feliz para sempre.
Agora, um probleminha para voc resolver: que brincos tinha Griselda, de esmeralda ou de
rubi? Pense e responda! J de volta? Bem, espero que voce tenha feito o esforo e descoberto
que os brincos de Griselda eram de esmeralda. Contudo, responder ao exerccio dizendo apenas
1
CAPTULO 1 INTRODUO 2
que os brincos eram de esmeralda no suciente: voce poderia ter tido um palpite feliz,
acertando simplesmente por sorte. Para me convencer de que voc sabe mesmo a resposta,
voce tem de expor as razes que o/a levaram a concluir que os brincos eram de esmeralda;
voce tem de justicar essa sua armao. Note que as princesas tambm estavam obrigadas a
fazer isto: o velho rei no estava interessado em que uma delas acertasse a resposta por acaso.
Ora, enquanto tentava resolver o problema, voc deve ter tomado vrios pontos de partida
e pode ter seguido por vrios caminhos busca de soluo. A esse processo de busca vamos
cham-lo de raciocnio, ou de processo de inferncia. Basicamente, raciocinar, ou fazer in-
ferncias, consite em "manipular"a informao disponvel - aquilo que sabemos ou supomos
ser verdadeiro - e extrair consequncias disso, obtendo informao nova. O resultado de um
processo (bem sucedido) de inferncia que voc ca sabendo algo que no sabia antes: que
os brincos de Griselda so de esmeralda; que o assassino foi o mordomo; que o melhor time do
pas o Vasco. claro que este processo tambm pode terminar num fracasso!
Porm, a Lgica no procura dizer como as pessoas raciocinam, mas se interessa primei-
ramente pela questo de se aquelas coisas que sabemos (o ponto de partida do processo), de
fato constituem uma boa razo para aceitar a concluso alcanada, isto , se a concluso uma
consequncia daquilo que sabemos (nossas hipteses). A importncia de uma boa justicativa
vem do fato de que muitas vezes cometemos erros de raciocnio, chegando a uma concluso
que simplesmente no decorre da informao disponvel. E, claro, h contextos nos quais uma
armao s pode ser aceita como verdadeira se muito bem justicada: na cincia de um modo
geral, por exemplo, ou em um tribunal (onde algum s pode ser condenado se no houver
dvida quanto a sua culpa).
Com relao ao problema dos brincos das princesas, uma justicao de que os brincos de
Griselda so de esmeralda pode ser algo como o que se segue:
Existem apenas dois pares de brincos de rubi; logo, se tanto Genoveva quanto
Griselda estivessem com brincos de rubi, Guilhermina, a primeira, saberia
que os seus so de esmeralda. Guilhermina, contudo, no soube dizer qual o
tipo de pedra em seus brincos. Logo, ou Genoveva e Griselda tinham ambas
brincos de esmeralda, ou uma tinha brincos de rubi e a outra, de esmeralda.
Mas disso se segue agora que, se Griselda tivesse brincos de rubi, Genoveva,
a segunda, teria visto isso, e saberia que os seus so de esmeralda. Genoveva,
contudo, tambm no soube dizer qual o tipo de pedra em seus brincos. Logo,
Griselda no tinha brincos de rubi, ou seja, seus brincos eram de esmeralda.
Essa listagem de razes mostrando como deduzir, ou como demonstrar, a partir dos dados
do problema, a concluso a respeito de qual pedra estava nos brincos de Griselda, o que
chamamos de argumento.
O objetivo nessa disciplina mostrar que existem argumentos, considerados vlidos, de
uso frequente em matemtica, seja para resolvermos problemas ou provarmos determinadas
armaes (teoremas). A veracidade desses argumentos estar baseada em princpios lgicos
(primeira parte do curso) e ser vericada atravs de tabelas-verdade, regras de inferencia e
rvores de refutao. Veremos as vantagens e desvantagens da cada um desses mtodos. Na
CAPTULO 1 INTRODUO 3
sequncia, estudaremos alguns argumentos de prova/resoluo, exemplicando-os com ma-
temtica elementar: noes de divisibilidade, do que ser um nmero par, mpar, racional,
irracional, primo, etc.
Por m, estudaremos tpicos que permearo a vida acadmica do aluno e so fundamentais
em matemtica: conjuntos, relaes, funes e cardinalidade.
Quase nada do escrito nessas notas de minha autoria: ela uma colagem de diversas partes
dos livros citados nas referncias. Muito contedo veio do livro do Bloch [1]. O interesse
proporcionar aos alunos uma fonte de leitura em portugus, j que h poucos livros nesse
idioma que contemple satisfatoriamente a ementa da disciplina - em geral, livros de matemtica
discreta. Por outro lado, h uma extensa literatura em ingls.
CAPTULO 2
Noes de Lgica
Lgica Matemtica encontra aplicaes em muitas reas de computao. As leis da lgica so
empregadas no design de circuitos digitais, inteligncia articial, programao de computado-
res e de linguagens, banco de dados relacionais, etc.
Para entender matemtica, devemos entender o que faz um argumento correto, isto , uma
prova. Uma vez provado que uma armao matemtica verdadeira, chamamos ela um teo-
rema. Uma coleo de teoremas sobre um tpico organiza o que sabemos sobre esse tpico.
Provas jogam um papel essencial quando vericamos que programas computacionais produ-
zem uma sada correta para todos os valores de entrada, quando estabelecemos a segurana de
um sistema e quando criamos inteligncia articial. Sistemas autmatos tm sido construdos
permitindo que computadores produzam suas prprias provas.
Nesta primeira parte estudaremos o que faz um argumento correto e introduzimos ferra-
mentas para construir esses argumentos. Desenvolveremos um arsenal de mtodos de provas
diferentes que nos capacitaro a provar diversos resultados ou resolver problemas. Ser suci-
ente para nossos propsitos apresentar os conceitos de modo informal.
2.1 Clculo Proposicional
Uma caracterstica especial que distingue matemtica de outras cincias o tipo de raciocnio
utilizado. Cientistas fazem observaes de casos particulares ou fenmenos e buscam uma
teoria geral que descreve ou explica as observaes. Esta viso chamada raciocnio indutivo,
e testada por fazer outras observaes. Se os resultados so incompatveis com as expectativas
tericas, o cientista usualmente rejeita ou modica a teoria.
Matemticos tambm usam, com frequncia, o raciocnio indutivo para descrever modelos
e relaes entre quantidades e estruturas. Mas o que caracteriza o pensamento do matemtico
o raciocnio dedutivo, no qual usamos lgica para retirar concluses baseadas em armaes
aceitas como verdadeiras. Se os resultados de alguma teoria matemtica so incompatveis com
a realidade, a falha no est na teoria, mas nas hipteses tomadas. Assim, o matemtico no
est restrito ao campo do fenmeno observvel.
Os objetos fundamentais em lgica so as proposies.
Denio 2.1.1. Uma proposio uma armao que verdadeira ou falsa, mas no ambas.
Exemplo 2.1.2. (1)

2 um nmero irracional;
(2) Todo tringulo issceles;
4
2.1 CLCULO PROPOSICIONAL 5
(3) Que horas so?
(4) x +1 = 2;
(5) Existem innitos nmeros primos;
(6) Vixe Maria!
(7) Esta armao falsa.
Questes imperativas e exclamativas no so proposies. A armao (4) pode ser ver-
dadeira ou falsa, dependendo do valor de x associado. Ela um predicado (uma armao
contendo uma ou mais variveis). A armao (7) faz uma referncia a si mesma, tornando
impossvel atribuir-lhe um valor: se assumirmos sua veracidade, ento a sentena arma que
falsa, e da mesma forma, ao assumirmos ela como falsa, encontramos que ela verdadeira.
Isto um exemplo de um paradoxo. O estudo de paradoxos exerce um papel chave no desen-
volvimento da lgica moderna. As demais armaes so proposies.
No estudo de lgica, usamos letras para representar proposies simples (ou atmicas), tais
como P, Q, R e S; e atribumos o valor V ou F a uma proposio se ela for verdadeira ou falsa,
respectivamente. O que faz a lgica interessante que existem vrios modos teis de formar
novas proposies a partir das antigas. Para isso usamos os chamados conectivos lgicos. Com
CONECTIVO SMBOLO
e (conjuno)
ou (disjuno)
no (negao) ou
se, ento (condicional ou implicaco) ou
se, e somente se (bicondicional) ou
Tabela 2.1 Conectivos lgicos
exceo do "no"(), os smbolos para esses conectivos so escritos entre duas proposies. A
veracidade de uma proposio composta depende da verdade de suas componentes. Estudemos
cada um desses conectivos.
2.1.1 Conjuno
Se um aluno chegasse para o professor e dissesse: "No tenho tempo para lazer, pois trabalho
e estudo". Em que situao o professor diria: "Voce est mentindo!"? E em qual situao o
aluno estaria dizendo a verdade?
Numa conjuno, se P e Q so proposies, ento PQ uma armao
verdadeira quando ambos, P e Q, so verdadeiros, e falsa caso contrrio.
Esta armao usualmente apresentada na forma de uma tabela-verdade, na qual so
exibidas todas as possibilidades para os valores de P e Q (ver Tabela 2.2).
P Q PQ
V V V
V F F
F V F
F F F
Tabela 2.2 Tabela-verdade para a conjuno
Exemplo 2.1.3. (1) Trabalho como professor de matemtica no Estado e no municpio.
(2) O nmero 2 um nmero primo e um nmero par.
(3) Trs maior que 1 e menor que 5.
Observao 2.1.4. Notemos que o nmero de possibilidades para uma proposio composta
por n proposies 2
n
.
2.1.2 Disjuno
Consideremos as seguintes armaes:
(1) Atltico ou Fluminense vencer a libertadores.
(2) Eu vou comer um hambrguer ou uma pizza.
Em que sentido elas so vlidas? A armao (1) dita est na forma exclusiva, signicando
que "ou umou outro, mas no ambos". Emmatemtica, usamos a disjuno na forma inclusiva,
como em (2), signicando que ambas as possibilidades tambm pode ocorrer.
Assim, numa disjuno, se P e Q so proposies, ento P Q uma
armao verdadeira quando pelo menos uma das componentes for
verdadeira, e falso quando ambas, P e Q, forem falsas.
P Q PQ
V V V
V F V
F V V
F F F
Tabela 2.3 Tabela-verdade para a disjuno
Exemplo 2.1.5. (1) 7 > 3 ou 1+1 = 5.
(2) O Vasco ser o campeo brasileiro deste ano ou o Flamengo ser rebaixado para a se-
gunda diviso.
2.1.3 Negao
Seja P uma proposio. A negao de P, denotada por P (ou P, ou ainda no(P)), verda-
deira quando a proposio P falsa, e falsa quando P verdade.
P P
V F
F V
Tabela 2.4 Tabela-verdade para a negao
Exemplo 2.1.6. (1) Se P representa a armao "este um curso fcil", P signia que
"este curso difcil". A quem atribuirmos o valor verdadeiro? A P ou a P?
(2) Se P signica "quatro um nmero par", ento P arma que "quatro mpar".
Observao 2.1.7. Verique que ( P) = P. Na linguagem comum, uma dupla negao
usada para enfatizar uma armao e no para tornar ela positiva. Por exemplo, ao dizer "no
quero cola nenhuma na prova", a inteno do aluno mostrar que ele no vai aceitar qualquer
tipo de cola na prova.
2.1.4 Implicaes
Matemtica feita de armaes da forma "P implica Q". Isto , "se a armao P ver-
dadeira, ento a armao Q tambm verdadeira". Muitas vezes essa estrutura omitida,
principalmente para tornar a matemtica mais compreensvel. Seria difcil se escrevssemos
sempre desse modo.
Exemplo 2.1.8. (1) Se x um nmero par, ento x
2
um nmero par.
(2) Se x ,= 0, ento x
2
> 0.
(3) Todos os nmeros primos maiores que 2 so mpares.
Emuma implicao PQexistemduas partes: a armao P dita hiptese (ou premissa)
e a armao Q chamada concluso (ou tese). Nem sempre fcil demarcar a hiptese e a
concluso; por exemplo, "Seja x um nmero inteiro positivo. Se x mpar, ento x
2
mpar",
quer dizer que "Se x um inteiro positivo e x mpar, ento x
2
mpar".
Direi a voces o seguinte: "Se vocs estudarem, ento vocs passaro na disciplina Funda-
mentos de Matemtica". Em que situao estarei mentindo? Somente no caso de vocs terem
estudado e tiverem sido reprovados. Observe que vocs podem no estudar e mesmo assim
conseguir aprovao! Assim, uma implicao P Q falsa somente quando a hiptese P
verdadeira e a concluso Q falsa. Um modo de entender o valor verdade de uma armao
condicional pensar nela como uma obrigao ou um contrato.
Observao 2.1.9. claro que podemos partir de falsidades e chegar em verdades. Por exem-
plo, "se 1 =1, ento 1 =1"(basta elevar ao quadrado a hiptese). Logo a veracidadde de uma
implicao no nos permite concluir nada sobre os valores lgicos da hiptese e da concluso.
P Q P Q
V V V
V F F
F V V
F F V
Tabela 2.5 Tabela-verdade para a implicao
Na literatura, existem algumas formas equivalentes de escrever uma implicao P Q:
(1) "Q se P- por exemplo, "Rubinho Barrichello seria campeo mundial de Frmula 1 se no
fosse Michael Schumacher."
(2) "Q uma condio necessria para P"
(3) "P somente se Q- por exemplo, "xy mpar somente se x e y so mpares".
(4) "P suciente para Q"
Denio 2.1.10. Duas armaes so logicamente equivalentes se possuem a mesma tabela-
verdade, ou seja, se possuem os mesmos valores lgicos. Denotamos este fato pelo smbolo
.
Assim, vericamos que (PQ) P Q e (PQ) P Q. Ou seja, dizer que
"no verdade que Vasco ou So Paulo ser campeo brasileiro este ano" equivalente a dizer
que "nem Vasco, nem So Paulo ser campeo brasilero este ano". Observe a semelhana das
equivalncias acima com as leis de De Morgan para conjuntos:
(AB)
c
= A
c
B
c
e (AB)
c
= A
c
B
c
,
onde A
c
signica o complementar do conjunto A.
Podemos formar novas armaes condicionais a partir de uma implicao, a saber:
A Inversa de uma implicao P Q P Q.
O erro inicial mais comum que pessoas cometem em lgica se origina no uso da linguagem
comum. Por exemplo, ao dizer que "se chover no irei praia", em geral interpretamos isso
como "se no chover, vou praia". Mas o fato que foi dito apenas o que acontece caso chova!
Construindo as tabelas-verdade de PQe PQvericaremos que essas implicaes no
so equivalentes. Em geral, a veracidade de P Q nada diz sobre a veracidade de P Q.
Exemplo 2.1.11. (1) "Se eu sou sergipano, ento eu sou brasileiro" uma implicao vlida,
porm sua inversa falsa: "Se eu no sou sergipano, ento eu no sou brasileiro".
(2) "Se x par, ento x
2
par" uma implicao verdadeira que possui um inversa tambm
verdadeira: "Se x mpar, ento x
2
mpar".
A Contrapositiva de uma implicao P Q Q P.
2.2 TAUTOLOGIAS E CONTRADIES 9
Surpreendentemente estas armaes so logicamente equivalentes (verique!). Assim por
exemplo, a contrapositiva da armao "Se x um nmero primo, ento x = 2 ou x mpar"
"Se x ,= 2 e x par, ento o nmero x no primo".
A Recproca de uma implicao P Q Q P.
A veracidade de P Q nem sempre conduz veracidade de Q P (construa as tabelas-
verdade e verique que essas proposies no so logicamente equivalentes). Por exemplo,
"Se uma funo derivvel num ponto, ento ela contnua nesse ponto" uma implicao
verdadeira, porm sua recproca falsa. Por exemplo, a funo modular f (x) =[x[ na origem.
2.1.5 Se, e somente se
Relacionado sentena condicional (implicao) est a sentena bicondicional PQ. A dupla
seta signica que tanto a implicao P Q como sua recproca QP so verdadeiras. Assim,
P Q verdade quando P e Q possuem extamente os mesmos valores. Em outras palavras,
temos a equivalncia lgica
[P Q] [(P Q) (Q P)],
de forma que para vericarmos a validade de uma bicondicional equivalente a vericar a
validade de duas condicionais.
P Q P Q
V V V
V F F
F V F
F F V
Tabela 2.6 Tabela-verdade para a bicondicional
Exemplo 2.1.12. As armaes "um retangulo um quadrado se, e somente se, suas diagonais
so perpendiculares"e "1+7 = 6
2+
3 =
5"so verdadeiras.
Existem algumas variaes em como escrever a armao P Q. comum escrever P
necessrio e suciente para Q.
2.2 Tautologias e Contradies
Agora que denimos modos bsicos de combinar armaes, podemos formar proposies
mais complicadas por usar combinaes das operaes bsicas. Por exemplo, P(Q R)
das armaes P, Q e R. Necessitamos usar parnteses, colchetes e chaves para evitar ambigui-
dades.
A tabela-verdade para a proposio P (PQ) dada abaixo. Note que independente-
2.3 QUANTIFICADORES 10
P Q PQ P (PQ)
V V V V
V F V V
F V V V
F F F V
Tabela 2.7 Tabela-verdade representando uma tautologia
mente dos valores de P e Q, a proposio P (PQ) sempre verdadeira. Uma proposio
com esta propriedade chamada uma tautologia. Existem tambm proposies cuja estrutura
tal que elas so sempre falsas, seja qual for os valores de suas componentes. Tais proposies
so chamadas contradies. Um exemplo a expresso ( PQ) (P Q), como mostra
a tabela abaixo.
P Q P Q PQ P Q (PQ) (P Q)
V V F F F V F
V F F V F V F
F V V F V F F
F F V V F V F
Tabela 2.8 Tabela-verdade para uma contradio
Observao 2.2.1. Existe uma diferena sutil, mas importante entre o conectivo bicondicional
e o conceito de equivalncia lgica. Quando escrevemos P Q expressamos uma simples
frmula. Equivalncia lgica, por outro lado, uma relao entre duas expresses lgicas
(frmulas). Os dois conceitos esto relacionados da seguinte forma: duas expresses lgicas
e so logicamente equivalentes se, e somente se, uma tautologia.
Exemplo 2.2.2. Verique que [P(QR)] [(PQ) (PR)] uma tautologia.
possvel ter tautologias e contradies mais complicadas (e no intuitivos). Por exemplo,
a tabela-verdade da armao
[(PQ) R] [P (Q R)]
expressa uma tautologia. Como mais um exemplo de contradio, verique com uma tabela-
verdade que a armao [Q (P Q)] Q sempre falsa.
2.3 Quanticadores
A menos que algum valor de x tenha sido associado, a sentena "x > 3"no uma proposio
porque ela no verdadeira nem falsa. Quando a varivel x trocada por certos valores, por
exemplo 7, a proposio resultante verdadeira, enquanto para outros valores de x, digamos 2,
ela falsa. Este um exemplo de uma sentena aberta ou predicado. Isto , uma sentena
2.3 QUANTIFICADORES 11
contendo uma ou mais variveis que torna-se uma proposio somente quando as variveis
so trocadas por objetos particulares. Por notao, se uma sentena aberta chamada P e as
variveis so x
1
, x
2
, , x
k
, escrevemos P(x
1
, x
2
, , x
k
). A sentena "x
1
=x
2
+x
3
" aberta com
trs variveis P(x
,
x
2
, x
3
). Assim, P(2, 1, 1) verdadeira, enquanto P(1, 2, 3) falsa. O conjunto
no qual as variveis pertencem dito o universo de discurso.
Outro modo para construir proposies a partir de uma sentena aberta modicar ela com
um quanticador.
Denio 2.3.1. Para uma sentena aberta P(x) com varivel x, a sentena x U, P(x) (lida
para todo x emU, P(x)) verdadeira precisamente quando P(x) verdadeiro qualquer que seja
x no universo de discurso U. O smbolo chamado o quanticador universal. A sentena
x U, P(x) (lida existe x em U tal que P(x)) verdadeira quando existe pelo menos um x
no universo de discurso tal que P(x) verdadeiro. O smbolo chamado o quanticador
existencial.
Frequentemente, tambm lemos: para todos os valores de x em U, a armao P(x)
verdadeira, ou ainda, todos os valores de x emU satisfazem P(x).
Denio 2.3.2. A sentena x U, P(x) (lida existe x emU tal que P(x)) verdadeira quando
existe pelo menos um x no universo de discurso U tal que P(x) verdadeiro. O smbolo
chamado o quanticador existencial.
Exemplo 2.3.3. (1) x R, x
2
0;
(2) x, y Q,(o produto xy e a soma x +y so racionais);
(3) x R, (x 3 x
2
9);
(4) x Z, x
2
= 4;
(5) Existem dois nmeros primos tal que sua soma um nmero primo;
(6) Para cada nmero primo x menor que 10, x
2
+4 primo.
Podemos formar armaes com mais de um quanticador, bem como com quanticadores
envolvendo variveis diferentes. Suponha que P(x, y) = x +y
2
= 3, onde x e y so nmeros
reais. A armao y R, x R; P(x, y) pode ser lida como: para todo nmero real y existe
algum nmero real x tal que x +y
2
= 3. Esta armao verdadeira porque para qualquer real
y, podemos resolver x em termos de y, fornecendo x = 3 y
2
. Notemos que se mudarmos a
ordem dos quanticadores a armao passa a ser falsa, pois x R, y R; P(x, y) diz que
existe ao menos um nmero real x tal que qualquer que seja y R, temos x +y
2
= 3 e isso
acontece somente para no mximo dois valores de y, dados por y =
3x. Um exemplo
usual da combinao de quanticadores dado pela denio de continuidade de uma funo
f num ponto x = a, a saber: > 0, > 0 tal que [x a[ < [ f (x) f (a)[ < .
O nmero de quanticadores em uma armao matemtica fornece uma medida da com-
plexidade desta armao. Isto a principal razo porque difcil entender as denies rigo-
rosas de limite, convergncia, continuidade e diferenciabilidade em clculo.
2.4 VALIDADE DE ARGUMENTOS 12
Consideremos agora a seguinte armao: "Todos sero reprovados em Fundamentos de
Matemtica."Qual seria uma negao para esta armao? Temos uma armao do tipo x
U, P(x). A negao disso que P(x) falso para pelo menos um x no universo de discurso U,
ou seja, x U, P(x). Logo,
(x U, P(x)) x U, P(x).
Analogamente, vericamos que
(x U, P(x)) x U, P(x).
Diferente do que foi discutido antes, no podemos usar tabela verdade para vericar a veraci-
dade dessas equivalncias.
Exemplo 2.3.4. (1) Existe um vascano que no feliz. Claro que no! Todos os vascanos
so felizes.
(2) [x, (P(x) Q(x))] x, (P(x) Q(x)) x, (P(x) Q(x)) x, (P(x)
Q(x)). Assim, se P(x) signica "x uma loira"e Q(x) signica "x burra", ento x, P(x)
Q(x) signica que "toda loira burra"e a negao seria "existe pelo menos uma loira que
no burra".
(3) Fazemos a negao de uma combinao de quanticadores, negando um de cada vez.
Por exemplo, tomando a funo f : R R dada por f (x) = x
2
e a armao que para
todo y R existe x R tal f (x) = y, em smbolos, y R, x R; P(x, y) = f (x) = y
(isto dene a sobrejetividade da funo f ), sua negao, conforme uso da equivalncia
lgica acima, ser y R, x R; P(x, y). Ou seja, existe pelo menos um y real tal que
qualquer que seja o x R nunca teremos f (x) = y.
2.4 Validade de Argumentos
Uma prova uma justicao de uma armao chamada um teorema. A importncia da
lgica que ela fornece um meio de estabelecer quando uma linha de raciocnio, chamada
um argumento, correta ou no. Um argumento nesse sentido, consiste de um conjunto de
proposies (simples ou compostas) chamadas hipteses (ou premissas) e outra proposio
dita concluso (ou tese), a qual uma consequncia inevitvel das hipteses. Cada passo do
argumento segue as leis da lgica. Em matemtica, uma armao no aceita como vlida
sem que seja acompanhada de uma prova. Esta insistncia por provas uma das coisas que
torna a matemtica distinta de outras cincias.
Escrever provas uma tarefa difcil; no existem procedimentos que assegurem sucesso
sempre. Por isto, iniciaremos discutindo provas lgicas. Elas sero escritas no formato coluna,
com cada passo sendo justicado por uma regra de inferncia.
Denio 2.4.1. Um argumento com hipteses P
1
, P
2
, , P
n
e concluso Q dito ser vlido,
se sempre que P
1
, P
2
, , P
n
forem verdadeiros, ento Q tambm o for. Ou seja,
P
1
P
2
P
n
Q
uma tautologia. Caso contrrio, dizemos que o argumento invlido.
importante ressaltar que no o contedo de um argumento que determina quando ou
no ele vlido. O que importante sua estrutura.
2.4.1 Tabela-Verdade
A vericao da veracidade ou falsidade de um argumento via tabela-verdade estabelecida
por considerar todos os modos possveis nas quais as proposies componentes podem ser
verdadeiras ou falsas.
Exemplo 2.4.2. Se Dilma no ganhar a eleio, ento Serra ser eleito. Marina desistiu da
candidatura. Serra no foi eleito ou Marina continuou candidata. Portanto, Dilma ganhou a
eleio.
Simbolicamente, temos [( B M) ( L) ( ML)] B. Para decidirmos se o
argumento vlido, devemos examinar os possveis valores verdade de B para os casos em
que as hipteses so verdadeiras. Assim, numa tabela-verdade temos que o nosso argumento
vlido pois
B M L Q M L ML
V V V V F V
V V F V V F
V F V V F V
V F F V V V
F V V V F V
F V F V V F
F F V F F V
F F F F V V
Tabela 2.9 Validade de argumento
Exemplo 2.4.3. Se eu ganhar na megasena darei um carro a cada um de vocs. Eu no ganhei.
Logo, voces perderam os carros prometidos. Em smbolos temos as seguintes armaes: P
1
:
Paulo ganhou na megasena; P
2
: Vocs ganharo um carro; e a seguinte concluso: Q = P
2
.
Portanto, nosso argumento [(P
1
P
2
) P
1
] P
2
, cuja tabela-verdade dada por
P
1
P
2
P
1
P
2
P
1
P
2
V V V F F
V F F F V
F V V V F
F F V V V
Tabela 2.10 Tabela-verdade para o Exemplo
Assim, a veracidade das hipteses no argumento no implicam logicamente a concluso e
o argumento invlido.
Observao 2.4.4. Considere o seguinte argumento: "Se a [ b, ento mdca, b = a. Ou a [
b ou mmca, b = ab. Se mmca, b ,= ab e mdca, b ,= a, ento a b."O argumento tem
premissas P Q, PR e R Q, tais que a tabela verdade da conjuno (P Q) (P
R) (R Q) fornece uma contradio. Em outras palavras, impossvel para as premissas
serem verdadeiras simultaneamente. Um conjunto de premissas com essa propriedade dito
inconsistente. Neste caso o argumento vlido, embora no tenha utilidade, pois suporta
qualquer concluso.
2.4.2 Regras de Inferncia
O mtodo de tabela-verdade para assegurar a validade de um argumento pode tornar-se in-
vivel se as hipteses so complicadas ou so numerosas. Existe um mtodo alternativo que
no necessita construir uma tabela-verdade. O mtodo consiste em derivar uma sequncia de
proposies a partir das hipteses at atingir a concluso:
P
1
P
2
P
n
P
n+1
P
n+2
Q.
Considere a seguinte coleo de armaes: "Se o governo manter a inao baixa ou
diminuir a taxa de desemprego, ento no haver crise nanceira. Se as bolsas de valores
cairem, ento teremos uma crise nanceira. O governo conteve a taxa de inao. Assim as
bolsas no caram". Esta coleo de armaes um exemplo de um argumento lgico, a
ltima sendo a concluso e as demais as premissas do argumento. Um argumento vlido se a
concluso necessariamente segue das premissas.
Como podemos mostrar que o argumento fornecido acima vlido? Iniciamos por conver-
ter o argumento para smbolos. Seja I = o governo manteve a inao baixa, D = o governo
diminuiu a taxa de desemprego, F = haver crise nanceira, e B = as bolsas de valores ca-
ram. O argumento ento torna-se onde a linha horizontal separa as premissas da concluso.
(I D) F
B F
D
B
Alternativamente, poderamos escrever
[(I D) F] (B F) D B.
Se quisessemos usar tabela-verdade aqui, esta teria 16 linhas, o que seria um trabalho tedi-
oso. Alm disso, a tabela-verdade no nos d intuio do porque a veracidade do argumento e,
mais ainda, quando provamos armaes matemticas, frequentemente usamos quanticado-
res, o que torna o uso de tabela-verdade invivel. Assim, um modo mais frutfero de mostrar
uma implicao lgica mais complicada, quebr-la em uma coleo de implicaes mais
simples, tomando uma de cada vez.
Na construo de provas formais ser de grande ajuda termos um estoque de argumentos
vlidos, ditos regras de inferncia:
NOME PREMISSAS CONCLUSO
Simplicao PQ P
Adio P PQ
Conjuno P,Q PQ
Silogismo Disjuntivo PQ, P Q
Modus Ponens P Q, P Q
Modus Tollens P Q, Q P
Silogismo Hipottico P Q, Q R P R
Absoro P Q P (PQ)
Dilema Construtivo (P Q) (R S), PR QS
Tabela 2.11 Regras de Inferncia
Usando as regras de inferncia listadas acima, podemos construir uma justicao para o
argumento: Para um dado argumento existe mais que uma forma possvel de combinar as regras
(1) (I D) F Premissa
(2) B F Premissa
(3) D Premissa
(4) I D (3) Adio
(5) F (1, 4) Modus Ponens
(6) B (2, 5) Modus Tollens
de inferencia para mostrar a validade do argumento. No exemplo acima tambm poderamos
ter: Este fato nos leva ao problema de que para provar a invalidade precisamos mostrar que
(1) (I D) F Premissa
(2) B F Premissa
(3) D Premissa
(4) I D (3) Adio
(5) F B (2) Contrapositiva
(6) (I D) B (1, 5) Silogismo Hipottico
(7) B (4, 6) Modus Ponens
nenhuma combinao de regras de inferncia possvel.
Exemplo 2.4.5. Voltando ao nosso primeiro exemplo, temos:
Exemplo 2.4.6. Se Pai Andr estiver certo, o Vasco ser...
(1) B M Premissa
(2) L Premissa
(3) ML Premissa
(4) M (2, 3) Silogismo Disjuntivo
(5) (B) (1, 4) Modus Tollens
(6) B (5) Dupla Negao
(1) (M B) (P A) Premissa
(2) P Premissa
(3) P A (1) Simplicao
(4) A (2, 3) Modus Ponens
(5) AB (4) Adio
2.4.3 rvore de Refutao
Nesse mtodo analisamos argumentos do tipo P
1
P
2
P
n
Q assumindo a negao da
concluso Q como uma hiptese adicional. Imaginamos uma rvore ao contrrio. A raiz ser
constituda pelas hipteses (incluindo a hiptese adicional). Ento construmos seus galhos
utilizando regras de inferncia. Uma conjuno gera somente um galho (ramo), enquanto uma
disjuno gera dois ramos. A rvore termina quando utilizamos todas as hipteses e proposi-
es compostas, de forma que restam apenas proposies simples. Se encontrarmos em todos
os ramos uma contradio (marcamos por F cada ramo nesta condio), ento a tentativa de
refutao falhou e o argumento vlido. Caso contrrio, se em algum ramo no foi possvel
encontrar contradio, ento o argumento invlido (refutamos).
Exemplo 2.4.7. Vericar por meio de rvore de refutao a validade do argumento [(PQ)
P] Q.
(PQ), P, Q
Q
P
P
F
Q
F
Exemplo 2.4.8. Construir uma rvore de refutao para vericar se a frmula (PQ)(P
Q) uma tautologia.
[(P Q) (P Q)]
(P Q) (P Q)
(P Q)
(PQ)
P Q
P
Q
(P Q)
PQ
P
F
Q
F
]
Desde que em todos os galhos obtemos contradies, segue que no conseguimos refutar o
argumento. Logo, o argumento vlido.
Exemplo 2.4.9. Faa o mesmo para [P (RS)] [(R]S) Q] (P Q).
P (RS), (RS) Q, (P Q)
P(RS)
P
(RS) Q
(RS)
R S
R
(PQ)
P Q
P
S
(PQ)
P Q
P
Q
(PQ)
P Q
Q
RS
R
(RS) Q
(RS)
R S
R
S
(PQ)
P Q
P
Q
(PQ)
P Q
Q
S
(RS) Q
(RS)
R S
R
(PQ)
P Q
P
Q
(PQ)
P Q
Q
Como restaram galhos onde no conseguimos uma contradio, conclumos que o argumento
invlido.
Observao 2.4.10. A ordem de tomar as premissas no importa. A aparencia diferente da
rvore no interfere na concluso sobre a validade ou no do argumento.
2.4.4 Argumentos envolvendo quanticadores
Listaremos duas regras que nos capacitaro obter proposies sem quanticadores, cuja ver-
dade seguir da verdade das funes proposicionais quanticadas.
Regra 1: Dada qualquer funo proposicional P(x), da verdade de x, P(x), podemos ser in-
ferida a verdade de P(a) para qualquer a no universo de discurso.
Regra 2: Dada qualquer funo proposicional P(x), da verdade de x, P(x), podemos inferir
que existe pelo menos um elemento a no universo de discurso para o qual P(a) verda-
deiro.
Procure utilizar primeiro as proposies que envolvem quanticadores existenciais.
Exemplo 2.4.11. Prove a validade do seguinte argumento: "Todos os atletas so sicamente
fortes. Paulo uma atleta. Ento Paulo sicamente forte."Sejam A(x) : x um atleta; F(x) : x
sicamente forte. Assim,
(1) x, A(x) F(x) Premissa
(2) A(p) Premissa
(3) A(p) F(p) Regra 1
(4) F(p) (2, 3) Modus Ponens
Exemplo 2.4.12. "Tudo caro ou ruim para voce. Nem tudo ruim para voc. Assim, existem
algumas coisas que so caras e no so ruins para voce."Fazendo C(x) : x caro e R(x) : x
ruim, obtemos:
(1) x, [C(x) R(x)] Premissa
(2) x, R(x) Premissa
(3) x, R(x) (2) Negao
(4) R(a) Regra 2
(5) C(a) R(a) Regra 1
(6) C(a) (5, 4) Silogismo Disjuntivo
(7) C(a) R(a) (4, 6) Conjuno
(8) x, [C(x) R(x)] Regra 2
rvores de refutao tambm podem ser usadas em argumento envolvendo quanticadores.
Exemplo 2.4.13. Verique a validade do argumento: "Todos os cientistas so estudiosos. Al-
guns cientistas so inventores. Alguns estudiosos so inventores."Faa C(x) : x cientista;
E(x) : x estudioso; e I(x) : x inventor. Tomando a negao da concluso como hiptese
adicional, obtemos que o argumento vlido, conforme a rvore de refutao abaixo:
x, (C(x) E(x)); x, (C(x) I(x)); x, (E(x) I(x))
C(a) R(a)
C(a)
I(a)
x, (E(x) I(x))
E(a) I(a)
E(a)
C(a) E(a)
C(a) E(a)
C(a)
E(a)
I(a)
Exemplo 2.4.14. "Nenhum estudante velho. Alguns jovens no so estudantes. Logo, alguns
velhos no so jovens."Faa E(x) : x estudante; V(x) : x velho; e J(x) : x jovem. Ento
x, (E(x) V(x)); x, (J(x) E(x)); x, (V(x) J(x))
J(a) E(a)
J(a)
E(a)
x, (V(x) J(x))
V(a) J(a)
V(a)
E(a) V(a)
E(a) V(a)
E(a)
V(a)
J(a)
E(a) V(a)
E(a) V(a)
E(a)
V(a)
Desde que sobraramramos emque no encontramos contradies, conclumos que o argumento

no vlido.
Primeira Lista de Exerccios
1. Quais das seguintes sentenas so armaes? Para as respostas armativas indique seu
valor lgico.
(a) O inteiro 123 primo;
(b) 52 = 10?
(c) x
2
4 = 0;
(d) Multiplique 5x +2 por 3;
(e) 5x +3 um inteiro mpar.
2. Para a sentena aberta P(A) : A 1, 2, 3 sob o domnio S =P(1, 2, 4), determine:
(a) todo A S para o qual P(A) verdadeiro;
(b) todo A S para o qual P(A) falso;
(c) todo A S para o qual A1, 2, 3 = / 0.
3. Estabelea a negao de cada uma das seguintes armaes:
(a)

2 um nmero racional;
(b) Zero no um inteiro negativo;
(c) 111 um nmero primo.
4. Seja S = 1, 2, , 6 e seja P(A) : A2, 4, 6 = / 0 e Q(A) : A ,= / 0 sentenas abertas
sobre o domnio P(S).
(a) Determine todos os A P(S) para os quais P(A) Q(A) verdadeiro;
(b) Determine todos os A P(S) para os quais P(A) (Q(A)) verdadeiro;
(c) Determine todos os A P(S) para os quais (P(A)) (Q(A)) verdadeiro;
5. Considere as armaes P :

2 racional e Q :
22
7
racional. Escreva cada uma das
seguintes armaes em palavras e indique seu valor lgico:
(a) P Q;
(b) Q P;
(c) (P) (Q);
(d) (Q) (P).
6. Em cada uma das seguintes sentenas abertas P(x, y) e Q(x, y) dadas, onde o domnio de
ambas as variveis Z, determine o valor lgico de P(x, y) Q(x, y) para os valores x e
y dados:
(a) P(x, y) : x
2
y
2
= 0 e Q(x, y) : x = y com (x, y) (1, 1), (3, 4), (5, 5);
(b) P(x, y) : x
2
+y
2
=1 e Q(x, y) : x+y =1 com(x, y) (1, 1), (3, 4), (0, 1), (1, 0).
7. Seja S =1, 2, 3. Considere as seguintes sentenas abertas sobre o domnio S:
P(n) :
n(n1)
2
par,
Q(n) :2
n2
+3
n2
+6
n2
> (
5
2
)
n1
.
Determine trs elementos distintos a, b, c emS tais que P(a) Q(a) falso, Q(b) P(b)
falso e P(c) Q(c) verdadeiro.
8. Para armaes P e Q mostre que (P(P Q)) Q uma tautologia.
9. Para as armaes P, Q e R mostre que ((P Q) (Q R)) (P R) uma tauto-
logia.
10. Para as armaes P, Q e R use uma tabela verdade para mostrar que as armaes P
(QR) e ( Q) (( P) R) so logicamente equivalentes. Idem para as armaes
P(QR) e (PQ) (PR).
11. Considere a implicao: se x e y so pares, ento xy par.
(a) Estabelea a implicao usando "somente se";
(b) Estabelea a recproca, a inversa e a contrapositiva da implicao;
(c) Estabelea a implicao como uma disjuno;
(d) Estabelea a negao da implicao como uma conjuno.
12. Seja S o conjuntos de inteiros mpares e seja P(x) : x
2
+1 par e Q(x) : x
2
par sentenas
abertas sobre o domnio S. Estabelea em palavras x S, P(x) e x S, Q(x).
13. Estabelea a negao das seguintes sentenas quanticadas:
(a) Para cada nmero racional r, o nmero 1/r racional;
(b) Existe um nmero racional r tal que r
2
= 2.
14. Determine o valor lgico de cada uma das seguintes armaes:
(a) x R, x
2
x = 0;
(b) n N, n+1 2;
(c) x R,
x
2
= x;
(d) x Q, 3x
2
27 = 0.
15. A armao "Para cada inteiro m tal que m 1 ou m
2
4"pode ser expressa usando um
quanticador como "m Z, m 1 ou m
2
4". Faa o mesmo para as armaes (a) e
(b) abaixo.
(a) Existem inteiros a e b tais que ab < 0 e a+b > 0;
(b) Para todos os nmeros reais x e y, x ,= y implica que x
2
+y
2
> 0;
(c) Expresse em palavras a negao das armaes (a) e (b);
(d) Usando quanticadores, expresse em smbolos a negao das armaes (a) e (b).
16. Explique por que os signicados das sentenas a seguir so distintos. Determine quais
sentenas so verdadeiras e quais so falsas. Em seguinda, discuta o que ocorre ao se
mudar a posio dos quanticadores em cada uma delas.
(a) y Z, x N tal que y
2
= x;
(b) x N, tal que y Z temos y
2
= x;
(c) x N e y Z, tais que y
2
= x;
(d) x N e y Z temos y
2
= x.
17. Determine a validade ou no dos seguintes argumentos usando regras de inferncia:
(a) E F, G F, H I, E H GI;
(b) P Q, R (S T), R(PT), R QS;
(c) A (B C), C A, (DA) C, D B.
18. Suponha que os valores possiveis de x e y esto dentro do conjunto universo U constitu-
dos de todos os carros. Sejam L(x, y) = x to rpido quanto y, M(x, y) = x to caro
quanto y e N(x, y) = x to velho quanto y. Traduza as seguintes armaes em palavras:
(a) x U, y U; L(x, y);
(b) x U, y U; M(x, y);
(c) y U, x U; [L(x, y) M(x, y)].
19. Escreva a negao de cada uma das sentenas abaixo.
(a) Todos os garotos so bons;
(b) Existem homens que pesam 200kg ou mais;
(c) A inequao x
2
2x > 0 vale para todos os nmeros reais x;
(d) Toda casa tem uma porta que branca;
(e) Pelo menos uma pessoa em Aracaju adora Matemtica.
20. Algum armou que o argumento
x U; [P(x) Q(x)], x U; M(x) x U; [M(x) Q(x)]
vlido, usando a seguinte justicativa: Encontre as falhas nessa justicativa.
(1) x U; [P(x) Q(x)] Premissa
(2) x U; M(x) Premissa
(3) P(a) Q(a) (1) Regra 2
(4) Q(a) (3) Simplicao
(5) M(a) (2) Regra 2
(6) M(a) Q(a) (5, 4) Conjuno
(7) x U; [M(x) Q(x)] (6) Regra 2
21. Tres professores, Antnio, Jlio e Marco, ensinam apenas uma disciplina dentre as de
Lgica, Clculo e Anlise. Certa ocasio, foram abordados por uma aluna caloura que-
rendo saber qual deles era seu professor de Lgica. Para a aluna j comear treinando o
raciocnio lgico, combinaram que cada um diria uma frase. Apenas uma das frases era
verdadeira, e com isso a aluna deveria deduzir quem era o professor que procurava. Jlio
disse "Marco o professor de Clculo"; Antnio respondeu "Jlio no o professor de
Clculo"; e Marco disse "Antnio no o professor de Anlise". Quem o professor de
lgica?
22. Brincando, quatro rapazes esconderam a bolsa do amigo Jugurta. Ao entrar na sala de
aula, irritado, Jugurta os pergunta: "Qual dos espertinhos escondeu minha bolsa?Eu no
fui!", respondeu Toms. "Foi o Tche!", garantiu Marcelo. "Foi o Lord!", disse o Tch.
"O Marcelo est mentindo!", retrucou o Lord. Apenas um dos amigos mentiu, e somente
um deles escondeu a bolsa. Qual?
23. Reescreva cada teorema abaixo na sua forma condicional "Se..., ento".
(a) Uma condio necessria para um nmero ser divisvel por 6 que ele seja simul-
taneamente divisvel por 2 e por 3.
(b) Ser um tringulo retangulo condio suciente para ter a altura correspondente ao
vrtice do ngulo reto igual a mdia geomtrica das projees dos catetos sobre a
hipotenusa.
(c) Uma condio suciente para que um triangulo seja issceles que ele tenha dois
ngulos internos congruentes.
(d) No ser primo uma condio necessria para que o nmero seja da forma n
4
+4,
para n 2.
24. Suponha que Jos gosta de feijo, no gosta de arroz, no gosta de macarro e adora
farinha. Quais das seguintes setenas so verdadeiras e quais so falsas?
(a) Se Jos gosta de feijo, ento gosta de macarro;
(b) Jos gosta de macarro se, e somente se, ele gosta de arroz;
(c) Jos gosta de arroz e farinha se ele gosta de feijo;
(d) Se Jos gosta de macarro ento ele gosta de farinha, ou Jos gosta de macarro se,
e somente se, ele gosta de arroz;
(e) Para Jos gostar de feijo e macarro necessrio e suciente que ele goste de arroz
ou farinha.
25. Quais das seguintes setenas so tautologias, quais so contradies e quais so contin-
gncias?
(a) P(PQ);
(b) (X Y) (X Y);
(c) (A B) (AB);
(d) [Z (Z W)] (W U);
(e) [L (M N)] [M (L N)].
26. Para cada um dos seguintes argumentos estabelea uma justicativa para sua validade ou
falsidade.
(a) Se Carira pequeno, ento difcil de localiz-lo. Se Carira no tem bom comrcio,
ento no difcil de localiz-lo. Carira pequeno. Logo Carira tem bom comrcio.
(b) Se o novo CD de Roberto Carlos barulhento ou tedioso, ento ele no longo e
no custa caro. O novo CD de Roberto Carlos tedioso. Assim, o CD no longo.
(c) Se Susan gosta de peixe, ento ela gosta de cebolas. Se Susan no gosta de alho,
ento ela no gosta de cebolas. Se ela gosta de alho, ento ela gosta de goiabas.
Assim Susan gosta de coentro.
27. Fornea uma negao para: "Voc pode enganar alguma pessoa todo o tempo e todas as
pessoas por algum tempo, mas voc no pode enganar todas as pessoas todo o tempo".
28. Proporcione provas formais para cada um dos argumentos ? utilize tabela-verdade, regras
de inferncia ou rvores de refutao:
(a) Voc vencer o jogo se, e somente se, voc seguir as regras. Se voc seguir as regras
ento voc convencional. Voc no convencional e voc tem sempre sucesso. Se
voc tem sempre sucesso ento voc vencer o jogo. Assim voc vencer o jogo.
(b) Se fantasmas so reais, ento existem espritos errantes na terra e se fantasmas no
so reais, ento ns no temos medo do escuro. Ou temos medo do escuro ou no
temos imaginao. Ns temos uma imaginao e fantasmas no so reais. Logo,
existem espritos errantes na terra.
(c) No existem polinmios que no so funes diferenciveis. Todas as funes di-
ferenciveis so contnuas. Assim todos os polinmios so contnuos.
(d) (AFTN 1996 ESAF) Jos quer ir ao cinema assistir ao lme "Fogo contra fogo",
mas no tem certeza se o mesmo est sendo exibido. Seus amigos, Maria, Lus e
Jlio tm opinies discordantes sobre se o lme est ou no em cartaz. Se Maria
estiver certa, ento Jlio est enganado. Se Jlio estiver enganado, ento Lus est
enganado. Se Lus estiver enganado, ento o lme no esta sendo exibido. Ora, ou o
lme "Fogo contra Fogo"est sendo exibido ou Jos no ir ao cinema. Entretanto,
sabe-se que Maria est certa. Logo:
(i) o lme "Fogo contra Fogo"est sendo exibido;
(ii) Lus e Jlio no esto enganados;
(iii) Jlio est enganado, mas Lus no;
(iv) Jos No ir ao cinema.
(e) (Assistente de Chancelaria MRE 2004 ESAF) No nal de semana, Chiquita no foi
ao parque. Ora, sabe-se que sempre que Didi estuda, Didi aprovado. Sabe-se,
tambm, que, nos nais de semana, ou Dad vai missa ou vai visitar tia Clia.
Sempre que Dad vai visitar tia Clia, Chiquita vai ao parque, e sempre que Dad
vai missa, Didi estuda. Ento, no nal de semana,
(i) Dad foi missa e Didi foi aprovado.
(ii) Didi no foi aprovado e Dad no foi visitar tia Clia.
(iii) Didi no estudou e Didi foi aprovado.
(iv) Didi estudou e Chiquita foi ao parque.
(v) Dad no foi missa e Didi no foi aprovado.
29. Matilda sempre come pelo menos um dos seguintes alimentos em seu caf da manh:
cereal, po ou iogurte. Na segunda-feira ela especialmente seletiva. Se ela come cereal
e po, ela tambm come iogurte. Se ela come po ou iogurte, ento come cereal. Ela
nunca come ambos cereal e iogurte. Ela sempre come po ou cereal. Voc pode dizer o
que Matilda come na segunda-feira?
30. (FCC/TRT-PE - Analista/2006) Uma turma de alunos de um curso de Direito reuniu-se
em um restaurante para um jantar de confraternizao e coube a Francisco receber de
cada um a quantia a ser paga pela participao. Desconado que Augusto Berenice e
Carlota no tinham pago as suas respectivas partes, Francisco conversou com os trs e
obteve os seguintes depoimentos:
Augusto: No verdade que Berenice pagou ou Carlota no pagou.
Berenice: Se Carlota pagou, ento Augusto tambm pagou.
Carlota: Eu paguei, mas sei que pelo menos um dos dois outros no pagou.
Considerando que os trs falaram a verdade, correto armar que:
(a) apenas Berenice no pagou a sua parte;
(b) apenas Carlota no pagou a sua parte;
(c) Augusto e Carlota no pagaram suas partes;
(d) Berenice e Carlota pagaram suas partes;
(e) os trs pagaram suas partes.
31. (Cespe-Unb/Anac/2009) As equipes A, B e C disputaram as nais de um torneio de
futebol, jogando cada equipe contra as outras duas uma vez. Sabe-se que a equipe B
ganhou da equipe Apor 21; a equipe Amarcou 3 gols; e cada equipe cou comsaldo de
gols zero. As regras do torneio para a classicao nal so, nessa ordem: maior nmero
de vitrias; maior nmero de gols feitos; se as tres equipes carem empatadas segundo
os critrios anteriores, as trs sero consideradas campes. Se uma equipe for campe
ou terceira colocada e as outras duas equipes carem empatadas segundo os critrios
anteriores, ser considerada mais bem colocada a equipe vencedora do confronto direto
entre as duas.
A respeito dessa situao hipottica e considerando que os trs critrios listados foram
sucientes para denir a classicao nal das trs equipes, julgue os itens seguintes
quanto aos valores lgicos das proposies apresentadas.
Item 1. Se a equipe B fez 3 gols, ento a equipe C foi campe uma proposio
falsa.
Item 2. A equipe B foi campe e a equipe A cou em ltimo lugar uma proposio
falsa.
Item 3. O nmero de gols marcados pelas equipes nas nais foi maior que 6 uma
proposio verdadeira.
Item 4. Se a equipe A foi campe ento a equipe C foi campe ou segunda colocada
uma proposio falsa.
Item 5. A equipe A foi campe ou a equipe C foi campe uma proposio verda-
deira.
32. (Esaf/Fiscal - Recife/2003) Um jardineiro deve plantar cinco rvores em um terreno em
que no h qualquer rvore. As cinco rvores devem ser escolhidas entre sete diferentes
tipos, a saber: A, B, C, D, E, F, G, obedecidas as seguintes condies:
1. No pode ser escolhida mais de uma rvore de um mesmo tipo.
2. Deve ser escolhida uma rvore ou do tipo D ou do tipo C, mas no podem ser
escolhida uma rvore de ambos os tipos.
3. Se uma rvore do tipo B for escolhida, ento no pode ser escolhida uma rvore do
tipo D. Ora, o jardineiro no escolheu nenhuma rvore do tipo G.
Logo, ele tambm no escolheu nenhuma rvore do tipo:
(a) D;
(b) A;
(c) C;
(d) B;
(e) E.
33. (Esaf/AFTN/1998) H trs suspeitos de um crime: o cozinheiro, a governanta e o mor-
domo. Sabe-se que o crime foi efetivamente cometido por um ou por mais de um deles,
j que podem ter agido individualmente ou no. Sabe-se, ainda, que: A) se o cozinheiro
inocente, ento a governanta culpada; B) ou o mordomo culpado ou a governanta
culpada, mas no os dois; C) o mordomo no inocente. Logo:
(a) a governanta e o mordomo so os culpados;
(b) o cozinheiro e o mordomo so os culpados;
(c) somente a governanta culpada;
(d) somente o cozinheiro inocente;
(e) somente o mordomo culpado.
CAPTULO 3
Tcnicas de Provas
O que uma prova? Heuristicamente, uma prova um dispositivo retrico para convencer
algum que uma armao matemtica verdadeira. Assim, uma prova um dispositivo de
comunicao. E como podemos fazer isso? Um modo natural provar que algo novo, digamos
B, verdade relacionando ele a algo antigo A, que j tenha sido aceito como verdadeiro. Ou
seja, A B. Mas como foi o resultado antigo vericado? Aplicando o pensamento anterior
repetidamente, encontramos uma cadeia de raciocnios tipo
A
1
A
2
A
k
B
Poderamos perguntar ento: "Quando a cadeia inicia?"E esta uma questo fundamental. Se
no quisermos voltar indenidamente, usamos objetos que so assumidos sem denio, bem
como alguns fatos sobre esses objetos que so assumidos sem prova. Euclides foi o primeiro
a formalizar o modo que hoje usamos para estabelecer fatos matemticos, iniciando com um
conjunto de denies e um conjunto de axiomas.
Que uma denio? Uma denio explica o signicado matemtico de uma palavra,
permitindo separar uma classe de objetos de outra. A palavra geralmente denida em termos
de propriedades. Por exemplo: (i) um inteiro par se ele o produto de 2 e outro inteiro; (ii) um
nmero natural primo se ele maior que 1 e divisvel somente por 1 e ele mesmo. Mas ento
recamos no mesmo problema de volta innita! Assim, nossas primeiras denies devem
ser formuladas em termos de palavras que no requeiram outras explicaes. Por exemplo,
Euclides deniu um ponto como sendo aquele que no tem parte.
O que um axioma? Um axioma (ou postulado) uma armao matemtica auto-
evidente. Eles so assumidos como verdadeiros sem a necessidade de provas. Um dos mais
famosos axiomas em toda a matemtica o postulado das paralelas de Euclides que arma que
"se um ponto P no pertence a uma reta , ento existe uma nica reta
/
passando por P que
paralela reta .
Oque que provamos emmatemtica? Provamos armaes que so usualmente chamadas
de teoremas, proposies, lemas, corolrios e exerccios. No existe muita distino entre esses
tipos de armaes: todas necessitam de provas. Em geral, em qualquer rea da matemtica,
iniciamos com uma breve lista de denies e axiomas. A partir da deduzimos diversas ou-
tras armaes. Demonstra-se que um teorema verdadeiro por uma sequncia de armaes
que formam um argumento, chamado prova. Para construir provas, precisamos de mtodos
que nos permitam deduzir novas armaes a partir de armaes j provadas. As armaes
usadas numa prova incluem axiomas ou postulados (armaes que assumimos como verda-
deiras), as hipteses do teorema a provar e teoremas previamente provados. Teoremas so as
mais importantes armaes matemticas. Muita (se no todas) armaes de teoremas so
28
CAPTULO 3 TCNICAS DE PROVAS 29
essencialmente armaes condicionais ou combinaes delas, mesmo que as palavras "se, ,
ento"no apaream explicitamente.
Proposies so armaes consideradas menos importantes. Por exemplo, nos teoremas
abaixo encontre as hipteses e as concluses.
(1) Todo nmero natural pode ser escrito como um produto de nmeros primos.
(2) Existem innitos nmeros primos.
(3) O nmero
2 irracional.
(4) Teorema de Pitgoras: Seja ABC um tringulo retngulo, com lados de comprimento
a, b e c, onde c o comprimento da hipotenusa. Ento c
2
= a
2
+b
2
.
Observao 3.0.15. Os melhores teoremas tm hipteses fracas e concluses fortes. Uma
hiptese forte refere-se a um pequeno conjunto de objetos. Uma concluso forte diz respeito
a algo muito denido e preciso sobre esses objetos. Por exemplo, a hiptese de (2) forte,
pois refere-se somente ao conjunto de primos, enquanto a hiptese de (1) fraca. Podemos
enfraquecer as hipteses do teorema (3) por investigar a raiz quadrada de nmeros primos,
digamos "Se p primo, ento

p um nmero irracional."Uma parte importante do desao
matemtico sabermos o quanto podemos enfraquecer as hipteses. Por exemplo, se zermos
(3) para n um nmero natural, esta armao se torna falsa.
Observao 3.0.16. A recproca verdadeira? Considerar a recproca nos fora a considerar
as hipteses e concluses e muitas vezes nos diz algo importante. Por exemplo, "Se f uma
funo derivvel, ento f uma funo contnua."A recproca verdadeira?
Um lema uma armao que serve de base para provar um teorema ou uma proposio.
Um corolrio uma armao de interesse que deduzida (consequncia) de um teorema ou
proposio. Exerccios so armaes que so deixadas para o leitor provar.
Uma prova uma explanao do porque uma armao verdadeira. Provas so difceis
de entender porque o trabalho inicial em geral removido. Outra razo para os estudantes no
gostarem de provas que elas so difceis de criar. No existe procedimentos, nem algoritmos
ou mgica para criar provas. Existem tcnicas que podemos empregar.
Exemplo 3.0.17. Sejam m e n inteiros. Se m e m so mpares, ento m+n par.
Antes de iniciarmos a prova, precisamos saber o que signica um nmero inteiro ser par ou
ser mpar.
Denio 3.0.18. Seja n um nmero inteiro. O nmero n par se existe algum inteiro k tal
que n = 2k. O nmero n mpar se existe algum interio j tal que n = 2 j +1.
Demonstrao. Suponha que n e m so pares. Ento existem inteiro k e j tais que n = 2k e
m = 2j. Assim, n +m = 2k +2j = 2(k + j). Desde que k e j so inteiro, tal k + j. Logo,
m+n par.
3.1 O MTODO DIRETO 30
Embutido nesta prova est o uso de regras de inferncia. Por exemplo, nossa hiptese da
forma PQ e queremos mostrar algo do tipo PQ R. Para tal mostramos que P R
1
e
Q R
2
. Usamos ento o silgismo hipottico para concluir que PQ R.
Ao ler uma prova, faa o seguinte procedimento: primeiro, procure quebrar ela em pedaos
(nesse caso, implicao e recproca); segundo, identique os mtodos usados - clculo, direto,
induo, contrapositiva, contradio, casos, contra-exemplo, etc.; terceiro, encontre onde as
hipteses foram utilizadas; quarto, verique (se houver) o texto sem perda de generalidade.
Conjectura uma armao que acreditamos ser verdadeira, geralmente com base em al-
guma evidncia, um argumento heurstico ou intuio, mas no temos prova. Quando uma
prova de uma conjectura encontrada, a conjectura torna-se um teorema. Muitas vezes conjec-
turas so mostradas seremfalsas. Emmatemtica h uma certa confuso: por exemplo, o ltimo
teorema de Fermat que era uma conjectura um corolrio da conjectura Taniyama-Shimura,
que na verdade um teorema.
Oprincipal propsito de uma denio fazer comque algumsaiba o que estamos falando.
Dada uma denio, necessitamos perguntar se um tal objeto existe, como eles so, se nico,
se existe um nmero nito deles.
Articular um nmero de razes para assegurar que algo verdadeiro. Argumentos convin-
centes que mostram que as concluses seguem logicamente das hipteses. Pensar ou escrever
provas uma tarefa rdua, especialemente sob coisas mais abstratas. No espere constru-las
rapidamente.
3.1 O Mtodo Direto
Os mtodos de prova so importantes no apenas porque so usados para provar teoremas ma-
temticos, mas tambm por suas aplicaes em cincia da computao, incluindo vericao
da correo de programas de computadores, estabelecer a segurana de sistemas operacionais,
fazer inferncia em inteligncia articial, mostrar que as especicaes do sistema so consis-
tentes, etc.. O objetivo ensinar voc a ler e entender uma prova escrita por identicar a tcnica
que tem sido usada.
Quando resolve um problema, voce tenta todo tipo de viso para encontrar algo que funci-
one, talvez iniciando comas hipteses e trabalhando para a frente, ou iniciando coma concluso
e trabalhando para trs, ou uma combinao dos dois.
Para provar que P Q diretamente, voc prova que P P
1
, que P
1
P
2
, e assim por
diante, at obter P
n
Q. Ento a hiptese que P verdade e o uso repetido de modus ponens
mostra que Q verdade.
O mtodo direto o mtodo de prova mais amplamente usado. Na prtica, pode ser comple-
tamente difcil entender as vrias armaes intermedirias que permitem voc proceder de P
a Q. Com o objetivo de encontrar elas, a maioria dos matemticos usam um processo chamado
tcnica pra frente-pra trs. Voc inicia trabalhando para frente e perguntando a si mesmo: o
que eu sei sobre a hiptese? Quais armaes seguem desse fato? E assim por diante. Nesse
ponto temos uma lista de armaes implicadas por P cuja conexo com a concluso Q ainda
no est clara.
Agora trabalhamos para trs a partir de Q perguntando: Quais fatos garantem que Q
3.1 O MTODO DIRETO 31
verdadeiro? Quais armaes implicam nesses fatos? Temos agora uma lista de armaes que
implicam Q. Compare ela com a primeira lista. Se voc for um felizardo, alguma armao
estar em ambas as listas, ou mais provavelmente, existir uma armao S da primeira lista e
uma armao T da segunda lista tal que voc ser capaz de mostrar que S T. Logo, teremos
que P S e S T e T Q, donde P Q.
Obtendo sucesso na tcnica pra frente-pra trs, devemos reescrever a prova numa forma
mais polida, contendo somente os fatos que so necessrios na prova.
Exemplo 3.1.1. Sejam a, b e c inteiros. Se a divide b e, por sua vez, b divide c, ento a divide
c.
Antes de tudo necessitamos saber o que signica um nmero dividir outro. Dizemos que o
inteiro a divide o inteiro b se existir algum nmero inteiro q tal que aq =b. Denotamos este fato
por a [ b. Desde que nosso objetivo mostrar que a [ c, precisamos determinar algum inteiro k
tal que ak = c. Ora, considerando as hipteses, temos que existem inteiros q e r tais que aq = b
e br = c. Um olhar atento a essas duas equaes percebemos que c = br = (aq)r = a(qr).
Logo, k = qr o inteiro que procuramos.
Exemplo 3.1.2. Se a soma de dois nmeros inteiros par, ento a sua diferena tambm par.
Para provarmos este fato, suponhamos m, n Z tais que m+n par. Ou seja, m+n = 2k
para algum inteiro k. Assim, m = 2k n e da a diferena pode ser expressa como
mn = (2k n) n = 2(k n).
Desde de que a diferena entre dois inteiros continua sendo um inteiro, segue que o nmero
mn par, como queramos demonstrar.
Um erro comum querer argumentar atravs de exemplos: se m=14 e n =6, ento m+n =
20 que par e mn = 88 que tambm par. Logo a armao est correta. ISSO NO
PROVA!
Exemplo 3.1.3. s vezes assumimos o que para ser mostrado com o intuito de descobrirmos
uma tcnica de prova. Consideremos o seguinte teorema: Sejam m e n nmeros reais. Se
n > m > 0, ento
m+1
n+1
>
m
n
.
Assim, assumindo que nossa concluso verdadeira, temos que (m+1)n > (n+1)m (note
que isso verdadeiro porque m > 0 e n > 0). Dessa forma, mn +n > mn +m e cancelando a
parcela em comum, obtemos que n > m. Nossa esperana poder reverter o argumento. De
fato, partindo de nossa hiptese temos que
n >m
mn+n = mn+n
(m+1)n > (n+1)m
m+1
n+1
>
m
n
.
3.1 PROVA POR CONTRADIO (REDUO AO ABSURDO) 32
Muitas vezes um teorema arma que determinadas proposies P
1
, P
2
, , P
n
so equiva-
lentes, isto , P
1
P
2
P
3
P
n
(o que assegura que as n proposies tm a mesma
tabela verdade). Uma maneira de provar o teorema usa a tautologia
[P
1
P
2
P
3
P
n
] [(P
1
P
2
) (P
2
P
3
) (P
n
P
1
)]
Exemplo:Para cada inteiro n as seguintes armaes so equivalentes:
(i) n mpar;
(ii) n
2
mpar;
(iii) n
2
2n+1 par.
Assim, devemos mostrar que (i) (ii), (ii) (iii) e (iii) (i). A prova da primeira implica-
o direta, pois se n mpar, ento n = 2k +1 para algum inteiro k. Assim, n
2
= (2k +1)
2
=
2(2k
2
+2k) +1 = 2m+1 expressa que n
2
mpar. Na segunda implicao, (ii) (iii), nossa
hiptese que n
2
impar. Dessa forma, n
2
+1 par, ou seja n
2
+1 = 2k para algum in-
teiro k. Logo, n
2
2n +1 = 2k 2n = 2(k n) o que nos mostra a validade da armao
(iii). Finalmente, devemos mostrar a terceira implicao. Acontece que o mtodo direto
aqui j no to bvio. Usaremos uma expresso lgica equivalente implicao P Q
que a sua contrapositiva Q P. Dese modo, devemos mostrar que se n par, en-
to n
2
2n +1 mpar. Mas isso fcil, pois se n = 2k para algum inteiro k, segue que
n
2
2n +1 = (2k)
2
2(2k) +1 = 2(2k
2
2k) +1. Logo, da veracidade da contrapositiva
segue a veracidade da implicao em sua forma direta (iii) (i).
Prova por Contradio (Reduo ao Absurdo)
Suponha que voc assume a verdade de uma armao R e que por um argumento vlido
verica-se que R S. Se a armao S de fato falsa, ento existe somente uma concluso
possvel: a armao original R deve ser falsa porque se R e R S so verdadeiras, ento
por modus ponens, S teria que ser verdadeiro. Nesse sentido, para provarmos um teorema
do tipo P Q, assumiremos como habitual que P verdadeiro. Ento supondo Q como
sendo verdade, vericamos que P Q S, onde S uma armao conhecida ser falsa.
Conclumos ento que Q deve ser falso, donde Q verdadeiro.
Veremos agora um exemplo simples de uma prova por contradio e, na sequncia, a justi-
cativa para dois resultados famosos.
Teorema: Os nicos inteiros no negativos consecutivos a, b e c que satisfazema
2
+b
2
=c
2
so 3,4 e 5.
A armao deste teorema tem a forma P Q, porque ele pode ser reescrito como "se
a, b e c so inteiros no negativos e consecutivos tais que a
2
+b
2
= c
2
, ento a, b e c so 3.4
e 5". difcil provar o resultado diretamente, pois estamos tentando mostrar que algo no
existe. Assumiremos ento que inteiros consecutivos a, b e c diferentes de 3.4 e 5 satisfazem
3.1 PROVA POR CONTRADIO (REDUO AO ABSURDO) 33
a
2
+b
2
= c
2
, e encontraremos dessa hiptese uma contradio. Observamos tambm que se
a, b e c so inteiros consecutivos, ento b = a+1 e c = a+2.
Prova: Provamos o resultado por contradio. Suponhamos que a, b e c so inteiros no
negativos e consecutivos diferentes de 34 e 5 tais que a
2
+b
2
= c
2
. Assim, a ,= 3 e como
eles so consecutivos, temos que b = a +1 e c = a +2. De a
2
+b
2
= c
2
deduzimos que
a
2
+(a+1)
2
= (a+2)
2
. Aps expandir e rearrumar os termos, obtemos a
2
2a3 = 0. Esta
equao fatora-se como (a 3)(a +1) = 0. Logo, os nicos valores possiveis para a seriam
a = 3 ou a =1. Mas isto contradiz o fato que a ,= 3 e a um inteiro no negativo. Portanto,
temos uma contradio, e o teorema est provado.
Teorema: A raiz quadrada de 2 um nmero irracional.
Prova: Suponha que

2 seja um nmero racional, ou seja, que existam inteiros m e n ,=
0 tais que

2 =
m
n
. Sem perda de generalidade, podemos assumir que m e n seja tais que
mdcm, n = 1. Ento temos que
2 =
m
n
2 =
m
2
n
2
m
2
= 2n
2
.
Isto implica que 2 divide o nmero m
2
e assim 2 divide m (verique!). Logo, podemos escrever
m = 2k, para algum inteiro k. Substituindo m na expresso acima, obtemos que (2k)
2
= 2n
2
,
donde n
2
= 2k
2
. Dessa forma, conclumos que 2 tambm divide n, mas isso no possvel pois
tomamos m e n tais que mdcm, n = 1. Portanto,
2 um nmero irracional.
Note que h uma diferena sutil entre uma prova por contradio e uma prova utilizando a
contrapositiva. A prova por contradio termina quando encontramos um absurdo, que neces-
sariamente no tem ligao direta com a hiptese P ou a hiptese assumida Q, enquanto que
na contrapositiva precisamos determinar exatamente P.
Exemplo 3.1.4. Consideremos um teorema clssico de Euclides: existem innitos nmeros
primos.
Recorde que um inteiro p maior que 1 dito ser primo se os nicos divisores de p 1 e
ele prprio. Caso contrrio, dizemos que p um nmero composto. Mostraremos a armao
por contradio supondo que existe um nmero nito de nmeros primos, digamos n. Assim,
podemos list-los na forma p
1
, p
2
, , p
n
. Chegaremos a uma contradio exibindo um outro
nmero primo fora desta lista. Consideremos o nmero q = p
1
p
2
p
n
+1. Ora, como q
maior que quaisquer dos nmeros p
1
, p
2
, , p
n
, segue que q um nmero composto. Logo,
ele divisvel por algum nmero primo, digamos p
k
, e podemos escrever q =rp
k
para um certo
inteiro r. Dessa forma,
rp
k
= p
1
p
2
p
n
+1,
e, consequentemente,
p
k
(r p
1
Pk 1p
k+1
p
k
) = 1.
Portanto, p
k
divide 1, o que impossvel, pois p
k
primo.
3.1 PROVAS TIPO P SE, E SOMENTE SE, Q 34
Provas tipo P se, e somente se, Q
Temos que provar as duas condicionais: P Q e sua recproca Q P.
Exemplo 3.1.5. Seja a ,= 0,b e c nmeros reais. Ento
ax
2
+bx +c = 0 x =
b
b
2
4ac
2a
.
Desde que a ,= 0, podemos dividir a expresso ax
2
+bx +c = 0 por a para obtermos x
2
+
b
a
x +
c
a
= 0. Sem perda de generalidade, podemos assumir que estamos resolvendo x
2
+x+ = 0.
Posteriormente podemos substituir por =
b
a
e =
c
a
. Assim, por completar os quadrados,
temos que
(x +

2
)
2
(
2
)
2
+ = 0
x +

2
=
_
(
2
)
2
x =
2

_
(
2
)
2
b
2a
_
(
b
2a
)
2
c
a
b
2a
_
b
2
4ac
4a
2
b
2
4ac
2a
.
Faa a prova da recproca.
Exemplo 3.1.6. Sejam X e Y conjuntos. Ento X =Y se, e somente se, X Y e Y X.
Se X =Y, ento X e Y tm os mesmos elementos. Assim, se x X,ento x Y o que implica
X Y. Analogamente, se x Y, ento x X o que implica Y X. Agora para a recproca
suponhamos que X Y e Y X. Ento cada elemento de X est em Y e cada elemento de Y
est em X. Isto signica que X e Y possuem os mesmos elementos, ou seja, X =Y.
Exemplo 3.1.7. Um inteiro positivo n divisvel por 3 se, e somente se, a soma dos dgitos de
n divisvel por 3.
Uma leve verso de teoremas do tipo "se, e somente se" um teorema que estabelece trs
ou mais armaes que so mutuamente equivalentes. Um exemplo o seguinte teorema:
Teorema: Seja M =
_
a b
0 d
_
uma matriz triangular superior 22. Suponha que a, b e d
so inteiros. As seguintes armaes so equivalentes:
3.1 PROVA POR CASOS 35
1. det(M) = 1;
2. a = d =1;
3. tr(M) =2 e a = d.
O teorema acima nos diz que (a) (b), que (a) (c) e que (b) (c). Assim, a princpio,
teramos que provar seis implicaes mas na prtica, usamos a propriedade da transitividade da
implicao lgica e vericamos apenas que (a) (b), (b) (c) e (c) (a). Vamos ento a
uma prova do referido teorema.
(a) (b). Suponhamos que det(M) = 1. Ento ad = 1 e, como a e d so inteiros,
devemos ter a = 1 e d = 1, ou a =1 e d =1.
(b) (c). Suponha que a = d =1. Primeiro consideremos a = d = 1. Ento tr(M) =
a+d = 2. Segundo, suponhamos que a = d =1. Ento tr(M) = a+d =2. Portanto,
tr(M) =2 e a = d.
(c) (a). Suponhamos agora que tr(M) = 2 e a = d. Podemos reescrever tr(M) =
2 como a +d = 2. Assim 4 = (a +d)
2
= a
2
+2ad +d
2
. Porque a = d temos que
a
2
= ad = d
2
, e da 4 = 4ad. Segue que ad = 1 e, consequentemente, det(M) = ad = 1.
Prova por Casos
Algumas vezes no podemos provar um teorema usando um nico argumento que valha para
todos os casos possveis. Introduzimos ento um mtodo que pode ser usado para provar um
teorema por considerar diferentes casos separadamente. Este mtodo baseado na regra de
inferncia
[(P
1
P
2
P
n
) Q] [(P
1
Q) (P
2
Q) (P
n
Q)].
Assim, para provarmos uma condicional P Q conveniente, s vezes, fazermos a decompo-
sio P (P
1
P
2
P
n
). Temos visto que X = Y pode ser provado por mostrarmos que
X Y e Y X. Em outras palavras, quebramos o problema em dois casos. No mtodo de
casos precisamos exaurir todas as possibilidades, mesmo que tenhamos casos no exclusivos.
Teorema(Desigualdade Triangular): Suponha que x e y sejam nmeros reais. Ento
[x +y[ [x[ +[y[.
Prova: Consideremos os casos em que x e y so ambos positivos, ambos negativos ou
diferentes em sinal.
Caso 1: Suponha x 0 e y 0. Ento x +y 0 e por denio de valor absoluto temos que
[x +y[ = x +y =[x[ +[y[.
Caso 2: Suponha x < 0 e y < 0. Ento x +y < 0 e por denio de valor absoluto temos que
[x +y[ =(x +y) =x +(y) =[x[ +[y[.
3.1 PROVAS DE EXISTNCIA 36
Caso 3: Suponha que x e y tenha sinais diferentes, digamos x 0 e y < 0. Assim temos dois
subcasos a considerar: x +y 0 ou x +y < 0. No primeiro subcaso encontramos que
[x+y[ =x+y x+(y) =[x[ +[y[. Observe que trocamos y <0 por algo maior y >0.
No segundo subcaso, segue da denio de valor absoluto que [x +y[ = (x +y) =
x +(y) x +(y) =[x[ +[y[.
Esses trs casos exaure todas as possibilidades e nossa prova est completa.
Exemplo 3.1.8. O quadrado de qualquer inteiro mpar tem a forma 8m+1 para algum inteiro
m.
Suponhamos que n um inteiro mpar. Pelo Teorema do Algoritmo da Diviso, n pode ser
escrito em uma das seguintes formas
4q ou 4q+1 ou 4q+2 ou 4q+3,
para algum inteiro q. Desde que n mpar e 4q e 4q +2 so pares, o nmero n deve ter uma
das formas: 4q+1 ou 4q+3. Consideremos ento esses dois casos.
Caso 1: Se n = 4q+1, ento n
2
= (4q+1)
2
= 8(2q
2
+q) +1 mpar;
Caso 2: Se n = 4q+3, ento n
2
= (4q+3)
2
= 8(2q
2
+3q+1) +1 mpar.
Provas de Existncia
Retornaremos nossa ateno para provas de teoremas de existncia, isto , teoremas que ar-
mam dentro do universo de discurso a existncia de um objeto ou mais objetos com uma certa
propriedade P. Simbolicamente, x, P(x).
Exemplo 3.1.9. (1) Alguns nmeros primos so da forma 32n+1, onde n um inteiro.
(2) Nem todos os nmeros reais so racionais.
(3) O Teorema do Valor Mdio diz que se f uma funo contnua sobre o intervalo fechado
[a, b] e derivvel sobre o intervalo aberto (a, b), ento existe c (a, b) tal que
d f
dx
(c) =
f (b)f (a)
ba
.
A maneira mais bvia de provarmos um teorema da forma x, P(x) encontrar (construir)
um objeto especco a no universo de discurso para o qual P(a) verdadeiro. Este mtodo de
prova tambm chamado prova por construo.
Uma prova de x U, P(x) consiste ento de denir/construir um z
0
e mostrar que z
0
U e
que P(z
0
) verdadeiro. Frequentemente, construimos z
0
assumindo a priori que P(z
0
) vlido.
Exemplo 3.1.10. Existe uma matriz 22 com entradas inteiras tal que det(A) =4 e tr(A) =7.
3.1 PROVAS DE EXISTNCIA 37
Demonstrao. Seja A =
_
a b
c d
_
. A condio det(A) = 4 signica que ad bc = 4; e a
condio tr(A) = 7 signica que a+d = 7. Temos ento duas equaes com quatro variveis.
Uma soluo seria a = 3 e d = 4, donde bc =8 e, consequentemente, b = 2 e c = 4. Logo,
A =
_
3 2
4 4
_
.
Exemplo 3.1.11. Consideremos o seguinte teorema: Para qualquer inteiro n, a multiplicao de
matrizes nn no comutativa. Dizer que a multiplicao comutativa dizer que x, y; (xy =
yx). Assim, o nosso teorema arma justamente a negao desse fato, ou seja,
x, y; (xy = yx) xy; (xy ,= yx).
Logo, para provarmos o teorema, devemos encontrar duas matrizes, digamos 2 2, A e B,
com a propriedade que AB ,= BA. Por exemplo, A =
_
1 2
3 4
_
e B =
_
1 1
3 2
_
satisfazem tal
condio.
Tambm possvel d uma prova de existncia no construtiva, isto , no encontramos
um elemento a tal que P(a) seja verdade, mas provamos que x, P(x) verdadeiro em alguma
forma. H teoremas em matemtica que armam a existncia de determinados objetos sem
produzir um exemplo do tipo desejado. Por exemplo, todo polinmio de grau mpar tem pelo
menos uma raiz real. Note que f (x) = x
5
+2x 5 = 0 possui uma raiz entre x = 1 e x = 2.
Exemplo 3.1.12. Mostre que existem nmeros irracionais x e y tais que x
y
racional. Conside-
remos o nmero
2
. Se ele racional, ento x =
2 e y =
2 so dois nmeros irracionais

tais que x
y
racional. Por outro lado, se
2
irracional, ento fazendo x =
2
e y =
2
temos que
x
y
= (
2
)
2
= (
2)
2
= 2
racional. Mostramos ento que a existncia do par x e y.
Provas para trs so to comuns em matemtica que infelizmente passam despercebidas
pelos alunos, e raramente so criticadas. O cuidado aqui vericar se todos os passos com-
putacionais podem ser revertidos. Por exemplo, considere a armao que existe x R tal
que
x +3 = x +1
x +3 = (x +1)
2
x +3 = x
2
+2x +1
0 = x
2
+x 2
0 = (x 1)(x +2).
Ento x = 1 ou x =2 so nossas solues. Devemos observar que x =2 no soluo. Isso
se deve porque nem todas as implicaes so reversveis. Descubra qual.
3.1 PROVAS DE UNICIDADE 38
Provas de Unicidade
Algumas vezes em Matemtica, desejamos provar no somente que um objeto com certas pro-
priedades existe, mas tambm que existe somente um tal objeto, isto , o objeto nico. Pre-
cisamos ento provar duas coisas: existencia e unicidade; e bom provarmos cada uma dessas
coisas separadamente. No faz diferena qual parte provada primeiro. Para provarmos exis-
tncia agimos como antes, e produzimos um exemplo do objeto desejado. Para provarmos
unicidade, o mtodo essencialmente o mtodo de prova por contradio. Seja P(x) a funo
proposicional e x um objeto com as propriedades requeridas. Ento supomos que existem dois
objetos distintos satisfazendo as mesmas propriedades, ou seja,
xy, [P(x) P(y) (x ,= y)].
A concluso falsa que geralmente obtida da nossa hiptese que x = y.
Exemplo 3.1.13. Mostre que se a, b, c e d so nmeros reais tais que ad bc ,= 0, ento existe
uma nica soluo para o sistema de equaes
ax +by =s
cx +dy =t
quaisquer que sejam os reais s e t.
Para provarmos a existncia construiremos uma soluo. claro que a ou c diferente de
zero, pois se ambos fossem zero teramos ad bc = 0, contrariando nossa hiptese. Vamos
supor a ,= 0. Ento podemos "tirar"o valor de x na primeira equao e substituir na segunda
equao. De fato,
x =
s by
a
c
s by
a
+dy =t (ad bc)y = at cs y =
at cs
ad bc
.
Retornando esse valor de y na expresso em x, encontramos que
x =
ds bt
ad bc
.
Logo exibimos uma soluo. Agora para mostrarmos que esta nica, supomos a existncia
de duas solues distintas, digamos (x
1
, y
1
) e (x
2
, y
2
). Ou seja,
ax
1
+by
1
=s
cx
1
+dy
1
=t
e
ax
2
+by
2
=s
cx
2
+dy
2
=t.
Agindo de forma semelhante ao realizado para encontrar uma soluo, vericamos que
x
1
=
ds bt
ad bc
= x
2
e y
1
=
at cs
ad bc
= y
2
.
3.1 PROVAS DE UNICIDADE 39
Exemplo 3.1.14. Seja A uma matriz 2 2 tal que det(A) ,= 0. Ento A tem uma nica matriz
inversa.
A frase "A tem uma nica matriz inversa"signica que existe uma matriz inversa para A
e que esta nica. Iniciamos provando a unicidade. Para isso, assumiremos que A tem duas
matrizes inversas B e C e ento usaremos propriedades de matrizes para mostrar que B=C. Ora,
por denio de matriz inversa, temos as seguintes identidades: AB = I = BA e AC = I =CA,
onde I a matriz identidade de ordem 22. Assim,
B = BI = B(AC) = (BA)C = IC =C.
Agora, para provarmos a existncia, podemos adotar duas estratgias: uma construtivista e
outra exibicionista. Na primeira alternativa, supomos a matriz A como sendo A =
_
a b
c d
_
e
construiremos uma matriz B =
_
x y
z w
_
satisfazendo AB = I = BA. Ou seja,
_
a b
c d
__
x y
z w
_
=
_
1 0
0 1
_
,
que fornece quatro equaes
ax +bz = 1
ay +bw = 0
cx +dz = 0
cy +dw = 1,
onde x, y, z e w so nossa incgnitas a serem determinadas em funo de a, b, c e d. Ora, a
soluo para esse sistema dada por
x =
d
ad bc
,
y =
b
ad bc
,
z =
c
ad bc
,
w =
a
ad bc
.
Vemos aqui a necessidade da hiptese det(A) = ad bc ,= 0 para que a matriz B encontrada
faa sentido.
Por outro lado, poderamos, "de bate pronto", exibir a matriz inversa B, descoberta talvez
por intuio, por sorte, por tentativa e erro, por experiencia,... E a o que nos resta vericar
que esta matriz de fato inversa da matriz A. Ou seja, se A =
_
a b
c d
_
, com a condio que
det(A) ,= 0, e supormos que
B =
_
d
adbc
b
adbc
c
adbc
a
adbc
,
_
basta mostrarmos que AB = I = BA.
3.1 USO DE CONTRA-EXEMPLOS 40
Uso de Contra-Exemplos
Um entendimento de quanticadores tambm til quando queremos provar que uma dada
armao falsa. Suponha que queremos provar que uma armao da forma "x U, P(x)"
falsa. Ento isto equivale a encontrar um x
0
em U tal que P(x
0
) verdadeiro. O elemento
x
0
chamado um contra-exemplo para a armao original. Em outras palavras, um contra-
exemplo um exemplo que desaprova uma armao universal. Ou seja, dada uma armao
tipo x, P(x), queremos encontrar um a no universo de discurso tal que P(a) seja falso. De fato,
recorde que
x, P(x) x, P(x).
Exemplo 3.1.15. Em 1540 Fermat armou que para todo inteiro positivo n, o inteiro F
n
=
2
2
n
+1 primo, mas no foi capaz de fornecer uma prova. De fato, observamos que F
0
= 3,
F
1
= 5, F
2
= 17, F
3
= 257 e F
4
= 65.537 so primos. Mas isto no constitui uma prova!
Somente em 1732 que Euler (iler) estabeleceu que F
5
= 4.294.967.297 = 6416.700.417
era um nmero composto e, portanto, a conjectura de Fermat era falsa.
Observaes:
(1) Um nico exemplo no pode provar uma armao universal, mas um nico contra-
exemplo pode desaprov-la.
(2) Para d um contra-exemplo de uma armao condicional PQ, encontre um caso onde
P verdade, mas Q falso.
(3) A conjectura de Goldbach - "Todo inteiro par maior que 4 pode ser representado como
uma soma de dois primos", cuja soluo vale um milho de dlares, teve sua veracidade
vericada no computador para nmeros at 10
17
. Mas prova que bom, nada!
Exemplo 3.1.16. Encontre um contra-exemplo para a proposio: para todos os nmeros reais
x e y, se x y, ento [x[ [y[. Precisamos encontrar nmeros reais a e b tais que a b, porm
[a[ >[b[. Tente!
A presena de quanticadores, e especialmente quanticadores mltiplos, nas armaes
de teoremas uma fonte de erros na construo de provas vlidas para os iniciantes. Adenio
de limite um exemplo de uma armao de existncia. Sejam f : RR e c R. A armao
lim
xc
f (x) = L
signica que para cada > 0 dado, existe um > 0 tal que, se 0 <[x c[ < ento
[ f (x) L[ < .
Assim, para mostrarmos que
lim
x2
(5x +4) = 14,
3.2 INDUO MATEMTICA 41
tomamos um > 0 qualquer e exibimos para ele um > 0 de forma que a denio de limite
seja satisfeita. Para construirmos um tal > 0 usamos o que queremos provar. Ou seja,
[(5x +4) 14[ =[5x 10[ = 5[x 2[
e observamos que esta expresso ser menor que se zermos [x 2[ <

5
. Logo, dado
> 0, existe

5
tal que se [x 2[ < temos [(5x +4) 14[ < .
Armaes envolvendo mais de um quanticador tipicamente tm a forma y, x; P(x, y) ou
x, y; Q(x, y), com x e y num universo de discurso U. Usaremos sempre a mesma estratgia:
tomaremos um quanticador por vez, de fora para dentro.
Exemplo 3.1.17. Para cada nmero real a, existe um nmero real b tal que a
2
b
2
+4 = 0.
Esta armao possui a forma a, b; (a
2
b
2
+4 = 0), onde a e b so nmeros reais.
Iniciamos a prova ento como quanticador de fora, isto , a. Podemos reescrever a armao
a ser provada como a, Q(a), onde Q(a) =b, (a
2
b
2
+4 =0). Tomamos ento um nmero
real arbitrrio a
0
tal que Q(a
0
) vlida. Logo, devemos mostrar que b, ((a
0
)
2
b
2
+4 =
0) vale. Facilmente, obtemos dois nmeros reais b que validam tal armao, a saber: b =
_
(a
0
)
2
+4. Duvida? Verique!
Exemplo 3.1.18. Existe um nmero real x tal que (3x)(y
2
+1) > 0 para todo nmero real y.
Esta armao tem a forma x, y; ((3 x)(y
2
+1) > 0), onde x e y so nmeros reais.
Outra vez iniciamos com o quanticador externo. Reescrevemos a sentena como x, R(x),
onde R(x) = y, ((3 x)(y
2
+1) > 0). Assim, devemos produzir um nmero real x
0
tal que
R(x
0
) seja vlido. Ou seja, precisamos encontrar um real x
0
tal que, se escolhermos um nmero
real arbitrrio y
0
, ento (3x)(y
2
+1) > 0 vale. Ora, sabemos que (y
0
)
2
+1 > 0 qualquer que
seja y
0
R, de forma que basta tomarmos x
0
tal que 3 x
0
> 0. Portanto, nossa armao
vlida se tomarmos x
0
< 3.
3.2 Induo Matemtica
Existem muitas situaes matemticas que podem ser formuladas como
n N, P(n),
onde o universo de discurso o conjunto dos nmeros naturais.
Exemplo 3.2.1. (1) A soma dos n primeiros nmeros naturais dada pela expresso
n(n+1)
2
;
(2) Para todo nmero natural n, qualquer conjunto com n elementos possui 2
n
subconjuntos;
(3) n N, n! n
n
;
(4) Para todo nmero natural n, 8
n
3
n
divisvel por 5.
Assumiremos o Axioma da Boa-Ordenao que nos diz que
"Todo subconjunto no-vazio dos nmeros naturais contm um menor
elemento".
Teorema 3.2.2 (O Princpio de Induo Matemtica). Suponha que para cada nmero natural
n, uma armao P(n) dada. Se valem as seguintes condies:
(i) P(1) uma armao verdadeira;
(ii) P(k) verdadeiro implicar P(k +1) verdadeiro;
conclumos que a armao P(n) verdadeira para todo n N.
Numa linguagem de conjuntos, temos que se G = n N : P(n) contido em N tal que
1 G e k +1 G sempre que k G, ento G =N.
Demonstrao. Seja S o subconjuntos dos nmeros naturais constitudo pelos nmeros naturais
k 1 tais que P(k) falso. Provaremos que S vazio. Para isso usamos uma prova por
contradio. Suponha que S no-vazio. Ento podemos usar o Princpio da Boa-Ordenao
para garantir a existncia de um menor elemento em S, digamos d. Desde que P(d) falso,
segue da hiptese (i) que d > 1. Consequentemente, d 1 1. Como d 1 < d, ele no pode
est em S. Logo P(d 1) verdadeiro. Mas pela hiptese (ii) temos que P[(d 1) +1] = P(d)
tambm verdadeiro. Isto uma contradio, pois d S. Portanto, S vazio.
Observao 3.2.3. Note que a hiptese (ii) no arma que P(k) verdadeiro para todo k
natural, mas somente que uma relao condicional vale. A hiptese (ii) chamada a hiptese
de induo.
Expresso como uma regra de inferncia, o Princpio de Induo Matemtica pode ser esta-
belecido como
P(1) (k N, P(k) P(k +1)) n N, P(n)
Exemplo 3.2.4. Para todo nmero natural n, a soma dos primeiros n nmeros naturais dada
pela expresso
P(n) : 1+2+ +n =
n(n+1)
2
.
Assim, para provarmos que de fato essa armao vale para todo n N, devemos vericar que
as hipteses (i) e (ii) so vlidas.
Segunda Lista de Exerccios
1. Reformule cada um dos seguintes teoremas na forma P Q.
(a) A rea da regio dentro de um crculo de raio r r
2
;
(b) Dados uma reta l e um ponto P fora dela, existe exatamente uma reta m contendo P
que paralela a l;
(c) Seja ABC um tringulo com lados a, b e c. Ento
a
sen(A)
=
b
sen(B)
=
c
sen(C)
.
(d) (Teorema Fundamental do Clculo) Seja f uma funo contnua sobre [a, b] e seja
F qualquer funo para a qual F
/
(x) = f (x). Ento
_
b
a
f (x)dx = F(b) F(a).
2. Escreva uma prova direta para as seguintes armaes:
(a) Sejam A, B e C conjuntos. Se A B e B C, ento A C.
(b) Todo inteiro mpar a diferena de dois quadrados.
(c) Seja x Z. Se 2
2x
um inteiro mpar, ento 4
x
um inteiro mpar.
3. Use a contrapositiva para provas as seguintes armaes:
(a) Seja n Z. Se 15n par, ento 9n par.
(b) Seja n Z. Prove que (n+1)
2
1 par se, e somente se, n par.
4. Prove por casos as seguintes armaes:
(a) Se n um nmero natural, ento n
2
+n+3 mpar.
(b) Sejam x, y Z. Prove que se xy mpar, ento x e y so mpares.
(c) Sejam x, y Z. Prove que x y par se, e somente se, x e y tm a mesma paridade.
(d) Sejam x, y Z. Prove que se x+y e xy tm a mesma paridade, ento x e y so pares.
5. Prove por contradio as seguintes armaes:
(a)
3
2 no racional.
(b) Se n um nmero natural, ento
n
n+1
>
n
n+2
.
(c) Se x irracional, ento 1/x irracional.
(d) No existe nmero racional x para o qual x
3
+x +1 = 0.
(e) Prove que se x e y so nmeros reais positivos, ento
x +y ,=
x +
y.
6. Seja a e b inteiros. Dizemos que dois inteiros a e b so relativamente primos se
mdca, b = 1. Ou seja, os nicos dividores comuns de a e b so 1 e -1. Mostre que
as seguintes armaes so equivalentes:
(a) a e b so relativamente primos;
(b) a e b so relativamente primos;
(c) a+b e b so relativamente primos;
(d) ab e b so relativamente primos.
7. Prove que:
(a) no existem inteiros m e n tais que 2m+4n = 7.
(b) se m um inteiro mpar, ento m
2
= 8k +1, para algum k inteiro. Use o fato que
k(k +1) par para qualquer inteiro k.
(c) para todos os inteiros a, b e c, se a divide b e a divide c, ento a divide bc.
(d) se existirem inteiros m e n tais que am+bn = 1 e d > 1, ento d no divide a ou d
no divide b.
(e) se x e y so racionais com x < y, ento existe um nmero racional entre x e y.
8. Proporcione uma prova ou um contra-exemplo para cada uma das armaes:
(a) Para todo inteiro positivo n, n
2
n+17 um nmero primo;
(b) para todo x e y reais, se x > 1 e y > 0, ento y
x
> x;
(c) para todos os inteiros a, b e c, se a divide bc, ento a divide b ou a divide c;
(d) para todos os nmeros reais positivos x, x
2
x > 0.
9. Prove que mmc(a, b).mdc(a, b) = ab, para todos os nmeros naturais a e b.
10. Prove ou desaprove que se a e b so nmeros racionais, ento a
b
tambm racional.
11. Sejam a, b Z, onde a ,= 0 e b ,= 0. Prove que se a [ b e b [ a, ento a = b ou a =b.
12. Sejam x, y Z. Prove que se 3 x e 3 y, ento 3 [ (x
2
y
2
).
13. Prove que se a e b so nmeros reais positivos, ento

ab
a+b
2
. Sob quais condies
vale a igualdade?
14. Sejam x, y R. Prove que [xy[ =[x[ [y[.
15. Prove que para quaisquer dois nmeros reais a e b, no ambos nulos, temos
a
b
+
b
a
2.
16. Uma prova do seguinte resultado dada.
Resultado: Seja n Z. Se n
4
par, ento 3n+1 mpar.
Prova: Suponha que n
4
= (n
2
)
2
par. Desde que n
4
par, n
2
par. Alm disso, como
n
2
par, segue que n par. Porque n par, n = 2k para algum inteiro k. Ento
3n+1 = 3(2k) +1 = 6k +1 = 2(3k) +1.
Desde que 3k um inteiro, 3n+1 mpar.
Responda as seguintes questes:
(1) Qual tcnica de prova est sendo usada?
(2) Qual a hiptese inicial?
(3) O que deve ser mostrado para fornecer uma prova completa?
(4) D uma razo para cada um dos seguintes passos na prova.
(a) Desde que n
4
par, n
2
par.
(b) Alm disso, como n
2
par, segue que n par.
(c) Porque n par, n = 2k para algum inteiro k.
(d) Ento 3n+1 = 3(2k) +1 = 6k +1 = 2(3k) +1.
(e) Desde que 3k um inteiro, 3n+1 mpar.
17. Prove que cada uma das seguintes sentenas so vlidas para todo n N.
(a) 1
2
+2
2
+ +n
2
=
n(n+1)(n+2)
6
;
(b) 1
3
+2
3
+ +n
3
=
n
2
(n+1)
2
4
;
(c)
1
12
+
1
23
+ +
1
n(n+1)
=
n
n+1
.
18. Encontre uma frmula para 1 +4 +7 + + (3n 2), onde n um inteiro positivos e
ento verique a validade dessa frmula por induo matemtica.
19. Prove que 1+2n 3
n
para todo n N.
20. Sejam a, b N. Prove que a
n
b
n
divisvel por ab, para todo n N.
21. Prove que (1+
1
n
)
n
< n para todo n 3.
22. Prove que 3
n
> n
3
para todo n N tal que n 4.
23. Seja r ,= 1 um nmero real. Use induo para provar que a +ar +ar
2
+ +ar
n1
=
a(1r
n
)
1r
para cada inteiro positivo n.
24. Prove a identidade de Bernoulli: para cada nmero real x >1 e cada inteiro positivo n,
(1+x)
n
1+nx.
25. Seja r
1
, r
2
, r
3
, uma sequncia denida por r
1
= 1 e r
n+1
= 4r
n
+7, para todo n N.
Prove que r
n
=
1
3
(10 4
n1
7), para todo n N.
26. Seja b
1
, b
2
, b
3
, a sequncia denida por b
1
= 1, b
2
= 1 e b
n
=
1
3
_
b
n1
+
3
b
n2
_
para
todo n N tal que n 3. Prove que 1 b
n
3
2
para todo n N.
27. Seja d
1
, d
2
, d
3
, a sequncia denida por d
1
= 2, d
2
= 3 e d
n
= d
n1
d
n2
para todo
n N tal que n 3. Encontre uma frmula explcita para d
n
e prove que sua frmula
funciona.
CAPTULO 4
Conjuntos
Todos os conceitos bsicos em matemtica podem ser colocados em termos de conjuntos.
Quando contamos, estamos contando o nmero de elementos em um conjunto; quando ana-
lisamos a forma de uma gura, estamos analisando um conjunto de pontos; quando olhamos
para uma funo, vemos uma relao entre dois conjuntos. Conjuntos proporcionam a estrutura
para o discurso matemtico; eles so os blocos fundamentais para todos os conceitos quantita-
tivos e espaciais.
Toscamente falando, um conjunto uma coleo de objetos. Os objetos so chamados
os membros ou elementos do conjunto. Em geral, letras maisculas so usadas para denotar
conjuntos, e letras minsculas para denotar elementos. Se o objeto x um elemento do conjunto
A, escrevemos x A; se no, isto , se (x A), escrevemos x , A.
Conjuntos podem ser descritos em palavras, tais como "o conjunto de todos os inteiros
pares", ou voc pode denir um conjunto listando seus elementos entre chaves, como em
1, 3, 5, 7, 9. A ordem dos elementos na lista irrelevante; assim, 1, 2, 3, 1, 3, 2, 2 e
2, 3, 1 representam o mesmo conjunto. De fato, um conjunto completamente determinado
por seus elementos, de forma que:
Denio 4.0.5. Dois conjuntos so iguais se, e somente se, possuem os mesmos elementos.
Mas o modo mais conveniente para expressar um conjunto especicar uma propriedade
que determina os membros do conjunto. A propriedade estabelecida em termos de uma
sentena aberta a qual todos os elementos do conjunto devem satisfazer. Escrevemos ento
x : P(x), onde P(x) expressa o critrio para ser membro do conjunto. Por exemplo,
A =n Z : n = 2k, k Z.
Denio 4.0.6. O conjunto sem elementos ser chamado o conjunto vazio, e denotado por
/ 0.
Denio 4.0.7. Sejam A e B conjuntos. Dizemos que A um subconjunto de B se, e somente
se, cada elemento de A tambm um elemento de B. Em smbolos,
(A B) x, (x A x B).
Neste caso, dizemos que A est contido em B. Note que A sempre um subconjunto dele
mesmo, ou seja, A A. Contudo, um subconjunto pode ser estritamente "menor", como por
exemplo, 1, 2 1, 2, 3. Dizemos que o conjunto A um subconjunto prprio de B se
A B e A ,= B.
46
CAPTULO 4 CONJUNTOS 47
Teorema 4.0.8. Para qualquer conjunto A temos que / 0 A.
Demonstrao. Seja A um conjunto qualquer. Desde que a implicao x / 0 x A sempre
verdadeira, pois o antecedente falso, segue que / 0 A.
Teorema 4.0.9. Sejam A e B conjuntos. Ento A = B se, e somente se, A B e B A.
Demonstrao. Tente vericar este teorema!
Exemplo 4.0.10. Sejam P =x R : x
2
5x +6 < 0 e Q =x R : 2 < x < 3. Mostremos
que P = Q. Primeiro mostramos que P Q. Seja y P. Ento y
2
5y +6 < 0. Assim,
(y2)(y3) < 0. Temos ento dois casos possveis: (i) y2 < 0 e y3 > 0 ou (ii) y2 > 0
e y3 < 0. No caso (i) obtemos que y < 2 e y > 3, mas isto impossvel para um nmero real.
Resta ento o caso (ii) em que y > 2 e y < 3. Ou seja, 2 < y < 3, donde y Q.
Agora mostremos que Q P. Seja z Q. Ento 2 < z < 3 e da y 2 > 0 e y 3 < 0.
Logo, (y 2)(y 3) < 0 e, consequentemente, z
2
5z +6 < 0. Portanto, z P.
Para provar uma armao da forma A ,B, necessitamos encontrar algum elemento a A
tal que a , B, um fato que parece intuitivamente claro e que pode ser visto formalmente como
segue. A armao A B pode ser escrita como x, (x A x B). Ento A ,B a negao
da expresso anterior que equivalente a x, [(x A) (x , B)].
importante distinguir a noo de um objeto ser um elemento de um conjunto e a noo de
um conjunto ser um subconjunto de outro conjunto. Por exemplo, seja A =a, b, c. Ento a
A e a A so verdadeiros, enquanto que as armaes a A e a A so falsas. Tambm,
observe que um conjunto pode ser um elemento de um outro conjunto. Seja B = a, b, c.
Note que B diferente do conjunto A. Ento a B e a B so verdadeiros, mas a B
e a B so falsas.
Denio 4.0.11. Seja A um conjunto. O conjunto potncia (ou o conjunto das partes) de A
o conjunto cujos elementos so todos os subconjuntos de A e denotado por P(A). Ou seja,
P(A) =X : X A.
Exemplo 4.0.12. (1) Desde que / 0 / 0, segue que P(/ 0) =/ 0. Em particular, P(/ 0) ,= / 0.
(2) Considere o conjunto S =0, 1. Ento P(S) =/ 0, 0, 1, 0, 1. Note que 1 S,
1 P(S), / 0 P(S) e / 0 P(S).
Teorema 4.0.13. Se A um conjunto com n elementos, ento P(A) um conjunto com 2
n
elementos.
Demonstrao. J provado.
Teorema 4.0.14. Sejam A e B conjuntos. Ento A B se, e somente se, P(A) P(B).
Demonstrao. Suponha inicialmente que A B e tome X P(A). Ento X A e assim
X B. Logo, X P(B) e P(A) P(B).
Reciprocamente, seja P(A) P(B) e considere o fato que A A. Ento A P(A) e da
A P(B). Consequentemente, A B.
Existem alguns modos de produzir novos conjuntos a partir de conjuntos dados.
Denio 4.0.15. Sejam A e B conjuntos. A unio de A e B denida por
AB =x : x A ou x B.
A interseo de A e B denida como sendo o conjunto
AB =x : x A e x B.
A diferena entre A e B denida por
AB =x : x A e x , B.
Observao 4.0.16. Como auxlio na visualizao de operaes de conjuntos, introduzimos
diagramas de Venn, que podem ser teis para convencer voc da verdade intuitiva de vrias
proposies relativamente a conjuntos. Alerto que um diagrama de Venn no substitui uma
prova.
Exemplo 4.0.17. Para os intervalos A = [1, 4) e B = (2, 6] temos AB = [1, 6], AB = (2, 4)
e AB = [1, 2]. Alm disso, [1, 2] (2, 4) = / 0.
Observao 4.0.18. (i) No caso em que AB = / 0, dizemos que os conjuntos A e B so
disjuntos.
(ii) Segue da denio acima que
x , AB x , A e x , B;
x , AB x , A ou x , B;
x , AB x , A ou x B.
Existem uma poro de regras envolvendo conjuntos cujas provas recaem nas denies.
Por exemplo, se A, B e C so conjuntos, ento
A(BC) = (AB) (AC).
Vericamos este fato da seguinte forma:
x A(BC) x A e x BC
x A e (x B ou x C)
(x A e x B) ou (x A e x C)
x AB ou x AC
x (AB) (AC).
O universo de discurso uma coleo de objetos entendido do contexto ou especicado no
problema, no qual todos os objetos sob considerao devem pertencer.
Denio 4.0.19. Se U o universo de discurso e A U , ento denimos o complemento
de A como sendo o conjunto A
c
=U A.
Teorema 4.0.20. Seja U o universo de discurso e sejam A, B U . Ento:
(a) (A
c
)
c
= A;
(b) AB = AB
c
;
(c) (AB)
c
= A
c
B
c
;
(d) (AB)
c
= A
c
B
c
.
Demonstrao. Mostraremos o item (c) somente (a vericao dos demais ca como exerc-
cio). Temos que:
x (AB)
c
x , AB
x , A e x , B
x A
c
e x B
c
x A
c
B
c
.
At aqui trabalhamos com unies e intersees de somente dois conjuntos. Agora aplica-
remos essas operaes para mais que dois conjuntos. Seja I um conjunto. Uma coleo de
conjuntos indexados por I uma coleo de conjuntos S
i
, para cada i I.
Exemplo 4.0.21. Seja I = 1, 2, 3, 4. Uma coleo de conjuntos indexados por I consiste de
quatro conjuntos S
1
, S
2
, S
3
e S
4
. Por exemplo,
S
1
= / 0, S
2
=a, b, c, S
3
=Z e S
4
=, ln(543),
2.
Exemplo 4.0.22. Seja I =N. Uma coleo de conjuntos indexados por I uma coleo innita
de conjuntos S
1
, S
2
, S
3
, . Por exemplo,
S
1
= (0, 1), S
2
= (0,
1
2
), S
3
= (0,
1
3
), , S
n
= (0,
1
n
), .
Exemplo 4.0.23. Seja I = R. Uma coleo de conjuntos indexados por I dada por S
x
=
x, x. Neste caso no podemos listar numa ordem os elementos dessa coleo (veremos
adiante que o conjunto dos nmeros reais no-enumervel). Alguns exemplos so S
2
=
2,
2 e S
102
=102, 102.
Denio 4.0.24. Seja I um conjunto e seja S
i
iI
uma coleo de conjuntos indexados por I.
(a) a unio dos S
i
o conjunto
_
iI
=x : x S
i
, para algum i I.
(b) a interseo dos S
i
o conjunto
iI
=x : x S
i
, para todo i I.
Exemplo 4.0.25. No segundo exemplo acima, temos que
_
n=1
S
n
=
_
n=1
(0,
1
n
) = (0, 1) e
n=1
S
n
=
n=1
(0,
1
n
) = / 0.
Para vericarmos a interseo, suponhamos que exista um x
n=1
S
n
. Em particular,
x S
1
= (0, 1). Mas para n sucientemente grande temos que
1
n
< x, donde x , (0,
1
n
) = S
n
.
Isto contradiz o fato que x
n=1
S
n
.
Exemplo 4.0.26. Prove que
n=1
_
1
n
,
1
n
_
=0
possvel generalizar algumas propriedades vistas anteriormente.
Teorema 4.0.27. Seja A =A
: I uma famlia indexada de conjuntos e B um conjunto.

Ento:
(1) B(
I
A
) =
I
(BA
).
(2) B(
I
A
) =
I
(BA
).
(3) [
I
A
]
c
=
I
A
c
.
(4) [
I
A
]
c
=
I
A
c
.
Existe um outro modo fundamental de formar novos conjuntos a partir de antigos. Para
isso necessitaremos da noo de par ordenado de elementos, denotado por (a, b), onde a e b
so elementos de conjuntos dados. Num sentido formal, denimos o par ordenado (a, b) como
sendo o conjunto a, a, b. Desta forma, diferentemente do que ocorre com conjuntos, a
ordem dos elementos num par ordenado relevante, ou seja, (a, b) ,= (b, a). Alm disso, segue
de nossa denio que dois pares ordenados (a, b) e (c, d) so iguais se, e somente se, a = c e
b = d. Verique essas armaes.
Denio 4.0.28. Sejam A e B conjuntos. O produto de A e B, denotado por AB. o conjunto
AB =(a, b) : a A e b B,
onde (a, b) denota um par ordenado.
Exemplo 4.0.29. Sejam A =a, b, c e B =1, 2. Ento
AB =(a, 1), (a, 2), (b, 1), (b, 2), (c, 1), (c, 2).
4.1 UMA PAUSA PARA O RIGOR 51
Observao 4.0.30. Note que nos novos conjuntos A B, A B e A B formados a partir
dos conjuntos A e B, os objetos continuam sendo da mesma espcie, ou sejam continuam no
universo de discurso. Contudo, isto no acontece com produto A B, pois seus elementos
constituintes deixam de estar no universo de discurso.
Ora, se o conjunto A tem n elementos e o conjunto B tem m elementos, quantos elementos
tem o conjunto AB?
Podemos formar o produto de mais que dois conjuntos, porm nesse caso h uma sutileza
tcnica. Suponha que queremos forma o produto dos conjuntos A, B e C. Mantendo esses
conjuntos numa dada ordem, poderamos formar o produto de duas maneiras, fornecendo os
conjuntos A(BC) e (AB) C. Estritamente falando, esses conjuntos no so os mes-
mos, pois seus elementos so (a, (b, c)) e ((a, b), c), respectivamente, os quais so distintos.
Encobriremos essa diculdade tcnica, simplesmente referindo-se ao conjunto ABC como
sendo o conjunto formado pelas triplas (a, b, c).
O seguinte teorema fornece algumas propriedades padres de produtos de conjuntos.
Teorema 4.0.31. Sejam A, B,C e D conjuntos.
(1) Se A B e C D, ento AC BD.
(2) A(BC) = (AB) (AC) e A(BC) = (AB) (AC).
(3) (AB) (CD) = (AC) (BD)
Demonstrao. Provaremos somente A(BC) = (AB) (AC). As demais armaes
so mostradas de forma anloga.
4.1 Uma pausa para o rigor
Neste momento muitos de ns achamos que entendemos o signicado de conjunto - pelo menos
intuitivamente, e no percebemos o que h de errado em considerar que para cada sentena
aberta P(x) corresponde um conjunto x : P(x). Foi o famoso lsofo ingls Bertrand Russel
(1872-1970) que chamou a comunidade matemtica em 1902, declarando que a admisso de
um conjunto de todos os conjuntos (o "conjunto universal") levaria a uma contradio. Este
o famoso "Paradoxo de Russel". Suponha que poderamos formar o conjunto de todos os
conjuntos; denote por S esse conjunto. Observe que S S. Ento dena o conjunto T = A
S : A , A. T um membro de si mesmo? Suponha primeiro que T , T. Ento T T. Agora
suponha que T T. Ento T , T. Existe algo de errado aqui. O problema que estamos
tentando usar um conjunto de todos os conjuntos.
Para tratar teoria de conjuntos rigorosamente desenvolveu-se vrios sistemas axiomticos,
evitando assim paradoxos como o de Russel. O mais utilizado referido como Axiomas de
Zarmelo-Fraenkel. Os axiomas so formulados no contexto de lgica simblica e so listados
abaixo, de modo informal.
Axioma de Extenso Sejam x e y conjuntos. Se x e y tem os mesmos elementos, ento x = y.
Axioma do Conjunto Vazio Existe um conjunto z tal que x , z para todo conjunto x.
Axioma de Paridade Sejam x e y conjuntos. Existe um conjunto z tal que w z se, e somente
se, w = x ou w = y.
Axioma de Unio Seja x um conjunto. Existe um conjunto z tal que w z se, e somente se,
existe algum conjunto y x tal que w y.
Axioma do Conjunto Potncia Seja x um conjunto. Existe um conjunto z tal que w z se, e
somente se, w x.
Axioma de Regularidade Seja x um conjunto. Suponha que x ,= / 0. Ento existe algum y x
tal que x y = / 0.
Axioma de Seleo Seja P(t) uma propriedade lgica de conjuntos com uma varivel livre
t que pode ser formulada no contexto dos axiomas de Zarmelo-Fraenkel. Seja x um
conjunto. Ento existe um conjunto z tal que y z se, e somente se, y x e P(y)
verdade.
Axioma de Innidade Existe um conjunto z tal que / 0 z e se x z, ento x xinz.
Axioma de Deslocamento Seja F(s, t) uma propriedade funcional de conjuntos com duas va-
riveis livres que pode ser formulada no contexto dos axiomas de Zarmelo-Fraenkel. Seja
x um conjunto. Ento existe um conjunto z tal que y z se, e somente se, existe algum
w x tal que F(w, y) verdade.
Em adio aos axiomas de Zarmelo-Fraenkel, trabalha-se em teoria de conjuntos com o
Axioma da Escolha que, intuitivamente, estabelece que se temos uma famlia de conjuntos
no-vazios, podemos simultaneamente escolher um elemento da cada um dos conjuntos. Para
uma famlia nita de conjuntos no-vazios, podemos escolher um elemento do primeiro con-
junto, e ento um elemento do segundo conjunto, e assim por diante, no havendo problema em
fazer tais escolhas. O problema comea quando temos uma famlia innita de conjuntos (par-
ticularmente uma famlia no-enumervel - a ser denida na aula sobre cardinalidade). Nesse
caso, no podemos escolher um elemento de cada vez - a escolha deve ser simultnea.
Terceira Lista de Exerccios
1. Quais das seguintes armaes so verdadeiras e quais so falsas?
(a) 10 , (,
2
);
(b) (2, );
(c) 1, 3 , 3, 2, 1;
(d) [1, 2] 0, 1, 2, 3;
(e) 1, 0, 1 [1, 1];
(f) / 0 A para todo conjunto A;
(g) / 0 P(A) para todo conjunto A;
(h) P(/ 0) =/ 0, / 0.
2. Escreva cada um dos conjuntos na forma de uma sentena aberta.
(a) O conjunto de todos os nmeros reais positivos;
(b) O conjunto de todos os inteiros mpares;
(c) O conjunto de todos os nmeros racionais que tem fator 5 em seu denominador;
(d) O conjunto 64, 27, 8, 1, 0, 1, 8, 27, 64.
3. Entre os seguintes subconjuntos, quem subconjunto de quem?
M o conjunto de todos os homens; W o conjunto de todas as mulheres; P o
conjunto de todos os parentes; O o conjunto de todas as mes; F o conjunto de
todos os pais; U o conjunto de todos os tios; A o conjunto de todas as tias; e C
o conjunto de todas as pessoas que lhos de outras pessoas.
4. Entre os seguintes subconjuntos, quem subconjunto de quem?
C =n Z : k Z, n = k
4
;
E =n Z : k Z, n = 2k;
P =n Z : n um nmero primo;
N =n Z : k Z, n = k
8
;
S =n Z : k Z, n = 6k;
D =n Z : k Z, n = k 5;
B =n Z : n no negativo.
5. Encontre conjuntos A e B tais que A B e A B.
6. Liste todos os elementos do conjunto P(P(/ 0))
7. Sejam x = [0, 5), Y = [2, 4], Z = (1, 3] e W = (3, 5) intervalor em R. Encontre cada um
dos seguintes conjuntos: Y Z, Z W, Y W, X W, (X Y) Z e X (Z W).
8. Sejam G =n Z : n = 2m para algum m Z, H =n Z : n = 3k para algum k Z,
I = n Z : n
2
mpar e J = n Z : 0 n 10. Encontre cada um dos seguinte
conjuntos: GI, GI, GH, J G, I H e J (GH).
9. Dados dois conjuntos A e B, so os conjuntos AB e BA necessariamente disjuntos?
De uma prova ou um contraexemplo.
10. Sejam A e B dois conjuntos. Prove que (AB) A = B(AB).
11. Sejam A, B e C conjuntos. Prove que
(AB) C = (AC) B = (AC) (BC).
12. Sejam A e B conjuntos. A diferena simtrica de A e B, denotada por AB, o conjunto
AB =(AB) (BA). Sejam X,Y e Z conjuntos. Prove as seguinte armaes:
(a) X / 0 = X;
(b) X X = / 0;
(c) X Y =Y X;
(d) X (Y Z) = (X Y) Z;
(e) X (Y Z) = (X Y) (X Z);
(f) X Y = (X Y) (X Y).
13. Prove ou encontre um contraexemplo para a seguinte armao. Sejam A, B e C conjun-
tos. Ento (AC) B = (AB) (CB).
14. Prove ou d um contraexemplo para cada uma das seguintes armaes:
(a) Sejam A e B conjuntos. Ento P(AB) =P(A) P(B).
(b) Sejam A e B conjuntos. Ento P(AB) =P(A) P(B).
15. Em cada uma das seguintes partes, dado um conjunto B
k
para cada k N. Encontre
kN
B
k
e
kN
B
k
.
(a) B
k
=0, 1, 2, 3, , k;
(b) B
k
=k 1, k, k +1;
(c) B
k
=
3
k
,
5k+2
k
10+k;
(d) B
k
=[1, 3+
1
k
] [5,
5k+1
k
).
16. Em cada uma das seguintes partes, voce necessita encontrar uma famlia de conjuntos
E
k
kN
tal que E
k
R para cada k N, de forma que todos os E
k
seja distintos e
tornem as condioes dadas verdadeiras.
(a)

kN
E
k
= [0, ) e
kN
E
k
= [0, 1];
(b)

kN
E
k
= (0, ) e
kN
E
k
= / 0;
(c)

kN
E
k
=R e
kN
E
k
=3;
(d)

kN
E
k
= (2, 8) e
kN
E
k
= [3, 6].
CAPTULO 5
Relaes
Denio 5.0.1. Sejam A e B conjuntos. Uma relao R entre A e B um subconjunto de AB.
Assim, se (a, b) R, escrevemos aRb (ou a b) para expressar que a e b esto relacionados.
Exemplo 5.0.2. (1) Sobre Z consideremos a relao R =(x, y) ZZ : x+y = 0. Ento
R = , (1, 1), (1, 1), (0, 0), (2, 2), .
(2) Sobre o conjunto NN considere a relao (m, n)R(s, r) se, e somente se, m+r = n+k.
(3) Seja E =(x, y) RR :
x
2
324
+
y
2
64
1. O grco de E dado por
(4) Outro tipo importante de grco que pode ser usado para representar uma relao R sobre
um conjunto A o grco dirigido ou dgrafo. Pensamos nos objetos de A como vrtices
e na relao R como lados dirigidos, conectando vrtices relacionados. Por exemplo, a
relao R sobre o conjunto A =3, 4, 5, 6, 7, 8 dada por xRy se, e somente se, xy par,
pode ser representada como
(5) Um uxograma tambm uma relao. Por exemplo, usando o critrio de pr-requisito
construmos uma relao sobre o conjunto de disciplinas do DMA-UFS.
Veremos agora novas maneiras de construir novas relaes a partir de relaes dadas.
Denio 5.0.3. Se R uma relao entre os conjuntos A e B, ento denimos a inversa de R,
denotada por R
1
, como sendo a relao
R
1
=(y, x) BA : (x, y) R.
Exemplo 5.0.4. 1. No caso do dgrafo acima, temos R
1
como sendo
2. Seja R uma relao sobre o conjunto dos nmeros reais R denida por xRy se, e somente
se, y = 2
x
.
Denio 5.0.5. Seja R uma relao entre os conjuntos A e B e seja S uma relao entre os
conjuntos B e C. A composio de R e S denida como sendo o subconjunto de AC dado
por
SR =(a, c) AC : b B tal que (a, b) R e (b, c) S.
Exemplo 5.0.6. 1. Consideremos os conjuntos A=1, 2, 3, 4, B=p, q, r, s e C=x, y, z.
Seja R=(1, p), (1, q), (2, q), (3, r), (4, s) uma relao entre A e B, e seja S =(p, x), (q, x), (q, y), (s, z)
uma relao entre B e C. Ento
SR =(1, x), (1, y), (2, x), (2, y), (4, z)
.
55
5.1 RELAES DE EQUIVALNCIA 56
2. Se R uma relao entre A e B e S uma relao entre B e A, ento nem sempre verdade
que SR = RS. Por exemplo, tome sobre RR as seguintes relaes
R =(x, y) RR : y = x +1 e S =(y, z) RR : z = y
2
.
Ento
RS =(y, x) RR : z R com (y, z) S e (z, x) R
=(y, x) RR : z R com z = y
2
e x = z +1
=(y, x) RR : x = y
2
+1.
Analogamente, vericamos que SR =(y, x) RR : x = (y +1)
2
.
Teorema 5.0.7. Suponha A, B,C e D conjuntos. Sejam R uma relao entre A e B, S uma
relao entre B e C, e T uma relao entre C e D. Ento
(i) (R
1
)
1
= R;
(ii) T (SR) = (T S) R;
(iii) (SR)
1
= R
1
S
1
.
Demonstrao. So consequncias diretas das denies. Mostraremos os itens (ii) e (iii).
5.1 Relaes de Equivalncia
Uma relao R sobre um conjunto X chamada relao de equivalncia se as seguintes pro-
priedades forem satisfeitas:
(1) Reexividade: para todo x X, xRx;
(2) Simetria: para todo x, y X, se xRy ento yRx;
(3) Transitividade: para todo x, y, z X, se xRy e yRz, ento xRz.
Exemplo 5.1.1. Seja n um inteiro positivo xado. Ento denimos sobre Z a seguinte relao:
aRb se, e somente se, a b um mltiplo de n, ou seja, a b = kn para algum k Z. Esta
relao chamada congruncia mdulo n. Ao invs de escrever aRb, costuma-se denotar esta
relao por a b(modn). Veriquemos que esta uma relao de equivalncia.
(1) Vale a reexividade pois a a(modn) para todo a Z uma vez que aa = 0n.
(2) Vale a simetria pois se a b(modn), ento
ba =(ab) =(kn) = (k)n,
o que implica, por deniao da relao, que b a(modn).
(3) Vale a transitividade pois, para todo a, b, c Z tais que a b(modn) e b c(modn),
temos que existem k
1
, k
2
Z satisfazendo ab = k
1
n e bc = k
2
n. Assim,
ac = (ab) +(bc) = (k
1
+k
2
)n
e isto implica que a c(modn).
Exemplo 5.1.2. Denimos uma relao sobre Z por: xRy se, e somente se, x +3y par. Veri-
quemos que esta uma relao de equivalncia.
(1) Vale a reexividade pois para todo x Z temos que x +3x = 4x que um nmero par.
(2) Vale a simetria pois se xRy, ento x+3y par, ou seja, existe inteiro k tal que x+3y =2k.
Consequentemente,
y +3x = y +2y 2y +x +2x = x +3y +2(x y) = 2(k +x y)
nos diz que y +3x par. Ou seja, yRx.
(3) Vale a transitividade pois, para todo x, y, z Z tais que xRy e yRz, temos que existem
k
1
, k
2
Z satisfazendo x +3y = 2k
1
e y +3z = 2k
2
. Assim,
x +3z = x +3y 3y +y y +3z = (x +3y) +(y +3z) 4y = 2(k
1
+k
2
2y)
par, e isto implica que xRz como queramos mostrar.
Exemplo 5.1.3. Denimos agora a relao sobre R por: xRy se, e somente se, [x y[ 1.
Veriquemos que esta no uma relao de equivalncia.
(1) Vale a reexividade pois para todo x R temos que [x x[ = 0 1.
(2) Vale a simetria pois se xRy, ento [x y[ 1. Assim, [y x[ = [x y[ 1 implica que
yRx.
(3) No vale a propriedade transitiva pois, 5R4 e 4R3 porm [53[ = 2 > 1.
Denio 5.1.4. Uma vez que temos uma relao de equivalncia R sobre um conjunto X,
denimos a classe de equivalncia de um elemento x X, denotada por [x], como sendo o
subconjunto de todos os elementos em X que esto relacionados a x, isto ,
[x] =y X : yRx.
O conjunto de todas as classes de equivalncia chamado conjunto quociente e denotado por
X/R =[x] : x X
.
Exemplo 5.1.5. No caso da relao de equivalncia x y(mod3) sobre Z, temos que
[x] =y Z : y x(mod3)
=y Z : y = 3k +x, para algum k Z
=3k +x : x Z.
Assim, a classe de equivalncia do elemento x Z constituda pelos inteiros que ao serem
divididos por 3 deixam resto x. Logo, h somente trs classes distintas:
[0] =0, 3, 6,
[1] =1, 4, 2, 7, 5,
[2] =2, 5, 1, 8, 4, ,
correspondentes aos elementos que deixam restos 0, 1 ou 2, respectivamente. Portanto,
Z/R =[0], [1], [2].
Generalizando para um inteiro n xado...
Exemplo 5.1.6. A relao R denida sobre o conjunto dos nmeros reais R por xRy se, e
somente se, x
2
= y
2
uma relao de equivalncia (verique!). As classes de equivalncia tm
a forma
[x] =y R : yRx =y R : y
2
= x
2
=x, x.
Logo, R/R possui innitas classes de equivalncia. Por exemplo, [] = , e [
2] =
2,
2.
Sobre o conjunto quociente X/R podemos denir uma operao de adio e uma operao
de multiplicao da seguinte forma:
[x] +[y] = [x +y] e [x] [y] = [xy].
Comestas operaes podemos construir o conjunto dos inteiros a partir dos nmeros naturais da
seguinte forma: dena a relao de equivalncia R sobre NN por (a, b)R(c, d) se, e somente
se, a+d = b+c. Um bom exerccio vericar que, de fato, R uma relao de equivalncia.
As classes de equivalncia so ento
[(x, y)] =(a, b) NN : (a, b)R(x, y)
=(a, b) NN : a+y = b+x.
Ou seja, os elementos da classe [(x, y)] so tais que "ab = x y". Por exemplo,
[(0, 2)] =(0, 2), (1, 3), (2, 4),
[(0, 1)] =(0, 1), (1, 2), (2, 3),
[(0, 0)] =(0, 0), (1, 1), (2, 2),
[(1, 0)] =(1, 0), (2, 1), (3, 2),
Rotulando 2 = [(0, 2)], 1 = [(0, 1)], 0 = [(0, 0)], 1 = [(1, 0)], e assim por diante, vericamos
que
Z =
NN
R
.
Agora, subtrao e multiplicao envolvendo nmeros negativos cam bem denidas. Por
exemplo,
12 =[(1, 0)] +[(0, 2)] = [(1, 0) +(0, 2)] = [(1, 2)] =1;
(1) (2) =[(0, 1)] [(0, 2)] = [(0, 1) (0, 2)] = [(2, 0)] = 2,
onde usamos o produto (x, y) (u, v) = (xu+yv, xv +yu) em NN.
Teorema 5.1.7. Suponha que R uma relao de equivalncia sobre um conjunto X. Ento:
(1) X =
xX
[x];
(2) xRy se, e somente se, [x] = [y];
(3) quaisquer duas classes so ou disjuntas ou idnticas.
Demonstrao. (1) Seja y X. Desde que yRy, por reexividade, segue que x [x] e da
x
[x]. Reciprocamente, como cada [x] X, temos que
xX
[x] X.
(2) Suponha que xRy. Temos uma igualdade de conjuntos a ser mostrada. Seja w [x].
Ento wRx e, por transitividade, wRy. Assim, w [y]. Por outro lado, se z [y], ento zRy
e, por simetria, temos que yRx. Logo, usando a transitividade, conclumos que zRx. Ou seja,
z [x]. Reciprocamente, suponha agora que [x] = [y]. Desde de que x [x] sempre, segue que
x [y]. Portanto, xRy.
(3) Sejam [x] e [y] classes de equivalncia. Se elas so disjuntas, no h mais o que fazer.
Suponha ento que [x] [y] ,= / 0 e tome z [x] [y]. Assim, por denio de classe, zRx e zRy.
Usando as propriedades simtrica e transitividade vericamos que xRy e, conforme o provado
no item (2), conclumos que [x] = [y].
Dessa maneira uma relao de equivalncia particiona o conjunto emsubconjuntos (classes)
disjuntos. Ser que se tivermos um modo de dividir um conjunto ento podemos obter uma
relao de equivalncia?
Denio 5.1.8. Seja X um conjunto no-vazio e seja I um conjunto de ndices. Uma partio
uma coleo de subconjuntos A
I
de X tal que:
(1) Para cada I, o conjunto A
,= / 0;
(2) X =
I
A
;
(3) Para todos , I, se A
,= / 0, ento A
= A
.
Exemplo 5.1.9. A famlia de intervalos A
n
= [n, n +1), com n Z, particiona o conjunto R.
De fato, cada A
n
,= / 0, R =
nZ
A
n
e se A
n
A
m
,= / 0, como os intervalos [n, n+1) e [m, m+1)
so ou iguais ou disjuntos, segue que A
n
= A
m
.
5.2 RELAO DE ORDEM 60
Teorema 5.1.10. Seja A
I
uma partio do conjunto X. Para x, y X dena xRy se, e
somente se, existe A
tal que x, y A
. Ento R uma relao de equivalncia sobre X e

X/R =A
: I.
Demonstrao. Desde que X =
I
A
, segue que para todo x X temos x A
, para algum
I. Logo xRx para todo x X (mostrando que vale a reexividade). Obviamente, se xRy,
ou seja, x, y A
para algum I, ento y, x A
e isto implica que yRx (simetria). Agora,

supondo que xRy e yRx, temos pela denio da relao, que existem, I tais que x, y A
e y, z A
. Desde que y A
, segue por hiptese que A
= A
. Logo x, z A
e da xRz
(mostrando a transitividade). Portanto, R uma relao de equivalncia.
Primeiro mostremos que X/R A
: I. Seja [x] X/R. Desde que A
I
uma
partio de X, x A
para algum I. Armamos que [x] =A
. De fato, se y [x] ento yRx,

e por denio da relao, x, y A
. Ou seja, [x] A
. Por outro lado, se z A
ento x, z A
e da zRx. Logo, z [x]. Portanto, [x] = A
. Por m, para mostrarmos que A
I
X/R,
tomemos A
I
. Como A
,= / 0, podemos tomar w A
. Armamos que A
= [w]. A
prova anloga a anterior.
5.2 Relao de Ordem
H algumas relaes que permitem impor uma ordem sobre os conjuntos, tal que podemos falar
em alguns elementos serem "menor ou igual"que outros. Por exemplo, os sistemas numricos
tm uma ordem particular denotada por . Neste caso temos, por exemplo, 3 3 e de x 5 e
5 y podemos concluir que x y. Sobre o conjunto potncia P(X) de um dado conjunto X
temos uma ordem dada por (incluso). Mas o que uma relao de ordem?
Denio 5.2.1. Uma relao R sobre um conjunto X dita uma relao de ordem parcial se
ela reexiva, anti-simtrica e transitiva, onde anti-simetria signica que para todos x, y X
tais que xRy e yRx temos que x = y. O conjunto X dito parcialmente ordenado.
Exemplo 5.2.2. Para o conjunto dos nmeros naturais N, a relao R denida por aRb se, e
somente se, a divide b, uma relao de ordem. Com efeito, a propriedade reexiva vlida,
pois para todo nmero natural n N temos que n = n 1, donde n divide n. A relao R
tambm anti-simtrica, pois se aRb e bRa ento existem naturais m e n tais que b = am e
a = bn. Assim, a = (am)n = a(mn). Mas isto somente possvel se mn = 1, donde conclumos
que m = n = 1. Portanto, a = b. Por m, vericamos que a propriedade transitiva tambm
vlida. De fato, se aRb e bRc, ento existem naturais m e n tais que b = am e c = bn. Assim,
c = (am)n = a(mn) = ak. Portanto, a divide c e isto implica que aRc.
Exemplo 5.2.3. Verique que as relaes (R, ) e (P(X), ) so relaes de ordem parciais.
Denio 5.2.4. Uma relao de ordem parcial R sobre um conjunto X dita relao de ordem
total (ou linear) se para quaisquer dois elementos x, y X temos xRy ou yRx.
Em outras palavras, numa relao de ordem total quaisquer dois elementos do conjunto X
podem ser comparados. Por exemplo, a relao (R, ) de ordem total, enquanto a relao
(N, R), onde R a relao do primeiro exemplo, no de ordem total (note, por exemplo, que
o par (3, 5) NN tal que 3 no divide 5 e 5 no divide 3.
Denio 5.2.5. Seja R uma relao de ordem parcial sobre um conjunto X e sejam x, y X,
com x ,= y. Ento x dito um predecessor imediato de y se xRy e no existe z X tal que
x ,= z, y ,= z, xRz e zRy.
Exemplo 5.2.6. Para X = 1, 2, 3, 4, 5, a ordem parcial sobre o conjunto potncia P(X)
implica que para o elemento A =2, 3, 5 existem trs predecessores imediatos 2, 3, 2, 5 e
3, 5. Note que / 0 P(X) no tem prdecessor imediato. Qual o predecessor do conjunto
4?
Denio 5.2.7. Seja R uma relao parcial sobre um conjunto X e seja A qualquer subconjunto
de X. Ento x X uma cota superior para A se, para cada a A, temos aRx. Dizemos que
x X o supremo de A se x a menor cota superior de A, isto , xRy para toda cota superior
y de A. Escrevemos x = sup(A). Analogamente, denimos uma cota inferior para A como
sendo w X tal que wRa, para todo a A. Dizemos que x X o nmo de A se w a maior
cota inferior para A, ou seja, zRw para cada cota inferior z de A. Escrevemos w = inf (A).
Quarta Lista de Exerccios
1. Sejam x, y R. Trace o grco da relao R. Encontre o domnio e a imagem de R.
(a) R =(x, y) : x
2
+y
2
1;
(b) R =(x, y) : x = y
3
;
(c) R =(x, y) : 1 x 3 e y = 3x 5.
2. Encontre a inversa das seguintes relaes:
(a) R =(x, y) RR = 7x 10;
(b) S =(x, y) RR : y = x
2
+2.
3. Seja R=(1, 5), (2, 2), (3, 4), (5, 2), S =(2, 4), (3, 4), (3, 1), (5, 5) e T =(1, 4), (3, 5), (4, 1).
Encontre
(a) R(ST);
(b) (RS) T.
4. Seja A =a, b, c, d. D um exemplo de relaes R e S sobre A tais que:
(a) RS ,= SR;
(b) (SR)
1
,= S
1
R
1
.
5. Para cada um dos itens abaixo, verique que a relao de equivalncia. Ento fornea
a informao solicitada sobre as classes de equivalncias:
(a) A relao R denida sobre Z por xRy se, e somente se, x
2
=y
2
. D as classes [0], [4]
e [72];
(b) A relao R sobre NN dada por (x, y)R(z, w) se, e somente se, xw = yz. Encontre
um elemento (a, b) da classe [(2, 3)] tal que a = 6. Descreva todos os elementos
nessa classe;
(c) Para o conjunto X = m, n, p, q, r, s seja R a relao sobre P dada por ARB se, e
somente se, A e B tm o mesmo nmero de elementos. Liste todos os elementos em
m. Quantos elementos esto em P/R?
6. Calcule as classes de equivalncia para a relao de congruncia mdulo 5. Ou seja, xRy
se, e somente se, x y = 5k, para algum k Z, com x, y R.
7. Considere as relaes R e S sobre N denidas por xRy se, e somente se, 2[(x+y) e xSy se,
e somente se, 3[(x +y), respectivamente. Mostre que R uma relao de equivalncia,
mas S no.
8. Suponha que R e S so relaes de equivalncia sobre um conjunto A. Mostre que RS
uma relao de equivalncia sobre A.
9. Seja R uma relao de equivalncia sobre um conjunto A. Prove que a relao inversa
R
1
uma relao de equivalncia sobre o conjunto A.
10. Descreva a partio para cada uma das relaes de equivalncia abaixo:
(a) Para m, n Z, mRn se, e somente se, m+n par;
(b) Para x, y R, xRy se, e somente se, sen(x) = sen(y).
11. Descreva a relao de equivalncia sobre o conjunto An N: 1 n 15 de forma que
1; 2, 3; 4, 5, 6, 7; 8, 9, 10, 11, 12, 13, 14, 15 seja uma partio de A.
12. Quais das seguintes relaes sobre o conjunto dado so anti-simtricas?.
(a) Z, xRy se, e somente se, x = 2y;
(b) R, xRy se, e somente se, x = 2
y
.
13. Mostre que a relao R sobre N dada por aRb se, somente se, b = 2
k
, para algum k 0
inteiro de ordem parcial.
14. Dena a relao sobre RR por (a, b)R(x, y) se, e somente se, a x e b y. Mostre
que R de ordem parcial.
15. Seja C o conjunto dos nmeros complexos. Dena (a +bi)R(c +di) se, e somente se,
a
2
+b
2
c
2
+d
2
. R uma relao de ordem parcial?
CAPTULO 6
Funes
Uma funo f de um conjunto X em um conjunto Y uma relao que associa a cada elemento
x X exatamente um elemento y Y. Assim, uma funo f : X Y satisfaz duas condies:
(1) D( f ) = X;
(2) Se (x, y) f e (x, z) f , ento y = z.
Aqui D( f ) dito o domnio da funo f e o conjunto de Y dado por f (X) = Im( f ) = f (x) :
x X chamado imagem de f . Designamos o conjunto Y como o contra-domnio.
Exemplo 6.0.8. (1) Suponha que um conjunto universo X tenha sido especicado e que A
X. Dena
A
: X 0, 1 por
A
(x) = 1 se x A e
A
(x) = 0 se x , A.
A
chamada a
funo caracterstica de A.
(2) Denimos a funo maior inteiro como sendo a funo g : R Z dada por
g(x) = [[x]] = maior inteiro n tal que n x.
Seu grco tem o seguinte aspecto:
(3) Uma funo com domnio Npode ser chamada uma sequncia a : NRdada por a(n) =
a
n
. Por exemplo, a(n) =
1
n
tem imagem 1,
1
2
,
1
3
, .
(4) Se R uma relao de equivalncia sobre um conjunto X, ento a funo f : X X/R
que envia cada x X em sua classe f (x) = [x] chamada a aplicao cannica.
Observao 6.0.9. Muitas vezes. funes so dadas sem haver meno ao domnio. Nesse
caso, o domnio entendido como o maior subconjunto de R para o qual f est denida. Por
exemplo, para f (x) =
x
x2
, o domnio de f [0, ) 2 = D( f ).
Teorema 6.0.10. Duas funes f e g so iguais se, e somente se, D( f ) = D(g) e f (x) = g(x)
para todo x D( f ).
Exemplo 6.0.11. Consideremos as seguintes funes f : R R, g : R R
+
e h : R
+
R,
dadas por f (x) = x
2
, g(x) = x
2
e h(x) = x
2
, respectivamente.
Desde que cada funo uma relao, as operaes de composio e inverso so executa-
das do mesmo modo que o realizado para relaes. Assim, se f : A B, ento a relao inversa
f
1
dada por
f
1
=(x, y) : (y, x) f .
Se esta nova relao for uma funo ento dizemos que f invertvel e f
1
a sua inversa.
63
CAPTULO 6 FUNES 64
Exemplo 6.0.12. Para a funo f =(x, y) : y = 2x +1 RR, a inversa de f a funo
f
1
=(x, y) : (y, x) f =(x, y) : x = 2y +1 =(x, y) : y =
x 1
2
.
Contudo, para a funo g =(x, y) : y = x
2
R
+
R
+
, temos que a relao inversa
g
1
=(x, y) : (y, x) g =(x, y) : x = y
2
=(x, y) : y =
x
no uma funo. De fato, (1, 1), (1, 1) g
1
pois 1
2
= (1)
2
. Porm, 1 ,=1.
Seguindo o denido quando estudamos relaes, se f : A B e g : B C, ento a compo-
sio de f e g a relao
g f =(x, z) : para algum y B, (x, y) f e (y, z) g
=(x, z) : y B, f (x) = y e g(y) = z
=(x, z) : g( f (x)) = z.
Assim, denimos (g f )(x) = g( f (x)).
Exemplo 6.0.13. Se f (x) = sen(x) e g(x) = x
2
+6x, ento ( f g)(x) = f (g(x)) = sen(g(x)) =
sen(x
2
+6x) e (g f )(x) =g( f (x)) =sen
2
(x)+6sen(x). Este exemplo mostra que a composio
de funes no uma operao comutativa, isto , f g ,= g f para algumas funes f e g.
Observao 6.0.14. A composio de funes associativa, ou seja, se f : A B, g : B C
e h : C D, ento (h f ) g = h ( f g). Use a denio de composio para vericar que
essas funes so iguais.
Denio 6.0.15. Seja f : A B e seja D A. A restrio de f a D, denotada por f [
D
, a
funo f [
D
(x) = f (x) para todo x D.
Denio 6.0.16. Uma funo f : X Y dita ser injetiva (ou um a um) proposto que f
aplique elementos distintos de X em elementos distintos de Y, isto , se x ,= y em X, ento
f (x) ,= f (y) emY. A funo f dita ser sobrejetiva (ou sobre) proposto que cada elemento de
Y seja a imagem sob f de pelo menos um elemento de X, ou seja, para todo y Y existe x X
tal que f (x) = y.
Em outras palavras, uma funo f sobrejetiva se, e somente se, Im( f ) =Y.
Exemplo 6.0.17. (1) A funo f : R
+
0 R dada por f (x) =
x+1
x
injetiva, pois se
f (x) = f (y), ento
x+1
x
=
y+1
y
e da (x +1)y = (y +1)x. Portanto, x = y. Observe que a
forma mais prtica de mostrar a injetividade de uma funo f usar a contrapositividade.
Agora veriquemos que a funo f no sobrejetiva. Se este fosse o caso, teramos que
para todo y R existiria pelo menos um x R
+
0 tal que f (x) =y. Ou seja,
x+1
x
=y,
donde concluiramos que x =
1
y1
. Mas isso no vale para y = 1!
CAPTULO 6 FUNES 65
(2) Seja g : R R denida por g(x) = x
2
+1. Ento g no sobrejetiva, pois existem
elementos no contra-domnio que no tem pr-imagem no domnio. Por exemplo, para
cada y 0 no existe x R tal que g(x) =y j que g(x) =x
2
+1 1. A funo g tambm
no injetiva, pois g(1) = g(1), porm 1 ,=1.
(3) A funo f : ZZ Z dada por f (x, y) = xy sobrejetiva porque para todo y Z existe
(z, 1) ZZ tal que f (z, 1) = z 1 = z. Mas f no injetiva pois f (1, 1) = f (1, 1)
com (1, 1) ,= (1, 1).
(4) Seja h : NN N denida por h(m, n) = 2
m1
(2n 1). Para mostrarmos que h
sobrejetiva, considere s N. Devemos provar que existe (m, n) NNtal que h(m, n) =
s. Ora, se s par, ento podemos expressar s na forma 2
k
t, onde k 1 e t mpar.
Desde que t mpar, existe n N tal que t = 2n 1. Assim, para m = k +1 temos que
h(m, n) = 2
m1
(2n 1) = 2
k
t = s. Por outro lado, se s mpar, ento s = 2n 1 para
algum n N e da, tomanto m = 1 segue que h(m, n) = 2
m1
(2n 1) = s. Agora, a
funo h tambm injetiva. De fato, suponha h(m, n) = h(r, s) e m r (o caso m < r
tratado de forma semelhante). Ento 2
m1
(2n 1) = 2
r1
(2s 1) e isso implica que
2
mr
(2n1) = 2s 1. Como o lado direito mpar, seque que mr = 0, donde m = r.
Logo, 2n1 = 2s 1 fornece n = s e (m, n) = (r, s).
Vimos ento que funes podem aplicar elementos do domnio em elementos do contra-
domnio de muitas maneiras. Uma funo pode "atingir"cada elemento no contra-domnio ou
ela pode "errar"alguns. Ela pode associar mais que um x a y ou pode associar exatamente um
x a cada y. Quando uma funo simultaneamente injetiva e sobrejetiva, dizemos que ela
bijetiva.
Quinta Lista de Exerccios
1. Quais das seguintes relaes so funes?
(a) R =(x, y) RR : x = sen(y);
(b) S =(x, y) NN : x y;
(c) T =(x, y) ZZ : y
2
= x.
2. Para a funo real f dada por f (x) = x
2
1 responda:
(a) Qual a imagem de x = 5 sob f ?
(b) Qual a pr-imagem de 15?
3. Explique porque as funes f (x) =
9x
2
x+3
e g(x) = 3x no so iguais.
4. Para a aplicao cannica f : Z Z
6
encontre f (3) e a pr-imagem de [3].
5. Encontre f g e g f para cada par de funes f e g:
(a) f (x) = 2x +5 e g(x) = 67x;
CAPTULO 6 FUNES 66
(b) f (x) = sen(x) e g(x) = 2x
2
+1;
(c) f (x) = x+1, se x 0 e f (x) = 2x, se x > 0, e g(x) = 2x, se x 1 e g(x) =x, se
x >1.
6. Para qual das seguintes funes f a relao inversa f
1
uma funo? Quando f
1
for
uma funo escreva uma expresso explcita para f
1
(x).
(a) f (x) = 5x +2;
(b) f (x) =
x+1
x+2
;
(c) f (x) = e
x+3
;
(d) f (x) = sen(x).
7. Seja I um intervalo da reta real, e seja f uma funo de valor real com I D( f ). Dizemos
que f crescente sobre I se, e somente se, para todo x, y I, se x < y ento f (x) < f (y).
Dizemos que f decrescente sobre I se, e somente se, para todo x, y I, se x < y ento
f (x) > f (y). Prove que:
(a) f crescente sobre R, onde f (x) = 3x 7;
(b) f crescente sobre (3, ), onde f (x) =
x1
x+3
;
(c) g decrescente sobre I, onde g = h f , onde h decrescente e f crescente sobre
I.
8. Quais das seguintes funes so sobrejetivas, injetivas ou bijetivas? No caso de uma
bijeo, fornea f
1
:
(a) f : N NN, f (x) = (x, x);
(b) f : R R, f (x) = x
3
;
(c) f : R R, f (x) = cos(x);
(d) f : R R, f (x) = 2
x
;
(e) f : [2, 3) [0, ), f (x) =
x2
3x
;
(f) f : R
2
R
2
R, f ((x, y), (u, v)) = xu+yv. Voc reconhece essa funo?
(g) f : P(X) P(X), f (A) = X A.
9. Mostre que f : Z
4
Z
8
dada por f ([x]
4
) = [2x]
8
uma injeo, mas no uma bijeo.
10. Seja f (x) = x
2
+1. Encontre f ([1, 3]) e f
1
([1, 1]).
11. Seja f : R0 R dada por f (x) = x +
1
x
. Encontre f ( f
1
(R)).
12. Seja f : A B uma funo. Mostre que se X A e f injetiva, ento f (A X) =
f (A) f (X).
CAPTULO 6 FUNES 67
13. Seja f : A B e seja R a relao sobre A denida por xRy se, e somente se, f (x) = f (y).
Mostre que R uma relao de equivalncia.
14. Para cada r R seja A
r
=(x, y, z)R
3
: x
2
+y
2
+z
2
= r
2
. isto uma partio de R
3
? Se
sim, d uma descrio geomtrica dos conjuntos particionados.
15. Existe uma funo injetiva do intervalo aberto (0, 2) no intervalo aberto (0, 1)? Se sim,
explicite-a.
16. Seja f : R (1, 1) denida por f (x) =
x
1+[x[
. Mostre que f uma funo bijetiva.
17. Seja f : R
2
R denida por f (x, y) = x +y. Mostre que no existe funo g : R R
2
tal que g f = id
R
.
18. D um exemplo de uma funo no-nula f : R R tal que ( f f )(x) = 0 para todo
x R
2
. Pode uma tal funo ser injetiva? Sobrejetiva?
19. Sejam A, B,C e D conjuntos no-vazios. Sejam f : A B e g : C D funes. Mostre
que se f e g so bijetivas, ento H : AC BD denida por H(a, c) = ( f (a), g(c))
uma funo bijetiva.
20. Seja f : A B uma funo. Mostre que se f sobrejetiva, ento f
1
(b) : b B
particiona o conjunto A.
CAPTULO 7
Cardinalidade
Intuitivamente sabemos o que signica o tamanho de um conjunto nito, e, tambm intuiti-
vamente, parece claro que conjuntos nitos possuem tamanhos diferentes. O que dizer sobre
conjuntos innitos? Faz sentido discutir o tamanho de um conjunto innito? Galileo escreveu
no sculo dezessete que conjuntos innitos tem o mesmo tamanho. Um entendimento cor-
reto sobre o tamanho de conjuntos innitos foi dado por Cantor que desenvolveu a teoria dos
conjuntos.
Como determinar quando dois conjuntos tm o mesmo tamanho?
Denio 7.0.18. Sejam A e B conjuntos. Os conjuntos A e B tm a mesma cardinalidade,
denotado por A B, se existe uma funo bijetiva f : A B.
Note que a denio apenas nos fala da comparao entre dois conjuntos, mas no diz
nada sobre cada conjunto individualmente. imediato vericar as seguinte propriedades para
conjuntos A, B e C:
(1) A A;
(2) Se A B, ento B A;
(3) Se A B e B C, ento A C.
Exemplo 7.0.19. (1) O conjuntos dos nmeros naturais N = 1, 2, 3, e o conjuntos dos
quadrados S = 1, 4, 9, tm a mesma cardinalidade pois existe uma funo bijetiva
f : N S denida por f (n) = n
2
para todo n N (verique este fato! Quem a inversa
de f ?).
(2) O conjunto dos nmeros naturais N e o conjunto dos nmeros inteiros Z tm a mesma
cardinalidade. Uma funo bijetiva g : N Z denida por
g(n) =
_
n
2
, se n par
n1
2
, se n mpar.
(3) Sejam a, b, c, d R. Suponha que a < b e c < d. Mostraremos que os intervalos [a, b]
e [c, d] tm a mesma cardinalidade, independente dos tamanhos desses intervalos. Basta
vericar que a funo h : [a, b] [c, d] denida por
h(x) =
d c
ba
(x a) +c
para todo x [a, b] bijetiva. Um argumento anlogo mostra que os intervalos (a, b) e
(c, d) possuem a mesma cardinalidade.
68
CAPTULO 7 CARDINALIDADE 69

(4) Estendemos o exemplo anterior para vericarmos que qualquer intervalo aberto (a, b)
possui a mesma cardinalidade que toda a reta R. De fato, vimos no item anterior que
os intervalos (a, b) e (
2
,

2
) tm a mesma cardinalidade. Desde que a funo f :
(
2
,

2
) R dada por f (x) =tan(x) bijetiva, segue que (a, b) R.
Os exemplos revelam uma caracterstica comum aos conjuntos innitos (s vezes tomada como
denio): eles possuem um subconjunto prprio com a mesma cardinalidade.
Denio 7.0.20. Um conjunto nito se ele vazio ou tem a mesma cardinalidade que o
conjunto 1, 2, , n, para algum n N. Um conjunto innito se ele no nito. Um
conjunto enumervel (ou contvel) se ele nito ou tem a mesma cardinalidade que N. Um
conjunto no-enumervel (incontvel) se ele no enumervel.
O que no imediato nessa denio a existncia de conjuntos no-enumerveis. Para
isso faremos uso da cardinalidade do conjunto potncia.
Teorema 7.0.21 (Cantor). Seja A um conjunto. Ento A e P(A) no tm a mesma cardinali-
dade.
Demonstrao. Existem dois casos. Primeiro, se A = / 0, ento P(A) =/ 0 e, assim, no pode
existir uma funo bijetiva entre o conjunto unitrio P(A) e o conjunto vazio A. Logo, A e seu
conjunto potencia no tem a mesma cardinalidade.
Segundo, se A ,= / 0, ento suponha que A e P(A) tenham a mesma cardinalidade. Ou seja,
existe uma funo bijetiva f : A P(A) que associa cada elemento em A a um subconjunto
de A. Seja D = a A : a , f (a). Note que D A e, assim, D P(A). Desde que f
sobrejetiva, existe d A tal que f (d) =D. Ora, d D ou d ,D e em ambos os casos chegamos
a uma contradio. De fato, se d D, ento pela denio de D temos que d , f (d) = D. Por
outro lado, se d , D, ento d f (d) = D.
Consequentemente, N e P(N) no tem a mesma cardinalidade. Alm disso, P(N) no
nito, pois se esse fosse o caso, o subconjunto T = n : n N P(N) seria nito.
Contudo, evidente que T e N tm a mesma cardinalidade. Isto implicaria que N nito, o
que um absurdo. Conclumos ento que o conjunto P(N) no enumervel. Mas isto um
pouco abstrato. Como um exemplo mais palpvel, mostraremos mais frente que o conjunto
dos nmeros reais R no enumervel.
Para mostrarmos que um conjunto enumervel necessrio mostrar que ele nito ou
tem a mesma cardinalidade que N. Unicaremos estes dois casos no teorema seguinte, com a
vantagem que agora basta mostrar que uma determinada funo injetiva ou sobrejetiva, no
ambas, para vericarmos enumerabilidade.
Teorema 7.0.22. Seja A um conjunto no vazio. As seguintes armaes so equivalentes:
(a) O conjunto A enumervel;
(b) Existe uma funo injetiva f : A N;
(c) Existe uma funo sobrejetiva g : N A.
Demonstrao. (a) (b). Suponha que A enumervel. Existem dois casos, dependendo
de quando A nito ou tem a mesma cardinalidade de N. Se A nito, existe uma funo
bijetiva f : A 1, , n para algum n N, e assim existe uma funo injetiva f
: A N,
porque 1, , n N. Agora, se A tem a mesma cardinalidade que N, ento existe uma bijeo
h : A N e, consequentemente, uma injeo.
(b) (a). Suponha que existe uma funo injetiva f : A N.
So unies, intersees e produtos de conjuntos enumerveis sempre enumervel? A res-
posta sim para intersees, mas nem sempre para unies e produtos.
Teorema 7.0.23. Suponha que A e B so conjuntos enumerveis. Ento AB um conjunto
enumervel.
Demonstrao. Se A B ou B A, o resultado claro. Ento suponha que AB e BA
so ambos no vazios. Agora note que AB = A(BA) e A(BA) = / 0. Desde que
B A B, segue que B A enumervel. Alm disso, A e B A enumerveis implica a
existncia de funes bijetivas f : A N e g : BA N. Dena H : AB N por
H(x) =
_
2 f (x), se x A
2g(x) +1, se x BA.
Voc pode checar que a funo H est bem denida e injetiva. Logo, AB enumervel.
Observao 7.0.24. O teorema acima pode ser generalizado, de forma que, se I um conjunto
de ndices enumervel e A
i
iI
uma famlia de conjuntos enumerveis indexada por I, ento
iI
A
i
enumervel.
No prximo teorema, queremos mostrar que NN equivalente a N. Isto algo surpreen-
dente, uma vez que NN parece ser muito maior que N.
Teorema 7.0.25. O conjunto NN enumervel.
Demonstrao. Mostramos que NN enumervel por denir uma funo f : NN N
explicitamente. Ento denimos f (n, m) = 2
n
3
m
, para todo (n, m) NN. (Note que esta
funo no sobrejetiva, pois um nmero como 7 no est na imagem. Assim, no tentamos
mostrar que f uma bijeo entre NNe N). Como a fatorizao prima de um nmero natural
nica, a funo injetiva. Assim, temos uma aplicao injetiva f : NN N o que permite
concluirmos que NN enumervel.
Usamos o resultado acima para obtermos algo mais geral, no sentido que se A e B so
conjuntos enumerveis, ento AB enumervel. De fato, desde que existem funes f : A
N e g : B N injetivas, podemos denir uma funo h : AB NN por
h(x, y) = ( f (x), g(y))
que injetiva (verique isso!).
Como cada sistema de nmeros contm o conjunto dos nmeros naturais, todos eles so
innitos. A questo ento determinar quais so enumerveis e quais no so. J vimos que Z
enumervel. Em relao aos nmeros racionais, veremos mais uma vez que nossa intuio
falha, pois existem tantos nmeros racionais quanto nmeros naturais.
Teorema 7.0.26. O conjunto dos nmeros racionais Q enumervel.
Demonstrao. fbfbfb
O teorema nos diz que em princpio os elementos de Q podem ser alinhados em alguma
ordem, de forma que Q tem um primeiro elemento, um segundo elemento, e assim por diante,
embora este alinhamento no necessariamente esteja numa ordem crescente de tamanho. Na
gura abaixo vemos um diagrama, devido a Cantor, que sumariza um modo bem conhecido de
alinhar os nmeros racionais positivos.
At aqui parece que o mundo enumervel! Est na hora de dar um exemplo de um con-
junto no-enumervel. O prximo teorema mostra que o conjunto dos nmeros reais no-
enumervel.
Teorema 7.0.27. O conjunto R no-enumervel.
Demonstrao. jgjgjgj
Referncias Bibliogrcas
[1] Bloch, E. D., Proofs and Fundamentals - a rst course in abstract mathematics,
Springer (2011), New York.
[2] Chartrand G., Polimeni A. D. and Zhang P., Mathematical Proofs: a transition to
advanced mathematics, 2 edition, Pearson Education (2008).
[3] Cunningham, D. W., A Logical Introduction to Proof, Springer (2012), New York.
[4] Daepp, U. e Gorkin, P., Reading, Writing and Proving - a closer look at mathema-
tics, Springer (2011), New York.
[5] Garnier, R., 100% Mathematical Proof, John-Wiley & Sons (1996), New York.
[6] Houston, K., How to Think Like a Mathematician, Cambridge University Press
(2009), New York.
[7] Kenneth, R., Matemtica Discreta e suas Aplicaes, Mc-Graw Hill, Traduo da
6a. edio em ingls, 2009.
[8] Morais, D. C., Um Convite Matemtica, SBM (2012), Rio de Janeiro.
[9] Mortari, C. A., Introduo Lgica, Editora Unesp (2001), So Paulo.
[10] Smith, D.; Eggen, M. e Andre, R., A Transition to Advanced Mathematics, Cen-
gage Learning (2011), Boston.
72

Fundamentos de Matematica

Uploaded by

Document Information

Original Description:

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Fundamentos de Matematica

Uploaded by

Copyright:

Available Formats

Universidade Federal de Sergipe

Centro de Ciencias Exatas e Tecnologia

Desde que sobraramramos emque no encontramos contradies, conclumos que o argumento

2 so dois nmeros irracionais

: I uma famlia indexada de conjuntos e B um conjunto.

[x]. Reciprocamente, como cada [x] X, temos que

. Ento R uma relao de equivalncia sobre X e

, segue que para todo x X temos x A

para algum I, ento y, x A

e isto implica que yRx (simetria). Agora,

, segue por hiptese que A

: I. Seja [x] X/R. Desde que A

para algum I. Armamos que [x] =A

. De fato, se y [x] ento yRx,

. Por outro lado, se z A

e da zRx. Logo, z [x]. Portanto, [x] = A

. Por m, para mostrarmos que A

You might also like