Mat Discreta

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

P. Blauth Menezes 1 2 3 4 5 6 7 8 9 10 11 Introduo e Conceitos Bsicos Lgica e Tcnicas de Demonstrao lgebra de Conjuntos Relaes Funes Parciais e Totais Endorrelaes, Ordenao e Equivalncia Cardinalidade de Conjuntos Induo e Recurso lgebras e Homomorfismos Reticulados e lgebra Booleana Concluses
6 Endorrelaes, Ordenao
e Equivalncia
6.1 6.2 6.3 6.4
Propriedades de uma Endorrelao Fecho de uma Endorrelao Ordenao Equivalncia e Partio
6 Endorrelaes, Ordenao e Equivalncia
J foi introduzido
endorrelaes so especialmente importantes
Estudos desenvolvidos especificamente

propriedades fecho ordem equivalncia
Importantes aplicaes das endorrelaes de ordem

classificao de dados semntica de sistemas concorrentes
e Equivalncia
6.1 6.2 6.3 6.4
6.1 Propriedades de uma Endorrelao
Reflexiva
todo elemento est relacionado consigo mesmo exemplo: igualdade sobre os nmeros reais todo nmero igual a si mesmo
Simtrica
sempre que um elemento estiver relacionado com outro vice-versa tambm ocorre exemplo: parentesco se Joo parente de Jos (por exemplo, so irmos), ento a vice-versa tambm verdadeira:
Transitiva
exemplo: menor sobre os nmeros naturais caso um nmero seja menor que outro o qual, por sua vez, menor que um terceiro ento o primeiro menor que o terceiro contra-exemplo: faz fronteira com nos pases na Amrica do Sul Brasil faz fronteira com a Argentina Argentina faz fronteira com o Chile entretanto, o Brasil no faz fronteira com o Chile
Relacionado com propriedades reflexiva e simtrica

existem as propriedades irreflexiva e anti-simtrica possuem uma noo de dualidade mas no so noes complementares
Representao via grafos ou matrizes

auxilia no entendimento e estudo das propriedades
Def: Relao Reflexiva, Irreflexiva

A conjunto, R endorrelao em A. Ento R : Relao Reflexiva (a A)(a R a) Relao Irreflexiva ou Relao Anti-Reflexiva (a A)((a R a))
Reflexiva irreflexiva
no so noes complementares negao da reflexiva: (a A)((a R a)) possvel definir uma relao simultaneamente reflexiva e irreflexiva no reflexiva nem irreflexiva
10
Exp: Relao Reflexiva e Irreflexiva

A = { 0, 1, 2 }
Reflexivas, mas no irreflexivas

N, P(A), A2: A A A, = Z, P(A), : A A A, R
Irreflexivas, mas no reflexivas

R = { 0, 1, 1, 2, 2, 1 } S = { 0, 2, 2, 0, 2, 2 }
11
Nem reflexiva, nem irreflexiva

A, S
Matriz
Reflexiva: a diagonal da matriz contm somente verdadeiro Irreflexiva: a diagonal da matriz contm somente falso
Grafo
Reflexiva: qq nodo tem um arco com origem e destino nele mesmo Irreflexiva: qq nodo no tem um arco com origem e destino nele mesmo
12

A = { 0, 1, 2 } Reflexivas, mas no irreflexivas A2: A A A, = = definida por { 0, 0, 1, 1, 2, 2 } Irreflexivas, mas no reflexivas : A A R = { 0, 1, 1, 2, 2, 1 } No reflexiva, nem irreflexiva: como seria a matriz? A2 0 1 2 0 1 1 1 1 1 1 1 2 1 1 1 = 0 1 2 0 1 0 0 1 0 1 0 2 0 0 1 0 1 2 0 0 0 0 1 0 0 0 2 0 0 0 R 0 1 2 0 0 1 0 1 0 0 1 2 0 1 0
13

Reflexivas, mas no irreflexivas A2: A A A, =, = definida por { 0, 0, 1, 1, 2, 2 } Irreflexivas, mas no reflexivas : A A R = { 0, 1, 1, 2, 2, 1 } No reflexiva, nem irreflexiva: como seria o grafo?
14
Def: Relao Simtrica, Anti-Simtrica

A conjunto e R endorrelao em A. Ento R Relao Simtrica (a A)(b A)(a R b b R a) Relao Anti-Simtrica (a A)(b A)(a R b b R a a = b)
Simetria Anti-Simetria
no so noes complementares
15
Exp: Relao Simtrica, Anti-Simtrica

