PONTIFCIA UNIVERSIDADE CATLICA DO RIO GRANDE DO SUL

Faculdade de Matemtica Departamento de Matemtica

Estruturas Algbricas Profa. Daniela Rodrigues Ribas

Tpico 01 Conceitos Bsicos da Teoria dos Conjuntos

Retirado de MENEZES, P. B.: Matemtica discreta para computao e informtica. Porto Alegre: Instituto de Informtica da
UFRGS: Editora Sagra Luzzato, 2004. (Srie Livros Didticos n16).

MATEMTICA E COMPUTAO
Praticamente qualquer estudo em Computao e Informtica, terico ou aplicado, exige como prrequisito conhecimentos de diversos tpicos de Matemtica. A importncia da matemtica explicitada nas
Diretrizes Curriculares do MEC para cursos de Computao e Informtica. A matria Matemtica
integrante da rea de formao Bsica. Especificamente em relao a isso, o texto do MEC destaca que:
A matemtica, para rea da computao, deve ser vista como ferramenta a ser usada na definio
formal de conceitos computacionais (linguagens, autmatos, mtodos etc.). Os modelos formais permitem
definir suas propriedades e dimensionar suas instncias, dadas suas condies de contorno.
A maioria dos conceitos computacionais pertencem ao domnio do discreto; assim, a Matemtica
Discreta, tambm chamada lgebra Abstrata, fortemente empregada. Portanto, esta disciplina possui
tpicos matemticos essenciais para a formao do aluno de cursos da rea de Computao e Informtica.

FINITO/INFINITO E DISCRETO/CONTNUO
Um conceito importante o do termo Matemtica Discreta. Intuitivamente falando, qualquer sistema
computador possui limitaes finitas em todos os seus principais aspectos, como, por exemplo, tamanho de
memria, nmero de instrues que pode executar, nmero de smbolos diferentes que pode tratar, etc.
Assim, o estudo de conjuntos finitos fundamental. Possuir limitaes finitas no implica necessariamente
uma limitao ou pr-fixao de tamanhos mximos. Por exemplo, no que se refere capacidade de
armazenamento, um computador pode possuir unidades auxiliares como discos removveis, fitas, etc.
Portanto, para um correto entendimento de diversos aspectos computacionais, freqentemente no
possvel pr-fixar limites, o que implica tratar tais questes em um contexto infinito.
Entretanto, qualquer conjunto de recursos computacionais, finito ou infinito, contvel ou discreto
(em oposio ao termo contnuo), no sentido em que seus elementos (recursos) podem ser enumerados ou
seqenciados (segundo algum critrio) de tal forma que no existe um elemento entre quaisquer dois
elementos consecutivos da numerao. Podem existir conjuntos infinitos contveis (discretos) e conjuntos
infinitos no-contveis (no-discretos). A Matemtica Discreta possui como nfase os estudos matemticos
baseados em conjuntos contveis (discretos), finitos ou infinitos.

CONJUNTOS
O conceito de conjunto fundamental, pois praticamente todos os conceitos desenvolvidos em
Computao e Informtica, bem como os correspondentes resultados, so baseados em conjuntos ou
construes sobre conjuntos.
Definies

Um conjunto uma coleo de zero ou mais objetos distintos, chamados elementos do conjunto,
os quais no possuem qualquer ordem associada.

Um elemento uma entidade que pertence a um conjunto.

A relao de pertena (ou pertinncia) indica se um elemento pertence a um conjunto ou no. Se
o elemento pertence ao conjunto porque possui a caracterstica que define aquele conjunto, e
vice-versa

www.pucrs.br/famat/daniela

Exemplos e Notaes

Notaes

Elementos: so normalmente representados por letras latinas minsculas

Exemplos: a, b, c, ...

Conjuntos: so normalmente representados por letras latinas MAISCULAS

Exemplos: A, B, C, ...

Relao de Pertena: representada pelo smbolo , criado por Georg Cantor.

x
x

A
A

significa
significa

o elemento x pertence ao conjunto A

o elemento x no pertence ao conjunto A

Formas de representao de Conjuntos

