Apostila Matematica Discreta

Universidade de Caxias do Sul Centro de Cincias Exatas e Tecnologia Departamento de Informtica
Matemtica Discreta
Mrcia Rodrigues Notare
Caxias do Sul, julho de 2003.
NDICE
1 TEORIA DOS CONJUNTOS............................................................................................................4 1.1 1.2 1.3 1.4 1.5 2 RELAO DE PERTINNCIA............................................................................................................4 ALGUNS CONJUNTOS IMPORTANTES..............................................................................................4 RELAO DE INCLUSO ................................................................................................................5 IGUALDADE DE CONJUNTOS ..........................................................................................................6 PERTINNCIA X INCLUSO .............................................................................................................6
INTRODUO LGICA MATEMTICA ................................................................................7 2.1 CONECTIVOS LGICOS ..................................................................................................................7 2.1.1 Negao ................................................................................................................................7 2.1.2 Conjuno.............................................................................................................................8 2.1.3 Disjuno..............................................................................................................................8 2.1.4 Condicional (Implicao) .....................................................................................................8 2.1.5 Bicondicional........................................................................................................................9 2.2 FRMULAS BEM-FORMADAS .........................................................................................................9 2.3 TABELAS-VERDADE PARA WFFS ....................................................................................................9 2.4 EQUIVALNCIA ............................................................................................................................10 2.5 QUANTIFICADORES ......................................................................................................................11
LGEBRA DE CONJUNTOS ........................................................................................................13 3.1 OPERAO DE UNIO ..................................................................................................................13 3.1.1 Propriedades da Unio.......................................................................................................14 3.2 OPERAO DE INTERSEO.........................................................................................................15 3.2.1 Propriedades da Interseo................................................................................................16 3.3 OPERAO COMPLEMENTO .........................................................................................................16 3.3.1 Propriedades de DeMorgan ...............................................................................................17 3.4 OPERAO DE DIFERENA ..........................................................................................................17 3.5 CONJUNTO DAS PARTES...............................................................................................................18 3.6 PRODUTO CARTESIANO ...............................................................................................................18 3.7 UNIO DISJUNTA .........................................................................................................................19
RELAES ......................................................................................................................................20 4.1 RELAO BINRIA ......................................................................................................................20 4.2 ENDORRELAO COMO GRAFO ...................................................................................................21 4.3 RELAO COMO MATRIZ.............................................................................................................21 4.4 PROPRIEDADES DAS RELAES ...................................................................................................22 4.4.1 Relao Reflexiva ...............................................................................................................22 4.4.2 Relao Irreflexiva .............................................................................................................23 4.4.3 Relao Simtrica...............................................................................................................24 4.4.4 Relao Anti-Simtrica .......................................................................................................24 4.4.5 Relao Transitiva..............................................................................................................25 4.5 FECHOS DE RELAES .................................................................................................................25 4.5.1 Fecho Reflexivo ..................................................................................................................26 4.5.2 Fecho Simtrico ..................................................................................................................26 4.5.3 Fecho Transitivo.................................................................................................................26 4.6 RELAO DE ORDEM...................................................................................................................26 4.6.1 Elemento Mnimo................................................................................................................28 4.6.2 Elemento Minimal...............................................................................................................28 4.6.3 Elemento Mximo ...............................................................................................................28 4.6.4 Elemento Maximal ..............................................................................................................28 4.7 RELAO DE EQUIVALNCIA.......................................................................................................29 4.7.1 Congruncia em Z...............................................................................................................30 4.8 RELAO INVERSA ......................................................................................................................30 4.9 COMPOSIO DE RELAES ........................................................................................................31 4.9.1 Composio de Relaes como Produto de Matrizes .........................................................32
TIPOS DE RELAES...................................................................................................................33
Matemtica Discreta Mrcia Rodrigues Notare
5.1 5.2 5.3 5.4 5.5 5.6 5.7 6
RELAO FUNCIONAL .................................................................................................................33 RELAO INJETORA ....................................................................................................................33 RELAO TOTAL .........................................................................................................................34 RELAO SOBREJETORA .............................................................................................................34 MONOMORFISMO .........................................................................................................................35 EPIMORFISMO ..............................................................................................................................35 ISOMORFISMO ..............................................................................................................................35
FUNES PARCIAIS E TOTAIS .................................................................................................37 6.1 6.2 FUNO PARCIAL ........................................................................................................................37 FUNO TOTAL ...........................................................................................................................37
CARDINALIDADE DE CONJUNTOS..........................................................................................38 7.1 7.2 7.3 CARDINALIDADE FINITA E INFINITA ............................................................................................38 CARDINALIDADE DOS CONJUNTOS NO-CONTVEIS ..................................................................39 CARDINAL ...................................................................................................................................39
INDUO MATEMTICA............................................................................................................41 8.1 PRIMEIRO PRINCPIO DE INDUO MATEMTICA ........................................................................41
RECURSO E RELAES DE RECORRNCIA......................................................................47 9.1 9.2 DEFINIES RECORRENTES .........................................................................................................47 SEQNCIAS DEFINIDAS POR RECORRNCIA ...............................................................................47 ESTRUTURAS ALGBRICAS ..................................................................................................49 OPERAES .................................................................................................................................49 PROPRIEDADE DAS OPERAES BINRIAS ..................................................................................49 GRUPIDES ..................................................................................................................................50 SEMIGRUPOS................................................................................................................................50 MONIDES...................................................................................................................................51 GRUPOS .......................................................................................................................................52
10 10.1 10.2 10.3 10.4 10.5 10.6
TEORIA DOS CONJUNTOS
Definio de Conjunto: um conjunto uma coleo de zero ou mais objetos distintos, chamados elementos do conjunto, os quais no possuem qualquer ordem associada. Em outras palavras, uma coleo no-ordenada de objetos. Exemplo: A = {branco, azul, amarelo} Em um conjunto, a ordem dos elementos no importa e cada elemento deve ser listado apenas uma vez. Podemos definir um conjunto de diferentes formas: Denotao por Extenso: os elementos so listados exaustivamente. Exemplo: Vogais = {a, e, i, o, u} Denotao por Compreenso: definio de um conjunto por propriedades comuns aos objetos. De forma geral, escreve-se {x | P(x)}, onde P(x) representa a propriedade. Exemplo: Pares = {n | n par}, que representa o conjunto de todos os elementos n, tal que n um nmero par. Ainda podemos especificar um conjunto omitindo alguns elementos que esto implcitos na notao adotada. Veja exemplos: Dgitos = {0, 1, 2, 3, ..., 9} Pares = {0, 2, 4, 6, ...}
1.1
-
Relao de Pertinncia
Se a elemento de um conjunto A, ento podemos escrever:
a A
e dizemos que a pertence ao conjunto A. - Se a no elemento de um conjunto A, ento podemos escrever:
a A
e dizemos que a no pertence ao conjunto A. Exemplo: Considerando o conjunto Vogais = {a, e, i, o, u}, podemos dizer que: - e Vogais - m Vogais Considerando o conjunto B = {x | x brasileiro}, temos que: - Pel B - Bill Gates B
1.2
Alguns Conjuntos Importantes
O Conjunto Vazio um conjunto que no possui elementos e pode ser denotado por ou { }. Ainda temos:
N, que representa o conjunto dos nmeros naturais; Z, que representa o conjunto dos nmeros inteiros; Q, que representa o conjunto dos nmeros racionais; I, que representa o conjunto dos nmeros irracionais; R, que representa o conjunto dos nmeros reais; C, que representa o conjunto dos nmeros complexos.
Definio de Alfabeto: um alfabeto um conjunto finito, ou seja, um conjunto que pode ser denotado por extenso. Os elementos de uma alfabeto so chamados de smbolos ou caracteres. Definio de Palavra: uma palavra sobre um alfabeto uma seqncia finita de smbolos do alfabeto, justapostos. * palavra vazia alfabeto conjunto de todas as palavras possveis sobre o alfabeto
Exemplos: - um alfabeto - {a, b, c, d} uma alfabeto - N no um alfabeto - uma palavra sobre {a, b, c] - uma palavra sobre - * = {}
Chamamos de Linguagem Formal a um conjunto de palavras sobre um alfabeto. Portanto, podemos entender que uma linguagem de programao o conjunto de todos os seus possveis programas e que um programa uma palavra da linguagem de programao.
1.3
Se todos os elementos de um conjunto A so tambm elementos de um conjunto B, ento dizemos que: A B A est contido em B ou que B contm A BA Neste caso, podemos dizer que A um subconjunto de B. Por outro lado, se A B e A B, ou seja, existe bB tal que bA, ento dizemos que:
ou que
Neste caso, dizemos que A um subconjunto prprio de B. Exemplos: - {1, 2, 3} {3, 2, 1} - {1, 2} {1, 2, 3} - {1, 2} {1, 2, 3}
Aplicaes na Computao
Relao de Incluso
A B BA
A est contido propriamente em B B contm propriamente A
Definio de Conjunto Universo: denotado por U, o conjunto que contm todos os conjuntos que esto sendo considerados, ou seja, define o contexto de discusso. Dessa forma, U no um conjunto fixo e, para qualquer conjunto A, temos que A U.
1.4
Igualdade de Conjuntos A = B ( A B B A)
Dois conjuntos A e B so ditos iguais se, e somente se, possuem os mesmos elementos, ou seja:
Exemplos: 0 - { ,1,2} = x x 0 x < 3 -
= {x x 0}
{a, b, c} = {a, b, b, c, c, c}
1.5
Pertinncia x Incluso
Os elementos de um conjunto podem ser conjuntos. Portanto, preste ateno nos conceitos de pertinncia e incluso. Exemplos: Considere o conjunto S = {a, b, c, d, , {0}, {1, 2}}. Ento: - {a} S - {a} S - S - S - {0} S - {1,2} S - {a, b, c, d} S - {a, b, c, d} S
INTRODUO LGICA MATEMTICA
Lgica o estudo dos princpios e mtodos usados para distinguir sentenas verdadeiras de falsas. Definio de Proposio: uma proposio uma construo que se pode atribuir juzo, ou seja, que pode ser apenas verdadeira ou falsa. So exemplos de proposies: - Quatro maior do que cinco. - Ela muito inteligente. - So Paulo uma cidade grande Exemplos que no so proposies: - Como vai voc? - Como isso pode acontecer! - Bom dia!
2.1
Conectivos Lgicos
As proposies podem ser simples (atmicas) ou compotas e os conectivos tm a funo de combinar sentenas simples para formar sentenas compostas. Proposio Atmica: so proposies que no podem ser decompostas em proposies mais simples. Proposio Composta: so proposies mais complexas, compostas por proposies mais simples atravs dos conectivos lgicos (ou operadores lgicos). Exemplos: - Animais so peludos e aves tm penas. - Vou comprar um carro ou uma bicicleta. - Se chover ento ficarei em casa. - Um tringulo equiltero se e somente se tiver os trs lados iguais.
2.1.1
Negao
A negao de uma proposio construda a partir da introduo da palavra no ou no o caso que. Exemplos: - Brasil no um pas. - No o caso que quatro maior do que cinco. Considerando que P denota uma proposio, ento sua negao denotada por:
ou
~P
(l-se "no P")
Interpretamos a negao da seguinte forma: se P verdadeira, ento P falsa; se P falsa, ento P verdadeira. Para visualizar os valores lgicos de um conectivo utilizamos a tabela-verdade, que descreve as possveis combinaes dos valores lgicos das proposies.
P P V F F V
2.1.2
Conjuno
Uma conjuno verdadeira se ambos seus conjunctos so verdadeiros. Caso contrrio, falsa. denotada por: (l-se "P e Q") PQ A seguir a tabela-verdade da conjuno. P V V F F Q V F V F PQ V F F F
2.1.3
Disjuno
Uma disjuno verdadeira se pelo menos um dos seus disjunctos for verdadeiro. Caso contrrio, falsa. denotada por: (l-se "P ou Q") PQ A tabela-verdade da disjuno est apresentada a seguir. P V V F F Q V F V F PQ
2.1.4
Condicional (Implicao)
O condicional falso se seu antecedente for verdadeiro e seu conseqente for falso. Caso contrrio, ele verdadeiro. denotado por:
PQ
Observe: a expresso P Q assegura que: no o caso que P e no Q. Verbalizando, se considerarmos a expresso: Se esfriar, ento chove
(P Q)
podemos interpret-la como sendo: No o caso que esfria e no chove (P Q) Assim, podemos dizer que um enunciado da forma P Q tem o mesmo significado (semntica) que um enunciado da forma (P Q), ou seja, ambos so verdadeiros sob as mesmas condies. Portanto, podemos obter a tabela-verdade de P Q construindo a tabela verdade de (P Q). P Q PQ V V V V F F F V V F F V
V V F
(l-se "se P ento Q")
2.1.5
Bicondicional
O bicondicional, denotado por P Q , tem o mesmo significado que (P Q) (Q P). Assim, a tabela-verdade de (P Q) pode ser obtida construindo a tabela-verdade de (P Q) (Q P). P Q PQ V V V V F F F V F F F V
2.2
Frmulas Bem-Formadas
Frmulas bem-formadas (well formed formula - wff) so sentenas lgicas construdas corretamente sobre o alfabeto cujos smbolos so conectivos, parnteses e letras sentenciais. Exemplos: - P, P Q, P Q, P Q, P Q - P Q - (P Q) R - (P Q) (P Q)
2.3
Tabelas-verdade para wffs
Para construir uma tabela-verdade para uma wff, escrevemos as letras sentenciais esquerda da tabela e a frmula direita da tabela. Devemos completar com todas as possibilidades de valores verdade para as letras sentenciais. A seguir, devemos identificar o operador principal, pois ele que determina o valor-verdade para toda a frmula. Por fim, completamos a tabela com os valores-verdade para os operadores, sub-wffs e por fim para a wff (operador principal). Veja os exemplos abaixo, observando os passos de construo: 1. Construa a tabela-verdade para a frmula P. a) preenchemos a coluna letra sentencial P, completando-se os possveis valores-verdade que P pode assumir; b) preenchemos a coluna da ocorrncia de P na frmula (na wff); c) preenchemos o sinal de negao imediatamente esquerda de P; d) preenchemos o segundo sinal de negao, que o operador principal e, portanto, determina o valor-verdade da frmula. P V F
2. Construa a tabela-verdade para a frmula P Q. P V V F F Q V F V F
Observe que o operador principal da frmula acima e, portanto, deve ter sua coluna como ltima a ser preenchida. Assim:
P F F V V
V F
F V
P V F
V F V V
Q V F V F
a) preenchemos as colunas das letras sentenciais P e Q ( esquerda da tabela); b) preenchemos as colunas da ocorrncia de P e Q; c) por fim, preenchemos a coluna , que o operador principal e, portanto, determina o valor verdade da frmula. 3. Construa a tabela verdade para a frmula (P Q) (P Q). P V V F F Q V F V F P V V F F Q V F V F P V V F F
O operador principal dessa frmula o (veja: (P Q) (P Q)). Assim a coluna deste

