Matemática Discreta para

Computação
Professor J. Miranda
Conjuntos, Modelos de
Prova,e Indução:

Notações, termos e seus

significados; Definições Básicas
 Conteúdo 1
• 1.1 Definições Básica 1
• 1.1.1 Descrevendo Conjuntos Matematicamente 2
• 1.1.2 Qualidade de Membro dos Conjuntos 4
• 1.1.3 Igualdade dos Conjuntos 4
• 1.1.4 Conjuntos Finitos e Infinitos 5
• 1.1.5 Relações entre Conjuntos 5
• 1.1.6 Diagramas de Venn 7
• 1.1.7 Modelos 8
• 1.1.8 Exercícios
x A x é um elemento de A
x A x não é um elemento de A
 x| x  A e P  x x tal que x pertence a A e polinômio de x

 Números naturais
 Números inteiros
 Números Racionais
 Números Reais
A B Os conjuntos A e B são iguais
A B A é um subconjunto de B
AØ B A não é subconjunto de B
A B A é um subconjunto próprio de B
A B A não é subconjunto próprio de B
ba b implica em a
ab a se e somente se b
A B A união B
A B A intersecção B
 União generalizada de família de conjuntos χ
 Interseção generalizada de família de conjuntos χ
A  B Elemento de A não em B
A Elemento não em A
A  B  A  B   A  B
 X  Potência de X
X Y Conjunto potência de X
x y Encontro de x e y
x y Junção de x e y

x Complemento de x
 Fundo

A Cardinalidade de A
n

a
i m
i Somatória
 Definições Básicas
• A idéia de conjunto é simples. Um conjunto é
uma coleção de elementos.
• O conjunto {azul,verde,amarelo,vermelho}
possui como elementos somente quatro tipos de
cores. O conjunto {1,4,6,7,5} possui sete
números inteiros.
• O conjunto dos presidentes anteriores do Brasil
{Sarney, Fernando Henrique, Collor, Luis Inácio
da Silva...}, onde (...) indica que a lista continua.
 Definições Básicas
• Quais são as características básicas de
um conjunto?
• Para qualquer conjunto A e qualquer
elemento b, ou b está em A ou b não está
em A.
• Isso denota uma característica binária de
um conjunto quanto a relação a um
elemento qualquer.
 Definições Básicas
• Se você pergunta se um elemento
pertence a um conjunto, a resposta possui
apenas dois estados Sim ou Não.
0 está em {1,2}?
0 está em {2,3,4,52,0}?
• A expressão “está em” pode também ser
substituída por “pertence” o que
característica de pertinência de um
elemento com relação a um conjunto.
 Definições Básicas
• Denotaremos a expressão “pertence” pelo
símbolo grego  , forma grega da letra épsilon.
0 {1,2,0} e verde {azul, amarelo, violeta}
• A despeito de seu uso freqüente, o termo
conjunto não definido em termos de outros
conceitos. Como os termos ponto e reta na
geometria plana, conjunto é um termo primitivo.
• Suponhamos apenas que haja um conjunto A e
um elemento b e que a declaração b A ou é
verdadeira ou é falsa.
 Definições Básicas
• Uma distinção importante é entre 1 e {1}, eles não são a
mesma coisa.
• Quando usamos chaves estamos expressando conjunto
que pode possuir elementos ou não e sem elas estamos
expressando elementos, neste caso o número 1 (um).
• Similarmente, {1} e {{1}} não são a mesma coisa. {1} não
pertence a {1} assim como 1 não pertence a {{1}}, porém
{1} pertence a {{1}}.
• O conjunto {1,2} possui dois elementos enquanto {{1,2}}
possui apenas um elemento.
• O número de vezes que um conjunto é listado e a ordem
que os elementos são listados não é importante.
• O conjunto {2,3} tem elementos 2 e 3 e o conjunto
{2,2,3} também possui os elementos 2 e 3.
Conseqüentemente os dois conjuntos possuem os
mesmos elementos, isto é, são iguais.
 Descriminando os Conjuntos
Matematicamente
• Nós apresentamos diferentes métodos
para descrever um conjunto.
• Primeiro, por uma lista de todos os
elementos.
• Segundo, por uma descrição de alguma
propriedade dos elementos (em comum).
• Terceiro, por uma descrição baseada em
alguns outros conjuntos.
 Descriminando os Conjuntos
