Anda di halaman 1dari 9

Pontifcia Universidade Catlica de Minas Gerais (PUC/Minas)

Curso de Sistemas de Informao.


Disciplina: Fundamentos Matemticos para Computao

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 uma noo primitiva., no depende de outras noes mais


simples
de fundamental importncia para vrias reas da cincia da computao:
o Teoria dos Nmeros
o Lgica
o Banco de Dados, etc

Conceitos Bsicos

Conjunto Notao: Letras Maisculas


o A, B, C ... X, Y, Z
o Um conjunto uma coleo bem definida de entidades ou objetos
(chamados de membros ou elementos do conjunto), considerados
globalmente e que pode ser identificada.
o Ou, coleo no-ordenada de objetos.
Exemplos:
Conjunto de livros na biblioteca (conj. finito)
Conjunto dos nmeros naturais (conj. infinito)
Conjunto de ces falantes (conj. vazio, {}, )
Conjunto de dois elementos, Conjunto de alunos e carteiras
da sala.
o Conjuntos normalmente so observados como tendo caractersticas em
comum, mas isto no necessrio
Exemplo: {mesa, co, lua} um conjunto

Elemento Notao: letras minsculas


o a, b, c, .... x, y, z
o A = {a, b, c}
o Os objetos que constituem um conjunto denominam-se elementos do
conjunto.
Exemplos:
Memrias pstumas de Brs Cubas um elemento do
conjunto de livros da Biblioteca
1 um elemento do conjunto dos Nmeros Naturais.
3 elemento do conjunto soluo da equao 3x9=0

Pontifcia Universidade Catlica de Minas Gerais (PUC/Minas)


Curso de Sistemas de Informao.
Disciplina: Fundamentos Matemticos para Computao

Pertinncia Notao:
o Uma relao fundamental em conjuntos a de um elemento ser ou no
membro de um conjunto, ou seja pertencer aquele conjunto, ou ainda, se
o elemento x possui o predicado P.
x X
o 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
x X
ou (x X) = x X

Conjunto Universo Notao: U


o 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 possveis.
o Muitas vezes a noo de conjunto e elementos pode ser relativa o um
conjunto completo pode ser apenas um elemento em outro conjunto.
Exemplo : Uma reta um elemento do conjunto de todas as
possveis retas, mas tambm um conjunto de pontos.

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}.
Formas de se descrever um Conjunto
De maneira explcita: A={gua, terra, fogo, ar}
Indicando um padro: (normalmente para conjuntos infinitos)
o P={2, 4, 6, 8, ...}
Por recurso:
1. 2 S
2. Se n S, ento (n+2) S
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)
o S = {x | P(x)}

Pontifcia Universidade Catlica de Minas Gerais (PUC/Minas)


Curso de Sistemas de Informao.
Disciplina: Fundamentos Matemticos para Computao

x (x S ^ P(x))
Exemplos:
A = {x | x um inteiro e 4 < x < 9}
S = {x | x soluo para x2 4 = 0}

Diagramas de Venn
o Como forma 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.
o Os elementos do conjuntos so os pontos internos ao recinto, enquanto
os elementos que no pertencem ao conjunto so pontos externos ao
recinto.
U
A
a1 A
a2 A