operador determina o valor-verdade da frmula. Ento, as etapas de construo so como segue: a) preenchemos as colunas das letras sentenciais P e Q ( esquerda da tabela); b) preenchemos as colunas da ocorrncia de P e Q na frmula; c) preenchemos as colunas da ocorrncia de e na frmula (mas no o principal); d) preenchemos a coluna da ocorrncia da negao do operador ; e) finalmente, preenchemos a coluna do operador principal , que determina o valorverdade da frmula. (Observe que o operador principal conecta as colunas de e ). 4. Construa a tabela verdade para a frmula P P. P V F P V F
5. Construa a tabela verdade para a frmula P P. P V F P V F
Uma frmula que assume sempre o valor lgico V, como no exemplo 4, denominada uma tautologia. Uma tautologia intrinsecamente verdadeira pela sua prpria estrutura, ou seja, verdadeira independentemente dos valores lgicos atribuidos as suas letras sentenciais. Por outro lado, uma frmula que assume sempre o valor lgico F, como no exemplo 5, denominada uma contradio. Uma contradiao intrinsecamente falsa pela sua prpria estrutura, ou seja, falsa independentemente dos valores lgicos atribuidos as suas letras sentenciais.
2.4
Equivalncia
Dizemos que duas frmulas P e Q so equivalentes se a frmula P Q uma tautologia. Denotamos essa propriedade por
PQ
A seguir, exemplos de algumas equivalncias tautolgicas importantes, onde 1 representa uma tautologia e 0 representa uma contradio:
F F
V V
P F V
P F V
V V V F
F V V F
F V V V