H diversas formas de representao de conjuntos. Algumas so mais adequadas para a
compreenso de propriedades e caractersticas. Outras, so necessrias para a demonstrao de
teoremas, comprovao de propriedades, ou mesmo, para simplificao da representao.
Por Extenso
Consiste em descrever, um a um, todos os elementos do conjunto. Em conjuntos com muitos ou
mesmo infinitos elementos podem ser usadas expresses indicando a lei de formao dos elementos
pertencentes ao conjunto.
Pontos positivos: permite a visualizao de todos os elementos do conjunto, facilitando raciocnios de
inspeo.
Pontos negativos: s prtica ao se trabalhar com conjuntos finitos e com poucos elementos.

Por Compreenso
Consiste em descrever o conjunto atravs de uma propriedade lgica (uma proposio) comum a
todos seus elementos.
Pontos positivos: sucinta, fcil de manipular, formal e til para o desenvolvimento de raciocnios. Permite
representar conjuntos com muitos (ou infinitos) elementos.
Pontos negativos: no permite a visualizao direta dos elementos, exige a determinao formal de uma
proposio para a propriedade que define o conjunto.

www.pucrs.br/famat

Por Grficos
Consiste em descrever o conjunto atravs de grficos cartesianos.
Pontos positivos: so teis para a compreenso de propriedades grficas.
Pontos negativos: em geral, so difceis de construir.

Por Diagrama de Venn

Diagramas de Venn so representaes esquemticas de conjuntos.
Pontos positivos: so teis apenas para a compreenso de propriedades atravs de exemplos.
Pontos negativos: no podem ser usados em provas formais, pois no so capazes de representar
propriedades de forma abstrata. Somente podem representar corretamente conjuntos finitos e discretos
Exemplos comparativos:

Outros exemplos envolvendo noes de conjuntos

1) Uma prova com duas questes foi dada a uma classe de quarenta alunos. Dez alunos acertaram
as duas questes, 25 acertaram a primeira questo e 20 acertaram a segunda questo. Quantos alunos
erraram as duas questes?
Diagrama:

www.pucrs.br/famat

2) Numa pesquisa com 100 estudantes, os nmeros daqueles que estudavam diversos idiomas
foram:Espanhol, 28; Alemo, 30; Francs, 42; Espanhol e Alemo, 8; Espanhol e Francs, 10; Alemo e
Francs, 5; todos os trs idiomas, 3.
Diagrama:

a) Quantos no estavam estudando idioma algum?

b) Quantos estudavam somente Francs?

Conjunto Vazio e Conjunto Universo

Outros elementos primitivos da Teoria de Conjuntos so o conjunto universo e o conjunto vazio.
O conjunto universo definido como o conjunto que contm todos os conjuntos. Isto , um
conjunto do qual so tirados todos os elementos usados para a criao dos conjuntos com os quais se est
trabalhando. Sua existncia fundamental para garantir a coerncia da Teoria de Conjuntos.
O conjunto vazio definido como um conjunto que no possui elementos. Sua existncia tambm
fundamental para a definio das operaes entre conjuntos.
Notaes

Conjunto Universo: usualmente representado pelo smbolo U.

Conjunto Vazio: usualmente representado pelos smbolos ou { }.

Principais Conjuntos Numricos

CONJUNTO DOS NMEROS NATURAIS IN
IN = {0, 1, 2, 3, 4, 5, ...}

CONJUNTO DOS NMEROS INTEIROS Z

Z = { ..., -3, -2, -1, 0, 1, 2, 3, 4, ...}

CONJUNTO DOS NMEROS RACIONAIS Q

Q = {x | x =

a
, com a
b

Z, b

Zeb

0}

Observaes

Q, pois se a

www.pucrs.br/famat

Z, a =

a
1

Q.

Todo nmero racional pode ser representado na forma decimal, e podemos ter dois casos:
1) a representao decimal finita:

7
= 1,75
4

3
= 0,6
5

2) a representao decimal infinita peridica:

1
= 0,333...
3

47
= 0,5222...
90

CONJUNTO DOS NMEROS IRRACIONAIS I

Considera os nmeros

2,

3 e

, suas representaes decimais so:

