Elementos de Lgica Matemtica e Teoria dos Conjuntos Jaime Campos Ferreira

Uma reedio revista pelo autor dos captulos iniciais das Lies de Anlise Real

Departamento de Matemtica Instituto Superior Tcnico Outubro de 2001

Introdu c ao

Alguns amigos e colegas, regentes das primeiras disciplinas de An alise Matem atica no IST, aconselharam uma reedi ca o dos dois primeiros cap tulos do texto Li co es de An alise Real (que redigi h a mais de trinta anos), por entenderem que, nas condi co es actuais do nosso ensino, poderiam ser de alguma utilidade como introdu ca o aos principais assuntos versados nas suas aulas. Foi esta a causa da presente publica ca o. O texto foi agora submetido a uma revis ao ligeira; no entanto, para os estudantes que utilizem tamb em o livro Introdu ca o a ` An alise Matem atica, conv em mencionar uma pequena diferen ca: o conjunto dos n umeros naturais (em ambos os trabalhos designado pela letra N) e denido nesse livro por forma a incluir o n umero zero, enquanto no texto que agora se publica o n ao inclui. Trata-se evidentemente de uma discrep ancia em mat eria de natureza convencional, da qual, depois de devidamente acentuada, n ao resultar a decerto qualquer inconveniente para os eventuais utilizadores dos dois trabalhos. Lisboa, Outubro de 2000, Jaime Campos Ferreira

Uma edi ca o do Departamento de Matem atica do Instituto Superior T ecnico. Setembro de 2001.

 Indice

1 Elementos de l ogica matem atica 1.1 Termos e proposi co es. Algebra proposicional. . . . . . . . . . 1.2 Express oes com vari aveis. . . . . . . . . . . . . . . . . . . . . 1.3 Quanticadores. . . . . . . . . . . . . . . . . . . . . . . . . . 2 Elementos de teoria dos conjuntos. 2.1 Conjuntos. Opera co es fundamentais. . . . . . . . 2.2 Pares ordenados. Sequ encias. Produto cartesiano. 2.3 Fun co es. Aplica co es. Invers ao. Composi ca o. . . . 2.4 Rela co es de equival encia. Rela co es de ordem. . . Indice remissivo . . . . . . Rela co es. . . . . . . . . . . . . . . . .

5 5 8 10 17 17 21 28 34 48

Cap tulo 1

Elementos de l ogica matem atica

Para compreender bem as deni co es e teoremas que constituem as teorias matem aticas cujo estudo vamos iniciar, e indispens avel habituarmo-nos a usar uma linguagem mais precisa e rigorosa do que a que se utiliza, em geral, na vida corrente. A aquisi ca o desse h abito pode ser muito facilitada pelo recurso a algumas no co es e s mbolos da L ogica Matem atica, dos quais indicaremos neste primeiro cap tulo, de forma muito resumida e largamente baseada na intui ca o, aqueles que t em maior interesse para a sequ encia do nosso curso. Conv em, no entanto, observar que a L ogica Matem atica tem hoje aplicac o es concretas extremamente importantes, em diversos dom nios; uma das mais not aveis e, sem d uvida, a sua utiliza ca o no planeamento dos modernos computadores electr onicos.

1.1

Termos e proposi co es. Algebra proposicional.

A linguagem usada na Matem atica, como qualquer outra linguagem, compreende designa co es (tamb em chamadas nomes ou termos ) e proposi co es (ou frases ). As designa co es servem para indicar determinados objectos matem aticos : n umeros, pontos, conjuntos, fun co es, opera co es, guras geom etricas, etc.; as proposi co es exprimem arma co es que podem ser verdadeiras ou falsas a respeito dos mesmos objectos. Como exemplos de designa co es registamos as seguintes 1 : 7, 3 + 4, 2
7

2 + 3i,

N,

R.

Observe-se que as duas primeiras designa co es se referem ao mesmo objecto: s ao designa co es equivalentes ou sin onimas ; para indicar que duas designa co es, a e b, s ao equivalentes, escreve-se usualmente a = b. Como exemplos de proposi co es (as duas primeiras verdadeiras, as outras falsas)
Designamos por N e R, respectivamente, o conjunto dos n umeros naturais e o conjunto dos n umeros reais.
1

 CAP ITULO 1. ELEMENTOS DE LOGICA MATEMATICA podemos indicar: 7 = 3 + 4, 4 4, 2 + 3i = 3 + 2i, 2 + 1 < 1 + 2.

Uma proposi ca o e necessariamente verdadeira ou falsa (mas nunca uma coisa e outra); na primeira hip otese, diz-se tamb em por vezes que a proposi ca o tem o valor l ogico 1, na segunda que tem o valor l ogico 0. Os s mbolos 1 e 0 servem assim, de forma convencional, para designar respectivamente verdade e falsidade. Duas proposi co es dizem-se equivalentes quando t em o mesmo valor l ogico; por exemplo, s ao equivalentes as proposi co es 70 e (2)5 = 25 .

Para indicar que duas proposi co es designadas, por exemplo, pelos s mbolos p e q s ao equivalentes, costuma-se escrever p q . Dadas duas proposi co es, p e q , chama-se conjun ca o ou produto l ogico de p e q , e designa-se por p q (ler p e q ) a proposi ca o que consiste em armar simultaneamente p e q . A proposi ca o p q ser a, portanto, verdadeira se o forem as duas proposi co es dadas e falsa quando uma destas for falsa (ou quando o forem ambas). Por exemplo, a conjun ca o das proposi co es 4 e um n umero par e 4 e um divisor de 10 equivale a ` arma ca o de que 4 e um n umero par e um divisor de 10 e e, evidentemente, uma proposi ca o falsa. Por outro lado, chama-se disjun ca o ou soma l ogica de p e q , e designa-se por p q , (p ou q ), a proposi ca o que consiste em armar que pelo menos uma das proposi co es dadas e verdadeira. Nestas condi co es, a proposi ca o p q s o e falsa quando o forem ambas as proposi co es p e q . A disjun ca o das duas proposi co es consideradas no exemplo anterior e a proposi ca o (verdadeira): 4 e um n umero par ou e um divisor de 10. Nas tabelas seguintes, an alogas a `s vulgares tabuadas das opera co es elementares estudadas na escola prim aria, indicam-se os valores l ogicos das proposi co es p q e p q , em correspond encia com os poss veis valores l ogicos de p e q : Observe-se que o valor l ogico de p q e o m nimo dos valores l ogicos das proposi co es p e q , enquanto o valor l ogico de p q e o m aximo dos valores l ogicos das mesmas proposi co es (evidentemente, no caso de estas terem valores l ogicos iguais, entende-se por m aximo e m nimo desses valores l ogicos o seu valor comum). Nota. Podem denir-se de forma inteiramente an aloga a conjun ca o e a disjun ca o no caso de serem dadas mais de duas proposi co es. Por exemplo, a conjun ca o das proposi co es p, q , r ,. . . consiste na arma ca o de que todas essas proposi co es s ao verdadeiras e e portanto uma proposi ca o que s o e falsa se alguma das proposi co es p, q , r ,. . . , o f or. 6

 1.1. TERMOS E PROPOSIC OES. ALGEBRA PROPOSICIONAL. pq p 1 0 PSfrag replacements pq 0 0 0 1 p pq 0 0 1

PSfrag replacements pq

q 0

q 0

Sendo p uma proposi ca o, a nega ca o de p e uma nova proposi ca o, que costuma designar-se por p ou n ao p. A proposi ca o p e verdadeira sse 2 p e falsa. A soma dos valores l ogicos de p e p e, portanto, sempre igual a ` unidade. evidente que, para toda a proposi E ca o p, se tem: ( p) p. Vericam-se tamb em sem diculdade as seguintes propriedades (conhecidas por primeiras leis de De Morgan ), que relacionam as tr es opera co es l ogicas designadas pelos s mbolos , e : (p q ) ( p) ( q ) (p q ) ( p) ( q ).

Em linguagem corrente, a primeira destas propriedades poderia exprimir-se da forma seguinte: negar que as proposi co es p e q sejam ambas verdadeiras equivale a armar que pelo menos uma delas e falsa. Uma outra opera ca o l ogica importante e a implica ca o : dadas duas proposi co es p e q , designa-se correntemente pelo s mbolo p = q (que pode ler-se p implica q ou se p, ent ao q ) uma nova proposi ca o que consiste em armar que, se p e verdadeira, q tamb em o e. A implica ca o p = q s o e portanto falsa no caso de p ser verdadeira e q ser falsa, isto e, se o valor l ogico de p f or maior do que o de q . Assim, por exemplo, das proposi co es: 2 2 = 3 > 2 + 1, 3 = 2 = 5 < 0, 3 = 2 = 5 0,

(1000!) > 220000 = 1000! > 210000

2

Usamos sse como abreviatura da express ao se e s o se.

 CAP ITULO 1. ELEMENTOS DE LOGICA MATEMATICA s o a primeira e falsa. Evidentemente, quando se vericam conjuntamente as implica co es p = q e q = p, as proposi co es p e q s ao equivalentes; simbolicamente: [(p = q ) (q = p)] (p q ).

1.2

Express oes com vari aveis.

Al em dos termos e proposi co es que temos estado a considerar, a linguagem matem atica usa constantemente express oes em que interv em vari aveis , isto e s mbolos (em geral, letras) que podem ser substitu dos por designa co es de 3 acordo com determinadas regras. Por exemplo, as express oes: x, (x y )2 , x2 2xy + y 2

n ao s ao propriamente designa co es, mas converter-se- ao em designa co es (de n umeros reais) se as letras que nelas guram forem substitu das por n umeros reais arbit arios; assim, se substituirmos x por 1 e y por 0, as tr es express oes referidas converter-se- ao em designa co es do n umero 1. ` express As oes com vari aveis que, como as precedentes, se transformam em designa co es quando as vari aveis que nelas guram s ao substitu das por designa co es convenientes, chamaremos express oes designat orias . S ao tamb em express oes designat orias as seguintes: y x 1, cotg x, . x Conv em no entanto observar que, para que estas u ltimas express oes se convertam em designa co es de n umeros reais, n ao basta substituir as vari aveis por n umeros reais arbitr arios: por exemplo, da substitui ca o de x por 0 n ao resultaria em qualquer dos casos a designa ca o de um n umero real (fosse qual fosse o valor atribu do a ` vari avel y , no caso da terceira express ao). Duas express oes designat orias numa mesma vari avel x dizem-se equivalentes se todo o valor de x que converta alguma delas numa designa ca o, converter a outra numa designa ca o equivalente. S ao equivalentes no con 3 junto dos reais as express oes x e x3 , mas n ao o s ao as express oes |x| e x (substituindo x por 1, por exemplo, a primeira converte-se numa designa ca o do n umero 1 e a segunda num s mbolo sem signicado). Evidentemente, a deni ca o de equival encia e an aloga no caso de express oes designat orias com mais de uma vari avel; assim, por exemplo, s ao equivalentes as express oes designat orias: (x y )2
3

x2 2xy + y 2 ,

