Teoria dos Conjuntos...........................................................................................................1 1 Conjuntos Numricos ...................................................................................................2 1.1 Nmeros Naturais..................................................................................................2 1.2 Nmeros Inteiros ...................................................................................................3 1.2.

1 Operaes com Nmeros Inteiros..................................................................4 1.2.1.1 Exemplo: .................................................................................................4 1.3 Nmeros Racionais ...............................................................................................4 1.4 Nmeros Irracionais ..............................................................................................6 1.5 Nmeros Reais......................................................................................................7 1.5.1 Representao de um intervalo na reta real...................................................8 1.5.2 Tipos de Intervalos: ........................................................................................8 1.5.3 Unio e Interseco de Intervalos ..................................................................9 1.6 Nmeros Complexos .............................................................................................9 1.7 Exerccios ............................................................................................................11 1.8 Os Conjuntos Vazio e Universo...........................................................................11 1.9 Subconjuntos.......................................................................................................12 1.10 Conjunto das Partes de um Conjunto..................................................................13 2 Operaes entre Conjuntos........................................................................................14 2.1 Unio ...................................................................................................................14 2.2 Interseo............................................................................................................14 2.3 Diferena .............................................................................................................14 2.4 Complementar .....................................................................................................15 2.5 Produto Cartesiano de Conjuntos........................................................................15 2.6 Propriedades Formais .........................................................................................15 2.6.1 Propriedades das Operaes de Unio e Interseo...................................15 2.6.2 Propriedades da Operao de tomar Complementares ...............................15 2.6.3 Propriedades da Operao de Diferena .....................................................16 2.7 Exerccios ............................................................................................................16

Teoria dos Conjuntos

A concepo de conjuntos nem precisa ser dita, o prprio nome j diz tudo. Ex. Pega um grupo de cadeiras e junta sobre um crculo feito no cho. Pronto, temos um conjunto de cadeiras. Um conjunto frequentemente definido atravs de uma propriedade que caracteriza seus elementos. Mais precisamente, parte-se de uma propriedade P. Ela define um conjunto X, assim: se um objeto x goza da propriedade P, ento x X; se x no goza de P ento x X. Escreve-se: X = {x | x goza da propriedade P}. L-se: X o conjunto dos elementos x tal que x goza da propriedade P. No caso particular em que a propriedade P se refere a elementos de um conjunto fundamental E, indicaremos X por: X = {x E | x goza da propriedade P}.

Caso ocorra de nenhum elemento de E gozar da propriedade P, diremos que o conjunto {x E | x goza de P} no possui elemento algum e o denominaremos de Conjunto Vazio. Para represent-lo, usaremos o smbolo . Conjuntos numricos podem ser representados de diversas formas. A forma mais simples dar um nome ao conjunto e expor todos os seus elementos, um ao lado do outro, entre os sinais de chaves. Veja o exemplo: Esse conjunto se chama "A" e possui trs termos, que esto listados entre chaves. Os nomes dos conjuntos so sempre letras maisculas. Quando criamos um conjunto, podemos utilizar qualquer letra.

1 Conjuntos Numricos
Para trabalharmos com nmeros, devemos primeiramente ter um conhecimento bsico de quais so os conjuntos ("tipos") de nmeros existentes atualmente. A noo de nmero tem provavelmente a idade do homem e certamente sempre esteve ligada sua necessidade de registrar e interpretar os fenmenos que o cercavam. Os primeiros smbolos numricos conhecidos surgiram com o intuito de representar a variao numrica em conjuntos com poucos elementos. Com a ampliao e a diversificao de suas atividades, o homem sentiu a necessidade de criar novos smbolos numricos e processos de contagem e desenvolver sistemas de numerao. A maioria dos sistemas de numerao tinha como base os nmeros 5 ou 10, numa clara referencia ao numero de dedos que temos nas mos. Esses sistemas ainda no possuam a notao posicional nem o nmero zero. Os primeiros registros da utilizao da notao posicional ocorreram na Babilnia, por volta de 2500 J o aparecimento do zero data do sculo IX e atribudo aos hindus. Tambm se atribuiu aos hindus o atual sistema de numerao posicional decimal, que foi introduzido e difundido na Europa pelos rabes. Por essa razo, esse sistema costumeiramente chamado de sistema de numerao indo-arbico. Deve-se a Leonardo de Pisa (1175-1240), tambm chamado Fibonacci, a difuso do sistema indo-arbico na Europa, atravs de sua obra Lber Abacci, de 1202. 1.1 Nmeros Naturais Vamos comear nos primrdios da matemtica. - Se eu pedisse para voc contar at 10, o que voc me diria? - Um, dois, trs, quatro, cinco, seis, sete, oito, nove e dez. Pois , estes nmeros que saem naturalmente de sua boca quando solicitado, so . chamados de nmeros NATURAIS, o qual representado pela letra Foi o primeiro conjunto inventado pelos homens, e tinha como inteno mostrar quantidades. Obs.: Originalmente, o zero no estava includo neste conjunto, mas pela necessidade de representar uma quantia nula, definiu-se este nmero como sendo pertencente ao conjunto dos Naturais. Portanto:

