Você está na página 1de 20

Iniciac

ao a
` Matema
tica

Michel Spira
June 24, 2010

Introdu
cao
A disciplina Iniciac
ao `
a Matem atica do Departamento de Matematica da UFMG tem o objetivo de
introduzir linguagem basica para o aluno do curso de Matematica. Estas notas pretendem ser o embri ao
de um texto para essa disciplina. Elas serao escritas a conta-gotas e distribudas aos alunos pela rede e no
xerox do ICEx. Sugestoes, correcoes e crticas de alunos e professores serao extremamente bem vindas.

1 L
ogica
Nosso interesse nessa secao e estudar a l
ogica proposicional, que e a linguagem que nos permite afirmar
que argumentos matematicos sao corretos ou incorretos.1

1.1 Proposic
oes, negac
ao e conectivos
Uma proposic ao e uma sentenca ou afirmativa `a qual se pode atribuir um valor verdade verdadeiro (v)
ou falso (f ) , mas nao ambos. Nao vamos filosofar aqui sobre o assunto, mas cabe notar que comandos,
perguntas e afirmativas contendo variaveis nao sao consideradas proposicoes.

Exemplo 1.1 As seguintes sentencas sao proposicoes:


Hoje e sexta-feira.
1 + 1 = 2.
5 < 3.
e racional.
As seguintes sentencas nao sao proposicoes:
Que horas sao?
Limpe o seu prato.
x2 = 7.

Proposicoes serao denotadas por letras min usculas p, q, r, s, . . . . Para criar novas proposicoes a partir
de antigas, usamos a negacao e os conectivos conjunc ao, disjunc
ao, condicional (tambem conhecido como
implica) e bicondicional (tambem conhecido como se e somente se).
Se p e uma proposicao, sua negacao e a proposicao p nao ocorre (ou algum equivalente verbal). A
negacao de p e denotada por p, lido nao p.

Exemplo 1.2 Se p e a proposicao 1 + 1 = 2 entao p e a proposicao 1 + 1 6= 2. Se q e a proposic


ao Hoje
e quinta entao p e a proposicao Hoje nao e quinta.

Os valores verdade de p e p estao relacionados pela seguinte tabela verdade:


p p
v f
f v
1 Para efeito de transpar
encia, declaro que a parte de l
ogica dessas notas foi desavergonhadamente adaptada, quando
nao literalmente copiada, do livro Discrete Mathematics and its Applications de Kenneth H. Rosen. Lembro que o pl agio

e a mais sincera forma de elogio.


A leitura dessa tabela (e outras que aparecerao a seguir) deve ser clara; vamos em frente. A conjunc
ao
de duas proposicoes p e q, dita p e q, e denotada por p q e definida por
p q pq
v v v
v f f
f v f
f f f

Exemplo 1.3 Se p e a proposicao Fui ao cinema e q a proposicao Fui ao teatro, entao p q e a


proposicao Fui ao teatro e ao cinema. Para que ela seja verdadeira, devo ter ido tanto ao cinema quanto
ao teatro; se nao fui a pelo menos um deles, ela e falsa.

Este exemplo deve deixar claro que a tabela correponde exatamente ao significado coloquial de e. A
ao de duas proposicoes p e q, notada por p q, e lida como p ou q, e definida por
disjunc
p q pq
v v v
v f v
f v v
f f f
Aqui temos um problema, pois em linguagem coloquial ou tem duas interpretacoes distintas, depen-
dendo do contexto. Para ver isso, consideremos primeiro a sentenca para fazer parte do nosso grupo
de estudos voce deve saber calculo ou algebra. Isso quer dizer quese alguem souber calculo ou algebra,
talvez os dois, pode entrar para o grupo. Ou seja, a ideia aqui e pelo menos um. Essa interpretacao
corresponde `a disjuncao, como definimos acima, e e habitualmente denotada por ou inclusivo.
Por outro lado, em com o sanduche voce pode escolher batatas fritas ou salada fica claro que e
permitido escolher exatamente uma das opcoes, mas nao as duas. Aqui temos o ou exclusivo, denotado
por e definido pela tabela
p q pq
v v f
v f v
f v v
f f f

Le-se p q como p xou q2 .


O conectivo condicional e denotado pelo smbolo e e definido pela tabela
p q pq
v v v
v f f
f v v
f f v

Exemplo 1.4 (1 + 1 = 2) (gatos miam) e verdadeira, bem como (1 + 1 = 3) (gatos miam) e


(1 + 1 = 3) (gatos latem); ja (1 + 1 = 2) (gatos latem) e falsa.

Le-se p q como p implica q, se p ent ao q, p e condicao suficiente para q, q e condicao necess


aria
para p, p so se q e q quando p, entre outras maneiras. Em p q dizemos que p e o antecedente, a
hipotese ou a condic
ao suficiente; q e dita a consequente, a tese ou a condic ao necess aria.
A pergunta e: de onde veio a tabela verdade de ? A resposta seca e dizer que ha exatamente 16
maneiras de substituir os pontos de interrogacao na tabela
p q pq
v v ?
v f ?
f v ?
f v ?
2 Terminologia inventada pelo autor, motivada pelo xor em ingl
es.
pelas letras v ou f. Cada uma dessas maneiras pode ser vista como a definic ao do valor verdade
de uma proposicao composta pq em funcao dos valores verdade de p e q. Ja demos os nomes p q,
p q e p q para tres dessas possveis colunas; sob esse ponto de vista, p q e apenas outro nome, que
inventamos para designar a coluna v,f,v,v.
Uma maneira mais amigavel de aproximar a definicao de da linguagem comum e pensar na
proposicao se fizer sol vamos nadar. Ela e verdadeira se fizer sol e formos nadar, e falsa se fizer sol e
nao formos nadar. Mas como atribuir valor verdade a ela se nao fizer sol? Certamente nao poderemos
dizer que ela e falsa e so nos resta a alternativa de considera-la verdadeira.
Para finalizar (e repetindo) notamos que decidir do valor verdade de p q deve ser dissociado de seus
correspondentes verbais; leia de novo exemplo 1.4. Deve-se evitar a associacao de implica com processos
dedutivos ou relacoes de causa e efeito, ou seja, quando assumimos que a hipotese e verdadeira. Nesse
contexto, pensamos apenas nas duas primeiras linhas da tabela de , as outras carecendo de sentido.
Ainda um pouco de terminologia. Chamando p q de direta, dizemos que q p e sua recproca e
q p sua contrapositiva.

Exemplo 1.5 A proposicao se T e um triangulo equilatero entao T e isosceles e verdadeira, mas sua
recproca e falsa. O mesmo se aplica a (1 + 1 = 3) (gatos miam).

Fechamos nossa lista de conectivos com o bicondicional, para o qual usamos o smbolo . A proposic ao
p q e lida como p se e somente se q ou p e condicao necessaria e suficiente para q, e sua tabela
verdade e
p q pq
v v v
v f f
f v f
f v v
Em outras palavras, p q e verdadeira quando p e q tem o mesmo valor verdade, e falsa caso contr
ario.

Exemplo 1.6 (1 + 1 = 2) (gatos miam) e verdadeira, bem como (1 + 1 = 3) (gatos latem); j


a
(1 + 1 = 2) (gatos latem) e (1 + 1 = 3) (gatos miam) sao falsas.

Para proposicoes compostas que envolvem mais de duas proposicoes, devemos discutir o problema de
uas3. Nessas notas
precedencia de operadores, caso contrario expressoes do tipo p q r seriam ambg
vamos procurar evitar ambig uidades usando parentesis, mas apenas para constar, registramos que na
literatura a ordem usual e , , , e .

1.2 Equival
encia
Uma tautologia (resp. contradic ao) e uma proposicao que e sempre verdadeira (resp. falsa), qualquer
que seja a escolha dos valores verdade das proposicoes que a compoe. Vamos denotar tautologias e
contradicoes pelas letras T e F, respectivamente.

ao p p e uma tautologia e p p e uma contradicao.


Exemplo 1.7 Se p e uma proposicao ent

Duas proposicoes compostas p e q sao equivalentes, notacao p q, se elas tem o mesmo valor verdade
para qualquer escolha dos valores verdade das proposicoes que as compoem. Notamos que n ao e um
conectivo; p q e uma maneira curta de dizer p q e uma tautologia.

Exemplo 1.8 Para mostrar que (p q) q p basta fazer a tabela verdade:


