Você está na página 1de 67

Universidade Estadual do Cear

Universidade Aberta do Brasil

Matemtica Discreta
Prof. Me. Leandro Filho

Aula 01: Conjuntos

Matemtica Discreta Aula 01 - 1 Prof. Leandro Filho


Introduo (1)
Pode-se dizer que a Teoria dos Conjuntos em grande
parte trabalho de um nico matemtico:
George Cantor (1845-1918).

Essa teoria uma das pedras fundamentais da Matemtica.


E muitos conceitos em Cincia da Computao podem ser
expressos de maneira conveniente usando-se conjuntos.
Operaes podem ser realizadas em conjuntos para gerar
novos conjuntos.
Tecnologia de Banco de Dados o exemplo clssico do
uso de conjuntos em computao.
Matemtica Discreta Aula 01 - 2 Prof. Leandro Filho
Introduo (2)
A noo de conjunto no suscetvel de uma definio
precisa. Ela surge a partir de noes mais simples, ou
seja, uma noo primitiva.
Conjunto no se define formalmente. Usa-se uma idia
intuitiva de que se trata de uma coleo de objetos (no
ordenada e sem repetio).
Esses objetos de um conjunto possuem alguma
propriedade em comum.
Qualquer objeto que tenha essa propriedade pertence ao
conjunto.
Qualquer objeto que no tenha essa propriedade no
pertence ao conjunto.

Matemtica Discreta Aula 01 - 3 Prof. Leandro Filho


Introduo (3)
Sintetizando, objetos de um conjunto no possuem
nenhuma ordem de apresentao e cada um listado
apenas uma vez. redundante list-lo de novo.
Exemplos de conjuntos:
O conjunto formado por todas as mulheres da sala.
O conjunto formado por todos(as) os(as) So Paulinos(as)
da sala.
O conjunto formado por todas as pessoas com mais de 15
anos na sala.
O conjunto formado pelos alunos de Licenciatura em
Computao de Brejo Santo.

Matemtica Discreta Aula 01 - 4 Prof. Leandro Filho


Notao (1)
Usa-se letras maisculas A, B, ..., para denotar os
conjuntos e minsculas c, d, ..., para os elementos.
Usa-se o smbolo para denotar pertinncia em um
conjunto. Dessa forma:
c A significa que c pertence ao conjunto A ou elemento
do conjunto A.
d A significa que o elemento d no pertence ao conjunto
A ou no elemento do conjunto A.
Usa-se chaves para indicar um conjunto.
Se A = {azul, verde, branco}, ento verde A e preto A.
Os elementos em um conjunto no tem nenhuma ordem,
de modo que
{azul, verde, branco} o mesmo que {branco, azul, verde}.

Matemtica Discreta Aula 01 - 5 Prof. Leandro Filho


Notao (2)
Diz-se que dois conjuntos so iguais se eles contm os
mesmos elementos. Em notao de lgica de predicados
tem-se:
A = B significa x((x A x B) (x B x A))
Ex.: Os conjuntos {1,3,5} e {5,3,1} so iguais.
Ao se descrever um conjunto, deve-se ter um modo de
identificar seus elementos.
Para um conjunto finito (com n elementos, n 0), isso
feito listando-se (todos ou parcialmente) os seus
elementos.
Ex.: V = {a, e, i, o, u}.

Matemtica Discreta Aula 01 - 6 Prof. Leandro Filho


Notao (3)
Para um conjunto infinito (que no finito), pode-se
indicar a forma geral listando os primeiros elementos.
Ex.: S o conjunto de todos os inteiros positivos pares, ento S =
{2, 4, 6,}.
Pode-se usar de recorrncia, explicitando um dos
elementos do conjunto S e descrevendo-se os outros
elementos em termos dos j conhecidos.
Ex.: 1) 2 S
2) Se n S, ento (n + 2) S.
Finalmente, pode-se descrever esse conjunto por meio
de uma propriedade que caracteriza seus elementos.
Ex.: S = {x | x um inteiro positivo par},
que se l: o conjunto de todos os x tais que x um inteiro
positivo par.
Matemtica Discreta Aula 01 - 7 Prof. Leandro Filho
Notao (4)
A notao para um conjunto cujos elementos so
denotados por uma propriedade P S = {x | P(x)}.
A notao baseada na lgica formal torna mais claro a
propriedade que caracteriza os elementos de um
conjunto.
S = {x | P(x)} significa
x((x S P(x)) (P(x) x S))
Traduzindo:
Todos os elementos de S tm a propriedade P e tudo
que tem a propriedade P pertence a S.