Como o zero originou-se depois dos outros nmeros e possui algumas propriedades prprias, algumas vezes teremos a necessidade de representar o conjunto 2

dos nmeros naturais sem incluir o zero. Para isso foi definido que o smbolo * (asterisco) empregado ao lado do smbolo do conjunto, que representa a ausncia do zero. Veja o exemplo:

1.2

Nmeros Inteiros

Os nmeros naturais foram suficientes para a sociedade durante algum tempo. Com o passar dos anos, e o aumento das "trocas" de mercadorias entre os homens, foi necessrio criar uma representao numrica para as dvidas. Com isso inventaram-se os chamados "nmeros negativos", e junto com estes nmeros, um novo conjunto: o conjunto dos nmeros inteiros, representado pela letra .

O conjunto dos nmeros inteiros formado por todos os nmeros NATURAIS mais todos os seus representantes negativos. Note que este conjunto no possui incio nem fim (ao contrrio dos naturais, que possui um incio e no possui fim). Assim como no conjunto dos naturais, podemos representar todos os inteiros sem o ZERO com a mesma notao usada para os NATURAIS.

Em algumas situaes, teremos a necessidade de representar o conjunto dos nmeros inteiros que NO SO NEGATIVOS. Para isso emprega-se o sinal "+" ao lado do smbolo do conjunto (vale a pena lembrar que esta simbologia representa os nmeros NO NEGATIVOS, e no os nmeros POSITIVOS, como muita gente diz). Veja o exemplo:

Obs.: Note que agora sim este conjunto possui um incio. E voc pode estar pensando "mas o zero no positivo". O zero no positivo nem negativo, zero NULO. Ele est contido neste conjunto, pois a simbologia do sinalzinho positivo representa todos os nmeros NO NEGATIVOS, e o zero se enquadra nisto. Se quisermos representar somente os positivos (ou seja, os no negativos sem o zero), escrevemos:

Pois assim teremos apenas os positivos, j que o zero no positivo. Ou tambm podemos representar somente os inteiros NO POSITIVOS com:

Obs.: Este conjunto possui final, mas no possui incio. E tambm os inteiros negativos (ou seja, os no positivos sem o zero): 3

Uma propriedade interessante dos nmeros inteiros, que j foi mencionada neste texto (e que podemos representar em um grfico) a de ter em seu interior todos os nmeros naturais. Veja o grfico a seguir:

Figura 1 N est contido em Z.

Todo nmero natural inteiro, isto , N um subconjunto de Z 1.2.1 Operaes com Nmeros Inteiros I) Adio e Subtrao I.a) Sinais iguais: Soma-se e conserva-se o mesmo sinal. I.b) Sinais diferentes: Diminui-se e d-se o sinal do maior. II) Multiplicao e Diviso:

Aplica-se a regra dos sinais:

Obs.: Pela ordem, resolver 1.2.1.1 Exemplo:

1.3

Nmeros Racionais

Olhando ainda pela linha do tempo, em um determinado momento comeou a ficar crucial a necessidade de se representar "partes" de alguma coisa. Ex.: fatia de um bolo, pedao de um terreno,... e por essa necessidade foi inventado as fraes. Para incluir os 4

nmeros ditos fracionrios, junto com os j existentes, criou-se o conjunto dos nmeros RACIONAIS ( ), que indica uma razo (diviso) entre dois nmeros inteiros. Os nmeros racionais so todos aqueles que podem ser representados por uma frao de nmeros inteiros. Mas os nmeros 6 e o 2,3 no tm o sinal de frao e so nmeros racionais? - Ora, o 6 pode ser representado pela frao ou at mesmo , e o 2,3 pode ser

, portanto, se um nmero tem a possibilidade de ser escrito em frao de nmeros inteiros, considerado racional. Ento me parece que todos os nmeros com vrgula sero racionais?? - No. Somente os que possurem finitos algarismos aps a vrgula, e as chamadas dzimas peridicas, que possuem infinitos algarismos aps a vrgula mas so nmeros racionais. Veja os exemplos a seguir. 3,14159265... 2,252 2,252525... Este no um nmero Racional, pois possui infinitos algarismos aps a vrgula (representados pelas reticncias) Este um nmero Racional, pois possui finitos algarismos aps a vrgula. Este nmero possui infinitos nmeros aps a vrgula, mas racional, chamado de dzima peridica. Reconhecemos um nmero destes quando, aps a vrgula, ele sempre repetir um nmero (no caso 25).