Nos casos habituais uma vari avel pode ser substitu da por qualquer termo de entre os que se referem aos objectos de um determinado conjunto, chamado dom nio da vari avel em causa. Atribuir a ` vari avel, como valor, um certo objecto (pertencente ao dom nio) consiste precisamente em substitu -la por qualquer designa ca o desse objecto, em todos os lugares em que ela ocorra na express ao considerada.

 1.2. EXPRESSOES COM VARIAVEIS. (supondo que x e y t em por dom nio o conjunto R). Consideremos agora as express oes: x2 > 0, 2 x = x2 , x2 y 2 = 0, x y > y z.

Se em qualquer destas express oes substituirmos todas as vari aveis por designa co es de n umeros reais, obteremos desta vez, n ao designa co es, mas sim proposi co es, verdadeiras ou falsas. As express oes com vari aveis, que se transformam em proposi co es quando as vari aveis s ao substitu das por designa co es convenientes, chamam-se express oes proposicionais ou condi co es . As express oes proposicionais podem tamb em combinar-se por meio de opera co es l ogicas inteiramente an alogas a `s que consider amos no caso das proposi co es. Sejam, por exemplo, p(x) e q (x) duas express oes proposicionais com uma vari avel. A conjun ca o , p(x) q (x), e uma nova condi ca o que se converte numa proposi ca o verdadeira sse forem atribu dos a x valores que tornem verdadeiras as duas condi co es p(x) e q (x). A disjun ca o , p(x) q (x), e uma condi ca o que s o e falsa para os valores da vari avel que tornam p(x) e q (x) ambas falsas. A nega ca o de p(x) e a condi ca o p(x), apenas verdadeira para os valores de x que convertem p(x) numa proposi ca o falsa. A implica ca o , p(x) = q (x), e uma condi ca o que se converte numa proposi ca o falsa sse forem atribu dos a ` vari avel x valores para os quais p(x) seja verdadeira e q (x) falsa. Finalmente, a equival encia , p(x) q (x), e a conjun ca o das implica co es p(x) = q (x) e q (x) = p(x). Vejamos alguns exemplos de equival encias (verdadeiras, quaisquer que sejam os valores reais atribu dos a `s vari aveis): [(x < 3) (x 2)] 2 x < 3, (x < 1) x 1, x2 > 0 x = 0. x < 1 = x < 3, [(x > 3) (x = 3)] x 3,

S ao tamb em sempre verdadeiras as condi co es: [(x < y ) (y < z )] = x < z, e, supondo que x designa agora uma vari avel cujo dom nio e o conjunto dos n umeros naturais, N: x e m ultiplo de 6 = x e m ultiplo de 3, (x e par ) x e mpar,

[(x e m ultiplo de 2) (x e m ultiplo de 3)] (x e m ultiplo de 6). 9

 CAP ITULO 1. ELEMENTOS DE LOGICA MATEMATICA

1.3

Quanticadores.

Se, numa dada condi ca o p(x), atribuirmos a ` vari avel x um dos valores do seu dom nio, obteremos, como vimos, uma proposi ca o. Outra forma, extremamente importante em Matem atica, de obter proposi co es a partir de uma condi ca o p(x), e antepor-lhe um dos s mbolos x ou x , que se chamam quanticadores (quanticador universal e quanticador existencial , respectivamente). A proposi ca o x p(x) l e-se qualquer que seja x, p(x) ou para todo o x, tem-se p(x) e e verdadeira sse, atribuindo a x qualquer valor do seu dom nio, p(x) se converter sempre numa proposi ca o verdadeira. A proposi ca o x p(x), que se l e existe um x tal que p(x) ou para algum x, tem-se p(x), e falsa sse p(x) se transformar numa proposi ca o falsa sempre que a ` vari avel x seja atribu do um valor qualquer do seu dom nio. Por exemplo, sendo x uma vari avel real, s ao verdadeiras as proposi co es: x x2 + 1 > 0, x x4 0 e x x 2 3 = 0.

A deni ca o e o uso dos quanticadores, no caso de proposi co es com mais de uma vari avel, s ao inteiramente an alogos. Assim, supondo x e y vari aveis reais, a proposi ca o x y y < x pode ler-se qualquer que seja x existe um y tal que y < x e equivale portanto a armar que n ao existe um n umero real evidentemente, uma proposi que seja menor do que todos os outros. E, ca o verdadeira (observe-se que seria falsa se o dom nio das vari aveis x e y fosse, em vez do conjunto dos reais, o dos naturais). A proposi ca o y x y < x, que exprime a exist encia de um n umero real menor do que qualquer outro (e at e menor do que ele pr oprio), e obviamente falsa. Conv em notar bem que, como acab amos de ver, trocando a posi ca o dos dois quanticadores que interv em na proposi ca o x y y < x, se obtem uma proposi ca o n ao equivalente. Este facto verica-se correntemente, quando os quanticadores trocados s ao de tipo diferente (um universal, outro existencial). Em contrapartida, a permuta ca o de quanticadores do mesmo tipo conduz sempre, como e f acil vericar, a uma proposi ca o equivalente a ` inicial. Por exemplo, s ao equivalentes as proposi co es: x y [x3 = y 3 x = y ] que podem escrever-se abreviadamente 4 : y x [x3 = y 3 x = y ] x,y [x3 = y 3 x = y ].
4 Esta proposi ca o, verdadeira no caso de x e y serem vari aveis reais, seria falsa se se tratasse de vari aveis complexas (isto e, de vari aveis tendo por dom nio o conjunto dos n umeros complexos). Em qualquer hip otese, porem, era sempre leg tima a permuta ca o dos dois quanticadores universais.

10

1.3. QUANTIFICADORES. Dadas duas condi co es p(x, y ) e q (x, y ) por exemplo diz-se que a primeira implica formalmente a segunda sse e verdadeira a proposi ca o: x,y p(x, y ) = q (x, y ) Por exemplo, no conjunto dos reais, x = y 2 implica formalmente x2 = y 4 , mas j a a implica ca o x > y = x2 > y 2 n ao e formal. Observe-se que e vulgar na linguagem matem atica usar-se apenas a palavra implica no sentido de implica formalmente e at e escrever somente p(x) = q (x), em lugar de x p(x) = q (x). Trata-se de abusos de linguagem que, geralmente, n ao t em inconveniente de maior, porque o pr oprio contexto permite reconhecer com facilidade se se pretende ou n ao exprimir uma implica ca o formal. De forma an aloga, diz-se que as condi co es p(x, y ) e q (x, y ) s ao formalmente equivalentes (ou apenas equivalentes ) sse se tiver: x,y p(x, y ) q (x, y ), express ao esta em que, muitas vezes, se suprime tamb em o quanticador. Conv em salientar que a implica ca o formal p(x, y ) = q (x, y ) pode tamb em exprimir-se dizendo que p(x, y ) e condi ca o suciente para q (x, y ) ou que q (x, y ) e condi ca o necess aria para p(x, y ). No caso de equival encia formal costuma tamb em dizer-se que p(x, y ) e condi ca o necess aria e suciente para q (x, y ). T em import ancia fundamental as seguintes leis designadas por segundas leis de De Morgan que indicam como se efectua a nega ca o de proposi co es com quanticadores: x p(x) x p(x),

x p(x) x p(x).

Para enunciar esta u ltima, poderia dizer-se que n ao existindo nenhum valor de x que torne p(x) verdadeira, todos os valores de x tornam essa proposi ca o falsa, e reciprocamente. Assim, por exemplo: x x2 > 0 x x2 0,

x,y z x = yz x,y z x = yz. 11

 CAP ITULO 1. ELEMENTOS DE LOGICA MATEMATICA

Exerc cios
1. Prove que, quaisquer que sejam as proposi co es p, q e r , se tem: p q q p (comutatividade da disjun ca o), (comutatividade da conjun ca o),

(p q ) r p (q r ) (associatividade da disjun ca o), (p q ) r p (q r ) p q q p (associatividade da conjun ca o),

p (q r ) (p q ) (p r )

(distributividade da conjun ca o a respeito da disjun ca o), (distributividade da disjun ca o a respeito da conjun ca o).

p (q r ) (p q ) (p r )

2. Prove que, quaisquer que sejam as proposi co es p, q e r , s ao verdadeiras as proposi co es: (p = q ) [( q ) = ( p)] (regra do contra-rec proco),

[(p = q ) (q = r )] = (p = r ). 3. Indique quais das seguintes proposi co es s ao verdadeiras e quais s ao falsas (supondo que as vari aveis intervenientes t em por dom nio: a) o conjunto dos reais; b) o conjunto dos naturais): x x2 + 1 > 1, x (x > 2 = x > 1), x y y = x 2 ,

[p (p = q )] = q,

y x y = x 2 ,

x,y z x = yz,

x,y (x y )2 = x2 y 2 .

x,y (x y )2 = x2 y 2 ,

4. Verique que, no conjunto dos reais, as condi co es x y = x2 e y 0 s ao (formalmente) equivalentes. Observe bem que o quanticador x converteu a condi ca o com duas vari aveis y = x 2 , numa express ao proposicional equivalente a ` condi ca o y 0, que tem apenas uma vari avel (a vari avel y , que se diz vari avel n ao quanticada ou vari avel livre ). Na mesma ordem de ideias verique as equival encias (formais): y x = 10y x > 0 x y < x y = y + 1 z x = y + z x > y x y x y = 1 (em R), (em N), (em N), (em N).

5. Mostre que as condi co es p(x) = q (x) e q (x) = p(x) s ao equivalentes, mas que, em geral, qualquer delas n ao e equivalente a 12

1.3. QUANTIFICADORES. q (x) = p(x) (de contr ario, como observa Godement no seu livro citado na Bibliograa, do facto de todos os homens serem mortais poderia deduzir-se que todos os c aes s ao imortais. . . ). 6. Escreva a nega ca o de cada uma das condi co es seguintes: x > z = |f (x)| < ,
2

x y = x ,

y z x x > z = f (x) > y,

x y z x = x y,

y y = x ,

|f (x)| < = x > z, x y z x = x y,

x y z x = x y,

y z x x < z = |f (x)| > y.

7. Como e sabido, sendo un o termo geral de uma sucess ao de termos reais e a um n umero real, a proposi ca o lim u n = a e equivalente a p n (n > p = |un a| < ) (onde p e n t em por dom nio o conjunto dos naturais e o conjunto dos reais positivos). Tendo em conta este facto, mostre que a proposi ca o (lim un = a) equivale a p n (n > p |un a| ) Ser ao estas u ltimas proposi co es equivalentes a lim u n = a? 8. Sabendo que a sucess ao (de termo geral) u n e limitada sse k n |un | < k , dena a no ca o de sucess ao ilimitada (isto e, n ao limitada). Mostre que as sucess oes que vericam a condi ca o n k |un | < k n ao s ao, de forma alguma, apenas as sucess oes limitadas. 9. Verique que sendo z e z = 0. n umeros reais, se ( > 0 |z | < ), ent ao

13

 CAP ITULO 1. ELEMENTOS DE LOGICA MATEMATICA

14

BIBLIOGRAFIA

Bibliograa

[1] F. Dias Agudo. Introdu ca o a ` Algebra Linear e Geometria Anal tica. 1964. [2] R. Godement. Cours dAlg` ebre. [3] M. Monroe. Introductory Real Analysis. [4] J. Santos Guerreiro. Curso de Matem aticas Gerais. Livraria Escolar Editora, 1973. [5] J. Sebasti ao e Silva. Comp endio de Matem atica, volume 1, 1 o tomo. Gabinete de Estudos e Planeamento, Minist erio da Educa ca o, 1970. [6] R. Stoll. Sets, Logic and Axiomatic Theories. [7] P. Suppes. Introduction to Logic.

15

BIBLIOGRAFIA

16

Cap tulo 2

Elementos de teoria dos conjuntos.