V F F F
Q V F V F
10
- Comutatividade: - Associatividade: - Distributividade: - Elemento Neutro: - Complementares: - DeMorgan:
ABBA (A B) C A (B C) A (B C) (A B) (A C) A0A A A 1 (A B) A B
ABBA (A B) C A (B C) A (B C) (A B) (A C) A1A A A O (A B) A B
Os conectivos lgicos E (AND), OU (OR) e NO (NOT), respectivamente , e , esto disponveis em muitas linguagens de programao. Eles agem sobre combinaes e expresses verdadeiras e falsas para produzir um valor lgico final. Tais valores lgicos permitem a deciso do fluxo de controle em programas de computador. Assim, em uma ramificao condicional de um programa, se o valor lgico da expresso condicional for verdadeiro, o programa executar um trecho do seu cdigo; se o valor lgico da expresso condicional for falso, ele execur outro trecho do seu cdigo. Se a expresso condicional for substituda por outra expresso equivalente mais simples, o valor lgico no ser afetado, assim como o fluxo de controle do programa, mas o novo cdigo ser mais fcil de ser entendido e poder ser executado mais rapidamente. Veja o exemplo a seguir: if ((x < y) and not ((x < y) and (z < 1000))) do AlgumaCoisa; else do OutraCoisa; Nesse exemplo, a expresso condicional tem a forma A (A B), onde A "x < y" e B "z < 1000". Podemos simplificar essa expresso utilizando as equivalncias vistas anteriormente. A (A B) A (A B) (A A) (A B) 0 (A B) (A B) 0 A B
Podemos ento reecrever a proposio da seguinte forma: if ((x < y) and not (z < 1000)) do AlgumaCoisa; else do OutraCoisa;
2.5
Wffs formadas apenas pelos cinco operadores lgicos ( ) tm possibilidade limitada de expresses. Por exemplo, no conseguiramos simbolizar a sentena "Para todo x, x>0" como sendo uma proposio verdadeira sobre os inteiros positivos. Portanto novos conceitos, como o de quantificador, deve ser introduzido. Quantificadores so frases do tipo para todo, para cada ou para algum, isto , frases que dizem "quantos objetos" apresentam determinada propriedade. Quantificador Universal: simbolizado por e l-se para todo, para qualquer ou para cada. Assim, a sentena acima pode ser simbolizada por:
Aplicaes na Computao
(DeMorgan) (Distributividade) (Complemetar) (Comutatividade) (Elemento Neutro)
Quantificadores
11
(x )(x > 0)
O valor lgico da expresso (x)(x>0) depende do domnio dos objetos sobre os quais estamos nos referindo, que chamamos de conjunto universo. Qual seria o valor lgico da expresso (x)P(x) em cada uma das seguintes interpretaes? P(x) a propriedade que x amarelo e o conjunto universo o conjunto de todos os botesde-ouro. P(x) a propriedade que x amarelo e o conjunto universo o conjunto de todas as flores. P(x) a propriedade que x positivo ou negativo e o conjunto universo conjunto de todos os inteiros.
Quantificador Existencial: simbolizado por e l-se existe, existe algum, para pelo menos um, para algum. Assim, a expresso
(x )(x > 0)
pode ser lida como "existe um x tal que x maior do que zero". A expresso (x)(y)Q(x, y) lida como "para todo x existe um y tal que Q(x, y)". Considerando que o conjunto universo conjuntos dos nmeros inteiros e que Q(x, y) a propriedade x < y, a expresso diz que para todo inteiro x existe um inteiro maior. Esta expresso verdadeira. Entretanto, se invertermos a ordem dos quantificadores escrevendo (y)(x)Q(x, y), a mesma interpretao diz que existe um inteiro y que maior que qualquer outro inteiro x. Neste caso, o valor lgico da expresso falso. Isto ressalta o fato de que a ordem dos quantificadores importante!
12
LGEBRA DE CONJUNTOS
Entendemos que uma lgebra constituda de operaes definidas sobre um conjunto. Dessa forma, uma lgebra de Conjuntos constituda por operaes definidas para todos os conjuntos. Podemos representar conjuntos e suas operaes atravs de figuras geomtricas, como elipses e retngulos, chamados Diagramas de Venn. Usualmente, os retngulos so utilizados para representar o conjunto universo e as elipses para representar os demais conjuntos. Por exemplo, as figuras abaixo representam: A a b c B A AB O conjunto A = {a, b, c}
U SU
A relao de incluso transitiva, ou seja:
A BBC AC
Prova: Suponha A, B e C conjuntos quaisquer tal que A B e B C. Seja a A. Ento, temos que aA aB pela definio de subconjunto (A B) aC pela definio de subconjunto (B C) Logo, para qualquer elemento a A , temos que a C. Assim, pela definio de subconjunto, temos que A C.
3.1
Operao de Unio A B = {x x A x B}
Sejam A e B conjuntos. A unio dos conjuntos A e B, denotada por A B , como segue:
Em outras palavras, a unio de dois conjuntos A e B considera todos os elementos que pertencem ao conjunto A ou ao conjunto B, ou seja, resulta em um conjunto cujos elementos pertencem a pelo menos um dos dois conjuntos.
13
A operao de unio pode ser visualizada atravs de um diagrama de Venn, como mostrado a seguir.
Exemplos: - Dados os conjuntos D = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} e V = {a, e, i, o, u}, temos que D V = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, a, e, i, o, u} Dados os conjuntos A = {x | x > 2} e B = { x | x2 = x}, temos que A B = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, ...} Considere R, Q e I. Temos que RQ=R RI=R QI=R Para qualquer conjunto universo U e qualquer A U, temos que = U=U UA=U UU=U
3.1.1
Propriedades da Unio
Elemento Neutro: A = A = A Prova: Seja x (A ). x (A ) xAx (definio de unio) xA (elemento neutro) Logo, A = A Analogamente, seja x ( A). x ( A) x xA (definio de unio) xAx (comutatividade) xA (elemento neutro) Logo, A = A Idempotncia: A A = A Prova: Seja x (A A). x (A A) xAxA xA
(definio de unio) (idempotncia do conectivo )
14
Logo, A A = A Comutatividade: A B = B A Prova: Caso 1: Seja x A B. xAB xAxB (definio de unio) xBxA (comutatividade do conectivo ) x (B A) (definio de unio) Logo, pela definio de incluso, (A B) (B A). Caso 2: Seja x B A. xBA xBxA xAxB xAB
(definio de unio) (comutatividade do conectivo ) (definio de unio)
Logo, (B A) (A B). Portanto, pela definio de igualdade de conjuntos, podemos concluir que A B = B A. Associatividade: A (B C) = (A B) C Prova: Caso 1: Seja x A (B C). x A (B C) x A x (B C) (definio de unio) x A (x B x C) (definio de unio) (x A x B) x C (associatividade do conectivo ) x (A B) x C (definio de unio) x (A B) C (definio de unio) Logo, pela definio de incluso, temos que A (B C) (A B) C. Caso 2: Seja x (A B) C. x (A B) C x (A B) x C (x A x B) x C x A (x B x C) x A x (B C) x A (B C)
(definio de unio) (definio de unio) (associatividade do conectivo ) (definio de unio) (definio de unio)
Logo, (A B) C A (B C). Portanto, pela definio de igualdade de conjuntos, podemos concluir que A (B C) = (A B) C.
3.2
Operao de Interseo A B = {x x A x B}
Sejam A e B conjuntos. A interseo dos conjuntos A e B, denotada por A B , como segue:
Em outras palavras, a interseo de dois conjuntos A e B considera todos os elementos que pertencem ao conjunto A e ao conjunto B, ou seja, resulta em um conjunto cujos elementos pertencem aos conjuntos A e B, simultaneamente.
15
A operao de interseo pode ser visualizada atravs de um diagrama de Venn, como mostrado a seguir.
Exemplos: - Dados os conjuntos D = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}, V = {a, e, i, o, u} e P = {0, 2, 4, 6, 8, ...}, temos que D P = {0, 2, 4, 6, 8} DV= Chamamos conjuntos cuja interseo o conjunto vazio de conjuntos disjuntos. Dados os conjuntos A = {x | x > 2} e B = { x | x2 = x}, temos que AB= (conjuntos disjuntos) Considere R, Q e I. Temos que RQ=Q RI=I QI= Para qualquer conjunto universo U e qualquer conjunto A U, temos que = UA=A U= UU=U
3.2.1
Propriedades da Interseo
Elemento Neutro: A U = U A = A Idempotncia: A A = A Comutatividade: A B = B A Associatividade: A (B C) = (A B) C As provas so anlogas operao de unio e ficam sugeridas como exerccio. Propriedades que envolvem Unio e Interseo a) Distributividade da Interseo sobre a Unio: A (B C) = (A B) (A C) b) Distributividade da Unio sobre a Interseo: A (B C) = (A B) (A C)
3.3
Operao Complemento ~ A = {x x A}
Suponha o conjunto universo U. O complemento de um conjunto A U, denotado por ~ A , como segue:
16
A operao complemento pode ser visualizada atravs de um diagrama de Venn, como mostrado a seguir.
Exemplos: - Dados o conjunto universo U = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} e o conjunto A = {0, 1, 2}, temos que ~A = {3, 4, 5, 6, 7, 8, 9} Dados o conjunto universo U = N e o conjunto A = {0, 1, 2}, temos que ~A = {x N | x > 2} Para qualquer conjuntos universo U, temos que ~ = U ~U = Considerando R como conjunto universo, temos que ~Q = I ~I = Q Suponha U qualquer. Ento para qualquer conjunto A U, temos que A ~A = U A ~A = ~ ~A = A
Podemos provar o ltimo caso da seguinte forma: Suponha um elemento x A. xA para ~A, x A, ou seja (x A) para ~ ~A, (x A), ou seja, x A.
(definio de complemento)
3.3.1
Propriedades de DeMorgan
A B = ~(~A ~B) A B = ~(~A ~B)
a) ~(A B) = ~A ~B b) ~(A B) = ~A ~B
3.4
Operao de Diferena A B = {x x A x B}
Sejam A e B conjuntos. A diferena entre os conjuntos A e B, denotada por A B , como segue:
Em outras palavras, a diferena entre dois conjuntos A e B considera todos os elementos que pertencem ao conjunto A e que no pertencem ao conjunto B. A operao de diferena pode ser visualizada atravs de um diagrama de Venn, como mostrado a seguir.
17
Exemplos: - Dados os conjuntos D = {0, 1, 2, 3, 4, 5, 6 ,7 , 8, 9}, V = {a, e, i, o, u} e P = {0, 2, 4, 6, 8, ...}, temos que D-V=D D - P = {1, 3, 5, 7, 9} - Dados os conjuntos A = {x N | x > 2} e B = {x N | x = x2}, temos que A - B = {3, 4, 5, 6, 7, ...} B - A = {0, 1} Dados os conjuntos R, Q e I, temos que R-Q=I R-I=Q Q-I=Q Para qualquer conjunto universo U e qualquer conjunto A U, temos que -= U-=U U - A = ~A U-U=
3.5
Conjunto das Partes
Dado conjunto A, temos que: - AA - A - Se x A, ento {x} A A operao unria, que aplicada a um conjunto A, resulta num conjunto constitudo de todos os subconjuntos de A denominada conjunto das partes de A e denotada por:
P(A) = {X X A}
Exemplo: Dados os conjuntos A = {a}, B = {a, b} e C = {a, b, c}, temos que - P() = {} - P(A) = {, {a}} - P(B) = {, {a}, {b}, {a, b}} - P(C) = {, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, {a, b, c}} Se o nmero de elementos de um conjunto X n, ento o nmeros de elementos de P(X) 2n.
3.6
Produto Cartesiano
Antes de definirmos a operao produto cartesiano, vamos definir uma seqncia: uma seqncia de n elementos definida como sendo uma n-upla ordenada, ou seja, n objetos em ordem fixa. Particularmente, dizemos que uma 2-upla uma par ordenado e representada por x, y ou (x, y ) .
18
Observao: A ordem dos elementos importante! Logo, x, y y, x . Sejam A e B conjuntos. O produto cartesiano de A por B como segue:
A B = { a, b a A b B}
2 Denotamos o produto cartesiano de um conjunto A por ele mesmo como A A = A .
Exemplos: Dados os conjuntos A = {a}, B = {a, b} e C = {0, 1, 2}, temos que: A B = a, a , a, b -
{ } B C = { a,0 , a,1 , a,2 , b,0 , b,1 , b,2 } C B = { 0, a , 0, b , 1, a , 1, b , 2, a , 2, b } A = { a, a } B = { a, a , a, b , b, a , b, b } A = { a,0 , a,1 , a,2 ,...}
2 2
(A B ) C = { a, a ,0 , A (B C ) = { a, a,0 ,
a, a ,1 , a, a ,2 , a, b ,0 , a, b ,1 , a, b ,2 a, a,1 , a, a,2 , a, b,0 , a, b,1 , a, b,2
} }
A = A = 2 =
Observaes: - No-comutatividade: A C C A - No-associatividade: (A B ) C A (B C ) Propriedades que envolvem Produto Cartesiano, Unio e Interseo a) Distributividade sobre a Unio: A (B C ) = (A B ) (A C )
b) Distributividade sobre a Interseo: A (B C ) = (A B ) (A C )
3.7
Unio Disjunta A + B = { a, A a A} { b, B b B}
Sejam A e B conjuntos. A unio disjunta dos conjuntos A e B, denotada por A + B , como segue:
onde os pares ordenados a, A e b, B representam elemento, identificao . Tambm podemos denotar a unio disjunta da seguinte forma:
A + B = { A a A} { B b B} a b
Exemplos: Dados os conjuntos D = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}, V = {a, e, i, o, u}, P = {0, 2, 4, 6, ...} e A = {a, b, c}, temos que: - D + V = {0D, 1D, 2D, 3D, 4D, 5D, 6D, 7D, 8D, 9D, aV, eV, iV, oV, uV} - D + P = {0D, 1D, 2D, 3D, 4D, 5D, 6D, 7D, 8D, 9D, 0P, 2P, 4P, 6P, ...} - += - A + = {aA, bA, cA} - A + A = {a0, b0, c0, a1, b1, c1}
19
4
4.1
RELAES
Relao Binria
Dados dois conjuntos A e B, uma relao binria R de A em B um subconjunto de um produto cartesiano A B , ou seja R A B , onde: - A o domnio, origem ou conjunto de partida de R - B o contra-domnio, destino ou conjunto de chegada de R Para R A B , se a, b R , ento afirmamos que "a relaciona-se com b". Podemos denotar uma relao R da seguinte forma: R : A B e, para um elemento denota-lo como aRb . Exemplos: Sejam A = {a}, B = {a, b} e C = {0, 1, 2}. So exemplos de relaes: - uma relao de A em B A B = a, a , a, b uma relao de A em B -
a, b R , podemos
Relao de Igualdade de A em A: Relao "menor" de C em C:
{ 0,1 , 0,2 , 1,2 } Relao de C em B: { 0, a , 1, b }