Com isso podemos concluir que o conjunto dos nmeros RACIONAIS formado por todos os nmeros Inteiros (como vimos no exemplo anterior, um inteiro pode ser representado como uma frao, por exemplo, 10 pode ser ) e mais alguns. Portanto, o conjunto dos inteiros est "dentro" do conjunto dos Racionais. Representamos assim:

Figura 2 - Z est contido em Q.

Os nmeros racionais so aqueles que podem ser expressos na forma a/b, onde a e b so inteiros quaisquer, com b diferente de 0. Q = { a/b com a e b pertencentes a Z com b diferente de 0 } Assim como exemplo podemos citar o 1/2 , 1 , 2,5 ,... -Nmeros decimais exatos so racionais. Pois: 0,1 = 1/10 2,3 = 23/10 5

- Nmeros decimais peridicos so racionais. 0,1111... = 1/9 0,3232 ...= 32/99 2,3333 ...= 21/9 0,2111 ...= 19/90 -Toda dzima peridica 0,9999 ... 9 ... uma outra representao do nmero 1. Observe que o nmero racional 0,323232.... pode ser escrito como x; onde: 100x = 32,3232....; isto : 100x = 32 + 0,3232... = 32 + x. Implicando em dizer que 100x x = 32; logo x = 32/99. Obs.: As notaes para os "no positivos" e os "no negativos", utilizados para os inteiros, tambm podem ser usadas para os racionais. O zero um nmero racional, pois podemos represent-lo pela frao: = {Todos os racionais sem o zero} = {Todos os racionais NO NEGATIVOS} = {Todos os racionais NO NEGATIVOS sem o zero, ou seja, os positivos} = {Todos os racionais NO POSITIVOS} = {Todos os racionais NO POSITIVOS sem o zero, ou seja, os negativos} 1.4 Nmeros Irracionais

Se formos um pouco mais alm na histria, vamos chegar ao famoso teorema de Pitgoras. Pense comigo: Se temos um tringulo com catetos medindo 1 unidade de comprimento.

Figura 3 Tringulo retngulo de hipotenusa igual a

Pelo teorema de Pitgoras, calculamos que o terceiro lado (a hipotenusa), vale . - E quanto ? - Pois isto no podemos dizer exatamente. O que se sabe que no d para representar como uma frao de nmeros inteiros, pois tem infinitas casas depois da vrgula (e no uma dzima peridica). Ento no podemos cham-lo de nmero racional. Por este motivo houve a necessidade de criar-se mais um conjunto. Que, por oposio aos nmeros racionais, chama-se "CONJUNTO DOS NMEROS IRRACIONAIS". Formado por todos os nmeros que, ao contrrio dos racionais, NO podem ser representados por uma frao de nmeros inteiros. Este conjunto representado por . O conjunto dos nmeros irracionais so aqueles que no podem ser expressos na forma a/b, com a e b inteiros e b diferente de 0. So compostos por dzimas infinitas no peridicas. 6

Por exemplo:

Obs.: Note que as dzimas peridicas so nmeros racionais, enquanto as dzimas no peridicas so nmeros irracionais. Por exemplo: => Todos estes valores no podem ser representados por uma frao de nmeros inteiros, portanto, so chamados de nmeros irracionais. => Este nmero tambm no tem uma representao em forma de frao, por isso tambm um nmero irracional. Ou seja, se somarmos um racional com um irracional teremos como resultado um irracional. => Este tambm irracional, pelo mesmo motivo do nmero acima. - Todas as razes no exatas fazem parte do conjunto dos nmeros irracionais. Mas no so s elas, tambm esto neste conjunto o nmero pi (=3,141592...), o nmero de Euler (e = 2,71828...), e alguns outros. Portanto, se um nmero for racional, no pode ser irracional, e vice-versa. Por isso que, ao representarmos nos bales, devemos separ-los. Veja a figura a seguir:

Figura 4 Conjuntos Q e I.

1.5

Nmeros Reais

Os nmeros racionais e irracionais foram utilizados por sculos e at hoje so considerados os mais importantes. Por este motivo, foi dado um nome para o conjunto formado por todos estes conjuntos. O nome escolhido foi "CONJUNTO DOS NMEROS REAIS" que a reunio do conjunto dos nmeros irracionais com o dos racionais.

Figura 5 -

Se um nmero Real, ou ele ser Racional ou ele ser Irracional, e se encontrar no seu respectivo conjunto. No existindo nenhum nmero que seja REAL e no seja ou RACIONAL ou IRRACIONAL. 1.5.1 Representao de um intervalo na reta real Um intervalo representado na reta real utilizando-se de uma pequena bolinha vazia para indicar que um dos pontos extremos no pertence ao intervalo e de uma bolinha cheia para indicar que o ponto extremo pertence.
Figura 6 Representao de um intervalo na reta real.

