Conjuntos

Grupo de Matemtica da Universidade Tcnica de Lisboa: Antnio St. Aubyn, Maria Carlos Figueiredo, Lus de Loura, Lusa Ribeiro, Francisco Viegas Lisboa, Maro de 2004

O documento presente foi obtido directamente do cdigo TeX fornecido pelos autores com alteraes de formatao. A verso corrente de 27 de Setembro de 2005. A reviso deste texto do ponto de vista grco ainda no est completa. Novas verses podero car disponveis no futuro a partir de http://preprint.math.ist.utl.pt/les/ppgmutlconjuntos.pdf. O DMIST agradece ao Grupo de Matemtica da UTL a possibilidade de facultar o texto aos alunos das disciplinas introdutrias de Matemtica do IST.

Contedo
1 2 3 4 5 6 7 8 9 Introduo Noo intuitiva de conjunto Objectos, conjuntos, pertena Incluso Reunio Interseco Diferena Conjuntos nitos e innitos Produto cartesiano 1 3 4 8 12 15 21 24 28

Lista de Figuras
1 2 3 4 5 6 7 8 Diagrama de Venn. . . . . . . . . . . . . . . . Diagrama de Venn. . . . . . . . . . . . . . . . A contido em B; C no contido em D. . . . . . Reunio de A com B. . . . . . . . . . . . . . . Interseco de A com B. . . . . . . . . . . . . Interseco de A com B, com A contido em B. Complementar de B em A. . . . . . . . . . . . Complementar do conjunto B. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 12 12 13 16 19 22 22

CONJUNTOS
1 Introduo
Perteno a um gnero de portugueses Que depois de estar a ndia descoberta Ficaram sem trabalho. A morte certa. Tenho pensado nisto muitas vezes. lvaro de Campos, Opirio Pertencia em suma classe de mulheres que, a comear pelo corpo e acabar pela alma, se tornam amantes perfeitas. Lianas com elas jamais se rompem. Quem as ama, ama-as at morte. Aquilino Ribeiro, A Casa Grande de Romariges Caminhando em silncio pelo Ferregial, Carlos revolvia uma ideia que lhe viera de repente, ao receber aquele doce olhar. Porque que Dmaso no levaria uma manh o Castro Gomes aos Olivais, a ver as coleces do Craft?. . . Ea de Queiroz, Os Maias

Em cada um dos extractos apresentados intervm a noo de conjunto, ou de coleco de objectos. No poema de lvaro de Campos fala-se de gnero de portugueses; no texto de Aquilino mencionada uma classe de mulheres; nos Maias h referncia s coleces do Craft. Todos ns sabemos o que um objecto e o que uma coleco (ou um conjunto) de objectos. Em Matemtica, onde a linguagem tem de ser completamente precisa, no basta estarmos convencidos de que sabemos o que um objecto ou um conjunto de objectos, precisamos de formalizar esses conceitos. O ideal seria deni-los! Mas... Ser que se pode denir conjunto? E objecto? Vejamos o que dizem alguns dicionrios quanto a estes conceitos: Dicionrio Universal da Lngua Portuguesa, Texto Editora conjunto: complexo; reunio das partes que constituem um todo; agrupamento de pessoas que tocam msica juntas coleco: conjunto, reunio de objectos; compilao; ajuntamento; srie; grupo 1

Dicionrio da Lngua Portuguesa Contempornea, Academia das Cincias de Lisboa, Editorial Verbo conjunto: Reunio de vrios elementos que funcionam como uma unidade; aglomerao; coleco; grupo; srie coleco: conjunto de objectos da mesma natureza; compilao; colectnea Os dicionrios no nos ajudam; dizer que um conjunto uma aglomerao no mais do que substituir uma palavra por outra, sem denir o que quer que seja. Ser culpa dos dicionrios? Para respondermos a esta questo temos de saber o que uma denio. Ora denir um conceito no mais do que explic-lo atravs de outros conceitos j conhecidos. Exemplo 1. Um nmero par um nmero natural divisvel por dois. Denimos um novo conceito (o de nmero par) utilizando dois conceitos j conhecidos (o de nmero natural e o de nmero natural divisvel por dois). Exemplo 2. Um nmero mpar um nmero natural que no par. O novo conceito denido (nmero mpar) baseia-se no conceito de nmero par (denido anteriormente). Em resumo: Um conceito denido atravs de outros conceitos j conhecidos. Uma vez inicializado, este processo de denir novos conceitos no pe quaisquer problemas. A grande questo o incio. Como comear? A ideia simples: comeamos com alguns conceitos (de preferncia poucos), que no denimos, mas que admitimos todos sabermos o que so. Estes conceitos so chamados conceitos primitivos ou noes primitivas. A partir dos conceitos primitivos podemos ir introduzindo novos conceitos a que chamamos conceitos derivados. Algo de anlogo se passa com as proposies verdadeiras que queremos construir e que envolvem os diversos conceitos (quer primitivos, quer derivados). Para construir uma proposio verdadeira utilizamos regras lgicas (as chamadas regras de inferncia) aplicadas a outras proposies que j sabemos serem verdadeiras. Uma demonstrao no mais do que a aplicao de regras de inferncia a proposies que sabemos serem verdadeiras; o resultado obtido uma nova proposio verdadeira, a que usual chamar teorema. Mais uma vez a grande questo est na inicializao do processo. Como comear? simples: escolhemos um certo nmero 2

de proposies que decidimos (arbitrariamente) serem verdadeiras. Estas proposies so os chamados axiomas. A partir delas demonstramos outras proposies os teoremas. Em resumo: uma teoria matemtica constituda por um certo nmero de conceitos primitivos e por um certo nmero de axiomas. A partir deles so introduzidos novos conceitos os conceitos derivados e novas proposies verdadeiras os teoremas.

Noo intuitiva de conjunto

O conceito de conjunto est na base de toda a Matemtica. Antes de nos debruarmos sobre o conceito de conjunto, comearemos por dar alguns exemplos de conjuntos. Exemplos de conjuntos O conjunto das cidades de Portugal. O conjunto dos alunos da Universidade Tcnica de Lisboa. O conjunto dos nmeros naturais. O conjunto das equipas de futebol da diviso de honra. O conjunto dos cidados portugueses que esto presos. O conjunto dos deputados da Assembleia da Repblica Portuguesa. O conjunto dos nmeros reais. O conjunto dos pases da Unio Europeia. O conjunto dos nmeros racionais. O conjunto dos scios dos Bombeiros Voluntrios de Campo dOurique. O conjunto dos nmeros pares. O conjunto dos nmeros mpares. O conjunto dos nmeros naturais que so mltiplos de 4. O conjunto dos nmeros primos. O conjunto dos nmeros reais que so soluo da equao x4 + x = 0. 3

