Teoria dos Conjuntos

No nosso objetivo ver uma teoria formal axiomtica dos conjuntos. Veremos uma definio mais intuitiva de conjuntos, que forma a chamada Teoria Ingnua dos Conjuntos.

1.1 Conjuntos e Tuplas

Definio de conjunto: Um conjunto uma coleo no-ordenada de objetos distintos.

Os objetos no conjunto so chamados de elementos ou membros do conjunto. Tambm podemos dizer, neste caso, que os objetos pertencem ao conjunto.

Duas caractersticas dos conjuntos que valem a pena ser destacadas: o A ordem dos elementos no importa. Exemplo: {a,b} = {b,a} o As repeties de elementos no levadas em considerao. Exemplo: {a,b,b} = {a,b}

Para contrastar, vamos comparar conjuntos com as n-uplas ou n-tuplas ou listas, que podemos definir assim: Uma n-tupla uma coleo ordenada de objetos. Diferente dos conjuntos, nas tuplas: o A ordem dos elementos importa. Exemplo (considerando a b): (a,b) (b,a) o As repeties de elementos importam. Exemplo: (a,b,b) (a,b)

1.2 Relaes Objetos x Conjuntos

x A : representa que o objeto x elemento do conjunto A (ou que x pertence a A) x A : representa que o objeto x no elemento do conjunto A (ou que x no pertence a A) o Por definio, isso logicamente equivalente a: (x A) Alguns livros tambm usam os smbolos e invertidos para representar as relaes inversas

1.3 Conjuntos com Nomes Especiais

Conjunto Vazio: o conjunto que no tem elementos.

Conjunto Universo: Conjunto que contm todos os objetos que interessam a um estudo particular. Usamos a letra U para representar um conjunto universo qualquer.

Conjunto Unitrio: todo conjunto que possui um nico elemento.

1.4 Representaes de Conjuntos

Representao por extenso: consiste em listar todos os elementos do conjunto entre chaves. Exemplos: { a, b, c, d, e } { {a, b,}, {c}, {d} }

o O conjunto vazio pode ser representado de uma das formas abaixo: { } ou 2

o Conjuntos com muitos elementos, em que esses elementos seguem um modelo bvio, podem ser abreviados usando trs pontos: { 0, 2, 4, 6, 8, ..., 18, 20 } { 0, 1, 2, 3, 4, ... }

Representao por construo de conjuntos (ou por compreenso de conjuntos): Consiste em descrever uma propriedade que os elementos do conjunto universo devem possuir para fazer parte desse conjunto o Forma geral: { x U | P(x) }, onde: U o conjunto universo O smbolo | aqui pode ser lido como tal que P(x) algum predicado sobre x, ou seja, P(x) alguma condio que x tem que satisfazer para ser elemento do conjunto

o Exemplos: { x Z | x par } Representa o conjunto infinito { ..., -4, -2, 0, 2, 4, ... }. Q = { n R | n = p/q e pZ e qZ e q 0 } Este o conjunto dos nmeros racionais.

o Quando o conjunto universo est implcito no contexto, ele pode ser omitido na construo de conjuntos: { x | x par e 0 < x < 10 }

o Observe que os conjuntos universo e vazio podem ser construdos usando, respectivamente, os predicados P(x)=Verdade (aceita todo elemento x) e P(x)=Falso (rejeita todo elemento x). U = { x | Verdadeiro }

= { x | Falso }

Diagramas de Euler-Venn: Consiste em usar curvas fechadas simples para representar os conjuntos. Se preciso, os elementos podem ser representados dentro dessas curvas.

o O conjunto universo costuma ser representado como um retngulo, dentro do qual desenhamos os demais conjuntos, os quais, geralmente, so representados com crculos e formas elpticas.

o Exemplo: Diagrama que representa U = {1, 2, 3, 4}, A = {1, 2} e B={1,3}

1.5 Operaes Entre Conjuntos

Abaixo, definimos vrias operaes entre conjuntos usando predicados lgicos. Observe a ntima relao que existe entre essas operaes e os operadores lgicos estudados antes.

Unio de A e B: a juno dos elementos de A com os de B o A B = { x | (x A) (x B) }

Interseco entre A e B: tudo o que A e B tm em comum o A B = { x | (x A) (x B) }

Definio: Dois conjuntos so ditos disjuntos (entre si) sse A B =

Complemento de A: tudo que no est em A o

A = { x | x A } = { x | (x A) }

Diferena entre A e B: tudo o que est em A, mas no est em B o A B = { x | (x A) (x B) }

1.6 Relaes Entre Conjuntos

As relaes entre os conjuntos tambm esto ligadas aos operadores lgicos, como mostramos abaixo:

A subconjunto de B: indica que todo elemento de A tambm elemento de B o Representado como A B o Formalmente, significa que, para todo x do universo:
(x A) (x B)

o Observe que, para todo conjunto, verdade que A A. (Por qu?).

A igual a B: indica que os conjuntos A e B possuem exatamente os mesmos elementos o Representado como A = B

o Formalmente, significa que, para todo x do universo:

(x A) (x B)

o Outra forma de entender: A = B se e somente se:

A B e B A. (Entende por qu?)

A um subconjunto estrito de B: indica que A subconjunto de B, mas no igual a B o Representado como A B 5

o Formalmente, indica que:

(A B) e (A B)

Devido ntima ligao que h entre os operadores dos conjuntos e os conectivos lgicos, os conjuntos tm propriedades de igualdade (identidades) anlogas s equivalncias lgicas que vimos. Por exemplo, esta equivalncia: (a b) a b est intimamente ligada esta propriedade dos conjuntos:

(A B) = A B .
Outras propriedades de conjuntos similares a esta podem ser vistas no material complementar desta aula. Compare-as com as equivalncias lgicas vistas antes, observando como o conjunto universo faz o papel do valor-verdade V e o conjunto vazio faz o papel do valor-verdade F.

1.7 Outras Operaes com Conjuntos

Conjunto das partes de A: um conjunto contendo todos os subconjuntos de A o P(A) = { X | X A } o Exemplo:

P({a,b}) = { { }, {a}, {b}, {a,b} }

Cardinalidade de um conjunto finito A: quantidade de elementos distintos do conjunto A o |A| = cardinalidade de A

o Exemplos: | {a, b} | = 2 ||=0

o Observao: veremos a cardinalidade de conjuntos infinitos depois

Produto cartesiano de A por B: conjunto de todos os pares em que o primeiro elemento vem de A e o segundo vem de B o A B = { (a,b) | a A e b B } o Exemplo:
{ a, b } { 1, 2} = { (a,1), (a,2), (b,1), (b,2) }

Produto cartesiano generalizado: conjunto de todas as n-tuplas em que o primeiro elemento vem de A1, o segundo vem de A2, ..., e o n-simo vem de An o A1 A2 A3 ... An
= { (a1, a2,... an) | a1 A1 e a2 A2 e ... e an An }

o Exemplo:
{ a, b } { 1, 2} { a, b } = { (a,1,a), (a,1,b), (a,2,a), (a,2,b), (b,1,a), ..., (b,2,b) }

Ningum pode vir a mim, se o Pai que me enviou no o atrair; e eu o ressuscitarei no ltimo dia. (Joo cap. 6, verso 44)