1.5.2 Tipos de Intervalos: Dados a e b nmeros reais, com a b, x pertencente ao intervalo e c o seu comprimento, podemos classificar os intervalos como: a) Intervalo Fechado de comprimento finito c = b - a: [a,b] = {x R | a x b} b) Intervalo fechado esquerda e aberto direita de comprimento finito c = b - a: [a,b[ = [a,b) = {x R | a x < b} c) Intervalo aberto esquerda e fechado direita de comprimento finito c = b - a: (a,b] = ]a,b] = {x R | a < x b} d) Intervalo aberto de comprimento finito c = b - a: ]a,b[ = (a,b) = {x R | a < x < b} e) Intervalo aberto direita de comprimento infinito: ]-,b[ = (-,b) = {x R | x < b} f) Intervalo fechado direita de comprimento infinito: ]-,b] = (-,b] = {x R | x b} g) Intervalo fechado esquerda de comprimento infinito: [a,+) = [a,+[ = {x R | a x} ou [a,+) = [a,+[ = {x R | x a} h) Intervalo aberto esquerda de comprimento infinito: ]a,+[ = (a,+) = {x R | x > a} i) Intervalo aberto de comprimento infinito: 8

]-,+[ = (-,+) = R j) Intervalo fechado de comprimento nulo: Como o comprimento nulo e o intervalo fechado, ento a = b e esse intervalo corresponde ao conjunto unitrio {a}, isto , a um ponto da reta real. Concluo a classificao dos intervalos com a seguinte pergunta para vocs: E o intervalo vazio como seria definido? 1.5.3 Unio e Interseco de Intervalos Como intervalos so conjuntos natural que as operaes mencionadas possam ser realizadas. E, trata-se de um procedimento muito comum na resoluo de alguns problemas. E a maneira mais fcil e intuitiva de realizar essas operaes atravs da representao grfica dos intervalos envolvidos. Vamos um exemplo prtico de como efetuar tais operaes. Sejam A = [-1,6] = {x R | -1 x 6} e B = (1,+) = {x R | x > 1} dois intervalos e vamos determinar A U B e A B. Primeiramente, marcamos todos os pontos que so extremos ou origens dos intervalos em uma mesma reta. Em seguida, abaixo dessa reta, traamos os intervalos que representam graficamente os conjuntos A e B. E, por fim, s utilizar a definio de unio e interseco para determinar os trechos que esto em pelo menos um intervalo e os trechos comuns aos dois intervalos, respectivamente. Veja a soluo de A B na figura a seguir e de onde tambm facilmente observado o resultado de A U B: A B = {x R | 1 < x 6} e A U B = {x R | -1 x}

Figura 7 Interseco de intervalos.

1.6

Nmeros Complexos

Durante muito tempo foi s isso que precisamos, conseguamos fazer todos os clculos necessrios com apenas estes nmeros. Mas o tempo foi passando e novas necessidades foram surgindo, veja a histria a seguir. Com um grande salto no tempo, chegamos na casa de nosso querido amigo Caju! Estava ele brincando com nmeros em sua casa, quando houve o seguinte dilogo... Caju - Me, me. Olha s que legal, eu sei que 5, porque 5 ao quadrado 25. Me - Oh! Meu filho, muito bem! 9

Caju - Tambm sei que 9, pois 9 ao quadrado 81. Me - Ah, filhinho, que bonitinho! Mas me diz uma coisa, quanto Caju - Ora me, isso fcil, 5 ! Me - Ento me prova. Caju - Olha me, (5) ao quadrado d... d...... ops, d +25...

Pois , qualquer nmero negativo elevado ao quadrado resulta um valor positivo, ento como fazer para calcular a raiz quadrada de um nmero negativo? A partir da firmou-se um mistrio na Matemtica: quanto vale esta raiz? O tempo passou, e para solucionar o caso, convencionou-se que chamado de unidade imaginria. Ex.: Aqui foram usadas as propriedades de radiciao. E com isso formou-se o conjunto dos nmeros IMAGINRIOS, representado pela letra , que composto por todas as razes de nmeros negativas. Novamente temos uma diviso, ou o nmero Real ou no Real. Por isso devemos colocar o balo dos imaginrios separado dos nmeros Reais. Veja o desenho: , onde i

Figura 8 Conjunto dos complexos.

Agora, neste caso temos uma dvida. Se somarmos um nmero Real com um nmero imaginrio, como por exemplo: 2+3i Em que balo ele vai se encontrar? - No pode ser real, e tambm no pode ser imaginrio. Para solucionar este caso, convencionou-se que o conjunto dos Reais junto com o conjunto dos Imaginrios, chamado de Conjunto dos nmeros COMPLEXOS, que representado por C. Note que o conjunto dos nmeros complexos o conjunto de TODOS os nmeros que conhecemos at hoje! Preste bem ateno, eu disse TODOS os nmeros conhecidos at hoje! Veja o grfico a seguir:

10

Figura 9 - Conjunto dos complexos.

1.7

Exerccios

1. Diga a qual conjunto pertence os nmeros: a) b) c) d) e) f) g) Este nmero pode ser representado por 355/10 ento RACIONAL e consequentemente REAL e COMPLEXO Este nmero inteiro e positivo, ento NATURAL e consequentemente INTEIRO, RACIONAL, REAL e COMPLEXO. Esta raiz no exata, ento, IRRACIONAL e consequentemente REAL e COMPLEXO Esta raiz exata, e isto igual a 12, ento, NATURAL consequentemente INTEIRO, RACIONAL, REAL e COMPLEXO e

