Matemtica Discreta para

Cincia da Computao
P. Blauth Menezes
blauth@inf.ufrgs.br

Departamento de Informtica Terica

Instituto de Informtica / UFRGS

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes 1

 Matemtica Discreta para Cincia da Computao

P. Blauth Menezes

1 Introduo e Conceitos Bsicos

2 Lgica e Tcnicas de Demonstrao
3 lgebra de Conjuntos
4 Relaes
5 Funes Parciais e Totais
6 Endorrelaes, Ordenao e Equivalncia
7 Cardinalidade de Conjuntos
8 Induo e Recurso
9 lgebras e Homomorfismos
10 Reticulados e lgebra Booleana
11 Concluses

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes 2

 7 Cardinalidade de Conjuntos

7.1 Introduo
7.2 Cardinalidade Finita e Infinita
7.3 Conjunto Contvel e No-Contvel
7.4 Cardinalidade dos Conjuntos No-Contveis
7.5 Cardinal do Conjunto de Todos os Problemas
Solucionveis
7.5 Leitura Complementar: Mquina de Turing

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes 3

7 Cardinalidade de Conjuntos
7.1 Introduo
Cardinalidade de um conjunto
uma medida de seu tamanho

At o momento, cardinalidade de conjuntos

tratada de forma informal ou semi-formal
exemplo de expresso usada com freqncia

nmero de elementos de um conjunto

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes 4

 Foi afirmado que
um conjunto pode possuir um nmero finito ou infinito de
elementos

Finito
pode ser denotado por extenso
listando exaustivamente todos os seus elementos

Infinito
caso contrrio

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes 5

 Estudo formal: resposta a perguntas tipo
como definir formalmente a cardinalidade de um conjunto?
quando dois conjuntos possuem o mesmo cardinal?
o que um cardinal infinito?
existe mais de um (diferentes) cardinais infinitos?
nesse caso, existe uma ordem de cardinais infinitos?

Estudo mais completo ou aprofundado

foge um pouco do escopo da disciplina
nfase nos conceitos, resultados e interpretaes usados em CC

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes 6

 Cardinalidade definida usando funes bijetoras
uso da bijeo intuitivo

Comum em diferentes civilizaes

cardinalidade de conjuntos: bijeo entre
conjunto de objetos em questo (rebanho de ovelhas)
subconjunto de dedos das mos

quando os dedos no eram suficientes

conjunto de pedras, ns em cordas

uma bijeo qualquer: basta existir uma bijeo

qualquer dedo (pedra ou n) corresponde a qualquer animal
se sobra um dedo (pedra ou n), ento falta um animal

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes 7

 7 Cardinalidade de Conjuntos

7.1 Introduo
7.2 Cardinalidade Finita e Infinita
7.3 Conjunto Contvel e No-Contvel
7.4 Cardinalidade dos Conjuntos No-Contveis
7.5 Cardinal do Conjunto de Todos os Problemas
Solucionveis
7.5 Leitura Complementar: Mquina de Turing

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes 8

Def: Cardinalidade Finita, Cardinalidade Infinita
Cardinalidade de um conjunto A

#A

Finita: existe bijeo entre A e { 1, 2, 3, , n }

#A = n
se n = 0 ?

Infinita: existe bijeo entre A e um subconjunto prprio de A

Portanto, um conjunto
finito (cardinalidade finita): possvel representar por extenso
infinito: possvel retirar elementos e ainda assim estabelecer uma
bijeo com o prprio

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes 9

Exp: Cardinalidade Infinita do Conjunto dos Nmeros
Inteiros
f: Z N tal que

se a 0, ento f(a) = 2a
se a < 0, ento f(a) = 2a - 1

bijetora e N Z
Logo, Z infinito

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes 10

 7 Cardinalidade de Conjuntos

7.1 Introduo
7.2 Cardinalidade Finita e Infinita
7.3 Conjunto Contvel e No-Contvel
7.4 Cardinalidade dos Conjuntos No-Contveis
7.5 Cardinal do Conjunto de Todos os Problemas
Solucionveis
7.5 Leitura Complementar: Mquina de Turing

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes 11

7.2 Conjunto Contvel e No-Contvel
Nem todos conjuntos infinitos possuem mesma
cardinalidade
contradiz a noo intuitiva

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes 12

