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

Elementos de Lgica Matemtica e Teoria dos Conjuntos Jaime Campos Ferreira

Departamento de Matemtica Instituto Superior Tcnico Outubro de 2001

1 Elementos de lgica matemtica o a 1.1 Termos e proposioes. Algebra proposicional. . . . . . . . . . c 1.2 Expresses com variveis. . . . . . . . . . . . . . . . . . . . . o a 1.3 Quanticadores. . . . . . . . . . . . . . . . . . . . . . . . . . 2 Elementos de teoria dos conjuntos. 2.1 Conjuntos. Operaoes fundamentais. . . . . . . . c 2.2 Pares ordenados. Sequncias. Produto cartesiano. e 2.3 Funoes. Aplicaoes. Inverso. Composiao. . . . c c a c 2.4 Relaoes de equivalncia. Relaoes de ordem. . . c e c Indice remissivo . . . . . . Relaoes. c . . . . . . . . . . . . . . . .

5 5 8 10 17 17 21 28 34 48

Cap tulo 1

Para compreender bem as denioes e teoremas que constituem as teorias c matemticas cujo estudo vamos iniciar, indispensvel habituarmo-nos a a e a usar uma linguagem mais precisa e rigorosa do que a que se utiliza, em geral, na vida corrente. A aquisiao desse hbito pode ser muito facilitada c a pelo recurso a algumas nooes e s c mbolos da Lgica Matemtica, dos quais o a indicaremos neste primeiro cap tulo, de forma muito resumida e largamente baseada na intuiao, aqueles que tm maior interesse para a sequncia do c e e nosso curso. Convm, no entanto, observar que a Lgica Matemtica tem hoje aplicae o a coes concretas extremamente importantes, em diversos dom nios; uma das mais notveis , sem d vida, a sua utilizaao no planeamento dos modernos a e u c computadores electrnicos. o

1.1

Termos e proposioes. Algebra proposicional. c

A linguagem usada na Matemtica, como qualquer outra linguagem, coma preende designaoes (tambm chamadas nomes ou termos) e proposioes c e c (ou frases). As designaoes servem para indicar determinados objectos mac temticos: n meros, pontos, conjuntos, funoes, operaoes, guras geomtria u c c e cas, etc.; as proposioes exprimem armaoes que podem ser verdadeiras c c ou falsas a respeito dos mesmos objectos. Como exemplos c na catic osopop

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

Uma proposiao necessariamente verdadeira ou falsa (mas nunca uma coisa c e e outra); na primeira hiptese, diz-se tambm por vezes que a proposiao o e c tem o valor lgico 1, na segunda que tem o valor lgico 0. Os s o o mbolos 1 e 0 servem assim, de forma convencional, para designar respectivamente verdade e falsidade. Duas proposioes dizem-se equivalentes quando tm o mesmo valor lgico; c e o por exemplo, so equivalentes as proposioes a c 70 e (2)5 = 25 .

