Matematicas Discretas

1
Universidad de Guadalajara

Centro Universitario de los Valles

Gua / Antologa

2001
Curso:

Matemtica
s

2


Gua / Antologa

2001
Curso:

Matemtica
s
Contenidos

LCP. Sandra Gutirrez Olvera
cesarcm@cuvalles.udg.mx
Supervisin Tcnica
Pedaggica

Dr. Vctor Manuel Rosario
Muoz
Lic. Gustavo Castro Garca

Edicin

Centro de Autoedicin de CU
VALLES
Ing. Cesar Caldern Mayorga
3
Directorio

Dr. Vctor Manuel Gonzlez Romero
Rector General de la
Universidad de Guadalajara.

Dr. Misael Gradilla Damy
Vicerrector Ejecutivo de la
Universidad de Guadalajara.

Lic. Jos Trinidad Padilla Lpez.
Secretario General de la

Dr. Adolfo Espinosa de los Monteros Crdenas
Coordinador Ejecutivo del

Dr. Vctor Manuel Rosario Muoz
Secretario Acadmico del

4
CONTENIDOS.

1. INDUCCIN MATEMTICA

1.1 El principio del buen orden
1.2 Primer y segundo principios de induccin
1.3 Principio de inclusin y exclusin

2. PRINCIPIOS DE CONTEO

2.1 Reglas de la suma y el producto
2.2 Permutaciones y combinaciones
2.2.1 Permutaciones
2.2.2 Combinaciones
2.3 Permutaciones y combinaciones generalizadas

3. RELACIONES DE RECURRENCIA.

3.1 Relaciones de recurrencia
3.2 Solucin de relaciones de recurrencia
3.3 Soluciones homogneas de relaciones de
recurrencia
3.4 Soluciones particulares de relaciones de
recurrencia
3.5 Solucin por medio de funciones generatrices

4. GRAFOS.

4.1 Introduccin
4.2 Grafos dirigidos y no dirigidos.
4.3 Multigrafos y grafos pesados.
4.4 Paseos y circuitos
4.4.1 Eulerianos
4.4.2 Hamiltonianos
4.5 Grafos aplanables

5. ARBOLES Y CONJUNTOS DE CORTE

5.1 Arboles
5.2 Longitud de paseo y rboles enraizados
5.3 Prefijos codificados.
5.4 Arboles con bsqueda binaria
5.5 Arboles generadores y conjuntos de corte
5.6 Arboles generadores mnimos

6. RELACIONES

6.1 Conjuntos parcialmente ordenados
6.2 Ordenes especiales
6.3 Relaciones de equivalencia
5
6.4 Relaciones generales
6.5 Composicin de relaciones
6.6 La lattice de las particiones

7. GRUPOS Y ANILLOS.

7.1 Introduccin
7.2 Grupos y subgrupos
7.3 Generadores y evaluacin de potencias
7.4 Teorema de Lagrange
7.5 Grupos de permutaciones y Teorema de Burnside
7.6 Cdigos y cdigos de grupos
7.7 Homomorfismos, isomorfismos, automorfismos y
subgrupos normales
7.8 Anillos, dominios integrales y campos
7.9 Homomorfismo de anillos
7.10 Anillos polinomiales y cdigos cclicos

8. LGEBRA BOOLEANA

8.1 Lattices y sistemas algebraicos
8.2 Principio de dualidad
8.3 Propiedades bsicas de sistemas algebraicos
definidos por lattices
8.4 Lattices distributivas y complementarias
8.5 Lattices booleanas y lgebras booleanas
8.6 Unicidad de lgebras booleanas y expresiones
booleanas
8.7 Funciones booleanas
8.8 Clculo proposicional
8.9 Diseo e implementacin de redes digitales
8.10 Circuitos interruptores.

6
PRESENTACIN

Bienvenido a este nuevo ciclo y a este nuevo curso. El
material que ahora tienes a tu disposicin es el resultado de un gran
esfuerzo institucional por brindarte los apoyos y herramientas
necesarias para que tengas una formacin de calidad.

Este material forma parte del paquete de materiales
indispensables para el modelo educativo en el que te encuentras, el
cual ser de utilidad para esta asignatura y donde encontrars el
apoyo de tu asesor para su utilizacin y para el desarrollo del curso.

Es importante que tengas presente que debes ir ms all de lo
que aqu se te proporciona, es decir no debes dejar de lado el
investigar en las diferentes fuentes a las que tienes acceso.

El material est integrado por las siguientes partes:

- Actividades preliminares.
- Contenidos.
- Actividades de aprendizaje.
- Actividades integradoras.

Las cuales estn presentes en los ocho captulos de esta
asignatura y con las que ya has trabajado en el ciclo anterior.

Estamos concientes de que los procesos y sus materiales son
perfectibles; este caso no es la excepcin, por lo que las
experiencias que se vivan con este material nos sern de utilidad
para hacer las mejoras necesarias para futuras ediciones.

Seguramente vas a brindar tu mejor esfuerzo durante este
ciclo y ah estaremos para apoyarte. Una vez ms bienvenido.
7

ACTIVIDAD PRELIMINAR

Investiga todo lo relacionado con los nmeros enteros.

OBJETIVO

Afianzar las bases matemticas para las matemticas discretas, las
cuales son el fundamento de este curso.

1.1 EL PRINCIPIO DEL BUEN ORDEN.

Iniciaremos con el siguiente anlisis, si x, y Z, entonces x + y,
xy, x y Z. De ah que Z sea cerrado bajo las operaciones
binarias de suma, resta y multiplicacin, aunque tambin lo son los
conjuntos Q, R y C.

Respecto al orden Z est totalmente ordenado bajo <<>>, al
igual que Q y r. El mundo est lejos de ser continuo. En las reas de
las matemticas y computacin hay situaciones discretas en las que
el conjunto Z es el nico conjunto de nmeros que se puede
representar en una mquina. En Z se puede definir el conjunto de
los elementos positivos, o enteros como Z
+
= {x Z x > 0} = {x Z
x 1}. Cuando se intenta operar igual en Q y R , se halla que Q
+
=
{ x Z x > 0} y R
+
= { x Z x > 0}, pero no es posible
representar Q
+
o R
+
usando como en Z
+
.

El conjunto Z
+
es diferente de los conjuntos Q
+ y
R
+
en que
todo subconjunto no vaco X de Z
+
contiene un entero a X tal que
a x, para todo x X (es decir , X contiene un elemento mnimo).
Esto no es as para

Q
+
o R
+
, ya que no contienen elementos
mnimos, no hay nmero racional positivo ms pequeo ni un
nmero real positivo ms pequeo. Si se pudiera hallar, por ejemplo
un nmero racional positivo ms pequeo q, entonces como 0 < q/2
< q, resultara el nmero racional positivo ms pequeo q/2.

1
Captulo
Induccin
Matemtica

8
Estas observaciones dan lugar al principio del buen orden, el
cual expresa que cualquier subconjunto no vaco de Z contiene un
elemento ms pequeo, este principio constituye la base de la
induccin matemtica.

1.2 PRIMER Y SEGUNDO PRINCIPIOS DE INDUCCIN.

PRINCIPIO DE INDUCCIN FINITA O PRINCIPIO DE
INDUCCIN MATEMTICA.

Si P(n) es una proposicin matemtica(o un conjunto de
proposiciones) que incluye, una o ms veces el smbolo n,
representacin de un nmero entero positivo.
a) Si P(1) es verdadero, y
b) Si siempre que P(k) es verdadero para algn k Z
+
, la
veracidad de P(k + 1) est implicada por la veracidad de P(k),
entonces P(n) es verdadero para toda n Z
+
.

Demostracin: si P(n) es un a proposicin que cumple las
condiciones a y b anteriores y sea F = {t Z
+
P(t) es falso}.
Demustrese que F= 0.
Si F 0 entonces, por el principio del buen orden, F tiene un
elemento mnimo s. Como P(1) es verdadero, s 1, de modo que s >
1 y en consecuencia s 1 Z
+
.Con s 1 F, resulta que P(s 1)
es verdadero. As, por la condicin b, resulta que P(s 1) + 1 = P(s)
es verdadero, lo cual contradice que s F. Esta contradiccin
resulta de la suposicin de que F 0, por lo tanto F = 0.

En el siguiente ejemplo se aplica este principio:

n
I. Para cualquier n Z
+
, i = 1 + 2 + 3 + ... + n = (n) (n + 1) / 2.

i=1

demostracin: para n = 1, la proposicin P(1) es

n

i = 1 = (1)(1 + 1)/2, de tal forma que P(1) es verdadera y se
tiene un punto
i=1

de partida para inducir. Al suponer que el resultado es verdadero
para n = k, para alguna k Z
+
se quiere mostrar como la veracidad
de P(k) obliga a aceptar la veracidad de P(k + 1), para tener P(k +
1) es necesario mostrar que
n
i = (k + 1)(k + 2)
i=1
2

9
se procede de la siguiente forma:
k + 1 k

i = 1 + 2 + ... + k + (k + 1) = i + (k + 1) = Error! + (k + 1)
i=1 i=1

pues se supone la veracidad de P(k). Pero

Error! + (k + 1) = Error! + Error!= Error!

estableciendo la condicin b del teorema, en consecuencia de
acuerdo con el principio de induccin finita, P(n) es verdadera para
toa n Z
+
.

PRINCIPIO DE INDUCCIN FINITA- FORMA ALTERNATIVA.

Si denotamos mediante P(n) una proposicin matemtica (o un
conjunto de proposiciones) que incluyen un entero positivo n.

a) Si P(1) es verdadera y
b) Si P(k + 1) es verdadera, para k Z
+
siempre que P(1), P(2),
...,P(k) son verdaderas; entonces, P(n) es verdadera para toda n
Z
+
.

ACTIVIDAD DE APRENDIZAJE 1

I. Una rueda de la fortuna tiene pintados los nmeros del
1 al 36 al azar. Mustrese que, con independencia de
la colocacin de los nmeros, hay tres en sucesin
que suman 55 o ms.

II. Demustrese que para cualquier n Z
+
.
n

i
2
=(n)(n+1)(2n +1)/6

i = 1

III. Para n Z
+
, n > 10, prubese que,

2
N 2 < Error!

10

1.3 PRINCIPIO DE INCLUSIN Y EXCLUSIN.

Si S es un conjunto con N = S, y c
1
, c
2
,..., c
t
, una coleccin de
condiciones o propiedades que cumplen algunos o todos los
elementos de S. Ciertos elementos de S pueden cumplir ms de una
condicin, mientras que otros quiz no cumplen ninguna.
El nmero de elementos en S que cumplen la condicin c
i
se
representar con N(c
i
), 1 i t.
Aqu se cuentan los elementos de S que cumplen slo la condicin
c
i
, adems de aquellos que cumplen c
1
y otras condiciones c
j
, para j
i.
Si i, j {1, 2, 3, ..., t}, i j, se escribe N(c
i
c
j
) para expresar el
nmero de elementos de S que cumplen ambas condiciones, c
i
, c
j
, y
quizs algunas otras.
Si 1 i, j, y k t son tres enteros distintos, entonces N(c
i
c
j
c
k
)
denota el nmero de elementos en S que cumplen, quizs entre
otras, cada una de las condiciones c
i
, c
j
, y c
k.

Para 1 i t, N(c
i
)= N N(e
i
) denota el nmero de elementos
de S que no cumplen la condicin c
1
. Si 1 i, j t, i N(c
i
c
j
) =
nmero de elementos e S que no cumplen ninguna de las
condiciones c
i
o c
j
.
Lo anterior lo podemos enmarcar dentro del principio de inclusin
y exclusin, el cual afirma que si consideramos un conjunto S con
S = N y condiciones c
i
, 1 i t, que cumplen algunos elementos
de S. El nmero de elementos de S que no satisfacen ninguna de las
condiciones c
i
, 1 i t, se expresa por N = N(c
1
c
2
c
3
... c
t
) donde :

N = N [N(c
1
) + N(c
2
) + N(c
3
) + ... + N(c
t
) +
[N(c
1
c
2
) + N(c
1
c
3
) + ... + N(c
1
c
t
) + N(c
2
c
3
) + ... + N(c
t-1
c
t
)]
[N(c
1
c
2
c
3
) + N(c
1
c
2
c
4
) + ... + N(c
1
c
2
c
t
) + N(c
1
c
3
c
4
) + ... +
N(c
1
c
t
c
t
) + ... + N(c
t-2
c
t-1
c
t
)] + (-1)
t
N(c
1
c
2
c
3....
c
t
)

Otras notaciones que tambin se utilizan son:

S
0
= N
S
1
= [N(c
1
) + N(c
2
) + ... + N(c
t
)]
S
2
= [N(c
1
c
2
) + N(c
1
c
3
) + ... + N(c
1
c
t
) + N(c
2
c
3
) + ... + N(c
t-1
c
t
)]

Ahora veamos el siguiente ejemplo:

Determnese el nmero de enteros positivos n, donde 1 n 100 y n
no es divisible entre 2, 3 ni 5.

S = { 1, 2, 3, ..., 100}.

Para n S, n cumple:
11
a) la condicin c
1
, si n es divisible entre 2,
b) la condicin c
2
, si n es divisible entre 3,
c) la condicin c
3
, si n es divisible entre 5.

La respuesta a este problema es N(c
1
c
2
c
3
)
Para r R, r denota el mayor entero en r, donde

R, si r Z
r =
el mayor entero menor que r, si r no es un entero

por ejemplo 5 = 5, = 3 , esta funcin es til en este problema ,
al resultar que

N(c
1
) = 100/2 = 50, N(c
2
) = 100/3 = 33 1/3 = 33
N(c
3
) = 100/5 = 20, N(c
1
c
2
) = 100/6 = 16
N(c
1
c
3
) = 100/10 = 10, N(c
2
c
3
) = 100/15 = 6
N(c
1
c
2
c
3
) = 100/30 = 3

Al aplicar el principio de inclusin y exclusin, se tiene que

N(c
1
c
2
c
3
) = S
0
S
1 +
S
2
S
3
= N - [N(c
1
) + N(c
2
) + N(c
3
)] +
[N(c
1
c
2
) + N(c
1
c
3
) + N(c
2
c
3
)] - N(c
1
c
2
c
3
)
= 100 [ 50 + 33 + 20] + [16 + 10 + 6] 3 = 26


I. Determnese el nmero de enteros positivos n, 1 n
2000, que son:
a) no divisibles entre 2, 3 o 5.
b) No divisibles entre 2, 3, 7 o 7.
c) No divisibles entre 2, 3 o 5 pero s entre 7.

ACTIVIDAD INTEGRADORA 1

En esta actividad debes entregar lo que a continuacin se
indica:
I. La investigacin que realizaste en la actividad preliminar
II. Principio del buen orden
III. Primer y segundo principio de induccin
IV. Principio de inclusin y exclusin
Agrega un ejemplo de cada uno de los puntos anteriores que sea
diferente a los de clase.

12

ACTIVIDAD PRELIMINAR 2

De cuantas formas programaras tres exmenes dentro de un
perodo de cinco das, de tal forma que el mismo da no sean
programados 2 exmenes?
Si no tienes la respuesta, no te desanimes seguramente lo que
leers en este captulo te ayudar a encontrarla.

OBJETIVOS

Que el alumno identifique y aplique las reglas de la suma y el
producto.
Que se identifique la diferencia entre permutaciones y
combinaciones de objetos

2.1 REGLAS DE LA SUMA Y EL PRODUCTO.

Regla del producto: Esta regla implica el multiplicar los resultados
posibles de dos experimentos, cuando ambos experimentos
suceden. Si m son los resultados posibles de un experimento y n
de otro experimento, entonces al multiplicar m x n se obtendrn los
resultados posibles cuando ambos experimentos suceden.

Regla de la suma: Si se puede realizar una primer tarea de m
maneras, mientras que una segunda se puede efectuar de n
maneras y no se pueden realizar las dos tareas simultneamente,
entonces realizar cualquiera de ellas se puede lograr m + n
maneras

2
Captulo
Principios de
Conteo

13
Qu es un experimento?

Un experimento es un proceso fsico que posee un nmero de
resultados observables. Algunos ejemplos de experimentos son:
colocar una carta en un sobre, colocar un determinado numero de
cartas en un determinado nmero de sobres, seleccionar un jugador
de ftbol de un equipo, hacer apuestas en el hipdromo, lanzar una
moneda al aire, lanzar un par de dados.

En el experimento de colocar una carta en un sobre , slo puede
existir un resultado; al lanzar una moneda al aire los dos resultados
posibles son guila o sello; los resultados que se pueden obtener al
lanzar un dado son 1,2,3,4,5,6. Cuando se consideran los
resultados posibles de varios experimentos se utilizan las reglas
mencionadas al principio de esta seccin.

Como ejemplo supongamos que un multicinema se presentan tres
pelculas diferentes por la maana y cinco por la tarde. Por lo tanto
habr 3 x 5 opciones para las personas que quieran ir a ver una
pelcula por la maana y otra por la tarde y habr 3 + 5 opciones, si
desean ver una sola pelcula.

ACTIVIDAD DE APRENDIZAJE 3.

Resuelve los ejercicios que a continuacin se te presentan.

I. La biblioteca del centro universitario tiene 20 libros sobre Fsica
y 15 sobre Matemticas, cuntos libros puede elegir para
consultar temas relacionados con alguna de estas asignaturas?

II. El grupo de teatro de la Universidad est realizando
pruebas para la presentacin de una nueva obra, como se
presentan 8 mujeres y seis hombres para los papeles
principales, de cuntas maneras puede el director formar
el reparto?

2.2 PERMUTACIONES Y COMBINACIONES

2.2.1 PERMUTACIONES

Para entender lo que es una permutacin se utilizar el siguiente
ejemplo. Se tienen tres canicas, una azul, una amarilla y una verde;
deseamos conocer el nmero de maneras diferentes en que
14
podemos colocar las canicas en 7 botellas, considerando que cada
botella slo puede tener una canica.
Primero colocamos la canica azul, la cual puede colocarse en
cualquiera de las siete botellas, continuamos con la amarilla que
puede colocarse en cualquiera de las seis botellas restantes y
finalizamos con la verde, que se puede colocar en alguna de las
cinco botellas restantes. El nmero total de colocar estas canicas en
las botellas es 7 x 6 x 5 = 210.

Suponiendo que se colocan r canicas de distinto color en n
botellas numeradas y diferentes, con la condicin de que cada
botella slo contenga una canica. Debido a que la primer canica
puede colocarse en cualquiera de las n botellas, la segunda canica
puede colocarse en cualquiera de las (n-1) botellas restantes,..., y la
r-sima canica puede ser colocada en cualquiera de las (n
r + 1) botellas restantes, el nmero total de formas distintas de
colocar las pelotas es:

n(n 1)(n 2) ...(n r + 1), que tambin puede escribirse como
Error!

Se utiliza la notacin P(n,r) para la cantidad n(n 1)(n 2)...(n r +
1)

Un experimento similar al de colocar canicas en botellas es el
de acomodar o permutar objetos distintos. Por permutar r de n
objetos distintos, entendemos acomodar r de estos objetos en algn
orden. Por ejemplo hay seis maneras de permutar dos de los tres
objetos a, b, c. Ellas son ab, ba, ac, ca, bc y cb. Puesto que para
acomodar r de los n objetos realizamos el llenado de r posiciones
con r de los n objetos, hay n opciones para el objeto de la primera
posicin, n 1 opciones para un objeto (de los n 1 objetos
restantes) de la segunda posicin,..., y n r + 1 opciones para el
objeto (de los n r + 1 objetos restantes) de la r-sima
posicin . Entonces, hay n(n 1) ... (n r +1) maneras de acomodar
r de n objetos en orden.

Por ejemplo si queremos determinar el nmero de cifras de
cuatro dgitos que no contienen dgitos repetidos, tenemos que
acomodar 4 de los 10 dgitos 0,1,2,...,9 y la respuesta es P(10,4)=
5040.