: P( B) P( B) : C C =: A A
{ a, a }
Endorrelao ou Auto-Relao: dado um conjunto A, uma relao do tipo R : A A dita uma Endorrelao ou Auto-Relao. Assim, temos que origem e destino so o mesmo conjunto e podemos denota-la por A, R . Exemplos: Seja A um conjunto. Ento, so endorrelaes: , -
, Q, = P( A), P(R),
Uma relao binria pode ser representada no diagrama de Venn, como mostram as figuras abaixo. A C B C 0 0 b a
1 2 1 2
par a, b de R : A B
C , < = { 0,1 , 0,2 , 1,2 }
A seguir, algumas definies referentes ao conceito de relao:
20
a)
a, b R : dizemos que R est definida para a e que b a imagem de a.
b) Domnio de definio: o conjunto de todos os elementos de A para os quais R est definida. c) Conjunto imagem: conjunto de todos os elementos de B que esto relacionados com algum elemento de A. Exemplos: Dados os conjuntos A = {a}, B = {a, b} e C = {0, 1, 2}, temos que - para a endorelao C , < , o domnio de definio o conjunto {0, 1} e o conjunto imagem o conjuto {1, 2] para a relao = : A B , o domnio de definio o conjunto {a} e o conjunto imagem tambm o conjunto {a}.
4.2
Endorrelao como Grafo Toda endorrelao R : A A pode ser representada como um grafo, onde:
a) cada elemento do conjunto A representado como um nodo do grafo; b) cada par a, b da relao representada como uma aresta do grafo, com origem em a e destino em b. Exemplos:
a a b
: A A
= : B B = { a, a , b, b
0 1 2
0 1 2
C , < = { 0,1 , 0,2 , 1,2 } 4.3 Relao como Matriz
R : C C tal que R = { 0,2 , 2,0 , 2,2
Sejam A = {a1, a2, ..., an} e B = {b1, b2, ..., bm} dois conjuntos finitos. A representao da relao R : A B como matriz como segue: a) o nmero de linhas n (nmero de elementos do domnio); b) o nmero de colunas m (nmero de elementos da imagem); c) a matriz resultante possui m x n clulas; d) cada uma das m x n clulas possuem um valor lgico associado; e) se a i , b j R , ento a posio determinada pela linha i e pela coluna j da matriz contm valor verdadeiro (1); caso contrrio, seu valor ser falso (0).
21
Exemplo: Dados os conjuntos A = {a}, B = {a, b} e C = {0, 1, 2}, temos que a = a b < 0 1 2 R 0 1 2 a 0 a 1 0 0 0 0 0 0 0 0 1 b 0 1 1 1 0 0 1 0 0 0 a 1 b 0 1 0 1 0 {a} 1 1 {b} 1 0 {a, b} 1 1 2 1 1 0 2 1 0 1 b 1 : A A
B, =
C, <
R : C C tal que R = { 0,2 , 2,0 , 2,2
A B
a S 0 1 2 {a} a 1 0 0
A B = A B
S = { 0, a , 1, b }: C B
: P( A) P( B)
4.4
Propriedades das Relaes
Uma endorrelao binria em um conjunto A pode ter determinadas propriedades. A seguir sero apresentadas as propriedades que envolvem as endorrelaes.
4.4.1
Relao Reflexiva
Sejam A um conjunto e R uma endorrelao em A. R uma relao reflexiva se:
(a A)(aRa )
A negao da propriedade reflexiva como segue: (a A)((aRa )) Exemplos: Dado o conjunto A = {0, 1, 2}, temos que as seguintes relaes so reflexivas , , pois todo elemento igual a si mesmo -
P( A), , pois todo conjunto est contido em si mesmo A 2 : A A , pois esta relao contm os pares 0,0 , 1,1 e 2,2 A, = , pois todo elemento igual a si mesmo
A matriz e o grafo de uma relao reflexiva apresentam uma caracterstica especial: a diagonal principal da matriz contm somente valores lgicos verdadeiro (1) e qualquer nodo do grafo
22
possui uma aresta com origem e destino nele mesmo. Veja as matrizes e grafos referentes a alguns dos exemplos apresentados acima. A2 0 1 2
A :A A
2
0 1 1 1
1 1 1 1
2 1 1 1
1
A, =
= 0 1 2
0 1 0 0
1 0 1 0
2 0 0 1
1
4.4.2 Relao Irreflexiva Sejam A um conjunto e R uma endorrelao em A. R uma relao irreflexiva se:
(a A)((aRa ))
Exemplos: Dado o conjunto A = {0, 1, 2}, temos que as seguintes relaes so irreflexivas , , pois no elemento diferente de si mesmo -
P( A), , pois para a relao "est contido propriamente" os conjunto precisam se

diferentes : A A, pois no h nenhum elemento do tipo a, a
A, R , se R = { 0,1 , 1,2 , 2,1 }, pois no h nenhum elemento do tipo a, a
Exemplo de relao nem reflexiva, nem irreflexiva: - A, S , se S = 0,2 , 2,0 , 2,2
A matriz e o grafo de uma relao irreflexiva apresentam uma caracterstica especial: a diagonal principal da matriz contm somente valores lgicos falso (0), e qualquer nodo do grafo no possui aresta com origem e destino nele mesmo. Veja as matrizes e grafos referentes a alguns dos exemplos apresentados acima. :A A 0 1 2 0 0 0 0 1 0 0 0 2 0 0 0
1
23
R = { 0,1 , 1,2 , 2,1 }
R 0 1 2
0 0 0 0
1 1 0 1
2 0 1 0
1
4.4.3
Relao Simtrica
Sejam A um conjunto e R uma endorrelao. R uma relao simtrica se:
(a A)(b A)(aRb bRa )

Exemplos: Dados o conjunto A = {0, 1, 2} e X um conjunto qualquer, temos que as seguintes relaes so simtricas - X2: X X X,= -
X, P( X ), =
: X X
A matriz e o grafo de uma relao simtrica apresentam uma caracterstica especial: na matriz, a metade acima da diagonal principal a imagem espelhada da metade de baixo, e, no grafo, entre dois nodos quaisquer, ou no existe aresta, ou existem duas arestas, uma em cada sentido. Veja as matrizes e grafos referentes a alguns dos exemplos apresentados acima.
A :A A
2
A2 0 1 2
0 1 1 1
1 1 1 1
2 1 1 1
1
A, =
= 0 1 2
0 1 0 0
1 0 1 0
2 0 0 1
1
4.4.4
Relao Anti-Simtrica
Sejam A um conjunto e R uma endorrelao em A. R uma relao anti-simtrica se:
(a A)(b A)(aRb bRa a = b )

Exemplos: Dados o conjunto A = {0, 1, 2} e X um conjunto qualquer, temos que as seguintes relaes so anti-simtricas
24
X,= P( X ), =
: X X , R , se R =
{ x, y
2 y = x2
Exemplo de relao nem simtrica, nem anti-simtrica: - A, S , se S = 0,1 , 1,0 , 1,2
A matriz e o grafo de uma relao anti-simtrica apresentam uma caracterstica especial: na matriz, para qualquer clula verdadeira (1) em uma das metades da matriz, a correspondente clula na outra metade falsa (0); no grafo, entre dois nodos quaisquer, existe no mximo uma aresta. Veja a matriz e o grafo referentes a um dos exemplos apresentado acima.
R = { 0,0 , 1,1 , 1,2 }
R 0 1 2
0 1 0 0
1 0 1 0
2 0 1 0
1
4.4.5
Relao Transitiva
Sejam A um conjunto e R uma endorrelao em A. R uma relao transitiva se:
(a A)(b A)(c A)(aRb bRc aRc )

Exemplos: Dado um conjunto X qualquer, temos que as seguintes relaes so transitivas - X2: X X - : X X X,= -
, , < P( X ), P( X ),
Exemplos: Dado um conjunto X qualquer, temos que as seguintes relaes no so transitivas , -
A, R , se R = { 0,1 , 2,0 , 2,1 }
A, R , se R = { 0,2 , 2,0 , 2,2 }
4.5
Fechos de Relaes Sejam R: A A uma endorrelao e P um conjunto de propriedades. Ento, o fecho de R em

relao a P a menor endorrelao em A que contm R e que satisfaz as propriedades de P. Se a relao R j contm as propriedades de P, ento ela a seu prprio fecho em relao a P.
R FECHO P(R )
25
4.5.1
Fecho Reflexivo Suponha R: A A uma endorrelao. Ento o fecho reflexivo de R definido como segue: Fecho {reflexiva}(R ) = R { a, a a A}
Exemplo: Dados o conjunto A = {1, 2, 3, 4, 5} e R: A A uma endorrelao, tal que
R = {1,2 , 1,5 , 2,3 , 3,4 }, temos que
Fecho {reflexiva}(R ) = {1,1 , 1,2 , 1,5 , 2,2 , 2,3 , 3,3 , 3,4 , 4,4 , 5,5 }
4.5.2
Fecho Simtrico Suponha R: A A uma endorrelao. Ento o fecho simtrico de R definido como segue: Fecho {simtrica}(R ) = R { b, a R = {1,2 , 1,5 , 2,3 , 3,4 }, temos que a, b R}
Fecho {simtrica}(R ) = {1,2 , 1,5 , 2,1 , 2,3 , 3,2 , 3,4 , 4,3 , 5,1 }
4.5.3
Fecho Transitivo Suponha R: A A uma endorrelao. Ento o fecho transitivo de R definido como segue: a) se a, b R , ento a, b Fecho { transitiva}(R ) ; b) se a, c Fecho { transitiva}(R ) . a, b Fecho { transitiva}(R ) e b, c Fecho { transitiva}(R ) , ento
R = {1,2 , 1,5 , 2,3 , 3,4 }, temos que
Fecho { transitiva}(R ) = {1,2 , 1,3 , 1,4 , 1,5 , 2,3 , 2,4 , 3,4 }
Algumas notaes so importantes e podem ser utilizadas para simplificar e representar as seguintes relaes: transitiva}(R ) a) R + = Fecho {
* b) R = Fecho {reflexiva, transitiva}(R )
Portanto, considerando o exemplo acima, temos que
4.6
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 } Relao de Ordem
Intuitivamente, podemos pensar numa relao de ordem quando lembramos de uma fila no banco, de uma fila de alunos dispostos numa sala de aula, na relao "menor ou igual" no nmeros naturais, etc.
26
Ordem parcial: toda relao binria em um conjunto A que , simultaneamente, reflexiva, anti-simtrica e transitiva. So exemplos de relao de ordem parcial: , -
P( ), + , x _ divide _ y A, R um conjunto
Se R uma relao de ordem parcial em A, ento dizemos que parcialmente ordenado.
Se A um conjunto finito, ento podemos representar visualmente um conjunto parcialmente ordenado em A por um diagrama de Hasse. Cada elemento de A representado por um ponto (vrtice) do diagrama. O diagrama de Hasse pode ser construdo com base num grafo, onde as arestas que representam as relaes reflexivas e transitivas ficam implcitas no diagrama. Veja o exemplo a seguir. Exemplo: Dados o conjunto A = {1, 2, 3} e a relao de ordem A, , temos seus respectivos grafo e diagrama de Hasse representados abaixo.
3 1 2 3
2 1
(grafo)
(diagrama de Hasse) Observe que os elementos da relao so representados no diagrama em ordem crescente de baixo para cima, ou seja, como 1 2, ento o elemento 1 aparece abaixo do elemento 2. As orientao das arestas torna-se, dessa forma, desnecessria, j que a disposio dos elementos no diagrama preserva essa informao. Exemplos: 1 - Dada a relao de ordem P ({ ,2}), , seu diagrama de Hasse est representado abaixo.
{1,2}
{1}
{2}
Dados o conjunto A = {1, 2, 3, 6, 12, 18} e a relao de ordem "x divide y", o diagrama de Hasse est representado abaixo.
27
12 6
18
Dado o diagrama de Hasse a seguir,