Para indicar que duas proposioes designadas, por exemplo, pelos s c mbolos p e q so equivalentes, costuma-se escrever p q. a Dadas duas proposioes, p e q, chama-se conjunao ou produto lgico de c c o p e q, e designa-se por pq (ler p e q) a proposiao que consiste em armar c simultaneamente p e q. A proposiao p q ser, portanto, verdadeira se o c a forem as duas proposioes dadas e falsa quando uma destas for falsa (ou c quando o forem ambas). Por exemplo, a conjunao das proposioes 4 um n mero par e 4 c c e u e um divisor de 10 equivale a armaao de que 4 um n mero par e um ` c e u divisor de 10 e , evidentemente, uma proposiao falsa. e c Por outro lado, chama-se disjunao ou soma lgica de p e q, e designa-se c o por p q, (p ou q), a proposiao que consiste em armar que pelo menos c uma das proposioes dadas verdadeira. Nestas condioes, a proposiao pq c e c c s falsa quando o forem ambas as proposioes p e q. A disjunao das duas oe c c proposioes consideradas no exemplo anterior a proposiao (verdadeira): c e c 4 um n mero par ou um divisor de 10. e u e Nas tabelas seguintes, anlogas as vulgares tabuadas das operaoes elea ` c mentares estudadas na escola primria, indicam-se os valores lgicos das a o proposioes p q e p q, em correspondncia com os poss c e veis valores lgicos o de p e q: Observe-se que o valor lgico de p q o mnimo dos valores lgicos o e o das proposioes p e q, enquanto o valor lgico de p q o mximo dos c o e a valores lgicos das mesmas proposioes (evidentemente, no caso de estas o c terem valores lgicos iguais, entende-se por mximo e m o a nimo desses valores lgicos o seu valor comum). o Nota. Podem denir-se de forma inteiramente anloga a conjunao e a a c disjunao no caso de serem dadas mais de duas proposioes. Por exemplo, c c a conjunao das proposioes p, q, r,. . . consiste na armaao de que todas c c c essas proposioes so verdadeiras e portanto uma proposiao que s falsa c a e c oe se alguma das proposioes p, q, r,. . . , o fr. c o 6

 1.1. TERMOS E PROPOSICOES. ALGEBRA PROPOSICIONAL. pq pppq D PSfrag replacements pq f cm BI H e I d

 1.2. EXPRESSOES COM VARIAVEIS. (supondo que x e y tm por dom e nio o conjunto R). Consideremos agora as expresses: o x2 > 0, 2x = x2 , x2 y 2 = 0, x y > y z. Se em qualquer destas expresses substituirmos todas as variveis por deo a signaoes de n meros reais, obteremos desta vez, no designaoes, mas sim c u a c proposioes, verdadeiras ou falsas. c As expresses com variveis, que se transformam em proposioes quando o a c as variveis so substitu a a das por designaoes convenientes, chamam-se exc presses proposicionais ou condioes. o c As expresses proposicionais podem tambm combinar-se por meio de o e operaoes lgicas inteiramente anlogas as que considermos no caso das c o a ` a proposioes. c Sejam, por exemplo, p(x) e q(x) duas expresses proposicionais com uma o varivel. a A conjunao, p(x) q(x), uma nova condiao que se converte numa c e c proposiao verdadeira sse forem atribu c dos a x valores que tornem verdadeiras as duas condioes p(x) e q(x). A disjunao, p(x) q(x), uma condiao c c e c que s falsa para os valores da varivel que tornam p(x) e q(x) ambas o e a falsas. A negaao de p(x) a condiao p(x), apenas verdadeira para os c e c valores de x que convertem p(x) numa proposiao falsa. A implicaao, c c p(x) = q(x), uma condiao que se converte numa proposiao falsa sse e c c forem atribu dos a varivel x valores para os quais p(x) seja verdadeira e ` a q(x) falsa. Finalmente, a equivalncia, p(x) q(x), a conjunao das e e c implicaoes p(x) = q(x) e q(x) = p(x). c Vejamos alguns exemplos de equivalncias (verdadeiras, quaisquer que e sejam os valores reais atribu dos as variveis): ` a [(x < 3) (x 2)] 2 x < 3, (x < 1) x 1, x2 > 0 x = 0. x < 1 = x < 3, [(x < y) (y < z)] = x < z, [(x > 3) (x = 3)] x 3,

So tambm sempre verdadeiras as condioes: a e c

e, supondo que x designa agora uma varivel cujo dom a nio o conjunto do10.90914.18909e2.9673 b3T010 0 e que Tf 82 0 Td 4182 T6 to

1.3. QUANTIFICADORES. q(x) = p(x) (de contrrio, como observa Godement no seu livro a citado na Bibliograa, do facto de todos os homens serem mortais poderia deduzir-se que todos os ces so imortais. . . ). a a 6. Escreva a negaao de cada uma das condioes seguintes: c c x > z = |f (x)| < ,
2

y=x ,

x > z = f (x) > y,

z x = x y,

y=x ,

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

z x = x y,

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

7. Como sabido, sendo un o termo geral de uma sucesso de termos e a reais e a um n mero real, a proposiao lim u n = a equivalente a u c e \(n > p = |un a| < ) (onde p e n tm por dom o conjunto dos naturais e o conjunto dos e nio reais positivos). Tendo em conta este facto, mostre que a proposiao c (lim un = a) equivale a \(n > p |un a| ) Sero estas ultimas proposioes equivalentes a lim u n = a? a c 8. Sabendo que a sucesso (de termo geral) u n limitada sse \ |un| < a e k, dena a noao de sucesso ilimitada (isto , no limitada). Mostre c a e a que as sucesses que vericam a condiao \ |un| < k no so, de o c a a forma alguma, apenas as sucesses limitadas. o 9. Verique que sendo z e z = 0. n meros reais, se ( > 0 |z| < ), ento u a

13

 CAP ITULO 1. ELEMENTOS DE LOGICA MATEMATICA

14

BIBLIOGRAFIA

[1] F. Dias Agudo. Introduao a Algebra Linear e Geometria Analtica. c ` 1964. [2] R. Godement. Cours dAlg`bre. e [3] M. Monroe. Introductory Real Analysis. [4] J. Santos Guerreiro. Curso de Matemticas Gerais. Livraria Escolar a Editora, 1973. [5] J. Sebastio e Silva. Compndio de Matemtica, volume 1, 1 o tomo. a e a Gabinete de Estudos e Planeamento, Ministrio da Educaao, 1970. e c [6] R. Stoll. Sets, Logic and Axiomatic Theories. [7] P. Suppes. Introduction to Logic.

15

BIBLIOGRAFIA

16

Cap tulo 2

As ideias essenciais da teoria dos conjuntos foram introduzidas por G. Cantor, na parte nal do Sculo XIX. Desde ento a teoria dos conjuntos no e a a deixou de desenvolver-se intensamente, de tal forma que hoje pode dizer-se que todos os ramos da Matemtica foram profundamente inuenciados e a enriquecidos por essa teoria. Procuraremos neste Cap tulo introduzir algumas das ideias bsicas da teoria dos conjuntos, evitando no entanto (mesmo a com eventual preju de rigor) uma formulaao demasiada abstracta, que zo c julgamos imcompat com a formaao mdia dos alunos que frequentam o vel c e curso. Alis, o estudo desta teoria poder ser aprofundado pelos alunos que a a o desejarem, por meio de alguns dos trabalhos mencionados na Bibliograa.

2.1

Conjuntos. Operaoes fundamentais. c

A noao de conjunto uma das nooes primitivas da Matemtica Moderna, c e c a isto , um dos conceitos adoptados como ponto de partida e que servem de e base para a deniao dos outros conceitos introduzidos no desenvolvimento c da teoria. Intuitivamente, um conjunto encarado como uma colecao de e c objectos de natureza qualquer, os quais se dizem elementos do conjunto. Representa-se simbolicamente por x X a proposiao x um elemento c e 1 . A negaao desta do conjunto X que tambm se l x pertence a X e e c proposiao escreve-se x X. Assim, so verdadeiras as proposioes: c / a c 2 N, 2 N, / N. /

Para designar o conjunto que tem a, b e c por unicos elementos usa-se correntemente o s mbolo {a, b, c}. Da mesma forma, o conjunto dos n meros u naturais menores do que 5 pode ser designado por {1, 2, 3, 4}, etc. Frequentemente, um conjunto denido por uma certa condiao, p(x): os elementos e c do conjunto so ento precisamente os objectos que convertem p(x) numa a a
1 m estrutura c oes ri orosas da teoria dos con un tos a no ao e pressa c p e o sina

17

CAP ITULO 2. ELEMENTOS DE TEORIA DOS CONJUNTOS. proposiao verdadeira. Em tal hiptese, recorre-se, para designar o conc o junto, ao s mbolo {x : p(x)}, que pode ler-se conjunto dos x que vericam a condiao p(x) ou conjunto dos x tais que p(x). Assim, o conjunto dos c naturais menores do que 5 poderia tambm ser designado de qualquer das e 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 contido em B ou que A a e uma parte ou um subconjunto de B sse todos os elementos de A pertencem tambm a B, isto , sse e e (x A = x B). Para armar que A est contido em B escreve-se A B e para o negar, a A B. Nestas condioes a proposiao A B equivalente a c c e (x A x B). / Nota. Em vez de (x A x B) pode tambm escrever-se x / e / B (existe um x pertencente a A que no pertence a B); analogamente, a a expresso (x A = x B), pode abreviar-se para x B (todo o x a pertencente a A pertence a B). Esta simplicaao de notaoes, que usaremos c c na sequncia em casos anlogos , por vezes, de grande comodidade. e a e Com o mesmo signicado de A B tambm usual escrever-se B A, e e e dizer-se que B contm A ou um sobreconjunto de A. Convm notar que e e e o facto de se vericar a relaao A B no exclui a possibilidade de se ter c a tambm B A; quando estas duas relaoes so conjuntamente vericadas e c a os conjuntos A e B tm precisamente os mesmos elementos e diz-se ento e a que so iguais (ou que so o mesmo conjunto), podendo escrever-se a a A = B. Quando se tem A B, mas no A = B, diz-se que A uma parte estrita a e ou uma parte prpria de B. o Chama-se conjunto singular a qualquer conjunto com um s elemento; o o conjunto singular que tem a por unico elemento habitualmente repre e sentado por {a}. Convm notar que neste caso, seria incorrecto escrever e a = {a}: um objecto e o conjunto que o tem por unico elemento no so, a a de forma alguma, o mesmo objecto. Assim, por exemplo, enquanto a proposiao 1 {1} obviamente verdadeira, as proposioes c e c {1} 1, {1} {1}

so ambas falsas. Uma condiao imposs a c vel isto , que no seja verie a cada por nenhum objecto dene tambm um conjunto, que se chama e 18

2.1. CONJUNTOS. OPERACOES 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 intersecao de A com B, designada por c AB, o conjunto formado pelos elementos comuns a A e a B; a reunio de e a A com B o conjunto AB, formado por todos os elementos que pertencem e 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 , se A e B no tm elementos comuns, diz-se que so e a e a conjuntos disjuntos. Chama-se diferena dos conjuntos A e B, ou complementar de B em A, c ao conjunto A \ B formado pelos elementos de A que no pertencem a B: a A \ B = {x : x A x B}. / E evidente que se tem A \ B = sse A B. No estudo de diversas questes sucede, por vezes, poder xar-se de in um conjunto U, tal que o cio todos os conjuntos que interessa considerar no desenvolvimento da teoria so subconjuntos de U. Quando est assim xado um conjunto universal, a a e usual chamar apenas complementar de um dado conjunto A (tal que A U evidentemente!) ao conjunto U \ A, que ento se designa de preferncia pelo a e s mbolo C(A). Pode tambm escrever-se, nessa hiptese (e s nessa): e o o 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) equivalente a q(x). e sse p(x) implica (formalmente) q(x)

3. Recorrendo a equivalncia das proposioes A B e (x A x B), ` e c / mostre que o conjunto vazio est contido em qualquer conjunto. a 19