Matemtica Discreta Aula 01 - 8 Prof. Leandro Filho


Notao (5)
Exerccio 1 - Descreva cada um dos conjuntos a seguir,
listando seus elementos:
a) {x | x um inteiro e 3 < x 7}.
b) {x | x um ms com 30 dias}.
c) {x | x a capital do Brasil}.

Matemtica Discreta Aula 01 - 9 Prof. Leandro Filho


Notao (6)
Exerccio 1 - Descreva cada um dos conjuntos a seguir,
listando seus elementos:
a) {x | x um inteiro e 3 < x 7}.
b) {x | x um ms com 30 dias}.
c) {x | x a capital do Brasil}.

Respostas:
a) {4,5,6,7}.
b) {abril, junho, setembro, novembro}.
c) {Braslia}.

Matemtica Discreta Aula 01 - 10 Prof. Leandro Filho


Notao (7)
Exerccio 2 - Descreva cada um dos conjuntos a seguir,
por meio da propriedade que caracteriza seus elementos:
a) {1,4,9,16}.
b) {o aougueiro, o padeiro, o produtor de mas}.
c) {2,3,5,7,11,13,17,...}.

Matemtica Discreta Aula 01 - 11 Prof. Leandro Filho


Notao (8)
Exerccio 2 - Descreva cada um dos conjuntos a seguir,
por meio da propriedade que caracteriza seus elementos:
a) {1,4,9,16}.
b) {o aougueiro, o padeiro, o produtor de mas}.
c) {2,3,5,7,11,13,17,...}.

Respostas:
a) {x | x um dos quatro primeiros quadrados perfeitos}.
b) {x | x um dos trs comerciantes do bairro}.
c) {x | x um nmero primo}.

Matemtica Discreta Aula 01 - 12 Prof. Leandro Filho


Notao (9)
conveniente usar-se uma notao padro para
determinados conjuntos, de modo que a referncia a eles
seja mais fcil.
N = o conjunto de todos os inteiros no negativos (0 N)
N = {0, 1, 2, 3, ...}
Z = conjunto de todos os inteiros
Z = {..., -3, -2, -1,0, 1, 2, 3, ...}
Q = conjunto dos nmeros racionais
Definido por
{p/q | p Z, q Z, e q 0}
Q = { -7/6, 5/8 }
Z Q, pois se p Z, p = (p/1) Q

Matemtica Discreta Aula 01 - 13 Prof. Leandro Filho


Notao (10)
Todo nmero racional pode ser representado na forma
decimal, e pode-se ter dois casos:
Representao decimal finita
7/4 = 1,75.
Representao decimal infinita (peridica)
1/3=0,333...
I = conjunto dos nmeros irracionais
Sejam os nmeros
2 = 1,4142135...
3 = 1,7320...
Existem decimais infinitas no peridicas, s quais se d o
nome de nmeros irracionais, os quais no podem ser
escritos na forma a/b.

Matemtica Discreta Aula 01 - 14 Prof. Leandro Filho


Notao (11)
R = o conjunto dos nmeros reais
R = Q I = {x | x racional ou x irracional}
Logo, so nmeros reais,
os nmeros naturais;
os nmeros inteiros;
os nmeros racionais;
os nmeros irracionais.
Sintetizando:

Matemtica Discreta Aula 01 - 15 Prof. Leandro Filho