As ideias essenciais da teoria dos conjuntos foram introduzidas por G. Cantor, na parte nal do S eculo XIX. Desde ent ao a teoria dos conjuntos n ao deixou de desenvolver-se intensamente, de tal forma que hoje pode dizer-se que todos os ramos da Matem atica foram profundamente inuenciados e enriquecidos por essa teoria. Procuraremos neste Cap tulo introduzir algumas das ideias b asicas da teoria dos conjuntos, evitando no entanto (mesmo com eventual preju zo de rigor) uma formula ca o demasiada abstracta, que julgamos imcompat vel com a forma ca o m edia dos alunos que frequentam o curso. Ali as, o estudo desta teoria poder a ser aprofundado pelos alunos que o desejarem, por meio de alguns dos trabalhos mencionados na Bibliograa.

2.1

Conjuntos. Opera co es fundamentais.

A no ca o de conjunto e uma das no co es primitivas da Matem atica Moderna, isto e, um dos conceitos adoptados como ponto de partida e que servem de base para a deni ca o dos outros conceitos introduzidos no desenvolvimento da teoria. Intuitivamente, um conjunto e encarado como uma colec ca o de objectos de natureza qualquer, os quais se dizem elementos do conjunto. Representa-se simbolicamente por x X a proposi ca o x e um elemento 1 do conjunto X que tamb em se l e x pertence a X . A nega ca o desta proposi ca o escreve-se x / X . Assim, s ao verdadeiras as proposi co es: 2 N, 2 / N, / N.

Para designar o conjunto que tem a, b e c por u nicos elementos usa-se correntemente o s mbolo {a, b, c}. Da mesma forma, o conjunto dos n umeros naturais menores do que 5 pode ser designado por {1, 2, 3, 4}, etc. Frequentemente, um conjunto e denido por uma certa condi ca o, p(x): os elementos do conjunto s ao ent ao precisamente os objectos que convertem p(x) numa
Em estrutura co es rigorosas da teoria dos conjuntos, a no ca o expressa pelo sinal e tamb em adoptada como no ca o primitiva da teoria.
1

17

CAP ITULO 2. ELEMENTOS DE TEORIA DOS CONJUNTOS. proposi ca o verdadeira. Em tal hip otese, recorre-se, para designar o conjunto, ao s mbolo {x : p(x)}, que pode ler-se conjunto dos x que vericam a condi ca o p(x) ou conjunto dos x tais que p(x). Assim, o conjunto dos naturais menores do que 5 poderia tamb em ser designado de qualquer das formas seguintes: {x : x N x < 5}, {x : x = 1 x = 2 x = 3 x = 4}.

Sendo A e B dois conjuntos, diz-se que A est a contido em B ou que A e uma parte ou um subconjunto de B sse todos os elementos de A pertencem tamb em a B , isto e, sse x (x A = x B ). Para armar que A est a contido em B escreve-se A B e para o negar, A B . Nestas condi co es a proposi ca o A B e equivalente a x (x A x / B ). Nota. Em vez de x (x A x / B ) pode tamb em escrever-se xA x / B (existe um x pertencente a A que n ao pertence a B ); analogamente, a express ao x (x A = x B ), pode abreviar-se para xA x B (todo o x pertencente a A pertence a B ). Esta simplica ca o de nota co es, que usaremos na sequ encia em casos an alogos e, por vezes, de grande comodidade. Com o mesmo signicado de A B e tamb em usual escrever-se B A, e dizer-se que B cont em A ou e um sobreconjunto de A. Conv em notar que o facto de se vericar a rela ca o A B n ao exclui a possibilidade de se ter tamb em B A; quando estas duas rela co es s ao conjuntamente vericadas os conjuntos A e B t em precisamente os mesmos elementos e diz-se ent ao que s ao iguais (ou que s ao o mesmo conjunto), podendo escrever-se A = B. Quando se tem A B , mas n ao A = B , diz-se que A e uma parte estrita ou uma parte pr opria de B . Chama-se conjunto singular a qualquer conjunto com um s o elemento; o conjunto singular que tem a por u nico elemento e habitualmente representado por {a}. Conv em notar que neste caso, seria incorrecto escrever a = {a}: um objecto e o conjunto que o tem por u nico elemento n ao s ao, de forma alguma, o mesmo objecto. Assim, por exemplo, enquanto a proposi ca o 1 {1} e obviamente verdadeira, as proposi co es {1} 1, {1} {1}

s ao ambas falsas. Uma condi ca o imposs vel isto e, que n ao seja vericada por nenhum objecto dene tamb em um conjunto, que se chama 18

 2.1. CONJUNTOS. OPERAC OES FUNDAMENTAIS. conjunto vazio e se designa usualmente por . Trata-se, evidentemente, de um conjunto sem elemento algum. Tem-se assim, por exemplo: = {x : x = x}. Dados dois conjuntos, A e B , a intersec ca o de A com B , designada por A B, e o conjunto formado pelos elementos comuns a A e a B ; a reuni ao de A com B e o conjunto A B , formado por todos os elementos que pertencem a um, pelo menos, dos conjuntos A e B . Simbolicamente: A B = {x : x A x B },

A B = {x : x A x B }.

Se A B = , isto e, se A e B n ao t em elementos comuns, diz-se que s ao conjuntos disjuntos . Chama-se diferen ca dos conjuntos A e B , ou complementar de B em A, ao conjunto A \ B formado pelos elementos de A que n ao pertencem a B : A \ B = {x : x A x / B }. evidente que se tem A \ B = sse A B . No estudo de diversas E quest oes sucede, por vezes, poder xar-se de in cio um conjunto U , tal que todos os conjuntos que interessa considerar no desenvolvimento da teoria s ao subconjuntos de U . Quando est a assim xado um conjunto universal , e usual chamar apenas complementar de um dado conjunto A (tal que A U evidentemente!) ao conjunto U \ A, que ent ao se designa de prefer encia pelo s mbolo C (A). Pode tamb em escrever-se, nessa hip otese (e s o nessa): C (A) = {x : x / A}.

Exerc cios
1. Mostre que, quaisquer que sejam os conjuntos A, B e C , se tem A A e A B B C = A C . 2. Mostre que se tem {x : p(x)} {x : q (x)} e {x : p(x)} = {x : q (x)} sse p(x) e equivalente a q (x). sse p(x) implica (formalmente) q (x)

3. Recorrendo a ` equival encia das proposi co es A B e x (x A x / B ), mostre que o conjunto vazio est a contido em qualquer conjunto. 19

CAP ITULO 2. ELEMENTOS DE TEORIA DOS CONJUNTOS. 4. Indique quais das proposi co es seguintes s ao verdadeiras: 2 {1, 2}, , 1 {1}, 1 {2, 3}, {1} {1, 2, 3}, 2 {1, 2, 3}

{1} {1, {2, 3}},

= {x : x N x = x + 1}.

5. Quantos elementos t em os conjuntos seguintes: , {}, {, {}}, {{}}?

Indique algumas proposi co es verdadeiras que exprimam rela co es de inclus ao (isto e, da forma X Y ) e rela co es de perten ca (X Y ) entre dois dos conjuntos dados. 6. Indique dois conjuntos A e B para os quais seja verdadeira a proposi ca o A B A B. 7. Sendo A um conjunto qualquer, chama-se conjunto das partes de A e designa-se por P (A) o conjunto cujos elementos s ao, precisamente, todos os subconjuntos de A. Por exemplo, se A = {1, 2} e P (A) = {, {1}, {2}, A} a) Quantos elementos t em os conjuntos P (), P (P ())? b) Verique que as rela co es x X e {x} P (X ) s ao equivalentes. c) Prove, por indu ca o, que, sendo A um conjunto com n elementos, o n umero de elementos de P (A) e 2n . B = {x : x N x 2}, C = {x : x N x 6}

8. Sendo A = {1},

e designando em geral por Mn e Dn , respectivamente, o conjunto dos m ultiplos e o conjunto dos divisores do n umero natural n, determine os conjuntos A B, 9. M2 D12 , A B, N \ A, B C, (N \ D12 ) (N \ D17 ). B C, A M2 ,

a) Interprete geometricamente (como subconjuntos de R) os seguintes conjuntos: C = {x : |x a| < }, A = {x : |x| < 1}, B = {x : |x| < 0}, D = {x : |x| > 0},

E = {x : |x| > 1},

F = {x : (x a)(x b) < 0}.

20

 2.2. PARES ORDENADOS. SEQUENCIAS. PRODUTO CARTESIANO. RELAC OES. b) Determine A C , A D , A D , E F . 10. a) Interprete geometricamente, como subconjuntos do plano R 2 , os seguintes: A = {(x, y ) : x2 + y 2 1}, C = {(x, y ) : x < y }, F = {(x, y ) : |x| + |y | 1}, 1 2 D = {(x, y ) : xy 0}, B= (x, y ) : x > ,

E = {(x, y ) : x > 0 y > sen x},

G = {(x, y ) : max(|x|, |y |) < 1}.

b) Recorrendo a ` interpreta ca o geom etrica, determine A D , C (B ) E , B C D , A F , A G, C (A) F . 11. Verique que qualquer das condi co es seguintes e equivalente a A B : A B = A, AB =B

e, suposto xado um conjunto universal, U : C (B ) C (A), A C (B ) = , C (A) B = U .

12. Um conjunto X = {a, b, . . .} e duas opera co es designadas, por exemplo, pelos s mbolos e , constituem uma a lgebra de Boole sse forem vericados os seguintes axiomas: 1) a, b X = a b X a b X ;

3) a b = b a, a b = b a (comutatividade);

2) (a b) c = a (b c), a (b c) = (a b) c (associatividade); 4) a (b c) = (a b) (a c), a (b c) = (a b) (a c) (distributividade); 5) existem em X dois elementos, que designaremos por 0 e 1, tais que, para todo o a X , a 0 = a, a 1 = a; 6) para todo o a X existe a X tal que a a = 1, a a = 0. Prove que, sendo A um conjunto arbit ario, o conjunto P (A) e as opera co es de reuni ao e intersec ca o de conjuntos, constituem uma a lgebra de Boole. Quais s ao os elementos 0 e 1 dessa a lgebra?

2.2

Pares ordenados. Sequ encias. Produto cartesiano. Rela co es.

Observemos em primeiro lugar que, sendo a e b dois objectos quaisquer, se tem, evidentemente {a, b} = {b, a}. 21