X conjunto qualquer Simtricas X2: X X, : X X X, =, X, P(X), = Anti-simtricas X, = P(X), = : X X N, R, supondo R = { x, y N2 y = x2 } Nem simtrica, nem anti-simtrica S = { 0, 1, 1, 0, 1, 2 }
16
Matriz
Simtrica metade acima da diagonal: imagem espelhada abaixo Anti-simtrica clula verdadeira em uma das metades (diagonal) correspondente na outra metade falsa
Grafo
Simtrica: entre dois nodos ou no existe seta ou existem duas setas, uma em cada sentido Anti-simtrica no mximo uma seta entre dois nodos qq
17
Exp: Relao Simtrica (S), Anti-Simtrica (AS)

A = { 0, 1, 2 } A2 A, = R: A A tal que R = { 0, 0, 1, 1, 1, 2 } S: A A tal que S = { 0, 1, 1, 0, 1, 2 } A2 0 1 2 0 1 1 1 1 1 1 1 2 1 1 1 = 0 1 2 0 1 0 0 1 0 1 0 2 0 0 1 R 0 1 2 0 1 0 0 1 0 1 1 2 0 0 0 S S, AS AS nenhuma S 0 1 2 0 0 1 0 1 1 0 1 2 0 0 0
18
Exp: Relao Simtrica, Anti-Simtrica

A = { 0, 1, 2 } A2 A, = R: A A tal que R = { 0, 0, 1, 1, 1, 2 } S: A A tal que S = { 0, 1, 1, 0, 1, 2 } S S, AS AS nenhuma
19
Def: Relao Transitiva

A conjunto e R endorrelao em A. R uma Relao Transitiva (a A)(b A)(c A)(a R b b R c a R c)
Exp: Relao Transitiva

A = { 0, 1, 2 } e X conjunto qq X2: X X, X, = N, , P(X), , Z, < P(X), : X X
20
Exp: Relao No-Transitiva

A = { 0, 1, 2 } e X conjunto qq Z, A, R A, S
(por qu?) R = { 0, 1, 1, 2, 2, 1 } S = { 0, 2, 2, 0, 2, 2 }
Representao como matriz: transitividade

No especialmente vantajosa
Representao como grafo: transitividade

interpretao: o grafo explicita todos os caminhos possveis entre dois nodos caminho???
21
Exp: Relao Transitiva

A = { 0, 1, 2 } A2: A A A, = A, A, <
22
e Equivalncia
6.1 6.2 6.3 6.4
23
6.2 Fecho de uma Endorrelao
Freqentemente desejvel estender uma relao

garantir que satisfaz determinado conjunto de propriedades exemplo: garantir que uma relao R reflexiva se R no reflexiva, ento introduz os pares (e somente estes) que garantem a reflexo
24
Def: Fecho de uma Relao

R: A A endorrelao, P conjunto de propriedades FECHO-P(R) Fecho de R em Relao ao P menor endorrelao em A que contm R e que satisfaz s propriedades de P
Portanto, para qq conjunto de propriedades P

R FECHO-P(R) quando R = FECHO-P(R) ?
25
Fecho Reflexivo de R: A A
FECHO-{ reflexiva }(R) = R { a, a a A }
Fecho Simtrico de R: A A
FECHO-{ simtrica }(R) = R { b, a a, b R }
Fecho Transitivo de R: A A
(definio indutiva!!)
se a, b R ento a, b FECHO-{ transitiva }(R) se a, b, b, c FECHO-{ transitiva }(R) ento a, c FECHO-{ transitiva }(R) os nicos elementos do fecho transitivo so os construdos acima
26
Dois fechos so especialmente importantes para Computao e Informtica

Fecho Transitivo de R R+ = FECHO-{ transitiva }(R) Fecho Reflexivo e Transitivo de R R* = FECHO-{ reflexiva, transitiva }(R)
27
Exp: Fecho de uma Relao

A = { 1, 2, 3, 4, 5 } e R: A A uma endorrelao R = { 1, 2, 1, 5, 2, 3, 3, 4 } Fecho Reflexivo ??? Fecho Simtrico ??? Fecho Transitivo ??? Fecho Reflexivo e Transitivo ???
28