Entre estos 5040 nmeros , 9 x 8 x 7 = 504 de ellos
comienzan con cero. El resultado tambin puede calcularse como 9
x 9 x 8 x 7 = 4536, usando el argumento de que el primer dgito
puede ser cualquiera de los nueve dgitos, el segundo dgito puede
ser cualquiera de los restantes dgitos y as sucesivamente.

Otro caso sera si tuviramos que programar 3 partidos de
futbol dentro de un perodo de 5 horas sin restriccin alguna sobre el
15
nmero de partidos programados cada hora, el nmero total de
maneras es 5
3
= 125.


Resuelve los siguientes ejercicios.

I. De cuntas maneras pueden ser colocadas en una fila 5
bolas de diferentes colores?
II. De cuntas formas pueden estar sentadas 10 personas
en un silln , con capacidad para 4 personas?
III. Cuntos nmeros de 4 cifras pueden formarse con los
10 dgitos (del 0 al 9) si: a) los dgitos pueden repetirse. b)
los nmeros no pueden repetirse?
IV. De cuntas formas pueden sentarse 7 personas
alrededor de una mesa, si: a) pueden sentarse de
cualquier forma. b) dos personas determinadas no deben
estar una al lado de la otra?

2.2.2 COMBINACIONES

Ahora consideremos el problema de colocar tres toallas todas
de color azul en 10 casilleros que estn numerados. Si queremos
saber el nmero de formas en que las toallas pueden ser
distribuidas, si cada casillero slo debe tener una toalla tendremos
que recurrir a la siguiente frmula:
P(n,r)
_________
q
1
! q
2
!...q
r
!

donde n son los objetos, siendo q
1
de un color, q
2
de un
segundo color,..., y q
t
son de un t-simo color; pero si los objetos
fueran todos distintos, hay n! maneras de acomodarlos, de acuerdo
con lo anterior la respuesta es
10 x 9 x 8

3!
En general el nmero de maneras de distribuir r toallas del
mismo color en n casilleros numerados es
N(n 1)(n 2)...(n r +1)
____________________
r!

Lo cual es igual a n!
__________
r!(n r)!
16

Dicha cantidad tambin se denota por C(n,r)

Para aplicar lo anterior imaginemos que un profesor desea
programar tres exmenes en la semana en diferentes das.
Imaginemos los tres exmenes como tres toallas y los 6 das de
clase de la semana, como seis casilleros; entonces el nmero de
maneras de programacin es

6!
________=
3!3!

La seleccin de r objetos a partir de n objetos distintos es un
problema equivalente a distribuir r toallas indistinguibles en n
casilleros numerados. Si vamos a seleccionar r de n objetos
distintos, podemos imaginar los n objetos como casilleros y
marcar los objetos seleccionados con r marcadores como
idnticos, las toallas. En consecuencia, el nmero de maneras
de seleccionar r objetos de n objetos distintos es tambin C(n,r).
En otras palabras, para un conjunto de tamao n se tienen C(n,r)
subconjuntos de tamao r.

Seleccionar r objetos de n objetos es lo mismo que descartar
los n r objetos que no sern seleccionados; entonces se tiene que

C(n,r)= C(n, n r).

Lo anterior lo podemos aplicar al caso en el que se cuenta con
11 jugadores de basquetbol y se quiere seleccionar un equipo de 5
integrantes, es decir hay C(11,5)= 462 maneras de seleccionar un
equipo de 5 integrantes. Si se quiere que un jugador especfico
supongamos el jugador A, siempre sea incluido entonces hay
C(10,4) formas de seleccionar un equipo de 5 integrantes y si se
quiere que el jugador A sea excluido hay C(10,5)= 252 maneras de
seleccionar un equipo de 5 integrantes.
Si quisiramos que tanto el jugador A como el B sean
incluidos , el nmero de selecciones que incluyen a ambos jugadores
es C(9,3) = 84; pero si quisiramos incluir al jugador A pero excluir al
B el numero de selecciones sera C(9,4)= 126, que tambin se
aplicara a la inversa.

ACTIVIDAD DE APRENDIZAJE 5.

En relacin a las combinaciones, ahora se presentan los siguientes
ejercicios.

17
I. De cuntas formas pueden 10 objetos dividirse en dos
grupos de 4 y 6 objetos respectivamente?
II. De cuntas formas puede elegirse un comit de 5
personas de entre 9 personas?
III. De un total de 5 matemticos y 7 fsicos , se forma un
comit de 2 matemticos y 3 fsicos. De cuntas formas
puede formarse , si: a) puede pertenecer a l cualquier
matemtico y fsico, b) un fsico determinado debe
pertenecer al comit?
IV. Cuntos arreglos de 8 bits contienen exactamente cuatro
nmeros 1?
V. Cuntas manos de 5 cartas (no ordenadas)pueden
seleccionarse de una baraja de pker de 52 naipes?
VI. Con los datos del ejercicio anterior, cuntas manos
pueden contener 4 ases?

2.3 PERMUTACIONES Y COMBINACIONES GENERALIZADAS.

Si deseamos escribir las n! permutaciones de n objetos
distintos. Para n=3, slo hay 6 permutaciones. Para n=4 hay 24
permutaciones. Existen procedimientos que generan todas las
permutaciones de objetos. Una forma de asegurar que el
procedimiento generar todas las permutaciones sin repeticiones, es
introduciendo un ordenamiento para las n! permutaciones. Si el
procedimiento genera una a una las permutaciones de acuerdo con
este orden, entonces seguramente generar correctamente todas las
permutaciones cuando inicien con la primera permutacin en el
orden y termine con la ltima permutacin en el orden. Un orden que
se puede usar es el orden lexicogrfico. Sin prdida de generalidad,
supongamos que {1,2,3,...,n}sean los n objetos a permutar. Dadas
dos permutaciones a
1
a
2
a
n
y b
1
b
2
b
n
, diremos que a
1
a
2
a
n
se
encuentran antes que b
1
b
2
b
n
en un orden lexicogrfico si, para
algn m con 1 m < n, a
1
= b
1
, a
2
= b
2
, , y a
m-1
= b
m- 1
a
m
< b
m
. Por
ejemplo, la permutacin 124635 se encuentra antes que la
permutacin 125643, y la permutacin 125463 se encuentra despus
de la permutacin 125346.

Suponiendo que se nos da una permutacin a
1
a
2
a
n
la
siguiente permutacin b
1
b
2
b
n
debe ser tal que:

1.- a
i
= b
i,
1 i m 1, y a
m
< b
m
, para el m ms grande posible.
2.- b
m
es el elemento ms pequeo de entre a
m + 1,
a
m + 2,
..., a
n
tal
que es mayor que a
m.
3.- b
m + 1
< b
m + 2
< b
n.

Siguiendo el mismo razonamiento que el utilizado para
generar permutaciones, el procedimiento para generar todos los k-
18
subconjuntos del conjunto {1,2,3,...,n}. Sea a
1
a
2
a
k
un k
subconjunto, el siguiente k-subconjunto b
1
b
2
b
k
de acuerdo con el
orden lexicogrfico debe ser tal que:

1.- a
i
= b
i,
1 i m 1, y a
m
< b
m
, para el m ms grande posible
2.- b
m
= a
m + 1.
3.- b
j + 1
= b
j
+ 1 para m j k 1


I. Anota la regla de la suma
II. Anota la regla del producto.
III. De los puntos anteriores agrega un ejemplo.
IV. Concepto de permutacin.
V. Concepto de combinacin.
VI. De los puntos IV y V agrega 2 ejemplos de cada uno de
ellos.

19


Si tuvieras que indicarle a alguien que nunca ha estado en el estado
y mucho menos en la regin la forma de llegar al centro
universitario,Qu indicaciones le daras?Seran suficientes?
Imagina que t eres esa persona que solicita informacin, Podras
llegar hasta el centro universitario?

OBJETIVO

Que el alumno logre identificar las relaciones de recurrencia y sus
soluciones.

3.1 RELACIONES DE RECURRENCIA.

La funcin a = (3
0
, 3
1
, 3
2
,..., 3
r
,...) puede expresarse
mediante una expresin general para a
r
= 3
r
r 0, pero tambin
se puede expresar mediante una funcin generadora

1
A(z)= ________
1 3z

De la primera expresin podemos observar que el valor de a
r
es el triple del valor de a
r 1
, para todo r, conociendo el valor de a
r 1

podemos calcular el valor de a
r
. El valor de a
r 1
puede, ser
calculado como el triple de a
r 2
, el cual, otra vez es el triple de a
r
3.
Al final, necesitamos el valor de a
0
, el cual sabemos que es 1. Por
ello la relacin a
r
= 3a
r - 1
tambin especifica por completo la funcin
numrica a.

Observando la siguiente sucesin (conocida como sucesin
de Fibonacci) 1, 1, 2, 3, 5, 8, 13, 21, 34,... podemos deducir que
3
Captulo
Relaciones de
Recurrencia
20
comienza con los nmeros 1 y 1, y los siguientes nmeros son la
suma de sus predecesores inmediatos.

La sucesin puede describirse mediante la relacin

a
r
= a
r 1
+ a
r 2
con la informacin de que a
0
= 1 y a
1
= 1.

Para una funcin numrica (a
0,
a
1,
a
2, ...
a
r,
...), una ecuacin que
relaciona a
r,
para cualquier r, a una o ms de las a
i
, i < r, es llamada
una relacin de recurrencia, que tambin se conoce como una
ecuacin en diferencias. Con la relacin de recurrencia podemos
llevar a cabo un clculo paso por paso para determinar a
r
a partir de
a
r 1
, a
r 2
,..., para determinar a
r + 1
a partir de a
r
, a
r 1
, ..., y as
sucesivamente, siempre que el valor en uno o ms puntos permita
iniciar el clculo. Los valores obtenidos por la funcin se denominan
valores de frontera. En el primer caso , la condicin frontera es
a
0
= 1 y a
1
= 1.
De esta forma se puede afirmar que una funcin numrica
puede ser descrita mediante una relacin de recurrencia junto a un
conjunto apropiado de condiciones de frontera. La funcin numrica
tambin es conocida como la solucin de la relacin de
recurrencia.

3.2 SOLUCION DE LAS RELACIONES DE RECURRENCIA.

En esta seccin trataremos la solucin de relacin de relaciones de
recurrencia lineales con coeficientes constantes. Una relacin de
recurrencia de este tipo es de la forma

C
0
a
r

+ C
1
a
r - 1

+ C
2
a
r - 2

+ ... + C
k
a
r - k

= f(r)

donde las letras C
i
son constantes. La relacin de recurrencia
anterior se conoce como relacin de recurrencia de k-simo
orden, siempre que tanto C
0
como C
k
sean distintos de cero.
Por ejemplo,

2a
r

+ 3a
r - 1
=
2
r
es una relacin de recurrencia lineal de
primer orden con coeficientes constantes

as como las siguientes son relaciones de recurrencia de segundo
orden con coeficientes constantes

3a
r

- 5a
r - 1

+ 2a
r - 2

= r
2
+ 5

a
r
+ 7a
r - 2

= 0

para una relacin de recurrencia lineal de k-simo orden con
coeficientes constantes como las anteriores, si k valores
consecutivos de la funcin numrica a a
m k ,
a
m k + 1
, ..., a
m 1
son
21
conocidos para algn m, el valor de a
m
puede calcularse de la
siguiente forma:

a
m
= - Error![ C
1
a
m - 1

+ C
2
a
m - 2

+ ... + C
k
a
m - k

- f(m)]
a
m + 1

= -Error![ C
1
a
m

+ C
2
a
m - 1

+ ... + C
k
a
m k + 1

- f(m + 1)]
a
m k - 1

= -Error![ C
0
a
m - 1

+ C
1
a
m - 2

+ ... + C
k - 1
a
m - k

- f(m - 1)]
a
m k - 2

= -Error![ C
0
a
m - 2

+ C
1
a
m - 3

+ ... + C
k - 1
a
m - k - 1

- f(m - 2)]

lo anterior lo podemos aplicar en la relacin de recurrencia,
suponiendo que nos dan a
3
= 3 y a
4
= 6

3a
r

- 5a
r - 1

+ 2a
r - 2

= r
2
+ 5

a
5
= Error![-5 x 6 + 2 x 3 (5
2
+ 5)] = 18

a
6
= Error![-5 x 18 + 2 x 6 (6
2
+ 5)] = Error!

a
2
= Error![3 x 6 - 5 x 3 (4
2
+ 5)] = 9

a
2
= Error![3 x 3 - 5 x 9 (3
2
+ 5)] = 25
a
0
= Error![3 x 9 - 5 x 25 (2
2
+ 5)] = Error!

por lo que podemos concluir que los valores a
3
= 3 y a
4
= 6
especifican por completo la funcin numrica discreta a.


I. Encuentre la solucin de las relaciones de recurrencia:

a) a
r

- 7a
r - 1

+ 10a
r - 2

= 0 dado que a
0
= 0 y a
1
= 3
b) a
r

- 4a
r - 1

+ 4a
r - 2

= 0 dado que a
0
= 1 y a
1
= 6
c) a
r

- 7a
r - 1

+ 10a
r - 2

=3
r
dado que a
0
= 0 y a
1
= 1
d) a
r

+ 6a
r - 1

+ 9a
r - 2

= 0 dado que a
0
= 0 y a
1
= 1
e) a
r

- a
r - 1

+ a
r - 2

= 0 dado que a
0
= 0 y a
1
= 2
f) a
r

- a
r - 1

+ a
r - 2

= 0 dado que a
0
= 1 y a
1
= 1
g) a
r

- 2a
r - 1

+ 2a
r - 2

- a
r - 2

= 0 dado que a
0
= 2 y a
1
=1

3.3 SOLUCIONES HOMOGNEAS DE RELACIONES DE
RECURRENCIA.

La funcin numrica discreta que es solucin de la ecuacin en
diferencias es la suma de dos funciones numricas discretas: la
solucin homognea y la particular.
22

La solucin homognea es a
(h)
= (a
0
(h)
, a
1
(h)
,..., a
r
(h)
,...)

La solucin particular es a
(p)
= (a
0
(p)
, a
1
(p)
,..., a
r
(p)
,...).

Puesto que

C
0
a
r
(h)
+ C
1
a
r
(h)
- 1

+ ... + C
k
a
r
(h)
- k

= 0

Y

C
0
a
r
(p)
+ C
1
a
r
(p)
- 1

+ ... + C
k
a
r
(p)
- k

= f(r)

Se tiene que

C
0
a
r
(h)
+ a
r
(p)
+

C
1
( a
r
(h)
- 1

+ a
r
(p)
- 1
) +...+

C
k
(a
r
(h)
- k

+

a
r
(p)
- k
) = f(r)

La solucin total es, a = a
(h)
+ a
(p)

Una solucin homognea para una ecuacin en diferencias lineal
con coeficientes constantes es de la forma A
1
r
, donde
1
se conoce
como una raz caracterstica y A es una constante determinada por
las condiciones de frontera. Al sustituir A
r
por a
r
en la ecuacin en
diferencias en el lado derecho de la ecuacin igual a 0, se obtiene

C
0
A
r
+ C
1
A
r-1
+ C
2
A
r-2
+...+ C
k
A
r-k
= 0

que se puede simplificar como

C
0

k
+ C
1

k-1
+ C
2

k-2
+... + C
k
= 0

Esta ecuacin es conocida como la ecuacin caracterstica de la
ecuacin de diferencias. Si
1
es una de las races de la ecuacin
caracterstica A
1
es una solucin homognea de la ecuacin e
diferencias .

La relacin de recurrencia para la sucesin de nmeros de
Fibonaccci es
a
r
= a
r 1
+ a
r 2

La ecuacin caracterstica es

2
- - 1 = 0

que tiene 2 races

23
1 + 5 1 - 5
1
= _____________
2
= _____________
2 2

de lo anterior se obtiene que
r r
1 + 5 1 - 5
a
r
(h)
= A
1
____________ + A
2
_____________
2 2

es una solucin homognea donde las constantes A
1
y A
2
sern
determinadas a partir delas condiciones de frontera a
0
= 1 y a
1
= 1.

En el caso de que algunas races de la ecuacin caracterstica son
races mltiples. Sea
1
una raz de multiplicidad m . La solucin
homognea es

(A
1
r
m 1
+ A
2
r
m 2
+ ...+ A
m - 2
r
2
+ A
m - 1
r + A
m
)
1
r

donde las constantes A
i
sern determinadas a partir de las
condiciones de frontera. A
m
1
r
es una solucin homognea de la
ecuacin en diferencias mostrada al principio de la seccin anterior.
A
m 1
r
1
r
tambin es solucin homognea.

A continuacin tenemos una ecuacin en diferencias:

a
r
+ 6a
r 1
+ 12a
r 2
+ 8a
r 3
= 0

La ecuacin caracterstica es

3
+ 6
2
+ 12 + 8 = 0

y la solucin homognea es

a
r
(h)
= (A
1
r
2
+ A
2
r + A
3
) ( -2)
r
siendo -2 una raz
caracterstica triple

Otra ecuacin en diferencias sera la siguiente

4 a
r
- 20a
r 1
+ 17a
r 2
- 4a
r 3
= 0

cuya ecuacin caracterstica sera

4
3
- 20
2
+ 17 - 4 = 0

y la solucin homognea es

a
r
(h)
= (A
1
r

+ A
2
) + A
3
( 4|)
r

24
3.4 SOLUCIONES PARTICULARES DE RELACIONES DE
RECURRENCIA.

Si se tiene la siguiente ecuacin en diferencias

a
r
+ 5a
r 1
+ 6a
r 2
= 3r
2
(1)

la forma general dela solucin particular es

P
1
r
2
+ P
2
r + P
3
(2)

siendo P
1,
P
2
y P
3
constantes
a determinar

Si sustituimos la ecuacin 2 en el lado izquierdo de la 1 se obtiene

P
1
r
2
+ P
2
r + P
3
+ 5P
1
(r 1)
2
+ 5P
2
(r 1) + 5P
3
+ 6P
1
(r 2)
2
+ 6P
2
(r
2) + 6P
3

Simplificando

12P
1
r
2
- (34 P
1
- 12P
2
)r + (29 P
1
- 17P
2
+ 12P
3
) (3)

al comparar la ecuacin 3 con el lado derecho de la ecuacin 1, se
obtienen las siguientes ecuaciones:

12P
1
= 3
34 P
1
- 12P
2
=0
29 P
1
- 17P
2
+ 12P
3
=0

de ello se obtiene que P
1
=Error! P
2
= Error! P
3
=
Error!

por lo que la solucin particular es

a
r
(p)
=Error! r
2
+ Error! r + Error!

Generalizando, si f(r) es de la forma de un polinomio degrado t en r

F
1
r
t
+ F
2
r
t- 1
+ ...+ F
t
r + F
t + 1

La solucin particular correspondiente ser de la forma

P
1
r
t
+ P
2
r
t- 1
+ ...+ P
t
r + P
t + 1

25
Ahora se presenta la siguiente ecuacin de diferencias

a
r
+ 5a
r 1
+ 6a
r 2
= 42 . 4
r

la forma general de la solucin particular es

P4
r
lo cual al sustituirlo en el lado izquierdo de la ecuacin de
diferencias se obtiene

P4
r
+ 5P4
r-1
+ 6P4
r-2
al simplificarlo se obtiene P4
r
al
comparar este resultado con el lado derecho de la ecuacin de
diferencias se obtiene que

P=16

Por lo que la solucin particular es:

a
r
(p)
= 16 . 4
r

De lo anterior se puede afirmar que cuando f(r) es de la forma
r
, la correspondiente solucin particular es de la forma P
r
, si
no es una raz caracterstica de la ecuacin en diferencias.
En el caso de que f(r) sea de la forma

(F
1
r
t
+ F
2
r
t- 1
+ ...+ F
t
r + F
t + 1
)
r

la solucin particular es de la forma

(P
1
r
t
+ P
2
r
t- 1
+ ...+ P
t
r +P
t + 1
)
r

si no es una raz caracterstica de la ecuacin de diferencias

Para el caso en que sea una raz caracterstica de
multiplicidad m 1, cuando f(r) sea de la forma

F
1
r
t
+ F
2
r
t- 1
+ ...+ F
t
r + F
t + 1
)
r