CAP ITULO 2. ELEMENTOS DE TEORIA DOS CONJUNTOS. 4. Indique quais das proposioes seguintes so verdadeiras: c a 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 tm os conjuntos seguintes: e , {}, {, {}}, {{}}?

Indique algumas proposioes verdadeiras que exprimam relaoes de c c incluso (isto , da forma X Y ) e relaoes de pertena (X Y ) a e c c entre dois dos conjuntos dados. 6. Indique dois conjuntos A e B para os quais seja verdadeira a proposiao c 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 so, precisamente, a todos os subconjuntos de A. Por exemplo, se A = {1, 2} e P(A) = {, {1}, {2}, A} a) Quantos elementos tm os conjuntos e P(), P(P())? b) Verique que as relaoes x X e {x} P(X) so equivalentes. c a c) Prove, por induao, que, sendo A um conjunto com n elementos, c o n mero de elementos de P(A) 2n. u e 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 ltiplos e o conjunto dos divisores do n mero natural n, determine u u 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. RELACOES. 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 interpretaao geomtrica, determine A D, C(B) ` c e E, B C D, A F , A G, C(A) F . 11. Verique que qualquer das condioes seguintes equivalente a A B: c e 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 operaoes designadas, por exemplo, c pelos s mbolos e , constituem uma algebra 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 arbitrio, o conjunto P(A) e as a operaoes de reunio e intersecao de conjuntos, constituem uma algebra c a c de Boole. Quais so os elementos 0 e 1 dessa algebra? a

2.2

Pares ordenados. Sequncias. Produto cartesiano. Relaoes. e c

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 deniao atrs indicada, considera-se que dois conc a juntos so iguais sse tiverem os mesmos elementos, sem que haja que atena der a quaisquer outras circunstncias. Em contrapartida, na Geometria a Anal tica plana, se a e b so n meros reais, as notaoes (a, b) e (b, a) referema u c se a dois pontos distintos (a no ser que a = b). Por exemplo, os pares (2, 5) a e (5, 2) no correspondem, num dado referencial, ao mesmo ponto do plano. a Em casos como este costume dizer que se trata de pares ordenados. 2 De e uma forma geral, sendo a e b objectos quaisquer, designaremos por (a, b) o par ordenado que tem a por primeira coordenada (ou primeira projecao) c e b por segunda coordenada (ou segunda projecao). Assim, os s c mbolos {a, b} e (a, b) designam objectos matemticos distintos (pode dizer-se que a o primeiro um par , se fr a = b; o segundo, em qualquer hiptese, um e o o e par ordenado. Em particular, deve notar-se que dois pares ordenados s so o a 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 anloga, sendo a, b e c trs objectos quaisquer, designaa e remos pelo s mbolo (a, b, c) o terno ordenado que tem a por primeira coordenada, b por segunda e c por terceira. A noao de terno ordenado pode c ser denida a partir da de par ordenado: basta dizer que o termo ordenado (a, b, c) precisamente o par ordenado ((a, b), c), que tem (a, b) por primeira e coordenada e c por segunda. Ter-se- assim, por deniao: a c (a, b, c) = ((a, b), c). Desta deniao resulta facilmente que a igualdade (a, b, c) = (a , b , c ) equic vale a conjunao das trs igualdades a = a , b = b , c = c . As nooes de par ` c e c ordenado e terno ordenado podem generalizar-se facilmente: sendo n um n mero natural maior do que 13 e a1 , a2 , . . . an objectos quaisquer, designau remos pelo s mbolo (a1 , a2 , . . . an) a sequncia cuja primeira coordenada e e a1 , . . . e cuja na coordenada an. A noao de sequncia pode ser denida e c e por induao: para n = 2, a sequncia de primeira coordenada a 1 e segunda c e
2 Uma o de dar se uma de ni c ao de par ue indicamos ordenado ap enas usando ap enas no oes c a e in tro du idas. a ue se e prime de ni c ao p oss e se uin te a ttu o de curiosidade