ITULO 2. ELEMENTOS DE TEORIA DOS CONJUNTOS. CAP Na realidade, segundo a deni ca o atr as indicada, considera-se que dois conjuntos s ao iguais sse tiverem os mesmos elementos, sem que haja que atender a quaisquer outras circunst ancias. Em contrapartida, na Geometria Anal tica plana, se a e b s ao n umeros reais, as nota co es (a, b) e (b, a) referemse a dois pontos distintos (a n ao ser que a = b). Por exemplo, os pares (2, 5) e (5, 2) n ao correspondem, num dado referencial, ao mesmo ponto do plano. Em casos como este e costume dizer que se trata de pares ordenados . 2 De uma forma geral, sendo a e b objectos quaisquer, designaremos por (a, b) o par ordenado que tem a por primeira coordenada (ou primeira projec ca o ) e b por segunda coordenada (ou segunda projec ca o ). Assim, os s mbolos {a, b} e (a, b) designam objectos matem aticos distintos (pode dizer-se que o primeiro e um par , se f or a = b; o segundo, em qualquer hip otese, e um par ordenado . Em particular, deve notar-se que dois pares ordenados s o s ao considerados iguais se forem iguais tanto as suas primeiras como as suas segundas coordenadas, isto e: (a, b) = (c, d) a = c b = d. De uma forma an aloga, sendo a, b e c tr es objectos quaisquer, designaremos pelo s mbolo (a, b, c) o terno ordenado que tem a por primeira coordenada, b por segunda e c por terceira. A no ca o de terno ordenado pode ser denida a partir da de par ordenado: basta dizer que o termo ordenado (a, b, c) e precisamente o par ordenado ((a, b), c), que tem (a, b) por primeira coordenada e c por segunda. Ter-se- a assim, por deni ca o: (a, b, c) = ((a, b), c). Desta deni ca o resulta facilmente que a igualdade (a, b, c) = (a , b , c ) equivale a ` conjun ca o das tr es igualdades a = a , b = b , c = c . As no co es de par ordenado e terno ordenado podem generalizar-se facilmente: sendo n um n umero natural maior do que 13 e a1 , a2 , . . . an objectos quaisquer, designaremos pelo s mbolo (a1 , a2 , . . . an ) a sequ encia cuja primeira coordenada e a1 , . . . e cuja na coordenada e an . A no ca o de sequ encia pode ser denida por indu ca o: para n = 2, a sequ encia de primeira coordenada a 1 e segunda
2 Pode dar-se uma deni ca o de par ordenado, usando apenas no co es j a introduzidas. Uma deni ca o poss vel (que indicamos apenas a t tulo de curiosidade) e a que se exprime pela igualdade seguinte: (a, b) = {{a}, {a, b}}.

Contudo, esta deni ca o, embora permita efectuar as dedu co es l ogicas em que intervem a no ca o em causa, parecer a certamente demasiado abstracta - por excessivamente afastada da no ca o intuitiva de par ordenado - a quem inicia o estudo da teoria dos conjuntos. Parece-nos por isso prefer vel n ao denir aqui a no ca o de par ordenado, a qual poder a ser encarada como no ca o primitiva. 3 No caso n = 1, a sequ encia (a1 ), de primeira (e u nica) coordenada a1 e geralmente identicada com o pr oprio objecto a1 .

22

 2.2. PARES ORDENADOS. SEQUENCIAS. PRODUTO CARTESIANO. RELAC OES. coordenada a2 e precisamente o par ordenado (a1 , a2 ); para n > 2 p oe-se, por deni ca o: (a1 , a2 , . . . , an ) = ((a1 , . . . , an1 ), an ). Reconhece-se sem diculdade que a igualdade de sequ encias: (a1 , a2 , . . . , an ) = (b1 , b2 , . . . , bn ) e equivalente a ` conjun ca o das n igualdades a1 = b 1 , a 2 = b 2 , . . . , a n = b n . Sejam agora A e B dois conjuntos quaisquer. Chama-se produto cartesiano de A e B , e designa-se pelo s mbolo A B , o conjunto de todos os pares ordenados (a, b) tais que a A e b B . Simbolicamente: A B = {(x, y ) : x A y B }. Se, em particular, e A = B , o produto cartesiano A B (ou A A) chama-se quadrado cartesiano de A e designa-se usualmente por A 2 .

Exemplos
1. Sendo A = {1, 2, 3} e B = {1, 4}, tem-se A B = {(1, 1), (1, 4), (2, 1), (2, 4), (3, 1), (3, 4)}, B B = {(1, 1), (1, 4), (4, 1), (4, 4)}. B A = {(1, 1), (4, 1), (1, 2), (4, 2), (1, 3), (4, 3)},

2. Sendo R o conjunto dos reais, o conjunto R 2 e formado por todos os pares ordenados (x, y ), tais que x, y R (isto e, x R e y R). Cada um de tais pares pode, como sabemos, ser identicado com um ponto de um plano no qual tenha sido institu do um referencial; e esse o ponto de vista adoptado na Geometria Anal tica plana. Numa outra ordem de ideias, o par (x, y ) pode tamb em identicar-se com um n umero complexo, precisamente o complexo que, mais correntemente, e designado por x + yi. Sendo A, B e C tr es conjuntos quaisquer, chama-se produto cartesiano de A, B e C e designa-se pelo s mbolo A B C o conjunto de todos os ternos ordenados (x, y, z ) tais que x A, y B e z C . No caso particular de ser A = B = C o conjunto A B C chama-se cubo cartesiano de A e designase por A3 . Mais geralmente, sendo A1 , A2 , . . . , An conjuntos quaisquer, o produto cartesiano de A1 , A2 , . . . , An e o conjunto A1 A2 . . . An , formado 23

ITULO 2. ELEMENTOS DE TEORIA DOS CONJUNTOS. CAP por todas as sequ encias (x1 , x2 , . . . , xn ) tais que x1 A1 , x2 A2 , . . . , xn An : A1 A2 . . . An = {(x1 , x2 , . . . , xn ) : x1 A1 . . . xn An }. Se f or A1 = A2 = . . . = An = A, o conjunto A1 A2 . . . An e a na n pot encia cartesiana de A, habitualmente designada por A .

Exemplos
1. Sendo n um natural qualquer, a na pot encia cartesiana do conjunto dos n reais, R , e o conjunto de todas as sequ encias de n n umeros reais; s ao 1 1 ,..., n ), (0, 0 . . . , 0) elementos de Rn , por exemplo, as sequ encias (1, 2 (com n zeros). 2. Institu do um referencial no espa co ordin ario, cada ponto P deste espa co determina um terno ordenado de n umeros reais (a abcissa x, a ordenada y e a cota z do ponto P , no referencial considerado); reciprocamente, a cada terno ordenado de n umeros reais corresponde um ponto do espa co ordin ario. Nesta ordem de ideias, tal como o conjunto

z P = (x, y, z )

y PSfrag replacements x

R pode ser identicado com o conjunto dos pontos de uma recta e o conjunto R2 com o conjunto dos pontos de um plano, R 3 pode ser interpretado como o conjunto dos pontos do espa co ordin ario (xado um referencial). Para n > 3, n ao h a possibilidade de interpreta co es geom etricas intuitivas deste tipo. Em Geometria Anal tica Plana faz-se corresponder a ` condi ca o p(x, y ) onde x e y s ao vari aveis reais um subconjunto A de pontos do plano. 24

 2.2. PARES ORDENADOS. SEQUENCIAS. PRODUTO CARTESIANO. RELAC OES. Essa correspond encia e estabelecida com base na seguinte conven ca o: para que um ponto, (x0 , y0 ), perten ca ao conjunto A e necess ario e suciente que p(x0 , y0 ) seja uma proposi ca o verdadeira; para exprimir esta ideia, pode tamb em escrever-se, como sabemos: A = {(x, y ) : p(x, y )}. Assim, por exemplo, a `s condi co es y = 2x e y > x que exprimem certas rela co es entre x e y : y e o dobro de x, y e maior do que x correspondem respectivamente, uma determinada recta e um determinado semiplano (observe-se, por em, que a mesma recta e o mesmo semiplano corresponderiam tamb em, por exemplo, a `s condi co es 10 y = 100x e y 3 > x3 , equivalentes a y = 2x e y > x, respectivamente). Em sentido inverso, se for xado um conjunto de pontos do plano, e tamb em natural pensar que car a assim denida uma rela ca o entre x e y : por exemplo, a ` bissectriz dos quadrantes pares isto e, ao conjunto de todos os pontos (x, y ) tais que x + y = 0 corresponderia a rela ca o de simetria (y e o sim etrico de x); a ` circunfer encia de centro na origem e raio 1, caria associada uma rela ca o que poderia exprimir-se dizendo que a soma dos quadrados de x e y e igual a ` unidade, etc. Note-se que, nas considera co es precedentes, o termo rela ca o (que n ao foi ainda denido) tem estado a ser utilizado na sua acep ca o intuitiva; temse apenas em vista sugerir que a cada rela ca o das que foram consideradas, pode associar-se um conjunto de pares ordenados de tal forma que, conhecido este conjunto, poder a dizer-se, em certo sentido, que car a determinada a rela ca o considerada. Um outro exemplo: seja H o conjunto dos homens e M o conjunto das mulheres, residentes em determinada localidade. Uma rela ca o entre M e H (ou entre elementos de M e elementos de H ) e a que se exprime pela condi ca o y e o marido de x (com x M e y H ). Neste caso, para quem dispusesse de uma lista de todos os casais (x, y ), seria f acil, escolhidos arbitrariamente dois elementos, um de M e outro de H , vericar se eles constituiam ou n ao um casal, isto e, se estavam ou n ao na rela ca o considerada. Uma vez mais, o conhecimento de um conjunto de pares ordenados equivaleria ao conhecimento da rela ca o em causa. Consideremos agora a condi ca o X e o ponto m edio do segmento de extremos Y e Z (onde pode supor-se que o dom nio de qualquer das vari aveis X, Y e Z e o espa co ordin ario). Esta condi ca o exprime uma rela ca o que pode ser ou n ao ser vericada por tr es pontos X , Y e Z arbitrariamente escolhidos (e considerados por certa ordem); do ponto de vista que temos vindo a desenvolver, a essa rela ca o corresponde um conjunto, cujos elementos s ao todos os ternos ordenados (U, V, W ) tais que U , V , W s ao pontos do espa co ordin ario e U e o ponto m edio do segmento que tem V e W por extremos. Trata-se, desta vez, de uma rela ca o que faz intervir tr es objectos (rela ca o tern aria ). 25

ITULO 2. ELEMENTOS DE TEORIA DOS CONJUNTOS. CAP Analogamente, a ` condi ca o os pontos P , Q, R e S s ao complanares corresponde um certo conjunto de quaternos ordenados (rela ca o quatern aria ), etc. Os exemplos anteriores contribuir ao talvez para tornar menos articiais as deni co es seguintes, que enunciaremos nos termos abstractos caracter sticos da teoria dos conjuntos: Chama-se rela ca o bin aria a qualquer conjunto de pares ordenados. Mais explicitamente: diz-se que um conjunto A e uma rela ca o bin aria sse cada um dos elementos que o constituem e um par ordenado, isto e, sse: z A x,y z = (x, y ). Se G e uma rela ca o bin aria, em vez de dizer que o par (a, b) pertence a G, diz-se tamb em que o elemento a est a na rela ca o G com o elemento b e escreve-se, por vezes, a G b. Consideremos, por exemplo, a rela ca o bin aria entre n umeros reais que habitualmente se representa pelo sinal <. De acordo com a deni ca o anterior, essa rela ca o e um conjunto de pares, tais como (2, 3), (1, 5), etc. Em vez de dizer que o par (2, 3) pertence a ` rela ca o considerada, diz-se de prefer encia que 2 est a nessa rela ca o com 3 (ou que 2 e menor do que 3) e escreve-se 2 < 3. De forma an aloga, uma rela ca o tern aria e, por deni ca o, qualquer conjunto de ternos ordenados; mais geralmente, sendo n N , chama-se rela ca o n- aria a qualquer conjunto formado por sequ encias de n objectos. Assim, por exemplo, s ao rela co es n- arias os conjuntos de todas as sequ encias (x1 , x2 , . . . , xn ) de n n umeros reais que vericam uma qualquer das tr es condi co es seguintes: 1a ) x1 + x2 + . . . + xn = 0,
2 2 2a ) x 2 1 + x2 + . . . + xn = 0, 2 2 3a ) x 2 1 + x2 + . . . + xn + 1 = 0.