e b c d
temos
{ a, a ,
a, b , a, c , a, d , a, e , b, b , c, c , d , d , d , e , e, e , f , f }. Elemento Mnimo
que
conjunto
dado
pela
relao
de
ordem
4.6.1
R se
Suponha A um conjunto e A, R uma relao de ordem. Dizemos que m elemento mnimo de
(a A)(mRa )
Elemento Minimal
4.6.2
de R se
Suponha A um conjunto e A, R uma relao de ordem. Dizemos que m elemento minimal
(a A)( a, m
Elemento Mximo
R)
4.6.3
de R se
Suponha A um conjunto e A, R uma relao de ordem. Dizemos que m elemento mximo
(a A)(aRm)
Elemento Maximal
4.6.4
de R se
Suponha A um conjunto e A, R uma relao de ordem. Dizemos que m elemento maximal
(a A)( m, a
R)
Exemplo: Dados o conjunto A = {1, 2, 3, 6, 12, 18} e a relao de ordem "x divide y", cujo diagrama de Hasse j foi apresentado anteriormente, temos que - 1 elemento mnimo, pois est relacionado com todos os outros elementos de A; - 1 elemento minimal, pois no h elemento que relaciona-se com ele; - 12 e 18 so elementos maximais, pois no existem elementos com os quais eles relacionamse;
28
no h elemento mximo, pois no h elemento que se relaciona com todos os outros elementos de A.
Exemplo: Desenhe um diagrama de Hasse para um conjunto parcialmente ordenado com quatro elementos, tais que existam dois elementos minimais, dois elementos maximais, no existam elementos mnimo e mximo e cada elemento est relacionado com dois outros elementos. Um possvel diagrama o apresentado a seguir:
4.7
Relao de Equivalncia
A relao de equivalncia nos d a noo de igualdade semntica, ou seja, de elementos que apresentam um mesmo significado. Relao de Equivalncia: toda relao binria em um conjunto A que , simultaneamente, reflexiva, simtrica e transitiva. So exemplos de relaes de equivalncia: X,= -
A, R , se A = {0, 1} e aRb a = b 2
Partio de um Conjunto: uma partio de um conjunto A um conjunto de subconjuntos disjuntos no-vazios cuja unio igual ao conjunto A. Para visualizar uma partio, suponha um conjunto A = {x x aluno de Matemtica Discreta} e a relao xRy A, x _ sen ta _ na _ mesma _ fila _ que _ y . Ao agruparmos todos os alunos do conjunto A que esto relacionados entre si, obtemos a figura abaixo. Observe que o conjunto A foi divido em subconjuntos tais que todos os alunos da turma pertencem a um, e somente um, subconjunto.
Qualquer relao de equivalncia divide o conjunto onde est definida em uma partio. Os subconjuntos que compem a partio so formados agrupando-se os elementos relacionados, como no caso dos alunos da turma de Matemtica Discreta. Classes de Equivalncia: se R uma relao de equivalncia em um conjunto A e se a A, denotamos por [a] o conjunto de todos os elementos relacionados a a em A e o chamamos de classe de equivalncia de a. Dessa forma, podemos escrever que
[a] = {x
x A aRx}
Teorema: uma relao de equivalncia R em um conjunto A determina uma partio de A e uma partio de A determina uma relao de equivalncia em A.
29
Exemplo: Considere o conjunto dos nmeros naturais e a relao de equivalncia , " x + y _ _ par" . Tal relao divide o conjunto N em duas partes, ou seja, em duas classes de equivalncias. Se x par, ento x + y par, para todo nmero par; se x mpar, ento x + y mpar para todo nmero mpar. Assim, todos os nmeros pares formam uma classe de equivalncia e todos os nmeros mpares formam uma segunda classe de equivalncia. Podemos representar essa partio de N como mostra figura abaixo.
Observe que as classes de equivalncia podem ser representadas por qualquer objeto pertencente ela: - classe dos pares: [2] = [6] = [1034] = {0, 2, 4, 6, ...} - classe dos mpares: [1] = [11] = [2451] = {1, 3, 5, 7, ...} Exemplo: Para cada uma das relaes a seguir, descreva as classes de equivalncia correspondentes. a) , = Possui n classes de equivalncia, tais que cada classe de equivalncia contm um nico elemento. [n] = {n} b) Em A = {1, 2, 3} e R = 1,1 , 2,2 , 3,3 , 1,2 , 2,1 As classes de equivalncia so as seguintes: [1] = {1, 2} = [2] [3] = {3}
4.7.1
Congruncia em Z
Considere o conjunto dos nmeros inteiros Z e um nmero inteiro m > 1 . Dizemos que x congruente a y mdulo m, denotada por
x y (mod m )
se x y divisvel por m, ou seja, se x = y + km para algum inteiro k. A relao de congruncia em Z define uma relao de equivalncia em Z. Para verificar que isso vlido, temos que mostrar que a relao de congruncia em Z uma relao reflexiva, simtrica e transitiva. Acompanhe o raciocnio a seguir: para qualquer inteiro x, temos que x x(mod m ) , pois x x = 0 divisvel por m. Logo, temos que a relao reflexiva. divisvel por m. Logo, temos que a relao simtrica. Suponha agora que x y (mod m ) e que y z (mod m ), ento x y e y z so divisveis por m. Ento, temos que a soma
Suponha que x y (mod m ) , ento x y divisvel por m. Ento (x y ) = y x tambm
tambm divisvel por m. Logo, x z (mod m ) e a relao transitiva. Assim, mostramos que a relao de congruncia mdulo m em Z , simultaneamente, reflexiva, simtrica e transitiva e, portanto, uma relao de equivalncia.
(x y ) + ( y z ) = x z
4.8
Relao Inversa
Seja uma relao R: A B. Ento, a relao inversa como segue:
30
R 1 : B A = { b, a
a, b R}
Exemplos: - Dados os conjuntos A = {a, b} e B = {2, 3, 4} e a relao R : B A = 2, a , 3, b ,
temos que a relao inversa de R, R dada por -
-1
R 1 : A B = { a,2 , b,3 }
Dados o conjunto C = {2, 3, 4} e a relao C , < , a relao inversa pode ser visualizada no diagrama a seguir:
2 3 4 2 3 4 2 3 4 2 3 4
< :C C 4.9 Composio de Relaes
< 1 => : C C
Sejam A, B e C conjuntos, e R: A B e S: B C relaes. A composio de R e S, denotada por R S : A C , tal que
Ou seja,
Exemplo: Dados os conjuntos A = {a, b, c, d}, B = {1, 2, 3, 4, 5} e C = {x, y, z} e as relaes R : A B = a,1 , b,3 , b,4 , d ,5 e S : B C = 1, x , 2, y , 5, y , 5, z , temos que
a composio de R e S como segue
e pode ser visualizada no diagrama a seguir:
R S
A
a b
c d
A composio de relaes associativa, ou seja: Sejam as relaes R: A B, S: B C e T: C D. Ento, temos que
(T S ) R = T (S R ) = T S R
(a A)(b B )(c C )(aRb bSc a(R S )c )

R S = { a , c b B a , b R b , c S }
R S = { a, x , d , y , d , z
B
1 2 3 4 5
C S
x y z
31
4.9.1
Composio de Relaes como Produto de Matrizes
A composio de relaes pode ser vista como o produto de matrizes. Veja o exemplo a seguir. Exemplo: Sejam R e S relaes em X = {a, b, c} definidas por R = a, b , a, c , b, a
S = { a, c , b, a , b, b , c, a }. Determinaremos a composio de R e S atravs da
}e
multiplicao das correspondentes matrizes. Abaixo, temos as correspondentes matrizes que representam as relaes R e S. R a b c a 0 1 0 b 1 0 0 c 1 0 0 S a b c a 0 1 1 b 0 1 0 c 1 0 0
A multiplicao das matrizes R e S dada como segue:
0 + 1 + 1 0 + 1 + 0 0 + 0 + 0 2 1 0 R S = 0 + 0 + 0 0 + 0 + 0 1+ 0 + 0 = 0 0 1 0 + 0 + 0 0 + 0 + 0 0 + 0 + 0 0 0 0
Assim,
composio R S = a, a , a, b , b, c .
temos
que
R S
dada
pela
matriz
R S , ou seja,
32
5
5.1
TIPOS DE RELAES
Vamos estudar agora os diferentes tipos de relaes.
Relao Funcional Uma relao binria R: A B uma relao funcional se, e somente se:
(a A)(b1 B )(b2 B )(aRb1 aRb2 b1 = b2 )

Em outras palavras, temos que para uma relao ser funcional, cada elemento do conjunto origem deve estar relacionado a, no mximo, um elemento do conjunto destino.
2 Exemplo: Dada a relao X : Z Z, tal que X
2
= x, y 2 y = x 2 , temos que, para

2
cada inteiro x, existe no mximo um inteiro y tal que y = x . A matriz de uma relao funcional tem uma caracterstica particular: cada linha da matriz pode conter no mximo um valor lgico verdadeiro (1). Podemos tambm visualizar uma relao funcional no diagrama de Venn. Considerando a relao R: A A, tal que R = a, a , b, c e A = {a, b, c}, temos que o correspondente
diagrama como segue:

A a b c a b c A
Observe que, de fato, cada elemento do conjunto origem est relacionado a, no mximo, um elemento do conjunto destino (o que significa que podem haver elementos da origem no relacionados a algum elemento do destino).
5.2
Relao Injetora
Relao injetora o conceito dual (inverso) de relao funcional. Uma relao binria R: A B uma relao injetora se, e somente se:
(b B )(a1 A)(a 2 A)(a1 Rb a 2 Rb a1 = a 2 )

Em outra palavras, temos que, para um relao ser injetora, cada elemento do conjunto destino deve estar relacionado a, no mximo, um elemento do conjunto origem. A matriz de uma relao injetora tem uma caracterstica particular: existe no mximo um valor lgico verdadeiro (1) em cada coluna. Exemplo: Dada a relao R: A B, tal que A = {1, 2}, B = {1, 2, 3} e R = 1,1 , 1,2 , 2,3 , temos que cada elemento de B est relacionado a, no mximo, um elemento de A. Veja a seguir o diagrama que representa a relao R.
33
A 1 1 2 2 3
5.3
Relao Total Uma relao binria R: A B uma relao total se, e somente se:
(a A)(b B )(aRb )
Em outras palavras, temos que para uma relao ser total, todos os elementos do conjunto origem devem estar relacionados a algum elemento do conjunto destino. O domnio de definio o prprio conjunto A. Na matriz de uma relao total, deve existir pelo menos um valor lgico verdadeiro em cada linha. Exemplo: Dada a relao R: A B, tal que A = {1, 2}, B = {1, 2, 3} e R = 1,1 , 2,2 , 2,3 , temos que cada elemento de A est relacionado a algum elemento de B. Veja a seguir o diagrama que representa a relao R.
A 1 1 2 2 3 B
5.4
Relao Sobrejetora
Relao sobrejetora o conceito dual (inverso) de relao total. Uma relao binria R: A B uma relao sobrejetora se, e somente se:
(b B )(a A)(aRb )
Em outras palavras, temos que para uma relao ser sobrejetora, todos os elementos do conjunto destino devem estar relacionados a algum elemento do conjunto origem. O conjunto imagem o prprio conjunto B. Na matriz de uma relao sobrejetora, deve existir pelo menos um valor lgico verdadeiro em cada coluna. Exemplo: Dada a relao R: A B, tal que A = {a, b, c}, B = {a, b} e R = a, b , c, a , temos que cada elemento de B est relacionado a algum elemento de A. Veja a seguir o diagrama que representa a relao R.
34
A a a b b c
5.5
Monomorfismo Uma relao R: A B um monomorfismo se, e somente se, for simultaneamente uma
relao total e injetora. Dessa forma, o domnio de definio o prprio conjunto A e cada elemento de B est relacionado com no mximo um elemento de A. A matriz de um monomorfismo tem a seguinte caracterstica: existe pelo menos um valor verdadeiro em cada linha da matriz (o que carateriza a relao total) e existe no mximo um valor lgico verdadeiro em cada coluna (o que carateriza a relao injetora). Exemplo: A relao =: A B , onde A = {a} e B = {a, b}, um monomorfismo.
5.6
Epimorfismo
Epimorfismo o conceito dual (inverso) de monomorfismo. Uma relao R: A B um epimorfismo se, e somente se, for simultaneamente uma relao funcional e sobrejetora. Dessa forma, o conjunto imagem o prprio conjunto B e cada elemento de A est relacionado com no mximo um elemento de B. A matriz de um epimorfismo tem a seguinte caracterstica: existe pelo menos um valor verdadeiro em cada coluna da matriz (o que carateriza a relao sobrejetora) e existe no mximo um valor lgico verdadeiro em cada linha (o que carateriza a relao funcional). Exemplo: So exemplos epimorfismo, sendo que onde A = {a}, B = {a, b} e C = {0, 1, 2}: - =: A A - S: C B, tal que S = 0, a , 1, b
5.7
Isomorfismo Uma relao R: A B um isomorfismo se, e somente se, existe uma relao S: B A tal
que:
R S = idA S R = idB onde idA uma endorrelao de igualdade em A A, = e idB uma endorrelao de igualdade
em B B, = , chamadas de relao identidade. Assim, se R S = idA e S R = idB, podemos afirmar que a relao R possui inversa. Ainda, se existe um isomorfismo entre dois conjuntos, podemos chama-los de conjuntos isomorfos.
35
Exemplo: Dados os conjuntos A = {a, b, c} e B = {e, f, g} e a relao R: A B tal que R = a, e , b, f , c, g . R um isomorfismo, pois considerando a relao inversa de R,
R 1 : B A = { e, a , f , b , g , c }, temos que
R 1 R = { e, e , f , f , g , g } = idB
Logo, a relao R possui inversa e os conjuntos A e B so conjuntos isomorfos. Teorema: Seja R: A B uma relao. Ento R um isomorfismo se, e somente se, R for simultaneamente um monomorfismo e um epimorfismo. Dessa forma, uma relao um isomorfismo se, e somente se, for simultaneamente uma relao total, injetora, funcional e sobrejetora. Podemos observar que para uma relao ser um isomorfismo, os conjuntos origem e destino devem possuir o mesmo nmero de elementos.
R R 1 = { a, a , b, b , c, c } = idA
36
FUNES PARCIAIS E TOTAIS
Uma funo parcial nada mais do que um relao que funcional. Se a relao funcional for tambm total, ento a denominamos de funo total. Portanto, podemos dizer que toda funo total uma funo parcial e que toda funo parcial uma relao. Entretanto, nem toda relao uma funo parcial, assim como nem toda funo parcial uma funo total.
6.1
Funo Parcial
Uma funo parcial uma relao funcional, ou seja, cada elemento do domnio est relacionado a no mximo um elemento do contra-domnio. Um elemento pertencente funo parcial a, b f pode ser representado por f (a ) = b . Exemplo: Dados os conjuntos A = {a} e B = {x, y} temos que as seguintes relaes so funes parcias: - R : B A = x, a , y , a
=: B B
Vale observar que a relao inversa de uma funo parcial no necessariamente uma funo parcial. Se considerarmos o conjunto A = {0, 1, 2} e a funo parcial f: A A tal que f = 0,1 , 2,1 , temos que a relao inversa de f, f 1 = 1,0 , 1,2 no uma relao
funcional e, consequentemente, no uma funo parcial. Para que a relao inversa de uma relao funcional seja uma funo parcial, ela deve ser tambm injetora (que o dual de funcional).
6.2
Funo Total
Uma funo total uma funo parcial que total. Em outras palavras, uma funo parcial definida para todos os elementos do domnio. Se uma funo total, dizemos apenas que uma funo, ou seja, sempre que mencionarmos apenas funo, estamos nos referindo a funes totais. Assim, podemos verificar as seguintes propriedades: Funo Injetora = monomorfismo Funo Sobrejetora = epimorfismo Funo Bijetora = isomorfismo
Ou seja, uma funo bijetora uma funo injetora e sobrejetora. Da mesma forma que para funes parciais, a relao inversa de uma funo no necessariamente uma funo. Considerando os conjuntos A = {0, 1} e B = {0, 1, 2} e a funo f : B A = 0,0 , 1,1 , 2,0 , temos que a relao inversa de f, f 1 = 0,0 , 1,1 , 0,2
no uma relao funcional e, portanto, no uma funo. Podemos considerar tambm a funo g: A B, tal que g = 0,0 , 1,1 . A inversa de g,
g 1 = { 0,0 , 1,1 } no uma relao total e, portanto, no uma funo.
Para que a relao inversa de uma funo f seja uma funo, f deve ser uma funo bijetora.
37
CARDINALIDADE DE CONJUNTOS
A cardinalidade de um conjunto nada mais do que a medida de seu tamanho. Dois conjuntos A e B possuem o mesmo nmero de elementos ou a mesma cardinalidade, ou ainda so ditos equipotentes, denotado por
# A =# B
se existe uma correspondncia um-para-um f : A B . O conceito de cardinalidade permite definir conjuntos finitos e infinitos.
7.1
Cardinalidade Finita e Infinita