Conjunto um conceito primitivo e portanto no denimos o que um conjunto; mas a partir da noo de conjunto podemos denir muitos outros conceitos matemticos. Claro que cada um de ns tem uma ideia intuitiva do que um conjunto. Essa ideia pode ser explicada intuitivamente e com exemplos; o que no fazemos denir o conceito de conjunto. Um conjunto constitudo por objectos; o conceito de objecto tambm um conceito primitivo, pelo que no o denimos. Neste momento temos dois conceitos primitivos: o de conjunto e o de objecto. Dado um objecto e um conjunto temos ainda de saber o que signica esse objecto pertencer a esse conjunto. Por outras palavras, aparece aqui um terceiro conceito: o conceito de pertena. Tambm o tomamos como conceito primitivo e consequentemente no o denimos. Exemplos Braga pertence ao conjunto das cidades de Portugal. Paris no pertence ao conjunto das cidades de Portugal. 57 pertence ao conjunto dos nmeros naturais. 57 no pertence ao conjunto dos nmeros primos. 2 pertence ao conjunto dos nmeros reais. 2 no pertence ao conjunto dos nmeros racionais. Estamos agora aptos a desenvolver uma teoria baseada naqueles trs conceitos primitivos (conjunto, objecto e pertena): trata-se da chamada teoria intuitiva dos conjuntos.

Objectos, conjuntos, pertena

Na teoria intuitiva de conjuntos partimos de trs conceitos primitivos: o de objecto, o de conjunto e o de pertena. Conhecer um conjunto conhecer cada um dos objectos que pertencem a esse conjunto. Para dizermos que um objecto x pertence a um conjunto A escrevemos x A. Nesse caso dizemos ainda que x um elemento do conjunto A. Por vezes, em vez de escrevermos x A escrevemos, com signicado idntico, A x. 4

Para dizermos que um objecto y no pertence a um conjunto B escrevemos y B. Neste caso dizemos tambm que y no um elemento do conjunto B. Em vez de y B escreveremos algumas vezes, com signicado idntico, B y. Exemplos de proposies verdadeiras Leiria pertence ao conjunto das cidades de Portugal. O Presidente Jorge Sampaio no pertence ao conjunto dos alunos da Universidade Tcnica de Lisboa. O nmero 5 pertence ao conjunto dos nmeros naturais. O nmero 35 no pertence ao conjunto dos nmeros naturais. O nmero no pertence ao conjunto dos nmeros naturais. O Sporting pertence ao conjunto das equipas de futebol da diviso de honra. O Primeiro Ministro Duro Barroso no pertence ao conjunto dos cidados portugueses que esto presos. Francisco Lou pertence ao conjunto dos deputados da Assembleia da Repblica Portuguesa. O nmero 2 pertence ao conjunto dos nmeros irracionais. A China no pertence ao conjunto dos pases da Unio Europeia. O nmero 2 no pertence ao conjunto dos nmeros racionais. O nmero 4 pertence ao conjunto dos nmeros racionais. Exemplos de proposies falsas Leiria pertence ao conjunto das cidades da sia. O Benca pertence ao conjunto das equipas de futebol da Dinamarca. O nmero 5,47 no pertence ao conjunto dos nmeros reais.

Dois conjuntos A e B so iguais sse tiverem os mesmos elementos. Portanto, sendo A e B dois conjuntos, tem-se A=B sse, para todo o objecto x, forem vericadas as seguintes condies: xAxB e x B x A.

Para evitar paradoxos lgicos que no nos interessa aqui considerar, e tambm por comodidade de linguagem, suporemos que todos os conjuntos de que falaremos so subconjuntos de um conjunto U a que usual chamar universo. Com esta hiptese (que ser mantida ao longo de todo este texto), dois conjuntos A e B so iguais sse x U xAxB xBxA

ou, de forma equivalente, sse x U x A x B.

Vemos assim que a igualdade entre conjuntos a traduo, em termos da teoria dos conjuntos, da operao lgica da equivalncia. Provar que dois conjuntos A e B so iguais provar que as proposies x A e x B so equivalentes. Conhecer um conjunto saber quais so os seus elementos. Ento, para representarmos um conjunto, podemos convencionar escrever todos os seus elementos, delimitados por chavetas. Por exemplo, sendo A o conjunto dos nmeros pares maiores ou iguais a 2 e menores ou iguais a 10, tem-se A = {2, 4, 6, 8, 10}. Sendo B o conjunto das capitais dos pases da Unio Europeia (em 2002) tem-se B = {Amsterdo, Atenas, Berlim, Bruxelas, Copenhaga, cidade do Luxemburgo, Dublin, Estocolmo, Helsnquia, Lisboa, Londres, Madrid, Paris, Roma, Viena}. Dizemos que os conjuntos A e B esto denidos extensivamente. Claro que, por razes de ordem prtica, s possvel denir um conjunto extensivamente se ele tiver poucos elementos. Caso contrrio, se quisermos 6

denir extensivamente um conjunto, teremos de convencionar o uso de abreviaturas, normalmente reticncias. Por exemplo {1, 2, 3, 4, 5, . . . , 97, 98, 99, 100} o conjunto de todos os nmeros inteiros maiores ou iguais a 1 e menores ou iguais a 100. Ateno! Quando usamos abreviaturas na denio extensiva de um determinado conjunto imprescindvel que no restem dvidas sobre o signicado dessas abreviaturas. Uma outra forma de denir um conjunto dizer uma propriedade a que todos os elementos desse conjunto obedeam e a que os objectos que no pertenam a esse conjunto no obedeam. Nesse caso dizemos que o conjunto est denido compreensivamente. Por exemplo {x N; x 1 e x 100} o conjunto de todos os nmeros naturais maiores ou iguais a 1 e menores ou iguais a 100; designando por A esse conjunto, podemos escrever A = {x N; x 1 e x 100} = {1, 2, 3, 4, . . . , 97, 98, 99, 100}. Quando escrevemos A = {1, 2, 3, 4, . . . , 97, 98, 99, 100} dizemos que o conjunto A est denido extensivamente (apesar do uso abusivo de reticncias). Quando escrevemos A = {x N; x 1 e x 100} dizemos que o conjunto A est denido compreensivamente. Seja agora B o conjunto assim denido (compreensivamente): B = {x R; x 1 e x 100}. Ser que o conjunto B coincide com o conjunto A? claro que no porque, por exemplo, o nmero real pertence a B e no pertence a A. Cuidado! as expresses proposicionais (na varivel x) que ocorrem nas denies de A e de B so semelhantes: x 1 e x 100. A diferena est nos seus domnios. Na denio de A o domnio da varivel x o conjunto dos nmeros naturais, enquanto na denio de B 7