Raiz de nmero negativo, que igual a 9i, ento, IMAGINRIO e consequentemente COMPLEXO. Nmero multiplicado por unidade consequentemente COMPLEXO. imaginria, IMAGINRIO e

Nmero real somado com um imaginrio, COMPLEXO.

2. (FUVEST) P uma propriedade relativa aos nmeros naturais. Sabe-se que: I) P verdadeira para o natural n = 10; II) se P verdadeira para n, ento P verdadeira para 2n; III) se P verdadeira para n, n > 2, ento P verdadeira para n - 2. Pode-se concluir que: (A) P verdadeira para todo nmero natural n. (B) P verdadeira somente para nmeros naturais n, n 10. (C) P verdadeira para todos os nmeros naturais pares. (D) P somente verdadeira para potncias de 2. (E) P no verdadeira para os nmeros mpares. 1.8 Os Conjuntos Vazio e Universo

Exemplo: O conjunto vazio pode ser definido por intermdio de qualquer propriedade contraditria, como por exemplo: = { x N | 5 < x < 6 }. E tambm, = {x | x x }. {xN/x <1 e x >2} = = { } {x / x.0=2} = (no existe x que multiplicado por 0, resulte 2.) 11

Muitas vezes, para facilitar o raciocnio, recorremos ao Diagrama de Venn, conforme mostra a figura 10, para representarmos um determinado conjunto. Por exemplo:
A a u 1 e o i 3 B

(a) Conjunto A das vogais

(b) Conjunto B dos algarismos mpares do numeral 123

Figura 10 Diagrama de Venn.

Quando utilizamos a linguagem de conjuntos em determinado assunto, importante determinar o conjunto formado pela totalidade dos elementos que esto sendo considerados; esse conjunto chamado Conjunto Universo para o assunto em questo. Para represent-lo, usaremos o smbolo U. Um Conjunto Finito aquele em que podemos determinar a quantidade de elementos. Do contrrio, o conjunto dito Infinito. Por exemplo, Conjuntos Finitos: dgitos decimais = { 0, 1, 2, ..., 9} dgitos binrios = { 0, 1} Conjuntos Infinitos: nmeros naturais = { 0, 1, 2, ...} nmeros naturais pares = { 0, 2, 4, 6, ...} O nmero de elementos em um conjunto finito chamado de Cardinalidade ou de Nmero Cardinal do Conjunto. Por exemplo, se A = { 1, 2, 2, 5} tem-se card(A) = 3. Um conjunto A dito enumervel (ou contvel) se existe uma correspondncia um para um entre todos os elementos de A e os nmero inteiros. Por exemplo: conjuntos finitos, N, Z, Q R - exemplo de conjunto no-enumervel. Basta mostrar que um subconjunto de R no enumervel. (Por exemplo, o intervalo [0, 1]. ) 1.9 Subconjuntos

Dados os conjuntos A e B, dizemos A subconjunto de B quando todo elemento de A tambm elemento de B. Para indicar este fato, usa-se a notao: A B. Quando A B, diz-se tambm que A parte de B, que est includo em B, ou contido em B. A relao A B chama-se Relao de Incluso. Os smbolos de incluso , , , , so usados para estabelecer relaes apenas entre dois conjuntos. Obs.: A A, qualquer que seja A. A, qualquer que seja A. N z Q R (os conjuntos numricos cumprem as relaes de incluso) 12