Notao (12)
Chama-se de intervalo a determinados subconjuntos dos
nmeros reais. Assim, dados dois nmeros reais a e b,
com a < b, tem-se,
intervalo aberto: (a, b) = {x R | a < x < b}
intervalo fechado: [a, b] = {x R | a x b}
intervalo semi-aberto direita: (a, b] = {x R | a < x b}
intervalo semi-aberto esquerda: [a, b) = {x R | a x < b}
intervalos infinitos:
(a, + ) = {x R | x > a}
[a, + ) = {x R | x a}
( , a) = {x R | x < a}
( , a] = {x R | x a}
Obs.:
( , + ) = R.
Matemtica Discreta Aula 01 - 16 Prof. Leandro Filho
Notao (13)
Um conjunto que no tem elementos (o assim chamado
conjunto vazio) denotado por ou por { }.
Ex.: S = { x | x N e x < 0}, ento S = .
Obs.:
{ }.
A cardinalidade (ou tamanho) de um conjunto A o
nmero de elementos desse conjunto:
denotada pelas barras de valor absoluto em torno do
smbolo do conjunto, |A|.
Ex.:
Se B = {1, 2, 3, 4, 5} ento |B| = 5.
Se E = {1, 2} ento |E| = 2.
Um conjunto finito possui cardinalidade finita (um inteiro)
enquanto um conjunto infinito possui cardinalidade infinita.
Matemtica Discreta Aula 01 - 17 Prof. Leandro Filho
Relacionamento entre Conjuntos (1)
Para os conjuntos A = {3,5,12} e B = {2,3,5,12}, observa-
se que todo elemento de A tambm elemento de B.
Diz-se que A um subconjunto de B (essa definio
engloba o caso adicional do conjunto A ser igual a B).
Se A um subconjunto de B, simboliza-se
por A B, que se l A est contido em B ou B contm
A, simbolizado por B A.
Caso contrrio, indica-se que A no est contido em B,
simbolizado por A B ou B no contm A, denotado por
B A.
Se A B, mas A B (h pelo menos um elemento de B
que no pertence a A), ento diz-se que A um
subconjunto prprio de B, sendo simbolizado por A B
(a notao tambm representa subconjuntos prprios).
Matemtica Discreta Aula 01 - 18 Prof. Leandro Filho
Relacionamento entre Conjuntos (4)
Exerccio 4 Sejam os conjuntos
A = {1,7,9,15}
B = {7,9}
C = {7,9,15,20}
Verificar o valor lgico das seguintes proposies:
BC ( )
BA ( )
BA ( )
AC ( )
15 C ( )
{7} A ( )
{ }C ( )

Matemtica Discreta Aula 01 - 19 Prof. Leandro Filho


Relacionamento entre Conjuntos (5)
Exerccio 4 Sejam os conjuntos
A = {1,7,9,15}
B = {7,9}
C = {7,9,15,20}
Verificar o valor lgico das seguintes proposies:
BC (V)
BA (V)
BA (V)
AC (V)
15 C (V)
{7} A (V)
{ }C (V)

Matemtica Discreta Aula 01 - 20 Prof. Leandro Filho


Conjunto de Conjunto (1)
Para um dado conjunto S qualquer, pode-se formar um
novo conjunto cujos elementos so subconjuntos de S.
Esse novo conjunto chamado de conjunto de partes de S
(ou conjunto potncia) e simbolizado por P(S).
Seja S = {0,1}. Ento P(S) = {{ }, {0}, {1}, {1,0}}
Os elementos de P(S) so conjuntos.
Para qualquer conjunto S, o conjunto de partes P(S) no
mnimo tem como elementos { } e S.
Isso ocorre pois sempre verdade que { } S e S S.
Heurstica:
Para encontrar P(S), comea-se com { }, depois coloca-se os
conjuntos formados por um elemento de S, depois aos
formados por dois elementos de S, por trs e assim por
diante, at o prprio conjuntoS.
Nmero de elementos de P(S) ?
Matemtica Discreta Aula 01 - 21 Prof. Leandro Filho
Conjunto de Conjunto (2)
Exerccio 5
1) Qual o conjunto das partes do conjunto {0,1,2}?
2) Qual o conjunto das partes do conjunto vazio {}?
3) Qual o conjunto das partes do conjunto { {} }?