esse domnio o conjunto dos nmeros reais. Ora acontece que h nmeros reais que vericam a condio e que no so nmeros naturais. Seja X um conjunto qualquer; consideremos o seguinte conjunto, denido compreensivamente {x X; x x}.

Trata-se de um conjunto sem elementos, porque no existe qualquer elemento x de X tal que x x. Dizemos tratar-se do conjunto vazio, que ser designado por ; tem-se ento = {x X; x x}.

No de estranhar a existncia de um tal conjunto sem elementos. Uma imagem que ajuda a esclarecer o conceito , por exemplo, o conjunto de fsforos que esto dentro de uma determinada caixa de fsforos. Esse conjunto pode ter 20 elementos (se a caixa tiver 20 fsforos), 17 elementos (se a caixa tiver 17 fsforos),... E se a caixa no tiver fsforos? Ento o conjunto de fsforos da caixa o conjunto vazio. Note-se que o conjunto vazio pode ser denido por qualquer condio impossvel num qualquer conjunto X. Por exemplo tem-se = {x N; x2 = 2} porque no existe qualquer nmero natural cujo quadrado seja igual a 2. Mas {x R; x2 = 2} j no o conjunto vazio, porque existem nmeros reais de quadrado igual a 2. Tem-se, como sabido, {x R; x2 = 2} = { 2, 2}.

Incluso

Neste incio do nosso estudo da teoria intuitiva dos conjuntos temos trs conceitos primitivos: o de objecto, o de conjunto e o de pertena. Tambm j introduzimos o conjunto vazio que designamos por . Vamos agora comear a estudar operaes que se podem executar com conjuntos. Consideremos o conjunto A de todos os alunos do Instituto Superior de Economia e Gesto (ISEG) e consideremos o conjunto B de todos os alunos da Universidade Tcnica de Lisboa (UTL). Como o ISEG uma escola da UTL, todo o aluno do ISEG tambm aluno da UTL. Dito por 8

outras palavras, todo o elemento do conjunto A tambm elemento do conjunto B. Nestas condies dizemos que o conjunto A est contido no conjunto B e escrevemos A B. Este exemplo leva-nos a introduzir a seguinte denio: Denio 1. Sejam A e B dois conjuntos quaisquer; dizemos que A est contido (ou includo) em B, e escrevemos A B, sse todo o elemento de A for elemento de B. Repare-se que a relao de incluso entre conjuntos traduz, na linguagem da teoria dos conjuntos, a operao lgica de implicao de proposies. De facto, dizer que A est contido em B, no mais do que dizer que a proposio x pertence a A implica a proposio x pertence a B; tem-se ento AB sse x U x A x B. Frequentes vezes, em vez de dizermos que A est contido em B, dizemos que B contm (ou inclui) A e escrevemos B A. Dizemos tambm que A um subconjunto de B ou que B um sobreconjunto de A. A negao de A est contido em B A no est contido em B, que se escreve A B ou ainda B A. Para sabermos o que signica dizer que A no est contido em B devemos negar a proposio A est contido em B. Como sabemos, dizer que A est contido em B dizer que todo o objecto x que elemento de A tambm elemento de B. Negar esta proposio dizer que existe pelo menos um objecto x que elemento de A e no elemento de B: A B sse x U xA x B.

Retomemos o exemplo inicial, onde A o conjunto dos alunos do ISEG e B o conjunto dos alunos da UTL. Designando por C o conjunto de alunos da Faculdade de Motricidade Humana (FMH), tem-se tambm CB porque a FMH um escola da UTL e portanto todo o aluno da FMH tambm aluno da UTL. Analogamente, sendo D o conjunto dos alunos 9

do Instituto Superior de Agronomia (ISA) e E o conjunto de alunos do Instituto Superior Tcnico (IST) tem-se tambm DB No entanto A C porque h pelo menos um aluno do ISEG que no aluno da FMH. Notese que tambm h alunos comuns ao ISEG e FMH (nomeadamente os do curso de Gesto do Desporto, organizado conjuntamente pelas duas faculdades), mas isso no tem qualquer importncia para o facto de A no estar contido em C. Seja X um conjunto qualquer e consideremos a proposio XX Ser esta proposio verdadeira ou falsa? Para o sabermos devemos basear-nos na denio de incluso. Quando que se diz que um conjunto A est includo num conjunto B? Quando todo o elemento de A tambm elemento de B. Apliquemos esta denio ao caso que nos interessa, ou seja, aquele em que A = X e B = X. Ser verdade que todo o elemento de X tambm elemento de X? Claro que sim (pela denio de igualdade de conjuntos); logo a proposio X X verdadeira. Acabmos de demonstrar o seguinte teorema: Teorema 1. Qualquer que seja o conjunto A tem-se A A. Denio 2. Diremos que o conjunto A est contido estritamente no conjunto B sse A B e A B. Nesse caso diremos ainda que A um subconjunto prprio de B. Por exemplo, sendo A = {1, 3, 5} e B = {x N; x mpar e x 5} imediato ver que A um subconjunto prprio de N; no entanto, embora se tenha A B, A no um subconjunto prprio de B, visto ter-se A = B. Consideremos agora a proposio X. Ser verdade que o conjunto vazio um subconjunto de qualquer conjunto X? Voltemos a aplicar a denio de A estar includo em B, agora com A = e B = X. Ser que todo o elemento do conjunto vazio tambm elemento do conjunto X? A questo parece mais delicada porque o conjunto vazio, como sabemos, no tem elementos. Mas repare-se que ns queremos saber o valor lgico da proposio x U x x X. 10 e E B.