Quando se escreve A B no est includa a possibilidade de A = B. No caso em que A B e A B, diz-se que A um subconjunto prprio de B, ou que A uma parte prpria de B, ou ainda, que A est contido propriamente em B. Dizemos que A = B A B e B A. Dois conjuntos A e B so iguais se, e somente se, todo elemento de A tambm elemento de B e vice-versa. Por exemplo: {1, 1, 3, 4 } = { 1, 3, 4 } N* = {1, 2, 3, 4, ... } = z*+ N = {0, 1, 2, 3, 4, ... } = z+ Obs.: 1) De um modo geral, para qualquer conjunto A, o conjunto vazio e o prprio conjunto A so seus subconjuntos. 2) Na relao entre P(A) e seus elementos, utilizamos os smbolos de pertinncia (, ). Assim se {a} elemento de P(A), podemos escrever {a} P(A). 3) Se o conjunto A tem n elementos, ento P(A) tem 2n elementos. Exemplo: Os conjuntos numricos cumprem as relaes de incluso, ou seja, N z Q R. Temos N z, o que traduz a afirmao: todo nmero natural um nmero inteiro. Todo nmero inteiro um nmero racional e existem nmeros racionais que no so inteiros; isto , z parte prpria de Q. O conjunto vazio subconjunto de qualquer conjunto A . Para demonstrar, suponha que o conjunto vazio no esteja contido em A, isto , A. Logo, existe um elemento a tal que a e a A. Como no existe a , somos obrigados a admitir que A, seja qual for o conjunto A. Uma vez introduzido o sinal de incluso, a noo de igualdade entre conjuntos pode ser posta sob a forma: A = B A B e B A. A igualdade de conjuntos : Reflexiva: A = A, seja qual for o conjunto A; Simtrica: se A = B, ento B = A. Transitiva: se A = B e B = C, ento A = C. A relao de incluso A B : Reflexiva: A A, seja qual for o conjunto A; Anti-simtrica: se A B e B A, ento A = B. Transitiva: se A B e B C, ento A C. A verificao dessas propriedades imediata e, ser feita mais adiante. 1.10 Conjunto das Partes de um Conjunto A famlia de todos os subconjuntos do conjunto A denominada Conjunto das De modo geral, para qualquer conjunto A, o partes de A, simbolizada por P(A) ou 2A. conjunto vazio e o prprio conjunto A so seus subconjuntos. Na relao entre P(A) e seus elementos, utilizamos os smbolos de pertinncia (, ). Assim se {a} elemento de P(A), podemos escrever {a} P(A). {{a}} subconjunto de P(A), ou seja, {{a}} P(A). Se o conjunto A tem n elementos, ento P(A) tem 2n elementos. 13

Exemplo: Seja X = { 1, 2, 3}. Ento, P(X) = { , {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, X} com 8 elementos.

2 Operaes entre Conjuntos

2.1 Unio A unio (ou reunio) dos conjuntos A e B o conjunto A B, formado por todos os elementos de A mais os elementos de B. Assim, afirmar que x A B significa dizer que pelo menos uma das afirmaes seguintes verdadeira: x A ou x B. Podemos escrever A B = { x | x A ou x B}.

Exemplo: Tomemos o conjunto universo U = N e sejam A = { x N | 2 < x < 8} e B = { x N | x > 4}. Ento A B = { 3, 4, 5, 6, ... }. Interseo A interseo dos conjuntos A e B o conjunto A B, formado por todos os elementos comuns a A e B. Assim, afirmar que x A B significa dizer que se tem, ao mesmo tempo, x A e x B. Escrevemos ento A B = { x | x A e x B}. Exemplo: Considere o exemplo anterior onde A = { x N | 2 < x < 8} e B = { x N | x > 4}. Ento A B = { 3, 4 }. Pode ocorrer que no exista elemento algum x tal que x A e x B. Neste caso, tem-se A B = e os conjuntos A e B dizem-se disjuntos. Dados dois conjuntos A e B, representamos graficamente a unio dos conjuntos pela parte hachurada - figura 2(a). Hachure na figura 2(b) a interseo entre eles.
A B A B

2.2

( a ) U n i o d e A e B

( b ) I n t e r se o d e A e B

Figura 11 Diagrama de Venn.

Quaisquer que sejam os conjuntos A e B tem-se A B A e A B B. Exemplo: Sejam os conjuntos A = { x N | x mltiplo de 2 } e B ={ x N | x mltiplo de 3 }. Como um nmero natural mltiplo simultaneamente de 2 e de 3 se e somente se este nmero mltiplo de 6, temos: A B = { x N | x mltiplo de 6 }. 2.3 Diferena A diferena entre os conjuntos A e B o conjunto A B, formado por todos os elementos de A que no pertencem a B. Escrevemos ento A B = { x | x A e x B}. 14

Graficamente, temos a figura 12, onde os conjuntos A e B so representados por discos. A diferena A B a parte indicada.

Figura 12 - Diagrama de Venn

Complementar Dados os conjuntos A e B, onde B A, chamamos de complementar de B em relao a A e se representa por CAB o conjunto formado pelos elementos que pertencem a A e no pertencem a B. Se B A, ento CAB = A B . Produto Cartesiano de Conjuntos Outra operao til entre conjuntos o produto cartesiano que se baseia no conceito de par ordenado. Ao escrevermos um par ordenado (x, y), a ordem dos elementos fundamental: x o primeiro elemento do par e y o segundo elemento do par. O produto cartesiano dos conjuntos A e B o conjunto A x B cujos elementos so todos os pares ordenados (x, y) tal que x elemento de A e y elemento de B. Portanto: A x B = { (x,y) | x A e y B}. Obs.: 1) Dados dois pares ordenados (x, y) e (a, b), dizemos que: (x, y) = (a, b) x = a e y = b 2) Se o conjunto A tem m elementos e B n elementos, ento A x B ter m.n elementos. Propriedades Formais Veremos, a seguir, algumas propriedades das operaes entre subconjuntos de um dado conjunto fundamental E. As propriedades devem ser demonstradas. 2.6.1 Propriedades das Operaes de Unio e Interseo Quaisquer que sejam os conjuntos A, B, C, partes de um conjunto fundamental E, tem-se: Unio 1) 2) 3) 4) 5) 6) 7) 8) A = A AE = E ACA = A AA = A AB = BA (A B) C = A (B C) AB = A BA A (B C) = (A B) (A C) 1) 2) 3) 4) 5) 6) 7) 8) Interseo A= AE = A ACA = A AA = A AB = BA (A B) C = A (B C) AB = A AB A (B C) = (A B) (A C) 2.6 2.5