Matematicamente
• Três métodos para descrever o conjunto com
elementos 0, 1, 2, 3, 4, 5, 6, 7, 8, e 9 são:
1. Listar os elemento em cocheias: {0, 1, 2, 3, 4, 5, 6, 7,
8, 91. Nós podemos também abreviar isso listar como
10, 1, 2,..., 9}.
2. Descrever os elementos em termos de alguma
propriedade que satisfaz:
{x : x is um integral e x > -1/2 e x < 19/2)
Esta notação é lida como “o conjunto de (todos) x tal
que x é um inteiro e x is maior do que menos um
meio e x é menor do que dezenove meio." Os dois
pontos é lido como tal que.” A definição seguinte os
dois pontos diz que propriedade esses x tem.
 Descriminando os Conjuntos
Matematicamente
1 3. que
Depois Descrever
Cantor definiuos elementos
a teoria como
dos conjuntos, o conjunto
pesquisadores encontraramde
alguns
todos
paradoxos. os
O mais elementos
famoso é o paradoxoem algum
de Russell, outro
o qual conjunto
é similar ao chamado
paradoxo do "mentiroso": “Esta sentença é uma mentira." funciona através disso: Se é
queé verdadeiro,
falso, então satisfaz e sealguma
é verdadeiro,propriedade.
então é falso. Aqui, se Z
denota o conjunto de inteiros, então o conjunto
Aplicar isso: Se é, então isso não é, e se não é, então é. O que está errado? A maioria
pode ser definido como
dos teóricos modernos declaram que usando o método 2 é fica em falta - note que
Bertrand Russell (matemático inglês e filosofo,1872-1970) usou esta forma para definir
x.
• Métodos 2 e 3 são quase o mesmo.
O conjunto de todos os conjuntos que não são elementos deles próprios é fadado ser
• Ogrande
demasiado método 3 um
para ser é preferido,
conjunto. todavia, por causa que
em algumas circunstâncias peculiares, o método
Usando a definição do método 3, nós evitamos1. construir conjuntos grandes de mais.
2 pode causar problemas
Porque, nós não iremos entrar na teoria de conjuntos axiomáticos, contudo, nós não
seremos capazes de evitar o método 2 inteiramente neste curso.
 Descriminando os Conjuntos
Matematicamente
• A uma desvantagem em usar reticências
com o método 1. Se alguém escrever

• É suposto que todos entenderão qual a

intenção disso, o conjunto A contem os
elementos 0, 1, 2, 3, 4, 5, 6, e 7.
• Freqüentemente, todavia, o modelo
pretendido não é tão obvio como quando
a pessoa usa reticência acha. Supondo
 Descriminando os Conjuntos
Matematicamente
• Quais são os outros elementos? Supondo
o que foi dito se exige um entendimento
do modelo que forma os elementos
listados.
• Já que 65536 = 216, uma conjectura
provavelmente pode ser
 Descriminando os Conjuntos
Matematicamente
• Nós freqüentemente listamos os elementos de um
conjunto de um jeito que mostra um associação obvia
entre os números naturais e os elementos do conjunto,
por exemplo, 1, 2, 22, 2', 24 .....Chamamos tal conjunto
uma seqüência.
• Nós podemos referirmos a uma seqüência por ao, al,
a2 .....
• No exemplo acima, temos ao = 1, al = 2, a2 = 22 ... , a =
2n .....
• A notação de uma seqüência será cuidadosamente
examinada mais adiante no decorrer deste curso.
 Conjuntos Especiais
• :o conjunto dos números naturais, ou o conjunto dos
inteiros não negativos {0, 1, 2, 3, 4, ...} .
• :o conjunto dos inteiros, ou {... ,-3, -2, -1, 0, 1, 2, 3 ... }.
• :o conjunto dos números racionais, ou o conjunto das
frações dos inteiros com denominador diferente de zero,
tais como 1/3 ou 345/234
• :o conjunto dos números reais, ou o conjunto dos
números escritos com ponto decimal, tais como
3.14159. .. , -2.715, or 2.35353535....
• :o conjunto vazio, ou conjunto { } sem elementos.
Em algumas circunstâncias, é conveniente escrever o conjunto dos quadrados
dos números naturais como mais do que e
para alguns
 Característica de Membro de um