Observe-se de passagem que, no 1o caso, h a innitas sequ encias que pertencem a ` rela ca o considerada (se n > 1); no 2 o caso, a rela ca o e constitu da o por uma u nica sequ encia: a sequ encia nula, formada por n zeros; no 3 , a rela ca o n ao contem sequ encia alguma (rela ca o vazia). No que vai seguir-se, as rela co es que ter ao maior interesse para n os ser ao as rela co es bin arias; ali as, nesta parte do curso, quase nunca nos referiremos a outras. Convencionamos por isso que o termo rela ca o dever a de aqui em diante ser interpretado como abreviatura da express ao rela ca o bin aria (salvo algum caso em que seja evidente que tal interpreta ca o e inaceit avel). Sendo A e B dois conjuntos, qualquer subconjunto do produto cartesiano AB e, evidentemente, um conjunto de pares ordenados, e portanto uma rela ca o: e o que por vezes se chama uma rela ca o entre os conjuntos A e 26

 2.2. PARES ORDENADOS. SEQUENCIAS. PRODUTO CARTESIANO. RELAC OES. B . Se, em particular, for A = B , poder a dizer-se que se trata de uma nesta acep rela ca o no conjunto A. E ca o que a usual rela ca o de maior pode considerar-se como uma rela ca o no conjunto dos reais, a de divisor como uma rela ca o no conjunto dos naturais, a de irm ao, no conjunto das pessoas humanas, etc. Sendo G uma rela ca o, chama-se dom nio de G ao conjunto de todos os elementos x para os quais existe (pelo menos) um y tal que x G y e contradom nio de G ao conjunto dos y para os quais existe (pelo menos) um x tal que x G y ; o dom nio e o contradom nio de G podem designar-se, respectivamente, por DG e CG : DG = {x : y x G y }, CG = {y : x x G y }.

Assim, o dom nio da rela ca o determinada pela condi ca o y e o marido de x, considerada num dos exemplos anteriores, e o subconjunto de M formado pelas mulheres casadas (cujo marido resida tamb em na localidade considerada); o contradom nio e a parte de H formada pelos homens casados com mulheres do conjunto M . A rela ca o determinada no conjunto dos reais pela condi ca o x2 + y 2 = 1 tem por dom nio e por contradom nio o conjunto dos reais compreendidos entre 1 e 1 (incluindo estes dois n umeros). A rela ca o de perten ca (entre um conjunto qualquer A e o conjunto P (A), dos seus subconjuntos) formada por todos os pares (x, X ) tais que x A, X A e x X , tem por dom nio o conjunto A e por contradom nio P (A) \ {}. Sendo G uma rela ca o, chama-se inversa ou rec proca de G e representase por G1 a rela ca o que se obt em trocando as coordenadas em cada par (x, y ) G, isto e: G1 = {(y, x) : (x, y ) G}. Tem-se, portanto, y G1 x x G y. Por exemplo, a inversa da rela ca o de maior (y > x) e a rela ca o de menor (y < x) e a inversa da rela ca o denida pela condi ca o x 2 +y 2 = 1 e essa mesma evidente que, sendo G uma rela rela ca o. E ca o arbitr aria, DG1 = CG , e ainda (G1 )1 = G. CG1 = DG

Exerc cios
1. Prove que A (B C ) = (A B ) (A C ), A B = A = B = . 27

A (B C ) = (A B ) (A C ),

ITULO 2. ELEMENTOS DE TEORIA DOS CONJUNTOS. CAP 2. Prove, por indu ca o, que se A tem m elementos e B tem n elementos, (m, n N), A B tem mn elementos. 3. Sendo A = , B = {0, 1}, C = {1}, D = {0, 2, 4, 6}, forme os produtos cartesianos: B C D , B 3 , A B D , C 5 e D 2 . 4. a) Verique que a rela ca o G = {(0, {0}), (0, {0, 1}), (1, {1}), (1, {0, 1})} e precisamente a usual rela ca o de perten ca entre elementos do conjunto A = {0, 1} e subconjuntos deste mesmo conjunto.

b) Dena, de forma an aloga, a rela ca o de igualdade, entre elementos de A e as rela co es de igualdade e de inclus ao, entre subconjuntos de A. 5. Determine os dom nios, os contradom nios e as rela co es inversas das rela co es: a) de igualdade b) de divisor c) de inclus ao (em N), (em N), (em P (A), sendo A um conjunto arbitr ario).

6. O mesmo para as rela co es em R, formadas por todos os pares (x, y ) cujas coordenadas vericam as condi co es seguintes: x y, x = 3y, x2 = y, x = sen y.

2.3

Fun co es. Aplica co es. Invers ao. Composi c ao.

Introduziremos agora a seguinte deni ca o fundamental: Uma rela ca o F diz-se uma fun ca o sse n ao cont em dois pares distintos com igual primeira coordenada; assim, dizer que F e uma fun ca o equivale a dizer que, quaisquer que sejam x, y e z (x, y ) F (x, z ) F = y = z. A rela ca o em R, determinada pela condi ca o x 2 + y 2 = 1 n ao e uma fun ca o: pertencem-lhe, por exemplo, os pares (0, 1) e (0, 1). No exemplo dos casais, a rela ca o considerada e uma fun ca o (exclu da a hip otese de poliandria). A lista telef onica de uma localidade dene evidentemente uma rela ca o, associando a cada assinante o seu - ou os seus - n umeros de telefone. Tal rela ca o s o ser a uma fun ca o se n ao houver na localidade assinantes que a tenham mais de um n umero de telefone. Intuitivamente, uma fun ca o pode ser imaginada como uma tabela, com duas colunas, gurando em cada ` coluna dos x corresponder linha um par (x, y ). A a o dom nio da fun ca o, 28

 COMPOSIC 2.3. FUNC OES. APLICAC OES. INVERSAO. AO. a ` coluna dos y o contradom nio. Evidentemente, tratando-se de facto de uma fun ca o, se gurarem, em duas linhas, os pares (x, y ) e (x, z ), ter-se- a necessariamente y = z . Em vez de dizer que uma fun ca o F tem por dom nio o conjunto A, diz-se tamb em que F e uma fun ca o denida em A. Seja F uma fun ca o e x um elemento qualquer do seu dom nio; chama-se valor de F em x (ou valor de F no ponto x) o ( unico) objecto y tal que (x, y ) F . O valor de F no ponto x e habitualmente designado por F (x), podendo ent ao escrever-se y = F (x) em lugar de (x, y ) F . Quando se pretende denir uma fun ca o e geralmente prefer vel, em vez de indicar explicitamente os pares que a constituem, descrever o seu dom nio e, para cada valor de x nesse dom nio, indicar como pode obter-se o correspondente valor da fun ca o. Por exemplo, o conjunto de todos os pares (x, x 2 ), com x R e evidentemente uma fun ca o, f . Para descrev e-la, poder a dizer-se: f e a fun ca o denida em 2 R tal que f (x) = x (x R). Sendo A e B dois conjuntos quaisquer, designa-se por aplica ca o de A em B qualquer fun ca o cujo dom nio seja A e cujo contradom nio seja uma parte de B 4 . Para indicar que f e uma aplica ca o de A em B pode escrever-se f : A B . Evidentemente, sempre que f seja uma aplica ca o de A em B , ter-se- a, por deni ca o, Df = A, Cf B.

No caso particular de ser Cf = B , diz-se que a aplica ca o f e sobrejectiva (ou que f e uma sobrejec ca o ) de A em B ; dizer que f : A B e uma sobrejec ca o equivale portanto a armar que e verdadeira a proposi ca o yB xA y = f (x) Por outro lado, uma aplica ca o f : A B diz-se injectiva (ou uma injec ca o ) sse, para cada y B , existe quando muito um x A tal que y = f (x); doutra forma, dizer que f e injectiva equivale a dizer que: x ,x ou, o que e o mesmo: x ,x
A A

x = x = f (x ) = f (x ),

f (x ) = f (x ) = x = x .

Diz-se ainda que f : A B e bijectiva (ou que e uma bijec ca o ) sse ` aplica f e injectiva e sobrejectiva. As co es bijectivas de A em B chama-se tamb em correspond encias biun vocas entre A e B 5 .
Em vez de aplica ca o de A em B diz-se tamb em por vezes fun ca o denida em A e com valores em B . 5 Usam-se tamb em as express oes: aplica ca o de A sobre B , aplica ca o biun voca de A em B , a aplica ca o biun voca de A sobre B para signicar respectivamente, aplica ca o sobrejectiva, injectiva e bijectiva de A em B .
4

29

ITULO 2. ELEMENTOS DE TEORIA DOS CONJUNTOS. CAP

Exemplos
1. A aplica ca o f : R R, tal que f (x) = x 2 (x R) n ao e injectiva (por exemplo, f (3) = f (3)), nem sobrejectiva (n ao existe x R tal que f (x) = 1). 2. A aplica ca o g : N N, denida por g (x) = x 2 , e injectiva mas n ao sobrejectiva (n ao existe x N que g (x) = 2). 3. A aplica ca o D : D {0, 1} denida por D (x) = 0 1 se x e racional, se x e irracional,

(aplica ca o por vezes chamada fun ca o de Dirichlet ) e sobrejectiva mas n ao injectiva. 4. A aplica ca o : R R, (x) = x3 e uma bijec ca o. Seja f uma aplica ca o de A em B . Como qualquer rela ca o, f admite uma rela ca o inversa, f 1 . Em geral, por em, f 1 n ao e uma fun ca o. Quais ser ao 1 ent ao as aplica co es f para as quais f e uma fun ca o? A resposta e f acil: para que f 1 seja uma fun ca o deve ter-se: x ,x
A

f (x ) = f (x ) = x = x

o que, como vimos, signica que f e injectiva. Assim, a rela ca o inversa f 1 de uma aplica ca o f : A B e uma fun ca o, sse f e injectiva. Em tal caso, 1 chama-se a f a fun ca o inversa ou a aplica ca o inversa de f . Sejam A, B e C tr es conjuntos, f uma aplica ca o de A em B e g uma aplica ca o de B em C . A cada x A corresponde, por meio de f , um u nico elemento y = f (x) B ; por sua vez g , aplica ca o de B em C , associa a esse y um e um s o z = g (y ) C . Assim, aplicando, sucessivamente f e g , faz-se corresponder a cada x A um u nico elemento z = g (f (x)) C , denindo-se portanto uma aplica ca o de A em C , que se chama aplica ca o composta de f e g . Em resumo: chama-se aplica ca o composta de f e g e designa-se por g f a aplica ca o de A em C denida por (g f )(x) = g (f (x)) (x A).

Consideramos, por exemplo, as aplica co es: : R R, (x) = sen x, (x) = x2 . 30

: R R,

 COMPOSIC 2.3. FUNC OES. APLICAC OES. INVERSAO. AO. Tem-se: ( )(x) = ((x)) = (sen x)2 = sen2 x, ( )(x) = sen(x2 ) e tamb em: ( )(x) = sen(sen x), ( )(x) = x4 . Por outro lado, se f or : N R, ter-se- a ainda: ( )(x) = sen x (x N) (x) = x,

( )(x) = x

(x N),