A = { 1, 2, 3, 4, 5 } e R: A A uma endorrelao R = { 1, 2, 1, 5, 2, 3, 3, 4 } Fecho Reflexivo { 1, 1, 1, 2, 1, 5, 2, 2, 2, 3, 3, 3, 3, 4, 4, 4, 5, 5 } Fecho Simtrico { 1, 2, 1, 5, 2, 1, 2, 3, 3, 2, 3, 4, 4, 3, 5, 1 } Fecho Transitivo R+ = { 1, 2, 1, 3, 1, 4, 1, 5, 2, 3, 2, 4, 3, 4 } Fecho Reflexivo e Transitivo R* = { 1, 1, 1, 2, 1, 3, 1, 4, 1, 5, 2, 2, 2, 3, 2, 4, 3, 3, 3, 4, 4, 4, 5, 5 }
29

A = { 1, 2, 3, 4, 5 } e R: A A uma endorrelao R = { 1, 2, 1, 5, 2, 3, 3, 4 }
Fechos ilustrados?
30
e Equivalncia
6.1 6.2 6.3 6.4
31
6.3 Ordenao
Relao de ordem
tipo especial e importante de relao reflete a noo intuitiva de ordem exemplos de relaes de ordem j estudadas continncia em conjuntos implicao em proposies menor ou igual (ou simplesmente menor)
Propriedades fundamentais de uma ordem? Outras Propriedades de uma ordem?

32
Necessrio introduzir a seguinte terminologia
Def: Relao Conexa

R: A A uma endorrelao. Ento R uma Relao Conexa se (a A)(b A)(a R b b R a a = b)
Exp: Relao Conexa

A = { a }, B = { a, b } e C = { 0, 1, 2 } : B B (C, <), dado que < definida por { 0, 1, 0, 2, 1, 2 } =: A A
33
Exp: Filas de caixas de um banco

Propriedades fundamentais Transitiva
(motivacional)
uma noo intuitiva da ordem
se Joo antecede Jos, e Jos antecede de Maria, ento Joo antecede Maria Anti-simtrica princpio que melhor caracteriza a ordem
a ordenado em relao b e vice-versa s faz sentido se a for igual a b no exemplo, se for o mesmo cliente
34
Exp: Filas de caixas de um banco

Outras Propriedades Parcial/Conexa. As duas so vlidas no exemplo, nem todos os clientes esto relacionados entre si caixa para idosos, grvidas e outros (fila separada) Reflexiva/Irreflexiva. As duas so vlidas Reflexiva N, ) Irreflexiva Z, <) no exemplo motivacional: natural considerar irreflexiva reflexiva (todo cliente antecede a si prprio ) faz sentido
35
e Equivalncia
6.1 Propriedades de uma Endorrelao 6.2 Fecho de uma Endorrelao 6.3 Ordenao 6.3.1 Relao de Ordem 6.3.2 Classificao de Dados 6.3.3 Diagrama de Hasse 6.3.4 Conjuntos Ordenados e Semntica de Sistemas Concorrentes 6.4 Equivalncia e Partio
36
6.3.1
Relao de Ordem
Def: Relao de Ordem Parcial/Conexa Ampla/Estrita

R: A A uma endorrelao Relao de Ordem Parcial (Ampla) Reflexiva, anti-simtrica e transitiva Relao de Ordem Parcial Estrita Irreflexiva, anti-simtrica e transitiva Relao de Ordem Conexa (Ampla) ou Cadeia de ordem parcial ampla e conexa Relao de Ordem Conexa Estrita ou Cadeia Estrita de ordem parcial estrita e conexa
37
Ordem Parcial Reflexiva Irreflexiva Anti-simtrica Transitiva Conexa
Ordem Parcial Estrita
Cadeia
Cadeia Estrita
Anti-simetria e transifividade
propriedades de qualquer tipo de relao de ordem
38
Toda relao de ordem conexa (ampla ou estrita)

uma relao de ordem parcial (ampla ou estrita) vice-versa nem sempre verdadeira (por qu?)
Relaes Relaes de Ordem Parciais Relaes de Ordem Conexas
39
Para A, R, o conjunto A dito

Conjunto (parcialmente/conexamente, amplamente/estritamente) ordenado
Poset A, R
do ingls, partial ordered set A, R, relao de ordem parcial
40
Exp: Relao de Ordem Parcial/Conexa, Ampla/Estrita