Se esta proposio for verdadeira, ento X; se a proposio for falsa, ento X. Mas esta proposio construda a partir das proposies x e x X, conectadas com a operao de implicao. Para sabermos se a proposio verdadeira ou falsa basta conhecermos os valores lgicos do antecedente e do consequente que constituem a implicao. Ora o antecedente x falso porque no existe qualquer objecto x que seja elemento do conjunto vazio . Ento, independentemente do valor lgico do consequente, a implicao verdadeira. Demonstrmos assim que: Teorema 2. O conjunto vazio est includo em qualquer conjunto A. Sejam A e B dois conjuntos quaisquer. J sabemos o que signica dizer que A est contido em B: todo o elemento de A elemento de B. Tambm sabemos o que signica dizer que B est contido em A: todo o elemento de B elemento de A. Poder ter-se simultaneamente A B e B A? Em caso armativo, o que querer isso dizer? A resposta dada no seguinte teorema: Teorema 3. Quaisquer que sejam os conjuntos A e B tem-se (A B B A) (A = B). Demonstrao. Consideremos a proposio A B B A. Isto signica que todo o elemento de A elemento de B (porque A um subconjunto de B) e que todo o elemento de B elemento de A (porque B subconjunto de A). Em concluso os elementos de A so precisamente os elementos de B; os dois conjuntos so iguais. A propriedade expressa neste teorema muito utilizada quando queremos mostrar que dois conjuntos A e B so iguais. Isso equivalente a mostrar que A B e B A. Em termos lgicos estamos simplesmente a dizer que a conjuno das proposies x A x B (correspondente a A B) e x B x A (correspondente a B A) a proposio x A x B; ora sabemos1 que, sendo p e q duas proposies quaisquer, ento (p q) (q p) equivalente a p q. Por vezes cmodo representar de forma pictrica os conjuntos. Assim usual representar um conjunto qualquer A pelo interior de uma curva fechada, tal como na gura 1. Dizemos tratar-se de um diagrama de Venn. Claro que um diagrama de Venn no mais do que uma imagem que nos pode sensibilizar para a compreenso das propriedades dos conjuntos, nunca podendo servir para demonstrar essas mesmas propriedades.
1

ver captulo Lgica.

11

Figura 1: Diagrama de Venn. Por vezes, sendo A um conjunto nito, podemos representar os seus elementos sob a forma de pontos dentro de uma curva fechada. Por exemplo o conjunto A = {1, 7, 9} pode representar-se como na gura 2.

Figura 2: Diagrama de Venn. Com recurso aos diagramas de Venn a incluso tem uma imagem sugestiva, que apresentamos nas guras seguintes. Na gura 3 representamos duas situaes distintas: numa o conjunto A est contido no conjunto B, enquanto na outra o conjunto C no est contido no conjunto D.

Figura 3: A contido em B; C no contido em D.

Reunio
A = {a, b, c, 1, 2, 3, 4} B = {a, d, 2, 5, 7, 9}.

Consideremos os dois conjuntos seguintes: e

Podemos pensar num novo conjunto C, constitudo por aqueles objectos que esto em A ou esto em B. No exemplo em questo esse novo conjunto ser C = {a, b, c, d, 1, 2, 3, 4, 5, 7, 9}. 12

Repare-se que este novo conjunto C foi formado a partir dos conjuntos A e B; dizemos que se trata da reunio do conjunto A com o conjunto B. usual representar a reunio (ou unio) de A e de B (ou de A com B) por A B. Com esta notao tem-se: A B = {a, b, c, d, 1, 2, 3, 4, 5, 7, 9}. Este exemplo sugere-nos a denio de reunio de conjuntos no caso geral. Denio 3. Sejam A e B dois conjuntos quaisquer. Chamamos reunio de A e de B a um novo conjunto, designado por A B, assim denido: A B = {x U; x A x B}. A reunio de A e de B ento o conjunto constitudo por aqueles objectos do universo U que pertencem a pelo menos um dos conjuntos A ou B (podendo evidentemente pertencer aos dois). Repare-se que a operao de reunio de dois conjuntos se baseia na operao lgica da disjuno de duas proposies: dizer que x pertence a A B dizer que x pertence a A ou x pertence a B. Por outras palavras x pertence a A B tem o valor lgico verdade sempre que uma das proposies x pertence a A, x pertence a B, for verdadeira. Daqui resulta imediatamente o seguinte teorema Teorema 4. Quaisquer que sejam os subconjuntos A e B tem-se A (A B) e B (A B).

Os diagramas de Venn ajudam a visualizar a reunio de conjuntos. Na gura 4 representamos dois conjuntos A e B bem como, a sombreado, a sua reunio.

Figura 4: Reunio de A com B. Sejam A e B dois conjuntos quaisquer. Ser que os conjuntos A B e B A so idnticos ou so distintos? Por outras palavras, ser que a reunio de conjuntos goza da propriedade comutativa? A resposta est no teorema seguinte 13

Teorema 5. Sejam A e B dois conjuntos quaisquer; ento tem-se A B = B A. Demonstrao. Recorrendo denio de reunio de dois conjuntos vemos que: A B ={x U; x A ou x B} B A ={x U; x B ou x A} A B o conjunto dos objectos de U que, ou pertencem em A, ou pertencem a B. B A o conjunto dos objectos de U que, ou pertencem em B, ou pertencem a A. Como a disjuno de proposies goza da propriedade comutativa (as proposies p q e q p tm o mesmo valor lgico), vemos que A B = B A. Consideremos agora trs subconjuntos A, B e C. Podemos construir o conjunto (A B) C que constitudo pelos objectos de U que pertencem a A B ou a C. Tambm podemos construir o conjunto A (B C) constitudo pelos objectos de U que pertencem a A ou a B C. Que relao existir entre estes dois conjuntos? A resposta dada no teorema seguinte Teorema 6. Sejam A B e C trs conjuntos quaisquer; ento tem-se (A B) C = A (B C). Demonstrao. O conjunto (A B) C constitudo pelos objectos x de U tais que x (A B) ou x C, o que se pode ainda escrever, por denio de A B, (x A x B) x C. Analogamente o conjunto A (B C) constitudo pelos objectos x de U tais que x A ou x (B C) ou ainda, por denio de B C, x A (x B x C). 14

Tendo em conta que a proposio (p q) r tem o mesmo valor lgico da proposio p (q r), vemos que, tal como queramos mostrar, (A B) C = A (B C). Devido ao teorema anterior dizemos que a reunio de conjuntos goza da propriedade associativa. esta propriedade que nos permite dar um sentido a uma expresso do tipo A B C. Esta expresso pode ser lida de duas maneiras distintas: como (A B) C ou como A (B C); no h problema porque os conjuntos (A B) C e A (B C) so o mesmo. Portanto A B C o conjunto de todos os objectos de U que pertencem pelo menos a um dos conjuntos A, B, C. Identiquemos agora o conjunto A. Trata-se do conjunto dos objectos de U que, ou pertencem a A, ou pertencem a . Como no h qualquer objecto que pertena ao conjunto vazio, dizer que x pertence a A equivalente a dizer que x pertence a A. Por outro lado, tendo em conta a comutatividade da reunio de conjuntos, j sabemos que A = A. Acabmos de demonstrar o seguinte teorema: Teorema 7. Qualquer que seja o conjunto A tem-se A=A=A Devido ao teorema anterior usual dizer que o conjunto vazio o elemento neutro da operao de reunio de dois conjuntos. Deixamos a cargo do leitor a demonstrao do resultado seguinte: Teorema 8. Sejam A e B dois conjuntos quaisquer; ento tem-se A B = B sse AB

Interseco