Conjuntos Especiais
o N: conjunto dos nmeros naturais: {1, 2, 3, ...}
o Z: conjunto dos nmeros inteiros: {..., -2, -1, 0, 1, 2, ...}
o Z*: conjunto dos nmeros inteiros positivos {1, 2, 3, ...}
o Q: conjunto dos nmeros racionais: {x|x=n/m, m, n Z ^ m 0}
o R: conjunto dos nmeros reais: {x | x um nmero real}
o C: Conjunto dos nmeros complexos. {x | x=a + bi, a R, b R, e i =
-1
Propriedades dos Conjuntos
Igualdade de Conjuntos
o Dois conjuntos A e B so iguais se e somente se todo elemento de A
pertence tambm a B e todo elemento de B pertencer a A.
A=B x ((xA xB) ^ (xB xA))
Desigualdade de Conjuntos

Pontifcia Universidade Catlica de Minas Gerais (PUC/Minas)


Curso de Sistemas de Informao.
Disciplina: Fundamentos Matemticos para Computao
Se existe elemento de A que no pertence a B ou existe elemento de B que no
pertence a A, ento diz se que A no igual a B.
o AB x ((xA ^ xB) (x A ^ x B))
Subconjuntos
o O conjunto A dito um subconjunto de B se e somente se todo elemento
de A tambm um elemento de B.
AB x (xA xB)
o Diz-se que A est contido em B.
o Se A no est contido em B, escreve-se A B

o Obs: {1} {1, 2} ({1} est contido no conjunto {1, 2} ) mas 1 {1, 2} ( 1
pertence ao conjunto {1, 2}, e no est incluso nele) Somente
subconjuntos podem estar includos ou ser subconjuntos de outros

Subconjunto Prprio
o Se A um subconjunto de B, mas quer-se enfatizar que A B,
escrevemos A B e dizemos que A um subconjunto prprio de B.
A B x (xA xB) ^ x (x A ^ x B)
AB ^AB

Subconjuntos (Exemplos)
o Sejam os conjuntos:
A={1, 7, 9, 15}
B={7, 9}
C={7, 9, 15, 20}
BC
BA
BA

15 C
{7, 9} B
{7} A

o Seja A um conjunto e seja B={A,{A}}


A B e {A} B
{A} B e {{A}} B
AB
A {A}

Subconjuntos (Propriedades)
o Reflexiva:
AA
o Transitiva:
(A B) ^ (B C) (A C)

Pontifcia Universidade Catlica de Minas Gerais (PUC/Minas)


Curso de Sistemas de Informao.
Disciplina: Fundamentos Matemticos para Computao

Conjuntos Especiais
Conjunto Vazio:
o Um conjunto que no contenha nenhum elemento chamado de
Conjunto Vazio - .
o O conjunto vazio est contido ( subconjunto de qualquer conjunto).
Conjunto Potncia:
o Dado qualquer conjunto A, sabemos que o conjunto vazio e o conjunto A
so ambos subconjuntos de A.
o Podemos definir TODOS os subconjuntos de A da seguinte forma:
o Para um conjunto A, o conjunto formado por todos os subconjuntos de A
chamado de Conjunto Potncia de A.
o denotado por 2A, ou P(A), ou ainda (A)
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.

Operaes sobre Conjuntos

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

B
AB

INTERSEO:
o Se A e B so conjuntos, a interseo 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 ^ xB)

AB

Pontifcia Universidade Catlica de Minas Gerais (PUC/Minas)


Curso de Sistemas de Informao.
Disciplina: Fundamentos Matemticos para Computao

DIFERENA:
o Se A e B so conjuntos, a diferena 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(x A ^ x B)

AB
Exemplo:

A = {1,2,3} B = {1,2}
A-B={3} , B-A=
Obs: A diferena de conjuntos no comutativa

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

U
A

PRODUTO CARTESIANO:
o 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.
o 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) | (x A ^ y B)
o 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)}

Pontifcia Universidade Catlica de Minas Gerais (PUC/Minas)


Curso de Sistemas de Informao.
Disciplina: Fundamentos Matemticos para Computao
Modelo Boleano Clssico de Conjuntos
As 8 possveis relaes entre os conjuntos A, B e C

A B C

A B C

A B C

A B C

A B C

A B C

A B C

A B

Regio Relacionamento

Pontifcia Universidade Catlica de Minas Gerais (PUC/Minas)


Curso de Sistemas de Informao.
Disciplina: Fundamentos Matemticos para Computao
Propriedades das operaes sobre conjuntos:
o Comutatividade:
A B = B A
A B = B A
o Associatividade:
A (B C) = (A B) C
A (B C) = (A B) C
o Distributividade:
A (B C) = (A B) (A C)
A (B C) = (A B) (A C)
o Idempotncia (Reflexo)
A A = A
A A = A
o Complemento do Complemento
A =A
o Leis de De Morgan
(A B) = A B
(A B) = A B
o Propriedades do Complemento:
() = A
A = U
A =
o Propriedades de Elemento Neutro
A = A
A U = A
o Propriedade do Elemento Nulo para a Interseo
A =
Exemplo:
Sejam A, B e C conjuntos. Mostre que:
A

(B

C) = (C

B)

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.
Cardinalidade de Conjuntos
Contagem de Conjuntos
o O que devemos fazer neste caso estabelecer uma correspondncia de
um-para-um entre os objetos a serem contados e o conjunto dos naturais.
o Definio: Dois conjuntos A e B so ditos equipotentes (ou equivalentes,
ou possuindo a mesma cardinalidade), e denotados por A ~ B, se e

Pontifcia Universidade Catlica de Minas Gerais (PUC/Minas)


Curso de Sistemas de Informao.
Disciplina: Fundamentos Matemticos para Computao
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.
o Definio: Um conjunto A dito finito se ele tem n elementos distintos
onde n N. O nmero n chama se 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
qualquer conjunto que no seja finito chamado de infinito
o Definio: Qualquer conjunto equivalente ao conjunto dos nmeros
naturais chamado de enumervel.
Pergunta: E o Conjunto dos nmeros reais???
o Definio: Um conjunto que seja infinito e no-enumervel chamado
incomensurvel.