Ordem parcial (ampla) N, P(A), Q, = implicao em proposies lgicas { x, y N2 x divide y (resto zero) } Ordem parcial estrita N, < P(A), Ordem conexa (cadeia) N, Ordem conexa estrita (cadeia estrita) N, <
41
Exp: Ordem Lexicogrfica

Ordem lexicogrfica importante exemplo de relao de ordem conexa para CC para um dado alfabeto = { a, b } * = { , a, b, aa, ab, ba, bb, aaa, } As palavras em* so listadas em ordem lexicogrfica por tamanho de palavra (nmero de smbolos) para palavras do mesmo tamanho, por ordem alfabtica supondo a < b QQ alfabeto ordenado , induz o conjunto ordenado *
42
e Equivalncia
43
6.3.2
Classificao de Dados
Ordenao de um conjunto de dados

importante rea de pesquisa denominada de classificao de dados sort, em ingls fcil construir um algoritmos de classificao entretanto, c/ aumento do nmero de dados tempo (processamento) e espao (memria) se tornam crticos complexidade de algoritmos estudo do tempo/espao consumidos por um algoritmos tambm, importante rea de pesquisa
44
Exp: Algoritmo de Classificao

J foi comentado grande maioria das LP no possuem boas facilidades para manipular conjuntos Ordenao de um conjunto de dados realizada usando variveis do tipo arranjo seqncia com nmero fixo de componentes, todos do mesmo tipo
45

Por exemplo, trechos de programa em Pascal
vetor = array[1..30] of integer dados = array[1..10] of char

Cada componente pode ser diretamente acessado nome da varivel arranjo seguido do ndice entre colchetes
vetor[10] := 33 if dados[i] = a then
46
Exp: Algoritmo de Classificao - bubblesort

Ordenao (menor ou igual) de 10 caracteres em um arranjo dados dados[1] dados[2] dados[3] dados[10] Bubble (borbulha) dados mais leves sobem Uma soluo (trecho de programa Pascal). Suponha que trocou varivel do tipo boolean aux varivel do tipo char
47
Exp: Algoritmo de Classificao trocou := true; while trocou do begin trocou := false; for i := 1 to 9 do if dados[i] > dados[i+1] then begin aux := dados[i]; dados[i] := dados[i+1]; dados[i+1] := aux; trocou := true end end
48

Possvel execuo do algoritmo
Inicial Interao 1 Interao 2 Interao 3 Interao 4
c a a a a
a c b a a
d b a b b
b a b b b
a b c c c
b d d d d
d d d d d
f e e e e
e f f f f
f f f f f
O algoritmo proposto eficiente em termos de espao (por qu?) no eficiente em termos do tempo, para grandes volumes
49
e Equivalncia
50
6.3.3
Diagrama de Hasse
Relao de ordem pode ser representada como grafo

como qualquer outra relao
1 1 1 1 1
(quais relaes so de ordem? Qual o tipo?) jamais ocorrer um ciclo (por qu?) excetuando-se endo-arcos ou endo-arestas arcos com origem e destino em um mesmo nodo
51
Entretanto, p/ relao de ordem

poluio visual ocasionada transitividade e reflexividade usual omitir as arestas que podem ser deduzidas
1 1 1
Esse tipo de representao: Diagrama de Hasse

nodos: pontos (ou pequenos crculos) ou elemento do conjunto
52
Exp: Relao como Grafo Diagrama de Hasse

Conjunto parcialmente ordenado { 1, 2, 3 }, = { (1, 1), (2, 2), (3, 3), (1, 2), (2, 3), (1, 3) } Grafo Diagrama de Hasse
53
Obs: Representaes Alternativas - Diagrama de Hasse

Arestas no-orientadas elementos do menor para o maior, de baixo para cima
0
54
e Equivalncia
55
6.3.4

Conjuntos Ordenados e Semntica de Sistemas Concorrentes
Conj. ordenados so usados com freqncia em CC Semntica para sistemas concorrentes

importante exemplo clara e simples viso de concorrncia concorrncia verdadeira
importante distinguir sintaxe de semntica

Sintaxe trata das propriedades livres de uma linguagem exemplo: verificao gramatical de programas Semntica objetiva dar interpretao exemplo: significado ou valor a um programa
56
Sintaxe preocupa-se com a forma

manipula smbolos
Semntica preocupa-se em dar um significado

