Teoria dos Conjuntos

Pode-se dizer que a Teoria dos Conjuntos em grande parte trabalho de um nico matemtico: Georg Cantor (1845-1918). A noo de conjunto no suscetvel de definio precisa a partir d noes mais simples, ou seja, uma noo primitiva. de fundamental importncia para vrias reas da cincia da computao:
Teoria dos Nmeros Banco de Dados Linguagens Formais, etc

Teoria dos Conjuntos

Conceitos Primeiros 1. Conjunto Notao: Letras Maisculas
Um conjunto uma coleo bem definida de entidades ou objetos (chamados de membros ou elementos do conjunto), considerados globalmente e que pode ser identificada. Ou, coleo no-ordenada de objetos. Obs.: muitas vezes, todos os objetos em um conjunto gozam de uma mesma propriedade. Exemplos:
Conjunto de livros na biblioteca da UFSC (conj. finito) Conjunto dos nmeros naturais (conj. infinito) Conjunto de dinossauros vivos (conj. vazio, {}, ) Conjunto L de dois elementos, um dos quais o conjunto das vogais e outro o conjunto das consoantes.

Teoria dos Conjuntos

Conceitos Primeiros
Os objetos que constituem um conjunto denominamse elementos do conjunto. Exemplos:
Jos um elemento do conjunto de Catarinenses. 1 um elemento do conjunto dos Nmeros Naturais. -2 elemento do conjunto soluo da equao x2 4 = 0. {a, e, i, o, u} elemento do conjunto formado pelo conjunto as vogais e pelo conjunto das consoantes.

Teoria dos Conjuntos

3.

2. Elemento Notao: letras minsculas

Conceitos Primeiros Pertinncia Notao:

Qualquer objeto que seja elemento de um conjunto dito pertencer aquele conjunto, ou ainda, o elemento x possui o predicado P. Se o elemento x no pertence ao conjunto, denota-se por que tambm pode ser equivalente a dizer que x no est no conjunto, ou ainda que x no possui o predicado P.

4.

Conjunto Universo Notao: U

Chama-se Conjunto Universo ou simplesmente Universo de uma Teoria a todos os entes que so considerados como elementos nesta Teoria. Exemplo: em geometria o Universo o conjunto de todos os pontos.

Teoria dos Conjuntos

Teoria dos Conjuntos

Caractersticas dos Conjuntos

A ordem em que os elementos so listados em um conjunto irrelevante: {3, 2, 1} = {1, 2, 3}. A repetio dos elementos em um conjunto irrelevante: {1, 1, 1, 3, 2, 2} = {1, 2, 3}.

Maneiras de Descrever um Conjunto

Atravs de uma propriedade que os elementos do conjunto tenham em comum: (usa-se um predicado P(x) para denotar a propriedade P referente a uma varivel x)
S = {x | P(x)} x(x S ^ P(x))

Maneiras de Descrever um Conjunto

De maneira explcita: A={gua, terra, fogo, ar} Indicando um padro: (normalmente para conjuntos infinitos) P={2, 4, 6, 8, ...} Por recurso:
1. 2. 2S Se n S, ento (n+2) S

Exemplos:
A={x|x um inteiro e 3 < x < 7} S={x|x soluo para x2 4 = 0}

Teoria dos Conjuntos

Maneiras de Descrever um Conjunto

Teoria dos Conjuntos

Conjuntos Especiais
N: conjunto dos nos naturais: {0, 1, 2, 3, ...} Z: conjunto dos nos inteiros: {..., -2, -1, 0, 1, 2, ...} Z*: conjunto dos nos inteiros positivos {1, 2, 3, ...} Q: conjunto dos nos racionais: {x|x=n/m, m, nZ ^ m0} R: conjunto dos nos reais: {x | x um nmero real}

Atravs de um Diagrama de Venn

Afim de facilitar o entendimento de certas definies e demonstraes da Teoria dos Conjuntos til a representao de um conjunto por um recinto plano delimitado por uma linha fechada qualquer no entrelaada. Os elementos do conjuntos so os pontos internos ao recinto, enquanto os elementos que no pertencem ao conjunto so pontos externos ao recinto.

x2 A A x1 A U

Teoria dos Conjuntos

Teoria dos Conjuntos

Igualdade de Conjuntos
Dois conjuntos A e B so iguais quando todo elemento de A pertence tambm a B e, reciprocamente, todo elemento de B pertencer a A. A=B x ((xAxB) ^ (xBxA))

Subconjuntos
O conjunto A dito um subconjunto de B se e somente se todo elemento de A tambm um elemento de B. AB x (xAxB) Diz-se que A est contido em B. Se A no est contido em B, escreve-se AB.

Desigualdade de Conjuntos
Se existe elemento de A que no pertence a B ou existe elemento de B que no pertence a A, ento dizse que A no igual a B. AB x ((xA ^ xB) v (xA ^ xB))

Subconjunto Prprio
Se A um subconjunto de B, mas queremos enfatizar que AB, escrevemos AB e dizemos que A um subconjunto prprio de B. AB x (xAxB) ^ x ((xA ^ xB) v (xA ^ xB))