Seja A o conjunto de scios dos Bombeiros Voluntrios de Campo de Ourique e seja B o conjunto de scios do Benca. natural que haja pessoas que so simultaneamente scios dos Bombeiros Voluntrios de Campo de Ourique e do Benca. Somos, por isso, levados a introduzir um novo conjunto, cujos elementos so aqueles objectos que pertencem ao conjunto A e ao conjunto B. Esse novo conjunto, a que se chama a interseco de A e de B, designado por A B. No nosso exemplo constitudo por todos aquelas pessoas que so simultaneamente scios dos Bombeiros Voluntrios de Campo de Ourique e do Benca. 15

As consideraes anteriores levam-nos a pensar denir, no caso geral, a interseco de dois conjuntos. Denio 4. Sejam A e B dois conjuntos quaisquer. Chamaremos interseco de A e de B (ou de A com B) a um novo conjunto, designado por A B, assim denido: A B = {x U; x A e x B}. Repare-se que a interseco de conjuntos no mais do que a traduo, em termos da teoria dos conjuntos, da operao de conjuno de proposies. Os elementos x de A B so aqueles que vericam xA xB Os diagramas de Venn ajudam a visualizar a interseco de conjuntos. Na gura 5 representamos dois conjuntos A e B bem como, a sombreado, a sua interseco.

Figura 5: Interseco de A com B. Da denio de interseco resulta imediatamente que, se x pertence interseco de A e de B, ento x tem de pertencer a A e tem tambm de pertencer a B, ou seja: x U x U x (A B) x A, x (A B) x B.

A traduo em termos de conjuntos das proposies anterior pode exprimir-se no seguinte teorema: Teorema 9. Sejam A e B dois conjuntos quaisquer. Ento tem-se (A B) A e (A B) B.

agora natural comear a estudar propriedades da operao de interseco. Comecemos por ver que se trata de uma operao comutativa, tal como o teorema seguinte indica: 16

Teorema 10. Sejam A e B dois conjuntos quaisquer. Ento tem-se A B = B A. Demonstrao. Recorrendo denio de interseco de dois conjuntos, vem A B = {x U; x A e x B}, B A = {x U; x B e x A}. A B o conjunto dos objectos de U que pertencem a A e pertencem a B. B A o conjunto dos objectos de U que pertencem a B e pertencem a A. Como a conjuno de proposies goza da propriedade comutativa (as proposies p q e q p tm o mesmo valor lgico), vemos que A B = B A, tal como queramos provar. Consideremos agora trs conjuntos A, B e C. Podemos construir o conjunto (A B) C que constitudo pelos objectos de U que pertencem a A B e a C. Tambm podemos construir o conjunto A (B C) constitudo pelos objectos de U que pertencem a A e a B C. Tem-se o seguinte resultado Teorema 11. Sejam A, B e C trs conjuntos quaisquer. Ento tem-se (A B) C = A (B C). Demonstrao. O conjunto (A B) C constitudo pelos objectos x de U tais que x (A B) e x C o que se pode ainda escrever, por denio de A B, (x A x B) x C. Tendo em conta que a proposio (p q) r tem o mesmo valor lgico da proposio p (q r), vemos que (A B) C constitudo pelos objectos x de U tais que x A (x B x C) 17

ou ainda, por denio de B C, xA e x (B C).

Mas estes objectos so precisamente aqueles que constituem o conjunto A (B C), pelo que (A B) C = A (B C). O teorema anterior mostra-nos que a reunio de conjuntos goza da propriedade associativa. esta propriedade que nos permite dar um sentido a uma expresso do tipo A B C. Esta expresso pode ser lida de duas maneiras distintas: como (A B) C ou como A (B C); no h problema porque os conjuntos (A B) C e A (B C) so o mesmo. Portanto A B C o conjunto de todos os objectos de U que pertencem simultaneamente a cada um dos trs conjuntos A, B, C. Identiquemos agora o conjunto A. Trata-se do conjunto dos objectos de U que pertencem simultaneamente a A e a . Como no h qualquer objecto que pertena ao conjunto vazio, a condio x pertence a A impossvel, pelo que A o conjunto vazio. Como a interseco de conjuntos comutativa, podemos enunciar o seguinte teorema Teorema 12. Seja A um conjunto qualquer. Ento tem-se: A = A = . Tambm fcil provar que a interseco de A e de B igual a A sse o conjunto A estiver contido no conjunto B: Teorema 13. Sejam A e B dois conjuntos quaisquer. Ento tem-se: AB A B = A.

Demonstrao. Para provarmos esta proposio temos de provar a implicao nos dois sentidos. Comecemos por provar que AB A B = A.

Se x pertencer a A, ento x tambm pertence a B (porque A est contido em B) e, pertencendo a A e a B, pertence a A B (por denio de interseco). Se x no pertencer a A, ento (por denio de interseco) no pode pertencer a A B. 18

Mostremos agora que AB=A A B.

Fazemos a demonstrao por absurdo. Suponhamos que A B. Ento existe um elemento x de A que no elemento de B. No sendo elemento de B, esse elemento x no pode pertencer a A B (porque j vimos que A B est contido em B). Ento x pertence a A e no pertence a A B, o que mostra que estes dois conjuntos no so iguais. Mas isto absurdo porque, por hiptese, A B = A. Na gura 6 representamos uma interseco de dois conjuntos A e B, em que A est contido em B.

Figura 6: Interseco de A com B, com A contido em B. Neste momento j denimos duas operaes sobre conjuntos: a reunio e a interseco. A reunio tem um certo nmero de propriedades j estudadas na seco anterior; a interseco goza de propriedades que acabmos de estudar. Torna-se agora natural estudar propriedades que faam intervir as duas operaes (reunio e interseco). Chamamos a ateno para o facto desta ser a evoluo natural no estudo de uma teoria matemtica. medida que vo sendo introduzidas denies, vo sendo estudadas as propriedades de que gozam os novos conceitos, bem como as relaes com conceitos j introduzidos na teoria. Neste sentido comeamos por provar a chamada distributividade da interseco em relao reunio, expressa no seguinte teorema: Teorema 14. Sejam A B e C trs conjuntos quaisquer. Ento tem-se: A (B C) = (A B) (A C). Demonstrao. Provar que dois conjuntos so iguais , como sabemos, provar que cada um deles est contido no outro; devemos assim provar as 19

incluses seguintes: (A (B C)) ((A B) (A C)) , ((A B) (A C)) (A (B C)) . Comecemos com (A (B C)) ((A B) (A C)). Seja x um elemento de A (B C); ento x A x (B C) ou ainda x A (x B x C).