p q p q pq qp
v v f f v v
v f f v f f
f v v f v v
f v v v v v
e observar que as colunas de p q e q p sao iguais. Em outras palavras uma implicac
ao e sua
contrapositiva s
ao logicamente equivalentes.
3 O problema aqui
e o mesmo que em 2 + 3 4, que pode ser lido como 2 + (3 4) e (2 + 3) 4. A convenca
o habitual
de antes de + nos diz qual
e a leitura correta.
Entre outras equivalencias importantes, mencionamos as leis distributivas
p (q r) (p q) (p r) e p (q r) (p q) (p r)
e as leis de de Morgan
p q p q e p q p q.
Equivalencias tem, entre outras utilidades, a de simplificar proposicoes compostas complicadas, transformando-
as em proposicoes equivalentes mais simples.
Exemplo 1.9 Mostrar que p (p q) p q. Usando algumas equivalencias ja vistas e outras que
ficam a cargo do(a) leitor(a) demonstrar, temos

p (p q) p (p q)
p (p q)
p (p q)
(p p) (p q)
F (p q)
pq

1.3 Quantificadores
Sentencas4 do tipo x > 2 ou n e par envolvem uma vari avel x e n, respectivamente e um
domnio (de discurso) para essa variavel podemos pensar em R no primeiro caso e Z no segundo. Mais
precisamente, temos um domnio D e uma predicado ou func ao proposicional P , que a cada x em D
associa a sentenca P (x). No primeiro caso, P e maior que 2, e P (x) e x > 2; no segundo, podemos usar
Q para o predicado e par e entao Q(n) e n e par. Substituindo x por valores especficos no domnio
obtemos proposicoes; por exemplo, P (7) e verdadeira e Q(3) e falsa.
Mais geralmente, podemos ter predicados com mais de uma variavel e com domnios distintos para as
varia veis. Por exemplo, podemos usar P (x, y) para denotar x estuda y, onde x percorre os alunos do
ICEx e y as disciplinas oferecidas pelo Departamento de Matematica.
Seja D um domnio e P um predicado. A quantificac ao universal de P e a afirmativa de que P (x)
e verdadeira para todos os elementos de D; a notacao e xP (x), lida em voz alta como para todo x,
P (x) e verdadeira. A quantificac
ao existencial de P e a afirmativa de que P (x) e verdadeira para pelo
menos um elemento de D; notacao e xP (x), lida em voz alta como existe x tal que P (x) e verdadeira.
Observamos que a especificacao (ou suposicao tacita) do domnio de discurso e importante; por exemplo,
x(x mia) e verdadeira quando o domnio consiste de gatos (nao mudos), mas falsa quando o domnio e o
de todos os animais. E comum nao se explicitar o domnio, mas isto so e feito quando ha uma compreens
ao
tacita, baseada no bom senso ou acordada entre as partes, de qual e o domnio em consideracao.
Para que xP (x) seja falsa, basta que haja algum x no domnio tal que P (x) seja falsa; um tal x e
dito um contraexemplo para xP (x). Note que acabamos de mostrar5 que
xP (x) xP (x).
Do mesmo modo, para que xP (x) seja falsa, basta que nao exista x no domnio tal que P (x) seja
verdadeira, e acabamos de mostrar que
xP (x) xP (x).
Exemplo 1.10 Sejam D = R. Entao x(x > 0) e falsa; um contraexemplo (entre infinitos) e 1, pois
1 > 0 e falsa. Por outro lado, x(x > 0) e verdadeira, pois 1 > 0 e verdadeira (bem como 2 > 0 e
> 0); notamos que o fato de 1 > 0 ser falsa nao altera nossa conclusao. Se G e o domnio dos gatos
nao mudos, entao g(g mia) e verdadeiro, mas g(g late) e falso.
Notamos que, se nao dissermos qual e o domnio, as expressoes xP (x) e xP (x) nao sao proposic oes.
Quando o domnio e especificado, elas passam a se-lo e dizemos que a variavel x e ligada 6 ou que ela est
a
no escopo do quantificador em questao. O termo ligada tambem se aplica quando a x e atribudo um
valor especfico do domnio. Comentarios analogos valem para funcoes proposicionais com um n umero
qualquer de variaveis.
4 N
ao vamos elaborar sobre o significado de sentenca
5 Mais precisamente, estabelecer na base da conversa.
6 Do ingl
es bound. Quem souber de uma traduca o melhor, favor avisar.
Exemplo 1.11 A expressao g(g e branco) nao e uma proposicao, mas passa a se-lo quando especifi-
camos que g percorre o domnio D dos gatos. Nesse caso a variavel g passa a ser ligada, ou seja, ao ler g
pensamos em gatos. A expressao isolada g e branco nao e uma proposicao, mas fazendo g = Nina7 , g
passa a ser ligada e Nina e branca e uma proposicao (falsa pois a Nina e malhada).