2 = 1,4142135...
3 = 1,7320508...
= 3,1415926535...
e = 2,71828... (n. de Euler)
Observe que existem decimais infinitas no peridicas, s quais damos o nome de nmeros
a
irracionais que no podem ser escritos na forma . Todas as razes no exatas so exemplos de nmeros
b
irracionais.

CONJUNTOS DOS NMEROS REAIS IR

IR = Q U I = { x | x racional ou x irracional}
Portanto, so nmeros reais:

os nmeros naturais;

os nmeros inteiros;

os nmeros racionais;

os nmeros irracionais.

Podemos representar os Reais em uma reta que chamamos Reta Real:

Cada nmero Real tem um ponto na reta associado a ele e cada ponto da reta tem um nmero Real
que o representa e a este nmero chamamos coordenada do ponto ou abscissa do ponto.

Intervalos
Chamamos de intervalo a determinados subconjuntos dos nmeros reais. Assim, dados dois
nmeros reais a e b , com a < b, temos:

intervalo aberto
(a, b) = { x IR
a<x<b}

www.pucrs.br/famat

 intervalo fechado
[a, b] = { x IR
a x

b}

intervalo semi-aberto direita

(a, b] = { x

a<x

IR

b}

intervalo semi-aberto esquerda

a x<b}
[a, b) = { x IR
intervalos infinitos
(a, + ) = {x

IR

[a, + ) = {x

IR

( , a) = {x
( , a] = {x

IR
IR

x > a}
x

a}

x < a}
x

a}

Observao: ( , + ) = IR

Alfabetos, Palavras e Linguagens

Um Alfabeto um conjunto finito. Os elementos de um alfabeto so usualmente denominados de
representa um alfabeto.
smbolos ou caracteres.

Um conjunto vazio um alfabeto e {a, b, c} um alfabeto. O conjunto dos nmeros naturais no um

alfabeto.
Uma Palavra ou cadeia de caracteres ou sentena sobre um alfabeto uma sequncia finita de
smbolos (do alfabeto) justapostos.
denota a cadeia vazia, palavra vazia ou sentena vazia.
*

denota o conjunto de todas as palavras possveis sobre

*

{0, 1} = {

, 0, 1, 01, 11, 10, 001, 011, 010, 111, 0001,...}

a, e, i, o, u, ai, ui, aeio, aeiou, aaauu, so exemplos de palavras sobre {a,e,i,o,u}

Para o alfabeto

= { ab, bd, ac, cc, d },

abdbd

ccaac

Uma Linguagem, ou linguagem formal, um conjunto de palavras sobre um alfabeto.

Exemplo: Linguagens de Programao As linguagens de programao como Pascal, C, Java so
linguagens sobre o alfabeto constitudo por letras, dgitos e alguns smbolos especiais (espao, parnteses,
pontuao, etc).

Exerccios
1) Escreve simbolicamente:
a) o conjunto dos nmeros inteiros mpares no negativos.
b) o conjunto dos nmeros inteiros entre 2 e 20.
c) o conjunto dos nmeros inteiros divisveis por 5.
www.pucrs.br/famat

2) Determina por compreenso os conjuntos que esto determinados abaixo por extenso e vice-versa.
a) { 0, 1, 2, ...9}
b) {-1, 1}
c) {1, 3, 5, 7}
d) {0, 2, 4, 6, ...}
e) {0, 1, 4, 9, 16, ...}
f) {3, 10, 17, 24, 31, ...}
g) { x | x Z e x > -2 e x < 8}
h) { x | x
e x par e x 10}
2
i) { x | x Z e x < 17}
2
j) { x | x Z e x + 4 = 0}
2
2
k) { x | x Z e (z + 1) (z 1) = 4z}
3) Coloca ao lado da sentena a letra V ou F conforme seja verdadeira ou falsa:
a) 0
;
b) 3 {1, 2, 3, 5};
c)
{3};
e) 4 {{4}, 4}
f) {3, 4} {{3, 4}, {5, 6}};
g) {1, 2} {1, 2, 3, 4, 5};
{x|x
e x par}
h)

d) 5

{{5}};

