ESTRUCTURAS MATEMATICAS DISCRETAS

Propiedades
Definiciones
Tipos de estructuras

Ing. Jos Benites Yarlequ 1

 Estructuras discretas

Definicin
Una estructura discreta es un objeto (conjunto, matrz) con
ciertas propiedades y operaciones que se realizan sobre ellos.
Ejemplos.

1.- (conjuntos, U) Coleccin de conjuntos con la operacion

de unin.

2.- (Matrices 2 x 2, +, *)Coleccin de matrices de 2 x2 con

las operaciones de adicin y multiplicacin de matrices.

Ing. Jos Benites Yarlequ 2

 Estructuras discretas

Propiedades
Cerradura
(Matrices 4x4, +) es cerrada respecto a la adicin
(enteros impares, +) no es cerrada repecto a la adicin,
porque la suma de 2 enteros impares es un entero par.

Conmutativa A * B = B * A
Asociativa A * (B * C) = (A * B) * C
Distributiva A * ( B . C) = (A * B) . (A * C)

Ing. Jos Benites Yarlequ 3

 Tipos de estructuras

Semigrupo
Un semigrupo es un conjunto no vaco S, junto con una
operacin binaria asociativa * definida en S.
Un semigrupo se denota como (S, *), el semigrupo (S,*) es
conmutativo si * es una operacin conmutativa. Ejemplos.

1.- (Z, +) Semigrupo conmutativo

2.- El conjunto P(S), donde P(S) es el conjunto potencia de S,

junto con la opracin de unin es un semigrupo conmutativo

Ing. Jos Benites Yarlequ 4

 Estructuras discretas

Definiciones
Elemento identidad
Un elemento e identidad de un semigrupo (S, *) es un
elemento identidad s.
e*a = a*e = a para toda a S

Ejemplos.
1.- Semigrupo (Z, +), el elemento 0 es una identidad
2.- Semigrupo (Z,+), no tiene elemento identidad

Ing. Jos Benites Yarlequ 5

 Estructuras discretas

Monoide
Un monoide es un semigrupo (S, *) que tiene una identidad

Ejemplo.
1.- Semigrupo P(S) (conjunto potencia de S) tiene la identidad
, porque

*A =UA =A=AU=A*

Para cualquier elemento A P(S) por lo tanto P(S) es un

monoide

Ing. Jos Benites Yarlequ 6

 Estructuras discretas

Grupo
Si G es un conjunto no vaco y es una operacin en G,
entonces (G, ) es un grupo si cumple las siguientes
condiciones.

1.- Para todos a, b G, ab G

2.- Para todo a, b, c G, a(b c) =(ab)c
3.-Existe e G tal que ae=ea=a para todo a G
4.- Para cada a G existe un elemento b G tal que
ab = ba = e

Ing. Jos Benites Yarlequ 7

 Estructuras discretas

Grupo
Ejemplo

Sea G el conjunto de los nmeros reales distintos de cero, y

sea .
a*b = ab/2

Mostrar que (G, *) es un grupo Abeliano

Ing. Jos Benites Yarlequ 8

 Estructuras discretas

Grupo Abeliano
Sea (G, ) un grupo, s ab=ba para todos a, b G, entonces
G es un grupo conmutativo o Abeliano (en honor al
matemtico noruego Niels Henrik Abel: 1802 1829)

Orden de un grupo
Para cualquier grupo G, el nmero de elemntos de G es el
orden de G que se denota con G.
Cuando el nmero de elementos de un grupo no es finito. Se
dice que G tiene orden infinito.

Ing. Jos Benites Yarlequ 9

 Estructuras discretas

Grupo aditivo
Para n Z, n>1, tenemos que (Zn, +) es un Grupo Abeliano.
Par n=6 se tiene.

Ing. Jos Benites Yarlequ 10

 Estructuras discretas

Grupo multiplicativo

Ing. Jos Benites Yarlequ 11

 Estructuras discretas

Teoremas

Ing. Jos Benites Yarlequ 12

Ing. Jos Benites Yarlequ 13
Ing. Jos Benites Yarlequ 14
 Subgrupo
Definicin
Sea (G, ) un grupo y H G se dice que H es un
subgrupo de G, si H con la operacin definida sobre G es
por s mismo un grupo.
Ejemplo.
Grupo : ( Z 6 ,+), Subgrupo : H = {0, 2, 4}
Teorema1
S (G, ) es un grupo y H G , (H, o) es subgrupo de G
S y slo S.
1) La identidad e de G pertenece a H
2) Para todo a, b H a o b H
3) Para todo a H a H

Ing. Jos Benites Yarlequ 15

 Subgrupo
Ejemplo1
Sea (Z, +) el grupo aditivo de enteros.
Y H = {x Z / x es entero par}, sobre H se define la edicin
usual de enteros, probar que H es subgrupo de (Z, +)
Ejemplo2
Sea G={0, 1, 2, 3} y (G, o) un grupo definido en la tabla
Y sea S = { 0, 1, 2}, Es (S, o) subgrupo de (G, o)?
o 0 1 2 3
0 0 1 2 3
1 1 2 3 0
2 2 3 0 1
3 3 0 1 2
Ing. Jos Benites Yarlequ 16
 Subgrupo
Sea G={e, a, b, c, .} un grupo (G, o)

Subgrupos impropios
H={e} y G

Sunbrupos propios
Cualquier otro subgrupo de G

Ejemplo
Si G = {1, -1, I, -I } es un grupo multiplicativo
Subgrupo H = { 1, -1}

Ing. Jos Benites Yarlequ 17

 Homomorfismo e Isomorfismo
Homomorfismo
Sean (G, o) y (H, *) dos semigrupos y una funcin definida
para todo punto.
f: G H, es un Homomorfismo de (G, o) en (H, *) s para
todos a, b G, f(a o b) = f(a) * f(b)

Isomorfismo
Sean (G, o) y (H, *) dos semigrupos.
Si f: (G, o) (H, *) es un Homomorfismo, f es un Isomorfismo
si es inyectiva y sobre. En este caso , G y H son semigrupos
Isomorfos.
GH

Ing. Jos Benites Yarlequ 18

 Homomorfismo e Isomorfismo

Para mostrar que los semigrupos (S, o) y (T, *) som Isomorfos

se puede seguir el siguiente procedimiento:

1.-Se define la funcin

f: S T con Dom (f) = S

2.- Se muestra que es Biunvoca (inyectiva y sobre)

3.- Se muestra que f(a o b) = f(a) * f(b)

Ing. Jos Benites Yarlequ 19

 Homomorfismo e Isomorfismo

Ejemplo
Sea T el grupo de todos los enteros pares. Mostrar que los
semigrupos (Z, +) y (T, +) son Isomorfos.

Ing. Jos Benites Yarlequ 20

 Grupo producto

Sean (G, o) y (H, *) grupos. Se define la operacin binaria en

GxH como (g1, h1). (g2, h2) = (g1 o g2, h1*h2). Entonces
(GxH, .) es un grupo producto de G y H.
Ejemplo.

Ing. Jos Benites Yarlequ 21

Ing. Jos Benites Yarlequ 22