p e a i ua dade

a, b

{{a}, {a, b}}.

n d a d n ca b a a c a a dd c ca n a n ca ca a a c a c a n d a ad ab ac a xc a n a a ada da n ca n a d a d nad a nca d da a d cn n a c n na d n a a n ca d a d nad a a d a nca ada c n ca a 3 o caso n a nc a a1 de primeira e unica co ordenada a1 era men te e iden ti cada com o pr oprio ob ecto a1 .

22

 2.2. PARES ORDENADOS. SEQUENCIAS. PRODUTO CARTESIANO. RELACOES. coordenada a2 precisamente o par ordenado (a1 , a2 ); para n > 2 pe-se, e o por deniao: c (a1 , a2 , . . . , an) = ((a1 , . . . , an1 ), an). Reconhece-se sem diculdade que a igualdade de sequncias: e (a1 , a2 , . . . , an) = (b1 , b2 , . . . , bn) equivalente a conjunao das n igualdades e ` c a1 = b1 , a2 = b2 , . . . , an = bn. 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, A = B, o produto cartesiano A B (ou A A) e 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 formado por todos e os pares ordenados (x, y), tais que x, y R (isto , x R e y R). e Cada um de tais pares pode, como sabemos, ser identicado com um ponto de um plano no qual tenha sido institu um referencial; esse do e o ponto de vista adoptado na Geometria Anal tica plana. Numa outra ordem de ideias, o par (x, y) pode tambm identicar-se com um e n mero complexo, precisamente o complexo que, mais correntemente, u designado por x + yi. e Sendo A, B e C trs conjuntos quaisquer, chama-se produto cartesiano de e 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 o conjunto A1 A2 . . .An, formado e 23

 2.2. PARES ORDENADOS. SEQUENCIAS. PRODUTO CARTESIANO. RELACOES.

Essa correspondncia estabelecida com base na seguinte convenao: para e e c que um ponto, (x0 , y0 ), pertena ao conjunto A necessrio e suciente c e a suci 0Td (suc801 Tf 12.927366uc801 Tf24.50908 0 Td :y)Tj R170 7.97091 Tfx12.949 cpa : m.p : m. R170 7. e 43 144 2 0 01 c a 3345 0 0 5( ) 0 0 ideia,p 4 que p(x0 , y0 ) seja uma3proposiaoo verdadeira; para exprimir esta 1 ode ( a ) 1 3273 30 0 042 ( a) 74 10 0 1 4 1 60 () 126 10 0 1 5 50 0 0 (() 174 10 0 1 4 1 0 0 ( ) 11 tambm escrever-se, e erdadeiR174 10.9091 Tf 4.18909 0 Td (x)Tj R1;1382 0 0181y

ITULO 2. ELEMENTOS DE TEORIA DOS CONJUNTOS. CAP Analogamente, a condiao os pontos P , Q, R e S so complanares cor` c a responde um certo conjunto de quaternos ordenados (relaao quaternria), c a etc. Os exemplos anteriores contribuiro talvez para tornar menos articia ais as denioes seguintes, que enunciaremos nos termos abstractos caracc ter sticos da teoria dos conjuntos: Chama-se relaao binria a qualquer conjunto de pares ordenados. Mais c a explicitamente: diz-se que um conjunto A uma relaao binria sse cada e c a um dos elementos que o constituem um par ordenado, isto , sse: e e

z = (x, y).

Se G uma relaao binria, em vez de dizer que o par (a, b) pertence a e c a G, diz-se tambm que o elemento a est na relaao G com o elemento b e e a c escreve-se, por vezes, a G b. Consideremos, por exemplo, a relaao binria entre n meros reais que c a u habitualmente se representa pelo sinal <. De acordo com a deniao anc terior, essa relaao um conjunto de pares, tais como (2, 3), (1, 5), etc. c e Em vez de dizer que o par (2, 3) pertence a relaao considerada, diz-se de ` c preferncia que 2 est nessa relaao com 3 (ou que 2 menor do que 3) e e a c e escreve-se 2 < 3. De forma anloga, uma relaao ternria , por deniao, qualquer cona c a e c junto de ternos ordenados; mais geralmente, sendo n N , chama-se relaao c n-ria a qualquer conjunto formado por sequncias de n objectos. Asa e sim, por exemplo, so relaoes n-rias os conjuntos de todas as sequncias a c a e (x1 , x2 , . . . , xn) de n n meros reais que vericam uma qualquer das trs u e condioes seguintes: c 1a ) x1 + x2 + . . . + xn = 0, 2a ) x2 + x2 + . . . + x2 = 0, 1 2 3a ) x2 + x2 + . . . + x2 + 1 = 0. 1 2 Observe-se de passagem que, no 1o caso, h innitas sequncias que pertena e cem a relaao considerada (se n > 1); no 2 o caso, a relaao constitu ` c c e da o, a por uma unica sequncia: a sequncia nula, formada por n zeros; no 3 e e relaao no contem sequncia alguma (relaao vazia). c a e c No que vai seguir-se, as relaoes que tero maior interesse para ns sero c a o a as relaoes binrias; alis, nesta parte do curso, quase nunca nos referiremos c a a a outras. Convencionamos por isso que o termo relaao dever de aqui c a em diante ser interpretado como abreviatura da expresso relaao binria a c a (salvo algum caso em que seja evidente que tal interpretaao inaceitvel). c e a Sendo A e B dois conjuntos, qualquer subconjunto do produto cartesiano A B , evidentemente, um conjunto de pares ordenados, e portanto uma e relaao: o que por vezes se chama uma relaao entre os conjuntos A e c e c 26

 2.2. PARES ORDENADOS. SEQUENCIAS. PRODUTO CARTESIANO. RELACOES. B. Se, em particular, for A = B, poder dizer-se que se trata de uma a relaao no conjunto A. E nesta acepao que a usual relaao de maior c c c pode considerar-se como uma relaao no conjunto dos reais, a de divisor c como uma relaao no conjunto dos naturais, a de irmo, no conjunto das c a pessoas humanas, etc. Sendo G uma relaao, chama-se domnio de G ao conjunto de todos c os elementos x para os quais existe (pelo menos) um y tal que x G y e contradomnio 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 : x G y}, CG = {y : x G y}.