Def: Conjunto Contvel, Conjunto No-Contvel,
Conjunto Enumervel
A conjunto infinito
Finitamente Contvel: finito
Infinitamente Contvel ou Enumervel
existe uma bijeo entre A e um subconjunto infinito de N
esta bijeo denominada enumerao de A
No-Contvel
caso contrrio

Infinitamente contvel
possvel enumerar seus elementos como uma seqncia infinita

a1, a2, a3,

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes 13

 Termo conjunto contvel
usualmente significa finitamente ou infinitamente contvel

Exp: Conjunto Infinitamente Contvel

Z
Q (exerccio)

Prova de que um conjunto no-contvel

pode ser realizada usando o mtodo da Diagonalizao de Cantor
Georg Cantor (1845-1918)
freqentemente em provas na Computao e Informtica.

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes 14

Teorema: Conjunto No-Contvel
O seguinte conjunto no-contvel:

S = {xR0<x<1}

Prova: (por absurdo Diagonalizao de Cantor)

Suponha S contvel
existe uma enumerao de S

s1, s2, s3,

Qualquer nmero s S: seqncia contvel de decimais

s = 0,d1 d2 d2dn (exemplo: / 10 = 0,31415 )

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes 15

Portanto, a enumerao s1, s2, s3, pode ser representada por

s1 = 0,d1 1 d12 d13d1n

s2 = 0,d21 d 2 2 d23d2n
s3 = 0,d31 d32 d 3 3 d3n

sn = 0,dn1 dn2 dn3 d nn

Seja r o nmero real construdo a partir da diagonal

r = 0,e1 e2 e3en i { 1, 2, 3, }

ei = 1, caso dii 1
ei = 2, caso dii = 1

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes 16

Claramente, r S

r diferente de qualquer nmero da enumerao s1, s2, s3,

difere pelo menos no dgito destacado na diagonal

Portanto, r S: contradio!

Logo, uma absurdo supor que S contvel

Portanto, S no-contvel

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes 17

 Prova de que R no-contvel simples
antes, a seguinte definio

Def: Conjuntos Equipotentes

A e B conjuntos Equipotentes

existe uma funo bijetora entre A e B

Logo, conjuntos equipotentes: mesma cardinalidade

todos conjuntos enumerveis so equipotentes
todo conjunto indexado equipotente ao seu conjunto de ndices

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes 18

Teorema: R um Conjunto No-Contvel
O conjuntos dos nmeros reais R no-contvel.

Prova: (direta)
Basta provar que R equipotente a S = { x R 0 < x < 1 }
Seja f: S R

se 0 < s 1/2, ento f(s) = (1 / 2s) 1

se 1/2 s < 1, ento f(s) = (1 / (2s - 2)) + 1

a qual uma bijeo (exerccio)

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes 19

Exp: Conjunto No-Contvel
I (conjuntos dos nmeros irracionais)

C (conjunto dos nmeros complexos)

R2

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes 20

 7 Cardinalidade de Conjuntos

7.1 Introduo
7.2 Cardinalidade Finita e Infinita
7.3 Conjunto Contvel e No-Contvel
7.4 Cardinalidade dos Conjuntos No-Contveis
7.5 Cardinal do Conjunto de Todos os Problemas
Solucionveis
7.5 Leitura Complementar: Mquina de Turing

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes 21

7.3 Cardinalidade dos Conjuntos No-
Contveis
Conjuntos no-contveis: mesma cardinalidade?
nem todos os conjuntos no-contveis tem a mesma cardinalidade

A tem pelo menos tantos elementos quanto B

#A #B

existe funo injetora f: A B

Relao entre cardinais de ordem parcial?

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes 22

 Relao entre cardinais: ordem parcial
reflexiva: #A #A
funo identidade idA: A A injetora

transitiva: se #A #B e #B #C, ento #A #C

composio de injetoras injetora

anti-simtrica: se #A #B e #B #A, ento #A = #B

Teorema de Schrder-Bernstein
no ser demonstrado

Teorema: Schrder-Bernstein
A e B conjuntos tq existem funes injetoras f1: A B e f2: B A
Ento existe uma funo bijetora
g: A B
Matemtica Discreta para Cincia da Computao - P. Blauth Menezes 23
 Existem infinitos cardinais no-contveis
conjunto das partes de um conjunto tem sempre cardinalidade
maior que este

fato conhecido como Teorema de Cantor

na demonstrao, observe que

n<mnmnm (por qu?)

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes 24