Finita: se existe uma bijeo entre A e o conjunto {1, 2, 3, ..., n}, para algum n . Neste caso, #A = n. Infinita: se existe uma bijeo entre A e um subconjunto prprio de A, ou seja, se conseguimos "tirar" alguns elementos de A e ainda assim podemos estabelecer uma bijeo com A.
A cardinalidade de um conjunto A, representada por #A : -
Exemplo: Mostre que o conjunto dos nmeros inteiros Z um conjunto infinito. Para mostrar que Z um conjunto infinito, precisamos mostrar que existe uma bijeo entre ele e um subconjunto prprio dele, como por exemplo, o conjunto dos nmeros naturais N. Portanto, precisamos encontrar uma funo bijetora f : . Suponha f : , tal que: se a 0 , ento f (a ) = 2a
se a < 0 , ento f (a ) = 2a 1
A tabela abaixo mostra os valores de f(a) e sugere o relacionamento um-para-um entre Z e N. a -4 -3 -2 -1 0 1 2 3 4 ... f(a) 7 5 3 1 0 2 4 6 8 ...
Temos que f uma funo bijetora e sabemos que N um subconjunto prprio de Z. Portanto, Z um conjunto infinito, como queramos mostrar. Vale ressaltar que nem todos os conjuntos infinitos possuem a mesma cardinalidade. Podemos dizer que um conjunto infinito A dito:
38
Contvel: se existe um bijeo entre A e um subconjunto infinito de N. No-Contvel: caso contrrio.
A bijeo que define o conjunto A como conjunto contvel dita enumerao de A. Exemplo: Os conjuntos Z (inteiros) e Q (racionais) so conjuntos contveis e os conjuntos I (irracionais) e R (reais) so conjuntos no-contveis.
7.2
Cardinalidade dos Conjuntos No-Contveis
Todos os conjuntos contveis possuem mesma cardinalidade. Entretanto, nem todos os conjuntos no-contveis possuem a mesma cardinalidade. Dizemos que um conjunto A tem tantos elementos quanto um conjunto B, ou seja:
# A # B
quando existe uma funo injetora f : A B . Teorema Schrder-Bernstein: sejam A e B dois conjuntos tais que existem duas funes injetoras: f 1 : A B e f 2 : B A . Ento, existe uma funo bijetora g : A B . Conjuntos Equipotentes: Dois conjuntos A e B so ditos equipotentes quando existe uma bijeo entre eles. Logo, podemos dizer que os conjuntos A e B possuem a mesma cardinalidade. Pela definio de conjuntos equipotentes, podemos afirmar que todos os conjuntos contveis so equipotentes.
7.3
Cardinal
A relao estabelecida entre conjuntos equipotentes uma relao de equivalncia. Assim, podemos considerar o cardinal como uma classe de equivalncia dos conjuntos equipotentes. O cardinal do conjunto dos nmeros naturais representado por 0 (aleph-zero). Como qualquer conjunto infinito contvel possui mesma cardinalidade que o conjunto dos nmeros naturais, ento 0 representa o cardinal de qualquer conjunto infinito contvel e o menor cardinal dos conjuntos infinitos. Teorema de Cantor: o conjunto das partes de um conjunto tem sempre cardinalidade maior que este. Seja A conjunto e 2A o conjunto das partes de A, ento #A < #2A. Prova: Parte 1: Vamos mostrar que #A #2A, apresentando uma funo injetora f : A 2 A . Seja
f : A 2 A uma funo tal que, para todo a A, tem-se que: f (a ) = {a}

f injetora e, portanto, #A #2A. Parte 2: Vamos mostrar que #A #2A, ou seja, que #A < #2A, mostrando, por absurdo, que no existe uma funo bijetora entre A e 2A. Suponha que existe uma funo bijetora g : A 2 A . Seja o seguinte subconjunto B de A:
39
B = { A a g (a )} a
Como A um conjunto, ele pode ser um conjunto de conjuntos. Suponha b A, tal que g (b ) = B . Neste caso: se b B, ento, pela definio de B, tem-se que b g(b) = B. se b g(B), ento, pela definio de B, tem-se que b g(b) = B.
O que uma contradio! Logo, no existe uma funo bijetora entre A e 2A. O conjunto das partes de N equipotente ao conjunto dos nmeros reais R. Considerando que 2k denota o cardinal do conjunto das partes com cardinalidade k, tem-se que 2 0 a cardinalidade do conjunto dos nmeros reais, ou seja, a cardinalidade do continuum. Teorema: O conjunto I = [0, 1] de todos os nmeros reais entre 0 e 1 no-contvel. Prova (por absurdo): Suponha I contvel.
f (1) = a1 , f (2 ) = a 2 , f (3) = a3 ,... , isto , I = {a1 , a 2 , a 3 ,...}. Vamos listar seus elementos em
Ento,
existe
uma
funo
bijetora
f : .
Seja
uma coluna com sua expanso decimal:
a1 = 0, x11 x12 x13 x14 ...
a 2 = 0, x 21 x 22 x 23 x 24 ... a3 = 0, x31 x32 x33 x34 ... a 4 = 0, x 41 x 42 x 43 x 44 ...

onde xij {0,1,2,...,9}. Seja b = 0, y1 y 2 y 3 y 4 ... um nmero real obtido da seguinte forma:
...
Portanto, b . Mas
1 yi = 2
se xii 1 se xii = 1
b a1 , pois y1 x11 b a 2 , pois y 2 x 22 b a3 , pois y 3 x33

... Portanto, b = {a1 , a 2 , a 3 ,...}, o que uma contradio, j que b ! Logo, a suposio de que I contvel falsa e, portanto, I no-contvel, como queramos provar.
40
8
-
INDUO MATEMTICA
Voc est subindo uma escada infinitamente alta. Como saber se ser capaz de chegar a um degrau arbitrariamente alto? Suponha as seguintes hipteses: 1. Voc consegue alcanar o primeiro degrau 2. Uma vez chegando a um degrau, voc sempre capaz de chegar ao prximo
Para entender intuitivamente o que a Induo Matemtica, vamos ilustrar a tcnica:
Pela hiptese 1, voc capaz de chegar ao primeiro degrau; pela hiptese 2, voc consegue chegar ao segundo; novamente pela hiptese 2, chega ao terceiro degrau; e assim sucessivamente.
Essa mesma propriedade utilizada para provar propriedades dos nmeros inteiros positivos! Considere que P(n) denota que o nmero inteiro positivo n possui a propriedade P. 1. Assumimos que o nmero 1 tem a propriedade P: P(1) 2. Supomos que a propriedade P vlida para qualquer inteiro positivo k: P(k) 3. Provamos que, se a propriedade P vlida para qualquer nmero inteiro k, ento vlida para o prximo inteiro positivo k+1: P(k) P(k+1)
8.1
Primeiro Princpio de Induo Matemtica
O Primeiro Princpio de Induo Matemtica formulado da seguinte forma: 1. P(1) verdade 2. (k)(P(k) verdade P(k+1) verdade) E com isto, provamos que a propriedade verdadeira para todo inteiro positivo n, ou seja, que P(n) verdade. Exemplo: Suponha que um ancestral casou-se e teve dois filhos. Vamos chamar esses dois filhos de gerao 1. Suponha agora que cada um desses filhos teve dois filhos. Ento a gerao 2 contm quatro descendentes. Imagine que esse processo continua de gerao em gerao. A figura abaixo ilustra esse processo: Gerao 1 2 3 ... Ento, podemos deduzir que: A gerao 1 possui 2 descendentes A gerao 2 possui 4 descendentes A gerao 3 possui 8 descendentes E assim sucessivamente... Descendentes 2 = 21 4 = 22 8 = 23 ...
41
Ento, podemos fazer a seguinte conjectura: a gerao n possui 2n descendentes. Ou seja, podemos escrever que:
P(n ) = 2 n
Agora, vamos provar que nossa conjectura est correta, atravs do primeiro princpio de induo matemtica: Base de Induo (estabelecemos a veracidade da propriedade para n = 1):
P(1) = 21 = 2
Hiptese de Induo (supomos que a propriedade vlida para algum inteiro k, k 1):
P(k ) = 2 k
Passo de Induo (provamos que a propriedade vlida para o inteiro seguinte k+1, ou seja, que P(k) P(k+1)):
P(k + 1) = 2 k +1
P(k + 1) = 2 P(k ) = 2 2 k = 2 k +1 (o nmero de descendentes dobra de uma gerao para outra)