Assim, o dom da relaao determinada pela condiao y o marido de x, nio c c e considerada num dos exemplos anteriores, o subconjunto de M formado e pelas mulheres casadas (cujo marido resida tambm na Tf1 37.3636 0lTd 0 Td 444002 9.34907 0 Td (-fo e Sendop=G conjunacep 0 Td (c)Tj 4.7782 0 Td (ao,)Tj 1 uma umacumaontre2tivcSendo Tsig27.4655 Sendopni1, amente,nio

ITULO 2. ELEMENTOS DE TEORIA DOS CONJUNTOS. CAP 2. Prove, por induao, que se A tem m elementos e B tem n elementos, c (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 relaao c G = {(0, {0}), (0, {0, 1}), (1, {1}), (1, {0, 1})} precisamente a usual relaao de pertena entre elementos do e c c conjunto A = {0, 1} e subconjuntos deste mesmo conjunto.

b) Dena, de forma anloga, a relaao de igualdade, entre elementos a c de A e as relaoes de igualdade e de incluso, entre subconjuntos c a de A. 5. Determine os dom nios, os contradom nios e as relaoes inversas das c relaoes: c a) de igualdade b) de divisor c) de incluso a (em N), (em N), (em P(A), sendo A um conjunto arbitrrio). a

6. O mesmo para as relaoes em R, formadas por todos os pares (x, y) c cujas coordenadas vericam as condioes seguintes: c x y, x = 3y, x2 = y, x = sen y.

2.3

Funoes. Aplicaoes. Inverso. Composio. c c a ca