aos smbolos sintaticamente vlidos exemplo: estes smbolos representam os valores inteiros
Questes sintticas
disciplinas como Linguagens Formais
Questes semnticas
disciplinas como Semntica Formal
Compiladores
integra ambas as questes
57
Historicamente, problema sinttico

reconhecido antes do semntico primeiro a receber tratamento adequado so mais simples que os semnticos
Conseqncia, nfase sintaxe levou idia de que

questes das linguagens de programao resumiam-se s questes da sintaxe
58
Atualmente, Teoria da Sintaxe

construes matemticas bem definidas universalmente reconhecidas Gramticas de Chomsky
Formalizao de uma questo semntica

freqentemente, tratamento matemtico complexo dificulta entendimento e aplicao
Assim, construes matemticas

capaz de dar semntica de forma simples e expressiva extremanente importante para a CC exemplo relaes de ordem como semntica de sistemas concorrentes
59
Exp: Conj. Parcialmente Ordenados Concorrncia

Programa seqencial, em linguagens tipo Pascal o smbolo ; representa dependncia causal
c1; c2; c3
Uma semntica { c1, c2, c3 }, c onde c1 c c2 , c2 c c3 e portanto, c1 c c3 Mais precisamente c = { (c1, c2), (c2, c3), (c1, c3) }
60

De forma anloga, considere
p1; p2 q1; q2; q3

Semnticas { p1, p2 }, p { q1, q2, q3 }, q onde p1 p p2
onde
q1 q q2 e q2 q q3
Suponha os 3 programas concorrentes sem qualquer sincronizao independentes Semntica induzida pela unio disjunta de conjuntos { c1, c2, c3 } + { p1, p2 } + { q1, q2, q3 }, c + p + q
61

p1 c1 q1
p2
c2 c3
q2 q3
Todas as componentes so independentes (concorrentes) excetuando-se quando especificado o contrrio quando definido um par da relao de ordem determinando uma restrio de seqencialidade
62

Suponha que ocorrncia de p2 depende de c2 ocorrncia de c3 depende de q3 Sincronizao: suficiente incluir os pares c2 p2 e q3 c3 {c1 c2,c3}+{p1,p2}+{q1,q2,q3}, c+p+q+{(c2,p2,), (q3,c3)}
p1 p2
c1 c2 c3
q1 q2 q3
63
Observe que
unio disjunta = composio paralela de sistemas incluso de pares = sincronizaes operaes simples e de fcil entendimento operadores poderosos para especificar sistemas concorrentes e comunicantes
64
Observao: Estrutura de Eventos

Um dos modelos para concorrncia mais conhecidos baseado em conjuntos ordenados Conjunto ordenado seqencialidade e concorrncia Juntamente com uma relao de conflito no-determinismo ou escolha conceito introduzido ao longo da disciplina
65
Exerccio: Conj. Parcialmente Ordenados Linguagem de Programao
Para verificar a expressividade dos conjuntos parcialmente ordenados Para alguma linguagem de programao concorrente faa um esboo de um programa concorrente similar ao caso exemplificado compare as especificaes qual o mais simples? Comparativamente com muitas das linguagens usualmente adotadas conjuntos parcialmente ordenados fornecem solues mais simples e claras
66
e Equivalncia
6.1 6.2 6.3 6.4
67
6.4 Equivalncia e Partio
Relao de equivalncia importante para CC

reflete uma noo de igualdade semntica entidades com formas diferentes (sintaticamente diferentes) podem ser equivalentes (igualadas) exemplo: exemplos no quotidiano (suponha um conjunto de pessoas) mesma idade mesma altura mesmo sexo
Propriedades que caracterizam equivalncia?

68
Considerando a noo semntica de igualdade

Reflexiva. Qq elemento sempre igual a si mesmo Transitiva. Intuitiva em qualquer noo de igualdade Simtrica. Mais caracteriza a igualdade (e diferencia da ordem)
Importante resultado de uma relelao de equivalncia

R: A A induz uma partio do conjunto A em subconjuntos disjuntos e no-vazios classes de equivalncia exemplo: relao mesmo sexo classe de equivalncia das pessoas do sexo feminino classe de equivalncia das pessoas do sexo masculino
69
Def: Relao de Equivalncia

R: A A uma Relao de Equivalncia se for Reflexiva Simtrica Transitiva
Def: Partio de um Conjunto

Partio do conjunto A um conjunto de subconjuntos no-vazios e mutuamente disjuntos de A blocos da partio ou classes de equivalncia unio de todos os blocos resulta em A Quais so os blocos da partio do vazio?
70
Notao para classe de equivalncia