la solucin particular es de la forma

r
m - 1
(P
1
r
t
+ P
2
r
t- 1
+ ...+ P
t
r +P
t + 1
)
r

Esta ltima situacin se puede apreciar en la siguiente ecuacin
de diferencias

a
r
- 4a
r 1
+ 4a
r 2
= (r + 1) 2
r
26
la forma general de la solucin particular , siendo 2 una raz
caracterstica doble, es la siguiente

r
2
(P
1
r + P
2
) 2
r

Al sustituir la forma general la ecuacin de diferencias y
simplificando se obtiene

6P
1
r 2
r
=r2
r

( -6P
1
+ 2P
2
) 2
r
=2
r

de ello se obtiene P
1
= P
2
= 1 y la solucin
particular es
r
a
r
(p)
= r
2 _________
+ 1 2
r

6

ACTIVIDADES DE APRENDIZAJE 7

I. Determine la solucin particular para las siguientes
relaciones de recurrencia:

a) a
r
- 3a
r 1
+ 2a
r 2
= 2r
b) a
r
- 4a
r 1
+ 4a
r 2
= 2r
c) a
r
+ 5a
r 1
+ 6a
r 2
= 3r
2
d) a
r
- 2a
r 1
= 7r

3.5 SOLUCION POR MEDIO DE FUNCIONES GENERATRICES

La funcin generatriz de la funcin numrica se puede obtener a
partir de la ecuacin en diferencias.

Si tenemos a
r
= 3 a
r 1
+ 2 r 1

Con la condicin de frontera a
0
= 1

Para r=0 la relacin de recurrencia se convierte en a
0
=3 a
1
+ 2
(1)
En general , dada una ecuacin en diferencias de k-simo orden que
especifica una funcin numrica, se deben conocer para que valores
de r es vlida la ecuacin. La ecuacin es vlida slo si r k debido
a que, para r<k, la ecuacin involucrar valores de a
i
que no estn
definidos. En muchos casos una ecuacin en diferencias se origina a
partir de un problema fsico en el cual el valor de a
i
es significativo
27
slo para i t, para algn t mayor o igual a 0; por lo que la
ecuacin en diferencias es vlida slo para r k t.

Vamos a multiplicar ambos lados de (1) por z
r

r
a
r
z
r
= 3 a
r 1
z
+ 2 z
r

sumamos la ecuacin anterior para todo r, r1

a
r
z
r
= 3 a
r 1
z
r
+ 2 z
r
r=1 r=1 r=1

observemos que

a
r
z
r
= A(z) - a
0

r=1

r r - 1
a
r 1
z
= z a
r 1
z
= zA(z)
r=1 r=1

z
z
r
=___________
r=1
1 z

de lo cual se obtiene
2z
A(z) - a
0
= 3zA(z) + _________
1 z

esto es,
2z
(1 3z) A(z) = ___________ + 1
1 z
simplificando
1 + z
(1 3z) A(z) = _____________
1 z

o
1 + z
A(z) = __________________
(1 3z)(1 z)

2 1
=________ _ _______
1 3z 1 z
por lo tanto

a
r
= 2 . 3
r
- 1 r 0
28

En general para determinar la funcin generadora de la funcin
numrica a a partir de la ecuacin en diferencias

C
0
a
r

+ C
1
a
r- 1

+ C
2
a
r- 2

... + C
k
a
r- k

= f(r)

La cual es vlida para r s , donde s k y multiplicando ambos
lados de la ecuacin por z
r
y sumar desde r= s hasta r= y
siguiendo el desarrollo del ejemplo anterior tenemos

1
A(z)=_______________ f(r)z
r
+ C
0
(a
0
+ a
1
z + a
2
z
2
+ ... +a
s 1
z

s
1
) +

C
0
+ C
1
z+...+ C
k
z
k

C
1
z (a
0
+ a
1
z + a
2
z
2
+ ... +a
s 2
z

s 2
)+ ...+ C
k
z (a
0
+ a
1
z + a
2
z
2
+ ...
+a
s k
z

s k- 1
)

En relacin a esto suponiendo que tenemos la ecuacin en
diferencias

a
r
- 5a
r 1
+ 6a
r 2
= 2
r
+

r

r 2

con las condiciones de frontera a
0
= 1 y a
1
= 1

ya que

a
r
z
r
- 5 a
r 1
z
r
+ 6 a
r 2
z
r
=2
r
z
r
+

r z
r
r=2 r=2 r=2 r=2 r=2

de lo cual se obtiene
4 z
2 1

A(z) - a
0 -
a
1
z + 5z[A(z) - a
0
] + 6z
2
A(z) = ___________ + z
__________ - 1
1 2z ( 1 -
z
2
)

simplificando
1 8z + 27 z
2
35 z
3
+ 14 z
4

A(z) = ______________________
( 1 z)
2
(1 2z)
2
(1 3z)

5/4 3 2 17/4
29
=____ + ______ _ ______ _ _______ + _____
1 z (1 z)
2
1 2z (1 2z)
2
1 3z

Por lo que

a
r
= Error! + Error!(r + 1) 3. 2
r
- 2(r + 1) 2
r
+ Error!3
r

= Error! + Error! - r2
r + 1
- 5. 2
r
+ Error!3
r


I. Resuelva las siguientes relaciones de recurrencia
utilizando el mtodo de funciones generatrices.

a) a
r
= 4 a
r 1
+ 3 r 1 con a
0
= 1
b) a
r
= 3 a
r 1
+ 2 b
r 1
r 1 con a
0
= 1 y b
0
= 0
c) a
r
= 5 a
r 1
+ 6 a
r 2
r 2 con a
0
= 1 y a
1
= 1
d) a
r
= 3 a
r 1
+ 2 a
r 2
r 2 con a
0
= 1 y a
1
= 1

ACTIVIDAD INTEGRADORA 3.

I. Define lo que es una relacin de recurrencia.
II. Menciona los dos tipos de soluciones de relaciones de
recurrencia y anota las expresiones que las representan.
III. Desarrolla un ejercicio en el que apliques el procedimiento
de la solucin particular
IV. Desarrolla un ejercicio en el que apliques el procedimiento
de la solucin por medio de funciones generatrices.
V. Agrega la actividad preliminar .

30

ACTIVIDAD PRELIMINAR 4.

Realiza lo que a continuacin se indica:
a) Representa grficamente un nmero de ciudades conectadas por
carreteras de tal forma que determines si existe una ruta por
carretera entre dos de esas ciudades.
b) Representa grficamente la relacin comercial que podra darse
entre Mxico y dos pases de Norteamrica y dos de Europa

OBJETIVO

Que el alumno logre representar grficamente objetos
discretos y las relaciones binarias sobre ellos mediante la aplicacin
de la teora de grafos.

4.1 INTRODUCCIN.

Iniciaremos este captulo considerando el ejemplo de la
realizacin de varias encuestas pblicas para determinar la
popularidad de los candidatos a rector de nuestra universidad. En
cada encuesta se pregunta la opinin sobre los dos candidatos y se
determina un favorito. Dados estos dos candidatos quisiramos
saber cuando uno de ellos va delante de los otros. Si S = a, b, c,...
el conjunto de los candidatos y S una relacin binaria sobre S tal que
(a, b) est en R si se realiza una encuesta entre a y b, y a fue
escogido como el candidato favorito. Esta relacin binaria la
podemos representar en forma tabular y grfica como a
continuacin se observa.
a b C d E
a b
b b
c b b
d b b
e

Figura 1

4
Captulo
Grafos
31

a

e
b

c d

Figura 2

4.2 GRAFOS DIRIGIDOS Y NO DIRIGIDOS.

Un grafo dirigido G se define como un par ordenado (V,E),
donde V es un conjunto y E es una relacin binaria sobre V. Un
grafo dirigido puede representarse como un conjunto de puntos
marcados V con un conjunto de flechas E entre parejas de puntos.

En la figura 3 podemos ver un grafo dirigido. A los elementos
de V los llamaremos vrtices y a los pares ordenados de E aristas
del grafo dirigido. Una arista es incidente con los vrtices que ella
une. En la figura la arista (a,b) es incidente con los vrtices a y b.
Tambin se puede decir que la arista (a,b) es incidente desde a y es
incidente hacia b. El vrtice a es llamado vrtice inicial y el b el
vrtice terminal de la arista (a, b). La arista (c, c) es incidente a partir
y hacia el mismo vrtice por ello se le llama lazo. Dos vrtices son
adyacentes si estn unidos por una arista. En el caso de la arista (a,
b) el vrtice a es adyacente al vrtice b y el vrtice b es adyacente
desde el vrtice a. A la vez un vrtice es aislado si no hay arista
incidente con l.

Un grafo no dirigido G es un par ordenado (V, E) donde V
es un conjunto y E es un conjunto de multiconjuntos de dos
elementos de V. Un grafo no dirigido es G = (a, b, c, d, a, b,a,
d,b, c,b, d,c, c). Este tipo de grafos pueden representarse
como un conjunto de puntos marcados V con un conjunto de lneas
E entre los puntos. El grafo anterior se observa en la figura 4.

32

a b a
b

d
c

d c

Figura 3 Figura
4

Si V= { a, b, c, d} un conjunto de cuatro equipos de ftbol en
un torneo de eliminacin directa. Sea E ={(a, b), (a, d),(b, d),(c,
a),(c, b),(d, c)} una relacin binaria sobre V de tal manera que
(x,y) en E significa que x venci a y en el encuentro entre ellos.
El grafo G = (V, E) se aprecia en la figura 5. Ahora si V =
{1,2,3,4} el conjunto de los cuatro captulos de un libro. Si E =
{(1,2),(2,3),(3,1),(3,4),(4,1),(4,2)} es una relacin binaria sobre v
tal que (1,2) est en E lo que representa que el material en el
captulo 1 hace referencia al material en captulo 2 y as
sucesivamente. El grafo G se muestra en la figura 6. Si
observamos el grafo de la figura 6 se parece al de la figura 5.
La semejanza es ms evidente si se dibuja de nuevo el grafo de
la figura 6 como aparece en al figura 7.

a b 1 2 4
1

d c 4 3 2
3

Figura 5 Figura 6 Figura 7

33
El concepto de semejanza entre dos grafos se puede precisar
de la siguiente manera: dos grafos son isomorfos si hay una
correspondencia uno a uno entre sus vrtices y entre sus aristas, de
tal forma que sus incidencias se conservan, de otra forma existe una
arista correspondiente entre dos vrtices en un grafo si y slo si hay
una arista correspondiente entre los vrtices correspondientes en el
otro grafo. En la figura 8 podemos observar un grafo no dirigido
isomorfo.

a b

d c
figura 8

Si G = (V,E) es un grafo G = (V,E) es un subgrafo de G si E
es un subconjunto de E y V es un subconjunto de V de tal forma que
las aristas de de e son incidentes slo con vrtices de V. En la
figura 9 encontramos un subgrafo del grafo dela figura 8.

Figura 9
Un subgrafo de G es un subgrafo generador si ste contiene todos
los vrtices de G. El complemento de un subgrafo G = (V,E) con
respecto al grafo G es otro subgrafo G = (V,E) tal que E = E E
y V slo contiene a los vrtices con los cuales las aristas de E son
incidentes.

ACTVIDAD DE APRENDIZAJE 9
I. Durante un viaje tres parejas de casados llegan a un ro
donde encuentran un bote que no puede transportar a ms
de dos personas a la vez. El paso a travs del ro se ve
complicado por el hecho de que todos los esposos son
muy celosos y no permiten a sus esposas quedarse sin
ellos cuando estn presentes otros hombres. Construya un
grafo que muestre cmo puede efectuarse el traslado.
34
II. Diremos que un conjunto de vrtices en un grafo no
dirigido es un conjunto dominante si para todo vrtice que
no est en el conjunto ste es adyacente a uno o ms
vrtices en el conjunto. Un conjunto dominante minimal es
un conjunto dominante tal que no existe un subconjunto
propio de ste que sea un conjunto dominante.
a) Para el grafo de la figura a encuentre dos conjuntos
dominantes minimales de diferentes tamaos.
III. Diremos que un conjunto de vrtices en un grafo no
dirigido es un conjunto independiente si no existen dos
vrtices en este conjunto que sean adyacentes. Un
conjunto independiente maximal es un conjunto
independiente el cual no continuar sindolo cuando le
sea agregado un vrtice cualquiera. Para el grafo de la
figura a encuentra dos conjuntos independientes
maximales de tamaos diferentes.
IV. Por colorido apropiado de un grafo entendemos pintar los
vrtices del grafo con uno o ms colores distintos de
manera que no hay dos vrtices adyacentes pintados con
el mismo color.
Cul es el mnimo de colores necesarios para colorear
apropiadamente los grafo de la figuras b, c y d?

figura a figura b
figura c
4.3 MULTIGRAFOS Y GRAFOS PESADOS.

Si G = (V,E) siendo V un conjunto y E un multiconjunto de pares
ordenados de V x V. G es llamado un multigrafo dirigido. Un
multigrafo dirigido puede representarse como un conjunto de puntos
marcados V con un conjunto de flechas E entre los puntos, donde
no existe restriccin en el nmero de flechas de un punto a otro
punto. En la figura 10 aparece un multigrafo. Si quisiramos
representar grficamente un mapa de carreteras en el cual una arista
entre dos ciudades corresponde a un carril en una autopista entre las
ciudades, esta representacin origina una multigrafo.

35
a b

c d

Figura 10

Un grafo pesado es una cudrupla ordenada (V, E, f, g) o una
tripleta ordenada (V, E, f) o una tripleta ordenada (V, E, g) donde V
es el conjunto de vrtices, E es el conjunto de aristas, f una funcin
cuyo dominio es V y g una funcin cuyo dominio es E. La funcin f es
una asignacin de pesos a los vrtices y la funcin g es una
asignacin de pesos a las aristas. Los pesos pueden ser nmeros,
smbolos o cualquier cantidad que deseemos asignar a los vrtices
y a las aristas.

Ahora analicemos la situacin de una mquina despachadora
de refrescos, la cual vende refrescos de $15.00:Vamos A suponer
tambin que la mquina slo acepta monedas de $5.00 y $10.00 y
no regresa cambio cuando se depositan ms de $15.00. Un
personaje sediento puede hacer tres posibles cosas: depositar una
moneda de $5.00, depositar una de $10.00 y presionar el botn del
refresco de su preferencia.

En la figura 11 aparece el grafo pesado que describe el
comportamiento de la mquina, donde los vrtices corresponden a
las cantidades que ya han sido depositadas para la venta en un
momento dado. Hay tres aristas que salen de cada vrtice,
etiquetados con 5, 10 y P. Una arista con peso 5 actualiza la
cantidad depositada en la mquina cuando el cliente introduce una
moneda de $5.00 y un arista con un peso 10 actualiza la cantidad
total depositada cuando el cliente introduce una moneda de $10.00.
Cuando se est en los vrtices a, b y c nada pasar cuando se
presione el botn para elegir el refresco, la mquina liberar un
refresco slo cuando el vrtice d haya sido alcanzado.

36
10

P P P 10 5
10

a 5 b 5 c 5 d

10

P

a $0 depositados
b $5.00 depositados
c $10.00 depositados
d $15.00 o ms depositados

figura 11

I. Si los vrtices de un grafo representan ciudades y las
aristas, vas de comunicacin entre dos ciudades de una
interpretacin fsica de la nocin de conjunto dominante de
este caso.

4.4 PASEOS Y CIRCUITOS.

En un grafo dirigido un paseo es una sucesin de aristas (e
i1
,
e
i2
,... e
ik
) tal que le vrtice terminal de coincide e
ij
coincide con el
vrtice inicial de e
i(j + 1)
para 1 j k 1 . Un paseo es simple si no
incluye la misma arista dos veces y elemental si no encuentra el
mismo vrtice dos veces. En la figura 12 (e
1,
e
2,
e
3,
e
4
) es un paseo,
(e
1,
e
2,
e
3,
e
5 ,
e
8,
e
3,
e
4
) es un paseo pero no es simple, (e
1,
e
2,
e
3,
e
5
,
e
9,
e
10,
e
11 ,
e
4
) es un paseo simple pero no es un paseo elemental.
En el ejemplo de la popularidad de los candidatos a rector que el
candidato a sea ms popular que el b significa que existe un paseo
del vrtice a hasta el vrtice b en le grafo, el cual representa el
resultado de las encuestas.
Un circuito es un paseo (e
i1
, e
i2
,... e
ik
) en el cual el vrtice
terminal e
ik
coincide con el vrtice inicial e
i1.
Un circuito es simple si
no incluye la misma arista dos veces, y es elemental si no encuentra
el mismo vrtice dos veces. En la figura 12 (e
1,
e
2,
e
3,
e
5 ,
e
9,
e
10,
e
12
,
e
6,
e
7
) es un circuito simple pero no es elemental, (e
1,
e
2,
e
3,
e
5 ,
e
6,

e
7
) es un circuito elemental. El paseo (e
1,
e
2,
e
3,
e
4
) tambin puede
representarse por la sucesin de vrtices (v
1,
v
2,
v
3,
v
4 ,
v
7
).

37

v4 e4 v7

e3 e11
e5
v3 e12 v6
e8
e2 e9 e10
v2 e6

v1 v9
e7
figura 12

Se dice que un grafo no dirigido es conexo si existe un paseo
entre cualesquiera dos vrtices y es no conexo en otro caso. Un
grafo dirigido es fuertemente conexo si para cualesquiera dos
vrtices a y b en el grafo existe un paseo desde a hasta b, as como
tambin un paseo desde b hasta a.


Realiza un grafo en el que se puedan apreciar un paseo y un
circuito.

4.4.1 PASEOS Y CIRCUITOS EULERIANOS.

En esta seccin se estudiar el caso de encontrar un paseo
en el grafo que pase a travs de cada arista una y slo un vez. Euler
descubri un criterio para determinar cuando existe un paseo en un
grafo que pase a travs de cada arista una y slo una vez, es decir
un paseo euleriano en un grafo es un paseo que pasa a travs de
cada lado en el grafo una y slo una vez. En forma similar un
circuito euleriano en un grafo es un circuito que pasa a travs de
cada arista del grafo una y slo una vez.
Para establecer una condicin necesaria y suficiente para la
existencia de paseos o circuitos eulerianos en un grafo arbitrario nos
referiremos al grado del vrtice, el cual es el nmero de aristas
incidentes en l. La existencia de paseos o circuitos eulerianos est
relacionado con los grados de los vrtices. Euler encontr que un
grafo no dirigido tiene un paseo euleriano si y slo si ste es conexo
y tiene cero o dos vrtices de grado impar.
As tambin podemos afirmar que un grafo no dirigido tiene
un circuito euleriano si y slo si es conexo y sus vrtices son todos
38
de grado par. De lo anterior podemos concluir que el grafo de la
figura 13 tiene un paseo euleriano, pero no tiene un circuito euleriano
debido a que el grafo es conexo y tiene exactamente dos vrtices, d
y e de grado impar.

a

b c

figura 13
d d e

f

Seguramente alguna vez haz realizado el ejercicio de dibujar
una figura dada con un trazo continuo de tal forma que ninguna parte
de la figura sea repetida. La figura 14 puede trazarse como se ve
en la figura 15. Imagina que en al figura 14 se muestra un grafo
como el de la figura 16, entonces el problema de trazar la figura 14
es determinar un paseo euleriano en el grafo de la figura 16. Ya que
el grafo de la figura 16 tiene slo dos vrtices de grado impar,
entonces tiene un paseo euleriano.

Figura 14 figura 15 figura 16

En un grafo dirigido el grado de entrada de un vrtice es el
nmero de aristas que son incidentes hacia ste y el grado de
salida de un vrtice es el nmero de aristas que son incidentes
desde ste.
Un grafo dirigido tiene un circuito euleriano si y slo si es
conexo y el grado de entrada de cualquier vrtice es igual a su grado
de salida. Un grafo dirigido tiene un paseo euleriano si y slo si es
39
conexo y el grado de entrada de cualquier vrtice es igual a su
grado de salida, con las posible excepcin de dos vrtices. Para
estos dos vrtices, el grado de entrada de uno de ellos es mayor en
uno que su grado de salida y el grado de entrada del otro es menor
que su grado de salida.