Introduziremos agora a seguinte deniao fundamental: c Uma relaao F diz-se uma funao sse no contm dois pares distintos c c a e com igual primeira coordenada; assim, dizer que F uma funao equivale a e c dizer que, quaisquer que sejam x, y e z (x, y) F (x, z) F = y = z. A relaao em R, determinada pela condiao x 2 + y 2 = 1 no uma c c a e funao: pertencem-lhe, por exemplo, os pares (0, 1) e (0, 1). No exemplo c dos casais, a relaao considerada uma funao (exclu a hiptese de c e c da o poliandria). A lista telefnica de uma localidade dene evidentemente uma o relaao, associando a cada assinante o seu - ou os seus - n meros de telec u fone. Tal relaao s ser uma funao se no houver na localidade assinantes c o a c a que a tenham mais de um n mero de telefone. Intuitivamente, uma funao u c pode ser imaginada como uma tabela, com duas colunas, gurando em cada ` linha um par (x, y). A coluna dos x corresponder o dom a nio da funao, c 28

 2.3. FUNCOES. APLICACOES. INVERSAO. COMPOSICAO. Tem-se: ( )(x) = ((x)) = (sen x)2 = sen2 x, ( )(x) = sen(x2 ) e tambm: e ( )(x) = sen(sen x), ( )(x) = x4 . Por outro lado, se fr o : N R, ter-se- ainda: a ( )(x) = sen x (x N) (x) = x,

( )(x) = x

(x N),

mas as composioes , no podero formar-se (notar que a comc a a posiao de duas aplicaoes f e g s foi denida na hiptese de ser f : A B c c o o e g : B C; ver, no entanto, uma nota ulterior). O exemplo anterior revela, em particular, que a composiao de aplicaoes c c no uma operaao comutativa: existindo f g e g f pode ter-se f g = a e c g f (pode tambm acontecer que uma das composioes tenha sentido e a e c a outra no ou que qualquer delas o no tenha). E fcil, porm provar que a a e a composiao de aplicaoes associativa, isto , que, sendo f : A B, c c e e g : B C e h : C D, se tem sempre h (g f ) = (h g) f. Deixaremos a demonstraao como exerc c cio. Sendo A um conjunto qualquer, chama-se aplicaao idntica em A a c e ` aplicaao : IA : A A denida por c IA(x) = x (x A). E evidente que a aplicaao IA uma bijecao e que a inversa, A1 , a c e c e prpria aplicaao IA. o c J sabemos que se : A B uma aplicaao bijectiva, a inversa 1 a e c e tambm uma bijecao (de B em A). Tem-se ento, como logo se reconhece: e c a (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 denioes, que nos sero necessrias c a a na sequncia: Sejam A e B dois conjuntos, f uma aplicaao de A em B e C e c um subconjunto de A. Chama-se restriao de f ao conjunto C e designa-se c por f |C a aplicaao de C em B denida por: c f |C (x) = f (x), x C.

Em particular, ter-se- evidentemente, f | = f . a Nas mesmas condioes acima referidas, chama-se imagem ou transforc mado do conjunto C pela funao f e designa-se pelo s c mbolo f (C), o contradom nio da aplicaao f |C , isto , o conjunto dos valores f (x), que corresc e pondem a todos os elementos x C. Tem-se assim, por deniao: c f (C) = C{|C = {y :

y = f (x)},

sendo tambm evidente que f (A) = C{. e Supondo ainda que f uma aplicaao de A em B, seja agora D um e c subconjunto de B; chama-se ento imagem inversa ou imagem recproca de a 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 condioes referidas ter-se- portanto f 1 (B) = A. c a Nota. A noao de aplicaao composta pode ser denida com maior generac c lidade do que foi feito atrs: sendo f : A B e g : C D duas aplicaoes a c (onde agora A, B, C e D so conjuntos quaisquer) chamar-se- composta a a de f com g e designar-se- ainda por g f a funao que tem por domnio o a c 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 , funao com domnio vazio, ser a chamada funao vazia ( o que se c a c e passa, por exemplo, se fr f : R R, f (x) = x 2 e g : ]0, +[ R, g(x) = o e c 1/ x). Convm observar que a maior generalidade da deniao acabada de referir , em certo sentido, apenas aparente: na realidade fcil vericar que e e a a funao g f agora denida no mais do que a composta g f | no sentido c a e previamente considerado da restriao de f ao conjunto E com a funao g. c c No tambm difcil reconhecer que, mesmo com a deniao considerada a e e c nesta Nota, a composiao de funoes ainda uma operaao associativa. c c e c

Exerc cios
1. Das relaoes consideradas nos exerc c cios 4, 5 e 6 da secao 2.2, indique: c 32

 2.3. FUNCOES. APLICACOES. INVERSAO. COMPOSICAO. a) as que so funoes; a c b) as que tm por inversa uma funao. e c 2. D exemplos de aplicaoes de R em R e de N em N que sejam: e c a) bijectivas, b) injectivas mas no sobrejectivas, a c) sobrejectivas mas no injectivas, a d) no injectivas nem sobrejectivas. a 3. Classique, numa das quatro classes consideradas nas al neas do exerc 2, as seguintes funoes: cio c 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 mero inteiro inferior ou igual a x. u 4. Supondo A B, chama-se aplicaao cannica de A em B a aplicaao c o ` c I : A B denida por I(x) = x (x A). Prove que I uma e aplicaao injectiva. Em que caso bijectiva? c e 5. Prove que se f : A B injectiva, f 1 : Cf A uma bijecao e e c e que se g : A B uma bijecao, g 1 : B A tambm uma e c e e bijecao. c 6. Dadas as aplicaoes de R em si mesmo denidas por c 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 aplicaoes do exerc 6 e c cio 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 composiao de aplicaoes uma operaao associativa. c c e c 33

ITULO 2. ELEMENTOS DE TEORIA DOS CONJUNTOS. CAP a relaao de equivalncia, no conjunto das pessoas (no aptridas), denida c e a a por: x G y x tem a mesma nacionalidade que y, cada uma das classes de equivalncia segundo G ser formada por todas e a as pessoas que tm uma determinada nacionalidade e o conjunto quociente e corresponder, de certo modo, ao conjunto de todas as nacionalidades. a Nota. Como exemplo particularmente signicativo da utilizaao da noao c c de conjunto quociente em Matemtica, indicaremos nesta nota o processo a usualmente adoptado para denir o conjunto Z dos nmeros inteiros (0, u 1, 2,. . . ) a partir do conjunto dos naturais, N, que, por agora, suporemos previamente conhecido. A deniao pode indicar-se em poucas palavras (mas c s poder ser bem compreendida se se tiver em conta a motivaao que ser o a c a indicada posteriormente): Considere-se o conjunto N2 , de todos os pares ordenados de nmeros u naturais, N2 = {(a, b) : a, b N} e, neste conjunto, a relaao de equivalncia G denida da seguinte forma: c e (a, b) G (c, d) a + d = b + c. Nestas condioes, o conjunto Z dos nmeros inteiros , por deniao, o c u e c conjunto quociente N2 /G. Qual a ordem de ideias que pode conduzir naturalmente a esta deniao? c Para a apreender comecemos por lembrar que a consideraao do conjunto Z c e essencialmente motivada por uma insucincia do conjunto dos naturais: e o facto de nem sempre ser possvel em N a operaao de subtracao. Na c c realidade, supondo a, b N, a equaao em x: c a+x=b s tem soluao em N se fr a < b. o c o Como esta limitaao indesejvel, do ponto de vista algbrico, surge c e a e naturalmente a ideia de construir um sobreconjunto Z do conjunto N, no qual a equaao anterior j tenha soluao, quaisquer que sejam a e b. c a c Nesse sentido, observemos primeiramente que, quando a equaao consic derada tem soluao em N isto , quando a < b essa soluao unica c e c e (x = b a). Pode exprimir-se este facto dizendo que a cada par (a, b) de nmeros naturais, que verique a condiao a < b, corresponde um e um u c s natural x, que soluao da equaao considerada. Note-se, porm, que o e c c e a correspondncia assim estabelecida entre os nmeros naturais x e os pae u res ordenados (a, b) N2 , tais que a < b, no biunvoca; por exemplo, a e a qualquer dos pares (1, 5), (2, 6), (3, 7), . . . corresponde o mesmo natural, 4 (soluao comum das equaoes 1 + x = 5, 2 + x = 6, . . .). c c 36

 2.4. RELACOES DE EQUIVALENCIA. RELACOES DE ORDEM. Que condiao devem ento vericar dois pares (a, b) e (c, d) com a < b c a e c < d para que lhes corresponda o mesmo natural x? Facilmente se v e que tal condiao pode ser expressa pela igualdade a + d = b + c. c Assim, se utilizarmos esta igualdade para denir uma relaao g no subc conjunto de N2 formado pelos pares com primeira coordenada inferior a ` segunda, isto , se pusermos, no referido conjunto: e (a, b) g (c, d) a + d = b + c, vericamos sem diculdade que g uma relaao de equivalncia e que as e c e classes de equivalncia determinadas por esta relaao podem pr-se em core c o respondncia biunvoca com os nmeros naturais. e u O que se passar, porm, se considerarmos a relaao de equivalncia G, a e c e denida da mesma forma, no no subconjunto de N 2 acima indicado, mas em a todo o conjunto N2 ? Alm das classes de equivalncia correspondentes aos e e nmeros naturais (todas formadas por pares em que a primeira coordenada u e menor do que a segunda) obteremos agora novas classes que, intuitivamente, poderemos supor corresponderem a nmeros de novo tipo, precisamente os u nmeros de que necessitvamos para resolver equaoes da forma a + x = b, u a c quando fr a b. o Agora, para dar uma deniao matematicamente correcta dos objectos c que constituem o novo conjunto numrico que alcanamos (por enquanto e c apenas intuitivamente) e que precisamente o conjunto dos inteiros, o mais e simples ser chamar nmero inteiro a qualquer das classes de equivalncia a u e 2 pela relaao G. Uma tal deniao parecer certamente, determinadas em N c c a a uma primeira vista, um tanto articial: claro que, na prtica, ningum a e pensar nunca, ao calcular com inteiros, que eles so certas classes de a a equivalncia de pares de nmeros naturais. e u Porm, no de clculo que agora se trata, mas sim de procurar obter e a e a uma deniao rigorosa do conjunto Z, a partir de N e utilizando exclusivac mente nooes fundamentais da teoria dos conjuntos (tais como a de produto c cartesiano e a de conjunto quociente) que, por sua vez, tenham j sido dea nidas com o indispensvel rigor. Ora para este efeito, a deniao indicada a c perfeitamente satisfatria. e o Designando por [a, b] a classe de equivalncia a que pertence o par (a, b) e com a e b naturais quaisquer diremos que esta classe corresponde a um nmero natural sse for a < b; nesta hiptese, o nmero natural corresu o u pondente ao inteiro [a, b] precisamente o nmero b a. e u Quando for a b, a classe [a, b] um inteiro que no corresponde j a e a a nenhum nmero natural. u Na prtica, cada nmero natural e o nmero inteiro correspondente a u u em princpio, objectos matemticos distintos so mesmo identicados, a a passando-se a design-los pelo mesmo smbolo. Feita essa identicaao, poa c der dizer-se que o conjunto N um subconjunto do conjunto Z. a e 37

 2.4. RELACOES DE EQUIVALENCIA. RELACOES DE ORDEM. Seja agora X um subconjunto qualquer de A. Diz-se que um elemento c de A um minorante de X sse e