Matemtica Discreta Aula 01 - 22 Prof. Leandro Filho


Conjunto de Conjunto (3)
Exerccio 5
1) Qual o conjunto das partes do conjunto {0,1,2}?
2) Qual o conjunto das partes do conjunto vazio?
3) Qual o conjunto das partes do conjunto { {} }?

Respostas:
P({0,1,2}) = { {}, {0}, {1}, {2}, {0,1}, {0,2}, {1,2}, {0,1,2} }.
P({ } = { {} }.
P({ {} }) = { {}, { {} } }.

Matemtica Discreta Aula 01 - 23 Prof. Leandro Filho


Operaes em Conjuntos (1)
Grande parte de operaes que envolvem nmeros
podem ser realizadas em conjuntos.
Dado um conjunto S, podemos definir operaes no
conjunto P(S).
O conjunto S, nesse caso, chamado de conjunto universo
ou universo do discurso, o qual define o contexto dos
objetos em discusso.
Ex.:
Se S = Z, ento os subconjuntos contero apenas
inteiros.
Operaes:
Unrias, quando ocorrem em apenas um elemento
(operando) do conjunto, por ex., a negao.
Binrias, quando envolvem dois elementos (operandos) do
conjunto, por ex., a subtrao.
Matemtica Discreta Aula 01 - 24 Prof. Leandro Filho
Operaes em Conjuntos (2)
Exemplo 1:
Seja S o conjunto de alunos de cursos superiores da
UECE/UAB. Sejam A o conjunto dos alunos que estudam
computao e B o conjunto dos alunos que estudam
administrao. Ambos, A e B, pertencem a P(S).
Um novo conjunto de alunos pode ser definido, consistindo
dos alunos que estudam computao ou administrao. Esse
novo conjunto a unio de A e B.
Outro novo conjunto pode ser formado consistindo de alunos
que estudam computao e administrao ao mesmo tempo.
Esse conjunto a interseo de A e B.

Matemtica Discreta Aula 01 - 25 Prof. Leandro Filho


Operaes em Conjuntos (3)
Definio: Sejam A, B conjuntos pertencentes a P(S).
A unio de A e B, denotada por A B, definida por:
{x | x A ou x B}.
A interseo de A e B, denotada por A B definida por:
{x | x A e x B}.
Ex.:
Seja A = {1,3,5,7,9} e B = {3,5,6,10,11} (Os conjuntos A e B
so elementos de P(S)).
Ento
A B = {1,3,5,6,7,9,10,11}
A B = {3,5}
Obs.:
Os conjuntos obtidos so elementos de P(S).
Os elementos repetidos so listados uma s vez.
Matemtica Discreta Aula 01 - 26 Prof. Leandro Filho
Operaes em Conjuntos (4)
Para facilitar a representao, pode-se usar Diagramas
de Venn (homenagem ao matemtico John Venn) para
se visualizar as operaes binrias de unio e
interseo.
Diagrama de Venn para A B:

S
A B

AB

Matemtica Discreta Aula 01 - 27 Prof. Leandro Filho


Operaes em Conjuntos (5)
Diagrama de Venn para A B:

S
A B

AB

Matemtica Discreta Aula 01 - 28 Prof. Leandro Filho


Operaes em Conjuntos (6)
Definio: Seja A um conjunto pertencente a P(S). O
complemento de A, simbolizado por A (ou ) definido
por {x | x S e x A}.

Diagrama de Venn para A:

S
A
A

Obs.:
A representa a parte amarela do diagrama.
Matemtica Discreta Aula 01 - 29 Prof. Leandro Filho
Operaes em Conjuntos (7)
Definio: Sejam A, B subconjuntos pertencentes a P(S).
A diferena entre conjuntos, simbolizada por A - B
definida por {x | x A e x B}.
A B pode ser reescrita como {x | x A e x B}, ou
A B pode ser reescrita como A B.
E a diferena B A?
Diagrama de Venn para A - B:

A B S

A-B
Matemtica Discreta Aula 01 - 30 Prof. Leandro Filho
Operaes em Conjuntos (8)
Definio: Dois conjuntos A e B tais que A B = so
denominados de conjuntos disjuntos.
Ex.: A B e B A so conjuntos disjuntos.

Diagrama de Venn para conjuntos disjuntos:

Matemtica Discreta Aula 01 - 31 Prof. Leandro Filho


Operaes em Conjuntos (9)
Exerccio 6 Sejam os conjuntos
A = {1,2,3,5,10},
B = {2,4,7,8,9}, e
C = {5,8,10},
Subconjuntos de S = {1,2,3,4,5,6,7,8,9,10}.

Encontrar os seguintes conjuntos:


AB
AC
B (A C)

Matemtica Discreta Aula 01 - 32 Prof. Leandro Filho


Operaes em Conjuntos (10)
Exerccio 6 Sejam os conjuntos
A = {1,2,3,5,10},
B = {2,4,7,8,9}, e
C = {5,8,10},
Subconjuntos de S = {1,2,3,4,5,6,7,8,9,10}.

Resposta:
Encontrar os seguintes conjuntos:
A B = {1,2,3,4,5,7,8,9,10}
A C = {1,2,3}
B (A C) = {1,3,5,10}

Matemtica Discreta Aula 01 - 33 Prof. Leandro Filho


Operaes em Conjuntos (11)
Definio: Sejam os conjuntos A e B subconjuntos de S.
O produto cartesiano de A e B, denotado por A B,
definido por {(x,y) | x A e y B}.
o conjunto de todos os pares ordenados com o primeiro
componente do par sendo um elemento de A e o segundo
componente do par sendo um elemento de B.
A B no subconjunto do conjunto S (A B no uma
operao binria fechada em S).
Pode-se abreviar A A por A2.
Ex.:
Sejam A = {1,2} e B = {3,4,5}.
O prod. cartesiano A B ={(1,3),(1,4),(1,5),(2,3),(2,4),(2,5)}
3 3
1 4 2 4
5 5
Matemtica Discreta Aula 01 - 34 Prof. Leandro Filho
Operaes em Conjuntos (12)
Outro Ex.:
Sejam L = {A,B,C} e N = {1,2}.
Prod. cartesiano L N ={(A,1),(A,2),(B,1),(B,2),(C,1),(C,2)}.

L LN

Matemtica Discreta Aula 01 - 35 Prof. Leandro Filho


Operaes em Conjuntos (13)
Exerccio 7 Sejam os conjuntos
A = {1,2},
B = {3,4}.

Encontrar os seguintes conjuntos:


AB
BA
A2
A3

Matemtica Discreta Aula 01 - 36 Prof. Leandro Filho


Operaes em Conjuntos (14)
Exerccio 7 Sejam os conjuntos
A = {1,2},
B = {3,4}.

Resposta:
Encontrar os seguintes conjuntos:
A B = {(1,3),(1,4),(2,3),(2,4)}.
B A = ((3,1),(3,2),(4,1),(4,2)}.
A2 = A A = {(1,1),(1,2),(2,1),(2,2)}.
A3 = A A A =
= (A A) A =
= A2 A =
= {(1,1),(1,2),(2,1),(2,2)} {1,2} =
= {(1,1,1),(1,1,2),(1,2,1),(1,2,2),(2,1,1),(2,1,2),(2,2,1),(2,2,2)}.

Matemtica Discreta Aula 01 - 37 Prof. Leandro Filho


Operaes em Conjuntos (15)
Exerccio para se pensar Sejam os conjuntos
Pagadores = {Joo, Jos},
Caloteiros = {Joaquim, Joo}.

Encontrar os seguintes conjuntos que contenham:


S as pessoas que so Pagadores ou Caloteiros.
S as pessoas que so Pagadores e Caloteiros.
S as pessoas que so somente Pagadores.
S as pessoas que so somente Caloteiros.

Matemtica Discreta Aula 01 - 38 Prof. Leandro Filho


Identidades Em Conjuntos (1)
H uma srie de igualdades entre conjuntos nas
operaes de unio, interseo, diferena e
complementao.
Essas igualdades so independentes dos subconjuntos
particulares utilizados e so chamadas de Identidades
Bsica de Conjuntos.
Essas identidades so semelhantes (em propsito) as
equivalncias tautolgicas da lgica matemtica.
So apresentadas no prximo slide.

Matemtica Discreta Aula 01 - 39 Prof. Leandro Filho


Identidades Em Conjuntos (2)

Identidades Bsicas Envolvendo Conjuntos (1).


Matemtica Discreta Aula 01 - 40 Prof. Leandro Filho
Identidades Em Conjuntos (3)

Identidades Bsicas Envolvendo Conjuntos (2).


Matemtica Discreta Aula 01 - 41 Prof. Leandro Filho
Identidades Em Conjuntos (4)
Exemplo 2: Provar a identidade 3a (slide 40).
A (B C) = (A B) (A C)

Prova-se essa igualdade entre conjuntos mostrando-se a


incluso em ambas as direes, ou seja, prova-se que:
A (B C) (A B) (A C) e
(A B) (A C) A (B C).
Para mostrar-se que A (B C) (A B) (A C), seja
x um elemento qualquer de A (B C). Pode-se ento
proceder-se da seguinte forma:
x A (B C) x A ou x (B C)
x A ou (x B e x C)
(x A ou x B) e (x A ou x C)
x (A B) e x (A C)
x (A B) (A C).
Matemtica Discreta Aula 01 - 42 Prof. Leandro Filho
Identidades Em Conjuntos (5)
Para mostrar-se que (A B) (A C) A (B A),
basta refazer o argumento de trs para a frente.

As identidades apresentadas podem ser usadas para


provar-se outras identidades envolvendo conjuntos.
Exemplo 3:
Provar que (A (B C) ((A (B C)) (B C)) = ,
para A, B, e C subconjuntos quaisquer de S.

Matemtica Discreta Aula 01 - 43 Prof. Leandro Filho


Identidades Em Conjuntos (6)
O dual de cada identidade tambm aparece na lista.
A identidade dual obtida permutando-se o smbolo por
e S com .
Exemplo 4: o dual da identidade
(A (B C) ((A (B C)) (B C)) =
(A (B C) ((A (B C)) (B C)) = S.

Matemtica Discreta Aula 01 - 44 Prof. Leandro Filho


Identidades Em Conjuntos (7)
Sintetizando os mtodos usados para se provar
identidades envolvendo conjuntos:

Matemtica Discreta Aula 01 - 45 Prof. Leandro Filho


Identidades Em Conjuntos (8)
Exerccio 8 - Usando as identidades bsicas, prove a
identidade abaixo:
(C (A B)) ((A B) C) = A B, onde A, B, e C so
subconjuntos arbitrrios de S.
Enunciar a identidade dual que se obtm.

Matemtica Discreta Aula 01 - 46 Prof. Leandro Filho


Identidades Em Conjuntos (9)
Exerccio 8 - Usando as identidades bsicas, prove a
identidade abaixo:
(C (A B)) ((A B) C) = A B, onde A, B, e C so
subconjuntos arbitrrios de S.
Enunciar a identidade dual que se obtm.

Resposta:
(C (A B)) ((A B) C) = (1b)
((A B) C) ((A B) C) = (3b)
(A B) (C C) = (5a)
(A B) (S) = (4b)
(A B)

Matemtica Discreta Aula 01 - 47 Prof. Leandro Filho


Conjuntos Contveis e No Contveis (1)
Um conjunto finito (um conjunto com n elementos para
algum inteiro positivo n) possui um nmero conhecido de
elementos.
Num conjunto finito S, sempre se pode designar um
elemento como sendo o primeiro, s1, um outro como o
segundo s2, e assim por diante.
Se existem k elementos no conjunto, eles podem ser
listados na ordem selecionada: s1, s2, ..., sk.
Essa lista representa o conjunto todo.
O nmero de elementos em um conjunto finito a
denominada cardinalidade do conjunto. Logo, esse
conjunto tem a cardinalidade k.

Matemtica Discreta Aula 01 - 48 Prof. Leandro Filho


Conjuntos Contveis e No Contveis (2)
Num conjunto infinito T (um conjunto que no finito)
pode-se ainda selecionar-se um primeiro elemento, t1,
um segundo elemento, t2, e assim por diante de modo
que a lista t1, t2, ..., tk representa todos os elementos do
conjunto.
Todo elemento do conjunto aparece na lista em algum
momento. Tal conjunto infinito denominado de
enumervel.
Conjuntos finitos e conjuntos enumerveis so
denominados de conjuntos contveis (pode-se contar ou
enumerar os elementos do conjunto).
Ser contvel no significa que se pode dizer qual o numero total
de elementos no conjunto. Significa que se pode dizer quem o
primeiro, o segundo e assim por diante.
Matemtica Discreta Aula 01 - 49 Prof. Leandro Filho
Conjuntos Contveis e No Contveis (3)
Exemplo 4: O conjunto N enumervel.
Para provar a enumerabilidade, precisa-se apenas exibir
um modo de contar os elementos.
Para o conjunto N de inteiros no negativos, claro que
0,1,2,3, ... uma enumerao que certamente incluir
todos os elementos do conjunto.

Matemtica Discreta Aula 01 - 50 Prof. Leandro Filho


Produto Cartesiano
Dados dois conjuntos no vazios A e B, chamaremos de
produto cartesiano de A por B e representaremos por A X B
ao conjunto de todos os pares ordenados da forma (x,y) onde
x A e y B.
A = {0,1,2}
B = {3,4}
A X B = { (0,3), (0,4), (1,3), (1,4), (2,3), (2,4)}
Obs.: A X B B X A

Matemtica Discreta Aula 01 - 51 Prof. Leandro Filho


Produto Cartesiano
Ex1.:
A = {2,3} e B = {-1,2}
A X B = {(2,-1), (2,2), (3,-1), (3,2)}

Ex2.:
B X A = {(-1,2),(-1,3),(2,2), (2,3)}

N(AXB) = n(A) . N(B)

Matemtica Discreta Aula 01 - 52 Prof. Leandro Filho


Representao Grfica

(x,y), onde x marcado no eixo horizontal e y assinalado


no eixo vertical.

Matemtica Discreta Aula 01 - 53 Prof. Leandro Filho


Relao Binria
Sejam A e B conjuntos no vazios. Chamamos de Relao
Binria de A em A a todo subconjunto de A X B.

A = {2,3} e B = {-1,2}
A X B = {(2,-1), (2,2), (3,-1), (3,2)}

R1 = {(2,2), (3,-1)}
R2 = {(2,-1)}

Matemtica Discreta Aula 01 - 54 Prof. Leandro Filho


Domnio e Imagem

Domnio da relao: Conjunto formado pelos valores de x.


D(R1) = {2,3}

Imagem da relao: Conjunto formado pelos valores de y.


Im(R1) = {-1,2}

Matemtica Discreta Aula 01 - 55 Prof. Leandro Filho


Aplicao com Relaes Binrias
Dados A = {0,1,2,3} e B={1,2,3}, escreva:

R1 = {(x,y) A X B : y = x}
Resp.: R1 = {(1,1), (2,2), (3,3)}
D(R1) = {1,2,3} e Im(R1) = {1,2,3}

R2 = {(x,y) A X B : y + 2 = x}
Resp.: R2 = {(3,1)}
D(R2) = {3} e Im(R2) = {1}

Matemtica Discreta Aula 01 - 56 Prof. Leandro Filho


Funo
Chamamos de funo de A em B a toda relao f de A X B
que obedece a duas condies:

Todo elemento de A tem correspondente em B;


Cada elemento de A tem apenas um correspondente em B.

Ex.: A = {1,2,3} e B = { 4,5}


A X B = { (1,4), (1,5), (2,4), (2,5), (3,4), (3,5)}

Matemtica Discreta Aula 01 - 57 Prof. Leandro Filho


Funo
O subconjunto f1 = {(1,4),(2,4),(3,5)} uma funo.

O subconjunto f2 = {(2,4), (3,4)} no uma funo, pois o


elemento 1 que pertence a A, no tem correspondente.

O subconjunto f3={ (1,4), (1,5)} No funo pois o elemento


1, tem dois correspondentes.

Matemtica Discreta Aula 01 - 58 Prof. Leandro Filho


Funo
Domnio = o conjunto formado por todos os elementos do
conjunto A, Representamos por D ou D(f). Em nosso
exemplo, o conjunto A.

Contradomnio = o conjunto formado por todos os


elementos do conjunto B. indicado por CD ou CD(f). No
exemplo, conjunto B.

Imagem = o conjunto formado por todos os elementos de B


que esto associados a algum elemento de A. indicada por
Im ou Im(f).

Matemtica Discreta Aula 01 - 59 Prof. Leandro Filho


Funo
Podemos definir uma funo por uma lei de formao sem
definir os conjuntos A e B. Nesse caso, o domnio ser o
conjunto de todos os nmeros reais para os quais as
operaes indicadas na lei sejam possveis de serem
realizadas, e o contradomnio ser o conjunto dos nmeros
Reais.

Matemtica Discreta Aula 01 - 60 Prof. Leandro Filho


Zeros ou razes da funo
Chamamos de zero ou raiz da funo, a todos valores x para
os quais f(x) = 0

Exemplo:
f(x) = 3x-1. Fazendo f(x) = 0 teremos,

3x 1 = 0, logo x = 1/3
1/3 zero ou raiz da funo f(x) = 3x-1, pois para x=1/3, f(x) = 0

Matemtica Discreta Aula 01 - 61 Prof. Leandro Filho


Propriedades de uma funo
Sobrejetiva: se e somente se, o seu conjunto imagem for
igual ao contradomnio;

Injetiva: para elementos distintos no domnio, teremos


imagens distintas.

Bijetiva: quando sobrejetiva e injetiva ao mesmo tempo

Matemtica Discreta Aula 01 - 62 Prof. Leandro Filho


Propriedades de uma funo
A funo f(x) = x2 sobrejetiva, pois todo elemento de R
imagem de pelo menos um elemento de R;

A funo f(x) = 3x injetiva, pois para cada elemento do


domnio x, teremos o triplo de x na imagem.

A funo f(x) = x+1 bijetiva, pois injetiva e sobrejetiva.

Matemtica Discreta Aula 01 - 63 Prof. Leandro Filho


Atividade 1
Dada a funo f(x) = 2x 1, ache a imagem a partir do
domnio A={0,1,2,3}

Matemtica Discreta Aula 01 - 64 Prof. Leandro Filho


Soluo
f(0) = 2.0 - 1 = 0 1 = -1

f(1) = 2.1 1 = 2 1 = 1

f(2) = 2.2 1 = 4 1 = 3

f(3) = 2.3 1 = 6 1 = 5

Matemtica Discreta Aula 01 - 65 Prof. Leandro Filho


Atividade 2
Dados os conjuntos A={-1,2,3} e B={-2,4} , construa a relao
binria definida por
R = {(x,y) A X B : y = 2x}. Represente esta relao no plano
cartesiano.

Matemtica Discreta Aula 01 - 66 Prof. Leandro Filho


Soluo
A X B = {(-1,-2), (-1,4), (2,-2), (2,4), (3,-2), (3,4)}

R = { (-1,-2), (2,4)}

Matemtica Discreta Aula 01 - 67 Prof. Leandro Filho

Você também pode gostar