4.4.2 PASEOS Y CIRCUITOS HAMILTONIANOS.

Un paseo (circuito) hamiltoniano, podemos definirlo como
un paseo (circuito) que pasa a travs de cada uno de los vrtices de
un grafo exactamente una vez. Consideremos el problema de sentar
un grupo de personas alrededor de una mesa. Si consideramos que
los vrtices de un grafo no dirigido denotan las personas y las aristas
denotan cuando dos personas sean amigas, un circuito hamiltoniano
corresponde a la manera de sentarlas de modo que cada una tenga
un amigo a cada lado. Para demostrar que un grafo tiene un paseo o
circuito hamiltoniano, podemos apoyarnos en una construccin
explcita de dicho paseo o circuito.

Podemos afirmar de los paseos hamiltonianos lo siguiente:

- si G es un grafo lineal de n vrtices y si la suma de los grados
para cada par de vrtices de g es n 1 o mayor entonces
existe un paseo hamiltoniano en G.
- Siempre existe un paseo hamiltoniano en un grafo dirigido
completo.

Ahora consideremos el caso de programar siete partidos de futbol
en siete das, de manera que dos partidos dirigidos por el mismo
arbitro no se programen en das consecutivos. Si ningn arbitro
dirige ms de cuatro partidos siempre ser posible programar los
partidos. Si G es un grafo con siete vrtices que corresponden a los
siete partidos. Existe una arista entre cualesquiera dos vrtices, la
cual corresponde a dos partidos dirigidos por diferentes rbitros.

Puesto que el grado de cada vrtice es al menos tres, la suma
de los grados de cualesquiera dos vrtices es al menos 6, en
consecuencia G siempre contendr un paseo hamiltoniano, el cual
corresponde a una programacin adecuada para los siete partidos.


I. Si G es un grafo conexo sin lazos donde las aristas
representan las calles de una ciudad. Un oficial de polica
quiere hacer un recorrido para patrullar cada lado de la
calle exactamente una vez. Adems el polica quiere
patrullar los dos lados de una calle en direcciones
40
opuestas. Demostrar que este recorrido siempre puede
disearse.
II. Muestre un grafo que tenga tanto un circuito euleriano
como un hamiltoniano.
III. Muestre un grafo que tenga un circuito euleriano pero que
no tenga un circuito hamiltoniano.
IV. Muestre un grafo que no tenga un circuito euleriano ni
tampoco un hamiltoniano.
V. Demuestre que el grafo de la figura a no tiene un circuito
hamiltoniano.
VI. Demuestre que cualquier circuito hamiltoniano en el grafo
de la figura b que contiene la arista x deber contener
tambin la arista y.
VII. Podemos afirmar que un grafo dirigido es orientable si se
puede asignar una direccin a cada una de las aristas del
grafo de manera que le grafo dirigido resultante sea
fuertemente conexo.
Demuestre que el grafo de la figura c es orientable.

x

y

figura a figura b

Figura c
4.5 GRAFOS APLANABLES.

Un grafo es aplanable si puede ser dibujado sobre un plano de
manera que ninguna arista se cruce con otra, excepto en los
vrtices comunes. En la figura 17 se puede observar un grafo
aplanable y el de la figura 18 tambin lo es si se dibuja de nuevo
como se ve en la figura 19. Si dibujramos un grafo aplanable sobre
el plano y cortramos a lo largo de las aristas, el plano se dividira
41
en piezas que son llamadas regiones del grafo. Una regin de un
grafo aplanable se define como un rea del plano que est acotada
por aristas y no puede continuar dividindose en subreas. En el
caso del grafo de la figura 20, este tiene cinco regiones como se
observa en la figura 21. Una regin es finita si su rea es finita y es
infinita si su rea es infinita. Un grafo aplanable tiene una regin
infinita. Tenemos el siguiente resultado: Para cualquier grafo
aplanable conexo, v e + r = 2 , donde v, e y r son el nmero de
vrtices, aristas y regiones del grafo, respectivamente.

figura 17 figura 18
figura 19

a

b
c d

figura 20 figura 21

La ecuacin v e + r = 2 es conocida como la frmula de Euler para
grafos aplanables, todos los grafos aplanables conexos deben
satisfacer esta frmula.


Realiza lo que se te plantea a continuacin.

I. Demuestra que un grafo aplanable lineal tiene un vrtice
de grado 5 o menor.
1
2
4
3
5
42
II. Demuestra que un grafo aplanable lineal con menos de 30
aristas tiene un vrtice de grado 4 o menor.
III. Demuestra que en un grafo aplanable lineal conexo con
seis vrtices y 12 aristas, cada una de las regiones cada
una est acotada por tres aristas.
IV. Sea G un grafo con 11 o ms vrtices . Demuestra que G
o bien G no es aplanable.


I. Anota los siguientes conceptos:
a) grafo no dirigido.
b) Arista .
c) Vrtice.
d) Grafos isomorfos.
e) Subgrafo generador.
f) Grafo pesado.
g) Paseo.
h) Circuito.
i) Grafo aplanable.
j) Grado de un vrtice.
II. Desarrolla un grafo en el que resaltes los puntos(b, c, g, h
y j) indicados en punto anterior.
III. Representa un grafo aplanable.
En un grafo representa un paseo y un circuito.

43


Considera un grupo de boxeadores que pelean por el
campeonato de peso completo. Suponiendo que cada boxeador
tiene una oportunidad de enfrentar al campen vigente y que el
perdedor de cualquier encuentro queda eliminado . Si G = (V, E) es
un grafo no dirigido donde los vrtices de V representan a los
boxeadores y las aristas de E representan las peleas. Para x y y en
V, {x, y} est en E si hubo un encuentro entre x y y. Si V = {a, b, c, d,
e, f, g, h, i}. Suponiendo que al inicio a es el campen actual, en las
peleas siguientes, a venci a b, c y d y perdi el ttulo frente a e, e
venci a f y g y pierde el ttulo frente a h y finalmente h pierde el
ttulo frente a i. Realiza el grafo que muestre todas las peleas que se
llevaron a cabo.

OBJETIVO

Que el alumno adquiera los conocimientos necesarios de los rboles
y conjuntos de corte y los aplique en situaciones cotidianas.

5.1 RBOLES.

Un rbol es un grafo (no dirigido) conexo que no contiene
circuitos. Una coleccin de rboles disjuntos es llamado bosque. Un
vrtice de grado 1 en un rbol se llama una hoja o un nodo terminal,
y un vrtice de grado mayor que 1 recibe le nombre de un nodo rama
o nodo interno. Las figuras 1 y 2 son rboles, en la figura 1 los
vrtices b, c, d, f, g e i son hojas y los vrtices a, e y h son nodos
rama.

5
Captulo
rboles y
Conjuntos de
Corte
44

b
f B
b

c a e g a A C
c

d h i D
d
FIGURA 1 FIGURA 2
Propiedades de los rboles:

- Existe un nico paseo entre dos vrtices cualesquiera en un
rbol.
- El nmero de vrtices es mayor en uno que el nmero de
aristas en un rbol.
- Un rbol con dos o ms vrtices tiene al menos dos hojas.
Caractersticas de los rboles:
- Un grafo en el cual existe un nico paseo entre cada par de
vrtices es un rbol.
- Un grafo conexo con e = v 1 es un rbol.
- Un grafo con e = v 1 que no tiene circuitos es un rbol.

Donde e son las aristas y v son los vrtices


I. Dibuje un rbol que contenga dos hojas.
II. Un rbol tiene dos vrtices de grado 2, un vrtice de grado
3 y tres vrtices de grado 4 Cuntos vrtices de grado 1
tendr el rbol?
III. Si T es un rbol con 50 aristas. La eliminacin de una
cierta arista de T origina dos rboles disjuntos T
1
y T
2
.
Puesto que el nmero de aristas en T
1
es igual al nmero
de aristas en T
2
, determine el nmero de vrtices y el
nmero de aristas en T
1
y T
2.

IV. Podemos decir que un vrtice que tiene un peso mnimo
es un centroide del rbol. Realiza un rbol que tenga un
centroide.

5.2 LONGITUD DE PASEO Y RBOLES ENRAIZADOS.

Un grafo dirigido es un rbol dirigido si se convierte en un rbol
cuando se ignoran las direcciones de sus aristas. Un rbol dirigido es
45
un rbol enraizado si existe exactamente un vrtice cuyo grado de
entrada sea 0 y los grados de entrada de todos los otros vrtices
sean 1. El vrtice con el grado de entrada 0 es llamado la raz del
rbol enraizado. En un rbol enraizado, un vrtice cuyo grado de
salida sea 0 se llama una hoja o un nodo terminal y un vrtice cuyo
grado de salida sea diferente de cero se llama un nodo rama o un
nodo interno. En la figura 3 se puede apreciar un rbol dirigido y en
la figura 4 un rbol enraizado.

Figura 3 figura 4
Si a es un nodo rama en un rbol enraizado, b es un hijo de a si
existe una arista de a a b, por ello tambin se afirma que a es el
padre de b. Dos vrtices son hermanos si son hijos del mismo
vrtice, un vrtice c es un descendiente de a si existe un paseo
dirigido de a a c, por ello tambin se dice que a es un ancestro de c.
Si a es un nodo rama en un rbol T entonces el subrbol con
raz a es el subgrafo t = (V, E) de T tal que V contiene a a y a
todos sus descendientes y E contiene las aristas de todos los
paseos dirigidos que surgen de a. Un subrbol de a es un subrbol
que tiene a un hijo de a como raz.
Al trazar un rbol enraizado se colocan los hijos de un nodo
rama bajo ste omitiendo las puntas de flecha de las aristas ya que
se entiende que apuntan hacia abajo, en la figura 5 se puede
apreciar esto.

Figura 5
Ela figura 6 se representa el rbol familiar de un hombre que
tiene dos hijos, de los cuales el mayor no tiene hijos y el menor
tiene tres hijos. Si observamos el rbol enraizado de la figura 7,
ste es isomorfo al de la figura 6, pero el de la figura 7 podra
ser el rbol familiar de otro hombre cuyo hijo mayor tiene tres
hijos y el hijo menor no tiene hijos.

46

Figura 6 figura 7
De esto ltimo se desprende el concepto de rbol ordenado, el
cual es un rbol enraizado con las aristas incidentes desde cada
nodo rama, etiquetadas con los enteros 1, 2, ...,i, .... Por lo tanto
los subrboles de un nodo rama pueden ser referidos como el
primero, el segundo,..., y el i-simo subrboles del
nodo rama y corresponden a las etiquetas de las aristas
incidentes desde el nodo. A su vez dos rboles ordenados son
isomorfos si existe una correspondencia uno a uno entre sus
vrtices y aristas, la cual conserva la relacin de incidencia, y si
las etiquetas de las aristas correspondientes coinciden.
Un rbol m-ario es regular si cada uno de sus nodos rama
tiene exactamente m hijos. Una clase importante de rboles m-
arios son los rboles binarios, en los cuales en lugar de
referirnos al primer o segundo subrbol de un nodo rama, nos
referiremos al subrbol izquierdo o al subrbol derecho del nodo.
En la figura 8 se representan expresiones aritmticas por un
rbol binario.

*
+

* e
a b
figura 8
a + b
c d

c * d * e

Ahora consideremos el caso de las finales del ftbol mexicano
donde se de la eliminacin simple con ocho equipos compitiendo, se
jugarn 4 encuentros en la primera ronda, dos en la segunda y el
encuentro final, es decir un total de siete juegos. La programacin de
estas finales es un rbol binario regular en el cual las hojas
representan a los equipos y los nodos rama representan a los
ganadores de los encuentros o los juegos del torneo. Cualquier rbol
binario puede ser visto como la programacin de un torneo de
eliminacin simple. En la figura 9 podemos observar este caso.

47

campen

ganadores

segunda

ronda

ganadores

primera

ronda

1 2 3 4 5 6 7 8
equipos

figura 9

En este tipo de torneos en cada encuentro se elimina un equipo,
siendo eliminados todos al final excepto el campen, siendo el
nmero de partidos disputados uno menos que el total de equipos.
La relacin entre i, el nmero de nodos rama, y t, el nmero de
hojas, de un rbol binario regular es : i = t 1
En el caso de rboles m-arios regulares considerando m
competidores con un solo ganador, es decir en un torneo de
eliminacin simple en el cual en cada partido se elimina m 1
equipos quedando slo el campen al final del torneo, tenemos que:
(m 1)i = t 1.

La longitud de un paseo para un vrtice en un rbol enraizado
es el nmero de aristas en el paseo desde la raz hasta el vrtice y la
altura de un rbol es el mximo de las longitudes de los paseos en el
rbol. En elcaso de un rbol m-ario de altura h tiene como mximo
m
h
hojas y al menos m + (m 1) (h 1) hojas.
Si I es la suma de las longitudes de los paseos de todos los
nodos rama y E la suma de las longitudes de los paseos de las hojas
en un rbol enraizado entonces E = I + 2i, donde i es el nmero de
nodos rama y 2i el nmero de aristas en el rbol binario. Para el
caso de un rbol m-ario regular E = (m 1)i + mi.

I. Realiza un rbol enraizado en el que representes a una
empresa, la cual tiene tiene una oficina central y cuatro
oficinas regionales, las cuales a su vez tienen dos de ellas
3 oficinas estatales y las otras dos 4 oficinas estatales. En
48
el caso de las 3 oficinas estatales una de ellas tiene 3
oficinas municipales y en el caso de las otras cuatro
oficinas estatales dos de ellas tienen 2 oficinas
municipales.
II. Se tienen que conectar 19 lmparas a un solo contacto
elctrico mediante el uso de cables de extensin, cada uno
de los cuales tiene cuatro contactos. Ya que cualquiera de
esas conexiones es un rbol cuaternario con el contacto
simple conectado a la raz del arbol, determine el nmero
de nodos rama del rbol.
III. Una computadora tiene un instruccin que calcula la suma
de tres nmeros, suponiendo que se quiere encontrar la
suma de nueve nmeros, x
1,
x
2,
..., x
9
, realice el rbol que
representa esta situacin.

5.3 PREFIJOS CODIFICADOS.

Un conjunto de sucesiones es un cdigo de prefijos si no existe
una sucesin en el conjunto que sea un prefijo de otra sucesin del
conjunto. Por ejemplo el conjunto 000, 001,01, 10, 11 es un cdigo
de prefijos, en tanto que el conjunto 1, 00, 01, 000, 0001 no lo es.
Podemos obtener un cdigo de prefijos binario directamente a
partir de un rbol binario. Para un rbol binario dado, se etiquetan las
dos aristas incidentes desde cada nodo rama con 0 y 1. Se asignan
a cada hoja una sucesin de nmeros 0 y 1, que es la sucesin de
etiquetas para las aristas del paseo desde la raz hasta la hoja. El
conjunto de sucesiones asignadas a las hojas en cualquier rbol
binario es un cdigo de prefijos. Para el cdigo de prefijos 1, 01,
000, 001 se obtiene el rbol binario que se puede apreciar en la
figura 10 .
Siempre es posible dividir una cadena de nmeros 0 y 1
recibida en sucesiones que estn en un cdigo de prefijos. Si se
comienza en la raz del rbol binario, se traza hacia abajo un paseo
en el rbol de acuerdo con los dgitos de la cadena recibida. Esto es,
un nodo rama seguiremos la arista etiquetada como un 0 si
encontramos un 0 en la cadena recibida y seguiremos la arista
etiquetada con 1 si encontramos un 1 en la cadena recibida. Cuando
el paseo hacia abajo alcanza una hoja, sabemos que ha sido
detectada una sucesin en el cdigo de prefijos, y deberemos
regresar a la raz del rbol para comenzar a buscar la siguiente
sucesin. Este procedimiento garantiza que no habr ambigedad al
dividir la cadena recibida en sucesiones que estn en el cdigo de
prefijos.
0 1

0 1

0 1
figura 10
1
01
001 000
49

Supongamos que un conjunto de pesos w
1,
w
2
..., w
t
y que w
1

w
2
... w
t.
Diremos que un rbol binario tiene t hojas con los pesos
w
1,
w
2
..., w
t
definiendo los pesos de un rbol binario para los pesos
w
1,
w
2
..., w
t
como
t
i=1
w
i
l donde l(

w
i
) es la longitud del paseo
de las hoja a la cual se le asign el peso

w
i.
El peso del rbol T se
denotar por W(T). Diremos que un rbol binario para los pesos w
1,

w
2
..., w
t
es un rbol ptimo si su peso es mnimo. Por ejemplo
dados los pesos 5, 6, 7 y 12 de la figura 11 muestra un rbol ptimo.

12

7

5 6

figura 11


I. Realice los rboles que corresponden a los siguientes cdigos de
prefijos:

a) {000, 001, 01, 10, 11, 110,111}
b) {000, 001,010, 011, 100, 101, 110, 111}
c) {000,001, 000,1}

5.4 ARBOLES DE BSQUEDA BINARIA.

Si tenemos el problema de buscar un objeto en una lista
ordenada, suponiendo que trabajamos con objetos sobre los cuales
existe un ordenamiento lineal, el ordenamiento lineal puede ser
numrico, alfabtico, alfanumrico, etc. Sean K
1
, K
2
,..., K
n
los n
objetos de una lista ordenada los cuales son conocidos como las
claves. Supongamos que K
1
< K
2
<...< K
n
. Dado un objeto x, nuestro
problema es buscar las claves y determinar si x es igual a una de las
claves o si x est entre las claves K
i
y K
i+1
para algn i. En primer
lugar la bsqueda tiene 2n+ 1 posibles resultados, es decir, x es
menor que K
1
, x es igual a K
1
, x es mayor que K
1
pero menor que
K
2
, x es igual a K
2
, etc.
50

Un procedimiento de bsqueda consiste en una serie de
comparaciones entre x y las claves donde cada comparacin de x
con una clave nos indica si x es igual, menor que, o mayor que tal
clave. Podemos describir un procedimiento de bsqueda mediante
una representacin de rbol binario.

Se define un rbol de bsqueda para las claves K
1
, K
2
,..., K
n

como un rbol binario con n nodos rama y n + 1 hojas. Los nodos
rama son etiquetados con K
1
, K
2
,..., K
n
y las hojas son etiquetadas
con K
0,
K
1
, K
2
,..., K
n
de manera que para el nodo rama con la
etiqueta K
i
su subrbol izquierdo contiene slo los vrtices con
etiquetas K
j,
j i, y su subrbol derecho contiene slo vrtices con
etiquetas K
j,
j i.
En la figura 11 puedes observar un rbol de bsqueda para las
claves K
1,
K
2
, K
3,
K
4,
donde los crculos denotan nodos rama y los
cuadrados hojas. Podemos apreciar que un rbol e bsqueda
corresponde a un procedimiento de bsqueda: al comenzar con la
raz del rbol de bsqueda, comparamos un objeto dado x con la
etiqueta de la raz K
i
. Si x es igual a K
i
la bsqueda ha terminado.
Si x es menor que K
i
comparamos x con el hijo izquierdo de la raz y
si x es mayor que K
i
comparamos x con el hijo derecho de la raz.
Esta comparacin se contina para nodos rama suce suce hasta que
x concuerde con una clave o se alcance una hoja. Si una hoja
etiquetada como K
j
es alcanzada, esto significa que x es mayor que
la clave K
j
pero menor que la clave K
j + 1
(si se alcanza la hoja K
0
,
esto significa que x es menor que K
1
. Si se alcanza la hoja K
n

significa que x es mayor que K
n
). Si en la figura 10 tenemos que AB,
CF, EG, PP son las claves K
1,
K
2
, K
3,
K
4
en el rbol dado. Dado el
objeto BB los pasos de bsqueda de acuerdo con esta figura son:

- Comparar BB con K
3,
la cual es EG.
- Como BB es menor que EG, comparar BB con K
1
la cual es
AB.
- Como BB es mayor que AB, comparar BB con K
2
la cual es
CF.
- Como BB es menor que CF, se alcanza la hoja K
1.

