Escolar Documentos
Profissional Documentos
Cultura Documentos
Apostilamat PDF
Apostilamat PDF
Matemtica Discreta
Mrcia Rodrigues Notare
NDICE
1
RELAO DE PERTINNCIA............................................................................................................4
ALGUNS CONJUNTOS IMPORTANTES..............................................................................................4
RELAO DE INCLUSO ................................................................................................................5
IGUALDADE DE CONJUNTOS ..........................................................................................................6
PERTINNCIA X INCLUSO .............................................................................................................6
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
CARDINALIDADE DE CONJUNTOS..........................................................................................38
7.1
7.2
7.3
INDUO MATEMTICA............................................................................................................41
8.1
10
10.1
10.2
10.3
10.4
10.5
10.6
Matemtica Discreta
Mrcia Rodrigues Notare
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
O Conjunto Vazio um conjunto que no possui elementos e pode ser denotado por ou { }.
Ainda temos:
Matemtica Discreta
Mrcia Rodrigues Notare
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
- * = {}
Aplicaes na Computao
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
Relao de Incluso
ou que
A B
BA
B contm propriamente A
Matemtica Discreta
Mrcia Rodrigues Notare
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
Dois conjuntos A e B so ditos iguais se, e somente se, possuem os mesmos elementos, ou seja:
A = B ( A B B A)
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
Matemtica Discreta
Mrcia Rodrigues Notare
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
2.1.1
Negao
ou
~P
Matemtica Discreta
Mrcia Rodrigues Notare
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
2.1.3
Q
V
F
V
F
P Q
V
F
F
F
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
2.1.4
Q
V
F
V
F
P Q
V
V
V
F
Condicional (Implicao)
O condicional falso se seu antecedente for verdadeiro e seu conseqente for falso. Caso
contrrio, ele verdadeiro. denotado por:
PQ
(P Q)
Matemtica Discreta
Mrcia Rodrigues Notare
2.1.5
Bicondicional
2.2
Frmulas Bem-Formadas
2.3
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:
P.
F
V
V
F
P
V
F
Q
V
F
V
F
P
F
F
V
V
V
F
V
V
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:
Matemtica Discreta
Mrcia Rodrigues Notare
Q
V
F
V
F
P
V
V
F
F
V
V
V
F
Q
V
F
V
F
F
V
V
F
F
V
V
V
P
V
V
F
F
V
F
F
F
Q
V
F
V
F
P
V
F
P
V
V
F
V
P
V
F
P
F
F
F
V
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
PQ
A seguir, exemplos de algumas equivalncias tautolgicas importantes, onde 1 representa uma
tautologia e 0 representa uma contradio:
Matemtica Discreta
Mrcia Rodrigues Notare
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
Aplicaes na Computao
(DeMorgan)
(Distributividade)
(Complemetar)
(Comutatividade)
(Elemento Neutro)
2.5
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?
-
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!
Matemtica Discreta
Mrcia Rodrigues Notare
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
O conjunto A = {a, b, c}
B
A
AB
U
SU
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}
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.
Matemtica Discreta
Mrcia Rodrigues Notare
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}
-
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 )
Matemtica Discreta
Mrcia Rodrigues Notare
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)
(definio de unio)
(definio de unio)
(associatividade do conectivo )
(definio de unio)
(definio de unio)
3.2
Operao de Interseo
A B = {x x A x B}
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.
Matemtica Discreta
Mrcia Rodrigues Notare
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.
-
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}
Matemtica Discreta
Mrcia Rodrigues Notare
16
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}
-
3.3.1
Propriedades de DeMorgan
a) ~(A B) = ~A ~B
b) ~(A B) = ~A ~B
3.4
(definio de complemento)
A B = ~(~A ~B)
A B = ~(~A ~B)
Operao de Diferena
A B = {x x A x B}
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.
Matemtica Discreta
Mrcia Rodrigues Notare
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}
-
3.5
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 ) .
Matemtica Discreta
Mrcia Rodrigues Notare
18
A B = { a, b a A b B}
2
Denotamos o produto cartesiano de um conjunto A por ele mesmo como A A = A .
{
}
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 =
2 =
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
}
}
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 )
3.7
Unio Disjunta
A + B = { a, A a A} { b, B b B}
A + B = {a A a A} {bB b 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}
Matemtica Discreta
Mrcia Rodrigues Notare
19
4
4.1
RELAES
Relao Binria
a, b R , podemos
Relao de Igualdade de A em A:
Relao "menor" de C em C:
{ a, a }
: P( B) P( B)
: C C
=: A A
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
par a, b de R : A B
1
2
Matemtica Discreta
Mrcia Rodrigues Notare
20
a)
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
a
a
b
= : B B = { a, a , b, b
: A A
0
1
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).
Matemtica Discreta
Mrcia Rodrigues Notare
21
a
0
=
a
b
a
1
0
b
0
1
<
0
1
2
0
0
0
0
1
1
0
0
2
1
1
0
R
0
1
2
0
0
0
1
1
0
0
0
2
1
0
1
: A A
A B
a
1
a
S
0
1
2
a
1
0
0
B, =
C, <
A B = A B
b
1
S = { 0, a , 1, b }: C B
b
0
1
0
{a}
1
0
4.4
{a}
1
1
{b}
1
0
{a, b}
1
1
: P( A) P( B)
4.4.1
Relao Reflexiva
(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
-
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
Matemtica Discreta
Mrcia Rodrigues Notare
22
possui uma aresta com origem e destino nele mesmo. 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
A, =
=
0
1
2
0
1
0
0
1
0
1
0
2
0
0
1
(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
-
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
Matemtica Discreta
Mrcia Rodrigues Notare
23
0
0
0
0
R
0
1
2
1
1
0
1
2
0
1
0
4.4.3
Relao Simtrica
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
A, =
=
0
1
2
0
1
0
0
1
0
1
0
2
0
0
1
4.4.4
Relao Anti-Simtrica
Matemtica Discreta
Mrcia Rodrigues Notare
24
X,=
P( X ), =
: X X
, R , se R =
{ x, y
2 y = x2
R
0
1
2
0
1
0
0
1
0
1
0
2
0
1
0
4.4.5
Relao Transitiva
, <
P( X ),
P( X ),
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 )
Matemtica Discreta
Mrcia Rodrigues Notare
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
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
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, b Fecho {transitiva}(R )
a, c Fecho {transitiva}(R ) .
b, c Fecho {transitiva}(R ) ,
ento
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.
Matemtica Discreta
Mrcia Rodrigues Notare
26
P( ),
+ , x _ divide _ y
A, R um conjunto
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
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:
- Dada a relao de ordem P ({1,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.
Matemtica Discreta
Mrcia Rodrigues Notare
27
12
18
6
que
conjunto
dado
pela
temos
{ a, a ,
a, b , a, c , a, d , a, e , b, b , c, c , d , d , d , e , e, e , f , f }.
relao
4.6.1
Elemento Mnimo
de
ordem
4.6.2
(a A)(mRa )
Elemento Minimal
4.6.3
(a A)( a, m
R)
Elemento Mximo
4.6.4
(a A)(aRm)
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;
Matemtica Discreta
Mrcia Rodrigues Notare
28
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, R , se A = {0, 1} e aRb a = b 2
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}
Matemtica Discreta
Mrcia Rodrigues Notare
29
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}
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.
(x y ) + ( y z ) = x z
4.8
Relao Inversa
Matemtica Discreta
Mrcia Rodrigues Notare
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 ,
-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
< 1 => : C C
< :C C
4.9
Composio de Relaes
R $ S = { a , c b B a , b R b , c S }
R $ S = { a, x , d , y , d , z
R S
A
a
C
S
b
c
d
(T $ S ) $ R = T $ (S $ R ) = T $ S $ R
Matemtica Discreta
Mrcia Rodrigues Notare
31
4.9.1
A composio de relaes pode ser vista como o produto de matrizes. Veja o exemplo a seguir.
}e
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
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,
temos
composio
R $ S = a, a , a, b , b, c .
que
R S
dada
Matemtica Discreta
Mrcia Rodrigues Notare
pela
matriz
R S , ou seja,
32
TIPOS DE RELAES
5.1
Relao Funcional
Uma relao binria R: A B uma relao funcional se, e somente se:
A
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
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.
Matemtica Discreta
Mrcia Rodrigues Notare
33
B
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
B
1
1
2
2
3
5.4
Relao Sobrejetora
(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.
Matemtica Discreta
Mrcia Rodrigues Notare
34
B
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
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.
Matemtica Discreta
Mrcia Rodrigues Notare
35
R 1 : B A = { e, a , f , b , g , c }, temos que
R $ R 1 = { a, a , b, b , c, c } = idA
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.
Matemtica Discreta
Mrcia Rodrigues Notare
36
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
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:
-
Para que a relao inversa de uma funo f seja uma funo, f deve ser uma funo bijetora.
Matemtica Discreta
Mrcia Rodrigues Notare
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
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.
se a 0 , ento f (a ) = 2a
se a < 0 , ento f (a ) = 2a 1
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:
Matemtica Discreta
Mrcia Rodrigues Notare
38
7.2
# 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
Matemtica Discreta
Mrcia Rodrigues Notare
39
B = {a A a g (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
Ento,
existe
uma
funo
bijetora
f : .
Seja
f (1) = a1 , f (2 ) = a 2 , f (3) = a3 ,... , isto , I = {a1 , a 2 , a 3 ,...}. Vamos listar seus elementos em
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 ...
...
1
yi =
2
se xii 1
se xii = 1
Portanto, b . Mas
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.
Matemtica Discreta
Mrcia Rodrigues Notare
40
INDUO MATEMTICA
Voc est subindo uma escada infinitamente alta. Como saber se ser capaz de chegar a um
degrau arbitrariamente alto?
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
Descendentes
2 = 21
4 = 22
3
...
8 = 23
...
Matemtica Discreta
Mrcia Rodrigues Notare
41
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
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
Suponha P (k )
Passo 2
Prove P (k + 1)
Passo 3
Vejamos mais alguns exemplos:
Exemplo: Prove que a equao a seguir verdadeira para qualquer inteiro positivo n.
1 + 3 + 5 + ... + (2n 1) = n 2
P(1) : 1 = 12
Matemtica Discreta
Mrcia Rodrigues Notare
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.
HI
k 2 + [2(k + 1) 1] =
k 2 + (2k + 2 1) =
k 2 + 2k + 1 =
(k + 1)2
Portanto, 1 + 3 + 5 + ... + [2(k + 1) 1] = (k + 1) , o que mostra a validade de P (k + 1) .
2
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
P(k + 1) = 1 + 2 + 2 2 + ... + 2 k +1 =
HI
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
( k +1) +1
n (n + 1)
.
2
Matemtica Discreta
Mrcia Rodrigues Notare
43
P(1) : 1 =
1 (1 + 1)
2
P(k ) : 1 + 2 + 3 + ... + k =
k (k + 1)
2
(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.
Matemtica Discreta
Mrcia Rodrigues Notare
44
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 .
Matemtica Discreta
Mrcia Rodrigues Notare
45
k +1
2 ( k +1)+1 = 2 2
3 k 2 < 3 k 3 = 3 k +1
<
HI
Matemtica Discreta
Mrcia Rodrigues Notare
46
9
9.1
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
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.
Matemtica Discreta
Mrcia Rodrigues Notare
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) =
F ( n +1)
3F (n + 2) F (n)
Matemtica Discreta
Mrcia Rodrigues Notare
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
quadrado(n ) : n 2
c)
(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 )
Matemtica Discreta
Mrcia Rodrigues Notare
49
(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)
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
A, um Grupide
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,
,+ e ,
R,+ e R,
R ,
10.4 Semigrupos
Um semigrupo um grupide cuja operao interna associativa. Portanto, uma lgebra cuja
operao fechada e associativa.
Matemtica Discreta
Mrcia Rodrigues Notare
50
um semigrupo.
: P( A) P( A) P( A)
unio
e
interseo,
e
: P( A) P( A) P( A) respectivamente, so fechadas, associativas e comutativas.
b) As
operaes
de
,+ e ,
R,+ e R,
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
A,, e
um Monide
Abeliano.
Exemplos:
a) As
operaes
: P( A) P( A) P( A)
unio
e
interseo,
e
: P( A) P( A) P( A) respectivamente, so fechadas, associativas, comutativas e
de
P( A),,
P( A),, A
so monides
abelianos.
b) As seguintes operaes so monides abelianos:
,+,0 e ,,1
-
,+,0 e ,,1
R,+,0 e R,,1
c)
Matemtica Discreta
Mrcia Rodrigues Notare
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+* ,
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.
Tipo de lgebra
Grupide
Semigrupo
Monide
Grupo
Fechada
Associativa
Propriedades
Elemento Neutro
Elemento Inverso
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
Matemtica Discreta
Mrcia Rodrigues Notare
52
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 .
+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
0
1
2
3
4
e 5 , 5
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
5 ,+ 5
5 , 5
Matemtica Discreta
Mrcia Rodrigues Notare
53
e 5 , 5
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;
um monide abeliano.
Matemtica Discreta
Mrcia Rodrigues Notare
54