c x.

Evidentemente, se c for um minorante de X, qualquer elemento c A tal que c c ser tambm um minorante de X. a e Diz-se que o conjunto X minorado (ou limitado inferiormente) sse X e tiver pelo menos um minorante; assim, dizer que X minorado equivale a e armar que c x. que Analogamente, chama-se majorante de X a qualquer elemento d A tal

xd x d.

e diz-se que o conjunto X majorado (ou limitado superiormente) sse e

Um conjunto X A que seja minorado e majorado diz-se um conjunto limitado; portanto, X limitado sse e

c x d.

Exemplos: (considerando sempre como conjunto ordenado isto , no e lugar do conjunto A das denioes precedentes o conjunto R, com a c relaao de ordem < usual): N um conjunto minorado (qualquer n mero real c e u 1 um minorante) mas no majorado nem, portanto, limitado; o conjunto e a Q , dos racionais negativos majorado (so majorantes os reais 0) mas e a tambm no limitado; limitado o conjunto dos reais que vericam a e a e e condiao x2 < 4, que precismente o intervalo ] 2, 2[ e que tem por c e minorantes os reais 2 e por majorantes os reais 2. Dado um subconjunto X do conjunto ordenado A pode existir ou no a em X um elemento menor do que todos os outros, isto , um elemento a tal e que: 1) a X, 2)

a x.

a E fcil, porm, reconhecer que, se existir um elemento a nas condioes e c indicadas, esse elemento unico: basta observar que, se a e a vericam e as condioes (1) e (2), se tem necessariamente a a e a a , donde c resulta a = a . Um tal elemento a (quando existe) chamado o mnimo do e conjunto X e designado por min X. Dene-se de forma anloga o mximo a a de X (max X): b mximo de X sse e a 41

ITULO 2. ELEMENTOS DE TEORIA DOS CONJUNTOS. CAP 1) b X, 2)

x b.

Evidentemente, um conjunto X A pode ter ou no ter mximo. Por a a exemplo, no conjunto R, com a relaao de ordem habitual, no tm mximo c a e a nem m nimo o intervalo ]0, 1[ e os conjuntos Z, Q, R; tm m e nimo (= 1) mas no mximo, os conjuntos N, [1, 3[; tm mximo (= 5) e m a a e a 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 majorado, e designemos por V e o conjunto de todos os majorantes de X. Chama-se supremo de X (sup X) ao m nimo de V (se V no tiver m a nimo, diz-se tambm que X no tem e a supremo). Assim, o supremo de X (quando existe) o elemento s A e caracterizado pelas condioes seguintes: c 1) 2)

xs sv

(isto , s V, s um majorante de X), e e (no h majorantes de X menores do que s). a a

Convm observar que esta ultima condiao poderia tambm exprimir-se e c e da seguinte maneira:

[z < s =

z < x].

Isto , qualquer elemento de A menor do que s tambm menor de que e e e algum elemento de X (e portanto j no um majorante deste conjunto). a a e De forma anloga, suponhamos agora que X um subconjunto minorado de a e A e designemos por U o conjunto dos minorantes de X. Chama-se nmo de X (inf X) ao mximo de V , se tal mximo existir; nesta hiptese, o a a o nmo de X ser o elemento r A caracterizado por: a 1) 2)

rx ur

(isto , r U, r minorante de X), e e (no h minorantes de X maiores do que r), a a

podendo ainda esta ultima condiao traduzir-se por: c

[r < y =

x < y].

a E fcil reconhecer que um conjunto X que tenha mximo tem tambm a e supremo, tendo-se ento, precisamente, sup X = max X; a existncia do a e supremo no garante, porm, que exista mximo: o supremo de X efectia e a e vamente mximo sse pertencer ao conjunto X. Evidentemente, so vlidas a a a armaoes anlogas a respeito do m c a nimo e do nmo. Exemplos (uma vez mais em R, com a ordenaao habitual): os intervalos [1, 3], [1, 3[, ]1, 3] e ]1, 3[ c tm todos o mesmo e nmo, 1, e o mesmo supremo, 3; o nmo m e nimo apenas no caso dos dois primeiros intervalos, o supremo s mximo para oe a 42

 2.4. RELACOES DE EQUIVALENCIA. RELACOES DE ORDEM. o 1o e o 3o . Finalmente, o conjunto X formado pelos inversos de todos os n meros naturais, u 1 X = x : \N x = , n tem por supremo 1 (que mximo) e por e a nmo 0 (que no m a e nimo).

Exerc cios
1. Indique se gozam das propriedades: 1) reexiva, 2) simtrica, 3) trane sitiva, as relaoes formadas por todos os pares (x, y) R 2 tais que: c 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. Questo anloga a anterior, para as relaoes determinadas, no conjunto a a ` c dos seres humanos, pelas condioes: c x pai de y, x mais velho do que y, x e y tm a mesma residncia. e e e e 3. Dada uma aplicaao f : A B, seja a relaao no conjunto A c c denida pela forma seguinte: x y f (x) = f (y) Mostre que se trata de uma relaao de equivalncia. Quais so as c e a classes de equivalncia, se f fr injectiva? e o 4. Escolhido um ponto O no espao ordinrio, considere-se a relaao c a c denida por P Q existe uma recta que contem O, P e Q. onde P e Q designam pontos quaisquer do espao. Mostre que c no uma relaao de equivalncia, mas que o seria sem em vez de a e c e considerarmos todos os pontos do espao, considerssemos todos os c a pontos distintos do ponto O. Quais seriam as classes de equivalncia e correspondentes? 43

ITULO 2. ELEMENTOS DE TEORIA DOS CONJUNTOS. CAP 5. Sendo A um conjunto qualquer, chama-se partiao de A a qualquer c conjunto P de partes de A no vazias, disjuntas duas a duas e cuja a reunio seja A; a relaao , no conjunto A, denida por a ` c x y