De esta forma se concluye que BB es mayor que AB y menor que
CF. Un criterio para medir la efectividad de un procedimiento de
bsqueda es el nmero mximo de comparaciones que el
procedimiento efecta en el peor caso, esto es, la altura del rbol de
bsqueda correspondiente. Por lo tanto para un conjunto dado de n
claves, un rbol de bsqueda cuya altura es [lg (n + 1)
]corresponder a un procedimiento de bsqueda que posiblemente
sea el mejor.

51

K
3

K
1
K
4

K
0
K
2
K
3
K
4

K
1
K
2

figura 11


I. Definimos un rbol 3 2 como un rbol enraizado en el
cual el grado de salida de un nodo rama es 3 o 2. Adems,
las longitudes del paseo de todas las hojas deben ser las
mismas. La figura a muestra un rbol 3 2 que describe
una clase de procedimientos de bsqueda en los cuales
comparamos un objeto con una o dos claves en cada paso
de la bsqueda. Para este rbol explique como funciona el
procedimiento de bsqueda.
K
5
,K
10

K
3
K
7
K
12

K
1,
K
2
K
4
K
6
K
8,
K
9
K
11
K
13

K
0
K
1
K
2
K
3
K
4
K
5
K
6
K
7
K
8
K
9
K
10
K
11
K
12
K
13

Figura a

52
5.5 ARBOLES GENERADORES Y CONJUNTOS DE CORTE.

Un rbol de un grafo es un subgrafo del grafo que es un
rbol. Un rbol generador de un grafo conexo es un subgrafo
generador del grafo que es un rbol. En la figura 12 se aprecia un
grafo, la figura 13 muestra un rbol y la figura 14 un rbol generador
del grafo de la figura 12. Una rama de un rbol es una arista del
grafo que es un rbol. Una cuerda, o un enlace de un rbol, es una
arista del grafo que no est en el rbol. El conjunto de cuerdas de un
rbol se conoce como el complemento del rbol.

Figura 12 figura 13 figura 14

Un grafo conexo siempre contiene un rbol generador. Si se
nos da un grafo conexo y este no contiene circuitos, entonces es un
rbol. Si el grafo contiene uno o ms circuitos, podemos eliminar un
arista de uno de los circuitos y an tener un subgrafo conexo. Esta
eliminacin de aristas de los circuitos puede repetirse hasta que se
tenga un rbol generador. De lo anterior se obtiene que un rbol
generador es un subgrafo conexo mnimo de un grafo conexo en el
sentido de que a partir de un subgrafo conexo el cual no es un rbol
generador , una o ms de sus aristas pueden eliminarse, de manera
que el grafo resultante an sea un subgrafo conexo y por otra parte
ninguna arista puede eliminarse de un rbol generador de manera
que el subgrafo resultante sea un subgrafo conexo.

Para un grafo conexo con e aristas y v vrtices, existen v 1
ramas en cualquier rbol generador. Entonces en cualquier relacin
con cualquier rbol generador, existen e v + 1 cuerdas .

Un conjunto de corte es un conjunto mnimo de aristas en un grafo
tal que la eliminacin del conjunto incrementar el nmero de
componentes conexas en el subgrafo restante, en tanto que la
eliminacin de cualquier subconjunto propio de ste no lo hara. De
esto se tiene que en un grafo conexo la eliminacin de un conjunto
de corte divide al grafo en dos partes. Si los vrtices de una
componente conexa de un grafo se dividen en dos subconjuntos, de
manera que cada dos vrtices en cada subconjunto estn
conectados por un paseo que slo atraviesa vrtices en tal
53
subconjunto, entonces el conjunto de aristas que une los vrtices de
los dos subconjuntos es un conjunto de corte.
En la figura 15 se observa un conjunto de corte , el cual est
formado por el conjunto de aristas { e
1,
e
5,
e
6,
e
7,
e
4
)ya que su
eliminacin dejar un subgrafo no conexo como se observa en la
figura 16, en tanto que la eliminacin de cualquiera de sus

subconjuntos propios no lo har. Adems este es el conjunto
de aristas que unen los vrtices de los subconjuntos { v
1,
v
5
} y { v
2,
v
3,

v
4
}
e
1

v
1
v
2
v
1
v
2

e
1
e
8

e
4
e
2
V
5
e
2

V
4
v
3
V
4
v
3
e
3
e
3

figura 15 figura 16
Los conceptos de rboles generadores, circuitos y conjuntos de corte
estn muy relacionados. Debido a que un rbol generador contiene
un paseo nico entre dos vrtices cualesquiera en el grafo, la adicin
de una cuerda al rbol generador da lugar a un subgrafo que
contiene exactamente un circuito. Suponiendo que se aade la
cuerda { v
1,
v
2
} a un rbol generador. Como el rbol generador
contiene un paseo entre v
1 y
v
2
este paseo con la arista { v
1,
v
2
}
forman un circuito en el grafo . Por otro lado si la adicin de la
cuerda { v
1,
v
2
} da origen a dos o ms circuitos, deben de existir dos
o ms paseos entre v
1 y
v
2
en el rbol generador , lo cual es
imposible.

Para un rbol generador dado, se puede obtener un circuito
nico al agregar al rbol generador cada una de las cuerdas. El

e
8
e
6

e
7
e
5
V
5

54
conjunto de e v + 1 circuitos obtenidos de esta manera es
llamado el sistema fundamental de circuitos relativo al rbol
generador. Un circuito en el sistema fundamental es llamado un
circuito fundamental.

A continuacin se listan algunas propiedades de circuitos y conjuntos
de corte.

- Un circuito y el complemento de cualquier rbol generador
deben tener al menos una arista comn.
- Un conjunto de corte y cualquier rbol generador deben tener
al menos una arista en comn.
- Cada circuito tiene un nmero par de aristas en comn con
cada conjunto de corte.
- Para un rbol generador dado, sea D= { e
1,
e
2,
e
3,...,
e
k
} un
conjunto de corte fundamental, en el cual e
1,
es una rama y e
2,

e
3,...,
e
k
son cuerdas del rbol generador, entonces e
1
est
contenido en los circuitos fundamentales correspondientes a
e
1
para i=2, 3, ..., k. Adems e
1
no est contenido en
cualesquiera otros circuitos fundamentales.
- Para un rbol generador dado sea C= { e
1,
e
2,
e
3,...,
e
k
} un
circuito fundamental en el cual e
1
es una cuerda y e
2,
e
3,...,
e
k

son ramas del rbol generador , entonces e
1
est contenido
en los conjuntos de corte fundamentales correspondientes a
e
1
para i=2, 3, ..., k. Adems e
1
no est contenido en
cualesquiera otros conjuntos de corte fundamentales.


I. Demuestre que el complemento de un rbol generador no
contiene un conjunto de corte y que el complemento de un
conjunto de corte no contiene un rbol generador.
II. Demuestre que cualquier arista en un grafo conexo es una
rama de algn rbol generador de G.
III. Cuntos rboles generadores diferentes hay en cada uno
de los grafos de la figura b? (observe que los vrtices son
distintos)

C b c a
b

a b c d a d
d
figura b
f e c

55
5.6 RBOLES GENERADORES MINIMOS.

En esta seccin se abordar como determinar un rbol
generador mnimo en un grafo pesado, donde las aristas se les
asignan nmeros reales como sus pesos. El peso de un rbol
generador se define como la suma de los pesos de las ramas del
rbol. Un rbol generador mnimo es uno con peso mnimo. A
continuacin se presentan dos algoritmos relacionados con lo
anterior.
El primer procedimiento se basa en la observacin de que
entre todas las aristas en un circuito, la arista con mayor peso no
est en un rbol generador mnimo. Esto sugiere un procedimiento
para determinar un rbol generador mnimo de un grafo pesado
conexo.

Se tiene que construir un subgrafo del grafo pesado paso por
paso, al ir examinando cada arista en orden creciente de los pesos.
Se agregar una arista la subgrafo parcialmente construido si su
inclusin no origina un circuito y ser descartada en caso contrario.
La construccin termina cuando todas las aristas han sido
examinadas. Es claro que la construccin da origen a un subgrafo
que no contiene un circuito. El subgrafo tambin es conexo ya que
para una arista {a, b} en el grafo original, ya sea que la arista {a, b}
est incluida en el subgrafo o bien, existe un paseo entre a y b en el
subgrafo. As el subgrafo que se ha construido es un rbol, siendo
un rbol generador debido a que el grafo original es conexo.

Para finalizar el rbol generador es mnimo porque en el
procedimiento de construccin una arista era excluida a favor de las
aristas de pesos mayores slo si se saba que la arista excluida no
poda estar en el rbol generador mnimo. Es decir las v 1 aristas
en el subgrafo son efectivamente las v 1 aristas con los pesos
menores que pueden ser incluidas en un rbol generador mnimo. La
figura 17 muestra un grafo pesado y la figura 18 el rbol generador
mnimo para el mismo.

2
12 2 4 4
1
9
3

8 5

10 6
6

figura 17
figura 18
2

8 7
1
2
11
8
7
5
1
3 9
56

Un segundo procedimiento para construir un rbol generador
mnimo se basa en la observacin de que entre todas las aristas
incidentes con un vrtice, la arista con el menor peso debe estar en
el rbol generador mnimo. Sea {v1, v2} la arista de menor peso en
un grafo G. Como {v1,v2} debe incluirse en un rbol generador
mnimo de G, podemos fusionar los dos vrtices v1 y v2 para
obtener el grafo G y entonces determinar un rbol generador mnimo
de G. El paso puede repetirse hasta que terminemos con un grafo
que tenga un solo vrtice.


I. Determine un rbol generador mnimo para los grafos
mostrados en las siguientes figuras.

b
a 5

c
1 11 9 10
6 f b
2
a
4
3 3 8
d
7 4
e 10 c
4
4 5 f
10 e
d

a

9 12 15
c
b 4 10
11 5
2 8 3

d 2 e

7 6

2
6 5
6
57
f


I. Define lo que es un rbol.
II. Escribe las propiedades de los rboles y explcalas.
III. Define lo que es un rbol enraizado.
IV. Define rbol generador y conjunto de corte.
V. Lista las propiedades de rboles generadores y conjuntos
de corte.
Describe un procedimiento para elaborar un rbol generador mnimo
y agrega un ejemplo de su aplicacin.

58


Contesta las siguientes situaciones que se te plantean.

I. De qu manera compararas varias fbricas de
automviles?
II. Cmo comparas dos conjuntos?

OBJETIVO

Lograr comparar o contrastar varios elementos para acomodarlos en
un determinado orden mediante la teora de relaciones.

6.1 CONJUNTOS PARCIALMENTE ORDENADOS.

Un conjunto A, junto con la relacin de orden parcial R sobre A, es
llamado un conjunto parcialmente ordenado y se denota por (A, R).
Tambin existe otra notacin para especificar una relacin de orden
parcial: para cada par ordenado (a, b) en R, escribimos a b en
lugar de (a, b) R, donde es un smbolo genrico que
corresponde al conjunto de pares ordenados R . Un conjunto
parcialmente ordenado se denota como ( A, ).

Si ( A, ) es un conjunto parcialmente ordenado , un
subconjunto de A se llama una cadena si cualesquiera dos
elementos en el subconjunto estn relacionados. La longitud de la
cadena es el nmero de elementos que contiene. Un subconjunto de
A es llamado una anticadena si no hay dos elementos distintos en el
subconjunto que no estn relacionados. Un conjunto parcialmente
ordenado ( A, ) es llamado un conjunto totalmente ordenado si A es
una cadena. En este caso la relacin binaria es llamada una relacin
de orden total .
6
Captulo
Relaciones
59

Si ( A, ) es un conjunto parcialmente ordenado. Un elemento
en A es llamado un elemento maximal si para ningn b en A, ab, a
b. Un elemento a es llamado un elemento minimal si para ningn
b en A, ab, b a. En la figura 1 j y k son elementos maximales y
a,b e son elementos minimales. Un elemento cubre a otro elemento
b si b a y no hay otro elemento c , tal que b c a. En la misma
figura de referencia f cubre a b, a c pero no cubre a a.

j k

h i

f g

b c a d e
figura 1

Si a y b son elementos de un conjunto parcialmente ordenado
( A, ). Un elemento c es una cota superior de a si a c y b c.
En la figura 1 h es una cota superior de f y g, tambin lo son i, j, y k.
Un elemento c es una cota superior mnima de a y b si c es una cota
superior de a y b y no existe otra cota superior d de a y b tal que d
c. En la figura 1 h es una cota superior mnima de f y g como
tambin lo es i.
Un elemento c es una es una cota inferior de a y b si c a
y c b y un elemento c es una cota inferior mxima de a y b si
c es un cota inferior de a y b y no existe otra cota inferior d de a y b
tal que c d . En la figura de referencia los elementos a, b, c, d, e,
f, y g son todos cotas inferiores de de h e i en tanto que f y g son
cotas inferiores mximas de h e i.

Un conjunto parcialmente ordenado es una lattice si
cualesquiera dos elementos en el conjunto tienen una cota superior
mnima y nica, y una cota inferior mxima nica. El conjunto
parcialmente ordenado de la figura 2 es una lattice.

60

h

e f g

c
b d

a
figura 2

I. Dibuje diagramas de Hasse para los siguientes copos.
a) ({1, 2, 3, 4, 6, 8, 12, 24}) donde mn significa que m
divide a n.
II. La siguiente figura muestra los diagramas de Hasse de
tres copos, en base a ella conteste lo siguiente:
a) Cules son los elementos maximales?
b) Cules de esos copos tienen elementos minimales?
c) Cules de esos copos tienen elemento mnimo?
d) Qu elementos cubren al elemento e?
e) Cules de esos copos son latices?
h o p q
r

g m n
f

d e
k

a b c j

1 2
z

w y

v

u
3
x
61

6.2 ORDENES ESPECIALES.

Los conjuntos parcialmente ordenados surgen de diversas
maneras y en muchos casos hay pares de elementos incomparables
lo cual es parte del contexto. Los rboles como se vio anteriormente
son estructuras de datos tiles aunque tengan elementos
incomparables, ya que es posible empezar en lo alto y seguir el rbol
para llegar a cualquier elemento en forma rpida.
Una estructura de datos ms comn consiste en una lista o
sucesin en la cual un elemento viene antes del otro, esto lo
conocemos como cadena lo que en otras palabras es un copo en el
cual siempre son comparables dos elementos.

Un orden parcial se llama orden total o lineal si para cada
eleccin de s y t en S o bien s t o t s. De esta manera una
cadena es un copo con un orden total.
El copo de la siguiente figura 3 es una cadena, as como el
conjunto con el orden usual y la lista de nombres de un
directorio telefnico o de palabras en un diccionario si definimos w
1

w
2
.

Figura 3

Todo subcopo de una cadena es a su vez una cadena, por
ejemplo en el diccionario las palabras que se encuentran entre iniciar
e interrumpir forman una subcadena. Un copo que no es una cadena
puede tener subcopos que s lo sean. La figura 4 muestra un copo
con cadenas.

62
r

i j

d e f g h

a b c
Una cadena maximal es una cadena que no est contenida en
ninguna otra.En la figura anterior las cadenas maximales son:{a, f, i,
r}, {b, f, i, r}, {c, f, i, r}, {d, i, r}, {e, i, r}, {g, j, r} y {h, j, r}.
Una cadena finita debe tener al menos un elemento, las cadenas
infinitas no tienen elementos mnimos.
Podemos afirmar que una cadena est bien ordenada si cada
subconjunto no vaco de C tiene elemento mnimo.
Una forma de combinar dos conjuntos para formar uno nuevo es
haciendo su producto, por ejemplo si (S,
1
) y (T,
2
) son copos
donde los subndices nos ayudan a saber a que orden especial nos
referimos, existen ms de un manera para hacer S x T un copo, el
primer orden parcial para S x T se llama orden producto. Para s, S
S y t, t T definimos

< s, t > <s, t> si s
1
s y t
2
t

por ejemplo si S = T = con el orden usual en los dos casos.
Entonces <2, 5> <3, 7> ya que 2 3 y 5 7. Tambin <2, 5 >
<3, 5> pero los pares <2, 7> y <3, 5> no son comparables; <2, 7>
<3, 5> significa 3 2 y 5 7.

Por otra parte si (S
1 ,
1
) ,..., (S
m ,
n
) son copos podemos definir una
relacin < en S
1
x ... x S
n
por

< s
1
, s
2
,..., s
n
,> < < t
1
, t
2
,..., t
n
> si s
1
<
1
t
1
o si hay una r en {2, ...,
n} tal que
s
1
= t
1
,..., s
r-1
= t
r-1
y s
r
<
r
t
r

entonces < es un orden parcial estricto que induce un orden parcial
en S
1
x S
2
x ... S
n
x llamado orden de archivero.

Si = {a, b, c, ..., z} con el orden total usual del espaol entonces
k

consiste de todas las palabras de longitud k y
k
es el orden
alfabticamente usual en
k
. Por ejemplo si k = 3, entonces
Amo
3
aro
3
can
3
dos
3
gas
3
tus
3
uva
Figura 4
63

Este orden es llamado natural en el cual vienen primero las
palabras de longitud uno, despus las de longitud dos, etc.

El orden lexicogrfico u orden de diccionario <
L
en * se define
como sigue

Para a
1,
... a
m
<
L
b
1,
... b
m
si a
1,
... a
k
<
k

b
1,
... b
k
O si k = m < n y a
1,
... a
k
=

b
1,
... b
k
Entonces <
L
es un orden parcial estricto que define el orden parcial
<
L
.


I. Si A= {1, 2, 3, 4} con el orden usual y sea S = A x A con el
orden producto.
a) Encuentre una cadena en s con 7 elementos
b) Puede una cadena en S tener 8 elementos
II. de un ejemplo de un copo que tenga dos cadenas
maximales con cuatro elementos y una con dos
elementos.
III. Si S 0 {0, 1, 2} y T = {3, 4} con el orden usual en ambos
conjuntos. Enliste los elementos de los siguientes
conjuntos en orden de archivero creciente.
a)S x S
b) S x T
c) T x S
IV. Si = {0, 1} con el orden usual. Enliste los elementos
101, 010, 11, 000, 10, 0010, 1000 de * en
orden creciente.
a) para el orden lexicogrfico
b) para el orden natural.

IV. Si es el alfabeto espaol en su orden usual
a)Enliste las palabras de esta frase en orden natural
creciente
b)Enliste las palabras de esta frase en orden lexicogrfico
creciente.

6.3 RELACIONES DE EQUIVALENCIA.

Una relacin binaria puede tener las propiedades: reflexividad,
simetra, antimetra y transitividad. Una relacin binaria sobre un
conjunto es una relacin de equivalencia si sta es reflexiva,
simtrica y transitiva. En la figura 4 se muestra una relacin binaria
que es una relacin de equivalencia.

64
Analicemos el siguiente caso, si A es un conjunto de
estudiantes y R una relacin binaria de A tal que (a,b ) est en R si
y slo si a vive en el mismo dormitorio que ella misma, R es una
relacin reflexiva. Si a vive en mismo dormitorio que b, entonces b
vive en el mismo dormitorio que a entonces R es un relacin
simtrica. Si a vive en el mismo dormitorio que b y b vive en el
mismo dormitorio que c, entonces a vive en el mismo dormitorio que
c. Por ello R es una relacin transitiva. En consecuencia R es una
relacin de equivalencia.

a B c d e F
a b b
b b b
c b
d b b b
E b b b
F b b b

Figura 4

ACTIVIDADES DE APRENDIZAJE 22

I. Cules de las siguientes relaciones describen relaciones
de equivalencia? Para las que no sean especifique cul de
las propiedades (R), (S) y (T) falla.
a) L
1
L
2
para rectas en el plano si L
1
y L
2
son
paralelas o son iguales.
b) p
1
p
2
para mexicanos si p
1
y p
2
viven en el mismo
estado.
c) p
1
p
2
para personas si p
1
y p
2
tienen un pariente
en comn.

