Escolar Documentos
Profissional Documentos
Cultura Documentos
F UNDAMENTOS DE
M ATEMÁTICA D ISCRETA
PARA A C OMPUTAÇÃO
7.2) Semigrupos
7.4) Grupos
Notação:
mas o usual é a ∗ b
Defina a ∗ b como a + b.
Defina a ∗ b como a − b.
por exemplo, 2 ∗ 5 ∈
/A
∗ a1 a2 ... aj ... an
a1
a2
...
ai ai ∗ aj
...
an
∨ 0 1 ∧ 0 1
0 0 1 0 0 0
1 1 1 1 0 1
∗ a b
a
b
a∗b=b∗a ∀a, b ∈ A
2 − 3 6= 3 − 2
∗ a b c d ∗ a b c d
a a c b d a a c b d
b b c b a b c d b a
c c d b c c b b a c
d a a b b d d a c d
a ∗ (b ∗ c) = (a ∗ b) ∗ c ∀a, b, c ∈ A
2 − (3 − 5) 6= (2 − 3) − 5
Também é idempotente: a ∧ a = a.
Exemplo:
Exemplo (cont.):
antissimétrica: se a ≤ b e b ≤ a, então:
· a=a∗b=b∗a=b
transitiva: se a ≤ b e b ≤ c, então:
· a = a ∗ b = a ∗ (b ∗ c) = (a ∗ b) ∗ c = a ∗ c
Exemplo (cont.):
2) Mostrando que a ∗ b = a ∧ b:
temos que: a ∗ b = a ∗ (b ∗ b) = (a ∗ b) ∗ b
· de modo que: a ∗ b ≤ b
· similarmente: a ∗ b ≤ a
· conclusão: a ∗ b é uma cota inferior para a e b
agora, se c ≤ a e c ≤ b:
· c=c∗a e c=c∗b
· portanto: c = (c ∗ a) ∗ b = c ∗ (a ∗ b)
· de modo que: c ≤ a ∗ b
· conclusão: a ∗ b é a maior cota superior de a e b.