Introduo aos conjuntos

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.

Conjuntos Numricos
I) Nmeros Naturais N = { 0 , 1 , 2 , 3 , ... } II) Nmeros Inteiros Z = { ... , -2 , -1 , 0 , 1 , 2, ... } Todo nmero natural inteiro, isto , N um subconjunto de Z III) 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 ={x/x = 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 ... - 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. IV) 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. Exs:

V) Nmeros Reais - a reunio do conjunto dos nmeros irracionais com o dos racionais. Resumindo:

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

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:
1.

A
3.

A=A e A

A=A

Incluso: Quaisquer que sejam os conjuntos A e B, tem-se que: A

4.

B, B

B, A

A, A que

B os

Incluso relacionada: Quaisquer conjuntos A e B, tem-se que: A A

5.

sejam

B equivale a A B equivale a A

B=B B=A

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 Comutativa: Quaisquer que sejam os conjuntos A e B, tem-se que:
6.

A B=B A A B=B A Elemento neutro para a reunio: O conjunto vazio o elemento neutro para a reunio de conjuntos, tal que para todo conjunto A, se tem:
7.

A =A Elemento "nulo" para a interseo: A interseo do conjunto vazio com qualquer outro conjunto A, fornece o prprio conjunto vazio.
8.

A = 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:
9.

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=.

Smbolos

: pertence

: existe

: no pertence

: no existe

: est contido

: para todo (ou qualquer que seja)

: no est contido

: conjunto vazio

: contm

N: conjunto dos nmeros naturais

: no contm

Z : conjunto dos nmeros inteiros

/ : tal que

Q: conjunto dos nmeros racionais

: implica que

Q'= I: conjunto dos nmeros irracionais

: se, e somente se

R: conjunto dos nmeros reais