o a ` Matema tica Iniciac a

Michel Spira June 24, 2010

Introdu c ao
A disciplina Inicia c ao ` a Matem atica do Departamento de Matem atica da UFMG tem o objetivo de introduzir linguagem b asica para o aluno do curso de Matem atica. Estas notas pretendem ser o embri ao de um texto para essa disciplina. Elas ser ao escritas a conta-gotas e distribu das aos alunos pela rede e no xerox do ICEx. Sugest oes, corre c oes e cr ticas de alunos e professores ser ao extremamente bem vindas.

L ogica

Nosso interesse nessa se c ao e estudar a l ogica proposicional, que e a linguagem que nos permite armar que argumentos matem aticos s ao corretos ou incorretos.1

1.1

Proposi c oes, nega c ao e conectivos

Uma proposi c ao e uma senten ca ou armativa ` a qual se pode atribuir um valor verdade verdadeiro (v) ou falso (f ) , mas n ao ambos. N ao vamos losofar aqui sobre o assunto, mas cabe notar que comandos, perguntas e armativas contendo vari aveis n ao s ao consideradas proposi c oes. Exemplo 1.1 As seguintes senten cas s ao proposic oes: Hoje e sexta-feira. 1 + 1 = 2. 5 < 3. e racional. As seguintes senten cas n ao s ao proposic oes: Que horas s ao? Limpe o seu prato. x2 = 7. Proposi c oes ser ao denotadas por letras min usculas p, q , r, s, . . . . Para criar novas proposi c oes a partir de antigas, usamos a nega c ao e os conectivos conjun c ao, disjun c ao, condicional (tamb em conhecido como implica ) e bicondicional (tamb em conhecido como se e somente se ). Se p e uma proposi c ao, sua nega c ao e a proposi c ao p n ao ocorre (ou algum equivalente verbal). A nega c ao de p e denotada por p, lido n ao p. Exemplo 1.2 Se p e a proposic ao 1 + 1 = 2 ent ao p e a proposic ao 1 + 1 = 2. Se q e a proposic ao Hoje e quinta ent ao p e a proposic ao Hoje n ao e quinta. Os valores verdade de p e p est ao relacionados pela seguinte tabela verdade : p v f p f v

1 Para efeito de transpar encia, declaro que a parte de l ogica dessas notas foi desavergonhadamente adaptada, quando n ao 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 aparecer ao a seguir) deve ser clara; vamos em frente. A conjun c ao de duas proposic oes p e q , dita p e q , e denotada por p q e denida por p v v f f q v f v f pq v f f f

Exemplo 1.3 Se p e a proposic ao Fui ao cinema e q a proposic ao Fui ao teatro, ent ao p q ea proposic ao Fui ao teatro e ao cinema. Para que ela seja verdadeira, devo ter ido tanto ao cinema quanto ao teatro; se n ao fui a pelo menos um deles, ela e falsa. Este exemplo deve deixar claro que a tabela correponde exatamente ao signicado coloquial de e. A disjun c ao de duas proposic oes p e q , notada por p q , e lida como p ou q , e denida por p v v f f q v f v f pq v v v f

Aqui temos um problema, pois em linguagem coloquial ou tem duas interpreta c oes distintas, dependendo do contexto. Para ver isso, consideremos primeiro a senten ca para fazer parte do nosso grupo de estudos voc e deve saber c alculo ou algebra. Isso quer dizer quese algu em souber c alculo ou a lgebra, talvez os dois, pode entrar para o grupo. Ou seja, a id eia aqui e pelo menos um. Essa interpreta ca o corresponde ` a disjun c ao, como denimos acima, e e habitualmente denotada por ou inclusivo. Por outro lado, em com o sandu che voc e pode escolher batatas fritas ou salada ca claro que e permitido escolher exatamente uma das op c oes, mas n ao as duas. Aqui temos o ou exclusivo, denotado por e denido pela tabela p v v f f q v f v f pq f v v f

L e-se p q como p xou q 2 . O conectivo condicional e denotado pelo s mbolo e e denido pela tabela p v v f f q v f v f pq v f v v

Exemplo 1.4 (1 + 1 = 2) (gatos miam) e verdadeira, bem como (1 + 1 = 3) (gatos miam) e (1 + 1 = 3) (gatos latem); j a (1 + 1 = 2) (gatos latem) e falsa. L e-se p q como p implica q , se p ent ao q , p e condi c ao suciente para q , q e condi c ao necess aria para p, p s o se q e q quando p, entre outras maneiras. Em p q dizemos que p e o antecedente, a hip otese ou a condi c ao suciente ; q e dita a consequente, a tese ou a condi c ao necess aria. A pergunta e: de onde veio a tabela verdade de ? A resposta seca e dizer que h a exatamente 16 maneiras de substituir os pontos de interroga c ao na tabela p v v f f
2 Terminologia

q v f v v

p q ? ? ? ?

inventada pelo autor, motivada pelo xor em ingl es.

pelas letras v ou f. Cada uma dessas maneiras pode ser vista como a deni c ao do valor verdade de uma proposi c ao composta pq em fun c ao dos valores verdade de p e q . J a demos os nomes p q , p q e p q para tr es dessas poss veis 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 amig avel de aproximar a deni c ao de da linguagem comum e pensar na proposi c ao se zer sol vamos nadar. Ela e verdadeira se zer sol e formos nadar, e falsa se zer sol e n ao formos nadar. Mas como atribuir valor verdade a ela se n ao zer sol? Certamente n ao poderemos dizer que ela e falsa e s o nos resta a alternativa de consider a-la verdadeira. Para nalizar (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 associa c ao de implica com processos dedutivos ou rela c oes de causa e efeito, ou seja, quando assumimos que a hip otese 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 rec proca e q p sua contrapositiva. Exemplo 1.5 A proposic ao se T e um tri angulo equil atero ent ao T e is osceles e verdadeira, mas sua rec proca 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 s mbolo . A proposic ao pq e lida como p se e somente se q ou p e condi c ao necess aria e suciente para q , e sua tabela verdade e p v v f f q v f v v pq v f f v

Em outras palavras, p q e verdadeira quando p e q t em 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) s ao falsas. Para proposic oes compostas que envolvem mais de duas proposi c oes, devemos discutir o problema de preced encia de operadores, caso contr ario express oes do tipo p q r seriam amb g uas3. Nessas notas vamos procurar evitar ambig uidades usando par entesis, mas apenas para constar, registramos que na literatura a ordem usual e , , , e .

1.2

Equival encia