Teoria dos Conjuntos

Teoria dos Conjuntos

Subconjuntos (Exemplos)
Sejam os conjuntos: A={1, 7, 9, 15} B={7, 9} C={7, 9, 15, 20} B C 15 C B A {7, 9} B B A {7} A AC C Seja A um conjunto e seja B={A,{A}} A B e {A} B {A} B e {{A}} B AB

Subconjuntos (Propriedades)
Reflexiva:
AA

Transitiva: (A B) ^ (B C)

(A C)

x(x A x B) ^ x(x B x C) x(x A x C) x(A(x) B(x)) ^ x(B(x) C(x)) x(A(x) C(x)) Prova: 1. x(A(x) B(x)) P 2. x(B(x) C(x)) P 3. A(a) B(a) 1 EU 4. B(a) C(a) 2 EU 5. A(a) C(a) 3,4 SH 6. x(A(x) C(x)) 5 IU

Teoria dos Conjuntos

Teoria dos Conjuntos

Conjunto Potncia:
Exemplo: Seja A={1,2,3}. Ento P(A) consiste de todos os subconjuntos de A; P(A)={,{1},{2},{3},{1,2},{1,3},{2,3},{1,2, 3}} Obs.: Se A tem n elementos, P(A) tem 2n elementos.

Outros Conjuntos Especiais Conjunto Vazio:

Um conjunto que no contenha nenhum elemento chamado de Conjunto Vazio - . O conjunto vazio est contido ( subconjunto de qualquer conjunto).

Conjunto Potncia:
Dado qualquer conjunto A, sabemos que o conjunto vazio e o conjunto A so ambos subconjuntos de A. Podemos definir TODOS os subconjuntos de A da seguinte forma: Para um conjunto A, o conjunto formado por todos os subconjuntos de A chamado de Conjunto Potncia de A. denotado por 2A, ou P(A), ou ainda (A)

Teoria dos Conjuntos

Operaes sobre Conjuntos

UNIO:
Se A e B so conjuntos, a unio de A e B, denotada por A B, o conjunto que contm aqueles elementos que esto em A, ou em B, ou em ambos: A B = x(xA v x B)
U A B AB

Seqncias:
Como os conjuntos no so ordenados, uma estrutura diferente necessria para representar colees ordenadas. Tomemos o conjunto S={1,2,3} e seu conjunto potncia P(S)={,{1},{2},{3},{1,2},{1,3},{2,3},{1,2,3}} Podemos utilizar uma representa binria para o representar distintamente os subconjuntos de um conjunto. Os diversos subconjuntos do conjunto S podem ser representados: =B000 , {1}=B100, {2}=B010, {1,3}=B101 , {2,3}=B 011 =B11 , B{1,2,3}=B111 Onde os ndices de B contm 1 ou 0 se a respectiva posio do conjunto original em relao ao subconjunto possuir o elemento ou no.

Operaes sobre Conjuntos

INTERSEO:
Se A e B so conjuntos, a interse o de A e B, denotada por A B, o conjunto que contm aqueles elementos que esto em A e em B ao mesmo tempo: A B = x(xA ^ x B)
U A B

Operaes sobre Conjuntos

DIFEREN A:
Se A e B so conjuntos, a diferen a de A e B, denotada por A - B, o conjunto que contm aqueles elementos que esto em A mas no esto em B: A - B = x(xA ^ x B)
U A B

AB

A-B

Operaes sobre Conjuntos

COMPLEMENTO:
Se U o conjunto Universo, U- A chamado de complemento de A e denotado por : = U - B = x(xU ^ x A)

Operaes sobre Conjuntos