II. De una lista de clases de equivalencia de para la
relacin de equivalencia congruencia mdulo 4.
III. Sea S un conjunto, es la igualdad = una relacin de
equivalencia?
IV. Describe situaciones de la vida real donde hayas utilizado
la palabra equivalente y donde haya una relacin de
equivalencia natural involucrada.
V. Si P es un conjunto de programas de computadora y p
1
y
p
2
dos programas que consideramos equivalentes si
siempre producen las mismas salidas para entradas
dadas. Es una relacin de equivalencia? Explique.

6.4 RELACIONES GENERALES.

65

Una relacin binaria de A sobre B es un subconjunto de A x B.
Una relacin binaria es una formalizacin de que algunos elementos
de A estn relacionados con algunos elementos de B. Si R es una
relacin binaria de A a B y si el par ordenado (a,b) est en R,
entonces el elemento a est relacionado con el elemento b. Si A= {a,
b, c, d} es un conjunto de cuatro estudiantes y B = { CS121, CS221,
CS257, CS273, CS281} un conjunto de seis cursos. El producto
cartesiano A x B contiene todas las posibles parejas de estudiantes y
cursos. Una relacin R = {(a, CS121), (b, CS221), (b, Cs264), (c,
Cs221), (c, CS257), (c, Cs273), (d, CS257), (d, CS281)} podra
describir los curso que los estudiantes llevan y la relacin T = {(a,
Cs121), (c, CS257), (c, Cs273)} podra describir los cursos con los
cuales los estudiantes tienen dificultades. Una relacin binaria puede
representarse en forma tabular o grfica, por ejemplo si A ={a,b,c,d}
y B= { , , } y si R = {(a, ), (b, ), (c, ), (c, ), (d, )} una relacin
binaria de A a B. R puede representarse en forma tabular como se
observa en la siguiente figura.

a b
b b
c b b
d b

Figura 3

PROPIEDADES DE LAS RELACIONES BINARIAS.

Ahora ampliaremos algo ms acerca de las relaciones binarias.
Si A es un conjunto de enteros positivos, se puede definir una
relacin binaria de R sobre A tal que (a, b) est en R si y slo si a
b 10. As (12, 1) est en R pero (12, 3) no lo est, como tampoco
est (1, 12)
Sea R una relacin binaria sobre A. R es una relacin
reflexiva si (a, b) est en r para todo a en A. En una relacin reflexiva
todo elemento de A est relacionado con l mismo Por ejemplo si A
es un conjunto de cursos y R es una relacin binaria sobre A de
manera que para dos cursos a y b en A, (a, b) est en R si y slo
si sus evaluaciones finales estn programadas en el mismo perodo
de tiempo. Para un curso cualquiera a, (a, a) est en r. As R es una
relacin reflexiva.
Si r es una relacin binaria sobre A, R es una relacin
simtrica si (a, b) en r implica que (b, a) tambin est en R. Por
ejemplo si A es un conjunto de estudiantes y R es una relacin
binaria sobre A tal que (a,b) est en R si y slo si a est en una
66
clase en la que b se encuentra. Si a est en una clase en la que b se
encuentra, entonces tambin est en la clase en que a se
encuentra. As la relacin R es una relacin simtrica. Cuando una
relacin binaria sobre un conjunto se presenta en forma tabular,
podemos determinar si sta es simtrica al observar si las marcas
estn en celdas que son simtricas con especto de la diagonal
principal.

Si R es una relacin binaria sobre A, R es una relacin
antisimtrica si (a,b) en r implica que (b,a) no est en R a menos que
a = b, es decir si tanto (a, b) como (b, a) estn en R, entonces se
debe dar el caso de que a=b. Por ejemplo si A es el conjunto de
exmenes que se realizan en un hospital y R es una relacin binaria
sobre A tal que si (a,b) est en R, entonces el examen a debe
realizarse antes que el b, entonces el examen b no debe realizarse
antes del examen a para dos exmenes distintos a y b, de esto R es
una relacin antisimtrica.

Si R es una relacin binaria sobre A, R es una relacin
transitiva si (a, c) est en R siempre que tanto (a, b) como (b,c)
estn en R. Por ejemplo si A={a, b, c} y X= {(a, a), (a, b), (a, c), (b, c)
} X es una relacin transitiva. Tambin Y= {(a, b)} es una relacin
transitiva, mientras que Z= { (a, b) , (b, c)} no lo es.

Si R es una relacin binaria sobre A la extensin transitiva de
R denotada por R
1
es una relacin binaria sobre A tal que R
1

contiene a R y adems si (a, b) y (b, c) estn en R, entonces (a,c)
est en R
1.

6.5 COMPOSICION DE RELACIONES.

La relacin R
2
R
2
es la composicin de R
2
y de R
1
, donde
dadas dos relaciones , R
1
de S a T y R
2
de T a U la relacin
composicin
{<x, z> S x U: para alguna y T, <x, y> R
1
y <y, z> R
2
}

se denotar R
1
R
2
o R
2
R
1
. As x R
1
R
2
z precisamente existe y
T tal que x R
1
y y y R
2
z.

Si tenemos las relaciones
R
1
= { <s, c> S x C: est inscrito en c}
R
2
= {<c, d> C x D: se requiere en d}

Podemos observar que
R
1
R
2
= {<s, d> S x D: para alguna c C, <s, c> R
1
y <c, d>
R
2
}

Por est razn <s, d> pertenece a R
1
R
2
si el alumno s est
tomando un curso requerido por el departamento d.

67
LEY DE ASOCIATIVIDAD PARA RELACIONES

Si R
2
es una relacin de S a T, R
2
es una relacin de T a U y R
2

es una relacin de U a V, entonces

(R
1
R
2
) R
3
= R
1
( R
2
R
3
)

demostracin:

un par ordenado <x, v> en S x V pertenece a (R
1
R
2
) R
3
si y slo si

existe y T y z U tal que
<x, y> R
1
, <x, z> R
2
y <z, v> R
3

6.6 LA LATTICE DE LAS PARTICIONES.

Si consideramos la coleccin de todas las relaciones de
equivalencia en un conjunto S. Esta coleccin est parcialmente
ordenada por la inclusin. El elemento minimal es la relacin
igualdad E y el elemento maximal es la relacin universal U = S x s,
ya que E R U para toda relacin de equivalencia R en s. Esta
coleccin es un latice si hacemos

R
1
R
2
= R
1
R
2
y R
1
R
2
= tsr(R
1
R
2
)

Si consideramos una bolsa de canicas y las dos siguientes
relaciones de equivalencia en S:

<s, t> R
1
si s y t son del mismo color;

<s, t> R
2
si s y t son del mismo tamao

entonces <s, t> R
1
R
2
si y slo si s y t son del mismo color
y tamao

Si consideramos las relaciones de equivalencia R
1
y R
2
con
particiones correspondientes
1
y
2
y. Entonces R
1
R
2
y si y slo
si cada dos elementos relacionados por R
1
estn relacionados por
R
2
y , es decir si y slo dos elementos en una clase de R
1
estn en
la misma clase de R
1
. Entonces R
1
R
2
si y slo si cada
conjunto en
1
es un subconjunto de algn conjunto en
2
;
decimos que
1
es un refinamiento de
2
y escribimos
1

2

si es el caso. La particin
1

2
es fcil de encontrar consiste
en todos los conjuntos no vacos que se obtienen al intersectar un
conjunto en
1
con un conjunto en
2
. De la misma manera que en
el caso de las relaciones de equivalencia , es usualmente menos
claro saber que la particin
1

2
es la correspondiente a R
1

R
2.
68

Para la bolsa de canicas del ejemplo anterior cada conjunto de
la particin
1

2
corresponde a un color y tamao particular.
La naturaleza de
1

2
depende del tipo de canicas que haya en
S y de cmo estn relacionadas . Puede consistir solamente del
conjunto S.


I. Supongamos que la bolsa del ejemplo tiene 10 canicas: 6
verdes chicas, 3 rojas grandes y 1 verde grande. Describa
1

2
y
1

2
Cuntos conjuntos hay en cada una de esas
particiones?
II.Cmo cambiaran sus respuestas al ejercicio anterior, si la
canica verde grande se perdiera?
III. Repita el ejercicio 1 si la bolsa tiene 10 canicas: 4
amarillas chicas, 3 azules medianas, 2 blancas medianas y
una amarilla grande.
IV. Cmo respondera al ejercicio anterior si aadiera una
canica azul grande en la bolsa?


I. Anote la definicin de conjunto parcialmente ordenado.
II. Mencione y explique las ordenes especiales.
III. Defina las relaciones de equivalencia y agregue dos ejemplos.
V. Explique las propiedades delas relaciones binarias.
VI. Presenta dos ejemplos de cadenas y realiza su copo.
Agrega tus conclusiones de la actividad preliminar

69


Investiga los siguientes conceptos:
Grupo
Subgrupo
Teorema de Burnside
Teorema de Lagrange

OBJETIVO

Lograr que el alumno comprenda las caractersticas y propiedades
de grupos, subgrupos y anillos, buscando su vinculacin con
situaciones cotidianas.

7.1 INTRODUCCION.

Si a y B son dos conjuntos, una funcin de A x A hacia b se
llama una operacin binaria sobre el conjunto. Con mayor
frecuencia se encuentran funciones de A x A hacia A. Una
funcin de A x A hacia A es una operacin binaria cerrada. Un
ejemplo de ello sera el caso de un nio cuyo color de pelo est
determinado por el pelo de sus padres(ver figura 1), la relacin
entre el color de l cabello de un nio y el de sus padres puede
describirse mediante una funcin de A x A hacia A, donde A=
{claro, oscuro}. Esta operacin binaria es cerrada. Una
operacin binaria especifica una manera en la cual dos
elementos son combinados para dar origen a un tercer
elemento.

Madre
Padre
claro Oscuro
Claro Claro Oscuro
Oscuro Oscuro Oscuro

7
Captulo
Grupos y
Anillos
70
Figura 1
Una operacin binaria puede describirse mediante una
notacin funcional, es decir si consideramos la funcin de A x A
hacia A llamada f, donde f(a
1
, a
2
) denotar la imagen del par
ordenado (a
1
, a
2
) en A x A. Una manera alternativa de escribir f(a
1
,
a
2
) es escribirla como a
1
fa
2
, utilizando smbolos como operadores
en lugar de letras para los nombres de funciones, estos smbolos
pueden ser , *, + , .
Un conjunto asociado con un nmero de operaciones sobre el
conjunto recibe el nombre de sistema algebraico, se utilizar la
notacin (A, , *, + ) para un sistema algebraico donde A es un
conjunto y , *, son operaciones sobre A.

7.2 GRUPOS Y SUBGRUPOS.

Si es una operacin binaria sobre el conjunto A , la operacin
es asociativa si
(a b) c = a (b c)

para todo a, b y c en A. Cuando se tiene que llevar a cabo un cierto
nmero de veces una operacin asociativa, el orden en el se lleven
a cabo no es importante.
Si (A, ) es un sistema algebraico donde es una operacin binaria
sobre A, (A, ) es un semigrupo, si :

- Es una operacin cerrada.
- Es una operacin asociativa.

Si S es un alfabeto finito y denotamos por A todas las cadenas
no vacas de letras de S, si S={, , } se tiene que A={, , , ,,
, ..., , ,...}) si . es una operacin binaria sobre A tal que
para dos cadenas cualesquiera a y b en a, a . b da lugar a una
cadena que es la concatenacin de las cadenas a y b, (A, .) es un
semigrupo.
Si (A, ) es un sistema algebraico donde es una operacin
binaria sobre A, un elemento en A, e, es una identidad por la
izquierda si para todo x en A, ex=x. Para el sistema algebraico de
la figura 2 tanto como son identidades por la izquierda. Un
elemento en A, e es una identidad por la derecha si para todo x en A,
xe=x. En el sistema algebraico de la figura 3 es una identidad por
la derecha. Un elemento en A es una identidad si ste es tanto una
identidad por la izquierda como por la derecha.

71
Figura 2

Figura 3

Podemos afirmar que con respecto a una operacin binaria
existe a lo ms una identidad. Una identidad es un elemento
neutral en el sentido de que, cuando se combina con otro
elemento, su efecto sobre le resultado es nulo. Por ejemplo si
(A, ) es un sistema algebraico donde A es un conjunto de luces
de colores y es una operacin binaria tal que ab es la luz del
color resultante cuando la luz a se combina con la luz b. La luz
blanca es la identidad del sistema algebraico.

Si (A, ) es un sistema algebraico donde es una operacin
binaria sobre A, entonces (A, ) es un monoide si:

- es una operacin cerrada
- es una operacin asociativa
- existe una identidad.

Si (A, ) es un sistema algebraico con una identidad e y a es un
elemento de A, entonces b es un inverso por la izquierda de a si
ba = e. Un elemento b es un inverso por la derecha de a si a
b = e. Un elemento b es un inverso de a si ste es tanto un
inverso por la izquierda como por la derecha de a, si b es un
inverso de a, tambin a es un inverso de b. Un inverso de
elemento cancela el efecto del elemento cuando estos se
combinan.

Si (A, ) es un sistema algebraico, donde es una operacin
binaria, entonces (A, ) es un grupo si:

- es una operacin cerrada.
- es una operacin asociativa
- existe una identidad
- todo elemento de A tiene un inverso por la izquierda

Debido a la asociatividad, un inverso por la izquierda de un
elemento tambin es un inverso por la derecha del elemento en
un grupo. Si b es el inverso por la izquierda de a y c el inverso
por izquierda de b, siendo e la identidad tenemos que:
72
a b = e
La asociatividad tambin implica la unicidad del inverso de un
elemento cualquiera, suponiendo que tanto b como c son inversos
de a se tiene que

b = c

La notacin a
-1
se utiliza para denotar el inverso de a. Si G
={PAR, IMPAR} y es una operacin binaria definida como en
la figura 4, se puede verificar que (G, ) es un grupo donde PAR
es la identidad y tanto PAR como IMPAR son sus propios
inversos.

PAR IMPAR
PAR PAR IMPAR
IMPAR IMPAR PAR

Figura 4

Si es una operacin binaria sobre Z
n
tal que para a y b en Z
n

se tiene que
a + b si a + b < n
a b =
a + b n si a + b n

Podemos observar que (Z
n,
) es un grupo para cualquier n. (Z
n,
) se conoce como el grupo de enteros mdulo n.

Si es una operacin binaria sobre A, esta operacin es
conmutativa si

a b = b a

para todo a, b en A. Se dice que un grupo (A, ) es un grupo
conmutativo o un grupo abeliano si es una operacin conmutativa,
por ejemplo (Z
n,
) es un grupo conmutativo. Un grupo (A, ) es
finito si A es un conjunto finito, e infinito si A es un conjunto infinito.
El tamao de A es conocido como el orden del grupo.

Si (A, ) es un grupo y B un subconjunto de A, (B, ) es un
subgrupo de A si (B, ) es asu vez un grupo. Para verificar que (B,
) es un subgrupo para un subconjunto B de A tenemos que hacer
lo siguiente:

- verificar si es una operacin cerrada sobre B.
73
- verificar que es una operacin asociativa.
- Como slo existe un elemento e tal que e x= x e para
todo x en A, debemos verificar que e est en b, es decir la
identidad de (A, ) debe estar en B como la identidad (B, ).
- Como el inversos de cualquier elemento A es nico, para
cualquier elemento en B, debemos verificar que su inverso
tambin est en B.

Si (I, +) es un sistema algebraico, donde I es el conjunto de
todos los enteros y + es la operacin ordinaria de suma de enteros,
entonces (I, +) es un grupo siendo (E, +) un subgrupo donde E es el
conjunto de todos los enteros pares.
Si (A, ) es un grupo y B un subconjunto de A, si B es un conjunto
finito, entonces (B, ) es un subgrupo de (A, ) si es una
operacin binaria cerrada sobre B.


I. Si N es el conjunto de todos los nmeros naturales . Para
cada uno de los siguientes casos determine si * es un
operacin asociativa:
a) a * b = mx (a, b)
b) a * b = mn (a, b + 2)
c) a * b = a +b + 3
d) a * b = a + 2b
II. Sea (A, ) un sistema algebraico tal que para todo a, b, c,
d en A
a a = a
(a b) (c d) = (a c) (b d)

demuestre que
a (b c) = (a b) (a c)
III. Si ( A, ) es un semigrupo y a es un elemento de A.
considere la operacin binaria sobre A tal que, para todo
x y y en A

x y = x a y

demuestre que es una operacin asociativa.
IV. Si (A, ) es un semigrupo donde para todo a y b en A, si a
b, entonces a b b a. Demuestre:
a) Que para todo a en A, a a = a
b) Que para todo a, b en A, a b a = a
c) Que para todo a, b, c en A, a b c = a c

observe que a b = b a implica a = b
74
V. Si (A, ) es un semigrupo, demuestre que para a, b, c en
A, si a c = c a y b c = c b, entonces,
(a b) c = c (a b)
VI. Si (A, ) es un semigrupo conmutativo, demuestre que si a
a = a y b b = b,
entonces , (a b) (a b) = a b

7.3 GENERADORES Y EVALUACIN DE POTENCIAS.

Si (A, ) es un sistema algebraico en el cual A es un conjunto
de colores y la operacin binaria proporciona el color que origina
la combinacin de dos colores por ejemplo, rojo amarillo = naranja.
Suponiendo que nos dan un subconjunto de colores en A, podramos
querer conocer todos los colores que obtendramos si utilizramos
todas las posibles combinaciones de los colores suministrados. Si
(A, ) es un sistema algebraico donde es una operacin cerrada y
B = {a
1
, a
2
,...} un subconjunto de de A, si B
1
es el subconjunto de A
el cual contiene a B como tambin a todos los elementos a
i
, y a
j
en
B. B
1
recibe el nombre de conjunto generado directamente por B. Si
B
2
es conjunto generado directamente por B
1
, ..., y B
i+1
es el
conjunto generado directamente por B
1
. siendo la unin de B, B
1
, B
2

el sistema algebraico (B*, ) recibe el nombre de subsistema
generado por B.

Un elemento es generado por B si ste se encuentra en B*.
es una operacin cerrada sobre B*, de esta forma para un grupo (A,
) si B* es finito entonces (B*, ) es un subgrupo. Si B* = A ,
entonces B es un conjunto generador o un conjunto de generadores
del sistema algebraico (A, ). En el ejemplo de los colores un
conjunto generador es un subconjunto del conjunto de colores cuyas
combinaciones darn lugar a todos los colores en el conjunto
original.

Un grupo que tiene un conjunto generador consistente en un
nico elemento se conoce como un grupo cclico. En la figura 5 se
observa un grupo cclico donde {} es un conjunto generador al igual
que {}.

Figura 5

75
Si (A, ) es un grupo cclico y {a} un conjunto generador de (A,
) expresando los elementos de A como a, a
2
, a
3
, ... y si recurrimos
a la asociatividad, a
i
a
j
= a
j
a
i
= a
i + j
llegamos a la conclusin de
que cualquier grupo cclico es conmutativo.

Existen procedimientos para evaluar la potencia x
n
para una x
dada y un entero positivo n. Si consideramos el sistema algebraico
(I, +) donde I es el conjunto de todos los enteros positivos y + es la
operacin ordinaria de suma de enteros, B0{1} es un conjunto
generador del sistema. Para un entero dado n, este puede
generarse de diferentes maneras. Por ejemplo a continuacin se
muestran algunas maneras de generar el entero 9:

2 3 4 5 6 7 8 9
2 3 4 5 9
2 4 8 9

Una sucesin de elementos de I que conduce a la generacin
de un entero n se conoce como una cadena de adicin para n. La
conexin entre una cadena de adicin para n y un procedimiento
para evaluar x
n
para un valor de x dado resulta obvia al recordar
que x
j
. x
k
= x
j + k
.

Tocaremos dos procedimientos para determinar cadenas de
adicin para n:
1 Si n puede factorizarse como pq, se determinan
cadenas de adicin para p y q y se combinan para
obtener una cadena de adicin para pq. Si
p
1
p
2
... p
i 1
p

q
1
q
2
... q
j 1
q