Uma tautologia (resp. contradi c ao ) e uma proposic ao que e sempre verdadeira (resp. falsa), qualquer que seja a escolha dos valores verdade das proposi c oes que a comp oe. Vamos denotar tautologias e contradi c oes pelas letras T e F, respectivamente. Exemplo 1.7 Se p e uma proposic ao ent ao p p e uma tautologia e p p e uma contradi c ao. Duas proposic oes compostas p e q s ao equivalentes, nota c ao p q , se elas t em o mesmo valor verdade para qualquer escolha dos valores verdade das proposi c oes que as comp oem. 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 v v f f q v f v v p f f v v q f v f v pq v f v v qp v f v v

e observar que as colunas de p q e q p s ao iguais. Em outras palavras uma implica c 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 conven ca o habitual de antes de + nos diz qual e a leitura correta.

Entre outras equival encias 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 Equival encias t em, entre outras utilidades, a de simplicar proposic oes compostas complicadas, transformandoas em proposic oes equivalentes mais simples. Exemplo 1.9 Mostrar que p (p q ) p q . Usando algumas equival encias j a vistas e outras que cam a cargo do(a) leitor(a) demonstrar, temos p q p q e p q p q.

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

1.3

Quanticadores

Senten cas4 do tipo x > 2 ou n e par envolvem uma vari avel x e n, respectivamente e um dom nio (de discurso) para essa vari avel podemos pensar em R no primeiro caso e Z no segundo. Mais precisamente, temos um dom nio D e uma predicado ou fun c ao proposicional P , que a cada x em D associa a senten ca 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 ent ao Q(n) e n e par. Substituindo x por valores espec cos no dom nio obtemos proposic oes; por exemplo, P (7) e verdadeira e Q(3) e falsa. Mais geralmente, podemos ter predicados com mais de uma vari avel e com dom nios distintos para as vari a 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 Matem atica. Seja D um dom nio e P um predicado. A quantica c ao universal de P e a armativa de que P (x) e verdadeira para todos os elementos de D; a nota c ao e xP (x), lida em voz alta como para todo x, P (x) e verdadeira. A quantica c ao existencial de P e a armativa de que P (x) e verdadeira para pelo menos um elemento de D; nota c ao e xP (x), lida em voz alta como existe x tal que P (x) e verdadeira. Observamos que a especica c ao (ou suposi c ao t acita) do dom nio de discurso e importante; por exemplo, x(x mia) e verdadeira quando o dom nio consiste de gatos (n ao mudos), mas falsa quando o dom nio eo comum n de todos os animais. E ao se explicitar o dom nio, mas isto s o e feito quando h a uma compreens ao t acita, baseada no bom senso ou acordada entre as partes, de qual e o dom nio em considera c ao. Para que xP (x) seja falsa, basta que haja algum x no dom nio 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 n ao exista x no dom nio tal que P (x) seja verdadeira, e acabamos de mostrar que xP (x) xP (x). Exemplo 1.10 Sejam D = R. Ent ao x(x > 0) e falsa; um contraexemplo (entre innitos) 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 n ao altera nossa conclus ao. Se G e o dom nio dos gatos n ao mudos, ent ao g (g mia) e verdadeiro, mas g (g late) e falso. Notamos que, se n ao dissermos qual e o dom nio, as express oes xP (x) e xP (x) n ao s ao proposic oes. Quando o dom nio e especicado, elas passam a s e-lo e dizemos que a vari avel x e ligada 6 ou que ela est a no escopo do quanticador em quest ao. O termo ligada tamb em se aplica quando a x e atribu do um valor espec co do dom nio. Coment arios an alogos valem para fun c oes proposicionais com um n umero qualquer de vari aveis.
4 N ao

vamos elaborar sobre o signicado de senten ca precisamente, estabelecer na base da conversa. 6 Do ingl es bound. Quem souber de uma tradu ca o melhor, favor avisar.
5 Mais

Exemplo 1.11 A express ao g (g e branco) n ao e uma proposic ao, mas passa a s e-lo quando especicamos que g percorre o dom nio D dos gatos. Nesse caso a vari avel g passa a ser ligada, ou seja, ao ler g pensamos em gatos. A express ao isolada g e branco n ao e uma proposic ao, mas fazendo g = Nina7 , g passa a ser ligada e Nina e branca e uma proposic ao (falsa pois a Nina e malhada). Em Matem atica e usual, dado um dom nio 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 armativas simult aneas (i) existe x tal que P (x) e verdadeira (exist encia ) e (ii) se existem x e y em D tal que P (x) e P (y ) s ao verdadeiras ent ao x = y (unicidade ). Notamos que n ao h a depend encia entre (i) e (ii) ; de fato, (ii) faz sentido sem a necessidade de sabermos se xP (x) e verdadeira ou n ao. Fica para o(a) leitor(a) mostrar que !xP (x) (xP (x)) [xy (P (x) P (y )) (x = y ))]. Essa u ltima express ao merece dois coment arios. Primeiro, temos um exemplo de quanticadores aninhados 8 cujo signicado deve ser obvio. Tamb em vemos x aparecer v arias vezes, mas isso n ao signica que e o mesmo x. Letras em express oes l ogicas s ao 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 infer encia s ao maneiras de gerar proposi c oes verdadeiras a partir de proposi c oes sabidamente verdadeiras. Grosso modo, elas s ao tautologias devidamente verbalizadas. Por exemplo, p (p q ) e uma tautologia, que lemos como se p e verdadeira ent ao p q e verdadeira; em outras palavras, de p concluimos p q . Esta regra e conhecida pelo nome de adi c ao e e representada pelo diagrama p pq

(adi c ao )

Esta e uma das regras de infer encia habituais; listamos outras a seguir , deixando para o(a) leitor(a) escrever as tautologias correspondentes e proceder ` a verbaliza c ao adequada. Em qualquer caso, dizemos que as proposic oes acima do tra co horizontal s ao as hip oteses e a proposic ao abaixo do tra co a tese ou conclus ao. pq p
(simplica c ao )

p q pq pq p q

p pq q
(modus ponens )

q pq p
(modus tollens )

(conjun c ao )

pq qr pr

(silogismo hipot etico )

(silogismo disjuntivo )

pq pr qr

(resolu c ao )

Vamos ilustrar essas regras. adi c ao: simplica c ao: conjun c ao: modus ponens: modus tollens: silogismo hipot etico: silogismo disjuntivo: resolu c ao: Fui ao cinema, logo fui ao teatro ou ao cinema. Fui ao cinema e ao teatro, logo fui ao cinema. Fui ao cinema e fui ao teatro, logo fui ao cinema e ao teatro. Vou sair e se saio como fora, logo vou comer fora. N ao comi fora ontem e se saio como fora, logo n ao sai ontem. Se saio vou ao cinema e se vou ao cinema como fora, logo se saio como fora. Fui ao teatro ou ao cinema. Mas n ao fui ao teatro, logo fui ao cinema. Continuo ` a procura de um exemplo que n ao seja for cado.