Produto Cartesiano:
O produto cartesiano de dois conjuntos o conjunto de todos os pares ordenados dos elementos do primeiro conjunto que pode-se formar com os elementos do segundo conjunto. Definio: Supondo-se A e B serem conjuntos de um Universo U. O Produto Cartesiano de A e B denotado por AxB e definido por: AxB={(x,y) | (xA ^ yB) Exemplo: Dados os conjuntos X={a,b} e Y={1,2}, o produto cartesiano de XxY : XxY={(a,1),(a,2),(b,1),(b,2)}

U A

Operaes sobre Conjuntos

Operaes sobre Conjuntos

Propriedades das Operaes sobre Conjuntos:

Comutatividade:
AB=BA AB=BA

Propriedades das Operaes sobre Conjuntos:

Propriedades do Complemento:
() = A A=U A=

Associatividade:

A (B C) = (A B) C A (B C) = (A B) C A (B C) = (A B) (A C) A (B C) = (A B) (A C)

Propriedades de Elemento Neutro

A =A AU=A

Distributividade:

Exemplo:
Sejam A, B e C conjuntos. Mostre que: A (B C) = (C B) A

Idempotncia
AA=A AA=A

Leis de De Morgan
(A B) = A B (A B) = A B

Cardinalidade de Conjuntos

Cardinalidade de Conjuntos

Os Nmeros Naturais
Conjunto bastante conhecido, freqentemente utilizado para contar elementos e objetos; Esta utilizao permite a definio da noo de similaridade ou equipotncia de dois conjuntos e tambm do conceito de Nmero Cardinal de um conjunto.

Os Axiomas de Peano
Seja o conjunto vazio e seus conjuntos sucessores: +, (+)+, ((+)+)+, ... Que so: , {}, {{}}, {{}{{}}}... Se chamarmos de 0 o conjunto , ento +=0+=1, 1+={0,0+}=2, e assim por diante, obteremos o conjunto {0,1,2,...}. 0 N (onde 0 = ) Se n N, ento n+ N onde n+ = n {n} Se um subconjunto S N possui as propriedades:
0 S, e Se n S, ento n+ S Ento S=N N

Os Axiomas de Peano
O conjunto N={0,1,2,...} dos nmeros naturais (incluindo o zero) pode ser gerado iniciando-se com um conjunto vazio e a noo de conjunto sucessor de um conjunto. Um conjunto sucessor denotado por A+ e definido como sendo o conjunto A+ = A {A}

Cardinalidade de Conjuntos

Cardinalidade de Conjuntos

Contagem de Conjuntos
O que devemos fazer neste caso estabelecer uma correspondncia de um-para-um entre os objetos a serem contados e o conjunto dos naturais. Definio: Dois conjuntos A e B so ditos equipotentes (ou equivalentes, ou possuindo a mesma cardinalidade), e denotados por A ~ B, se e somente se existir uma correspondncia de um-para-um entre os elementos de A e os elementos de B. Exemplo: Mostre que os nmeros naturais N e os nmeros naturais pares P tem a mesma cardinalidade.
Para cada elemento n de N, corresponder o elemento 2x dos nmeros pares. Assim, podemos estabelecer a correspondncia de um-para-um entre os dois conjuntos e portanto N ~ P. Note entretanto que P N .

Contagem de Conjuntos
Definio: Um conjunto A dito finito se ele tem n elementos distintos onde n N. O nmero n chamase nmero cardinal de A e escreve-se: n(A) = n ou |A| = n
Exemplo: Seja o conjunto dos inteiros positivos mpares menor do que 10.

|A|=5 Definio: Diz-se que um conjunto infinito se ele for equivalente a um subconjunto prprio. Definio: Qualquer conjunto equivalente ao conjunto dos nmeros naturais chamado de enumervel.

Cardinalidade de Conjuntos

Cardinalidade de Conjuntos

Contagem de Conjuntos
Definio: A cardinalidade de um conjunto infinito e enumervel denotada pelo smbolo 0 (aleph zero). Definio: Todo conjunto finito ou enumervel chamado de contvel. O conjunto dos nmeros reais, por exemplo, infinito, porm, por ser compacto no pode se estabelecer uma correspondncia de um-para-um com o conjunto dos nmeros naturais e, portanto, ele no-enumervel. Definio: Um conjunto que seja infinito e noenumervel chamado incomensurvel.

Princpio da Adio
Definio: Se A e B so conjuntos disjuntos [(AB)=], ento |AB|=|A|+|B|, ou estendendo: |A1 A2A3 ... An |=|A1 |+|A2 |+...+|An | Exemplo: Um estudante tem que escolher um projeto em uma de 3 listas. As 3 listas contm 23, 15 e 19 possveis projetos, respectivamente. Quantas possibilidades de projetos h para escolher.

Cardinalidade de Conjuntos

Cardinalidade de Conjuntos

Princpio da Multiplicao
Definio: Se A e B so conjuntos finitos, ento |AxB|=|A|.|B|, ou estendendo: |A1 xA2 xA3 x... xAn |=|A1 |x|A2 |x...x|An | Exemplo: A ltima parte de um nro. de telefone tem 4 dgitos. Quantos nmeros de 4 dgitos existem?
Resp: Podemos imaginar como o total de possibilidades de uma seqncia de 4 etapas de escolha de 1 dgito: 10x10x10x10=10.000

Princpio da Incluso e da Excluso

Definio: Se A e B so conjuntos finitos, ento |AB|=|A|+|B|-|AB|. Exemplo: Suponha que haja 1807 calouros no CTC da UFSC. Destes, 453 esto cursando Computao, 567 esto cursando Eng. Mecnica e 299 esto em ambos os cursos. Quantos no esto cursando nem Computao nem Eng. Mecnica?
|Computa o|=|A|=453 |Eng.Mecnica|=|B|=567 |A B|=299 |AB|=|A|+|B| -|AB|=453+567-299=721 esto cursando Computa o ou Eng.Mecnica, Logo 1807-721=1086 no esto cursando nenhum dos dois cursos.

Cardinalidade de Conjuntos

Princpio da Incluso e da Excluso

Definio: Se A, B e C so conjuntos finitos, ento
|AB C|=|A|+|B|+|C| -|AB|-|AC|-|BC|+|AB C|.

Exemplo: Uma quitanda vende apenas brcolis, cenoura e batata. Em um dia, a quitanda atendeu 208 pessoas. Se 114 compraram brcolis, 152 compraram cenouras e 17 compraram batatas, 64 compraram brcolis e cenouras, 12 cenouras e batatas e 8 brcolis e batatas. Determine se algum comprou os 3 produtos simultaneamente.