mas as composi co es , n ao poder ao formar-se (notar que a composi ca o de duas aplica co es f e g s o foi denida na hip otese de ser f : A B e g : B C ; ver, no entanto, uma nota ulterior). O exemplo anterior revela, em particular, que a composi ca o de aplica co es n ao e uma opera ca o comutativa: existindo f g e g f pode ter-se f g = g f (pode tamb em acontecer que uma das composi co es tenha sentido e a f outra n ao ou que qualquer delas o n ao tenha). E acil, por em provar que a composi ca o de aplica co es e associativa, isto e, que, sendo f : A B , g : B C e h : C D , se tem sempre h (g f ) = (h g ) f. Deixaremos a demonstra ca o como exerc cio. Sendo A um conjunto qualquer, chama-se aplica ca o id entica em A a ` aplica ca o : IA : A A denida por IA (x) = x (x A). evidente que a aplica E ca o IA e uma bijec ca o e que a inversa, A1 , e a pr opria aplica ca o IA . J a sabemos que se : A B e uma aplica ca o bijectiva, a inversa 1 e tamb em uma bijec ca o (de B em A). Tem-se ent ao, como logo se reconhece: (1 )(x) = x (
1

)(y ) = y

y B,

x A,

isto e, 1 = IA , 31 1 = IB .

ITULO 2. ELEMENTOS DE TEORIA DOS CONJUNTOS. CAP Introduziremos ainda as seguintes deni co es, que nos ser ao necess arias na sequ encia: Sejam A e B dois conjuntos, f uma aplica ca o de A em B e C um subconjunto de A. Chama-se restri ca o de f ao conjunto C e designa-se por f |C a aplica ca o de C em B denida por: f |C (x) = f (x), x C.

Em particular, ter-se- a evidentemente, f | A = f . Nas mesmas condi co es acima referidas, chama-se imagem ou transformado do conjunto C pela fun ca o f e designa-se pelo s mbolo f (C ), o contradom nio da aplica ca o f |C , isto e, o conjunto dos valores f (x), que correspondem a todos os elementos x C . Tem-se assim, por deni ca o: f (C ) = Cf |C = {y : xC y = f (x)}, sendo tamb em evidente que f (A) = Cf . Supondo ainda que f e uma aplica ca o de A em B , seja agora D um subconjunto de B ; chama-se ent ao imagem inversa ou imagem rec proca de D por f e designa-se por f 1 (D ) o conjunto de todos os elementos x A tais que f (x) D : f 1 (D ) = {x A : f (x) D }. Nas condi co es referidas ter-se- a portanto f 1 (B ) = A. Nota. A no ca o de aplica ca o composta pode ser denida com maior generalidade do que foi feito atr as: sendo f : A B e g : C D duas aplica co es (onde agora A, B , C e D s ao conjuntos quaisquer) chamar-se- a composta de f com g e designar-se- a ainda por g f a fun ca o que tem por dom nio o conjunto E = {x A : f (x) C } e tal que, para cada x E , se tem g f (x) = g (f (x)). Evidentemente, pode acontecer que o conjunto E seja vazio, caso em que g f , fun ca o com dom nio vazio, ser a a chamada fun ca o vazia ( e o que se passa, por exemplo, se f or f : R R, f (x) = x 2 e g : ]0, +[ R, g (x) = em observar que a maior generalidade da deni ca o acabada de 1/ x). Conv referir e, em certo sentido, apenas aparente: na realidade e f acil vericar que a fun ca o g f agora denida n ao e mais do que a composta g f | E no sentido previamente considerado da restri ca o de f ao conjunto E com a fun ca o g . N ao e tamb em dif cil reconhecer que, mesmo com a deni ca o considerada nesta Nota, a composi ca o de fun co es e ainda uma opera ca o associativa.

Exerc cios
1. Das rela co es consideradas nos exerc cios 4, 5 e 6 da sec ca o 2.2, indique: 32

 COMPOSIC 2.3. FUNC OES. APLICAC OES. INVERSAO. AO. a) as que s ao fun co es; b) as que t em por inversa uma fun ca o. 2. D e exemplos de aplica co es de R em R e de N em N que sejam: a) bijectivas, b) injectivas mas n ao sobrejectivas, c) sobrejectivas mas n ao injectivas, d) n ao injectivas nem sobrejectivas. 3. Classique, numa das quatro classes consideradas nas al neas do exerc cio 2, as seguintes fun co es: f : R R, F : N N, g : N R, f (x) = x, g (x) = x1 , F (x) = x + 1, G(x) = 1 + |C (x)|,

G : R N,

onde C (x) designe o maior n umero inteiro inferior ou igual a x. 4. Supondo A B , chama-se aplica ca o can onica de A em B a ` aplica ca o I : A B denida por I (x) = x (x A). Prove que I e uma aplica ca o injectiva. Em que caso e bijectiva? 5. Prove que se f : A B e injectiva, f 1 : Cf A e uma bijec ca o e que se g : A B e uma bijec ca o, g 1 : B A e tamb em uma bijec ca o. 6. Dadas as aplica co es de R em si mesmo denidas por f (x) = x3 , g (x) = x + 1, h(x) = |x|,

determine f g , g f , f h, h f , g h, h g , (f g ) h, f (g h), f 1 g , f 1 g 1 , g 1 f 1 e (f g )1 . 7. Sendo f , g e h as aplica co es do exerc cio 6 e C = {1, 0, 1}, D = {x : x R 2 x < 3},

determine os conjuntos f (C ), g (C ), h(C ), f (D ), g (D ), h(D ), f (N), g (N), h(N), f (R), g (R) e h(R). 8. Sendo f : A B , verique que f IA = IB f = f . 9. Prove que a composi ca o de aplica co es e uma opera ca o associativa. 33

ITULO 2. ELEMENTOS DE TEORIA DOS CONJUNTOS. CAP 10. Recordando que uma fun ca o foi denida como sendo um conjunto de pares ordenados (com certa propriedade especial) e tendo em conta a deni ca o de igualdade de conjuntos, prove que duas fun co es f e g s ao iguais sse (Df = Dg ) (xDf f (x) = g (x)). 11. Prove que se f : A B e g : B C s ao injectivas (resp. sobrejectivas) gf e injectiva (resp. sobrejectiva). 12. Prove que f : A B e uma bijec ca o sse existe g : B A tal que f g = IB e g f = IA . 13. Sendo A e B dois conjuntos, diz-se que A e equipotente a B e escrevese A B sse existe uma bijec ca o f : A B . Prove que, quaisquer que sejam A, B e C , se tem: a) A A.

b) A B B A.

c) A B B C = A C .

2.4

Rela co es de equival encia. Rela co es de ordem.

Seja A um conjunto n ao vazio. Uma rela ca o G no conjunto A, diz-se uma rela ca o de equival encia sse forem vericadas as propriedades seguintes: xA x G x (reexividade), (simetria), (transitividade).

x,y,z A x G y y G z = x G z

x,yA x G y = y G x

S ao rela co es de equival encia, por exemplo, a rela ca o de igualdade (num conjunto qualquer), a rela ca o de paralelismo (no conjunto das rectas do espa co, e admitindo que se considera a coincid encia como caso particular do paralelismo), a rela ca o de semelhan ca (entre tri angulos, por exemplo), a rela ca o de equipot encia, entre subconjuntos de um conjunto arbit ario (cf. exerc cio 13), etc. N ao s ao rela co es de equival encia: a rela ca o de perpendicularidade, entre rectas (n ao e reexiva, nem transitiva), as rela co es de divisor entre n umeros naturais e de contido entre conjuntos (n ao s ao sim etricas), a rela ca o de maior (n ao e reexiva, nem sim etrica). Fixada uma rela ca o de equival encia G num conjunto A, diz-se que dois elementos a, b de A s ao equivalentes (segundo G) sse a G b. Nas mesmas condi co es, sendo c um elemento qualquer de A, chama-se classe de equival encia de c (segundo G) e designa-se usualmente por G[c], ou apenas [c], o conjunto de todos os elementos de A que s ao equivalentes a c: x [c] x G c. 34

 2.4. RELAC OES DE EQUIVALENCIA. RELAC OES DE ORDEM. No caso da rela ca o de paralelismo, a classe de equival encia de uma recta e o conjunto de todas as rectas que t em a mesma direc ca o do que a recta dada; para a rela ca o de igualdade num conjunto X , tem-se para qualquer elemento c X, [c] = {c} (isto e, a classe de equival encia de c tem um u nico elemento: o pr oprio c). Demonstraremos agora o seguinte: Teorema. Seja G uma rela ca o de equival encia no conjunto A, a e b elementos quaisquer de A. Tem-se ent ao: 1) a [a]. 2) a G b [a] = [b]. 3) (a G b) [a] [b] = . Demonstra ca o: 1) Para provar que a pertence a ` sua pr opria classe de equival encia, basta atender a ` deni ca o desta classe e ao facto de que, por hip otese, a e equivalente a si pr oprio (visto que a rela ca o G e reexiva ). Observe-se que de aqui resulta, em particular, que nenhuma classe de equival encia e vazia. 2) Para provar que, se a e b s ao equivalentes t em a mesma classe de equival encia, suponha-se, de facto, a G b e observe-se que, se c e um elemento qualquer de [a] tem-se (por deni ca o de [a]) c G a e portanto tamb em, pela transitividade de G, c G b, isto e c [b]. Fica assim provado que [a] [b] e, como poderia provar-se da mesma forma que [b] [a], pode concluir-se que [a] = [b]. Reciprocamente, se [a] = [b], tem-se, por (1), a [b] e portanto a G b. 3) Para reconhecer que as classes de equival encia de dois elementos n ao equivalentes s ao disjuntas ou, o que e o mesmo que, se [a] [b] = , se tem necessariamente, a G b basta notar que, sendo c [a] [b], ter-se- a c G a (visto que c [a]) e c G b (visto que c [b]). Logo, atendendo a ` simetria de G, ter-se- a tamb em a G c e c G b e nalmente, pela transitividade, a G b. Em sentido inverso observe-se que, por (2), a G b = [a] = [b] e portanto, como uma classe de equival encia n ao pode ser vazia, [a] [b] = . Introduziremos ainda a seguinte deni ca o: Sendo G uma rela ca o de equival encia num conjunto A, chama-se conjunto quociente de A (segundo G) e designa-se por A/G o conjunto formado pelas classes de equival encia (segundo G) de todos os elementos de A. Por exemplo, no caso de G ser a rela ca o de igualdade no conjunto A, A/G eo conjunto de todas as partes de A que t em apenas um elemento. Se G for 35

ITULO 2. ELEMENTOS DE TEORIA DOS CONJUNTOS. CAP a rela ca o de equival encia, no conjunto das pessoas (n ao ap atridas), denida por: x G y x tem a mesma nacionalidade que y , cada uma das classes de equival encia segundo G ser a formada por todas as pessoas que t em uma determinada nacionalidade e o conjunto quociente corresponder a, de certo modo, ao conjunto de todas as nacionalidades. Nota. Como exemplo particularmente signicativo da utiliza ca o da no ca o de conjunto quociente em Matem atica, indicaremos nesta nota o processo usualmente adoptado para denir o conjunto Z dos n umeros inteiros (0, 1, 2,. . . ) a partir do conjunto dos naturais, N, que, por agora, suporemos previamente conhecido. A deni ca o pode indicar-se em poucas palavras (mas s o poder a ser bem compreendida se se tiver em conta a motiva ca o que ser a indicada posteriormente): Considere-se o conjunto N2 , de todos os pares ordenados de n umeros naturais, N2 = {(a, b) : a, b N} e, neste conjunto, a rela ca o de equival encia G denida da seguinte forma: (a, b) G (c, d) a + d = b + c. Nestas condi co es, o conjunto Z dos n umeros inteiros e, por deni ca o, o conjunto quociente N2 /G. Qual a ordem de ideias que pode conduzir naturalmente a esta deni ca o? Para a apreender comecemos por lembrar que a considera ca o do conjunto Z e essencialmente motivada por uma insuci encia do conjunto dos naturais: o facto de nem sempre ser poss vel em N a opera ca o de subtrac ca o. Na realidade, supondo a, b N, a equa ca o em x: a+x=b s o tem solu ca o em N se f or a < b. Como esta limita ca o e indesej avel, do ponto de vista alg ebrico, surge naturalmente a ideia de construir um sobreconjunto Z do conjunto N, no qual a equa ca o anterior j a tenha solu ca o, quaisquer que sejam a e b. Nesse sentido, observemos primeiramente que, quando a equa ca o considerada tem solu ca o em N isto e, quando a < b essa solu ca o eu nica (x = b a). Pode exprimir-se este facto dizendo que a cada par (a, b) de n umeros naturais, que verique a condi ca o a < b, corresponde um e um s o natural x, que e solu ca o da equa ca o considerada. Note-se, por em, que a correspond encia assim estabelecida entre os n umeros naturais x e os pares ordenados (a, b) N2 , tais que a < b, n ao e biun voca; por exemplo, a qualquer dos pares (1, 5), (2, 6), (3, 7), . . . corresponde o mesmo natural, 4 (solu ca o comum das equa co es 1 + x = 5, 2 + x = 6, . . .). 36

 2.4. RELAC OES DE EQUIVALENCIA. RELAC OES DE ORDEM. Que condi ca o devem ent ao vericar dois pares (a, b) e (c, d) com a < b e c < d para que lhes corresponda o mesmo natural x? Facilmente se v e que tal condi ca o pode ser expressa pela igualdade a + d = b + c. Assim, se utilizarmos esta igualdade para denir uma rela ca o g no subconjunto de N2 formado pelos pares com primeira coordenada inferior a ` segunda, isto e, se pusermos, no referido conjunto: (a, b) g (c, d) a + d = b + c, vericamos sem diculdade que g e uma rela ca o de equival encia e que as classes de equival encia determinadas por esta rela ca o podem p or-se em correspond encia biun voca com os n umeros naturais. O que se passar a, por em, se considerarmos a rela ca o de equival encia G, denida da mesma forma, n ao no subconjunto de N 2 acima indicado, mas em todo o conjunto N2 ? Al em das classes de equival encia correspondentes aos n umeros naturais (todas formadas por pares em que a primeira coordenada e menor do que a segunda) obteremos agora novas classes que, intuitivamente, poderemos supor corresponderem a n umeros de novo tipo, precisamente os n umeros de que necessit avamos para resolver equa co es da forma a + x = b, quando f or a b. Agora, para dar uma deni ca o matematicamente correcta dos objectos que constituem o novo conjunto num erico que alcan ca mos (por enquanto apenas intuitivamente) e que e precisamente o conjunto dos inteiros, o mais simples ser a chamar n umero inteiro a qualquer das classes de equival encia 2 determinadas em N pela rela ca o G. Uma tal deni ca o parecer a certamente, a uma primeira vista, um tanto articial: claro que, na pr atica, ningu em pensar a nunca, ao calcular com inteiros, que eles s ao certas classes de equival encia de pares de n umeros naturais. Por em, n ao e de c alculo que agora se trata, mas sim de procurar obter uma deni ca o rigorosa do conjunto Z, a partir de N e utilizando exclusivamente no co es fundamentais da teoria dos conjuntos (tais como a de produto cartesiano e a de conjunto quociente) que, por sua vez, tenham j a sido denidas com o indispens avel rigor. Ora para este efeito, a deni ca o indicada e perfeitamente satisfat oria. Designando por [a, b] a classe de equival encia a que pertence o par (a, b) com a e b naturais quaisquer diremos que esta classe corresponde a um n umero natural sse for a < b; nesta hip otese, o n umero natural correspondente ao inteiro [a, b] e precisamente o n umero b a. Quando for a b, a classe [a, b] e um inteiro que n ao corresponde j aa nenhum n umero natural. Na pr atica, cada n umero natural e o n umero inteiro correspondente em princ pio, objectos matem aticos distintos s ao mesmo identicados, passando-se a design a-los pelo mesmo s mbolo. Feita essa identica ca o, poder a dizer-se que o conjunto N e um subconjunto do conjunto Z. 37