{ A1, A2,, An } partio de A usual denotar por um elemento representativo da classe para a1 A1,, an An [a1] = A1,, [an] = An
Aplicao da notao: Cdigo Nacional de Trnsito

vaca: representa genericamente a classe animais alce: representa genericamente a classe animais selvagens
Aplicao da notao: Claudiomiro

Queria agradecer a Antarctica pelas Brahma que enviou l para casa
71
Importante resultado (adiante)

cada relao de equivalncia R: A A induz uma nica partico do conjunto A
Exp: Relao de Equivalncia

A, = P(A), = : A2: A A Qual seria a correspondente partio em cada caso?
72
Exp: Relao de Equivalncia e Partio

R = { (a, b) N2 a MOD 2 = b MOD 2 } MOD: resto da diviso inteira R uma relao de equivalncia? Intuitivamente, R induz uma partio de N [ 0 ], a classe de equivalncia dos nmero pares (resto zero) [ 1 ], a classe de equivalncia dos nmero mpares (resto um)
73
Teorema mostra como construir uma partio

a partir de uma relao de equivalncia prova especialmente interessante simples 3 tcnicas de demonstrao: direta, contraposio e absurdo
Teorema: Relao de Equivalncia Partio

R: A A uma relao de equivalncia Ento, R induz uma partio do conjunto A
74
Prova:
Suponha R: A A uma relao de equivalncia. Para qq a A, seja [ a ]R = { b A a R b } Ento, uma partio de A { [ a ]R a A } (agrupa elementos relacionados entre si como classe de equivalncia) Para provar que uma partio de A cada classe de equivalncia no-vazia qq duas classes de equivalncia distintas so disjuntas unio de todas as classes de equivaliencia resulta em A
75
Prova:
Cada classe no-vazia
(direta)
Suponha a A. Ento aA aRa a [ a ]R Logo, cada classe de equivalncia no-vazia reflexividade de R definio de [ a ]R
76
Prova:
Qq duas classes distintas so disjuntas
Inicialmente, provado o seguinte resultado sobre classes distintas Se [ a ]R [ b ]R, ento (a R b) suponha que a R b a prova de [ a ]R = [ b ]R dividida em dois casos Caso 1. [ b ]R [ a ]R. Suponha c [ b ]R c [ b ]R bRc aRc c [ a ]R [ b ]R [ a ]R definio de [ b ]R transitividade de R suposto que a R b definio de [ a ]R definio de subconjunto (contraposio)
77
Prova:
Caso 2. [ a ]R [ b ]R. Suponha c [ a ]R c [ a ]R aRc cRa cRb bRc c [ b ]R [ a ]R [ b ]R definio de [ a ]R simetria de R transitividade de R suposto que a R b simetria de R definio de [ b ]R definio de subconjunto
Logo, se [ a ]R [ b ]R, ento (a R b)
78
Prova:

Se [ a ]R [ b ]R, ento [ a ]R [ b ]R = (absurdo)
Suponha que [ a ]R [ b ]R e [ a ]R [ b ]R . Ento: [ a ]R [ b ]R [ a ]R [ b ]R prova anterior (a R b) [ a ]R [ b ]R definio de interseco (a R b) (c A)(c [ a ]R c [ b ]R) def. de [ a ]R, [ b ]R (a R b) a R c b R c simetria de R (a R b) a R c c R b transitividade de R (a R b) a R b, o que um absurdo!
Logo, quaisquer duas classes de equivalncia distintas so disjuntas
79
Prova:
Unio das classes resulta em A
(direta)
A prova dividida em dois casos (duas continncias) Caso 1. A est contido na unio aA classe de equivalncia no-vazia a [ a ]R definio de unio a pertence unio de todas as classes de equivalncia Caso 1. Unio est contida em A a pertence unio de todas as classes (b A)(a [ b ]R) bRa aA definio de unio definio de classe suposto que R: A A
Logo, a unio de todas as classes de equivalncia resulta em A
80
Prova:
Como { [ a ]R a A } tal que cada classe de equivalncia no-vazia qq duas classes de equivalncia distintas so disjuntas unio de todas as classes de equivaliencia resulta em A tem-se que R induz uma partio do conjunto A
Portanto
para construir a partio induzida pela relao basta agrupar os elementos que esto relacionados entre si como uma classe de equivalncia
81
Exp: Relao de Equivalncia Partio