Utilizando a distributividade da conjuno em relao disjuno (ou seja o facto das proposies p (q r) e (p q) (p r) terem o mesmo valor lgico) vem (x A x B) (x A x C). Em termos da linguagem da teoria dos conjuntos esta proposio escrevese x (A B) x (A C) ou ainda x ((A B) (A C)) .

Demonstremos agora que ((A B) (A C)) (A (B C)). Seja x um elemento de (A B) (A C); ento x (A B) x (A C) ou ainda (x A x B) (x A x C).

Voltando a utilizar a distributividade da conjuno de proposies em relao disjuno, vem x A (x B x C). Na linguagem da teoria dos conjuntos esta condio escreve-se x (A (B C)). Uma outra propriedade que envolve a interseco e a reunio a chamada distributividade da reunio em relao interseco: Teorema 15. Sejam A B e C trs conjuntos quaisquer. Ento tem-se: A (B C) = (A B) (A C). 20

Demonstrao. Comecemos por provar que (A (B C)) ((A B) (A C)). Seja x um elemento de A (B C). Ento x A x (B C) e portanto x A (x B x C).

Recordando que as proposies p (q r) e (p q) (p r) tm o mesmo valor lgico, vem (x A x B) (x A x C). Passando para a linguagem da teoria dos conjuntos temos x ((A B) (A C)) . A implicao em sentido inverso prova-se de forma anloga. Queremos mostrar que (A B) (A C) est contido em A (B C). Seja x um elemento de (A B) (A C): (x (A B)) (x (A C)) (x A x B) (x A x C) x A (x B x C) Na linguagem da teoria dos conjuntos obtemos x (A (B C)).

Diferena

Seja A o conjunto dos scios do Sporting e seja B o conjunto dos scios dos Bombeiros Voluntrios de Campo de Ourique. natural pensar que h scios do Sporting que no so scios dos Bombeiros Voluntrios de Campo de Ourique. Isso leva-nos a pensar no conjunto constitudo pelos elementos de A que no so elementos de B. Designaremos esse conjunto por A \ B e diremos tratar-se da diferena entre A e B, ou do complementar de B em A. No exemplo apresentado trata-se do conjunto dos scios do Sporting que no so scios dos Bombeiros Voluntrios de Campo de Ourique. Esta ideia leva-nos, tal como o leitor j deve adivinhar, a introduzir a seguinte nova denio: Denio 5. Sejam A e B dois conjuntos quaisquer. Chamaremos complementar de B em A ao conjunto A \ B assim denido: A \ B = {x U ; x A e x 21 B}.

Diremos tambm que A \ B a diferena entre A e B. Na gura 7 apresentamos, num diagrama de Venn, dois conjuntos A e B e, a sombreado, a diferena A \ B.

Figura 7: Complementar de B em A. Denio 6. Seja B um conjunto qualquer (como sempre subconjunto do universo U); chamaremos complementar de B ao conjunto U \ B. O conjunto U \ B tambm muitas vezes designado por Bc ; trata-se evidentemente do conjunto denido por U \ B = {x U ; x B}.

Na gura 8 representamos, a sombreado, o complementar de um conjunto B. Repare-se que a operao de passagem ao complementar traduz, na linguagem da teoria dos conjuntos, a operao lgica de negao.

Figura 8: Complementar do conjunto B. H propriedades que relacionam a operao de diferena de conjuntos com as operaes de reunio e de interseco. Comeamos por demonstrar que: Teorema 16. Sejam A, B e X trs conjuntos quaisquer. Ento tem-se: X \ (A B) = (X \ A) (X \ B). 22

Demonstrao. Um objecto x pertence ao conjunto X \ (A B) sse xX x Mas isto equivalente a dizer que x X (x A x B) ou ainda x X (x Esta proposio equivalente a (x X x A) (x X x B) A x B). (A B).

que, em termos da teoria dos conjuntos, se escreve (x X \ A) (x X \ B) ou ainda x (X \ A) (X \ B).

Se, no teorema anterior, zermos X = U, onde U o universo, obtemos (A B)C = AC BC Esta frmula diz-nos que o complementar de uma reunio de dois conjuntos a interseco dos complementares desses conjuntos. Teorema 17. Sejam A, B e X trs conjuntos quaisquer. Ento tem-se: X \ (A B) = (X \ A) (X \ B). Demonstrao. Um objecto x pertence ao conjunto X \ (A B) sse xX x Mas isto equivalente a dizer que x X (x A x B) ou ainda x X (x A x 23 B). (A B).

Esta proposio equivalente a (x X x A) (x X x B)

que, em termos da teoria dos conjuntos, se escreve (x X \ A) (x X \ B) ou ainda x (X \ A) (X \ B).

Ao fazermos, no teorema anterior, X = U, obtemos (A B)C = AC BC Esta frmula diz-nos que o complementar de uma interseco de dois conjuntos a reunio dos complementares desses conjuntos. As frmulas (A B)C = AC BC e (A B)C = AC BC traduzem, na linguagem da teoria dos conjuntos, as primeiras leis de De Morgan da Lgica. Por denio de diferena de conjuntos imediato ver que, qualquer que seja o conjunto A, se tem A \ A = e A \ = A; em particular, fazendo A = U, vemos que UC = e C = U.

Conjuntos nitos e innitos

Na teoria intuitiva de conjuntos que temos estado a desenvolver comemos por introduzir trs conceitos primitivos: o de objecto, o de conjunto e o de pertena. O smbolo designado para este ltimo , como sabemos, . Chamamos a ateno para o facto de, ao escrevermos o smbolo , esquerda dele ter de estar um objecto e direita dele ter de estar um conjunto. Para que a expresso tenha sentido necessrio que seja um objecto e que seja um conjunto. Tambm quando escrevemos um conjunto extensivamente necessrio que os entes que aparecem entre as chavetas sejam objectos. Por exemplo, ao escrevermos {, , } cada um dos entes , , tem de ser um objecto. 24

Claro que um conjunto pode tambm ele prprio ser um objecto. Por exemplo o conjunto A = {1, , {1, 2}} constitudo por trs objectos: o nmero 1, a letra grega e o conjunto {1, 2}. Um dos objectos do conjunto A ele prprio um conjunto, nomeadamente o conjunto constitudo pelos nmeros naturais 1 e 2. A proposio 1A verdadeira, porque o objecto 1 pertence ao conjunto A. Mas a proposio 2A falsa, porque o objecto 2 no pertence ao conjunto A. Claro que a proposio {1, 2} A verdadeira porque {1, 2} um objecto que pertence a A (o facto de {1, 2} ser ele prprio um conjunto irrelevante para a matria em questo). Nesta ordem de ideias, e sendo a um objecto qualquer, essencial distinguir os dois entes a e {a}. Enquanto a um objecto, {a} um conjunto que tem um nico elemento, nomeadamente o objecto a. Podemos complicar ainda mais a questo, considerando o conjunto B = {a, {a}}. Trata-se de um conjunto com dois objectos, nomeadamente a e {a}. Quer dizer que o conjunto B tem dois objectos que so: 1) a; 2) o conjunto cujo nico objecto o elemento a. Assim so verdadeiras as seguintes proposies: aB {a} B O conjunto {a} um objecto do conjunto B mas tambm um subconjunto de B porque o nico elemento de {a}, que o objecto a, tambm elemento de B. Podemos por isso armar que {a} B. Repare-se que o smbolo de incluso exige que, tanto sua direita como sua esquerda estejam conjuntos. A expresso 25