2.4

2.6.2 Propriedades da Operao de tomar Complementares Os conjuntos A e B so partes de um conjunto fundamental E, em relao ao qual estamos tomando os complementares. 15

1)

C(C A) = A 2) A B C B C A 3) A = C A = E 4) C (A B) = C A C B 5) C (A B) = C A C B

que:

As propriedades 4 e 5, da tabela anterior, denominadas Leis de Morgan mostram o complementar da unio igual interseo dos complementares; e que o complementar da interseo igual reunio dos complementares.

2.6.3 Propriedades da Operao de Diferena Sejam A, B e C conjuntos quaisquer num universo E. 1) 2) 3) 4) 5) A-=A e A-E = e A-A= A-C A=A -A= E -A=C A

C (A - B) = C A 6) A - B = C B - C A

7) A (B - C) = (A B) - (C - A) 8) A (B - C) = (A B) - (A C) 2.7 Exerccios

1. Se A = { a, b }, classifique em verdadeiro ou falso: c) { a } A a) { b } A b) A d) a A 2. Diga quais das seguintes proposies so verdadeiras: a) { {1,2},{3,4}} = {1,2,3,4} g) {} b) {1,2} {{1,2}} h) {} c) {1,2} {{1,2}} i) {1,2,2,3,3} = {1,2,3} j) {1,2,3}{1,2,2,3,3} d) {a} {b,{a}} k) e) {a} {b,{a}} f) = {} l) 3. - Sejam U = {2, 1, 2} , G={1, 2, {1}, {2}, {1,2}}. a) U G? Justifique. b) U G? Justifique. 4. Estabelea entre cada um dos conjuntos ou elementos U = {1,2,3,4}, V = {1,4,5}, W = 2, X = {3, }, Y = , Z = { {1}, 2, {3}, 4}, relaes de e/ou , sempre que possvel. Justifique. 5. Considere os conjuntos A={alunos de ED}, T={turmas existentes na Unitri}. Sendo n o nmero total de turmas, seja I={i IN: i n }. Designamos cada turma por Pi , iI. Diga quais das seguintes afirmaes so verdadeiras ou falsas, para i I: a) Pi T d) Pi A b) Pi T e) Pi A T f) Pi A T c) Pi A 16

6. Defina o conjunto IR A, onde A definido do seguinte modo: a) A = { x IR : | x + 5 | 4 x 0 } b) A = { x IR : 6x + 9 < 0 2x 4 } c) A = { x IR : 6x + 9 < 0 } { x IR : 6x + 9 0 } d) A = { x IR : | x 7 | = 4 } { x IR : 7x 5 4 } 7. Dado o conjunto A = { 5, -2.3, 0.131131113..., 0.333..., 2/5, 3.141592... }, escreva o subconjunto de A cujos elementos sejam nmeros racionais. 8. Qual o conjunto unio do conjunto dos inteiros positivos divisveis por 2 e do conjunto dos inteiros positivos divisveis por 3? Qual o conjunto interseo? 9. Dado o conjunto U = { 0, 1, 2, 3, 4, 5, 6, 7, 8 } a) o subconjunto A dos nmeros menores que 5. b) o subconjunto B dos nmeros maiores que 3 e menores que 6. c) o subconjunto C dos nmeros pares maiores que 6. d) o subconjunto D dos nmeros mpares maiores que 7. 10. D um exemplo para ilustrar A B = A C com B C. 11. Mostre que para todo conjunto X, X. 12. Considere a seguinte coleo de conjuntos: Ti = {n IN : n i}, para i IN.
a) Mostre que Ti Tj i j , i,j IN.
10 10

b) Determine

Ti e
i=1

Ti .
i=1

c) Determine

Ti
iIN

Ti .
iIN