Em Matematica e usual, dado um domnio D e um predicado P , usar !xP (x) (lido como existe um
u
nico x tal que P (x) e verdadeira) para substituir as duas afirmativas simultaneas (i) existe x tal
que P (x) e verdadeira (existencia) e (ii) se existem x e y em D tal que P (x) e P (y) sao verdadeiras
entao x = y (unicidade). Notamos que nao ha dependencia entre (i) e (ii); de fato, (ii) faz sentido
sem a necessidade de sabermos se xP (x) e verdadeira ou nao. Fica para o(a) leitor(a) mostrar que
!xP (x) (xP (x)) [xy(P (x) P (y)) (x = y))].
Essa ultima expressao merece dois comentarios. Primeiro, temos um exemplo de quantificadores
aninhados 8 cujo significado deve ser obvio. Tambem vemos x aparecer varias vezes, mas isso n ao
significa que e o mesmo x. Letras em expressoes logicas sao apenas marcadores de lugar; em vez de
usar apenas x e y, poderiamos ter escrito !rP (r) (sP (s)) [tu[(P (t) P (u)) (t = u)] e tudo
continuaria em seu lugar.

1.4 Regras de infer


encia
Regras de inferencia sao maneiras de gerar proposicoes verdadeiras a partir de proposicoes sabidamente
verdadeiras. Grosso modo, elas sao tautologias devidamente verbalizadas. Por exemplo, p (p q) e
uma tautologia, que lemos como se p e verdadeira entao p q e verdadeira; em outras palavras, de p
concluimos p q. Esta regra e conhecida pelo nome de adic ao e e representada pelo diagrama
p
pq
(adic
ao)

Esta e uma das regras de inferencia habituais; listamos outras a seguir , deixando para o(a) leitor(a)
escrever as tautologias correspondentes e proceder `a verbalizacao adequada. Em qualquer caso, dizemos
que as proposicoes acima do traco horizontal sao as hip
oteses e a proposicao abaixo do traco a tese ou
conclusao.
p p q
pq
q pq pq
p
pq q p
(simplificac
ao)
(conjunc
ao) (modus ponens) (modus tollens)
pq pq pq
qr p pr
pr q qr
(silogismo hipotetico) (silogismo disjuntivo) (resoluc
ao)

Vamos ilustrar essas regras.


adic
ao: Fui ao cinema, logo fui ao teatro ou ao cinema.
simplificac
ao: Fui ao cinema e ao teatro, logo fui ao cinema.
conjuncao: Fui ao cinema e fui ao teatro, logo fui ao cinema e ao teatro.
modus ponens: Vou sair e se saio como fora, logo vou comer fora.
modus tollens: Nao comi fora ontem e se saio como fora, logo nao sai ontem.
silogismo hipotetico: Se saio vou ao cinema e se vou ao cinema como fora, logo se saio como fora.
silogismo disjuntivo: Fui ao teatro ou ao cinema. Mas nao fui ao teatro, logo fui ao cinema.
resoluc
ao: Continuo `a procura de um exemplo que nao seja forcado.
Isso deve ser suficiente para mostrar que, apesar de seus nomes imponentes, as regras de inferencia nada
mais sao que metodos de raciocnio habituais.
Apresentamos a seguir regras de inferencia para proposicoes que envolvem quantificadores.
7 Nina
e o nome da gata de minha irm
a.
8 Do ingl
es nested.
xP (x) P (c) para qualquer c
P (c) xP (x)
(particularizac
ao universal ) (generalizac
ao universal )
xP (x) P (c) para algum c
P (c) para algum c xP (x)
(particularizac
ao existencial ) (generalizac
ao existencial )

A particularizacao universal diz que se c e um elemento conhecido, com nome e endereco, do universo
do discurso e xP (x) e verdadeira entao P (c) tambem e verdadeira. Isso deve ser claro, bem como a
particularizacao e a generalizacao existenciais. A generalizacao universal, no entanto, merece coment arios
mais detalhados.
A generalizacao universal diz que xP (x) e verdadeira se P (c) e verdadeira para um elemento qual-
quer 9 do domnio. Isso e difcil de assimilar por conta do significado difuso de qualquer, confrontado
com para todo. A ideia e pensar em qualquer como um membro do domnio do qual sabemos
apenas que esta no domnio. Em outras palavras, esse um nao deve ter nenhuma caracterstica es-
pecial que o distinga de algum outro elemento do domnio; ou seja, responde por todos. Em 1984 10 o
autor introduz o conceito de duplopensar, que devemos usar aqui: a expressao um qualquer n ao e
contraditoria.
Ainda sobre essa regra, um exemplo de forca bruta. Digamos que eu seja Deus11 . Se eu digo Garanto
que qualquer gato que voce encontrar e branco entao a generalizacao universal leva `a conclusao de que
todos os gatos sao brancos, pois afinal de contas eu sou omnisciente e infalvel. Note que fazer essa
afirmativa apenas sobre o gato do vizinho nao basta; o gato do vizinho nao e um elemento qualquer
do domnio dos gatos, pois ele se distingue dos demais gatos pela caracterstica de ser do vizinho. Em
particular, isso explica por que nao se pode mostrar que xP (x) e verdadeira mostrando que P (c) e
verdadeira para apenas alguns elementos c escolhidos do domnio; ao serem escolhidos, eles se tornam
distinguidos e deixam de ser representativos.
No frigir dos ovos, se isso parece um pouco esquizofrenico, e mesmo. Na pratica, regulamenta-se
a sinonimia entre para todo e para qualquer. A vantagem e que se pode comecar demonstracoes
com expressoes do tipo Seja x um elemento qualquer do domnio. . . e proceder como se esse x
representasse todos os x do domnio de uma so vez.
Seguem ilustracoes simples dessas regras.
particularizac
ao universal: Se todos os gatos sao brancos entao meu gato e branco.
generalizac
ao universal: Se qualquer gato e branco, entao todos os gatos sao brancos.
particularizac
ao existencial: Se existe pelo menos um gato branco entao existe um gato branco.
generalizac
ao existencial: Se meu gato e branco entao existe pelo menos um gato branco.
Ou seja, tambem nao temos nada de novo aqui; estamos apenas registrando modos habituais de pensa-
mento e expressao para referencia futura.
Como dissemos, as regras de inferencia sao apenas tautologias devidamente apresentadas. Vamos
agora apresentar dois erros comuns de raciocnio, chamados de fal acias; ambos sao baseados em con-
tingencias.
O primeiro chama-se afirmar a tese e vem da contingencia [(p q) q] p. Um exemplo e se voce
estudar, voce passa. Voce passou, logo voce estudou. O segundo diz-se negar a hip otese e e baseado na
contingencia [(p q) p] q; um exemplo e Se voce estudar, voce passa. Voce nao estudou, logo voce
nao passou. Deve estar claro que ambas as falacias equivalem a afirmar que se p q e verdadeira ent ao
a recproca q p tambem o e. Em logiques, temos

[(p q) q] p (q p) [(p q) p] q.

2 Argumentos
Uma seq uencia finita p1 , p2 , . . . , pn , q de proposicoes onde p1 , p2 , . . . , pn sao chamadas hip
oteses (em con-
junto, ditas a hipotese ou premissas) e q e chamada tese (ou conclus ao) e dito um argumento.

Exemplo 2.1 Abaixo temos um argumento; as duas primeiras proposicoes sao as premissas e a u
ltima
e a conclusao.
9 Ou ario ou gen
arbitr erico.
10 Do escritor ing
es George Orwell; leitura obrigat
oria.
11 N
ao sou.
Todos os leoes sao ferozes.
Alguns leoes nao bebem cafe.
Alguns animais ferozes nao bebem cafe.

Um argumento e v alido se a implicacao (p1 p2 . . . pn ) q e verdadeira, caso em que dizemos


que q segue (logicamente) de p1 , p2 , . . . pn . Estabelece-se a validade de um argumento atraves de uma
seq uencia de argumentos validos. Dito assim, parece que entramos descida infinita, mas lembramos que
ja temos uma lista de argumentos validos prontos para o uso, a saber, as regras de inferencia. Vamos a
um exemplo.

Exemplo 2.2 Mostrar que das hipoteses Hoje nao faz sol e este mais frio que ontem, So vamos nadar
se fizer sol, Se nao formos nadar vamos passear de canoa e Se formos passear de canoa vamos chegar
tarde em casa pode-se concluir que Vamos chegar tarde em casa. Para isso, consideremos as proposi-
coes p:Faz sol, q:Hoje faz mais frio do que ontem, r :Vamos nadar, s:Vamos passear de canoa e
t :Vamos chegar tarde em casa. Vamos ao trabalho.
1. p q (hipotese)
2. p (simplificac
ao a partir de 1.)
3. r p (hip otese)
4. r (modus tollens a partir de 2. e 3.)
5. r s (hip otese)
6. s (modus ponens a partir de 4. e 5.)
7. t (modus ponens a partir de 6. e 7.)

Exemplo 2.3 Sejam T (x):x e aluno dessa turma, L(x):x leu o livro e P (x):x passou. Mostrar que
as premissas Algum aluno dessa sala nao leu o livro, Todos nessa sala passaram levam `a conclus
ao
Algum aluno dessa sala passou sem ler o livro.

1. x[T (x) L(x)] (hip


otese)
2. T (a) L(a) (particularizac
ao existencial e 1.)
3. T (a) (simplificac
ao e 2. )
4. x[T (x) P (x) (hip
otese)
5. T (a) P (a) (particularizac
ao universal e 4.)
6. L(a) (simplificac
ao e 2.)
7. P (a) B(a) (conjunc
ao, 6. e 7.)
8. x[P (x) B(x)] (generalizac
ao existencial e 8.)

3 Definic
oes
Ja usamos v arias vezes as expressoes definimos, definido por e assim por diante; esta na hora de falarmos
um pouco mais sobre definicoes.
Uma definic ao e uma sentenca que descreve o significado de um termo12 . Em outras palavras, uma
definicao e uma sentenca que estabelece o significado de um novo termo, que acabamos de introduzir, em
funcao de termos mais antigos. Se isso parece um poco sem fundo, de fato e; para que ele tenha fundo,
temos as noc oes primitivas, mas nao e hora de entrar em muitos detalhes e continuamos com nossa vis ao
simples.
Podemos, e e bom faze-lo, enxergar uma definicao como uma nova entrada em um dicion ario de
termos que usamos em nosso trabalho, ou seja, nada mais que estabelecer sinonimos e/ou abreviacoes.
Por exemplo: um animal e dito um gato quando ele e roxo e tem tres patas. Desse modo, ao ouvir gato,
voce automaticamente pensara em animal roxo de tres patas. E claro que aqui estamos criando uma
convencao de uso bastante limitado, pois gato tem um significado diferente no mundo real. Mas se
o autor decretar13 que esse e o sentido que queremos dar a gato ao longo dessas notas, isso deve ser
aceito sem questionamento.
Outro exemplo e a definicao usual de n umeros pares e mpares: um n umero inteiro e par quando
existe um inteiro k tal que n = 2k, e mpar quando existe um inteiro k tal que n = 2k + 1.
Os dois exemplos acima devem deixar claro que os rotulos certo, verdadeiro ou errado, falso n ao
se aplicam a definicoes. Em outras palavras, nao se discorda de uma definicao, desde que se circunscreva
12 http://en.wikipedia.org/wiki/Definition
13 Ele n
ao o far
a.
claramente o ambiente de sua validade, quando restrito. Nossa definicao de gato teve validade restrita
ao paragrafo em que apareceu, enquanto a de n umeros pares e mpares e universal. Definicoes devem ser
criticadas apenas dos pontos de vista estetico, uso comum, utilidade e correspondencia com o ambiente
em que elas vao ser usadas, sem esquecer de sua coerencia interna. O(a) leitor(a) vai encontrar tudo isso
ao longo de sua carreira matematica, de modo que paramos por aqui com esse assunto.

4 Teoremas e demonstra
coes
A palavra teorema e sinonimo de argumento; a demonstrac ao de um teorema consiste na apresentacao
da correcao do argumento atraves de regras de inferencia. Para nosso consumo, podemos pensar que
teoremas sempre aparecem na forma p q ou entao podem ser expressos atraves de um n umero finito
de proposicoes desse tipo.
Notamos que se p e falsa entao o teorema p q e automaticamente verdadeiro; nesse caso dizemos
que o teorema e vazio. O mesmo vale quando q e verdadeira, caso em que dizemos que o teorema e trivial.
Ha varios metodos de demonstrar teoremas. A mais comum e supor a hipotese verdadeira e mostrar
que a tese tambem o e; uma demonstracao desse tipo e dita direta. Vamos a um exemplo.

ao n2 tambem e um inteiro mpar.


Teorema 4.1 Se n e um inteiro mpar ent

Demonstracao: Masoquistas escreveriam assim:


1. n = 2k + 1 (hip
otese e definic
ao)
2. n2 = 4k 2 + 4k + 1 (uma serie de teoremas verdadeiros para n
umeros inteiros)
3. n = 2(2k 2 + 2k) + 1 (idem)
4. 2k 2 + 2k e um n
umero inteiro (idem)
5. n2 e mpar (3. e definic
ao)
Pessoas normais como nos, no entanto, escreveriam como segue: como n e mpar, temos n = 2k + 1 para
algum k Z. Logo n2 = 4k 2 + 4k + 1 = 2(2k 2 + 2k) + 1, ou seja, n e mpar. 
Suponho que todos julgam a segunda maneira de escrever bem melhor. O ponto e dar fluencia `a exposicao
suprimindo a escrita de justificativas triviais que decorrem imediatamente de definicoes, resultados
conhecidos ou de argumentos de domnio p ublico. Isso deve ser feito com cuidado e levando em conta o
ublico alvo. Por exemplo, entre nos nao e necessario justificar a passagem n2 = 4k 2 + 4k + 1, mas talvez
p
fosse conveniente faze-lo para alunos do ensino fundamental e medio.
Outra maneira de demonstrar teoremas e usar uma demonstracao indireta, que nada mais e que
reenunciar o teorema como sua contrapositiva; lembramos, pela u ltima vez, que aqui usamos p q
q p.

Teorema 4.2 Se n2 e par ent


ao n e par.

Demonstracao: A contrapositiva e se n e mpar ent


ao n e mpar. Por sorte, esse e o teorema anterior,
que ja demonstramos. 
fato, escrever n2 = 2k n
Notamos que nesse teorema a demonstracao direta nao e aparente; de ao ajuda
(em princpio) a fazer algum comentario sobre n (o que fazer com n = 2k?).
Outra maneira usual de demonstrar teoremas e por absurdo ou contradic ao, descrita em logiques por

p q F p q.

Traduzindo, uma demonstracao por absurdo consiste em supor a hipotese verdadeira, negar a tese e
chegar a uma contradicao. Isso feito, concluimos que a tese e verdadeira. Podemos tambem pensar que a
implicacao p q F so e verdadeira quando p q e falsa. Se conseguirmos demonstra-la e como supomos
p verdadeira, q deve ser falsa, isto e, q deve ser verdadeira.
Vamos a um exemplo de uma demonstracao por absurdo.

Teorema 4.3 Se n2 e par ent


ao n e par.

Demonstrac
ao: Suponhamos, por absurdo, que n seja mpar. Entao n = 2k + 1 para algum k e temos

n2 = (2k + 1)2 = 4k 2 + 4k + 1 = 2(2k 2 + 2k) + 1.

Logo n2 e mpar, um absurdo pois n2 e par por hipotese. 


importante perceber que a demonstracao acima nada mais e que
E

(n2 par) (n mpar) (n2 par) (n2 mpar) F,

ou seja, p q p p F. Em geral, e isso que acontece em uma demonstracao por absurdo; ou


seja, falseia-se a hipotese que supomos verdadeira para comecar. Nesse caso, deve ser claro que n ao h
a
diferenca entre demonstracaos indiretas e por absurdo. Se admitirmos que a hipotese de qualquer teorema
e tudo o que sabemos verdadeiro anteriormente, entao podemos dizer que demonstracoes por absurdo e
indiretas sao exatamente a mesma coisa.
Uma das demonstracaos por absurdo classicas e a seguinte.

Teorema 4.4 2 e irracional.

Demonstrac ao: Suponhamos que 2 = ab , onde a, b N. Simplificando, podemos supor que mdc(a, b) = 1.
Temos entao a2 = 2b2 . Logo a2 e par e segue do teorema 4.3 que a e par, digamos a = 2c com c N.
Entao a2 = (2c)2 = 4c2 = 2b2 , ou seja, b2 = 2c2 . Logo b2 e par e, outra
vez pelo teorema 4.3, temos que
b e par; segue que mdc(a, b) 2, um absurdo pois mdc(a, b) = 1. Logo 2 e irracional. 
Se um teorema tem a forma (p1 p2 . . . pn ) q, ele pode ser demonstrado por casos, usando a
equivalencia
(p1 p2 . . . pn ) q (p1 q) (p2 q) . . . (pn q).
Como sempre, vamos a um exemplo.

ao n2 e da forma 8k + 1.
Teorema 4.5 Se n e mpar ent

ao: O algoritmo da divisao nos diz que n = 4q + r com q, r Z e 0 r < 4. Como n e mpar,
Demonstrac
devemos ter r = 1 ou r = 3. No primeiro caso, temos

n2 = (4q + 1)2 = 16q 2 + 8q + 1 = 8(2q 2 + q) + 1,

que e mpar. No segundo caso temos

n2 = (4q + 3)2 = 16q 2 + 24q + 9 = 8(2q 2 + 3q + 1) + 1,

que tambem e mpar. 


Poderiamos tambem ter dividido essa u
ltima demonstracao em quatro casos diferentes, a saber n = 8k+1,
n = 8k + 3, n = 8k + 5 e n = 8k + 7 e depois demonstrar o teorema em cada um desses casos.
Fazemos isso abaixo para apresentar uma tecnica de exposicao que costuma reduzir bastante o trabalho
em demonstracoes por casos.
Demonstrac
ao: (outra do teorema 4.5) Suponhamos n = 8k + 5. Entao

n2 = (8k + 5)2 = 64k 2 + 80k + 25 = 64k 2 + 80k + 24 + 1 = 8(8k 2 + 10k + 3) + 1

e da forma 8k + 1. Os outros casos sao an


alogos. 
O uso de analogo ao final da demonstracao indica que os outros casos sao demonstrados de maneira
identica, salvo mudancas obvias. Notamos que n = 8k + 1 nao seria uma boa escolha para depois
argumentar por analogia; de fato, esse caso nao tem o truque 25 = 24 + 1.
Em teoremas da forma p q, e habitual dividir a demonstracao em duas partes: a direta p q e a
recproca q p.

Teorema 4.6 Mostre n e par se e somente se n2 e par

Demonstrac ao: Suponhamos primeiro que n seja par, isto e, n = 2k para algum k Z. Entao n2 = 4k 2 =
2(2k ) e par. Reciprocamente, suponhamos n2 par; nesse caso o teorema 4.3 nos mostra que n tambem
2

e par. 
Mais geralmente, e comum encontrar teoremas cujo enunciado e do tipo mostrar que as afirmativas
p1 , p2 , . . . , pn sao equivalentes, ou seja, que pi pj para todos os pares i, j. Idealmente, teoremas nessa
forma sao demonstrados usando o esquema p1 p2 , p2 p3 , . . . , pn1 pn e pn p1 14 .
14 Qual
e a regra de infer
encia que est
a sendo usada aqui?
Teorema 4.7 Mostre que as seguintes afirmativas s
ao equivalentes:
p1 : n e par
p2 : n 1 e mpar
p3 : n2 e par

Demonstracao: Vamos mostrar que p2 p1 p3 p2 15 .


p2 p1 : temos n 1 = 2k + 1, donde n = (n 1) + 1 = (2k + 1) 1 = 2k e par.
p1 p3 : esse e o teorema 4.3.
p3 p2 : observamos que se n2 e par entao n2 1 e mpar. Como n2 1 = (n 1)(n 1) e um
produto mpar so tem fatores mpares segue que n 1 e mpar. 
Chegamos agora a demonstracaos de existencia e unicidade. Aqui nossos teoremas sao da forma
p xP (x) no primeiro caso e p !xP (x). Vamos a exemplos.

Teorema 4.8 Mostre que existe um inteiro positivo que pode ser escrito como soma de cubos de duas
maneiras diferentes.

ao: Basta escrever 1729 = 13 + 123 = 93 + 103 .


Demonstrac 
Uma demonstracao desse tipo e dita construtiva, pois exibe explicitamente um objeto com as propriedades
requeridas. Quando a existencia e provada abstratamente, isto e, sem um exemplo concreto, dizemos que
temos uma demonstracao n ao construtiva; um exemplo segue.

umeros irracionais x e y tais que xy e racional.


Teorema 4.9 Existem n
2
Demonstracao: Sabemos do teorema 4.4 que 2 e irracional. Seja r = 2 . Se r e racional ent
ao o
2
teorema esta provado com x =y = 2. Se r e irracional entao r 2 = 2 = 2 e racional e o teorema
esta provado com x = r e y = 2. 

Note que ficamos sem saber qual entre r e r 2 e racional; a demonstracao diz apenas que um deles e, com
certeza, racional. Uma outra demonstracao classica, que afirma apenas a existencia do objeto procurado
sem exib-lo, e a seguinte.

umeros primos.16
Teorema 4.10 Existem infinitos n

Demonstrac ao: Vamos mostrar que se p1 , p2 , . . . , pn sao primos entao existe um primo distinto de todos
eles. Para isso, consideremos o n
umero r := p1 p2 . . . pn + 1. Pelo teorema fundamental da Aritmetica, r
possui um divisor primo p; claramente p e diferente de p1 , p2 , . . . , pn . 
Essa demonstracao e devida a Euclides (300 a.c.) e e considerada uma das mais belas de toda a
Matematica.

5 Conjuntos
5.1 Generalidades
Disse Cantor17 : Um conjunto e uma colecao M , vista como um todo, de objetos definidos e separados
de nossa intuicao ou pensamento. Esses objetos sao ditos os elementos de M .18 Vamos rezar por isso;
em particular, as ideias de conjunto, elemento e da relacao de pertinencia serao consideradas primitivas,
isto e, vamos supor que todos pensamos a mesma coisa quando essas palavras forem mencionadas.
Um conjunto deve ser pensado como um agrupamento de objetos, que podem ser qualquer coisa
numeros, cores, formas geometricas ou elefantes. Conjuntos serao denotados por letras mai usculas
A, B, C, . . . , R, S, . . .. Elementos serao denotados por letras min
usculas a, b, c, . . . , r, s, . . .. Finalmente, a
relacao de pertinencia sera indicada pelo smbolo ; a expressao a A le-se como a pertence a A ou
a esta em A.
15 Escolhemos essa ordem por conveni
encia pessoal, outras s
ao evidentemente possvieis.
16 Qual
e a hipotese desse teorema?
17 George Ferdinand Ludwig Philipp Cantor (18451918), matem atico russo que nos contou que alguns infinitos s
ao maiores
que outros.
18 Tradu
cao livre.
Dizemos que A B, lido como A e um subconjunto de B ou A est a contido em B, quando x(x
A x B); em portugues, A esta contido em B quando todo elemento de A tambem e um elemento
de B. Dizemos que A = B quando (A B) (B A); em portugues, A = B quando eles possuem os
mesmos elementos. Para referencia futura, destacamos o seguinte mantra: em princpio, para mostrar
que dois conjuntos sao iguais deve-se mostrar que um esta contido no outro e que o outro esta contido
no um.
A inclus opria A ( B, dita A esta propriamente contido em ou e um subconjunto pr
ao pr oprio de
B, indica que A esta contido em B e que existe pelo menos um elemento de B que nao est a em A.
Finalmente, usamos A * B para indicar que A nao e subconjunto de B.
Ha essencialmente duas maneiras de indicar conjuntos. Uma e dita explcita e consiste em listar todos
os elementos do conjunto, colocando a lista entre chaves.

Exemplo 5.1 A = {1, 2, 3} indica o conjunto que consiste dos elementos 1, 2 e 3.

Claramente, a notacao explcita traz problemas quando queremos lidar com conjuntos com muitos ele-
mentos. Por exemplo, e masoquismo listar todos os elementos do conjunto B dos n umeros inteiros de 1 a
100. Nesse caso, B = {1, 2, 3, . . . , 99, 100} e um compromisso razoavel, os pontinhos indicando voce sabe
o que esta aqui, eu estou com preguica de escrever. Analogamente, o conjunto Z dos n umeros inteiros
pode ser indicado por Z = {. . . , 3, 2, 1, 0, 1, 2, 3, . . .}, embora a questao aqui envolva algo mais alem
de preguica.
Resumindo, a notacao explcita tem utilidade limitada. No caso geral, o procedimento e considerar um
conjunto universo U que contem todos os elementos relevantes no momento e uma funcao proposicional
P em U (visto como domnio); denotamos entao por {x U | P (x)} o conjunto dos x U tais que P (x)
e verdadeira. Essa maneira de indicar conjuntos e dita implcita. Quando o universo e claro, escrevemos
apenas {x | P (x)}; quando quisermos concentrar nossa atencao em elementos de um subconjunto A U ,
escreveremos {x A | P (x)}.

Exemplo 5.2 Com U = R, o conjunto A = {1, 2, 3} pode ser indicado por A = {x Z | 1 x 3}.

Um breve comentario sobre notacao. Costuma-se dizer que um conjunto nao pode ter elementos
iguais. Supostamente, isso quer dizer que ao explicitar os elementos de um conjunto, nao devem aparecer
elementos repetidos; por exemplo, {a, a, b} esta errado. A questao se resolve de maneira bem simples.
De fato, consideremos o conjunto {a, a}; nossa definicao de igualdade mostra que {a, a} = {a}. Vamos
assim que o ponto nao e se e permitido ou nao repetir elementos, mas que faze-lo e perda de tempo.19
Um conjunto interessante e o conjunto vazio, definido como = {x | x }. Essa definicao quer dizer
que x(x 6 ); em portugues claro, o conjunto vazio nao possui elementos. Notamos que o uso de o
conjunto vazio em vez de um conjunto vazio nao e, ainda, justificado; para que ele o seja, deve-se mostrar
que se 1 e 2 sao vazios entao 1 = 2 20 .
No que se segue usaremos figuras como a que aparece abaixo, conhecidas como diagramas de Venn 21 ,
para visualizar relacoes entre conjuntos. Nela aparecem as seguintes informacoes: a A, b 6 A e A ( U .
b

b
U

A b
b

a b

5.2 Operac
oes com conjuntos
Nosso objetivo agora e mostrar como fabricar novos conjuntos a partir de conjuntos velhos. Para isso,
sejam A e B conjuntos; definimos
19 Mais tarde, em um curso de An alise Combinat oria, ser
ao encontrados os multiconjuntos, em que elementos aparecem
dotados de multiplicidades, ou seja, o numero de vezes em que se repete cont em informaca
o. Nossos conjuntos s
ao apenas
multiconjuntos em que todos os elementos t em multiplicidade 1.
20 A teoria de conjuntos
e cheia desses detalhes o
bvios que devem ser demonstrados como exerccio de escrita.
21 Assim nomeados por conta de seu inventor, o matem atico ingl
es John Venn (1834 1923).
a uniao: A B = {x | (x A) (x B)}
a intersec
ao: A B = {x | (x A) (x B)}
a diferenca: A B = {x | (x A) (x 6 B)}
a diferenca simetrica: AB = (A B) (B A)
o complementar : Ac = U A = {x | x 6 A}
Os diagramas de Venn correspondentes a essas operacoes aparecem a seguir, com as regioes relevantes
em cinza.

A B A B A B

AB AB AB

A B A

AB Ac

Propriedades dessas operacoes podem ser encontradas na lista de exerccios correspondente. Para consumo
local e exemplos de demonstracoes, destacamos as leis distributivas

A (B C) = (A B) (A C) e A (B C) = (A B) (A C)

e as leis de de Morgan
(A B)c = Ac B c e (A B)c = Ac B c .
Vamos a algumas demonstracoes.

Exemplo 5.3 Vamos mostrar que AB A. Para isso, seja x AB, ou seja, (x A) e (x B); segue
entao que x A e fim. Observamos que a justificativa desse segue entao e uma de nossas inferencias, a
saber, a simplificacao: (x A) (x B) (x A). Detalhes desse tipo nao serao sempre mencionados
no que segue, mas o(a) aluno(a) deve estar preparado(a) para fornece-los a qualquer momento.

Exemplo 5.4 Vamos mostrar que (A B)c = Ac B c . Comecamos com (A B)c Ac B c . Seja
x (A B)c ; entao x 6 (A B), ou seja, x 6 A e x 6 B. Logo x Ac B c . Reciprocamente, seja
x Ac B c . Entao x 6 A e x 6 B, ou seja, x 6 A B. Logo x 6 A B.
Alternativamente, usando as proposicoes a : x A e b : x B, podemos traduzir x 6 A como a e
x 6 B como b. Nessa linguagem, o que queremos provar e a b a b,o que ja fizemos na secao 1.

Exemplo 5.5 Vamos mostrar que A (B C) = (A B) (A C). Como temos uma igualdade de
conjuntos, o esquema e imediato: mostrar que o lado esquerdo esta contido no lado direito e vice-versa.
Para mostrar que A (B C) (A B) (A C), consideramos primeiro x A (B C). Temos
entao (x A) ou [(x B) e (x C)]22 , o que e o mesmo que x A e x B ou x A ou x C, ou seja,
x (A B) (A C). A inclusao inversa e obtida percorrendo-se esse argumento de tras para a frente.
Essa demonstracao deve parecer familiar, e de fato e. Para ver isso, sejam a, b e c as proposicoes
x A, x B e x C, respectivamente. Vimos na secao 1 que a (b c) (a b) (a c), ou seja,
a (b c) (a b) (a c) e uma tautologia; isso e exatamente o que queramos mostrar.
22 Note que essa sentenca
e ambgua; para torn
a-la precisa, seria necess
ario um par de par
entesis.
Exemplo 5.6 Vamos mostrar que AB A se e somente se B A. Em linguagem habitual, a demons-
tracao procede como segue (por exemplo). Supomos primeiro que AB A e queremos mostrar que
B A. Como AB = (A B) (B A), segue que B A A; logo B A = , ou seja, B A. Para
a inclusao recproca, suponhamos B A. Entao B A = e segue que AB = (A B) (B A) =
(A B) = A B A.
Em linguagem de logica, consideramos as proposicoes a e b como nos exemplos anteriores. A igualdade
proposta e equivalente a   
a b (a b) a (b a) .
 
Usando a equivalencia (p q) (p q), e imediato reduzir essa expressao a b a b a , e o
trabalho acabou.
Notamos que na demonstracao acima foram usados implicitamente os seguintes fatos: (X Y Z)
(X Z), (X Y X) (X Y ) e X = X. Como sempre, fatos elementares desse tipo n ao s
ao
mencionados pois isso tornaria a exposicao excessivamente pesada.

Esperamos ter deixado claro que as propriedades elementares das operacoes entre conjuntos e suas
relacoes com inclusao e igualdade (em particular, todos os exerccios da 4a lista) podem ser expressas e
trabalhadas em linguagem de logica. Nos exemplos acima, procuramos mostrar que essa linguagem pode
ser usada para, `as vezes, substituir e simplificar os repetitivos argumentos do tipo Seja x A. Ent ao
.... Isso e muito bom quando os conjuntos com que trabalhamos sao abstratos. Quando lidamos com
conjuntos com nome, endereco e cpf, no entanto, e claro que as coisas nao sao sempre assim, pois temos
que lidar com descricoes explcitas desses conjuntos. Vamos a um exemplo.

Exemplo 5.7 Vamos trabalhar no plano. A mediatriz m do segmento AB e a reta perpendicular a esse
segmento e que passa pelo seu ponto medio M . Definimos l = {P | P A = P B}, isto e, l e o conjunto dos
pontos equidistantes de A e B 23 . Queremos mostrar que l = m; para isso, devemos mostrar que l m
e m l. O resto da demonstracao usa argumentos geometricos que dependem diretamente da descricao
dos conjuntos l e m.

l
b X b X

A b b b
B A b b b
B
M M
Figura 1 Figura 2

Comecamos com l m. Seja X l, como na figura 1. Entao os triangulos XM A e XM B sao congruentes,


pois sao retangulos com um cateto e hipotenusa iguais. Logo XA = XB, ou seja, X l. Seja agora
X l, como na figura 2. Entao XA = XB e segue que os triangulos XM A e XM B sao congruentes,pois
\
tem tres lados iguais. Em particular, temos XM A = XM\ B e como XM \ \
A + XM B = 180 segue que
\
XM A = XM \ B = 90 . Logo X l, donde m l e acabamos de mostrar que m = l.

Para terminar essa secao, algumas palavras sobre contraexemplos. Tomemos como exemplo achar um
contraexemplo para A (B C) = (A B) (A C). Isso pode ser feito por tentativa e erro, mas um
metodo bem mais rapido e usar diagramas de Venn, como indicamos na figura a seguir.
23 Tamb
em conhecido como o lugar geom
etrico dos pontos equidistantes de A e B.
A B A B

C C
A (B C ) (A B ) (A C )
A observacao da figura
0 mostra que se inventarmos conjuntos A, B e C tais que haja um elemento (o
ponto preto `a direita) em A B que nao esteja em A B C, teremos o nosso contraexemplo. Isso e
facil; por exemplo, A = {a, b}, B = {b} e C = . Nesse caso, temos A (B C) = {a}, A B = {a}
e A C = {a, b} e entao A (B C) = {a} (A B) (A C) = {a, b}. Notamos que e necess ario
exibir explicitamente um contraexemplo; a figura ajuda, mas nao prova nada.
A figura indica ainda que, em geral, temos A (B C) (A B) (A C), A (B C) =
(A B) (A C) e (A B) (A C) = A (A B C). As demonstracoes ficam para o(a) leitor(a).

5.3 O produto cartesiano


Conjuntos n ao embutem a nocao de ordem; de fato, {a, b} = {b, a}, ou seja, nao faz sentido dizer que
a e o primeiro elemento de {a, b} e b o segundo, ou vice-versa. Em particular, de {a, b} = {c, d} n ao e
possvel afirmar que a = c e b = d. Para introduzir ordem nas regras do jogo, procedemos como segue.
Dados conjuntos A e B, o produto cartesiano A B e o conjunto de pares ordenados {(a, b) | a
A e b B}; o par ordenado (a, b) e definido por (a, b) = {{a}, {a, b}}. Vamos agora mostrar a propriedade
fundamental que esperamos de pares ordenados.

Teorema 5.1 (a, b) = (c, d) se e somente se a = c e b = d.

Demonstrac ao: Se a = c e b = d entao {a} = {c}, {b} = {d} e {a, b} = {c, d}. Logo {{a}, {a, b}} =
{{b}, {c, d}}, ou seja, (a, b) = (c, d). Reciprocamente, suponhamos (a, b) = (c, d), ou seja, {{a}, {a, b}} =
{{c}, {c, d}}; temos dois casos a considerar. No primeiro, {a} = {c}; aqui a = c e segue de {a, b} = {c, d}
que b = d. No segundo caso temos {a} = {c, d}. Aqui segue que a = c = d e entao (c, d) = {c}, ou seja,
(c, d) = {{c}}. Logo {b} = {c}, donde a = b = c = d e segue que (a, b) = (c, d). 
A moral dessa curta secao e que a nocao de ordem pode ser criada exclusivamente dentro da teoria de
conjuntos. Fica para o(a) leitor(a) definir o produto cartesiano de tres ou mais conjuntos.

6 Rela
coes
Essa secao sera escrita oportunamente.

7 Func
oes
Sejam A e B conjuntos. Uma relacao f de A em B e uma funcao quando para qualquer x A existe
um unico (x, y) f . Usamos a notacao f : A B nessa situacao. Se (x, y) f dizemos que y e a
imagem de x por f e escrevemos y = f (x); informalmente, dizemos que y e o valor de f em x. Dizemos
tambem que x e a contraimagem de y. Os conjuntos A e B sao chamados, respectivamente, de domnio
e contradomnio de f .
A afirmativa y = f (x) e usualmente representada como segue.

A B

f
x b b
y
b
ao por flechas 24 .
Vamos nos referir a representacoes desse tipo como representacb

Exemplo 7.1 Sejam A = {1, 2, 3} e B = {r, s}. Definimos f : A B por f (1) = r, f (2) = s e f (3) = s.
O desenho aqui e

A B
f
1 b

b r
2 b

b s
3 b

Exemplo 7.2 Seja A um conjunto. Definimos 1A : A A por 1A (x) = x para qualquer x. Essa funcao,
apesar de nao fazer absolutamente nada, e importante e merece um nome especial: ela e dita a identidade
de A.

Exemplo 7.3 Sejam A = B = R e f : A B dada por f (x) = x2 . Nesse caso, temos uma regra ou
formula que nos permite, dado um ponto do domnio, saber qual a sua imagem. Do ponto de vista
formal (isto e, vendo funcoes como conjuntos) temos f = {(x, x2 ) | x R}; o melhor desenho aqui e o
grafico habitual no plano cartesiano

x2 b

Notamos que a representacao dessa funcao por flechas certamente nao e muito conveniente.

Observamos que a definicao formal de funcao que demos acima e necessaria para colocar em linguagem
precisa a expressao habitual uma funcao e uma regra que faz corresponder a cada elemento de A um
b
u
nico elemento de B; com ela, b evitamos o uso de termos vagos b
como regra e corresponde aou
associa. A ideia b de funcao como
b
regra n
ao e necessaria (para a definicao) e substitui-se a express
ao y
corresponde a x por y = f (x). Notamos que f no exemplo 7.1 nao e dada por uma regra25.
De qualquer modo, uma vez feito esse comentario, nada nos impede de usar linguagem informal e
dizer que uma funcao e um objeto que associa a cada elemento do domnio um u nico elemento do
contradomnio. As figuras a seguir negam o um e o unico dessa ultima sentenca, oferecendo assim
exemplos prototpicos de nao funcoes.

A B A B
b
b

b
b

b b

elemento sem imagem elemento com mais


de uma imagem

Voltemos a um pouco de formalidade. Definimos funcoes como relacoes, isto e, como subconjuntos de
produtos cartesianos. Desse modo, a igualdade de funcoes nao precisa ser definida, pois ja sabemos
24 Terminologia inventada pelo autor.
25 Pode-se,
e claro, dizer que uma vez que f
e descrita completamente ent
ao ela passa a ser sua pr
opria regra, mas isso
e
arguir a posteriori e n
ao vamos nos preocupar com miudezas desse tipo.
quando dois conjuntos sao iguais. O(a) leitor(a) pode verificar que se f : A B e g : C D sao funcoes
entao f = g se e somente se A = C, B = D e f (x) = g(x) para todo x A. Depois disso, podemos
esquecer para sempre que funcoes sao conjuntos e trabalhar com nosso conceito informal de funcao, como
no paragrafo anterior.
Para terminar essa subsecao, um pouco de notacao e nomenclatura. Seja f : A B uma funcao. Se
C A, definimos a imagem de C por f (C) = {f (x) | x C}, ou seja, o conjunto dos elementos de B
que sao imagens de elementos de A; em particular, f (A) e dita a imagem de f e denotada por Im(f ). Se
y B definimos a imagem inversa de y por f 1 (y) = {x A | f (x) = y}, ou seja, o conjunto das imagens
inversas de y. Finalmente, se D B definimos a imagem inversa de D por f 1 (D) = {x A | f (x) D},
ou seja, o conjunto dos elementos de A cuja imagem esta em D.
Uma palavra de cautela. Em geral, f 1 remete inconscientemente ao conceito de func ao inversa, que
veremos adiante. Essa e outra infelicidade notacional consagrada pela pratica. Por enquanto, enfatizamos
que o f 1 usado acima nao tem nada a ver com funcoes inversas e deve ser considerado apenas como
mais uma notacao.

Exemplo 7.4 Sejam A = {a, b, c, d, e}, B = {1, 2, 3, 4, 5}, C = {b, c, d, e}, D = {3, 4} e f : A B como
na figura.

A B
ab Im(A)
C
bb
b
1
1
f (D ) f (C )
b
2
f 1 (3 )
b 3 D
cb
b
4
d b

e b

b
5

Indicamos na figura f (C) = {2, 3, 4}, Im(A) = {1, 2, 3, 4}, f 1 (D) = {c, d, e}, f 1 (3) = {c, d}, f 1 (1) =
{a} e f 1 (5) = .

7.1 Composic
ao de func
oes
Sejam f : A B e g : B C funcoes. O desenho abaixo mostra como definir uma nova funcao
g f : A C; explicitamente, definimos (g f )(x) = g(f (x)).

A B C
f g

x b b
b g(f (x ))
f (x )

g f

Reforcamos um ponto que pode ter passado despercebido: essa construcao so faz sentido quando o
contradomnio de f e o domnio de g; desse modo, f g so faz sentido no caso C = A.

Exemplo 7.5 Sejam G o conjunto dos gatos, P o conjunto das pessoas e A o conjunto das letras do alfa-
beto. Definimos f : A B por f (g) = dono de g 26 e g : B C por f (p) = inicial do primeiro nome de p.
Entao g f : G A e a funcao que associa a cada gato a inicial do primeiro nome de seu dono.

Exemplo 7.6 Sejam f, g : R R funcoes dadas por f (x) = cos x e g(x) = ex . Entao (g f )(x) =
g(f (x)) = g(cos x) = ecos x .
26 Para efeito desse exemplo, supomos que todos os gatos t
em dono.
Uma infelicidade notacional e que f e g aparecem em g f na ordem oposta `a que aparecem no
desenho e tambem `a ordem natural primeiro f , depois g; isso e uma consequencia do fato de lermos
da esquerda para a direita e da notacao funcional f (x) com x `a direita de f 27 . Notamos tambem que o
smbolo nao quer dizer grande coisa; gf seria bom o suficiente, mas haveria o perigo de confus ao com
multiplicacao, de modo que vamos nos ater `a notacao habitual.
Sejam agora f : A B, g : B C e h : C D funcoes. Podemos entao construir h (g f ) : A D
e (h g) f : A D. Vamos mostrar que essas funcoes sao iguais. Como elas tem o mesmo domnio e o
mesmo contradomnio, basta mostrar que elas assumem o mesmo valor para qualquer x A. E, de fato,
temos
[h (g f )](x) = h((g f )(x)) = h(g(f (x))) = (h g)(f (x)) = [(h g) f ](x) .
Mostramos assim que a composicao de funcoes e associativa.
No resultado a seguir mostramos que, para funcoes A B, a funcao 1A e uma identidade `
a direita e
1B e uma identidade
a esquerda com relacao `a composicao de funcoes.

Teorema 7.1 Seja f : A B uma func ao f 1A = f e 1B f = f .


ao. Ent

ao: Seja x A. Entao (f 1A )(x) = f (1A (x)) = f (x), ou seja, f 1A = f . De modo an


Demonstrac alogo
mostra-se que 1B f = f . 

7.2 Func
oes injetoras e sobrejetoras
Seja f : A B uma funcao. Dizemos que f e injetora se pontos distintos tem imagens distintas; em
matematiques, isso e o mesmo que f (x) = f (x ) x = x ou, equivalentemente, x 6= x f (x) 6= f (x ).
Dizemos que f e sobrejetora se todo y B e imagem de algum x A, isto e, se y B e qualquer ent ao
existe x A tal que y = f (x). Finalmente, dizemos que f e bijetora se ela e injetora e sobrejetora.
De modo mais visual, podemos dizer que uma funcao e injetora se flechas que partem de pontos
distintos do domnio chegam em pontos distintos do contradomnio, e sobrejetora se todos os pontos
do contradomnio recebem uma flecha. Vamos aos desenhos.

A B A B
b
f f
b
b
b

b
b
b b

b b

funcao injetora funcao sobrejetora

Notamos que no desenho `a esquerda temos uma funcao que e injetora mas nao sobrejetora; a` direita
temos uma funcao que e sobrejetora mas nao injetora. Fica para o(a) leitor(a) fazer um desenho de uma
funcao que nao seja nem injetora nem sobrejetora.

Exemplo 7.7 Seja f : R R dada por f (x) = x2 . Como f (2) = f (2) = 4, segue que f nao e injetora.
E como nao existe x tal que f (x) = 1, segue que f nao e sobrejetora.

Exemplo 7.8 Seja f : Z Z dada por f (n) = 2n. Essa f e injetora; de fato, se f (m) = f (n) temos
2m = 2n, donde m = n. Por outro lado, nao existe n Z tal que f (n) = 3; logo f nao e sobrejetora.

Exemplo 7.9 Seja f : Z N dada por f (n) = |n|. Aqui f nao e injetora, pois f (1) = 1 = f (1). Por
outro lado, f e sobrejetora, pois para qualquer m N temos m = f (m).

No caso particular de funcoes R R, injetividade e sobrejetividade podem ser interpretadas em termos


de graficos. Uma funcao f : R R nao e injetora quando alguma reta horizontal corta seu gr afico em
dois pontos e nao e sobrejetora quando alguma reta horizontal nao corta seu grafico. Ilustramos isso a
seguir com o grafico de nossa velha amiga f : R R dada por f (x) = x2 . Observamos que ela n ao e
injetora pois a reta horizontal pelo ponto (0, 4) corta o grafico em dois pontos distintos, correspondentes
a x = 2. Ela tambem nao e sobrejetora, pois a reta horizontal pelo ponto (0, 1) nao corta o gr afico.
27 Algebristas, que sabem das coisas, escrevem (x)f ; se us
assemos essa notaca
o, a composta de f e g seria f g e o mundo
ficaria bem mais bonito.
4

2 2
1
Deve ter ficado claro que a pergunta relevante e dado y B, quantos x A sao tais que y = f (x)?; em
outras palavras, dado y B queremos saber quantas flechas chegam em y. Em outras palavras (vers ao 2),
queremos saber quantas sao as solucoes x da equacao y = f (x). Vamos analisar possveis respostas.
1. se para todo y houver pelo menos uma solucao, f e sobrejetora
2. se existe y para o qual nao haja solucao, f nao e sobrejetora.
3. se para todo y houver no maximo uma solucao, f e injetora
4. se existe y para o qual haja mais de uma solucao, f nao e injetora.
5. se para todo y a resposta for exatamente um, f e bijetora.
Vamos a exemplos.

Exemplo 7.10 Seja A o conjunto dos alunos da UFMG, B o conjunto de primeiros nomes e f : A B
definida por f (x) = primeiro nome de x. Notamos primeiro que f nao e injetora, pois a equacao f (x) =
Jo
ao certamente tem mais de uma solucao; isto e, a UFMG tem pelo menos dois alunos cujo primeiro
nome e Joao (eu conheco muitos). Alem disso, f nao e sobrejetora, pois f (x) = Altrof ando nao tem
solucao (podem conferir no DRCA).

Exemplo 7.11
Seja f : R R dada por f (x) = (2x + 7)3 . Resolvendo a equacao y = (2x + 7)3 para x,
3 y7
obtemos x = 2 ; como todos os passos da resolucao sao inversveis, conclumos que para todo y essa
equacao tem uma unica solucao, ou seja, f e bijetora.

Breve digress ao: Vamos explicar a expressao como todos os passos da resolucao sao inversveis, usada
no exemplo anterior.
Consideremos a equacao x = 2, que possui apenas a solucao 2. Elevando os dois lados ao quadrado
e simplificando obtemos x2 = 4, que alem da raiz original possui tambem a raiz 2. Vemos assim que,
ao manipular algebricamente uma equacao, podem aparecer razes da equacao manipulada que n ao s
ao
razes da equacao original.
Para entender o que esta acontecendo, vamos repetir o raciocnio do paragrafo anterior em c amara
lenta. Ele comeca com Suponhamos que exista x tal que x = 2. Entao. . . e acaba com Logo x = 2.
Ou seja, supondo que existam razes concluimos que elas so podem ser 2, mas e so. Apenas o teste
direto permite decidir quais delas sao efetivamente razes da equacao original.
O problema, em geral, e que uma transformacao algebrica efetuada no processo de resolucao de uma
equacao pode nao ser reversvel, isto e, pode nao ser possvel retornar ao estado anterior. Voltando a
y = (2x + 7)3 , os passos (um pouco resumidos) da resolucao acima sao
3 y 7
3
y = (2x + 7) 2x + 7 = y x =
3
2
e todos sao reversveis. Ja em x = 2, o passo

x = 2 x2 = 4

nao e reversvel, pois de x2 = 4 nao e possvel recuperar x = 2.


Qual e entao o procedimento correto? Simples: resolver alegremente a equacao sem se preocupar
com nada28 . Se suas transformacoes algebricas forem todas reversveis, nao ha mais o que fazer; caso
28 Bem, nem tanto. Alguns procedimentos, como multiplicar ou dividir por fatores que podem ser eventualmente nulos,

podem trazer s
erias dores de cabeca.
contrario, e necessario testar as solucoes encontradas na equacao original e descartar as fantasmas.
Fim da breve digress ao.
Para terminar essa secao, vamos demonstrar um resultado simples para uso posterior.

Teorema 7.2 Sejam f : A B e g : B C func


oes.
1. Se g f e injetora ent
ao f e injetora.
2. Se Se g f e sobrejetora ent
ao g e sobrejetora.

Demonstrac ao: (1) Sejam x 6= x A. Por hipotese, temos (g f )(x) 6= (g f )(x ), ou seja, g(f (x)) 6=
g(f (x )). Segue que f (x) 6= f (x ), ou seja, f e injetora.

(2) Seja y B. Por hipotese, existe x A tal que (g f )(x) = y, isto e, g(f (x)) = y, e segue que g e
sobrejetora. 

8 Func
oes inversas
Vamos assumir, para efeito de conversa, que uma funcao f : A B e um objeto que desenha, para
qualquer x A, uma flecha que vai de x ate um ponto denominado f (x) B. Nosso interesse e saber
quando e possvel inverter a direcao das flechas e obter uma nova funcao g : B A. Em outras palavras
(e sem preocupacao com rigor) em vez de saber como calcular a imagem dex A, estamos interessados
em saber como recuperar a imagem inversa de y B.

A B
f
x b b y

Supondo que essa g exista, deve estar claro que g(f (x)) = x e f (g(y)) = y, ou seja, (g f )(x) = x e
(f g)(y) = y, para quaisquer x A e y B. Concluimos que g f = 1A e f g = 1B . Como 1A
e bijetora, logo injetora, segue da primeira igualdade e do teorema 7.2 que f e injetora; analogamente,
a segunda igualdade nos mostra que f e sobrejetora. Acabamos de concluir que se g existe ent ao f e
uma bijecao; ou seja, essa discussao so faz sentido quando f e bijetora. Essa conclusao tambem segue
imediatamente por observacao dos exemplos de nao funcao dados no incio dessa secao.
Suponhamos entao que f seja uma bijecao; definimos g : B A por g(y) = x quando y = f (x).
Como f e uma bijecao segue que para qualquer y B existe um u nico x A tal que f (x) = y. Desse
modo, g associa a cada y B um u nico x A, ou seja, g e uma funcao.
As contas do paragrafo anterior mostram que g f = 1A e f g = 1B . Cabe perguntar se existe
outra funcao h : B A com essas mesmas propriedades; esse e o nosso proximo resultado.

Teorema 8.1 Sejam f : A B e g, h : B A func


oes tais que g f = h f = 1A e f g = f h = 1B .
Ent
ao g = h.

Demonstrac
ao: Basta escrever
h = 1A h = (g f ) h = g (f h) = g 1B = g . 

Resumindo, temos o seguinte resultado.

Teorema 8.2 Seja f : A B uma func ao. Entao existe g : B A tal que g f = 1A e f g = 1B s e
e somente se f for bijetora. Nesse caso g e u
nica e e definida por g(y) = x quando y = f (x). 

Como a funcao g desse teorema e u nica, podemos dar a ela um nome e uma notacao especfica: ela e dita
a inversa de f e passara a ser denotada por f 1 . Cabe aqui lembrar que a notacao f 1 ja foi usada para
definir imagens inversas de funcoes nao necessariamente bijetoras; em geral, o contexto deve deixar claro
se estamos falando de funcoes inversas ou imagens inversas, de modo que nao ha o risco de confus ao.
De qualquer modo, supondo que f e uma bijecao, temos agora as agradaveis expressoes f 1 f = 1A e
f f 1 = 1B , ou seja, f 1 (f (x)) = x e f (f 1 (x)) = x.
Aproveitamos para oferecer uma motivacao para o uso da notacao para funcoes inversas, baseada
na analogia da composicao de funcoes e a multiplicacao de numeros reais. Primeiro notamos que as
expressoes f 1A = f e 1B f = f mostram que a composicao com a funcao identidade29 funciona como
ao por 1. Podemos entao interpretar as expressoes f 1 f = 1A e f f 1 = 1B como sendo
a multiplicac
analogas `as expressoes multiplicativas a a1 = a1 a = 1. Essa e uma boa analogia, mas deve ser
levada com cuidado, pois as situacoes sao bem distintas; a composicao nao e comutativa e apenas funcoes
especiais possuem inversas.

Exemplo 8.1 Seja f : R R dada por f (x) = 3x + 2. E imediato que f e uma bijecao. Sua inversa vem
y2
da solucao de y = 3x+2, quando obtemos x = 3 , ou seja, g(x) = x2 3 . Usamos x propositalmente nessa
u
ltima expressao para enfatizar que letras nao sao importantes; tudo ficaria na mesma se escrevessemos
g(s) = s23 .

Se f : I R e inversvel, onde I e um intervalo da reta, podemos fazer o grafico de f 1 facilmente a


partir do grafico de f . Para isso, lembramos que se y = f (x) entao f 1 (y) = x, como vemos a seguir.

x = f 1 (y) b b

y = f (x) b
b

b
b

y x

Observando que os pontos (x, y) e (y, x) s ao simetricos com relacao `a diagonal principal, fica claro que o
grafico de f 1 e o simetrico do grafico de f com relacao a essa diagonal. Na figura abaixo ilustramos essa
ideia com o grafico (aproximado) da funcao f dada por f (x) = x(1 cos x), definida em um intervalo no
qual ela e uma bijecao; o grafico de f aparece em traco mais forte e o de f 1 em pontilhado.

Observamos de passagem que mostrar que essa funcao e de fato inversvel (em um intervalo adequado)
nao e imediato; para isso, e conveniente usar metodos de Calculo.
Para finalizar essa secao, fazemos duas observacoes simples sobre funcoes inversas. Primeiro, tomemos
f : A B inversvel. As expressoes f 1 f = 1A e f f 1 = 1B nos mostram que f 1 e inversvel e que
1
sua inversa e f , ou seja, f 1 = f . Mais uma vez vemos aqui a analogia entre composicao de funcoes
1
e multiplicacao, no caso com a expressao multiplicativa a1 = a.
Suponhamos agora que f : A B e g : B C sejam bijecoes. Entao g f : A C e uma bijecao e
(g f )1 = f 1 g 1 . De fato,
 
f 1 g 1 (g f ) = f 1 g 1 g f = f 1 1B f = f 1 f = 1A

e analogamente temos (gf ) f 1 g 1 = 1B . A analogia aqui e melhor com a multiplicacao de matrizes
quadradas de mesma ordem: se M e N sao inversveis entao M N e inversvel e (M N )1 = N 1 M 1 .

29 Aten
cao: h
a um abuso de linguagem aqui. N
ao
e correto dizer a funca
o identidade, pois se X 6= Y ent
ao evidentemente
1X 6= 1Y .