Isso deve ser suciente para mostrar que, apesar de seus nomes imponentes, as regras de infer encia nada mais s ao que m etodos de racioc nio habituais. Apresentamos a seguir regras de infer encia para proposic oes que envolvem quanticadores.
7 Nina 8 Do

e o nome da gata de minha irm a. ingl es nested.

xP (x) P (c)
(particulariza c ao universal )

P (c) para qualquer c xP (x)

(generaliza c ao universal )

xP (x) P (c) para algum c

(particulariza c ao existencial )

P (c) para algum c xP (x)

(generaliza c ao existencial )

A particulariza c ao universal diz que se c e um elemento conhecido, com nome e endere co, do universo do discurso e xP (x) e verdadeira ent ao P (c) tamb em e verdadeira. Isso deve ser claro, bem como a particulariza c ao e a generaliza c ao existenciais. A generaliza c ao universal, no entanto, merece coment arios mais detalhados. A generaliza c ao universal diz que xP (x) e verdadeira se P (c) e verdadeira para um elemento qualquer 9 do dom nio. Isso e dif cil de assimilar por conta do signicado difuso de qualquer, confrontado com para todo. A id eia e pensar em qualquer como um membro do dom nio do qual sabemos apenas que est a no dom nio. Em outras palavras, esse um n ao deve ter nenhuma caracter stica especial que o distinga de algum outro elemento do dom nio; ou seja, responde por todos. Em 1984 10 o autor introduz o conceito de duplopensar, que devemos usar aqui: a express ao um qualquer n ao e contradit oria. Ainda sobre essa regra, um exemplo de for ca bruta. Digamos que eu seja Deus11 . Se eu digo Garanto que qualquer gato que voc e encontrar e branco ent ao a generaliza c ao universal leva ` a conclus ao de que todos os gatos s ao brancos, pois anal de contas eu sou omnisciente e infal vel. Note que fazer essa armativa apenas sobre o gato do vizinho n ao basta; o gato do vizinho n ao e um elemento qualquer do dom nio dos gatos, pois ele se distingue dos demais gatos pela caracter stica de ser do vizinho. Em particular, isso explica por qu e n ao se pode mostrar que xP (x) e verdadeira mostrando que P (c) e verdadeira para apenas alguns elementos c escolhidos do dom nio; ao serem escolhidos, eles se tornam distinguidos e deixam de ser representativos. No frigir dos ovos, se isso parece um pouco esquizofr enico, e mesmo. Na pr atica, regulamenta-se a sinonimia entre para todo e para qualquer. A vantagem e que se pode come car demonstra co es com express oes do tipo Seja x um elemento qualquer do dom nio. . . e proceder como se esse x representasse todos os x do dom nio de uma s o vez. Seguem ilustra c oes simples dessas regras. particulariza c ao universal: Se todos os gatos s ao brancos ent ao meu gato e branco. generaliza c ao universal: Se qualquer gato e branco, ent ao todos os gatos s ao brancos. particulariza c ao existencial: Se existe pelo menos um gato branco ent ao existe um gato branco. generaliza c ao existencial: Se meu gato e branco ent ao existe pelo menos um gato branco. Ou seja, tamb em n ao temos nada de novo aqui; estamos apenas registrando modos habituais de pensamento e express ao para refer encia futura. Como dissemos, as regras de infer encia s ao apenas tautologias devidamente apresentadas. Vamos agora apresentar dois erros comuns de racioc nio, chamados de fal acias ; ambos s ao baseados em conting encias. O primeiro chama-se armar a tese e vem da conting encia [(p q ) q ] p. Um exemplo e se voc e estudar, voc e passa. Voc e passou, logo voc e estudou. O segundo diz-se negar a hip otese e e baseado na conting encia [(p q ) p] q ; um exemplo e Se voc e estudar, voc e passa. Voc e n ao estudou, logo voc e n ao passou. Deve estar claro que ambas as fal acias equivalem a armar que se p q e verdadeira ent ao a rec proca q p tamb em o e. Em logiqu es, temos [(p q ) q ] p (q p) [(p q ) p] q.

Argumentos

Uma seq u encia nita p1 , p2 , . . . , pn , q de proposic oes onde p1 , p2 , . . . , pn s ao chamadas hip oteses (em conjunto, ditas a hip otese ou premissas ) e q e chamada tese (ou conclus ao ) e dito um argumento. Exemplo 2.1 Abaixo temos um argumento; as duas primeiras proposic oes s ao as premissas e a u ltima e a conclus ao.
arbitr ario ou gen erico. escritor ing es George Orwell; leitura obrigat oria. 11 N ao sou.
10 Do 9 Ou

Todos os le oes s ao ferozes. Alguns le oes n ao bebem caf e. Alguns animais ferozes n ao bebem caf e. Um argumento e v alido se a implica c ao (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 atrav es de uma seq u encia de argumentos v alidos. Dito assim, parece que entramos descida innita, mas lembramos que j a temos uma lista de argumentos v alidos prontos para o uso, a saber, as regras de infer encia. Vamos a um exemplo. Exemplo 2.2 Mostrar que das hip oteses Hoje n ao faz sol e est e mais frio que ontem, S o vamos nadar se zer sol, Se n ao 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 proposic oes 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 (hip otese ) 2. p (simplica c 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 n ao leu o livro, Todos nessa sala passaram levam ` a conclus ao Algum aluno dessa sala passou sem ler o livro. 1. 2. 3. 4. 5. 6. 7. 8. x[T (x) L(x)] T (a) L(a) T (a) x[T (x) P (x) T (a) P (a) L(a) P (a) B (a) x[P (x) B (x)] (hip otese ) (particulariza c ao existencial e 1.) (simplica c ao e 2. ) (hip otese ) (particulariza c ao universal e 4.) (simplica c ao e 2.) (conjun c ao, 6. e 7.) (generaliza c ao existencial e 8.)

Deni c oes

J a usamos v arias vezes as express oes denimos, denido por e assim por diante; est a na hora de falarmos um pouco mais sobre deni c oes. Uma deni c ao e uma senten ca que descreve o signicado de um termo12 . Em outras palavras, uma deni c ao e uma senten ca que estabelece o signicado de um novo termo, que acabamos de introduzir, em fun c ao de termos mais antigos. Se isso parece um po co sem fundo, de fato e; para que ele tenha fundo, temos as no c oes primitivas, mas n ao e hora de entrar em muitos detalhes e continuamos com nossa vis ao simples. Podemos, e e bom faz e-lo, enxergar uma deni c ao como uma nova entrada em um dicion ario de termos que usamos em nosso trabalho, ou seja, nada mais que estabelecer sin onimos e/ou abrevia co es. Por exemplo: um animal e dito um gato quando ele e roxo e tem tr es patas. Desse modo, ao ouvir gato, claro que aqui estamos criando uma voc e automaticamente pensar a em animal roxo de tr es patas. E conven c ao de uso bastante limitado, pois gato tem um signicado 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 deni c ao 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 r otulos certo, verdadeiro ou errado, falso n ao se aplicam a deni c oes. Em outras palavras, n ao se discorda de uma deni c ao, desde que se circunscreva
12 http://en.wikipedia.org/wiki/Denition 13 Ele

n ao o far a.

claramente o ambiente de sua validade, quando restrito. Nossa deni c ao de gato teve validade restrita ao par agrafo em que apareceu, enquanto a de n umeros pares e mpares e universal. Deni c oes devem ser criticadas apenas dos pontos de vista est etico, uso comum, utilidade e correspond encia com o ambiente em que elas v ao ser usadas, sem esquecer de sua coer encia interna. O(a) leitor(a) vai encontrar tudo isso ao longo de sua carreira matem atica, de modo que paramos por aqui com esse assunto.

Teoremas e demonstra c oes

A palavra teorema e sin onimo de argumento; a demonstra c ao de um teorema consiste na apresenta ca o da corre c ao do argumento atrav es de regras de infer encia. Para nosso consumo, podemos pensar que teoremas sempre aparecem na forma p q ou ent ao podem ser expressos atrav es de um n umero nito de proposic oes desse tipo. Notamos que se p e falsa ent ao 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. H a v arios m etodos de demonstrar teoremas. A mais comum e supor a hip otese verdadeira e mostrar que a tese tamb em o e; uma demonstra c ao desse tipo e dita direta. Vamos a um exemplo. Teorema 4.1 Se n e um inteiro mpar ent ao n2 tamb em e um inteiro mpar. Demonstra c ao: Masoquistas escreveriam assim: 1. n = 2k + 1 (hip otese e deni c ao ) 2. n2 = 4k 2 + 4k + 1 (uma s erie 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 deni c ao ) Pessoas normais como n os, 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 u encia ` a exposi ca o suprimindo a escrita de justicativas triviais que decorrem imediatamente de deni c oes, resultados conhecidos ou de argumentos de dom nio p ublico. Isso deve ser feito com cuidado e levando em conta o p ublico alvo. Por exemplo, entre n os n ao e necess ario justicar a passagem n2 = 4k 2 + 4k + 1, mas talvez fosse conveniente faz e-lo para alunos do ensino fundamental e m edio. Outra maneira de demonstrar teoremas e usar uma demonstra c ao 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. Demonstra c ao: A contrapositiva e se n e mpar ent ao n e mpar. Por sorte, esse e o teorema anterior, que j a demonstramos. Notamos que nesse teorema a demonstra ca o direta n ao e aparente; de fato, escrever n2 = 2k n ao ajuda (em princ pio) a fazer algum coment ario sobre n (o que fazer com n = 2k ?). Outra maneira usual de demonstrar teoremas e por absurdo ou contradi c ao, descrita em logiqu es por p q F p q. Traduzindo, uma demonstra c ao por absurdo consiste em supor a hip otese verdadeira, negar a tese e chegar a uma contradi c ao. Isso feito, concluimos que a tese e verdadeira. Podemos tamb em pensar que a implica c ao p q F s o e verdadeira quando p q e falsa. Se conseguirmos demonstr a-la e como supomos p verdadeira, q deve ser falsa, isto e, q deve ser verdadeira. Vamos a um exemplo de uma demonstra c ao por absurdo. Teorema 4.3 Se n2 e par ent ao n e par. Demonstra c ao: Suponhamos, por absurdo, que n seja mpar. Ent ao 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 hip otese.

 importante perceber que a demonstra E c ao acima nada mais e que (n2 par) (n mpar) (n2 par) (n2 mpar) F, ou seja, p q p p F. Em geral, e isso que acontece em uma demonstra c ao por absurdo; ou seja, falseia-se a hip otese que supomos verdadeira para come car. Nesse caso, deve ser claro que n ao h a diferen ca entre demonstra c aos indiretas e por absurdo. Se admitirmos que a hip otese de qualquer teorema e tudo o que sabemos verdadeiro anteriormente, ent ao podemos dizer que demonstra c oes por absurdo e indiretas s ao exatamente a mesma coisa. Uma das demonstra c aos por absurdo cl assicas e a seguinte. Teorema 4.4 2 e irracional. Demonstra c ao: Suponhamos que 2 = a b , onde a, b N. Simplicando, podemos supor que mdc(a, b) = 1. Temos ent ao a2 = 2b2 . Logo a2 e par e segue do teorema 4.3 que a e par, digamos a = 2c com c N. Ent ao 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 equival encia (p1 p2 . . . pn ) q (p1 q ) (p2 q ) . . . (pn q ). Como sempre, vamos a um exemplo. Teorema 4.5 Se n e mpar ent ao n2 e da forma 8k + 1. Demonstra c ao: O algoritmo da divis ao nos diz que n = 4q + r com q, r Z e 0 r < 4. Como n e mpar, 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 tamb em e mpar. Poderiamos tamb em ter dividido essa u ltima demonstra c ao 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 t ecnica de exposi c ao que costuma reduzir bastante o trabalho em demonstra c oes por casos. Demonstra c ao: (outra do teorema 4.5) Suponhamos n = 8k + 5. Ent ao 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 s ao an alogos. O uso de an alogo ao nal da demonstra c ao indica que os outros casos s ao demonstrados de maneira id entica, salvo mudan cas obvias. Notamos que n = 8k + 1 n ao seria uma boa escolha para depois argumentar por analogia; de fato, esse caso n ao tem o truque 25 = 24 + 1. Em teoremas da forma p q , e habitual dividir a demonstra c ao em duas partes: a direta p q e a rec proca q p. Teorema 4.6 Mostre n e par se e somente se n2 e par Demonstra c ao: Suponhamos primeiro que n seja par, isto e, n = 2k para algum k Z. Ent a o n2 = 4 k 2 = 2 2 2(2k ) e par. Reciprocamente, suponhamos n par; nesse caso o teorema 4.3 nos mostra que n tamb em e par. Mais geralmente, e comum encontrar teoremas cujo enunciado e do tipo mostrar que as armativas p1 , p2 , . . . , pn s ao equivalentes, ou seja, que pi pj para todos os pares i, j . Idealmente, teoremas nessa forma s ao 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 armativas s ao equivalentes: p1 : n e par p2 : n 1 e mpar p3 : n2 e par Demonstra c ao: 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 ent a o n2 1 e mpar. Como n2 1 = (n 1)(n 1) e um produto mpar s o tem fatores mpares segue que n 1 e mpar. Chegamos agora a demonstra c aos de exist encia e unicidade. Aqui nossos teoremas s ao 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. Demonstra c ao: Basta escrever 1729 = 13 + 123 = 93 + 103 . Uma demonstra c ao desse tipo e dita construtiva, pois exibe explicitamente um objeto com as propriedades requeridas. Quando a exist encia e provada abstratamente, isto e, sem um exemplo concreto, dizemos que temos uma demonstra c ao n ao construtiva ; um exemplo segue. Teorema 4.9 Existem n umeros irracionais x e y tais que xy e racional. 2 Demonstra c ao: Sabemos do teorema 4.4 que 2 e irracional. Seja r = 2 . Se r e racional ent ao o 2 2 2. Se r e irracional ent a o r 2 = 2 e racional e o teorema teorema est a provado com x = y = = est a provado com x = r e y = 2. Note que camos sem saber qual entre r e r 2 e racional; a demonstra c ao diz apenas que um deles e, com certeza, racional. Uma outra demonstra c ao cl assica, que arma apenas a exist encia do objeto procurado sem exib -lo, e a seguinte. Teorema 4.10 Existem innitos n umeros primos.16 Demonstra c ao: Vamos mostrar que se p1 , p2 , . . . , pn s ao primos ent ao existe um primo distinto de todos eles. Para isso, consideremos o n umero r := p1 p2 . . . pn + 1. Pelo teorema fundamental da Aritm etica, r possui um divisor primo p; claramente p e diferente de p1 , p2 , . . . , pn . Essa demonstra c ao e devida a Euclides (300 a.c.) e e considerada uma das mais belas de toda a Matem atica.

5
5.1

Conjuntos
Generalidades

Disse Cantor17 : Um conjunto e uma cole c ao M , vista como um todo, de objetos denidos e separados de nossa intui c ao ou pensamento. Esses objetos s ao ditos os elementos de M .18 Vamos rezar por isso; em particular, as id eias de conjunto, elemento e da rela c ao de pertin encia ser ao 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 n umeros, cores, formas geom etricas ou elefantes. Conjuntos ser ao denotados por letras mai usculas A, B, C, . . . , R, S, . . .. Elementos ser ao denotados por letras min usculas a, b, c, . . . , r, s, . . .. Finalmente, a rela c ao de pertin encia ser a indicada pelo s mbolo ; a express ao a A l e-se como a pertence a A ou a est a em A.
essa ordem por conveni encia pessoal, outras s ao evidentemente poss vieis. e a hip otese desse teorema? 17 George Ferdinand Ludwig Philipp Cantor (18451918), matem atico russo que nos contou que alguns innitos s ao maiores que outros. 18 Tradu c ao livre.
16 Qual 15 Escolhemos

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 portugu es, A est a contido em B quando todo elemento de A tamb em e um elemento de B . Dizemos que A = B quando (A B ) (B A); em portugu es, A = B quando eles possuem os mesmos elementos. Para refer encia futura, destacamos o seguinte mantra: em princ pio, para mostrar que dois conjuntos s ao iguais deve-se mostrar que um est a contido no outro e que o outro est a contido no um. A inclus ao pr opria A B , dita A est a propriamente contido em ou e um subconjunto pr oprio de B , indica que A est a contido em B e que existe pelo menos um elemento de B que n ao est a em A. Finalmente, usamos A B para indicar que A n ao e subconjunto de B . H a essencialmente duas maneiras de indicar conjuntos. Uma e dita expl cita 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 nota c ao expl cita traz problemas quando queremos lidar com conjuntos com muitos elementos. 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 razo avel, os pontinhos indicando voc e sabe o que est a aqui, eu estou com pregui ca de escrever. Analogamente, o conjunto Z dos n umeros inteiros pode ser indicado por Z = {. . . , 3, 2, 1, 0, 1, 2, 3, . . .}, embora a quest ao aqui envolva algo mais al em de pregui ca. Resumindo, a nota c ao expl cita tem utilidade limitada. No caso geral, o procedimento e considerar um conjunto universo U que cont em todos os elementos relevantes no momento e uma fun c ao proposicional P em U (visto como dom nio); denotamos ent ao por {x U | P (x)} o conjunto dos x U tais que P (x) e verdadeira. Essa maneira de indicar conjuntos e dita impl cita. Quando o universo e claro, escrevemos apenas {x | P (x)}; quando quisermos concentrar nossa aten c ao 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 coment ario sobre nota c ao. Costuma-se dizer que um conjunto n ao pode ter elementos iguais. Supostamente, isso quer dizer que ao explicitar os elementos de um conjunto, n ao devem aparecer elementos repetidos; por exemplo, {a, a, b} est a errado. A quest ao se resolve de maneira bem simples. De fato, consideremos o conjunto {a, a}; nossa deni c ao de igualdade mostra que {a, a} = {a}. Vamos assim que o ponto n ao e se e permitido ou n ao repetir elementos, mas que faz e-lo e perda de tempo.19 Um conjunto interessante e o conjunto vazio, denido como = {x | x }. Essa deni c ao quer dizer que x(x ); em portugu es claro, o conjunto vazio n ao possui elementos. Notamos que o uso de o conjunto vazio em vez de um conjunto vazio n ao e, ainda, justicado; para que ele o seja, deve-se mostrar que se 1 e 2 s ao vazios ent ao 1 = 2 20 . No que se segue usaremos guras como a que aparece abaixo, conhecidas como diagramas de Venn 21 , para visualizar rela c oes entre conjuntos. Nela aparecem as seguintes informa c oes: a A, b A e A U . U A a b

5.2

Opera c oes com conjuntos

Nosso objetivo agora e mostrar como fabricar novos conjuntos a partir de conjuntos velhos. Para isso, sejam A e B conjuntos; denimos
tarde, em um curso de An alise Combinat oria, ser ao encontrados os multiconjuntos, em que elementos aparecem dotados de multiplicidades, ou seja, o n umero de vezes em que se repete cont em informa ca 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 exerc cio de escrita. 21 Assim nomeados por conta de seu inventor, o matem atico ingl es John Venn (1834 1923).
19 Mais

a uni ao : A B = {x | (x A) (x B )} a interse c ao : A B = {x | (x A) (x B )} a diferen ca : A B = {x | (x A) (x B )} a diferen ca sim etrica : AB = (A B ) (B A) o complementar : Ac = U A = {x | x A} Os diagramas de Venn correspondentes a essas opera c oes aparecem a seguir, com as regi oes relevantes em cinza.

AB A B

AB

AB

AB

Ac

Propriedades dessas opera c oes podem ser encontradas na lista de exerc cios correspondente. Para consumo local e exemplos de demonstra c oes, 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 demonstra c oes. Exemplo 5.3 Vamos mostrar que A B A. Para isso, seja x A B , ou seja, (x A) e (x B ); segue ent ao que x A e m. Observamos que a justicativa desse segue ent ao e uma de nossas infer encias, a saber, a simplica c ao: (x A) (x B ) (x A). Detalhes desse tipo n ao ser ao sempre mencionados no que segue, mas o(a) aluno(a) deve estar preparado(a) para fornec e-los a qualquer momento. Exemplo 5.4 Vamos mostrar que (A B )c = Ac B c . Come camos com (A B )c Ac B c . Seja c x (A B ) ; ent ao x (A B ), ou seja, x A e x B . Logo x Ac B c . Reciprocamente, seja c c x A B . Ent ao x A e x B , ou seja, x A B . Logo x A B . Alternativamente, usando as proposi co es a : x A e b : x B , podemos traduzir x A como a e x B como b. Nessa linguagem, o que queremos provar e a b a b,o que j a zemos na se c ao 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 est a contido no lado direito e vice-versa. Para mostrar que A (B C ) (A B ) (A C ), consideramos primeiro x A (B C ). Temos ent ao (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 inclus ao inversa e obtida percorrendo-se esse argumento de tr as para a frente. Essa demonstra c ao deve parecer familiar, e de fato e. Para ver isso, sejam a, b e c as proposi co es x A, x B e x C , respectivamente. Vimos na se c ao 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 quer amos mostrar.
22 Note

que essa senten ca e amb gua; 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 demonstra c ao 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 inclus ao rec proca, suponhamos B A. Ent ao B A = e segue que AB = (A B ) (B A) = (A B ) = A B A. Em linguagem de l ogica, consideramos as proposi c oes a e b como nos exemplos anteriores. A igualdade proposta e equivalente a a b (a b) a (b a) . e imediato reduzir essa express ao a b a b a , e o Usando a equival encia (p q ) (p q ), trabalho acabou. Notamos que na demonstra c ao 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 exposi c ao excessivamente pesada. Esperamos ter deixado claro que as propriedades elementares das opera c oes entre conjuntos e suas rela c oes com inclus ao e igualdade (em particular, todos os exerc cios da 4a lista) podem ser expressas e trabalhadas em linguagem de l ogica. Nos exemplos acima, procuramos mostrar que essa linguagem pode ser usada para, ` as vezes, substituir e simplicar os repetitivos argumentos do tipo Seja x A. Ent ao .... Isso e muito bom quando os conjuntos com que trabalhamos s ao abstratos. Quando lidamos com conjuntos com nome, endere co e cpf, no entanto, e claro que as coisas n ao s ao sempre assim, pois temos que lidar com descri c oes expl citas 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 m edio M . Denimos 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 demonstra c ao usa argumentos geom etricos que dependem diretamente da descri ca o dos conjuntos l e m. l X X

M Figura 1

M Figura 2

Come camos com l m. Seja X l, como na gura 1. Ent ao os tri angulos XM A e XM B s ao congruentes, pois s ao ret angulos com um cateto e hipotenusa iguais. Logo XA = XB , ou seja, X l. Seja agora X l, como na gura 2. Ent ao XA = XB e segue que os tri angulos XM A e XM B s ao congruentes,pois t em tr es 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 se c ao, 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 m etodo bem mais r apido e usar diagramas de Venn, como indicamos na gura a seguir.
23 Tamb em

conhecido como o lugar geom etrico dos pontos equidistantes de A e B .

C A (B C )

C (A B ) (A C )

A observa c ao da gura mostra que se inventarmos conjuntos A, B e C tais que haja um elemento (o 0 ponto preto ` a direita) em A B que n ao esteja em A B C , teremos o nosso contraexemplo. Isso e f acil; 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 ent ao A (B C ) = {a} (A B ) (A C ) = {a, b}. Notamos que e necess ario exibir explicitamente um contraexemplo; a gura ajuda, mas n ao prova nada. A gura 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 demonstra c oes cam para o(a) leitor(a).

5.3

O produto cartesiano

Conjuntos n ao embutem a no c ao de ordem; de fato, {a, b} = {b, a}, ou seja, n ao 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 poss vel armar 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 denido 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. Demonstra c ao: Se a = c e b = d ent ao {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 ent ao (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 se c ao e que a no c ao de ordem pode ser criada exclusivamente dentro da teoria de conjuntos. Fica para o(a) leitor(a) denir o produto cartesiano de tr es ou mais conjuntos.

Rela c oes

Essa se c ao ser a escrita oportunamente.

Fun c oes

Sejam A e B conjuntos. Uma rela c ao f de A em B e uma fun c ao quando para qualquer x A existe um u nico (x, y ) f . Usamos a nota c ao f : A B nessa situa c ao. 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 tamb em que x e a contraimagem de y . Os conjuntos A e B s ao chamados, respectivamente, de dom nio e contradom nio de f . A armativa y = f (x) e usualmente representada como segue. A f x y B

Vamos nos referir a representa c oes desse tipo como representa c ao por echas 24 . Exemplo 7.1 Sejam A = {1, 2, 3} e B = {r, s}. Denimos f : A B por f (1) = r, f (2) = s e f (3) = s. O desenho aqui e A 1 2 s 3 f r B

Exemplo 7.2 Seja A um conjunto. Denimos 1A : A A por 1A (x) = x para qualquer x. Essa fun ca o, apesar de n ao 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 f ormula que nos permite, dado um ponto do dom nio, saber qual a sua imagem. Do ponto de vista formal (isto e, vendo fun c oes como conjuntos) temos f = {(x, x2 ) | x R}; o melhor desenho aqui eo gr aco habitual no plano cartesiano

x2

Notamos que a representa c ao dessa fun c ao por echas certamente n ao e muito conveniente. Observamos que a deni c ao formal de fun c ao que demos acima e necess aria para colocar em linguagem precisa a express ao habitual uma fun c ao e uma regra que faz corresponder a cada elemento de A um u nico elemento de B ; com ela, evitamos o uso de termos vagos como regra e corresponde aou associa. A id eia de fun c ao como regra n ao e necess aria (para a deni c ao) e substitui-se a express ao y corresponde a x por y = f (x). Notamos que f no exemplo 7.1 n ao e dada por uma regra25. De qualquer modo, uma vez feito esse coment ario, nada nos impede de usar linguagem informal e dizer que uma fun c ao e um objeto que associa a cada elemento do dom nio um u nico elemento do contradom nio. As guras a seguir negam o um e o unico dessa u ltima senten ca, oferecendo assim exemplos protot picos de n ao fun c oes. A B A B

elemento sem imagem

elemento com mais de uma imagem

Voltemos a um pouco de formalidade. Denimos fun c oes como rela c oes, isto e, como subconjuntos de produtos cartesianos. Desse modo, a igualdade de fun c oes n ao precisa ser denida, pois j a sabemos
inventada pelo autor. 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.
25 Pode-se, 24 Terminologia

quando dois conjuntos s ao iguais. O(a) leitor(a) pode vericar que se f : A B e g : C D s ao fun co es ent ao 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 fun c oes s ao conjuntos e trabalhar com nosso conceito informal de fun ca o, como no par agrafo anterior. Para terminar essa subse c ao, um pouco de nota c ao e nomenclatura. Seja f : A B uma fun ca o. Se C A, denimos a imagem de C por f (C ) = {f (x) | x C }, ou seja, o conjunto dos elementos de B que s ao imagens de elementos de A; em particular, f (A) e dita a imagem de f e denotada por Im(f ). Se y B denimos 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 denimos a imagem inversa de D por f 1 (D) = {x A | f (x) D}, ou seja, o conjunto dos elementos de A cuja imagem est a em D. Uma palavra de cautela. Em geral, f 1 remete inconscientemente ao conceito de fun c ao inversa, que veremos adiante. Essa e outra infelicidade notacional consagrada pela pr atica. Por enquanto, enfatizamos que o f 1 usado acima n ao tem nada a ver com fun c oes inversas e deve ser considerado apenas como mais uma nota c ao. 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 gura. A a C f 1 (D ) b 2 3 D 4 B Im(A) 1 f (C )

f 1 (3 ) c d e 5

Indicamos na gura 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

Composi c ao de fun c oes

Sejam f : A B e g : B C fun c oes. O desenho abaixo mostra como denir uma nova fun c ao g f : A C ; explicitamente, denimos (g f )(x) = g (f (x)). A f x f (x ) B g g (f (x )) C

g f Refor camos um ponto que pode ter passado despercebido: essa constru c ao s o faz sentido quando o contradom nio de f e o dom nio de g ; desse modo, f g s o 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 alfabeto. Denimos f : A B por f (g ) = dono de g 26 e g : B C por f (p) = inicial do primeiro nome de p. Ent ao g f : G A e a fun c ao que associa a cada gato a inicial do primeiro nome de seu dono. Exemplo 7.6 Sejam f, g : R R fun co es dadas por f (x) = cos x e g (x) = ex . Ent ao (g f )(x) = cos x g (f (x)) = g (cos x) = e .
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 tamb em ` a ordem natural primeiro f , depois g ; isso e uma consequ encia do fato de lermos da esquerda para a direita e da nota c ao funcional f (x) com x ` a direita de f 27 . Notamos tamb em que o s mbolo n ao quer dizer grande coisa; gf seria bom o suciente, mas haveria o perigo de confus ao com multiplica c ao, de modo que vamos nos ater ` a nota c ao habitual. Sejam agora f : A B , g : B C e h : C D fun c oes. Podemos ent ao construir h (g f ) : A D e (h g ) f : A D. Vamos mostrar que essas fun c oes s ao iguais. Como elas t em o mesmo dom nio e o mesmo contradom nio, 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 composi c ao de fun c oes e associativa. No resultado a seguir mostramos que, para fun c oes A B , a fun c ao 1A e uma identidade ` a direita e 1B e uma identidade a esquerda com rela c ao ` a composi c ao de fun c oes. Teorema 7.1 Seja f : A B uma fun c ao. Ent ao f 1A = f e 1B f = f . Demonstra c ao: Seja x A. Ent ao (f 1A )(x) = f (1A (x)) = f (x), ou seja, f 1A = f . De modo an alogo mostra-se que 1B f = f .

7.2

Fun c oes injetoras e sobrejetoras

Seja f : A B uma fun c ao. Dizemos que f e injetora se pontos distintos t em imagens distintas; em matematiqu es, isso e o mesmo que f (x) = f (x ) x = x ou, equivalentemente, x = x f (x) = 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 fun c ao e injetora se echas que partem de pontos distintos do dom nio chegam em pontos distintos do contradom nio, e sobrejetora se todos os pontos do contradom nio recebem uma echa. Vamos aos desenhos. A f B A f B

fun c ao injetora

fun c ao sobrejetora

Notamos que no desenho ` a esquerda temos uma fun c ao que e injetora mas n ao sobrejetora; a ` direita temos uma fun c ao que e sobrejetora mas n ao injetora. Fica para o(a) leitor(a) fazer um desenho de uma fun c ao que n ao 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 n ao e injetora. E como n ao existe x tal que f (x) = 1, segue que f n ao 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, n ao existe n Z tal que f (n) = 3; logo f n ao e sobrejetora. Exemplo 7.9 Seja f : Z N dada por f (n) = |n|. Aqui f n ao 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 fun c oes R R, injetividade e sobrejetividade podem ser interpretadas em termos de gr acos. Uma fun c ao f : R R n ao e injetora quando alguma reta horizontal corta seu gr aco em dois pontos e n ao e sobrejetora quando alguma reta horizontal n ao corta seu gr aco. Ilustramos isso a seguir com o gr aco 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 gr aco em dois pontos distintos, correspondentes a x = 2. Ela tamb em n ao e sobrejetora, pois a reta horizontal pelo ponto (0, 1) n ao corta o gr aco.
27 Algebristas, que sabem das coisas, escrevem (x)f ; se us assemos essa nota ca o, a composta de f e g seria f g e o mundo caria bem mais bonito.

2 1

Deve ter cado claro que a pergunta relevante e dado y B , quantos x A s ao tais que y = f (x)?; em outras palavras, dado y B queremos saber quantas echas chegam em y . Em outras palavras (vers ao 2), queremos saber quantas s ao as solu c oes x da equa c ao y = f (x). Vamos analisar poss veis respostas. 1. se para todo y houver pelo menos uma solu c ao, f e sobrejetora 2. se existe y para o qual n ao haja solu c ao, f n ao e sobrejetora. 3. se para todo y houver no m aximo uma solu c ao, f e injetora 4. se existe y para o qual haja mais de uma solu c ao, f n ao 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 denida por f (x) = primeiro nome de x. Notamos primeiro que f n ao e injetora, pois a equa c ao f (x) = Jo ao certamente tem mais de uma solu c ao; isto e, a UFMG tem pelo menos dois alunos cujo primeiro nome e Jo ao (eu conhe co muitos). Al em disso, f n ao e sobrejetora, pois f (x) = Altrof ando n ao tem solu c ao (podem conferir no DRCA). Exemplo 7.11 Seja f : R R dada por f (x) = (2x + 7)3 . Resolvendo a equa c ao y = (2x + 7)3 para x, 3 y 7 obtemos x = 2 ; como todos os passos da resolu c ao s ao invers veis, conclu mos que para todo y essa equa c ao tem uma u nica solu c ao, ou seja, f e bijetora. Breve digress ao: Vamos explicar a express ao como todos os passos da resolu c ao s ao invers veis, usada no exemplo anterior. Consideremos a equa c ao x = 2, que possui apenas a solu c ao 2. Elevando os dois lados ao quadrado e simplicando obtemos x2 = 4, que al em da raiz original possui tamb em a raiz 2. Vemos assim que, ao manipular algebricamente uma equa c ao, podem aparecer ra zes da equa c ao manipulada que n ao s ao ra zes da equa c ao original. Para entender o que est a acontecendo, vamos repetir o racioc nio do par agrafo anterior em c amara lenta. Ele come ca com Suponhamos que exista x tal que x = 2. Ent ao. . . e acaba com Logo x = 2. Ou seja, supondo que existam ra zes concluimos que elas s o podem ser 2, mas e s o. Apenas o teste direto permite decidir quais delas s ao efetivamente ra zes da equa c ao original. O problema, em geral, e que uma transforma c ao alg ebrica efetuada no processo de resolu c ao de uma equa c ao pode n ao ser revers vel, isto e, pode n ao ser poss vel retornar ao estado anterior. Voltando a y = (2x + 7)3 , os passos (um pouco resumidos) da resolu c ao acima s ao 3 y 7 y = (2x + 7)3 2x + 7 = 3 y x = 2 e todos s ao revers veis. J a em x = 2, o passo x = 2 x2 = 4 n ao e revers vel, pois de x2 = 4 n ao e poss vel recuperar x = 2. Qual e ent ao o procedimento correto? Simples: resolver alegremente a equa c ao sem se preocupar com nada28 . Se suas transforma c oes alg ebricas forem todas revers veis, n ao h a 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 cabe ca.

contr ario, e necess ario testar as solu c oes encontradas na equa c ao original e descartar as fantasmas. Fim da breve digress ao. Para terminar essa se c ao, vamos demonstrar um resultado simples para uso posterior. Teorema 7.2 Sejam f : A B e g : B C fun c oes. 1. Se g f e injetora ent ao f e injetora. 2. Se Se g f e sobrejetora ent ao g e sobrejetora. Demonstra c ao: (1) Sejam x = x A. Por hip otese, temos (g f )(x) = (g f )(x ), ou seja, g (f (x)) = g (f (x )). Segue que f (x) = f (x ), ou seja, f e injetora. (2) Seja y B . Por hip otese, existe x A tal que (g f )(x) = y , isto e, g (f (x)) = y , e segue que g e sobrejetora.

Fun c oes inversas

Vamos assumir, para efeito de conversa, que uma fun c ao f : A B e um objeto que desenha, para qualquer x A, uma echa que vai de x at e um ponto denominado f (x) B . Nosso interesse e saber quando e poss vel inverter a dire c ao das echas e obter uma nova fun c ao g : B A. Em outras palavras (e sem preocupa c ao 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 f x g y B

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 bije c ao; ou seja, essa discuss ao s o faz sentido quando f e bijetora. Essa conclus ao tamb em segue imediatamente por observa c ao dos exemplos de n ao fun c ao dados no in cio dessa se c ao. Suponhamos ent ao que f seja uma bije c ao; denimos g : B A por g (y ) = x quando y = f (x). Como f e uma bije c ao 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 fun c ao. As contas do par agrafo anterior mostram que g f = 1A e f g = 1B . Cabe perguntar se existe outra fun c ao h : B A com essas mesmas propriedades; esse e o nosso pr oximo resultado. Teorema 8.1 Sejam f : A B e g, h : B A fun c oes tais que g f = h f = 1A e f g = f h = 1B . Ent ao g = h. Demonstra c 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 fun c ao. Ent ao existe g : B A tal que g f = 1A e f g = 1B s e e somente se f for bijetora. Nesse caso g eu nica e e denida por g (y ) = x quando y = f (x). Como a fun c ao g desse teorema eu nica, podemos dar a ela um nome e uma nota c ao espec ca: ela e dita a inversa de f e passar a a ser denotada por f 1 . Cabe aqui lembrar que a nota c ao f 1 j a foi usada para denir imagens inversas de fun c oes n ao necessariamente bijetoras; em geral, o contexto deve deixar claro se estamos falando de fun c oes inversas ou imagens inversas, de modo que n ao h a o risco de confus ao. De qualquer modo, supondo que f e uma bije c ao, temos agora as agrad aveis express oes 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 motiva c ao para o uso da nota c ao para fun c oes inversas, baseada na analogia da composi c ao de fun c oes e a multiplica c ao de n umeros reais. Primeiro notamos que as express oes f 1A = f e 1B f = f mostram que a composi c ao com a fun c ao identidade29 funciona como 1 a multiplica c ao por 1. Podemos ent ao interpretar as express oes f f = 1A e f f 1 = 1B como sendo 1 1 an alogas ` as express oes multiplicativas a a = a a = 1. Essa e uma boa analogia, mas deve ser levada com cuidado, pois as situa c oes s ao bem distintas; a composi c ao n ao e comutativa e apenas fun co es especiais possuem inversas. imediato que f Exemplo 8.1 Seja f : R R dada por f (x) = 3x + 2. E e uma bije c ao. Sua inversa vem y 2 2 da solu c ao de y = 3x +2, quando obtemos x = 3 , ou seja, g (x) = x . Usamos x propositalmente nessa 3 u ltima express ao para enfatizar que letras n ao s ao importantes; tudo caria na mesma se escrevessemos 2 g (s) = s 3 . Se f : I R e invers vel, onde I e um intervalo da reta, podemos fazer o gr aco de f 1 facilmente a partir do gr aco de f . Para isso, lembramos que se y = f (x) ent ao f 1 (y ) = x, como vemos a seguir.

x = f 1 (y )

y = f (x) y x

Observando que os pontos (x, y ) e (y, x) s ao sim etricos com rela c ao ` a diagonal principal, ca claro que o gr aco de f 1 e o sim etrico do gr aco de f com rela c ao a essa diagonal. Na gura abaixo ilustramos essa id eia com o gr aco (aproximado) da fun c ao f dada por f (x) = x(1 cos x), denida em um intervalo no qual ela e uma bije c ao; o gr aco de f aparece em tra co mais forte e o de f 1 em pontilhado.

Observamos de passagem que mostrar que essa fun c ao e de fato invers vel (em um intervalo adequado) n ao e imediato; para isso, e conveniente usar m etodos de C alculo. Para nalizar essa se c ao, fazemos duas observa c oes simples sobre fun c oes inversas. Primeiro, tomemos f : A B invers vel. As express oes f 1 f = 1A e f f 1 = 1B nos mostram que f 1 e invers vel e que 1 1 sua inversa e f , ou seja, f = f . Mais uma vez vemos aqui a analogia entre composi c ao de fun co es e multiplica c ao, no caso com a express ao multiplicativa a1 = a. Suponhamos agora que f : A B e g : B C sejam bije c oes. Ent ao g f : A C e uma bije ca o 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 (g f ) f 1 g 1 = 1B . A analogia aqui e melhor com a multiplica c ao de matrizes quadradas de mesma ordem: se M e N s ao invers veis ent ao M N e invers vel e (M N )1 = N 1 M 1 .
1

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