R = { (a, b) N2 a MOD 2 = b MOD 2 } Claramente, a R b sse a e b, quando dividido por 2 ou tem ambos resto zero ou ambos resto um ou seja, so ambos pares ou ambos mpares Portanto, R induz uma partio de N [ 0 ], a classe de equivalncia dos nmero pares (resto zero) [ 1 ], a classe de equivalncia dos nmero mpares (resto um)
82
Os seguintes teoremas no sero provados
Teorema: Partio Induzida por uma Relao de Equivalncia nica

Seja R: A A relao de equivalncia. Ento, a partio de A induzida por R nica
Teorema: Partio Relao de Equivalncia

Seja A conjunto. Ento, qq partio de A induz uma relao de equivalncia R: A A
83
Def: Conjunto Quociente

A conjunto, R: A A endorrelao de equivalncia Conjunto Quociente A/R a partio de A induzida pela relao de equivalncia R A / R = { [ a ]R a A }
84
Exp: Conjunto Quociente: Q

N+ = N - {0} F = Z N+ Relao de equivalncia R = { a, b, c, d F2 a/b = c/d } Portanto, Q o conjunto quociente F / R Q=F/R Cada nmero racional uma classes de equivalncia de fraes [ 0 ]R = { 0/1, 0/2, 0/3, } [ 1/2 ]R = { 1/2, 2/4, 3/6, } [ 5/4 ]R = { 5/4, 10/8, 15/12, }
naturais positivos fraes
85

P. Blauth Menezes 1 2 3 4 5 6 7 8 9 10 11 Introduo e Conceitos Bsicos Lgica e Tcnicas de Demonstrao lgebra de Conjuntos Relaes Funes Parciais e Totais Endorrelaes, Ordenao e Equivalncia Cardinalidade de Conjuntos Induo e Recurso lgebras e Homomorfismos Reticulados e lgebra Booleana Concluses
86

P. Blauth Menezes
blauth@inf.ufrgs.br
Departamento de Informtica Terica Instituto de Informtica / UFRGS
87

Mat Discreta

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Mat Discreta

Enviado por

Direitos autorais:

Formatos disponíveis

Matemtica Discreta para Cincia da Computao

Departamento de Informtica Terica Instituto de Informtica / UFRGS

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes

Matemtica Discreta para Cincia da Computao

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes

6.1 6.2 6.3 6.4

Propriedades de uma Endorrelao Fecho de uma Endorrelao Ordenao Equivalncia e Partio

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes

6 Endorrelaes, Ordenao e Equivalncia

Estudos desenvolvidos especificamente

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes

Importantes aplicaes das endorrelaes de ordem

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes

6.1 6.2 6.3 6.4

Propriedades de uma Endorrelao Fecho de uma Endorrelao Ordenao Equivalncia e Partio

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes

6.1 Propriedades de uma Endorrelao

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes

Relacionado com propriedades reflexiva e simtrica

Representao via grafos ou matrizes

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes

Def: Relao Reflexiva, Irreflexiva

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes

Exp: Relao Reflexiva e Irreflexiva

Reflexivas, mas no irreflexivas

Irreflexivas, mas no reflexivas

Nem reflexiva, nem irreflexiva

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes

Exp: Relao Reflexiva e Irreflexiva

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes

Exp: Relao Reflexiva e Irreflexiva

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes

Def: Relao Simtrica, Anti-Simtrica

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes

Exp: Relao Simtrica, Anti-Simtrica

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes

Exp: Relao Simtrica (S), Anti-Simtrica (AS)

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes

Exp: Relao Simtrica, Anti-Simtrica

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes

Def: Relao Transitiva

Exp: Relao Transitiva

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes

Exp: Relao No-Transitiva

Representao como matriz: transitividade

Representao como grafo: transitividade

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes

Exp: Relao Transitiva

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes

6.1 6.2 6.3 6.4

Propriedades de uma Endorrelao Fecho de uma Endorrelao Ordenao Equivalncia e Partio

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes

6.2 Fecho de uma Endorrelao

Freqentemente desejvel estender uma relao

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes

Def: Fecho de uma Relao

Portanto, para qq conjunto de propriedades P

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes

Dois fechos so especialmente importantes para Computao e Informtica

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes

Exp: Fecho de uma Relao

Matemtica Discreta para Cincia da Computao - P. Blauth Menezes