ITULO 2. ELEMENTOS DE TEORIA DOS CONJUNTOS. CAP Vejamos como se denem as opera co es alg ebricas fundamentais no conjunto Z, acabado de construir. A adi ca o de dois inteiros e denida pela igualdade 6 : [a, b] + [c, d] = [a + c, b + d]. Facilmente se verica que todos os pares da forma (c, c), com c N), s ao equivalentes entre si e que se tem, para qualquer inteiro [a, b]: [a, b] + [c, c] = [a, b] (atender a ` igualdade [a + c, b + c] = [a, b], consequ encia da equival encia dos pares (a + c, b + c) e (a, b)). Assim, [c, c] e elemento neutro para a adi ca o: chama-se-lhe zero do conjunto Z e usa-se, para design a-lo, o s mbolo 0. Os inteiros [a, b] e [b, a], de soma igual a zero, s ao inteiros sim etricos; e f acil reconhecer que qualquer inteiro diferente de zero ou e um n umero natural ou e o sim etrico de um n umero natural (o que, em particular, sugere a forma usual de nota ca o dos inteiros: 0, 1, 2, . . . ). No que respeita a ` multiplica ca o de inteiros, limitar-nos-emos a indicar que ela pode ser denida pela igualdade [a, b] [c, d] = [ad + bc, ac + bd], a partir da qual e bastante simples (como o teria sido tamb em no caso da adi ca o) deduzir as propriedades da multiplica ca o de inteiros j a conhecidas do curso liceal. Finalmente, e importante observar que pode construir-se o conjunto Q, dos n umeros racionais, a partir do conjunto Z, por um processo inteiramente an alogo ao que seguimos na passagem de N para Z. A ideia orientadora desta nova amplia ca o e a de tornar resol uvel qualquer equa ca o da forma ax =b com a = 0, isto e, no fundo, a de tornar sempre poss vel a divis ao, com divisor diferente de zero. O conjunto Q pode ent ao ser denido pela forma seguinte: Considere-se o conjunto de todos os pares (a, b) com a, b Z e a = 0, isto e, o conjunto (Z \ {0}) Z que aqui representaremos abreviadamente por W , e introduza-se em W a rela ca o de equival encia S denida por (a, b) S (c, d) ad = bc.
Observe-se que, se os pares (a, b) e (c, d) forem respectivamente equivalentes a (a , b ) e (c , d ), tamb em os pares (a + c , b + d ) e (a + c, b + d) ser ao equivalentes, o que mostra que a igualdade em refer encia permite realmente denir uma opera ca o no conjunto dos inteiros (isto e, uma aplica ca o de Z Z em Z).
6

38

 2.4. RELAC OES DE EQUIVALENCIA. RELAC OES DE ORDEM. O conjunto dos racionais Q e, por deni ca o o quociente W/S . Quanto b a `s opera co es alg ebricas, designando por a a classe de equival encia a que pertence o par (a, b) o que, ali as, poder a lan car alguma luz sobre a raz ao que levou a denir a rela ca o S pela forma indicada. . . p or-se- a, por deni ca o: ad + bc b d + = , a c ac bd b d = . a c ac Cada n umero inteiro c ser a identicado com um racional, precisac mente o racional 1 , passando ent ao a ter-se N Z Q. Tamb em neste caso podem deduzir-se sem diculdade as propriedades operat orias j a conhecidas, o que n ao faremos. Seja A um conjunto qualquer e suponhamos xada uma rela ca o bin aria no conjunto A, rela ca o que designaremos pelo s mbolo (que pode lerse precede). Diz-se que e uma rela ca o de ordem parcial sse forem vericadas as propriedades seguintes: x,yA x y = x = y (anti-reexividade), (anti-simetria), (transitividade).

x,y,z A x y y z = x z Se, al em destas propriedades, se tiver: x,yA

x,yA x y = (y x)

xy x=y yx

(tricotomia)

a rela ca o dir-se- a uma rela ca o de ordem total , ou simplesmente uma rela ca o de ordem . Como exemplos de rela co es de ordem, registaremos: a rela ca o de < (ou a de >), no conjunto dos reais, R (ou em qualquer dos conjuntos N, Z, Q) e a rela ca o determinada, no conjunto de todas as palavras da l ngua portuguesa, pela condi ca o x precede alfabeticamente y . Como exemplos de rela co es de ordem parcial (al em dos anteriores, visto que qualquer rela ca o de ordem total e tamb em uma rela ca o de ordem parcial) indicaremos ainda a rela ca o de inclus ao estrita isto e, a rela ca o denida pela condi ca o X Y X = Y entre as partes de um conjunto qualquer, a rela ca o de divisor estrito no conjunto dos inteiros 7 , a rela ca o de descendente no conjunto dos seres humanos, etc. Um conjunto A diz-se ordenado (ou totalmente ordenado ), quando estiver xada uma rela ca o de ordem em A; da mesma forma, um conjunto no qual se tenha xado uma rela ca o de ordem parcial e um conjunto parcialmente ordenado . Dada uma rela ca o de ordem (total ou parcial), num
7

x e divisor estrito de y equivale a x divide y e x = y .

39

ITULO 2. ELEMENTOS DE TEORIA DOS CONJUNTOS. CAP conjunto A, chama-se rela ca o de ordem lata associada a , a rela ca o denida pela forma seguinte: x y x y x = y. Por exemplo, a rela ca o de , no conjunto dos reais e a rela ca o de ordem lata associada a ` rela ca o <; as rela co es latas associadas a `s de estritamente contido e de divisor estrito s ao as rela co es de contido e de divisor, respectivamente. Facilmente se verica que, sendo uma rela ca o de ordem parcial no conjunto A, a rela ca o de ordem lata associada a tem as propriedades: x,yA x y y x = x = y xA x x (reexividade), (anti-simetria lata), (transitividade)

x,y,z A x y y z = x z

e que, se for uma rela ca o de ordem total, se tem ainda: x,yA x y y x (dicotomia) .

Consideremos agora um conjunto (totalmente) ordenado A e, para maior comodidade, designemos pelo s mbolo <, que leremos mesmo menor, a rela ca o de ordem xada em A. Introduzamos ainda as habituais conven co es de nota ca o: a > b b < a,

etc.

a b < c a b b < c,

a < b < c a < b b < c,

a b a > b a = b,

Nestas condi co es, sendo a e b elementos de A tais que a b, chama-se intervalo fechado de extremos a e b (no conjunto A) e designa-se por [a, b], o conjunto: [a, b] = {x : x A a x b} Dene-se analogamente o intervalo aberto de extremos a e b: ]a, b[ = {x : x A a < x < b} e os intervalos semifechados : [a, b[ = {x : x A a x < b}

]a, b] = {x : x A a < x b} 40

 2.4. RELAC OES DE EQUIVALENCIA. RELAC OES DE ORDEM. Seja agora X um subconjunto qualquer de A. Diz-se que um elemento c de A e um minorante de X sse xX c x. Evidentemente, se c for um minorante de X , qualquer elemento c A tal que c c ser a tamb em um minorante de X . Diz-se que o conjunto X e minorado (ou limitado inferiormente ) sse X tiver pelo menos um minorante; assim, dizer que X e minorado equivale a armar que cA xX c x. que Analogamente, chama-se majorante de X a qualquer elemento d A tal xX x d e diz-se que o conjunto X e majorado (ou limitado superiormente ) sse dA xX x d. Um conjunto X A que seja minorado e majorado diz-se um conjunto limitado ; portanto, X e limitado sse c,dA xX c x d. Exemplos: (considerando sempre como conjunto ordenado isto e, no lugar do conjunto A das deni co es precedentes o conjunto R, com a rela ca o de ordem < usual): N e um conjunto minorado (qualquer n umero real 1 e um minorante) mas n ao majorado nem, portanto, limitado; o conjunto Q , dos racionais negativos e majorado (s ao majorantes os reais 0) mas tamb em n ao e limitado; e limitado o conjunto dos reais que vericam a condi ca o x2 < 4, que e precismente o intervalo ] 2, 2[ e que tem por minorantes os reais 2 e por majorantes os reais 2. Dado um subconjunto X do conjunto ordenado A pode existir ou n ao em X um elemento menor do que todos os outros, isto e, um elemento a tal que: 1) a X , 2) xX a x. f E acil, por em, reconhecer que, se existir um elemento a nas condi co es indicadas, esse elemento e u nico: basta observar que, se a e a vericam as condi co es (1) e (2), se tem necessariamente a a e a a , donde resulta a = a . Um tal elemento a (quando existe) e chamado o m nimo do conjunto X e designado por min X . Dene-se de forma an aloga o m aximo de X (max X ): b e m aximo de X sse 41

ITULO 2. ELEMENTOS DE TEORIA DOS CONJUNTOS. CAP 1) b X , 2) xX x b. Evidentemente, um conjunto X A pode ter ou n ao ter m aximo. Por exemplo, no conjunto R, com a rela ca o de ordem habitual, n ao t em m aximo nem m nimo o intervalo ]0, 1[ e os conjuntos Z, Q, R; t em m nimo (= 1) mas n ao m aximo, os conjuntos N, [1, 3[; t em m aximo (= 5) e m nimo (= 2), os conjuntos {2, 3, 5} e [2, 5], etc. Seja de novo X um subconjunto do conjunto ordenado A, mas admitamos agora que X e majorado, e designemos por V o conjunto de todos os majorantes de X . Chama-se supremo de X (sup X ) ao m nimo de V (se V n ao tiver m nimo, diz-se tamb em que X n ao tem supremo). Assim, o supremo de X (quando existe) e o elemento s A caracterizado pelas condi co es seguintes: 1) xX x s 2) vV s v (isto e, s V, s e um majorante de X ), (n ao h a majorantes de X menores do que s).

Conv em observar que esta u ltima condi ca o poderia tamb em exprimir-se da seguinte maneira: z A [z < s = xX z < x]. Isto e, qualquer elemento de A menor do que s e tamb em menor de que algum elemento de X (e portanto j a n ao e um majorante deste conjunto). De forma an aloga, suponhamos agora que X e um subconjunto minorado de A e designemos por U o conjunto dos minorantes de X . Chama-se nmo de X (inf X ) ao m aximo de V , se tal m aximo existir; nesta hip otese, o nmo de X ser a o elemento r A caracterizado por: 1) xX r x 2) uU u r (isto e, r U, r e minorante de X ), (n ao h a minorantes de X maiores do que r ),

podendo ainda esta u ltima condi ca o traduzir-se por: yA [r < y = xX x < y ]. f E acil reconhecer que um conjunto X que tenha m aximo tem tamb em supremo, tendo-se ent ao, precisamente, sup X = max X ; a exist encia do supremo n ao garante, por em, que exista m aximo: o supremo de X e efectivamente m aximo sse pertencer ao conjunto X . Evidentemente, s ao v alidas arma co es an alogas a respeito do m nimo e do nmo. Exemplos (uma vez mais em R, com a ordena ca o habitual): os intervalos [1, 3], [1, 3[, ]1, 3] e ]1, 3[ t em todos o mesmo nmo, 1, e o mesmo supremo, 3; o nmo e m nimo apenas no caso dos dois primeiros intervalos, o supremo s o e m aximo para 42

 2.4. RELAC OES DE EQUIVALENCIA. RELAC OES DE ORDEM. o 1o e o 3o . Finalmente, o conjunto X formado pelos inversos de todos os n umeros naturais, 1 X = x : nN x = , n tem por supremo 1 (que e m aximo) e por nmo 0 (que n ao e m nimo).

Exerc cios
1. Indique se gozam das propriedades: 1) reexiva, 2) sim etrica, 3) transitiva, as rela co es formadas por todos os pares (x, y ) R 2 tais que: b) |x| = |y |, d) x < |y |, a) x y ,

c) x2 + y 2 = 1, e) |x| |y |, f) x3 = y 3 ,

g) x2 + y 2 > 0, h) x4 + y 4 < 0. 2. Quest ao an aloga a ` anterior, para as rela co es determinadas, no conjunto dos seres humanos, pelas condi co es: x e pai de y , x e mais velho do que y , x e y t em a mesma resid encia. 3. Dada uma aplica ca o f : A B , seja a rela ca o no conjunto A denida pela forma seguinte: x y f (x) = f (y ) Mostre que se trata de uma rela ca o de equival encia. Quais s ao as classes de equival encia, se f f or injectiva? 4. Escolhido um ponto O no espa co ordin ario, considere-se a rela ca o denida por P Q existe uma recta que contem O , P e Q. onde P e Q designam pontos quaisquer do espa co. Mostre que n ao e uma rela ca o de equival encia, mas que o seria sem em vez de considerarmos todos os pontos do espa co, consider assemos todos os pontos distintos do ponto O . Quais seriam as classes de equival encia correspondentes? 43

ITULO 2. ELEMENTOS DE TEORIA DOS CONJUNTOS. CAP 5. Sendo A um conjunto qualquer, chama-se parti ca o de A a qualquer conjunto P de partes de A n ao vazias, disjuntas duas a duas e cuja reuni ao seja A; a ` rela ca o , no conjunto A, denida por x y B P x B y B e uma rela ca o de equival encia. Qual e o conjunto quociente, A/? Prove tamb em que qualquer rela ca o de equival encia em A determina, por sua vez, uma parti ca o de A, formada pelas correspondentes classes de equival encia. 6. Prove que, para que uma rela ca o bin aria num conjunto A seja uma rela ca o de ordem (total), e necess ario e suciente que sejam satisfeitas as duas propriedades seguintes: 1a transitividade, 2a sendo x e y elementos quaisquer de A, verica-se necessariamente uma e uma s o das condi co es: x y , x = y , y x. 7. No conjunto ordenado R com a ordena ca o usual, verique se s ao majorados, minorados e limitados os conjuntos considerados nos exerc cios 8 e 9 da sec ca o 2.1 e, se poss vel, determine m aximos, m nimos, supremos e nmos dos mesmos conjuntos. 8. Quest oes an alogas a `s do exerc cio 7, para os conjuntos de n umeros reais denidos pelas f ormulas:
2 , a) 1 + n n 1 n 2