HI
A tabela abaixo, resume os trs passos necessrios para uma demonstrao que usa o primeiro princpio de induo. Demonstrao por Induo Passo 1 Prove a base de induo Passo 2 Passo 3 Vejamos mais alguns exemplos: Exemplo: Prove que a equao a seguir verdadeira para qualquer inteiro positivo n. Suponha P (k ) Prove P (k + 1)
1 + 3 + 5 + ... + (2n 1) = n 2
Base de Induo - P(1) Verificamos que a propriedade vlida para n = 1.
P(1) : 1 = 12
Hiptese de Induo - P(k) Supomos que a propriedade vlida para n = k.
P(k ) : 1 + 3 + 5 + ... + (2k 1) = k 2
Passo de Induo - P(k + 1) Tentamos provar que a propriedade vlida para n = k + 1, ou seja, que:
P(k + 1) : 1 + 3 + 5 + ... + [2(k + 1) 1]=(k + 1)

?
42
Para fazermos uma demonstrao por induo, vamos reescrever o lado esquerdo da equao de P(k + 1) incluindo a penltima parcela e usaremos a hiptese de induo para provarmos o que queremos.
P(k + 1) : 1 + 3 + 5 + ... + [2(k + 1) 1] = 1 + 3 + 5 + ... + (2k 1) + [2(k + 1) 1] = k 2 + [2(k + 1) 1] = k 2 + (2k + 2 1) = k 2 + 2k + 1 =

HI
(k + 1)2
Portanto, 1 + 3 + 5 + ... + [2(k + 1) 1] = (k + 1) , o que mostra a validade de P (k + 1) .
2
Exemplo: Prove que a equao a seguir verdadeira para todo n 1.
1 + 2 + 2 2 + ... + 2 n = 2 n +1 1
Novamente, vamos utilizar a induo para provar a validade da propriedade. Base de Induo - P(1) Verificamos que a propriedade vlida para n = 1. P(1) : 1 + 2 = 21+1 1 ou 3 = 2 2 1 Hiptese de Induo - P(k) Supomos que a propriedade vlida para n = k.
P(k ) : 1 + 2 + 2 2 + ... + 2 k = 2 k +1 1
Passo de Induo - P(k + 1) Provamos que a propriedade vlida para n = k + 1, ou seja, que:
P(k + 1) : 1 + 2 + 2 2 + ... + 2 k +1 = 2 ( k +1) +1 1

?
P(k + 1) = 1 + 2 + 2 2 + ... + 2 k +1 = 1 + 2 + 2 2 + ... + 2 k + 2 k +1 = 2 k +1 1 + 2 k +1 = 2 2 k +1 1 = 2 k +1+1 1

Portanto, 1 + 2 + 2 + ... + 2 k + = 2 demonstrao.
2 1 ( k +1) +1 HI
( )
1 , o que mostra que P(k + 1) vlida, concluindo a n (n + 1) . 2
Exemplo: Prove que, para qualquer inteiro positivo n, 1 + 2 + 3 + ... + n = Base de Induo - P(1) Verificamos que a propriedade vlida para n = 1.
43
P(1) : 1 =
1 (1 + 1) 2
P(k ) : 1 + 2 + 3 + ... + k =
k (k + 1) 2
Passo de Induo - P(k + 1) Provamos que a propriedade vlida para n = k + 1.
P(k + 1) : 1 + 2 + 3 + ... + (k + 1)=

?
(k + 1) [(k + 1) + 1]
2
P(k + 1) = 1 + 2 + 3 + ... + (k + 1) = 1 + 2 + 3 + ... + k + (k + 1) = k (k + 1) + (k + 1) = 2 k (k + 1) + 2 (k + 1) = 2 (k + 1) (k + 2) =

HI
(k + 1) [(k + 1) + 1]
2
Nem todas as demonstraes por induo envolvem somas. Veja os exemplos a seguir. Exemplo: Prove que, para qualquer inteiro positivo n, 2 n > n . Base de Induo - P(1) Verificamos que a propriedade vlida para n = 1.
P(1) : 21 > 1
P(k ) : 2 k > k
P(k + 1) : 2 k +1 > k + 1
?
2 k +1 = 2 2 k
k 2 = k + k k + 1 >
HI 1 Portanto, 2 k + > k + 1 . 2 Exemplo: Prove que, para qualquer inteiro positivo n, 2 n 1 divisvel por 3.
44
Base de Induo - P(1) Verificamos que a propriedade vlida para n = 1. P(1) : 2 21 1 = 4 1 = 3 divisvel por 3 Hiptese de Induo - P(k) Supomos que a propriedade vlida para n = k. P(k ) : 2 2 k 1 divisvel por 3, ou seja, que 2 2 k 1 = 3m e que, portanto, 2 2 k = 3m + 1 Passo de Induo - P(k + 1) Provamos que a propriedade vlida para n = k + 1. P(k + 1) : 2 2 (k +1) 1 divisvel por 3?
2 2(k +1) 1 = 2 2k +2 1 = (2 2 2 2 k ) 1 = 2 2 (3m + 1) 1 = 12m + 4 1 = 12m + 3 = 3 (4m + 1)

HI
2 Exemplo: Prove que n > 3n para n 4 .
P(4) : 4 2 = 16 > 12 = 3 4
P(k ) : k 2 > 3k , k 4
P(k + 1) : (k + 1) > 3 (k + 1)
2 ?
(k + 1)2
=
HI
k 2 + 2k + 1 > 3k + 2k + 1 3k + 8 + 1 > 3k + 3 = 3 (k + 1)
(pois k 4 )
1 Exemplo: Prove que 2 n + < 3 n para todo n > 1 .
45
P(2) : 2 2+1 = 8 < 9 = 3 2

P(k ) : 2 k +1 < 3 k , k > 1
P(k + 1) : 2 ( k +1)+1 < 3 ( k +1)

? k +1 2 ( k +1)+1 = 2 2 <k 2 < 3 k 3 = 3 k +1 3
HI
46
9
9.1
RECURSO E RELAES DE RECORRNCIA

Definies Recorrentes
Uma definio onde o item definido aparece como parte da definio chamada de definio por recorrncia, ou definio recorrente, ou ainda definio por induo. Uma definio recorrente formada por duas partes: 1. Base ou condio bsica, onde algum(s) caso(s) simples do item que est sendo definido dado explicitamente. 2. Um passo de induo ou recorrncia, onde novos casos do item que est sendo definido so dados em funo de casos anteriores. A parte 1 da definio nos permite comear, fornecendo alguns casos simples e concretos. A parte 2 nos permite construir novos casos, a partir destes mais simples e assim por diante. Da o nome definio por induo, devido analogia com as demonstraes por induo.
9.2
Seqncias Definidas por Recorrncia
Uma seqncia S uma lista de objetos numerados em determinada ordem. Existe um primeiro objeto, um segundo objetos, e assim por diante. S(k) denota o k-simo objeto da seqncia. Uma seqncia definida por recorrncia nomeando-se o primeiro valor da seqncia e depois definindo os valores subseqentes na seqncia em termos de valore anteriores. Exemplo: A seqncia S definida por recorrncia por 1. S(1) = 2 2. S(n) = 2S(n - 1) para n 2 Assim, o primeiro valor da seqncia 2; o segundo valor da seqncia S(2) = 2S(2-1) = 2S(1) = 2 2 = 4; o terceiro valor da seqncia S(3) = 2S(2) = 2 4 = 8; e assim por diante. Continuando a seqncia, temos 2, 4, 8, 16, 32, ... Exemplo: Escreva os cinco primeiro valores da seqncia T, tal que: 1. T(1) = 1 2. T(n) = T(n - 1) + 3, para n 2 1, 4, 7, 10, 13 Seqncia de Fibonacci: uma seqncia introduzida pelo matemtico italiano Fibonacci e definida por recorrncia da seguinte forma: F(1) = 1 F(2) = 1 F(n) = F(n 2) + F(n 1), para n 2 Traduzindo, qualquer valor da seqncia de Fibonacci, exceto os dois primeiros, dado pela soma de seus dois valores anteriores.
47
Por exemplo, podemos escrever os dez primeiros nmeros da seqncia de Fibonacci, utilizando a sua definio por recorrncia: 1, 1, 2, ,3 ,5, 8, 13, 21, 34, 55 Exemplo: Prove que, na seqncia de Fibonacci, F(n + 4) = 3F(n +2) F(n), para todo n 1. Podemos provar essa frmula diretamente, sem utilizar induo matemtica, usando apenas a relao de recorrncia na definio dos nmeros de Fibonacci. A relao de recorrncia F(n + 2) = F(n) + F(n + 1) pode ser reescrita na forma F(n + 1) = F(n + 2) - F(n). Logo, podemos utiliz-la para provar a frmula:
F (n + 4) = F (n + 3) + F (n + 2) = F (n + 2) + F (n + 1) + F (n + 2) =

F ( n + 3)
F (n + 2) + F (n + 2) F (n) + F (n + 2) =
( n +1) F 3F (n + 2) F (n)
48
10 ESTRUTURAS ALGBRICAS
O estudo de lgebra est diretamente relacionado ao estudo de operaes. Portanto, iniciaremos este captulo estudando operaes e suas propriedades.
10.1 Operaes
Operaes Binrias: so operaes cujo domnio um conjunto resultante de um produto cartesiano. Podemos defini-la como uma funo parcial do tipo:
: A B C
Operaes Internas: operaes internas a um conjunto A so operaes cujo domnio e contradomnio so definidos sobre um mesmo conjunto A. Uma operao binria interna ao conjunto A uma operao do tipo:
: A A A
Operaes Fechadas: uma operao fechada uma operao total, ou seja, uma funo. Em outras palavras, uma operao definida para todo x A A e cujo resultado pertence a A. Exemplos: a) A operao de diviso nos nmeros reais diviso : R R R uma operao binria interna a R, definida como segue:
diviso( x, y ) :
x y
b) A operao quadrado nos nmeros naturais quadrado : , definida como segue, uma operao interna e fechada:
quadrado(n ) : n 2
c)
A operao unio : P ( A) P ( A) P ( A) , para um dado conjunto A, uma operao binria interna e fechada.
10.2 Propriedade das Operaes Binrias

As principais propriedades das operaes binrias internas e fechadas so: comutativa, associativa, elemento neutro e elemento inverso, que sero detalhadas a seguir. Propriedade Associativa: Seja : A A A uma operao binria interna e fechada e x, y, z elementos quaisquer de A. Ento, a operao associativa se:
(x )(y )(z )[x ( y z ) = (x y ) z ]

Propriedade Comutativa: Seja : A A A uma operao binria interna e fechada e x, y elementos quaisquer de A. Ento, a operao comutativa se:
(x )(y )(x y = y x )
Elemento Neutro: Seja : A A A uma operao binria interna e fechada e x elemento qualquer de A. Ento, a operao tem elemento neutro se:
(e)(x )(x e = e x = x )
49
Elemento Inverso: Seja : A A A uma operao binria interna e fechada e x elemento qualquer de A. Ento, a operao tem elemento inverso se:
(x )(x 1 )(x x 1 = x 1 x = e)
Exemplos: a) A operao de unio : P ( A) P ( A) P ( A) satisfaz as propriedades comutativa, associativa e elemento neutro (conjunto vazio). b) A operao de adio nos nmeros naturais + : satisfaz as propriedades comutativa, associativa e elemento neutro (zero). c) A operao de adio nos nmeros inteiros + : , alm de satisfazer as propriedades comutativa, associativa e elemento neutro (zero) satisfaz tambm a propriedade elemento inverso, j que, para qualquer inteiro n, basta tomar n como elemento inverso, ou seja:
n + ( n ) = n + n = 0
10.3 Grupides
Um grupide uma lgebra interna (operao binria interna) cuja operao interna fechada. Seja : A A A uma operao binria e interna. Se a operao for fechada, ento A, um grupide. Se, adicionalmente, a operao for comutativa, ento Abeliano. Exemplos: * * * a) Seja um alfabeto no-vazio. A operao de concatenao : fechada, mas no comutativa. Portanto, * , um grupide. b) Seja A um conjunto. As operaes de unio e interseo, : P ( A) P ( A) P ( A) e : P( A) P( A) P( A) respectivamente, so fechadas e comutativas. Portanto,
A, um Grupide
P( A), e P( A), so grupides abelianos.