s tem sentido se tanto como forem conjuntos. O mesmo se passa para os smbolos de reunio , interseco e diferena \. Consideremos o conjunto N dos nmeros naturais e o seguinte conjunto A: A = {a, b, c, d} H uma diferena fundamental entre estes dois conjuntos; enquanto A tem apenas quatro elementos, N tem innitos elementos. Por outras palavras, h apenas quatro objectos que so elementos do conjunto A, enquanto h uma innidade de objectos que so elementos do conjunto N. Diremos por isso que o conjunto A nito e que o conjunto N innito. Diremos que um conjunto qualquer A nito sse for vazio ou tiver um nmero nito de elementos; diremos que um conjunto innito sse no for nito, o que signica que tem um nmero innito de elementos. Frequentes vezes, para exprimir que A nito, diremos que A tem cardinal nito. No caso de A ser innito, diremos tambm que A tem cardinal innito. Exemplos de conjuntos nitos O conjunto das cidades de Portugal. O conjunto das letras do alfabeto portugus. O conjunto de pixel de um cran de cristais lquidos. O conjunto de cidados da Repblica Portuguesa. O conjunto de solues da equao x100 24x3 127 = 0. O conjunto vazio. O conjunto dos nmeros complexos z tais que z2 + 127 = 0. O conjunto dos nmeros reais x tais que x2 127 = 0. O conjunto dos nmeros reais x tais que x2 + 127 = 0. O conjunto dos nmeros naturais menores do que mil bilies de bilies.

26

Exemplos de conjuntos innitos O conjunto N dos nmeros naturais. O conjunto Z dos nmeros inteiros. O conjunto Q dos nmeros racionais. O conjunto R dos nmeros reais. O conjunto C dos nmeros complexos. O conjunto dos nmeros primos. O conjunto de nmeros reais maiores ou iguais a zero e menores ou iguais a 1. O conjunto dos nmeros reais x da forma x = 1/n, com n inteiro positivo. No caso de um conjunto nito no vazio fcil entender o que o seu nmero de elementos. Por exemplo o conjunto {a, b, c, d} tem quatro elementos, enquanto o conjunto {n N : 1 n 100} tem 100 elementos. Por denio diremos que o nmero de elementos do conjunto vazio 0. Ao nmero de elementos de um conjunto nito A chamaremos tambm cardinal desse conjunto; esse nmero ser designado usualmente por #A. Assim, por exemplo, tem-se #{a, e, i, o, u} = 5, #{n N : 1 n 700} = 700, # = 0. Claro que o cardinal do conjunto vazio , por denio, zero. E o cardinal do conjunto {}? Este conjunto tem um nico elemento, nomeadamente o objecto ; logo o seu cardinal igual a 1. Outros exemplos do mesmo tipo: #{{}} = 1, #{, {}} = 2. 27

Repare-se que {} um conjunto cujo nico elemento o conjunto vazio, pelo que so verdadeiras as proposies {} {}.

O conjunto {{}} diferente: tem um nico elemento que o conjunto {} (ou seja o conjunto constitudo pelo conjunto vazio). So verdadeiras as proposies {} {{}}, {} {{}}, {{}}, {{}}.

Produto cartesiano

Suponhamos que o Ricardo e a Ins (ambos cidados portugueses) so os dois nicos concorrentes do concurso televisivo XPTO. Ento, designando por A o conjunto formado pelo Ricardo e pela Ins, podemos dizer que A o conjunto dos concorrentes do referido concurso televisivo. Tem-se A = {Ricardo, Ins} ou ainda A = {Ins, Ricardo}

porque, como sabemos, um conjunto ca determinado exclusivamente pelos objectos que lhe pertencem e no pela ordem em que os escrevemos. Designando por C o conjunto de todos os cidados portugueses podemos tambm escrever A = {x C; x concorrente do concurso XPTO}. Recordamos que, sob esta ltima forma, o conjunto A est denido compreensivamente, enquanto anteriormente estava denido extensivamente. O conhecimento do conjunto A apenas nos diz quais foram os dois concorrentes do concurso XPTO, no nos esclarecendo qual deles cou em primeiro lugar e qual cou em segundo lugar. Para isso teramos de, entre os dois elementos do conjunto A, escolher um que seria o primeiro e outro que seria o segundo. Podemos convencionar escrever (Ins, Ricardo) para indicar que a Ins foi a vencedora e o Ricardo perdeu. Se quisssemos indicar que o Ricardo tinha ganho e a Ins tinha perdido, escreveramos (Ricardo, Ins). 28

Repare-se na diferena entre os dois smbolos {Ins, Ricardo} e (Ins, Ricardo).

O smbolo {Ins, Ricardo}, que j muito nosso conhecido, representa o conjunto constitudo pela Ins e pelo Ricardo. O smbolo (Ins, Ricardo) representa um ente a que chamamos par ordenado que o conjunto da Ins e do Ricardo munido de uma ordem; neste caso a Ins o primeiro elemento do par ordenado e o Ricardo o segundo elemento desse par ordenado. Analogamente o smbolo (Ins, Ricardo) representa um par ordenado que o conjunto da Ins e do Ricardo munido de uma ordem: o Ricardo o primeiro elemento do par ordenado e a Ins o segundo. No caso geral, sejam a e b dois objectos quaisquer. Com estes objectos podemos construir dois pares ordenados distintos (a, b) e (b, a). No par ordenado (a, b), a o primeiro objecto e b o segundo. No par ordenado (b, a) passa-se o contrrio, ou seja, b o primeiro objecto e a o segundo. Evidentemente que se tem (exceptuando o caso a = b) (a, b) (b, a).

Para alm da distino que fazemos entre os pares ordenados (a, b) e (b, a), tambm os devemos distinguir do conjunto A constitudo pelos objectos a e b: A = {a, b} = {b, a} (a, b) e A = {a, b} = {b, a} (b, a).

Consideremos agora os dois conjuntos A e B assim denidos: A = {a, b, c} e B = {1, 2}.