Teorema: Cantor
#C < #2C

Prova:
Dividida em duas partes

#C #2C: apresentar uma funo injetora f: #C #2C

#C #2C: mostrar que no existe funo bijetora entre #C e 2C

Parte 1: (direta) funo injetora f: #C #2C

Seja f: #C #2C uma funo tal que, para todo s C

f(s) = { s }

f injetora (por qu?)

portanto, #C #2C

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes 25

Parte 2. (por absurdo) Suponha que existe funo bijetora g: #C #2C
Seja A C tq
A = { a C a g(a) }
g bijetora g sobrejetora existe c C tal que g(c) = A
Duas possibilidades
cA g(c) = A
c g(c) pela definio de A
cA
cA g(c) = A
c g(c) pela definio de A
cA

Contradio! absurdo supor que existe tal funo bijetora

logo, no existe funo bijetora entre C e 2C. Portanto, #C #2C

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes 26

 Este resultado permite pensar em
classe infinita de nmeros cardinais

Def: Cardinal
Cardinal: classe de equivalncia de conjuntos equipotentes

Classe dos cardinais

classe de todas as classes de equivalncia dos conjuntos
equipotentes

se a classe de todos os cardinais for um cardinal

semelhana com o Paradoxo de Russell
no um conjunto

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes 27

 Cardinais infinitos conhecidos

("alef"): primeira letra do alfabeto hebraico
com ndices

cardinal de N
#N = 0
menor cardinal dos conjuntos infinitos
especial interesse para Computao e Informtica

0
cardinal de qualquer conjunto contvel (infinito)

i+1: menor cardinal maior que I

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes 28

 Cardinalidade do continuum
Prova-se queP(N) equipotente ao R
Para #X = k, prova-se que #P(X) = 2k
Portanto, #P(R) = 20

i+1 = 2I ???
Hiptese do Continuum
formulada como hiptese por Cantor
no conseguiu provar

Gdel (dcada de 30) e Cohen (dcada de 50)

fato independente da Teoria dos Conjuntos
Hiptese do Continuum e sua negao
consistentes com o restante da Teoria dos Conjuntos

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes 29

 7 Cardinalidade de Conjuntos

7.1 Introduo
7.2 Cardinalidade Finita e Infinita
7.3 Conjunto Contvel e No-Contvel
7.4 Cardinalidade dos Conjuntos No-Contveis
7.5 Cardinal do Conjunto de Todos os Problemas
Solucionveis
7.5 Leitura Complementar: Mquina de Turing

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes 30

7.4 Cardinal do Conjunto de Todos os
Problemas Solucionveis
Estudo dos cardinais
fundamental importncia em Cincia da Computao
destaque: estudos dos problemas solucionveis (computador)

Prova-se que
existem 0 programas que podem ser definidos em qualquer
linguagem de programao de propsitos gerais

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes 31

 Existem 20 funes de N para N
portanto, existem infinitas funes
no podem ser representadas algoritmicamente
no so computveis

Concluso
existem infinitos mas contveis problemas solucionveis
existe algoritmo (Maquina de Turing)

existem infinitos e no-contveis problemas no-solucionveis

no existem algoritmos (Maquinas de Turing)

como #N < #R
cardinal dos no-solucionveis maior que o dos solucionveis

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes 32

 7 Cardinalidade de Conjuntos

7.1 Introduo
7.2 Cardinalidade Finita e Infinita
7.3 Conjunto Contvel e No-Contvel
7.4 Cardinalidade dos Conjuntos No-Contveis
7.5 Cardinal do Conjunto de Todos os Problemas
Solucionveis
7.5 Leitura Complementar: Mquina de Turing

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes 33

 Matemtica Discreta para Cincia da Computao

P. Blauth Menezes

1 Introduo e Conceitos Bsicos

2 Lgica e Tcnicas de Demonstrao
3 lgebra de Conjuntos
4 Relaes
5 Funes Parciais e Totais
6 Endorrelaes, Ordenao e Equivalncia
7 Cardinalidade de Conjuntos
8 Induo e Recurso
9 lgebras e Homomorfismos
10 Reticulados e lgebra Booleana
11 Concluses

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes 34

 Matemtica Discreta para
Cincia da Computao
P. Blauth Menezes
blauth@inf.ufrgs.br

Departamento de Informtica Terica

Instituto de Informtica / UFRGS

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes 35