son la cadenas de adicin para p y q, entonces

q
1
q
2
... q
j 1
q p
1
q ... p
i 1
q

pq

es una cadena de adicin para n.

2 Si n es un nmero par, se puede determinar una
cadena de adicin para n/2 y entonces agregar n/2 a
n/2 para obtener n. De esto si

a
1
a
2
... n/2

es una cadena de adicin para n/2, entonces
a
1
a
2
... n/2 n
76
es una cadena de adicin para n. Si n es un nmero impar se puede
determinar una cadena de adicin para (n 1), se agrega (n 1)/2
para obtener n 1 y despus se agrega 1 a n 1 para obtener n, se
decir si

a
1
a
2
... (n- 1)/2

es una cadena de adicin para (n 1) /2 , entonces

a
1
a
2
... (n- 1)/2 n 1 n

es una cadena de adicin para n.

7.4 TEOREMA DE LAGRANGE.

Si (A, ) es un grupo y (H, ) un subgrupo de (A, ), debido a que
(A, ) es un grupo para cualquier a en A y cualesquiera distintos h
1

y h
2
en H, a h
1
a h
2
. Se tiene que el tamao de cualquier
conjunto cociente de H es el mismo que el de H. H contiene la
identidad del grupo, si se calcula todos los conjuntos cociente por la
izquierda (por la derecha) de H, se habrn utilizado todos los
elementos den a.

Se puede concluir de lo anterior que los conjuntos cociente
por la izquierda de H multiplicado por el tamao de H. Esto lo
podemos concretar en el teorema de Lagrange el cual dice que el
orden de cualquier subgrupo de un grupo finito divide al orden del
grupo.

7.5 GRUPOS DE PERMUTACIONES Y TEOREMA DE
BURNSIDE.

Una funcin uno a uno de un conjunto s sobre l mismo se
conoce como una permutacin del conjunto S. Se utiliza la
notacin abcd para la per-
bdca

mutacin del conjunto {a, b, c, d} que mapea a hacia b, b hacia d, c
hacia c y d hacia a, esto es en la fila superior los elementos en el
conjunto estn escritos en un orden arbitrario y en la fila inferior la
imagen de un elemento ser escrita bajo el elemento mismo.

Si (A, ) es un grupo en el cual la permutacin que mapea cualquier
elemento de de S hacia l mismo es la identidad y el inverso de una
permutacin es uno que mapea (a) hacia a para todo a en s. Por
ejemplo apara S= {a, b, c, d} la identidad de (A, ) es abcd el
inverso de abcd es abcd . un
abcd bcad cabd
77
subgrupo de (A, ) usualmente es referido como un grupo de
permutacin del conjunto S.

Si (G, ) es un grupo de permutacin del conjunto S= {a, b, ...}
una relacin binaria sobre el conjunto S es llamada la relacin
binaria inducida por (G, ) est definida de tal manera que el
elemento a est relacionado al elemento b si y slo si existe una
permutacin en g que mapea a hacia b, por ejemplo si

abcd abcd abcd abcd
G=
abcd bacd abdc badc

La relacin binaria inducida por (G, ) aparece en la figura 6 , en la
cual podemos observar que la relacin binaria sobre S inducida por
un grupo de permutacin (G, ) es una relacin de equivalencia.

a b c d
a a a
b a a
c a a
d a a

Figura 6

Dado un conjunto S y un grupo de permutacin (G, ) de S
para encontrar el nmero de clases de equivalencia en las cuales se
divide S por la relacin de equivalencia inducida sobre S inducida
por (G, ) encontramos la relacin de equivalencia y contamos el
nmero de clases de equivalencia. Sin embargo cuando el conjunto
S contiene un gran nmero de elementos, ese conteo se prolonga
demasiado, la alternativa para ello es el teorema de Burnside para
encontrar el nmero de clases de equivalencia mediante el conteo
del nmero de elementos que son invariantes bajo las
permutaciones en el grupo. Un elemento es invariante bajo una
permutacin (tambin conocido como invariancia) si la permutacin
mapea al elemento hacia l mismo.

El teorema de Burnside nos dice que l nmero de clases de
equivalencia en las cuales es dividido un conjunto S mediante una
relacin de equivalencia inducida por un grupo de permutacin (G, )
de S est dado por

78
Error! ()
G

donde () es el nmero de elementos que son invariantes bajo la
permutacin .

Ahora se aplicar este teorema en el siguiente ejemplo, si S={a, b, c,
d} y G es el grupo de permutacin que consiste en

Abcd abcd abcd
abcd
1
=
2
=
3
=
4
=
abcd bacd abdc
badc

la relacin de equivalencia sobre S inducida por G aparece en la
figura 6 . S est dividida en dos clases de equivalencia, {a, b} y {c,
d}. Para calcular el nmero de clases de equivalencia de acuerdo
con el teorema de Burnside, podemos observar que puesto que
(
1
) = 4, (
2
) = 2, (
3
) = 2 y (
4
) = 0, el nmero de clases de
equivalencia es

Error!(4 + 2 + 2 + 0 ) = 2

7.6 CODIGOS Y CODIGOS DE GRUPO.

El problema de codificacin es representar mensajes distintos
mediante diferentes secuencias de letras de un alfabeto dado. Por
ejemplo, mensajes como emergencia, la ayuda est en camino, est
todo claro, etc., pueden ser representados por secuencias de puntos
y rayas. En este caso supondremos que el alfabeto es binario {0, 1} .
Una secuencia de letras de un alfabeto se conoce como
palabra. Un cdigo es una coleccin de palabras que son utilizadas
para representar distintos mensajes. Una palabra en un cdigo
tambin es denominada como una palabra cdigo. Un cdigo de
bloque es un cdigo consistente de palabras que son de la misma
longitud. Uno de los criterios al escoger un bloque de cdigo para
representar un conjunto de mensajes es su capacidad para corregir
errores.

79
Supongamos que una palabra cdigo es transmitida desde
sus origen hacia su destino. En el curso de la transmisin
interferencias como ruido pueden ocasionar que algunos de los
nmeros uno en la palabra cdigo sean recibidos como nmeros
cero y algunos de los ceros como unos. En consecuencia, la palabra
recibida podra no continuar siendo la palabra transmitida y es
nuestro deseo recuperar la palabra transmitida lo mejor posible. Esto
es lo que se entiende por correccin de errores.

Si denotamos como A al conjunto de todas las sucesiones
binarias de longitud n, siendo una operacin binaria sobre A tal
que para x y y en A, x y es una sucesin de longitud n que tiene
nmeros uno en las posiciones donde x y y difieren y nmeros cero
en las posiciones donde x y y son iguales. Por ejemplo sea x= 00101
y y = 10110, entonces x y = 10011.
Una palabra con nicamente ceros es la identidad y cualquier
palabra es su propio inverso en (A, ).

Si x es una palabra en A. Definimos el peso de x, denotado
por W(x) como la cantidad de nmeros uno en x. As el peso de
1110000 es de 3 al igual que el de 1001100. Para x y y en A
definimos la distancia entre x y y denotada por D(x, y) como el peso
de x y , w(x y ). Por ejemplo la distancia entre 1110000 y
1001100 es 4 y la distancia entre 1110000 y 0001111 es 7, podemos
observar que la distancia entre dos palabras es el nmero de
posiciones en la cuales difieren.

Para x y y cualesquiera, d(x, y) = d(y, x). Para toda x, y, z en A

d(x, y) d(x, z9 + d(z, y)

Si G es un cdigo de bloque, la distancia de G es la distancia mnima
entre cualquier par de palabras cdigo distintas en G. La distancia de
un cdigo de bloque est muy relacionada con su capacidad para
corregir errores.

Ahora se vern los cdigos de grupo . Un subconjunto G es
llamado un cdigo de grupo si (G, ) es un subgrupo de (A, )
donde A es el conjunto de sucesiones binarias de longitud n. La
distancia G es igual al peso mnimo de las palabras diferentes del
nulo en G. Este resultado hace ms simple calcular la distancia para
cada par de palabras distintas en G. Si suponemos que x es una
palabra diferente del nulo en G. Debido a que

w(x)= d(x, 0).

Para cdigos de grupo, existe una manera eficiente de
determinar la palabra transmitida correspondiente a una palabra
recibida de acuerdo con el criterio de decodificacin de la mnima-
distancia. Si (G, ) es un cdigo degrupo y y una palabra recibida
80
debido a que d(x
i
, y) = w(x
i
y)los pesos de las palabras en el
conjunto cociente G y son las distancias entre las palabras cdigo
en G y y. Si enotamos por e a la palabra de menor peso en G y. Si
e= x
j
y donde x
j
est en G. De acuerdo con el criterio de
decodificacin de la mnima-distancia, e =x
j
es la palabra cdigo
transmitida. Como este argumento es vlido para toda y en el
conjunto cociente G nuestro procedimiento decodificado puede
establecerse como:

- determinar todos los conjuntos cociente de g
- para cada conjunto cociente, tomar la palabra de menor
peso a la cual nos referimos como el lder del conjunto
cociente
- para una palabra recibida y, e y es la palabra transmitida,
donde e es el lder del conjunto cociente que contiene a y.

7.7 HOMOMORFISMOS, ISOMORFISMOS, AUTOMORFISMOS Y
SUBGRUPOS NORMALES.

Si (A, ) y (B, *) son dos sistemas algebraicos y f una funcin
de A hacia B tal que para cualesquiera a
1
y a
2
en A

f(a
1
a
2
)= f(a
1
) * f(a
2
)

f se denomina un homorfismo de (A, ) hacia (B, *) , y (B, *) se
denomina la imagen homorfa de (A, ). Para los dos sistemas
algebraicos de las figuras 7 y 8 la funcin f tal que

f()= 1 f()= 1 f()= 1
f()=0 f()= 0
f()=-1

es un homorfismo del sistema algebraico ({,,,,,}, ) hacia el
sistema algebraico ({1, 0, -1}, )

Figura 7
81

1 0 -1
1 1 1 0
0 1 0 -1
-1 0 -1 -1

Figura 8

Se puede definir un nuevo sistema algebraico (B, *) de la siguiente
manera: si B={A
1
, A
1
, ..., A
r
} es la particin de A inducida por R y *
la operacin binaria tal que para A
i
, y A
j
cualesquiera en B, A
i
, * A
j

es igual a la clase de congruencia A
k
que contiene al elemento a
1

a
2
donde a
1
es cualquier elemento en A
i
y a
2
es cualquier elemento
en A
j
. Debido a que R es una relacin de congruencia, la operacin
* est bien definida. (B, *) es una imagen homomorfa de (A, ) ya
que la funcin
f(a) = A
i
si a A
i

es un homomorfismo desde (A, ) hacia (B, *). Una imagen
homomorfa de un sistema algebraico puede verse como una
descripcin global del comportamiento del sistema cuando se
ignoran algunas de las caractersticas que distinguen a ciertos
elementos en el sistema. En consecuencia, los elementos que se
vuelven indistinguibles pueden ser colocados en una clase de
congruencia y el comportamiento del sistema puede describirse por
la manera en que interactan estas clases de congruencia.
Consideremos el sistema algebraico (I, .) donde I es el conjunto de
todos los enteros y . es la operacin ordinaria de multiplicacin de
enteros. Suponiendo que no estamos interesados en distinguir a
todos los enteros en I, sino que deseamos hacer una distincin entre
enteros positivos, enteros negativos y cero. Podemos observar que
el sistema algebraico (B, ) en la figura 9 es una imagen homomorfa
de (I, .) y que la funcin f tal que

POSITIVO si n es un entero positivo
f(n)= NEGATIVO si n es un entero negativo
CERO si n= 0

es un homomorfismo de (I, .) hacia (B, )

POSITIVO NEGATIVO CERO
POSITIVO POSITIVO NEGATIVO CERO
NEGATIVO NEGATIVO POSITIVO CERO
CERO CERO CERO CERO

Figura 9

82
Un sistema algebraico (B, *) es isomorfo al sistema algebraico
(A, ) si podemos obtener (B, *) a partir de de (A, ) mediante el
renombrado de los elementos, la operacin en (A, ) o ambas cosas
. (B, *) es isomorfo a (A, ) si existe una funcin biyectiva f de A
hacia B tal que para todo a
1
y a
2
en A

f(a
1
a
2
) = f(a
1
) f(a
2
)

la funcin f se conoce como un isomorfismo de (A, ) hacia (B, *) , y
(B, *) se denomina la imagen isomorfa de A. La funcin f tal que
f(a)=
f(a)=
f(a)=
f(a)=

es un isomorfismo del sistema algebraico (A, ) en la figura 10 hacia
el sistema algebraico (B, *) en la figura 11.

A b c D
a A b c D
b B a a C
c B d d C
d A b c D

Figura 10

Figura 11

La nocin de isomorfismo entre dos sistemas algebraicos
relaciona los sistemas algebraicos abstractos a situaciones fsicas
que se encuentran en la prctica. En consecuencia las propiedades
de los sistemas algebraicos abstractos tendrn una interpretacin
directa en trminos de situaciones fsicas.
Un isomorfismo de un sistema algebraico (A, ) hacia (A, ) se
denomina automorfismo sobre (A, ) . Por ejemplo , la funcin f tal
que:
f(a)= d
f(a)=c
f(a)=b
f(a)= a
83

es un automorfismo sobre el sistema algebraico (A, ) en la figura 7.
Una interpretacin fsica de un automorfismo sobre un sistema
algebraico es una manera en la cual los elementos en el sistema
intercambian sus papeles.

Finalmente trataremos lo relacionado con subgrupos normales, si H
es un subgrupo de G, H es un subgrupo normal si para todo
elemento a en G, el conjunto cociente izquierdo a H es igual al
conjunto cociente derecho H a (si G es un grupo conmutativo,
cualquier subgrupo de G es normal) .
Para el grupo (A, ) mostrado en la figura 12, (H, ) es un
subgrupo normal, donde H={, , }.

Figura 12


I. Cuntos grupos no isomorfos que contienen exactamente cuatro
elementos existen?
II. Demuestre que si (H, ) y (K, ) son subgrupos normales,
entonces (H K, ) tambin es un subgrupo normal.
III. Si f y g son homomorfismos de un grupo (G, ) hacia un grupo
(H, ) demuestre que (C, ) es un subgrupo de (G, ) donde
C = { x Gf(x) = g(x)
7.8 ANILLOS, DOMINIOS INTEGRALES Y CAMPOS.

Dados dos sistemas algebraicos (A, ) y ( A, *) se pueden
combinar para dar lugar a un sistema algebraico con dos
operaciones binarias (A, , *), este ltimo sistema puede ser un
conglomerado de dos sistemas algebraicos con una operacin si las
dos operaciones estn relacionadas de alguna manera. Si (A,
, *) es un sistema algebraico tal que para a y b en A, cualesquiera
a b = b * a, podemos observar que las dos operaciones y * estn
relacionadas en que ambas son conmutativas, o bien ambas no lo
son, tambin ambas operaciones pueden estar relacionadas con la
propiedad de distributividad.

84
Las clases de sistemas algebraicos con dos operaciones son
conocidos como anillos, dominios integrales y campos. Un sistema
algebraico (A, +, .) se denomina un anillo si satisface las siguientes
condiciones:

- (A, +) es un grupo abeliano
- (A, .) es un semigrupo
- la operacin . es distributiva sobre la operacin +

Una operacin . es distributiva sobre la operacin + si para todo a, b
y c en A,

a. (b + c) = (a . b) + (a . c)
y (b +c) . a = (b . a) + (c . a)

nos referiremos a las dos operaciones de un anillo (A, +, .) como
adicin y multiplicacin, y a a + b como la suma de a y b y a a. b
como el producto de a y b. La identidad del grupo abeliano (A, +) es
conocida como identidad aditiva y se denota por 0. El inverso de un
elemento a del grupo (A, +) se denomina como el inverso aditivo de
a y se denota por a.

Si (A, +, .) es un sistema algebraico con dos operaciones
binarias se dice que (A, +, .) es un dominio integral si :

- (A, +) es un grupo abeliano.
- La operacin es conmutativa y adems si c0 y c . a=c . b,
entonces a0b, donde 0 denota la identidad aditiva.
- La operacin . es distributiva sobre la operacin +.

Si (A, +, .) es un sistema algebraico con dos operaciones binarias, se
dice que (A, +, .) es un campo si:

- (A, +) es un grupo abeliano
- (A {0}, .) es un grupo abeliano
- la operacin . es distributiva sobre la operacin +.


I. Si (a, +, .) es un anillo tal que a . a = a para todo a en A.
demuestre:
a) Que a + a = 0 para todo a en A.
b) Que la operacin . es conmutativa.
II. Demuestre que un dominio integral que tiene un nmero finito
de elementos es un campo.
III. anillo (A, +, .) es un anillo conmutativo con la unidad si (A,
.) es un monoide conmutativo.
85
a) Diremos que un ideal H de un anillo es un ideal primo
si, para dos elementos cualesquiera a y b que no estn
en H, a. b tampoco est en H. Demuestre que la
imagen homomorfa de un anillo conmutativo con la
unidad inducida por un ideal es un campo si y slo si el
ideal es maximal.
b) Diremos que un ideal H es un ideal maximal si los
nicos ideales de un anillo que contiene a H son H y el
anillo mismo. Demuestre que la imagen homomorfa de
un anillo conmutativo con la unidad inducida por un
idela es un campo si y slo si el ideal es maximal

7.9 HOMOMORFISMO DE ANILLOS.

Si (A, +, .) y (B, , ) son dos sistemas algebraicos, una funcin f
sobreyectiva, de A hacia B se dice que es un homomorfismo de (A,
+, .) hacia (B, , ) si para cualesquiera a y b en A

f( a + b) = f(a) f(b)
f(a .b) = f(a) f(b)

adems (B, , ) es denominado como una imagen homomorfa de
(A, +, .).

Por ejemplo si N es el conjunto de todos los nmeros naturales y + y
. son las operaciones ordinarias de adicin y multiplicacin de
nmeros naturales y consideramos el sistema algebraico ({PAR,
IMPAR}, , ) , podemos sealar que ({PAR, IMPAR},, ) es una
imagen homomorfa de (N, +, .) adems la funcin f tal que

PAR si n es un nmero par
f(n)=
IMPAR si n es un nmero impar

Es el correspondiente homomorfismo de (N, +, .) hacia ({PAR,
IMPAR}, , )

Ahora si (A, +, .) es un anillo y H es un subconjunto de A, H es un
ideal si se satisfacen las siguientes condiciones:

- (H, +) es un subgrupo de (A, +)
- para todo a en A y h en H, a .h y h.a estn en H.,

de lo anterior se tiene que un ideal de un anillo(A, +, .) induce una
elacin de congruencia sobre A respecto de ambas operaciones + y .
y en consecuencia define una imagen homomorfa de (A, +, .)

86
7.10 ANILLOS POLINOMIALES Y CODIGOS CICLICOS.

Si (A, ,* ) es un sistema algebraico donde es una operacin
m-aria y * es una operacin n-aria, nos referiremos a los elementos
de A como constantes. Una variable es un nombre simblico que no
es el nombre de algn elemento de A. Podemos definir las
expresiones algebraicas en (A, , *) de acuerdo con las siguientes
reglas:

- cualquier constante es una expresin algebraica.
- Cualquier variable es una expresin algebraica
- Si e
1
, e
2
,..., e
m
, son expresiones algebraicas, entonces ( e
1
,
e
2
,..., e
m
) tambin lo es
- Si e
1
, e
2
,..., e
m
, son expresiones algebraicas, entonces *( e
1
,
e
2
,..., e
m
) tambin lo es.

Si (A, +, .) es un anillo ,una expresin algebraica en (A, +, .) de la
forma

a
0
+ (a
1
. x) + (a
2
. x)
2
+...+( a
n 1
. x
n 1
)+ (a
n
. x
n
) n0

se conoce como un polinomio, donde a
0
a
1,...
a
n 1,
a
n
son
constantes y x es una variable.
El grado de un polinomio es el mayor n para el cual a
n
es
diferente de 0. (F[x], , ) es un anillo el cual se le conoce como un
anillo polinomial.