13. De trinta e cinco candidatos a uma vaga de programador, vinte e cinco sabem FORTRAN, vinte e oito sabem Pascal e dois no sabem nenhuma delas. Quantos sabem as duas linguagens? 14. Um total de sessenta clientes potenciais foi a uma loja de equipamento informtico. Deles cinqenta e dois fizeram compras: - vinte compraram papel; - trinta e seis compraram diskettes; - quinze compraram tinteiros de impressora; - seis compraram simultaneamente papel e diskettes; - nove compraram simultaneamente diskettes e tinteiros; - cinco compraram simultaneamente papel e tinteiros. Quantos compraram os trs artigos? 15. Um vendedor de praia tem cinco qualidades diferentes de sanduches (fiambre, queijo, presunto, carne assada e mistas) e trs qualidades diferentes de bebidas (sumo de laranja, cerveja e caf). Quantos menus diferentes pode ele oferecer, compostos de uma bebida e de um sanduche? 16. possvel ir de Braga ao Porto de comboio ou de autocarro. Do Porto para Lisboa pode-se ir de comboio, autocarro ou avio e de Lisboa para o Funchal pode-se ir de avio ou barco. Quantos itinerrios distintos se podem escolher para ir de Braga ao Funchal passando por Lisboa? 17. Num baile havia quarenta e cinco raparigas. Destas, vinte danaram rock, dezoito danaram lambada, quinze danaram twist, nove danaram rock e twist, sete danaram rock e lambada, seis danaram twist e lambada e trs danaram as trs danas. Quantas no danaram? 18. Sejam A, B e C conjuntos. Prove as propriedades a seguir: a) A B = B A e A B = B A. g) A C A = b) A B A e A B B h) A C A = U c) A B = B A i) C (A B) = C A C B d) A B) C = A (B C) j) C B C A C(C A) C(C B) e) C ( C A ) = A k) A (B C) = (A B) (A C) f) A B C B C A

19. Prove que A = B se, e somente se, (A CB) (C A B) = . 20. Prove as seguintes afirmaes: a) A B A B = A b) B A A B = A c) (A B) C = A (B C) d) A (B C) = (A B) (A C) e) (A - B) (B - A) = (A B) - (A B) f) C B C A C(C A) C(C B)
g) A B = A C B h) A B = U C A B i) A B A C B =

21. Define-se diferena simtrica entre os conjuntos A e B por: A B = (AB) (BA). Mostre que: a) A B = ( A B ) ( A B ) b) Se A B = ento A = B c) (A B) C = A (B C) d) A B = B A e) A A = 22. Determine P({a}), P(), P({}) e P(P()). (P(X) representa partes do conjunto X). 23. Prove que, para quaisquer conjuntos A e B, se tem:
a) AB P(A) P(B). b) P(A) P(B) = P(A B). c) P(A) P(B) P(A B). Em que condies se tm a igualdade?

24. Considere os seguintes conjuntos:

A = {a 0 + a1 x + a2 x 2 R2 [ x ]: a 0 + a2 = 0} e B = {a0 + a1 x + a2 x 2 R2 [ x ]: a0 + a1 = 0}
a) verifique se p(x)=1+2x-x2 A B. b) verifique se h(x)=1-x-x2 A B. c) determine A B. 25. Mostrar que: a) Se A e B so conjuntos finitos ento AB finito. b) Se A e B so conjuntos finitos ento AB finito. c) Se A e B so conjuntos finitos ento {f | f aplicao de A em B} finito. 26. Mostrar que: a) Se A um conjunto enumervel ento {B A | B finito} enumervel. b) Se A um conjunto enumervel ento P (A) no enumervel. c) Se A um conjunto enumervel ento {B A | B infinito} no enumervel. 18

27. Seja A um conjunto infinito. Mostrar que A enumervel se e s se, para cada parte infinita X de A, se tem A X. 28. So verdadeiras ou falsas as afirmaes: a) Se A, B, C so conjuntos tais que C e A C = B C, ento A = B. b) Se A e B so conjuntos tais que A B enumervel, ento A enumervel ou B enumervel. c) Se A, B, C so conjuntos tais que A C = B C e C , ento A = B. d) Sejam A um conjunto e x A. Se A infinito ento A {x} = A. ---------------------------------------------------------------------------------------------------------APNDICE A. Os Smbolos da Linguagem dos Conjuntos - Resumo Nos itens anteriores, medida que falvamos sobre conjuntos, os smbolos foram surgindo e agora j conhecemos e estamos utilizando uma boa quantidade deles. Vamos fazer um resumo de tais smbolos: aA l-se: a pertence a A aA l-se: a no pertence a A A = {x | x goza a propriedade P} l-se: A o conjunto dos x tal que x goza a propriedade P A=B l-se: A igual a B l-se: A diferente de B AB AB l-se: A est contido em B AB l-se: A no est contido em B AB AB CA B AB AB AB x x x pq pq l-se: l-se: l-se: l-se: l-se: l-se: l-se: l-se: l-se: l-se: l-se: l-se: A contm B A no contm B conjunto vazio complementar de A em relao a B A menos B A inter B A unio B qualquer que seja x ou para todo x existe ao menos um x ou pelo menos um x no existe x algum se p ento q ou p implica q p equivalente a q

19