Conjunto
• Para provar que um elemento é um membro de um conjunto,
devemos provar que o elemento compartilha a propriedade que
define o conjunto;
• Por exemplo, podemos definir a noção de um número sendo um
primo sem saber que qualquer número específico é um primo;
• Devemos então mostrar que qualquer número que pensarmos é um
primo tenha a propriedade definida;
• Primeiramente, precisamos conhecer o que é um divisor antes de
definir um primo;
• Para os inteiros m e n , diremos que m é um divisor de n ,
denotado como m/n;
• Se houver um número natural k tal que n =m.k;
• Um número natural p é primo se p ≠1 e seu únicos divisores são 1 e
p. Seja P = {n : n ϵ N e n é um primo).
 Característica de Membro de um
Conjunto
Exemplo 1
• Prove que 3 é um número primo
Solução.
Nós devemos mostrar que 3 tem a propriedade
que seus divisores são somente 1 e 3.
Já que a única outra possibilidade é 2 e 2 não
divide 3, 3 é portanto um primo.
Um divisor de um inteiro é também chamado de
um fator
 Aplicação na Computação
Exemplo 2
• Crie um algoritmo para saber se um
número é primo.
Dado um número n
Se (n=2) , então é primo, ou Se (o resto da
divisão de n por 2 for 1) então n é primo
ou n não é primo.
 Continuação
• Como podemos ver acerca do algoritmo anterior há uma
clara e se não é melhor dizer ingênua falha no algoritmo.
• Ele possui incoerências na sua eficiência para os
restantes dos números.
int main (avoid)
{
int num, i, cont=0;
printf (“Entre com um número inteiro positivo\n”);
scanf (“%d”, &num);
if (num>3)
for( i=1; i<cont; cont++))
{ if ((num%i)==0)
{cont=cont+1;
} if ((cont=2)!!(cont=0))
{
printf (“\n O numero %d é primo”,num”)
else printf (“\n O numero %d não é primo \n”,num);
system(“ “);
}
 Igualdade de Conjuntos
• Em matemática, linguagem precisa é
importante se todos temos que entender o
mesmo significado para uma declaração;
• Por exemplo, o que significa dois
conjuntos serem iguais?
• Definição 1. Seja A e B conjuntos. Então ,
A = B ou A é igual a B se ambos A e B
tenham os mesmos elementos
 Igualdade de Conjuntos
• A palavra se tem um significado especial
quando usada nas definições.
Definição 1 declara que A = B se A e B tem os
mesmos elementos ;
Já que a palavra se está do lado de dentro da
definição, isso implica que A ≠ B quando quer
que a definição não seja satisfeita.
Assim "A = B" é apenas um atalho para dizer que
"A e B têm os mesmos elementos."
 Igualdade de Conjuntos
• O conjunto vazio Ø pode ser descrito de várias
maneiras; por exemplo,{x ϵ N : x <x).
• O conjunto dos continentes sul da Antártica e o conjunto
dos quadrados redondos;
• Por que é {x ϵ N : x < x} igual ao conjunto dos quadrado
redondos? Nós sabemos que se dois conjuntos são
iguais, então eles devem ter os mesmos elementos;
• Assim, {x ϵ N : x < x} ≠ do conjunto dos quadrados
redondos.
• Então há um elemento em um único desses conjuntos
que não está no outro conjunto;
• Isso não pode ser verdadeiro, todavia, já que nem o
conjunto tem qualquer elemento num todo.
 Conjuntos Finitos e Infinitos
• Alguns conjuntos, como {0, 1, 2, 3},têm a propriedade que uma pessoa
poderia listar seus elementos e concluir os listando.
• Podemos descrever esta condição um pouco mais formalmente:
Ou o conjunto não possui elementos, ou seus elementos podem ser
comparados com os elementos de alguns outros subconjuntos {1,
2 .... n} dos números naturais. Tais conjuntos são chamados de
conjunto finito.
Assim, {Manaus, Fortaleza, Florença, Natal) é um conjunto finito – isto é,
elementos poderiam ser comparadas com 1(Manaus), 2(Fortaleza),
3(Florença).
• O conjunto vazio tem zero elemento, então pode ser chamado de
conjunto finito.
• Alguns conjuntos são infinitos, ou não são conjuntos finitos, como
 , , e 
• Não há jeito de correlacionar todos os elementos do conjunto inteiro com
o conjunto {1, 2, ..... n para qualquer numero n fixo}.
 Aplicação
• Considere duas variáveis inteiras a e b. Escreva um
bloco de programa que troca os valores de a e b (isto é,
o valor de a torna-se o valor de b e vice versa).
Solução . Usamos uma variável inteira auxiliar t.
t := a;
a := b;
b := t;
• Se tentarmos eliminar esta variável auxiliar escrevendo
a := b;
b := a;