Ahora retomamos lo relativo a cdigos, para referirnos a los
cdigos cclicos, los cuales son cdigos de bloque si para toda
palabra cdigo a
0
a
1
a
2
... a
n -2
a
n -1
la secuencia a
n -1
a
0
a
1
a
2
... a
n -2
tanbin es una palabra cdigo, en otras palabras para un cdigo
cclico, un corrimiento cclico de una palabra cdigo tambin es una
palabra cdigo.


I. Si (F, +, .) es el campo de enteros mdulo 2 y (F[x], , )
el correspondiente anillo de polinomios. Construya el anillo
de polinomios mdulo 1 + x + x
2
.
II. Si (F, +, .) es el campo de enteros mdulo 3 y (F[x], , )
el correspondiente anillo de polinomios. Construya el anillo
de polinomios mdulo 2 + 2x + x
2
.
III. Si (R, +, .) es el campo de los nmeros reales y sean (R[x],
, ) el correspondiente anillo de polinomios y (R
2
[x], ,
) el anillo de polinomios mdulo 1 + x
2
.
87
a) para a+ bx + c + dx en R
2
[x], determine (a + bx) (c +
dx) y (a + bx) (c + dx).
b) Observas alguna similitud entre (R
2
[x], , ) y el campo
de los nmeros complejos.


I. Explica lo que es una operacin binaria e indica como se
representa.
II. Explica cuando es asociativa una operacin binaria.
III. Define grupo y subgrupo.
IV. Explica cuando es conmutativa una operacin binaria.
V. Define orden de un grupo.
VI. Explica los teoremas de Lagrange y de Burnside.
VII. Define cdigo de grupo.
VIII. Define isomorfismo, homomorfismo y automorfismo.
IX. Menciona las condiciones que un sistema algebraico debe
cumplir para que sea: a) un anillo. b) un dominio integral.
c) un campo.
Explica los conceptos de anillo polinomial y cdigo cclico.

88


I. Investiga los smbolos y la tabla de verdad de las
compuertas lgicas AND, OR, NOR y de los flip-flops ms
usuales.
II. Investiga como se realiza la conexin en serie y en
paralelo de los elementos de un circuito.
III. Investiga los tipos de tecnologa que se utiliza en la
fabricacin de circuitos integrados y en que consiste cada
una de ellas.

OBJETIVO

Lograr la vinculacin de los conocimientos de esta unidad con los ya
aprendidos anteriormente en esta y otras asignaturas de tal forma
que se desarrollen circuitos bsicos en los que estos conocimientos
se apliquen.

8.1 LATTICES Y SISTEMAS ALGEBRAICOS.

Un lattice es un conjunto parcialmente ordenado en el cual dos
elementos cualesquiera tienen una nica cota superior mnima y
una nica cota inferior mxima. Existe una manera de definir un
sistema algebraico con dos operaciones de manera que
corresponda a un lattice dado. Si (A, ) es un lattice, definimos
un sistema algebraico (A, , ) donde y son dos
operaciones binarias sobre A tales que para a y b en A, a b es
igual a la cota superior mnima de a y b , y a b es igual a la
cota inferior mxima de a y b, nos referios a (A,, )como al
sistema algebraico definido por el lattice (A, ) .
8
Captulo
lgebra
Booleana
89
La operacin binaria se conoce como adicin y la operacin
como multiplicacin, como consecuencia la cota superior
mnima de a y b tambin se reconocer como la adicin de a y b
y la cota inferior mxima de a y b se reconocer como la
multiplicacin de a y b. Si P(S) es el conjunto potencia de un
conjunto S, como (p(S), ) es un lattice , por lo tanto se define
un sistema algebraico (P(S), , ) .

Ahora consideremos el conjunto parcialmente ordenado (N, )
donde N es el conjunto de los nmeros naturales y es la
relacin menor o igual que entre nmeros naturales, (N, ) es un
lattice el cual define un sistema algebraico (N, , ) tal que a
b= mx (a, b) y a b = mn (a, b) .

En relacin a lo previo podemos afirmar que:

-Para todo a y b en un lattice (A, )

a a b

a b a

- Para todo a, b, c, d en un lattice (A, ), si

a b y c d entonces a c b d
a c b d

I. Si a y b son elementos de un lattice (a, ), demuestre que
a b = b si y slo si a b = a
II. Si a, b, y c son elementos de un lattice (A, ), demuestre
que si a b, entonces a (b c) b (a c).

8.2 PRINCIPIO DE DUALIDAD.

Si (A, ) es un conjunto parcialmente ordenado y
R
es una
relacin binaria sobre A tal que para a y b en A, a
R
b si y slo
si ba. podemos observar que (A,
R
) es un conjunto
parcialmente ordenado y que (A, ) es un lattice al igual que (A,
R
), estos dos lattices estn muy relacionados al igual que los
sistemas algebraicos definidos por ellos, la operacin de adicin
del sistema algebraico definido por (A, ) es la operacin de
multiplicacin del sistema algebraico definido por (A,
R
) y la
operacin de multiplicacin del sistema algebraico definido por
(A, ) es la operacin de adicin del sistema algebraico (A,
R
)
90
, es decir dada una proposicin vlida cualquiera referente a las
propiedades generales de los lattices podemos obtener otra
proposicin vlida remplazando la relacin por , el trmino
operacin de adicin por operacin de multiplicacin y el trmino
operacin de multiplicacin por el trmino operacin de adicin,
esto es conocido como el principio de dualidad para lattices.

8.3 PROPIEDADES BASICAS DE SISTEMAS ALGEBRAICOS
DEFINIDOS POR LATTICES.

Si (A, , ) es el sistema algebraico definido por lattices,
tenemos las siguientes propiedades:

- las operaciones de adicin y multiplicacin son
conmutativas.

- Las operaciones de adicin y multiplicacin son
asociativas.

- Para todo a en A, a a = a y a a = a

- Para todo a y b en A

a (a b ) = a
a (a b ) = a estos resultados son conocidos
como la propiedad de absorcin de las operaciones de
adicin y multiplicacin.


I. Si (A, , ) es un sistema algebraico, donde y son
operaciones binarias que satisfacen las leyes conmutativa,
asociativa y de absorcin.
a) Definimos una relacin binaria sobre A tal que para
todo a y b en A, a b si y slo si a b = a. Demuestre
que es una relacin de orden parcial.
b) Demuestre que a b es la cota superior mnima de a y
b en (A, ) y que a b es la cota inferior mxima de a y
b en (A, ).

91
8.4 LATTICES DISTRIBUTIVOS Y COMPLEMENTARIOS.

Estos lattices definen sistema algebraicos que estn ms
estructurados. Una lattice es un lattice distributivo si la operacin
de multiplicacin se distribuye sobre la de adicin y la de adicin
se distribuye sobre la de multiplicacin, esto es, para todo a, b y
c.

a (b c ) = (a b) ( a c)
a (b c ) = (a b) ( a c)

Ahora si la lattice de multiplicacin es distributiva sobre la
operacin adicin en un lattice, entonces la operacin de adicin
tambin es distributiva sobre la operacin de multiplicacin. Si la
operacin adicin es distributiva sobre la operacin de
multiplicacin, entonces la operacin de multiplicacin tambin
es distributiva sobre la operacin de adicin. Por dualidad
obtenemos el resultado de que si la operacin de adicin v es
distributiva sobre la operacin de multiplicacin entonces la
operacin de multiplicacin tambin es distributiva sobre la
operacin de adicin v.

Un lattice es complementado si todo elemento en el lattice posee
un complemento, en la figura 1 se observa un lattice
complementado, donde el complemento de a es c, el
complemento de b tambin es c y de esto deducimos que los
complementos de c son a y b. En un lattice distributivo, si un
elemento posee un complemento entonces este complemento
es nico.

1

b

c
a

0
figura 1

I. Si (A, ) es un lattice distributivo, demuestre que, si
a x = a y y a x = a y, para algn a, entonces x
= y.
92
II. Demuestre que un lattice (A, ) es distributivo si y slo si
para a, b, c elementos cualesquiera en A,
(a b) (b c) (c a) = (a b) (b c) (c a)
Para demostrar que (A, ) es distributivo, considera los
elementos a, b c y (a b) (a c).

8.5 LATTICES BOOLEANOS Y ALGEBRAS BOOLEANAS.

Un lattice complementado y distributivo tambin se conoce como
un lattice booleano. Un sistema algebraico definido por un lattice
booleano se conoce como lgebra booleana.

En un lgebra booleana para todo a y b

a b = a b

a b = a b

los cuales son conocidos como leyes de De Morgan.


I. Si ( A, , , ) es un lgebra booleana, demuestra que
(A, ) es un grupo conmutativo, donde est
definida como
a b = (a b) (a b)

8.6 UNICIDAD DE LAS LGEBRAS BOOLEANAS Y
EXPRESIONES BOOLEANAS

Un lgebra booleana finita tiene exactamente 2
n
elementos para
algn n >0. Adems existe un lgebra booleana nica de 2
n

elementos para todo n >0. podemos hacer las siguientes
afirmaciones:

- en un lattice distributivo, si b c = 0 entonces b c.
93

- Si (A, , , ) es un lgebra booleana finita y si es
cualquier elemento diferente de cero en A, y a
1 ,
a
2
... a
k
son
todos los tomos de A tales que a
i
b, entonces b= a
1
,
a
2
... a
k
.

- Si (A, , , ) es un lgebra booleana finita y si es
cualquier elemento diferente de cero en A, y a
1 ,
a
2
... a
k
son
todos los tomos de A tales que a
i
b, entonces b= a
1
,
a
2
... a
k
es la nica manera de representar a b como un
adicin de tomos.

- Si (A, , , ) es un lgebra booleana finita y S el conjunto
de tomos, entonces (A, , , ) es isomorfo al sistema
algebraico definido por lattice (P(S), )

En cuanto a las expresiones booleanas sobre (A, , , ) esta
se define de la siguiente manera:
- cualquier elemento de A es una expresin booleana
- cualquier nombre de variable es una expresin booleana

- si e
1
y e
2
son expresiones booleanas, entonces e
1
e
1
v
e
2
, e
1
e
2
son expresiones booleanas.

Por ejemplo 0 x y

((2 3) (x
1
x
2
)) (x
1
x
3
)

son expresiones booleanas.

8.7 FUNCIONES BOOLEANAS.

Una funcin de A hacia A se denomina funcin booleana si
puede ser especificada mediante una expresin booleana de n
variables. Dada una funcin de {0,1} hacia {0, 1} (lo cual es una
funcin booleana) podemos obtener una expresin booleana
que especifique una funcin dada de {0,1} hacia {0, 1}, diremos
que una expresin booleana de n variables es un minterm si
esta es de la forma

x
1
x
2
... x
n

Una expresin booleana es un maxterm si es de la forma

x
1
x
2
... x
n

94

dada una funcin de {0, 1} a {0, 1} podemos obtener una
expresin booleana en forma disyuntiva correspondiente a esta
funcin, si hacemos corresponder un minterm a cada n-ada
ordenada de nmeros 0 y nmeros 1 para los cuales el valor de
la funcin es 1. para cada una de tales n-adas, tenemos un
minterm

x
1
x
2
... x
n

Podemos obtener una expresin booleana en forma normal
conjuntiva correspondiente a la funcin {0, 1} hacia {0,1} si
hacemos corresponder un maxterm a cada n-ada ordenada de
nmeros 0 y nmeros 1 para los cuales el valor de la funcin es
0. Para cada una de tales n-adas, se tiene un maxterm

x
1
x
2
... x
n


I. Si E(x
1
, x
2
,

x
3
) = (x
1
x
2
) (x
1
x
3
) (x
2
x
3
), es
una expresin booleana sobre el lgebra booleana
bivaluada. Escriba E(x
1
, x
2
,

x
3
) tanto en su forma normal
disyuntiva como en su forma normal conjuntiva.
II. Si E(x
1
, x
2
,

x
3
) =(x
1
x
2
x
3
) (x
1
x
2
x
4
) (x
2
x
3
x
4
) es una expresin booleana sobre el lgebra
booleana bivaluada. Escriba E(x
1
, x
2
,

x
3
,

x
4
)
tanto en su forma normal disyuntiva como en su forma
normal conjuntiva.

III. Si E(x
1
, x
2
,

x
3
) = (x
1
x
2
) (x
1
x
3
) es una expresin
booleana sobre el lgebra booleana bivaluada.
Escriba E(x
1
, x
2
,

x
3
) tanto en su forma normal disyuntiva
como en su forma normal conjuntiva.

8.8 CALCULO PROPOSICIONAL.

Recordemos de nuestros cursos de lgica que una proposicin
puede ser verdadera o falsa, y estas pueden combinarse para
dar lugar a nuevas proposiciones. Recordemos la conjuncin, la
disyuncin y la negacin de proposiciones. Si consideramos el
sistema algebraico ({F, T}, , , ) nos damos cuenta que se
trata de un lgebra booleana de dos elementos. Dentro de este
marco de referencia algebraico una expresin atmica es una
variable que puede tomar bien el valor F(falso) o el valor
95
V(verdadero). Una tautologa corresponde a la constante V y
una contradiccin a la constante F. La disyuncin de p y q puede
representarse en la forma conocida pq cuya tabla de verdad
se estudia en los cursos de lgica, al igual que su conjuncin p
q, y la negacin de estas variables. De esto podemos deducir
que una expresin compuesta puede representarse por una
expresin booleana.

Los resultados sobre manipulacin y simplificacin de
expresiones booleanas pueden ser aplicados a las
proposiciones compuestas como podemos ver en el siguiente
ejemplo:
Si se considera el enunciado ir al estadio si no hay examen
maana o bien si hay examen maana y el juego es un partido
de campeonato.
Representaremos las expresiones de la siguiente forma:
p: hay examen maana
q: el juego es un partido de campeonato

resulta obvio que ir al partido si la proposicin

p (p q)

es verdadera, la igualdad

p (p q) = p q

nos permite simplificar nuestro enunciado a ir al juego de
pelota si no hay examen maana o si el juego es un partido de
campeonato.

Podemos afirmar para finalizar que los resultados y propiedades
sobre conjuntos y sus operaciones y sobre proposiciones y sus
operaciones son similares a las de lgebras booleanas.


I. Un estudiante recibir una calificacin de aprobado en el
curso si rene una o ms de las siguientes condiciones:
a) Obtuvo una calificacin de 70 o mayor en el examen de
mitad de perodo y un 100 en el examen final.
b) Obtuvo una calificacin de 70 o mayor tanto en el
examen de mitad de perodo como en el examen final y
no fall al entregar alguna tarea.
96
c) Obtuvo una calificacin de 70 o mayor en al menos uno
de los exmenes de mitad de perodo y final, y tiene
una beca de atletismo.
d) Su padre es el instructor del curso.

II. Utilice las siguientes proposiciones como variables para
escribir una expresin booleana que describa el conjunto
de condiciones sealadas.

a: Obtener un 70 en el examen de mitad de perodo.
b: Obtener un 100 en el examen de mitad de perodo.
c: Obtener un 70 en el examen final.
d: Obtener un 100 en el examen final.
e: Fallar en entregar alguna tarea.
f: Tener una beca de atletismo.
g: Ser el hijo del instructor.

III. La tabla que se presenta a continuacin muestra el
contenido de cinco cajas de herramientas etiquetadas
como a, b, c, d y e:

Desarmad
or
Llav
e
Pinz
as
Martil
lo
Nava
ja
A
b b

B
b b b

C
b

b

D
b

b
E
b b

Escriba una expresin booleana para mostrar cuntas
selecciones de cajas de herramientas se pueden hacer de
manera que cada seleccin contenga al menos una herramienta
de cada tipo.

8.9 DISEO E IMPLANTACIN DE REDES DIGITALES.

Supongamos que necesitamos disear un circuito electrnico para
que accione una alarma en un automvil si la temperatura de la
mquina excede los 100 C o si el automvil se encuentra
avanzando y el conductor no se abrochado el cinturn de seguridad.
La siguiente relacin representa lo anterior

b = p (q r)

97
donde:

b: accionar el sonido de la alarma
p. la temperatura excede lo 100 C
q: el automvil avanza
r: el cinturn de seguridad est abrochado

Para construir el circuito electrnico primero debemos decidir
una convencin para representar las proposiciones mediante
seales elctricas, despus disear los circuitos elctricos que
corresponden a las operaciones , , y . Las proposiciones se
representarn mediante voltajes.

Ahora veremos las tablas de verdad de algunas compuertas
lgicas

X Y Salida
0 0 0
0 1 1
1 0 1
1 1 1
COMPUERTA OR

X Y SALIDA
0 0 0
0 1 0
1 0 0
1 1 1
COMPUERTA AND

X SALIDA
0 1
1 0
COMPUERTA NOT

Las tablas anteriores son las mismas que conocemos en lgica
como, conjuncin, disyuncin y negacin respectivamente.

Podemos conectar varios de estos dispositivos para formar un
circuito electrnico que realice cualquier expresin booleana
dada.


98
Realiza el diseo de la situacin de la alarma del automvil
mediante la utilizacin de compuertas lgicas.

8.10 CIRCUITOS INTERRUPTORES.

Un interruptor elctrico puede colocarse en la posicin de
encendido o apagado, cuando est en la posicin de apagado
decimos que hay un circuito abierto entre sus dos terminales y
cuando est encendido decimos que hay un circuito cerrado.
Los interruptores pueden conectarse de varias maneras para
realizar funciones de control complejas. Como ejemplo la caja
fuerte de un banco controlada electrnicamente de manera que
no pueda ser abierta a menos que dos llaves separadas sean
utilizadas para cerrar dos interruptores elctricos de modo
simultneo.
Podemos conectar interruptores en serie o en paralelo. Una
conexin en paralelo de dos interruptores es un circuito abierto
entre las terminales 1 y 2 si ambos estn apagados y hay un
circuito cerrado si uno o ambos estn encendidos. Una
conexin en serie de dos interruptores es un circuito abierto si
uno o ambos interruptores estn en apagado y un circuito
cerrado si estn en encendido.

1 2 conexin
en paralelo

1 2

conexin en serie

existen dos tipos de contactos:

normalmente abiertos: los cuales estn abiertos cuando el
interruptor controlador de encendido-apagado est abierto y
cerrados cuando el interruptor est cerrado.

Normalmente cerrados: estn cerrados cuando el interruptor
controlador de encendido apagado est abierto y abiertos y
cerrados cuando el interruptor est cerrado.

99

Utiliza los circuitos integrados y elementos de circuito para
representar un expresin booleana y de esta forma observar su
funcionamiento.


I. Define lattice.
II. Explica el principio de dualidad.
III. Define lattice distributivo y complementado.
IV. Explica lo que es lgebra booleana.
V. Explica la diferencia entre minterm y maxterm.
VI. Explica la relacin de las compuertas OR, AND y NOR con
la conjuncin, disyuncin y negacin.
VII. Desarrolla un circuito en el que representes un argumento.

ACTIVIDAD INTEGRADORA FINAL.

I. Agrupa las actividades de aprendizaje y las integradoras
para que las entregues al final del curso.
II. Agrega una portada con los datos del curso y los de tu
persona.
III. Incluye la bibliografa que utilizaste.
IV. Escribe las observaciones que consideres relevantes para
mejorar este material y el desarrollo del curso.

100
BIBLIOGRAFA

ELEMENTOS DE MATEMTICAS DISCRETAS
C. L. Liu
Mc Graw Hill
Mxico, 1995

MATEMATICAS DISCRETAS
K. A. Ross, C. R. B. Wright
Prentice Hall

MATEMATICAS DISCRETAS
R. Johnsonbaugh
Grupo Editorial Iberoamrica

MATEMTICAS DISCRETA Y COMBINATORIA
R. Grimaldi
Addison-Wesley

ESTADISTICA
Murray R. Spiegel
Serie Schaum-Mc Graw Hill

Matematicas Discretas

Caricato da

Informazioni sul documento

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Matematicas Discretas

Caricato da

Copyright:

Formati disponibili

1

Potrebbero piacerti anche