Você está na página 1de 3

1

TEORIA DOS CONJUNTOS

Definio de Conjunto: um conjunto uma coleo de zero ou mais objetos distintos,


chamados elementos do conjunto, os quais no possuem qualquer ordem associada. Em outras
palavras, uma coleo no-ordenada de objetos.
Exemplo: A = {branco, azul, amarelo}
Em um conjunto, a ordem dos elementos no importa e cada elemento deve ser listado apenas
uma vez.
Podemos definir um conjunto de diferentes formas:
Denotao por Extenso: os elementos so listados exaustivamente.
Exemplo: Vogais = {a, e, i, o, u}
Denotao por Compreenso: definio de um conjunto por propriedades comuns aos objetos.
De forma geral, escreve-se {x | P(x)}, onde P(x) representa a propriedade.
Exemplo: Pares = {n | n par}, que representa o conjunto de todos os elementos n, tal que n
um nmero par.
Ainda podemos especificar um conjunto omitindo alguns elementos que esto implcitos na
notao adotada. Veja exemplos:
Dgitos = {0, 1, 2, 3, ..., 9}
Pares = {0, 2, 4, 6, ...}

1.1
-

Relao de Pertinncia
Se a elemento de um conjunto A, ento podemos escrever:

a A
e dizemos que a pertence ao conjunto A.
- Se a no elemento de um conjunto A, ento podemos escrever:

a A
e dizemos que a no pertence ao conjunto A.
Exemplo: Considerando o conjunto Vogais = {a, e, i, o, u}, podemos dizer que:
- e Vogais
- m Vogais
Considerando o conjunto B = {x | x brasileiro}, temos que:
- Pel B
- Bill Gates B

1.2

Alguns Conjuntos Importantes

O Conjunto Vazio um conjunto que no possui elementos e pode ser denotado por ou { }.
Ainda temos:

Matemtica Discreta
Mrcia Rodrigues Notare

N, que representa o conjunto dos nmeros naturais;


Z, que representa o conjunto dos nmeros inteiros;
Q, que representa o conjunto dos nmeros racionais;
I, que representa o conjunto dos nmeros irracionais;
R, que representa o conjunto dos nmeros reais;
C, que representa o conjunto dos nmeros complexos.

Definio de Alfabeto: um alfabeto um conjunto finito, ou seja, um conjunto que pode ser
denotado por extenso. Os elementos de uma alfabeto so chamados de smbolos ou caracteres.
Definio de Palavra: uma palavra sobre um alfabeto uma seqncia finita de smbolos do
alfabeto, justapostos.

palavra vazia
alfabeto
conjunto de todas as palavras possveis sobre o alfabeto

Exemplos:
- um alfabeto
- {a, b, c, d} uma alfabeto
- N no um alfabeto
- uma palavra sobre {a, b, c]
- uma palavra sobre
- * = {}
Aplicaes na Computao
Chamamos de Linguagem Formal a um conjunto de palavras sobre um alfabeto. Portanto,
podemos entender que uma linguagem de programao o conjunto de todos os seus possveis
programas e que um programa uma palavra da linguagem de programao.

1.3

Relao de Incluso

Se todos os elementos de um conjunto A so tambm elementos de um conjunto B, ento


dizemos que:
A B
A est contido em B
ou que
B contm A
BA
Neste caso, podemos dizer que A um subconjunto de B.
Por outro lado, se A B e A B, ou seja, existe bB tal que bA, ento dizemos que:
ou que

A B

A est contido propriamente em B

BA

B contm propriamente A

Neste caso, dizemos que A um subconjunto prprio de B.


Exemplos:
- {1, 2, 3} {3, 2, 1}
- {1, 2} {1, 2, 3}
- {1, 2} {1, 2, 3}

Matemtica Discreta
Mrcia Rodrigues Notare

Definio de Conjunto Universo: denotado por U, o conjunto que contm todos os conjuntos
que esto sendo considerados, ou seja, define o contexto de discusso. Dessa forma, U no um
conjunto fixo e, para qualquer conjunto A, temos que A U.

1.4

Igualdade de Conjuntos

Dois conjuntos A e B so ditos iguais se, e somente se, possuem os mesmos elementos, ou seja:

A = B ( A B B A)
Exemplos:
- {0,1,2} = x x 0 x < 3

= {x x 0}

{a, b, c} = {a, b, b, c, c, c}

1.5

Pertin ncia x Incluso

Os elementos de um conjunto podem ser conjuntos. Portanto, preste ateno nos conceitos de
pertinncia e incluso.
Exemplos: Considere o conjunto S = {a, b, c, d, , {0}, {1, 2}}. Ento:
- {a} S
- {a} S
- S
- S
- {0} S
- {1,2} S
- {a, b, c, d} S
- {a, b, c, d} S

Matemtica Discreta
Mrcia Rodrigues Notare