Podemos tentar formar pares ordenados escolhendo para primeiro elemento do par um objecto do conjunto A e para segundo elemento do par um objecto do conjunto B. Por exemplo (c, 2) e (b, 1).

Podemos mesmo escrever todos os pares ordenados formados por este processo: (a, 1) (a, 2) (b, 1) (b, 2) (c, 1) (c, 2).

Ao conjunto destes seis pares ordenados (que so todos os obtidos escolhendo para primeiro elemento do par um objecto de A e para segundo 29

elemento do par um objecto de B) chamamos produto cartesiano de A por B. Designando por A B o produto cartesiano de A por B temos ento A B = {(a, 1), (a, 2), (b, 1), (b, 2), (c, 1), (c, 2)}. Claro que tambm poderamos ter pensado nos pares ordenados em que o primeiro elemento do par um objecto de B e o segundo um objecto de A. Teramos ento o produto cartesiano de B por A B A = {(1, a), (1, b), (1, c), (2, a), (2, b), (2, c)}. Estamos agora em condies de passar ao caso geral, dando a seguinte denio Denio 7. Sejam A e B dois conjuntos quaisquer. Chamaremos produto cartesiano de A por B ao conjunto A B constitudo por todos os pares ordenados (a, b) tais que a pertence a A e b pertence a B: A B = {x U; x = (a, b), com a A e b B}. Se um dos conjuntos A ou B for vazio, ento o produto cartesiano A B tambm vazio: A=B= Da prpria denio de produto cartesiano de dois conjuntos resulta que esse produto no verica a propriedade comutativa. De facto A B um conjunto de pares ordenados em que o primeiro elemento do par um objecto de A, enquanto B A um conjunto de pares ordenados em que o primeiro elemento do par um objecto de B. Claro que podemos pensar no produto cartesiano de um conjunto A por si prprio; nesse caso, em vez de escrevermos A A, poderemos tambm escrever (com o mesmo signicado) A2 ; dizemos ainda que A2 o quadrado cartesiano do conjunto A. Por exemplo, sendo A = {a, 1, 5}, o quadrado cartesiano de A ser o conjunto A2 = {(a, a), (a, 1), (a, 5), (1, a), (1, 1), (1, 5), (5, a), (5, 1), (5, 5)}. Pensemos agora em dois conjuntos A e B nitos; imediato que o produto cartesiano A B tambm nito. Ser que conseguimos relacionar o cardinal de A B com o cardinal m de A e o cardinal n de B? Pensemos na forma de construir o produto cartesiano: a cada elemento a de A associamos um elemento b de B para formar o par (a, b). Portanto, cada elemento a de A, vai originar tantos pares ordenados quantos os elementos de B. Por outras 30

palavras, xado um elemento a de A, existem tantos pares ordenados em que a o primeiro elemento do par quantos os elementos de B. O nmero de pares ordenados em que o primeiro elemento do par a portanto n, que o nmero de elementos de B. Cada elemento de A origina n pares ordenados; como A tem m elementos, o nmero total de pares ordenados m n. Mostrmos assim que, no caso de A e B serem conjuntos nitos, se tem #(A B) = #A #B. Claro que, se um dos conjuntos A ou B for innito e nenhum deles for vazio, ento o produto cartesiano A B tambm innito. Tal como denimos a noo de par ordenado, podemos agora introduzir a noo de terno ordenado. Dados trs objectos a, b e c, chamaremos terno ordenado (a, b, c) ao conjunto {a, b, c} munido de uma ordenao, por forma a que o primeiro elemento seja a, o segundo seja b e o terceiro seja c. Claro que a ordenao poderia ter sido outra. Por exemplo (c, a, b) um tambm um terno ordenado, mas agora o primeiro elemento c, o segundo a e o terceiro b. Mais uma vez chamamos a ateno para o facto de se ter (a, b, c) (c, a, b)

Por outro lado, tal como os pares ordenados, h que distinguir um terno ordenado de um conjunto com trs elementos. Sejam A, B e C trs conjuntos quaisquer. Podemos pensar em todos os ternos ordenados que se obtm escolhendo para primeiro elemento do terno um objecto de A, para segundo elemento um objecto de B e para terceiro elemento um objecto de C. Designaremos o conjunto de todos esses ternos ordenados por A B C e diremos tratar-se do produto cartesiano de A por B e por C. Vejamos um exemplo. Seja A = {Lus, Jlia }, B = {5} e C = {s, t, u}. Um terno ordenado pertencente a A B C , por exemplo, (Lus, 5, u). fcil determinar o produto cartesiano de A por B e por C: A B C = {(Lus, 5, s), (Lus, 5, t), (Lus, 5, u), (Jlia, 5, s), (Jlia, 5, t), (Jlia, 5, u)}. Dados trs conjuntos A, B e C, j sabemos o que se entende por A B C: o conjunto de todos os ternos ordenados em que o primeiro elemento do terno pertence a A, o segundo a B e o terceiro a C. 31

Por outro lado tambm sabemos o que signica (A B) C: um conjunto de pares ordenados em que o primeiro elemento do par um objecto de A B e o segundo um objecto do conjunto C. Aquele primeiro elemento do par, por ser um objecto de AB, ele prprio um par ordenado, em que o primeiro elemento um objecto de A e o segundo um objecto de B. Temos dois entes distintos: (a, b, c) elemento de A B C, ((a, b), c) elemento de (A B) C. Os entes (a, b, c) e ((a, b), c), embora distintos, tm parecenas bvias. Isso leva-nos a adoptar um procedimento muito comum em Matemtica: identicar dois entes que, embora distintos, podem ser interpretados como um nico ente. Assim identicamos o objecto ((a, b), c) (elemento do conjunto (A B) C) com o terno ordenado (a, b, c) (elemento do conjunto A B C). Ainda podemos pensar num outro conjunto intimamente relacionado com os anteriores; trata-se de A (B C). Este conjunto formado por elementos da forma (a, (b, c)) que so pares ordenados onde o primeiro elemento do par um objecto de A e o segundo elemento do par um objecto de B C. evidente que nos d jeito identicar o objecto (a, (b, c)) com o terno ordenado (a, b, c), e, por consequncia, tambm com ((a, b), c). No fundo o que zemos foi identicar os trs conjuntos seguintes: (A B) C, A (B C) e A B C. Com esta identicao podemos escrever (embora seja um abuso de linguagem) A B C = (A B) C = A (B C). A igualdade (A B) C = A (B C) exprime a associatividade do produto cartesiano. Cuidado! Esta associatividade s vlida mediante as identicaes entre os conjuntos (A B) C, A (B C) e A B C referidas anteriormente.

32