b)

d) (1)n n+1 n , f)
1+(1)n . 2+(1)n+1

1 c) 1 n ,

1 ) sen n e) (1 + n 2 ,

onde se sup oe que n assume todos os valores naturais. 9. Considere como conjunto ordenado total o conjunto Q, dos racionais, com a usual rela ca o de <, e verique que o subconjunto X de Q denido por: X = {x : x Q x2 < 2} e majorado mas n ao tem supremo. 10. Prove que, se X e Y s ao subconjuntos limitados de um conjunto ordenado A, X Y e X Y s ao tamb em limitados. 44

 2.4. RELAC OES DE EQUIVALENCIA. RELAC OES DE ORDEM. 11. Sendo X e Y partes de um conjunto ordenado A, tais que X Y e supondo que existem sup X e sup Y , prove que sup X sup Y .

45

ITULO 2. ELEMENTOS DE TEORIA DOS CONJUNTOS. CAP

46

BIBLIOGRAFIA

Bibliograa

[1] T. Apostol. Calculus, volume I. Editorial Revert e, 1972. [2] T. Apostol. Mathematical Analysis. Addison-Wesley, 1978. [3] J. Dieudonn e. Foundations of Modern Analysis. Addison Wesley, 2 a edi ca o, 1969. [4] P. Halmos. Naive Set Theory. Van Nostrand, 1960. [5] S. Lipschutz. Theory and Problems of General Topology. Schaum Publ. Co., 1965.

47

 Indice remissivo

N, 1, 5 Q, 38 R, 5 Z, 36 a lgebra de Boole, 21 anti-reexividade, 39 anti-simetria, 39 aplica ca o, 29 bijectiva, 29 can onica, 33 composta, 30, 32 id entica, 31 injectiva, 29 inversa, 30 sobrejectiva, 29 bijec ca o, ver aplica ca o bijectiva bijectiva, ver aplica ca o bijectiva classe de equival encia, 34 complementar, 19 condi ca o necess aria, 11 necess aria e suciente, 11 suciente, 11 condi co es, 9 conjun ca o, 6, 9 conjunto, 17 das partes de um conjunto, 20 dos n umeros inteiros, 36 dos n umeros racionais, 38 limitado, 41 ordenado, 39 parcialmente ordenado, 39

quociente, 35 singular, 18 totalmente ordenado, 39 universal, 19 vazio, 19 conjuntos disjuntos, 19 cont em, 18 contido, ver inclus ao contra-rec proco, 12 contradom nio de uma rela ca o, 27 coordenada, 22 cubo cartesiano, 23 designa co es, 5 equivalentes, 5 sin onimas, 5 dicotomia, 40 diferen ca, 19 disjun ca o, 6, 9 disjuntos, ver conjuntos disjuntos dom nio de uma rela ca o, 27 de uma vari avel, 8 elementos, 17 equipotente, 34 equival encia, 9 formal, 11 equivalentes, 6, 8, 11, 34 express oes designat orias, 8 proposicionais, 9 frases, 5 48

 INDICE REMISSIVO fun ca o, 28 de Dirichlet, 30 inversa, 30 vazia, 32 produto cartesiano, 23 produto l ogico, ver conjun ca o projec ca o, 22 proposi co es, 5

quadrado cartesiano, 23 igualdade de pares ordenados, 22 quanticador, 10 imagem, 32 existencial, 10 imagem inversa, 32 universal, 10 imagem rec proca, ver imagem inversa implica ca o, 9 rela ca o formal, 7, 11 n - aria, 26 inclus ao, 18 bin aria, 26 nmo, 42 de equival encia, 34 injec ca o, ver aplica ca o injectiva de inclus a o, 20 injectiva, ver aplica ca o injectiva de ordem, 39 intersec ca o, 19 lata, 40 intervalo parcial, 39 aberto, 40 total, 39 fechado, 40 de perten ca, 20 semifechado, 40 entre conjuntos, 26 inversa, 27 leis de De Morgan, 7, 11 num conjunto, 27 limitada, ver sucess ao limitada quatern aria, 26 limitado rec proca, 27 inferiormente, 41 reexiva, 35 superiormente, 41 tern aria, 25, 26 m aximo, 6, 41 restri ca o, 32 m nimo, 6, 41 reuni ao, 19 majorado, 41 segundas leis de De Morgan, 11 majorante, 41 sequ encia, 22 minorado, 41 simetria, 25 minorante, 41 sobreconjunto, 18 nega ca o, 7 sobrejec ca o, ver aplica ca o sobrejectiva par, 22 sobrejectiva, ver aplica ca o sobrejecordenado, 22 tiva parte, 18 soma l ogica, 6 estrita, 18 subconjunto, 18 pr opria, ver estrita sucess ao limitada, 13 parti ca o, 44 supremo, 42 perten ca, 17 pot encia cartesiana, 24 termos, 5 primeiras leis de De Morgan, 7 terno ordenado, 22 49

 INDICE REMISSIVO transformado, ver imagem transitividade, 39 tricotomia, 39 valor l ogico, 6 vari aveis, 8 vari avel livre, 12 n ao quanticada, 12

50