4) Em cada exerccio abaixo, dados os conjuntos A e B, verifica qual das alternativas correta: A B ,
A B, A B , A = B, A B.
2
a) A = { x | x Z e x < 5} e B = { x | x Z e (x+1) < 28}
2
b) A = {x | x quadrado de rea menor que 9m } e B = { x | x quadrado de permetro maior que 12m}
c) A = { x | x quadriltero} e B = { x | x polgono}
d) A= { x | x = 3y 1, y N} e B= { x | x = 3y 1, y Z}
5) A determinao por extenso do conjunto { x | x
a) {0, 1}
b)
c) {0}

N e x < 1} :
d) { {0} }

6) Sejam trs conjuntos A, B e C tais que: A subconjunto de B e C subconjunto de A. Devemos ter:

a) C o conjunto vazio
b) A o subconjunto de C
c) B subconjunto de A
d) B no pode ser o conjunto vazio
e) C subconjunto de B.
7) Determina por extenso os conjuntos:
A = { x Z | x par e x < 5};
B = { x N | x primo};
C = { x N | x par e primo};
D = {x N | x nmero par e 4 < x 10 }
8) Dentre os seguintes conjuntos o vazio :
2
2
A = {x N | x = 9}, B= {x Z | x + x = 2}, C = {x

R | x = 5}, D = {x

N | 2< x <3} ou E = {x

Z | x = 0}

9) Dentre os conjuntos do exerccio anterior, quais so unitrios?

10) Sejam os conjuntos: A = {x
| x < 7}, B = { x
de incluso entre cada dois conjuntos.

www.pucrs.br/famat

|x

7} e H = { x

R | -2< x

6}. Verifica as relaes

Respostas
1) a) {1, 3, 5, ... } b) { 3, 4, 5, ..., 19} c) ... 10, -5, 0, 5, 10, 15, ...}
2) a) { x | x algarismo do nosso sistema de numerao}
2
b) { x | x = 1}
c) { x | x mpar e x < 9}
d) { x | x natural e x par}
2
e) { x | x = a e a N}
*
f) { x | x = 7a - 4 , a N }
g) {-1, 0, 1, 2, 3, 4, 5, 6, 7}
h) { 0, 2, ...,10}
i) { -4, -3, -2, -1, 0, 1, 2, 3, 4}
j) { }
k) Z
3) a) F

b) V

4) a) A

5)

c) F d) F e) V f) F g) V h) V
b) A

B c) A

c)

e)

B = { 2, 3, 5, 7, 11, 13, 17, ... }

10) A

B
6)

7) A = { 4, 2, 0, -2, -4,...}
8)

d) A

C={2}

D = { 6, 8, 10}

9) A e E
H

e B

Exerccios complementares:
Referncia: Menezes P. B. Matemtica Discreta para Computao e Informtica.
Pgina
10

Exerccios
1, 2, 3, 4, 5, 6, 7, 8, 9 10 e 12

Respostas: 1. a) { x | x inteiro e x > 10} ou {11,12,13,...} infinito

b) { x x mpar e positivo} ou { y | y=2x+1 e x IN} infinito
c) { x | x pas do mundo } finito
d) { x | x um programa Pascal} o conjunto de comandos finito mas o conjunto de
programas infinito.
2. a) V b) V c) F d) F e) V f) V g) V h) F i) V j) V k) F l) V m) V n) V
3. a = {3} b = 3 no podemos afirmar que a = b, so entidades diferentes.
4. a) A = {a, b, c} seus subconjuntos so { }, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, {a, b, c}
b) B = {a, {b, c} , D} onde D = {1, 2} e so subconjuntos de B; { }, {a}, { {b, c} }, {D}, {a, {b, c} }, {a, D},
{ {b, c}, D} , B
5. Como o vazio no tem elementos, no ter elemento algum no contido em qualquer outro, nem nele
prprio.
6. Sim, exceto o conjunto vazio.
7. a) X pode ser igual a D
b) X pode ser igual a E, C ou F
c) X pode ser igual a B
d) X pode ser igual a D ou B
8. a) V b) F c) F
d) F
e) V
f) V
9. c, d, e, f, g, h
10. a)

={

, a,b,c,...z, AA,ab, AC, az, ba, bb, bc,...bz, aaa,...}.

b) {0, 1, 2, ... 9}* = {

www.pucrs.br/famat

, 0, 1, 2,...9, 00, 01, 02,...09, 90, 01,...99, 000,...}.

8