No estudo de Conjuntos, trabalhamos com alguns conceitos
primitivos, que devem ser entendidos e aceitos sem definio. Para um estudo mais aprofundado sobre a Teoria dos Conjuntos, pode-se ler: Naive Set Theory, P.Halmos ou Axiomatic Set Theory, P.Suppes. O primeiro deles foi traduzido para o portugus sob o ttulo (nada ingnuo de): Teoria Ingnua dos Conjuntos. Alguns conceitos primitivos
Conjunto: representa uma coleo de objetos.
a. O conjunto de todos os brasileiros. b. O conjunto de todos os nmeros naturais. c. O conjunto de todos os nmeros reais tal que x-4=0. Em geral, um conjunto denotado por uma letra maiscula do alfabeto: A, B, C, ..., Z. Elemento: um dos componentes de um conjunto. a. Jos da Silva um elemento do conjunto dos brasileiros. b. 1 um elemento do conjunto dos nmeros naturais. c. -2 um elemento do conjunto dos nmeros reais que satisfaz equao x-4=0. Em geral, um elemento de um conjunto, denotado por uma letra minscula do alfabeto: a, b, c, ..., z. Pertinncia: a caracterstica associada a um elemento que faz parte de um conjunto. a. Jos da Silva pertence ao conjunto dos brasileiros. b. 1 pertence ao conjunto dos nmeros naturais. c. -2 pertence ao conjunto de nmeros reais que satisfaz equao x-4=0.
Smbolo de pertinncia: Se um elemento pertence a um conjunto
utilizamos o smbolo que se l: "pertence". Para afirmar que 1 um nmero natural ou que 1 pertence ao conjunto dos nmeros naturais, escrevemos: 1 N Para afirmar que 0 no um nmero natural ou que 0 no pertence ao conjunto dos nmeros naturais, escrevemos: 0 N Um smbolo matemtico muito usado para a negao a barra / traada sobre o smbolo normal. Algumas notaes para conjuntos
Muitas vezes, um conjunto representado com os seus
elementos dentro de duas chaves { e } atravs de duas formas bsicas e de uma terceira forma geomtrica: Apresentao: Os elementos do conjunto esto dentro de duas chaves { e }. a. A={a,e,i,o,u} b. N={1,2,3,4,...} c. M={Joo,Maria,Jos} Descrio: O conjunto descrito por uma ou mais propriedades. a. A={x: x uma vogal} b. N={x: x um nmero natural} c. M={x: x uma pessoa da famlia de Maria} Diagrama de Venn-Euler: (l-se: "Ven-iler") Os conjuntos so mostrados graficamente.
Subconjuntos
Dados os conjuntos A e B, diz-se que A est contido em B,
denotado por A B, se todos os elementos de A tambm esto em B. Algumas vezes diremos que um conjunto A est propriamente contido em B, quando o conjunto B, alm de conter os elementos de A, contm tambm outros elementos. O conjunto A denominado subconjunto de B e o conjunto B o superconjunto que contm A. Alguns conjuntos especiais
Conjunto vazio: um conjunto que no possui elementos.
representado por { } ou por . O conjunto vazio est contido em todos os conjuntos. Conjunto universo: um conjunto que contm todos os elementos do contexto no qual estamos trabalhando e tambm contm todos os conjuntos desse contexto. O conjunto universo representado por uma letra U. Na sequncia no mais usaremos o conjunto universo. Reunio de conjuntos
A reunio dos conjuntos A e B o conjunto de todos os
elementos que pertencem ao conjunto A ou ao conjunto B. A B = { x: x A ou x B } Exemplo: Se A={a,e,i,o} e B={3,4} ento A B={a,e,i,o,3,4}. Interseo de conjuntos
A interseo dos conjuntos A e B o conjunto de todos os
elementos que pertencem ao conjunto A e ao conjunto B. A B = { x: x A e x B } Exemplo: Se A={a,e,i,o,u} e B={1,2,3,4} ento A B=.
Quando a interseo de dois conjuntos A e B o conjunto vazio,
dizemos que estes conjuntos so disjuntos. Propriedades dos conjuntos
1. Fechamento: Quaisquer que sejam os conjuntos A e B, a
reunio de A e B, denotada por A B e a interseo de A e B, denotada por A B, ainda so conjuntos no universo. 2. Reflexiva: Qualquer que seja o conjunto A, tem-se que: A A=A e A A=A 3. Incluso: Quaisquer que sejam os conjuntos A e B, temse que: A A B, B A B, A B A, A B B 4. Incluso relacionada: Quaisquer que sejam os conjuntos A e B, tem-se que: A B equivale a A B = B A B equivale a A B = A 5. Associativa: Quaisquer que sejam os conjuntos A, B e C, tem-se que: A (B C) = (A B) C A (B C) = (A B) C 6. Comutativa: Quaisquer que sejam os conjuntos A e B, tem-se que: A B=B A A B=B A
7. Elemento neutro para a reunio: O conjunto vazio o
elemento neutro para a reunio de conjuntos, tal que para todo conjunto A, se tem: A =A 8. Elemento "nulo" para a interseo: A interseo do conjunto vazio com qualquer outro conjunto A, fornece o prprio conjunto vazio. A = 9. Elemento neutro para a interseo: O conjunto universo U o elemento neutro para a interseo de conjuntos, tal que para todo conjunto A, se tem: A U=A 10. Distributiva: Quaisquer que sejam os conjuntos A, B e C, tem-se que: A (B C ) = (A B) (A C) A (B C) = (A B) (A C) Os grficos abaixo mostram a distributividade.
Diferena de conjuntos
A diferena entre os conjuntos A e B o conjunto de todos os
elementos que pertencem ao conjunto A e no pertencem ao conjunto B. A-B = {x: x A e x B}
Do ponto de vista grfico, a diferena pode ser vista como:
Complemento de um conjunto
O complemento do conjunto B contido no conjunto A, denotado
por CAB, a diferena entre os conjuntos A e B, ou seja, o conjunto de todos os elementos que pertencem ao conjunto A e no pertencem ao conjunto B. CAB = A-B = {x: x A e x B} Graficamente, o complemento do conjunto B no conjunto A, dado por:
Quando no h dvida sobre o universo U em que estamos
trabalhando, simplesmente utilizamos a letra c posta como expoente no conjunto, para indicar o complemento deste conjunto. Muitas vezes usamos a palavra complementar no lugar de complemento. Exemplos: c=U e Uc=. Leis de Augustus De Morgan
1. O complementar da reunio de dois conjuntos A e B a
interseo dos complementares desses conjuntos. (A B)c = Ac Bc
2. O complementar da reunio de uma coleo finita de
conjuntos a interseo dos complementares desses conjuntos. (A1 A2 ... An)c = A1c A2c ... Anc 3. O complementar da interseo de dois conjuntos A e B a reunio dos complementares desses conjuntos. (A B)c = Ac Bc 4. O complementar da interseo de uma coleo finita de conjuntos a reunio dos complementares desses conjuntos. (A1 A2 ... An)c = A1c A2c ... Anc Diferena simtrica
A diferena simtrica entre os conjuntos A e B o conjunto de
todos os elementos que pertencem reunio dos conjuntos A e B e no pertencem interseo dos conjuntos A e B. A B = { x: x A B e x A B } O diagrama de Venn-Euler para a diferena simtrica :
Exerccio: Dados os conjuntos A, B e C, pode-se mostrar que:
1. A= se, e somente se, B=A B. 2. O conjunto vazio o elemento neutro para a operao de diferena simtrica. Usar o tem anterior. 3. A diferena simtrica comutativa. 4. A diferena simtrica associativa. 5. A A= (conjunto vazio).
6. A interseo entre A e B C distributiva, isto :
A (B C) = (A B) (A C) 7. A B est contida na reunio de A C e de B C, mas esta incluso prpria, isto : A B (A C) (B C)