c) As seguintes operaes so grupides abelianos: ,+ e ,
,+ e , R,+ e R,
d) As seguintes operaes no so grupides: , -
R ,
10.4 Semigrupos
Um semigrupo um grupide cuja operao interna associativa. Portanto, uma lgebra cuja operao fechada e associativa.
50
Seja : A A A um grupide. Se A, for associativa, ento A, um semigrupo. Se, adicionalmente, a operao for comutativa, ento A, um Semigrupo Abeliano. Exemplos: a) A operao de concatenao : fechada e associativa. Portanto, * ,
* * *
um semigrupo. b) As
: P( A) P( A) P( A) unio e interseo, e : P( A) P( A) P( A) respectivamente, so fechadas, associativas e comutativas.

operaes de
Portanto, P ( A), e P ( A), so semigrupos abelianos. c) As seguintes operaes so semigrupos abelianos: ,+ e ,
,+ e , R,+ e R,
d) As seguintes operaes no so semigrupos: , -
, R {0}
10.5 Monides
Um monide um semigrupo cuja operao possui elemento neutro. Portanto, um semigrupo , simultaneamente, fechado, associativo e possui elemento neutro. Seja A, um semigrupo. Se : A A A possui elemento neutro, ento A,, e um monide. Se, adicionalmente, a operao for comutativa, ento Abeliano. Exemplos: a) As operaes
A,, e
um Monide
: P( A) P( A) P( A) unio e interseo, e : P( A) P( A) P( A) respectivamente, so fechadas, associativas, comutativas e

de
possuem elemento neutro. Portanto, abelianos.
P( A),,
P( A),, A
so monides
b) As seguintes operaes so monides abelianos: ,+,0 e ,,1 c)
,+,0 e ,,1 R,+,0 e R,,1

A operao de concatenao * , e um semigrupo e possui elemento neutro (a palavra vazia ). Portanto, * ,, um monide.
51
10.6 Grupos
Um grupo um monide cuja operao possui elemento inverso. Portanto, um grupo uma operao que , simultaneamente, fechada, associativa, possui elemento neutro e elemento inverso. Seja A, um monide. Se : A A A possui elemento inverso, ento A,, e um grupo. Se, adicionalmente, a operao for comutativa, ento A,, e um Grupo Abeliano. Exemplos: a) A operao
* R+ ,
um grupo abeliano, pois uma operao fechada, associativa,
comutativa, possui elemento neutro 1 e elemento inverso. b) A operao R, no um grupo, pois no h nmero real x tal que:
0 x = x0 =1
Ou seja, o nmero 0 no possui elemento inverso! A tabela abaixo apresenta um resumo das estruturas algbricas estudadas e suas respectivas propriedades. Propriedades Elemento Neutro
Tipo de lgebra Grupide Semigrupo Monide Grupo
Fechada
Associativa
Elemento Inverso
Exemplo: Seja 2 ( ) o conjunto de todas as matrizes 2 2 com elementos inteiros. Para verificarmos se a operao 2 ( ),+ um grupo abeliano, precisamos verificar quais propriedades ela satisfaz: -
2 ( ),+ um grupo abeliano?
2 ( ),+ fechada, pois a adio de duas matrizes 2 2 uma matriz 2 2 . 2 ( ),+ associativa, pois a b e f i j a b e + i f + j c d + g h + k m = c d + g + k h + m a + (e + i ) b + ( f + j ) (a + e ) + i (b + f ) + j c + (g + k ) d + (h + m ) = (c + g ) + k (d + h ) + m = a b e f i j c d + g h + k m =
52
2 ( ),+ comutativa, pois a b e f a + e b + f e + a f + b e f a b c d + g h = c + g d + h = g + c h + d = g h + c d
0 0 2 ( ),+ possui elemento neutro: 0 0 4 3 2 ( ),+ possui elemento inverso. Por exemplo, a inversa da matriz a matriz 2 1 4 3 2 1 .
Portanto, 2 ( ),+ um grupo abeliano!
0 Exemplo: Seja 5 = { ,1,2,3,4}. Definimos a soma mdulo 5, denotada por + 5 , em 5 , como x + 5 y = r , onde r o resto da diviso de x + y por 5. Por exemplo: 1 +5 2 = 3 3 + 5 4 = 2 , pois 3 + 4 = 7 e o resto da diviso de 7 por 5 2.
A multiplicao mdulo 5 definida por x 5 y = r , onde r o resto da diviso de x y por 5. Por exemplo:
2 5 3 = 1 , pois 2 3 = 6 e o resto da diviso de 6 por 5 1. 3 5 4 = 2 , pois 3 4 = 12 e o resto da diviso de 12 por 5 2.

As seguintes tabelas definem + 5 e 5 em 5 :
+5
0 1 2 3 4
0 0 1 2 3 4
1 1 2 3 4 0
2 2 3 4 0 1
3 3 4 0 1 2
4 4 0 1 2 3
5
0 1 2 3 4
0 0 0 0 0 0
1 0 1 2 3 4
2 0 2 4 1 0
3 0 3 1 4 2
4 0 4 3 2 1
Podemos verificar que 5 ,+ 5 nas tabelas so elementos de 5 . Podemos tambm verificar que
e 5 , 5
so fechadas, pois todos os resultados verificados
5 ,+ 5
5 , 5
so comutativas, atravs das tabelas
construdas, pois esto espelhadas em torno da diagonal principal.
53
Ainda possvel verificar que 5 ,+ 5
e 5 , 5
so associativas. Entretanto, no podemos
verificar tal propriedade nas tabelas construdas.
5 ,+ 5 e 5 , 5 possuem elemento neutro: o elemento neutro de 5 ,+ 5 0 e o elemento

neutro de 5 , 5 1. Todos os elementos de 5 ,+ 5 possuem elemento inverso: o elemento inverso de 0 0; o elemento inverso de 1 4; o elemento inverso de 2 3; o elemento inverso de 3 2; o elemento inverso de 4 1;
Portanto, podemos afirmar que 5 ,+ 5 um grupo abeliano. Entretanto, nem todos os elementos de 5 , 5 um monide abeliano. possuem elemento inverso. Logo 5 , 5
54

Apostila Matematica 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

Apostila Matematica Discreta

Enviado por

Direitos autorais:

Formatos disponíveis

Universidade de Caxias do Sul Centro de Cincias Exatas e Tecnologia Departamento de Informtica

Caxias do Sul, julho de 2003.

5.1 5.2 5.3 5.4 5.5 5.6 5.7 6

INDUO MATEMTICA............................................................................................................41 8.1 PRIMEIRO PRINCPIO DE INDUO MATEMTICA ........................................................................41

10 10.1 10.2 10.3 10.4 10.5 10.6

Matemtica Discreta Mrcia Rodrigues Notare

TEORIA DOS CONJUNTOS

Alguns Conjuntos Importantes

Matemtica Discreta Mrcia Rodrigues Notare

A est contido propriamente em B B contm propriamente A

Matemtica Discreta Mrcia Rodrigues Notare

Exemplos: 0 - { ,1,2} = x x 0 x < 3 -

Matemtica Discreta Mrcia Rodrigues Notare

INTRODUO LGICA MATEMTICA

(l-se "no P")

Matemtica Discreta Mrcia Rodrigues Notare

Matemtica Discreta Mrcia Rodrigues Notare

(l-se "se P ento Q")

Tabelas-verdade para wffs

2. Construa a tabela-verdade para a frmula P Q. P V V F F Q V F V F

O operador principal dessa frmula o (veja: (P Q) (P Q)). Assim a coluna deste

5. Construa a tabela verdade para a frmula P P. P V F P V F

Matemtica Discreta Mrcia Rodrigues Notare

- Comutatividade: - Associatividade: - Distributividade: - Elemento Neutro: - Complementares: - DeMorgan:

(DeMorgan) (Distributividade) (Complemetar) (Comutatividade) (Elemento Neutro)

Matemtica Discreta Mrcia Rodrigues Notare

A relao de incluso transitiva, ou seja:

Sejam A e B conjuntos. A unio dos conjuntos A e B, denotada por A B , como segue:

Matemtica Discreta Mrcia Rodrigues Notare

(definio de unio) (idempotncia do conectivo )

Matemtica Discreta Mrcia Rodrigues Notare

(definio de unio) (comutatividade do conectivo ) (definio de unio)

Sejam A e B conjuntos. A interseo dos conjuntos A e B, denotada por A B , como segue:

Suponha o conjunto universo U. O complemento de um conjunto A U, denotado por ~ A , como segue:

Matemtica Discreta Mrcia Rodrigues Notare

Sejam A e B conjuntos. A diferena entre os conjuntos A e B, denotada por A B , como segue:

Matemtica Discreta Mrcia Rodrigues Notare

Conjunto das Partes

Matemtica Discreta Mrcia Rodrigues Notare

Exemplos: Dados os conjuntos A = {a}, B = {a, b} e C = {0, 1, 2}, temos que: A B = a, a , a, b -

a, a ,1 , a, a ,2 , a, b ,0 , a, b ,1 , a, b ,2 a, a,1 , a, a,2 , a, b,0 , a, b,1 , a, b,2

b) Distributividade sobre a Interseo: A (B C ) = (A B ) (A C )

Relao de Igualdade de A em A: Relao "menor" de C em C:

{ 0,1 , 0,2 , 1,2 } Relao de C em B: { 0, a , 1, b }

C , < = { 0,1 , 0,2 , 1,2 }

A seguir, algumas definies referentes ao conceito de relao:

Matemtica Discreta Mrcia Rodrigues Notare

a, b R : dizemos que R est definida para a e que b a imagem de a.

C , < = { 0,1 , 0,2 , 1,2 } 4.3 Relao como Matriz

R : C C tal que R = { 0,2 , 2,0 , 2,2

Matemtica Discreta Mrcia Rodrigues Notare

R : C C tal que R = { 0,2 , 2,0 , 2,2

Propriedades das Relaes

Sejam A um conjunto e R uma endorrelao em A. R uma relao reflexiva se:

Matemtica Discreta Mrcia Rodrigues Notare

P( A), , pois para a relao "est contido propriamente" os conjunto precisam se

A, R , se R = { 0,1 , 1,2 , 2,1 }, pois no h nenhum elemento do tipo a, a

Exemplo de relao nem reflexiva, nem irreflexiva: - A, S , se S = 0,2 , 2,0 , 2,2

Matemtica Discreta Mrcia Rodrigues Notare

R = { 0,1 , 1,2 , 2,1 }

Sejam A um conjunto e R uma endorrelao. R uma relao simtrica se:

(a A)(b A)(aRb bRa )

Sejam A um conjunto e R uma endorrelao em A. R uma relao anti-simtrica se:

(a A)(b A)(aRb bRa a = b )

(a A)(b B )(c C )(aRb bSc a(R S )c )