xB yB

uma relaao de equivalncia. Qual o conjunto quociente, A/? e c e e Prove tambm que qualquer relaao de equivalncia em A determina, e c e por sua vez, uma partiao de A, formada pelas correspondentes classes c de equivalncia. e 6. Prove que, para que uma relaao binria num conjunto A seja uma c a relaao de ordem (total), necessrio e suciente que sejam satisfeitas c e a as duas propriedades seguintes: 1a transitividade, 2a sendo x e y elementos quaisquer de A, verica-se necessariamente uma e uma s das condioes: x y, x = y, y x. o c 7. No conjunto ordenado R com a ordenaao usual, verique se so majoc a rados, minorados e limitados os conjuntos considerados nos exerc cios 8 e 9 da secao 2.1 e, se poss c vel, determine mximos, m a nimos, supremos e nmos dos mesmos conjuntos. 8. Questes anlogas as do exerc o a ` cio 7, para os conjuntos de n meros u reais denidos pelas frmulas: o a) 1 + 2 , n b) 1 ,
2

c) 1 1 , d) (1)nn+1 , e) (1 + 1 ) sen n , 2 f)
1+(1)n . 2+(1)n+1

onde se supe que n assume todos os valores naturais. o 9. Considere como conjunto ordenado total o conjunto Q, dos racionais, com a usual relaao de <, e verique que o subconjunto X de Q c denido por: X = {x : x Q x2 < 2} majorado mas no tem supremo. e a 10. Prove que, se X e Y so subconjuntos limitados de um conjunto ora denado A, X Y e X Y so tambm limitados. a e 44

 2.4. RELACOES DE EQUIVALENCIA. RELACOES 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

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

47

N, 1, 5 Q, 38 R, 5 Z, 36 algebra de Boole, 21 anti-reexividade, 39 anti-simetria, 39 aplicaao, 29 c bijectiva, 29 cannica, 33 o composta, 30, 32 idntica, 31 e injectiva, 29 inversa, 30 sobrejectiva, 29 bijecao, ver aplicaao bijectiva c c bijectiva, ver aplicaao bijectiva c classe de equivalncia, 34 e complementar, 19 condiao c necessria, 11 a necessria e suciente, 11 a suciente, 11 condioes, 9 c conjunao, 6, 9 c conjunto, 17 das partes de um conjunto, 20 dos n meros inteiros, 36 u dos n meros racionais, 38 u limitado, 41 ordenado, 39 parcialmente ordenado, 39

quociente, 35 singular, 18 totalmente ordenado, 39 universal, 19 vazio, 19 conjuntos disjuntos, 19 contm, 18 e contido, ver incluso a contra-rec proco, 12 contradom nio de uma relaao, 27 c coordenada, 22 cubo cartesiano, 23 designaoes, 5 c equivalentes, 5 sinnimas, 5 o dicotomia, 40 diferena, 19 c disjunao, 6, 9 c disjuntos, ver conjuntos disjuntos dom nio de uma relaao, 27 c de uma varivel, 8 a elementos, 17 equipotente, 34 equivalncia, 9 e formal, 11 equivalentes, 6, 8, 11, 34 expresses o designatrias, 8 o proposicionais, 9 frases, 5 48

 INDICE REMISSIVO funao, 28 c de Dirichlet, 30 inversa, 30 vazia, 32 produto cartesiano, 23 produto lgico, ver conjunao o c projecao, 22 c proposioes, 5 c

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 implicaao, 9 c relaao c formal, 7, 11 n-ria, 26 a incluso, 18 a binria, 26 a nmo, 42 de equivalncia, 34 e injecao, ver aplicaao injectiva c c de incluso, 20 a injectiva, ver aplicaao injectiva c de ordem, 39 intersecao, 19 c lata, 40 intervalo parcial, 39 aberto, 40 total, 39 fechado, 40 de pertena, 20 c semifechado, 40 entre conjuntos, 26 inversa, 27 leis de De Morgan, 7, 11 num conjunto, 27 limitada, ver sucesso limitada a quaternria, 26 a limitado rec proca, 27 inferiormente, 41 reexiva, 35 superiormente, 41 ternria, 25, 26 a mximo, 6, 41 a restriao, 32 c m nimo, 6, 41 reunio, 19 a majorado, 41 segundas leis de De Morgan, 11 majorante, 41 sequncia, 22 e minorado, 41 simetria, 25 minorante, 41 sobreconjunto, 18 negaao, 7 c sobrejecao, ver aplicaao sobrejecc c tiva par, 22 sobrejectiva, ver aplicaao sobrejecc ordenado, 22 tiva parte, 18 soma lgica, 6 o estrita, 18 subconjunto, 18 prpria, ver estrita o sucesso limitada, 13 a partiao, 44 c supremo, 42 pertena, 17 c potncia cartesiana, 24 e termos, 5 primeiras leis de De Morgan, 7 terno ordenado, 22 49

 INDICE REMISSIVO transformado, ver imagem transitividade, 39 tricotomia, 39 valor lgico, 6 o variveis, 8 a varivel a livre, 12 no quanticada, 12 a

50