Matematicas Discretas Guia

Matemti
as Dis retas
Isabel C. Mrquez de Mastromartino
Contenido
1. Teora de Grafos
1.1.
Origen de la Teora de Grafos
. . . . . . . . . . . . . . . . . . . . . .
1.2.
Terminologa Bsi a
. . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3.
Representa in de Grafos: Matri es de Adya en ias e In iden ias . . .
1.4.
Cadenas, Ci los, Grafos Conexos
1.5.
Grafos Eulerianos y Grafos Hamiltonianos
1.6.
Algoritmo de Dijkstra
. . . . . . . . . . . . . . . . . . . .
14
. . . . . . . . . . . . . . .
20
. . . . . . . . . . . . . . . . . . . . . . . . . .
27
1.7.
Isomorsmo de grafos . . . . . . . . . . . . . . . . . . . . . . . . . . .
30
1.8.
rboles.
31
1.9.
Propiedades de los rboles.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . .
2. Reti ulados
33
39
2.1.
Rela in Binaria
. . . . . . . . . . . . . . . . . . . . . . . . . . . . .
39
2.2.
Elementos Notables. Cotas Universales. Supremo, nmo. . . . . . . .
47
2.3.
Isomorsmos. Subreti ulados. Reti ulados Distributivos.
. . . . . . .
58
2.4.
Representa in en Reti ulados.
. . . . . . . . . . . . . . . . . . . . .
64
3. lgebras booleanas
69
3.1.
Deni in de lgebras booleanas . . . . . . . . . . . . . . . . . . . . .
69
3.2.
Dualidad en lgebras Booleanas.Diagrama de Hasse de un lgebra Booleana nita 71
3.3.
Cubo Unitario. Isomorsmo Booleano.
3.4.
3.5.
. . . . . . . . . . . . . . . . .
76
Expresiones booleanas
. . . . . . . . . . . . . . . . . . . . . . . . . .
83
Apli a iones booleanas
. . . . . . . . . . . . . . . . . . . . . . . . . .
87
iii
Contenido
IV
3.6.
Cir uitos Lgi os
. . . . . . . . . . . . . . . . . . . . . . . . . . . . .
89
3.7.
Optimiza in de apli a iones booleanas . . . . . . . . . . . . . . . . .
91
3.8.
Optimiza in de apli a iones booleanas . . . . . . . . . . . . . . . . .
96
4. Anlisis Combinatorio
4.1.
101
Prin ipios bsi os del onteo . . . . . . . . . . . . . . . . . . . . . . .
101
4.1.1.
Regla de la suma
101
4.1.2.
Regla del produ to
. . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . .
101
4.2.
Permuta iones y Combina iones . . . . . . . . . . . . . . . . . . . . .
102
4.3.
Teorema del binomio
105
Bibliografa
Matemti as Dis retas
. . . . . . . . . . . . . . . . . . . . . . . . . . .
109
Figuras
1.1.
Ejemplo de Grafo . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.
Multigrafo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3.
Multigrafo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.4.
Grafos ompletos
1.5.
Grafo ompleto
1.6.
Grafo Nulo
1.7.
Grafo no ompleto
. . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.8.
Grafo Regular . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.9.
Subgrafos
K1 , K2 , K3 , K4
. . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
K5
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.10. Ci lo euleriano
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
21
1.11. Ci lo euleriano
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
22
1.12. Se uen ias gr as para hallar un i lo euleriano . . . . . . . . . . . .
23
1.13. Dode aedro
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
24
1.14. Ci lo simple
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
25
1.15. Ejemplo de Dijkstra . . . . . . . . . . . . . . . . . . . . . . . . . . . .
29
1.16. Isomorsmo de Grafos
. . . . . . . . . . . . . . . . . . . . . . . . . .
31
1.17. Isomorsmo de Grafos
. . . . . . . . . . . . . . . . . . . . . . . . . .
31
. . . . . . . . . . . . . . . . . . . . . . . . . . .
32
1.19. rboles Generadores y No Generadores . . . . . . . . . . . . . . . . .
33
1.20. Grafo onexo on i los
. . . . . . . . . . . . . . . . . . . . . . . . .
35
. . . . . . . . . . . . . . . . . . . . . . . .
36
1.18. Un rbol
no Conexo
1.21. Apli a in del Lema 1.9.2
2.1.
Representa iones Gr as de Rela iones Binarias
. . . . . . . . . . .
39
Figuras
VI
2.2.
Conjuntos Par ialmente Ordenados y Conjuntos Totalmente Ordenados 42
2.3.
Propiedades de las Rela iones
2.4.
Orden de las Rela iones
. . . . . . . . . . . . . . . . . . . . . .
42
. . . . . . . . . . . . . . . . . . . . . . . . .
42
3.1.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
72
3.2.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
73
3.3.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
79
3.4.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
79
3.5.
Versiones usuales de los diagramas de hasse
. . . . . . . . . . . . . .
80
Captulo 1
Teora de Grafos
1.1. Origen de la Teora de Grafos
Leonhard Euler, matemti o suizo del siglo XVIII (Basilea, Suiza, 15 de abril
de 1707 - San Petersburgo, Rusia, 18 de septiembre de 1783), es re ono ido omo
el padre de la teora de grafos, por haber resuelto en 1736 un problema abierto de
su po a, ono ido omo el problema de los siete puentes de Knigsberg (Prusia
oriental en el siglo XVIII y a tualmente, Kalngrado, provin ia rusa). Euler fue re ono ido por la omunidad ient a, omo uno de los mayores de la historia, quiz
omparable a Gauss o Arqumedes. La palabra "grafo"tal omo la ono emos en la
a tualidad, fue utilizada por primera vez en 1878 en un trabajo del matemti o ingls
James Sylvester, publi ado en Nature [1. En los siglos XVIII y XIX otros problemas
inuyeron en el desarrollo de la teora de grafos tales omo el estudio de las redes
el tri as (Gustav Kir hho, 1847 [5), la enumera in de ismeros de hidro arburos
(Arthur Cayley, 1857 [9).
En este aptulo presentaremos los on eptos bsi os ne esarios para el estudio de la
teora de grafos.
1.2. Terminologa Bsi a
Deni in 1.2.1.
que tiene
Un
Denotaremos por
minado onjunto
Si
ksub onjunto
de un onjunto
es un sub onjunto de
elementos.
P(C)k
a la ole in de todos los
de un deter-
C.
es un onjunto ualesquiera
Ejemplo 1.1.
ksub onjuntos
Consideremos
denotaremos por |B| la ardinalidad de B.
C = {a, b, c, d, e}
enton es
Captulo 1. Teora de Grafos

P(C)3 = {{a, b, c}, {a, b, d}, {a, b, e}, {a, c, d}, {a, c, e},
{a, d, e}, {b, c, d}, {b, c, e}, {b, d, e}, {c, d, e}}
|P(C)3 | = 10.
por lo tanto
En general, si
|C| = n
se tiene que
|P(C)k | =
Deni in 1.2.2.
es un onjunto no
n
k
n!
k!(n k)!
grafo G es un par de onjuntos (V (G), E(G)), donde V (G)

va io ( uyos elementos se denominan vrti es) y E(G) es un
Un
sub onjunto de la ole in de todos los

se denominan
2sub onjuntos
de
V (G)
( uyos elementos
lados o aristas) y lo denotaremos por G = (V (G), E(G)).
Observa in 1.1.
Con ierto abuso onsideraremos el onjunto
{x, x}
omo un
2sub onjunto.
Si
que
es un
V V,
es de ir, si importa el orden en los lados, diremos
grafo dirigido o digrafo. En este aso en lugar de lados hablaremos
de ar os.
Deni in 1.2.3. Sea G = (V (G), E(G))

nito si V (G) es un onjunto nito.
Deni in 1.2.4. El orden
tamao por |E(G)|.
Observa in 1.2.
de
un
grafo.
G = (V (G), E(G))
Diremos que
viene dado por
es un
grafo
|V (G)|
y el
De ahora en adelante, al hablar de grafos, nos estaremos reriendo a grafos

nitos.
Los grafos nitos pueden representarse mediante diagramas, en los uales los
vrti es se denotan por puntos y los lados que unen a dos puntos, por medio
de lneas entre esos dos puntos.
Deni in 1.2.5.
Diremos que un grafo
G es etiquetado, si ada uno de sus vrti es
se distinguen de los demas por un nombre o smbolo que se le adjudi a.
Ejemplo 1.2.
u = {x0 , x1 }
G = (V (G), E(G))
E(G) = {u, v}, donde
La Figura 1.1, nos muestra un grafo etiquetado,
por medio de un diagrama, donde
V (G) = {x0 , x1 , x2 }
v = {x0 , x2 }.

v
x0
b
x1
x2
Figura 1.1: Ejemplo de Grafo
Deni in 1.2.6.
G = (V (G), E(G)) un grafo. Sean x, y V (G), si {x, y} esta

en E(G) diremos que el grafo G tiene un lado e = {x, y} uyos extremos son x e y
y adems que e une a x e y . Cuando x = y diremos que e es un lazo.
Sea
Deni in 1.2.7. Diremos que un grafo G es ponderado si a ada uno de sus lados
se les asignan un nmero real, llamado peso del lado, que se denotara por
w(a, b)
en aso de que
w(e)
e = {a, b}.
Deni in 1.2.8. Sea G = (V (G), E(G)) un grafo. Diremos que G es un multigrafo si existen x, y V (G) tales que por lo menos dos lados los une. Los lados que
tiene los mismos extremos se denominan lados paralelos.
Ejemplo 1.3. La Figura 1.2 representa un multigrafo, donde b es un lazo, y los lados
a
son paralelos.
c
b
q0
a
d
q1
q2
Figura 1.2: Multigrafo
Observa in 1.3.
El onjunto de todos los posibles lados de un grafo G = (V (G),

E(G)) es P(V (G))2 . Un par de elementos de V determina un lado de G, por lo tanto,
si V = {v1 , , vn }, E(G) P(V )2 , esto es:

n
|E(G)|
2
Deni in 1.2.9.
G = (V (G), E(G)) vamos a onsiderar un ter er

elemento que suele a ompaar a la dupleta (V (G), E(G)) y es la fun in g de
in iden ia, que aso ia a ada elemento e de E(G) on un par de elementos {xi , xj }
de V ; esto es g(e) = {xi , xj } y es ribiremos:
g : E(G) P(V (G))2 .
En un grafo
Ejemplo 1.4. El multigrafo que muestra la Figura 1.3 viene dado por G = (V (G),
E(G)) donde V (G) = {v1 , . . . , v6 } y E(G) = {e1 , . . . , e6 }, g(e1 ) = {v1 , v2 }, g(e2 ) =
{v1 , v2 }, g(e3 ) = {v2 , v4 }, g(e4 ) = {v4 , v5 }, g(e5 ) = {v4 , v6 }, g(e6 ) = {v5 , v6 }, g(e7 ) =
{v6 , v6 }.
v5
e6
e4
v1
e1
e3
v4
e2 v2
e5
e7
v6
v3
Figura 1.3: Multigrafo
Deni in 1.2.10. Sea G = (V (G), E(G)) un grafo. Diremos a, b V (G)

vrti es adya entes si existe un lado e E(G) que los une.
Ejemplo 1.5.
En la Figura 1.1, los vrti es
q0
q2
son adya entes, ya que
son
c =
{q0 , q2 }.
Deni in 1.2.11. En un grafo G), dos lados son adya entes si tienen un extremo
en omn.
Ejemplo 1.6.
vrti e
q1
En la Figura 1.1, los lados
son adya entes, dado que tienen el
omo extremo omn.
Deni in 1.2.12. Sea G = (V (G), E(G)) un grafo. Un vrti e x V (G) es ve ino

de otro vrti e
y V (G) (x 6= y)
Ejemplo 1.7.
En la Figura 1.2, los vrti es
si existe
e = {x, y} E(G).
q1
q2
son ve inos de
q0 .
Observa in 1.4. Sea G = (V (G), E(G)) un grafo y sean a, b V (G). Si los vrti es
a y b son
ve inos enton es son adya entes. El re ipro o no ne esariamente, es ierto.
{x, x}
1.2.12, x
Por ejemplo
es un lazo por lo tanto,
Deni in
no es ve ino de
Deni in 1.2.13.
Un grafo
es adya ente a
x,
sin embargo por
x.
se denomina
simple
si no tiene lazos y no tiene
lados paralelos.
Ejemplo 1.8.
La Figura 1.1 representa un grafo simple.
Deni in 1.2.14. Sea G = (V (G), E(G)) un grafo simple de orden n. Diremos

que G es un grafo ompleto si para todo x, y V (G), {x, y} E(G). Es de ir, si
todos sus vrti es son adya entes. Lo denotaremos por
Kn .

b
(a)
(b)
( )
Figura 1.4: Grafos ompletos
(d)
K1 , K2 , K3 , K4
Figura 1.5: Grafo ompleto
Ejemplo 1.9.
Las Figuras 1.4(a), 1.4(b), 1.4( ),1.4(d) representan a
respe tivamente y la Figura 1.5 representa un
Deni in 1.2.15.
Diremos que
K5
Ejemplo 1.10.
K1 , K2 , K3 , K4
K5 .
G = (V (G), E(G)) un grafo, a V (G)

in identes si a es un extremo de e.
Sean
son
En la Figura 1.3, el lado
e3
in ide en los vrti e
v2
e E(G).
v4 .
Deni in 1.2.16. Sea G = (V (G), E(G)) un grafo de orden n. Diremos que G es

un grafo nulo, si E(G) = . Lo denotaremos por Nn .
Ejemplo 1.11.
La Figura 1.6 nos muestra un grafo nulo
N4 .
Figura 1.6: Grafo Nulo
Deni in 1.2.17. Sea G = (V (G), E(G)) un grafo. Denominamos grado de un

vrti e x V (G) denotado por dG(x), el nmero de lados que in iden en x. Un lazo
es ontado dos ve es.
Ejemplo 1.12.
En la Figura 1.2, el grado del vrti e
Observa in 1.5.
es
5.
G = (V (G), E(G)) es un grafo simple, tenemos que

x V (G). La igualdad se al anza uando G es un
grafo G es un grafo nulo, tenemos que dG (x) = 0, para
Cuando
dG (x) |V (G)| 1,
para todo
grafo ompleto y uando el

todo
q1
x V (G).
Observa in 1.6.
|V (G)| 1,
Si
para todo
Ejemplo 1.13.
G = (V (G), E(G)) es un grafo que veri a

x V (G), G no ne esariamente es ompleto.
que
dG (x)
El grafo dado en la Figura 1.7, de orden 4, muestra que el grado de
ada uno de los vrti es es 3, sin embargo no es ompleto. Notese que el grafo dado
no es simple.
w
z
x
Figura 1.7: Grafo no ompleto
Deni in 1.2.18. Sea G = (V (G), E(G)) un grafo. Diremos que un vrti e x en

es aislado si dG (x) = 0.
V (G)
Ejemplo 1.14.
En un grafo nulo todos los vrti es son aislados.
Deni in 1.2.19. Sea G = (V (G), E(G)) un grafo. Diremos que un vrti e x en

V (G) es olgante si dG (x) = 1.
Ejemplo 1.15.
En la Figura 1.1 los vrti e
x1
Deni in 1.2.20. Sea G = (V (G), E(G)) un

regular si dG (x) = r para todo x V (G).
x2
son olgantes.
grafo. Diremos que
es un
grafo
Ejemplo 1.16. La Figura 1.8 nos muestra un grafo regular. Otros ejemplos de grafos
regulares son los grafos ompletos y los grafos nulos.
Figura 1.8: Grafo Regular
Lema 1.2.1. Todo grafo ompleto G es regular. El re ipro o no ne esariamente es
ierto.
Demostra in.
x V (G),
Sea
G un grafo ompleto, enton es por la Deni in 1.2.14, para todo

dG (x) = |V (G)| 1. Por lo tanto, G es regular. Por otra
tenemos que
parte, tenemos que un grafo nulo es regular, dado que ada uno de sus vrti es tiene
grado
0,
pero no es ompleto.
Deni in 1.2.21.
(V (H), E(H))
Dado un grafo
G = (V (G), E(G)).
Diremos que el grafo
H =
es un:
Subgrafo de G = (V (G), E(G)) si V (H) V (G) y E(H) E(G).

Subgrafo par ialde G = (V (G), E(G)) si V (H) = V (G) y E(H) E(G).
Subgrafo generado
P(V (H))2 E(G)
Ejemplo 1.17.
y lo
G = (V (G), E(G)) si V (H) V (G)

denotamos por G[V (H)].
de
E(H) =
La Figura 1.9(b) es un subgrafo par ial de la Figura 1.9(a) pero no es un

subgrafo generado de la Figura 1.9(a).
La Figura 1.9( ) es un generado de la Figura 1.9(a), pero no es un subgrafo

par ial de la Figura 1.9(a).
(a)
(b)
( )
Figura 1.9: Subgrafos
Problemario 1.2.
1.2.1. Sea
V (G) = {x1 , . . . , x6 }.
Represente el grafo
G = (V (G), E(G)),
donde:
i. E(G) = {{x1 , x5 }, {x4 , x2 }}

ii. E(G) = {{x1 , x6 }, {x4 , x6 }, {x4 , x2 }}
iii. E(G) = {{x4 , x2 }}
iv. E(G) = {{x3 , x5 }, {x1 , x4 }, {x1 , x3 }, {x4 , x3 }, {x1 , x5 }, {x1 , x4 }}
1.2.2. Represente un grafo on 6 vrti es, 3 lados paralelos, 3 lazos, un vrti e aislado.
Indique uales lados son paralelos, uales son lazos y ual es el vrti e aislado.
Explique su respuesta.
1.2.3. Muestre y diga:
i.
Cuntos grafos simples etiquetados distintos existen, on
vrti es?. Dibu-
jelos.
ii.
Cuntos grafos simples no etiquetados distintos existen, on
vrti es?.
Dibujelos.
1.2.4. Sea
G = (V (G), E(G)) un grafo y sean n = |V (G)| y m = |E(G)|.

G simples no etiquetados para los uales:
Represente
los grafos
i.
ii.
n=m=3
n = 4,
m=3
iii.
n=m=4
iv.
n = 5,
m=2
1.2.5. Enumere los grafos
simples etiquetados para los uales:
i. n = 5 y m = 3
ii. n = 5 y m = 4
iii. n = m = 5
1.2.6. En la gura dada a ontinua in, mostramos uatro grafos etiquetados. Anali e, en onsidera in de la deni in de grafos, si realmente todos ellos son
distintos. Explique su respuesta.
1.2.7. En uentre in o subgrafos diferentes al que apare e en la siguiente gura:
1.3. Representa in de Grafos: Matri es de Adya en ias e In iden ias
Indique ual de ellos es par ial y ual de ellos es generado.

1.2.8. Dibuje los siguientes grafos
G, V (G) = n
E(G) = m:
i. n = 5, m = 4, dG(x) = 0, 1, 2, 2, 3
ii. n = 5, m = 5, dG(x) = 1, 1, 2, 2, 4
iii. n = 6, m = 3, dG (x) = 0, 0, 0, 2, 2, 2
iv. n = 6, m = 4, dG(x) = 0, 1, 1, 2, 2, 2
v. n = 6 = m, dG (x) = 0, 1, 2, 3, 3, 3
vi. n = 6 = m, dG (x) = 2, 2, 2, 2, 2, 2
vii. n = 6, m = 8, dG (x) = 1, 2, 2, 2, 4, 5
viii. n = 6, m = 9, dG (x) = 1, 2, 3,4, 4, 4
1.2.9. Se dene
Se uen ia gr a, a aquella su esin de enteros no negativos g =
(g1 , . . . , gn )
que orresponde a los grados de los vrti es de un grafo simple.
Por supuesto, que una ondi in ne esaria (pero no su iente) para que una
su esin sea gr a es que ada omponente sea mayor o igual que ero y que
la suna de sus omponentes sea par. De ejemplos de su esiones donde est
ondi in se umple y, sin embargo no son se uen ias gr as.
1.2.10. Construya grafos de seis vrti es on los siguientes tipos de grados, si es posible.
Si no lo es, explique porqu:
i. Tres de grado 2, dos de grado 3 y uno de grado 4.

ii. Dos de grado 1, dos de grado 3 y tres de grado 2.
iii. Tres de grado 3 y tres de grado 1.
iv. Con grados 1, 2, 2, 3, 4, 5.
v. Con grados 2, 2, 4, 4, 4, 4
vi. Con grados 1, 2, 3, 4, 5, 6
1.2.11. Considere un grafo
(n 2).
que tiene
vrti es y
n1
lados; sin vrti es aislados
Demuestre que ontiene al menos dos vrti es de grado 1.
1.3.
Representa in de Grafos: Matri es de Adya en ias e In iden ias
Deni in 1.3.1. Sea G = (V (G), E(G)) un grafo on V (G) = {v1 , , vn}. Dematriz de adya en ia de G, una matriz de orden n n denotada
nominaremos
A(G) = [ai,j ], donde las las y las olumnas estn indexadas por V (G) y denida
omo sigue: aij = nmero de lados que tienen a vi y vj omo extremos.
por
10
Observa in 1.7.
vi y vj omo extremos, es tambin

{vi , vj } denotada por m{vi , vj }
El nmero de lados que tienen a

omo la multipli idad del par
La matriz
A(G)
es simtri a on elementos enteros. Adems si
simple enton es la diagonal prin ipal de
A(G)
ono ida
es un grafo
esta formada por eros y los
elementos restantes son eros o unos.
Ejemplo 1.18.
La matriz de adya en ia del grafo dado en la Figura 1.3 viene dada
por:
Deni in 1.3.2.
A(G) =
0
2
0
0
0
0
2
0
0
1
0
0
0
0
0
0
0
0
0
1
0
0
1
1
0
0
0
1
0
1
0
0
0
1
1
1
G = (V (G), E(G)) un grafo on V (G) = {v1 , , vn } y

E(G) = {e1 , , em }, (m 1). Denominaremos matriz de in iden ia de G, una
matriz de dimensin nm denotada por I(G) = [bi,j ], donde las las estn indexadas
por V (G) y las olumnas estn indexadas por E(G) y esta denida omo sigue:
bi,j = nmero de ve es que ej in ide en vi .
Sea
Observa in 1.8. bi,j {0, 1, 2}. bi,j = 2 uando e = (vi , vi ) es un lazo en el vrti e
vi .
Adems
I(G) umple que
la suma de los elementos de ualquier olumna es igual
a 2 y la suma de los elementos de la la
Ejemplo 1.19.
es igual al
dG (vi ).
La matriz de in iden ia del grafo dado en la Figura 1.3 viene dada
por:
I(G) =
1
1
0
0
0
0
1
1
0
0
0
0
0
1
0
1
0
0
0
0
0
1
1
0
0
0
0
1
0
1
0
0
0
0
1
1
0
0
0
0
0
2
Proposi in 1.3.1. Para todo grafo G = (V (G), E(G)) tenemos:

X
dG (x) = 2|E(G)|.
xV (G)
Demostra in.
V (G).
Si
11
|E(G)| P
= , por Deni in 1.2.17, dG (x) = 0, para todo x
dG (x) = 0 = 2|E(G)|. Supongamos que |E(G)| =
6 .
As, se tiene que
xV (G)
Consideremos la matriz de in iden ia
I(G). Sea S
Tenemos que la suma de los elementos de una la indexada por

lo tanto
S =
dG (x).
I(G).
dG (x), por
la suma de los elementos de
es
Por otro lado, por la Observa on 1.8, la suma de los
xV (G)
elementos de ualquier olumna es dos, por onsiguiente
que
S = 2|E(G)|.
As, tenemos
dG (x) = 2|E(G)|.
xV (G)
Corolario 1.3.1. Sea G = (V (G), E(G)) un grafo simple on |V (G)| = n y |E(G)| =

m enton es tenemos:
n(n 1)
.
2
La igualdad se al anza uando G es un grafo ompleto.

Demostra in.
Por la Observa in 1.6 y la Proposi in 1.3.1 tenemos:
2m =
dG (x)
xV (G)
(n 1) = n(n 1)
xV (G)
por lo tanto,
m
Cuando
n(n 1)
.
2
es un grafo ompleto, tenemos
dG (x) =
xV (G)
(n 1).
xV (G)
Por lo tanto,
2m = n(n 1).
As,
m=
n(n 1)
.
2
Corolario 1.3.2. En un grafo el nmero de vrti es de grado impar es par.

Demostra in.
G = (V (G), E(G)), designemos por i(G) el onjunto

de vrti es de grado impar y por p(G) el onjunto de vrti es de grado par. Luego,
el par (i(G), p(G)) es una parti in de V (G). As,
X
X
X
2|E(G)| =
dG (x) =
dG (x) +
dG (x).
Dado un grafo
xV (G)
xP (G)
xI(G)
12
Por lo tanto,
Luego,
dG (x)
dG (x).
xP (G)
xI(G)
dG (x) = 2|E(G)|
es un nmero par y omo ada
dG (x)
on
x i(G)
es impar
xI(G)
tenemos que
|i(G)|
es un nmero par.
Problemario 1.3.
1.3.1. Halle las matri es de adya en ias e in iden ias de los grafos dados por las
Figuras 1.1, 1.2, 1.4, 1.5, 1.6, 1.8, 1.9.
1.3.2. Represente los grafos uyas matri es de adya en ias son:
i.
0
1
1
1
1
1
0
0
0
1
1
0
0
1
1
1
0
1
0
1
1
1
1
1
0
0
1
0
0
0
1
0
0
0
1
0
0
0
1
1
0
0
1
0
1
0
1
1
1
0
A(G1 ) =
ii.
A(G2 ) =
1.3.3. Represente los grafos uya matri es de in iden ias son:
i.
ii.
0
0
0
1
1
0
0
1
0
1
0
0
1
1
0
0
1
0
0
1
0
1
1
0
0
1
1
0
0
0
0
0
0
1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
0
0
1
1
0
0
0
1
1
0
0
I(G3 ) =
I(G4 ) =
13
iii.
I(G5 ) =
0
0
0
1
1
1
1
0
0
0
0
1
1
0
0
0
0
0
1
1
1
1
0
0
0
1
0
1
0
0
En uentre la matriz de adya en ia del grafo ompleto
K5 .
Si
es un entero
positivo, demuestre que los elementos de la diagonal prin ipal de
A(K5 )n
son iguales entre s y los elementos que estn fuera de la diagonal prin ipal
son tambin iguales entre s.
Derive resultados similares de los obtenido en el ejemplo anterior, para la
matriz de adya en ia del grafo
Kn .
Para las traspuestas de las matri es siguientes, determine ules pueden ser
de matri es de in iden ia de grafos. En los asos armativos, dibujar los
grafos orrespondientes y en ontrar las matri es de adya en ias respe tivas:
1.3.4. Elaborar una lista de las ondi iones que debe satisfa er una matriz para ser
matriz de in iden ia de un grafo. Cmo onstruir el grafo y la matriz de
adya en ia a partir de la matriz de in iden ia?
1.3.5. Repetir la pregunta anterior pero inter ambiando in iden ia y adya en ia.
G que tiene nvrti es v1 , . . . , vn (n 2) y maristas

a1 , . . . , am (m 1). Suponer que la matriz de in iden ia de G es Mi (G) on
omponentes ij (1 im, 1 j n) y que la matriz de adya en ia es Ma (G)
on omponentes rs (1 r n, 1 s n). Demostrar que:
1.3.6. Considerar un grafo nito
i.
Para ualquier
i {1, . . . , m}
jo se umple
n
X
ij = 2
j=1
ii.
Para ualquier
j {1, . . . , n}
jo se umple
m
X
ij = dG (vj )
i=1
iii.
m X
n
X
ij = 2m
i=1 j=1
iv.
Para ualquier
r, s {1, . . . , n}
se umple
rs = sr
14
v.
sr = m
rs
nvrti es, el omplemento de G, denotado por G,

se dene omo sigue: si u, v son vrti es diferentes en G y existe una arista que
une a u y v en G enton es en G esa arista se elimina y si no existe una arista
que une a u y v en G en G se agrega esa arista. En ontrar:
1.3.7. Para un grafo simple on
i. Kn y Nn . Se puede asegurar que la igualdad G = G es verdadera para todo

G?
grafo simple
ii.
Mostrar un pro edimiento que permita obtener las matri es

partir de las matri es
1.3.8. Dados dos grafos
G1
G2 ,
A(G)
I(G)
se dene
A(G) y I(G) a
respe tivamente.
G1 + G2
omo el grafo que se obtiene on
G1 y G2 , se mantienen las aristas de G1 y G2 , y adems,

de G1 y ada vrti e de G2 , se olo a una arista nueva.
los vrti es de
ada vrti e
i.
Si
G1
G2
entre
n1 vrti es y n1 vrti es, respe tivamente, onsI(G1 + G2 ) y A(G1 + G2 ) a partir de las matri es de
in iden ias de de G1 y G2 .
son nitos on
truya las matri es

adya en ias e
ii.
G es
Kn ?
Si
un grafo simple, on
nvrti es,
es verdadera la igualdad
G+G =
1.4. Cadenas, Ci los, Grafos Conexos
Deni in 1.4.1.
Una
adena de un grafo G = (V (G), E(G)), es una se uen ia

Q = x0 , e1 , x1 , . . . , xk1 , ek , xk
ei son xi1 y xi . De imos adems,
alternada de vrti es y de lados
tal que para todo
1 i k, los extremos de
longitud k de x0 a xk . Por
que
i,
es adena de
onven in un vrti e es una adena de longitud ero.
Otra manera de denotar a una adena es por medio de los vrti es que la forman,
Q = x0 , x1 , . . . , xk1 , xk . Los vrti es x0 y xk son denominados los

adena Q por lo que Q tambien suele denotarse por Q = [x0 , xk }.
esto es,
de la
Si
x0 = xk
de imos que
es
adena errada.
Si todos los trminos de la su esin

es una
adena simple.
Si todos los trminos de la su esin

una
adena elemental.
Observa in 1.9.
extremos
(e1 , . . . , ek )
son diferentes diremos que
(x0 , . . . , xk ) son distintos diremos que Q es
En un digrafo en lugar de hablar de adenas hablaremos de
aminos.
15
Deni in 1.4.2.
Denominamos
i lo a toda adena simple errada.
Deni in 1.4.3. Un i lo elemental es una adena elemental errada.

gitud de un i lo elemental es igual al nmero de sus vrti es.
Observa in 1.10.
Sea
G = (V (G), E(G))
un grafo. En
La
lon-
se tiene:
Una adena elemental es simple.
Un lazo es un i lo elemental de longitud 1.
Toda adena simple es de longitud menor o igual a
|E(G)|.
Toda adena elemental es de longitud menor o igual a
Deni in 1.4.4.
G = (V (G), E(G)) es onexo, si para todo

de extremos x e y, es de ir, que los une.
x, y V (G) (x 6= y ),
existe una adena
Un grafo que no es onexo diremos que es
Deni in 1.4.5.
|V (G)|.
Sea
esta rela ionado on
y.
dis onexo.
G = (V (G), E(G)) un grafo y sean x, y V (G). Diremos que

y (xRy ) si y slo si x = y existe una adena de extremos x
Lema 1.4.1. La rela in R denida en la Deni in , es de equivalen ia.

Demostra in.
Por Deni in 1.4.1, xRx, para todo x V (G). Se umple la reexxRy por Deni in 1.4.1, existe una adena en G que a x on y , para todo
x, y (x 6= y) en V (G). Se umple la simetria. Si xRy y yRz por Deni in 1.4.1,
existe una adena en G que a x on y , y una adena que une a y on z . As, al unir
las dos adenas, obtenemos una adena que une a x on z. Por lo tanto, xRz , para
todo x, y, z (x 6= y) en V (G). Se umple la transitividad.
ividad. Si
Deni in 1.4.6.
onexas de
G,
Sea
G = (V (G), E(G))
un grafo. Denominamos las omponentes
a los subgrafos generados por las lases de equivalen ias que determi-
nan la rela in dada en la Deni in 1.4.1.
Proposi in 1.4.1. Las omponentes onexas son grafos onexos.

Demostra in.
x, y estn en la misma lase, enton es x = y

Q = [x, y], luego por la Deni in 1.4.4, ada omponente onexa
Por la Deni n 1.4.1, si
existe una adena

es un grafo onexo.
Proposi in 1.4.2. Un grafo es grafo onexo sii posee una sola omponente onexa.
16
Demostra in.
(Ejer i io)
Teorema 1.4.2. Sea G = (V (G), E(G)) un grafo y sean x, y V (G). Si existe una
adena Q = [x, y], enton es existe una adena simple que une x on y.
Demostra in.
(Ejer i io)
Corolario 1.4.1. G es un grafo onexo si y slo si, existe una adena simple entre
ualesquiera dos vrti es de G.
Demostra in.
(Ejer i io)
Teorema 1.4.3. Un grafo G = (V (G), E(G)) es onexo sii para toda di otoma
{V1 , V2 } del onjunto V (G) existe una arista a E(G) que tiene un extremo en V1
y el otro extremo en V2 .
Demostra in.
(Ejer i io)
Teorema 1.4.4. Sea G = (V (G), E(G)) un grafo simple on |V (G)| = n repartidos
en k omponentes. Si m = |E(G)| enton es se tiene que:
1
n k m (n k)(n k + 1)
2
Demostra in.
G es un grafo simple on nvrti es, simple yP on

|V (Gi )| = ni , para todo i I = {1, . . . , k}. As, n = ni .
Supongamos que
k omponentes Gi
y que
iI
n1 n2 . . . nk . Debemos omprobar que la menor antidad de

aristas que G puede tener es n k y la mayor antidad de aristas que G puede tener
1
es
(n k)(n k + 1).
2
Supongamos que
Gi es
n k = 0 = m = 12 (n k)(n k + 1). As,
El aso trivial, se presenta uando ada omponente
k = n.
Por lo tanto,
un
N1 .
Enton es,
se umple la tesis.
Los otros asos son:
Caso mnimo. Cada omponente Gi es una adena elemental, ex epto p

omponentes (p 2), las uales son el grafo nulo N1 .
En este aso, dado que las omponentes
en fun in del nmero de vrti es
|E(G)i | =
ni
Gi
estn ordenadas en forma re iente
que posee, tenemos que:
0
ni 1
si
si
1ip
p+1ik
De esta manera se tiene que:
17
|E(G)| =
(ni 1) =
p+1ik
p+1ik
ni (1 + . . . + 1) = (np) (k p) = nk.
|
{z
}
(kp)veces
Si eliminamos un vrti e de una omponente

ralidad
Gp+2,
Gp+1 ,
Gi 6= N1 ,
sin perdida de gene-
y la agregamos a otra omponente, sin perdida de generalidad
de tal manera que las omponentes sigan siendo adenas elementales,
tendramos que
|E(Gp+1| = np+1 1 1
y
|E(G2 | = n2 1 + 1.
Por lo tanto, el nmero de aristas en
|E(G)| = np+1 1 1 + np+2 1 + 1 +
G, no
X
se altera. En efe to,
(ni 1) =
p+3ik
Ms an sin perdida de generalidad, si ada
1},
tiene slo un vrti e y la omponente
Gk
(ni 1) = n k.
p+1ik
Gi
para todo
tiene
nk +
i,
P1 i k
(ni 1) =
1ik1
n (1 + . . . + 1) = n (k 1) = n k + 1
|
{z
}
vrti es, tenemos que
tiene
(k1)veces
nk+11 =nk
Caso mximo.
aristas.
Cada omponente Gi es un grafo ompleto. Esto es, Gi = Kni .

Kni es 12 (ni )(ni 1) por Corolario ??. El nmero
Luego, el nmero de aristas de ada

de aristas de
viene dado por la suma de las aristas de ada omponente
Kn i .
|E(G)|. Si eliminamos un vrti e de una

Kn1 , y la agregamos a otra omponente,
sin perdida de generalidad Kn2 , tendramos que en G se eliminan n1 1 aristas
y se agregan n2 aristas. Como n2 n1 tenemos que n2 n1 0. Por lo tanto,
n2 (n1 1) = (n2 n1 ) + 1 1 > 0. As, el mover vrti es de una omponente a
otra aumenta el nmero de aristas en G. En onse uen ia, sin perdida de generalidad,
si ada Gi para todo i I = {1, . . . , k 1}, tiene slo un vrti e y la omponente
Gk tiene n k + 1 vrti es, tenemos que G tiene por Corolario ?? 12 (n k + 1)(n k)
Veamos si es posible aumentar el nmero
omponente, sin perdida de generalidad
aristas.
El Teorema 1.4.4 nos da un riterio para determinar la onexidad en un grafo

dado:
18
Corolario 1.4.2. Sea G un grafo simple on nvrti es y maristas, on n 2.

Enton es se tiene que:
Si m > 12 (n 1)(n 2) enton es G es onexo.
Demostra in.
Supongamos que
no es onexo, enton es
posee al menos 2 om-
ponentes onexas. Luego, por el Teorema 1.4.4 se tiene que:
1
1
1
m (n k)(n k + 1) (n 2)(n 2 + 1) = (n 2)(n 1).
2
2
2
Queda enton es demostrado el orolario.
Deni in 1.4.7.
d(vi , vj ),
mos por
Si
vi , vj
Sea
G = (V (G), E(G))
distan ia entre los vrti es vi y
la
vi , vj V (G).
vj .
un grafo y sean
se en uentran en la misma omponentes onexas de
omo la longitud de la adena de menor longitud que une
Si
vi , vj
vi
Denotare-
G, denimos d(vi , vj ),
vj .
no se en uentran en la misma omponentes onexas de
G, d(vi , vj ) = .
Observa in 1.11. Si G = (V (G), E(G)) es un grafo onexo, d es una fun in sobre

V (G),
tal que para todo
u, v V (G),
se satisfa en las siguientes ondi iones:
i. d(u, v) 0 y d(u, v) = 0 si y solamente si u = v.

ii. d(u, v) = d(v, u)
iii. d(u, v) d(u, w) + d(w, v) para todo w V (G).
Problemario 1.4.
1.4.1. Cualquier grafo onexo on

1.4.2. Denotaremos por
i.
Halle
(G)
(G)
vrti es ontiene
n1
lados.
el menor de los grados de los vrti es de un grafo
G.
para los grafos dados por las Figuras 1.1, 1.2, 1.4, 1.5, 1.6, 1.8,
1.9.
ii.
Pruebe la siguiente proposi in: En un grafo simple

Enton es
iii.
G,
si
(G)
n1
.
2
es onexo.
Pruebe que la proposi in dada en el item anterior, no sera ierta si olo amos
(G)
n2
. En un grafo simple
2
G,
si
(G)
n1
. Enton es
2
es
onexo.
19
iv.
De ejemplo de un multigrafo dis onexo para el ual se umple que
(G)
n1
.
2
1.4.3. Demuestre que:

Un grafo es onexo si y solamente si, para ualquier des omposi in de V (G) =
S
T
V1 V2 (V1 V2 = ) de los vrti es de G, existe un lado e = {v1 , v2 }, tal que
v1 V1 y v2 V2 .
1.4.4. Suponga que
es un grafo en el que hay dos i los simples distintos
C1
C2 ,
los uales tienen exa tamente una arista omn.
i.
Exhiba los i los desarrollados y mostrando la arista omn.
ii.
Ahora muestre un nuevo i lo simple en el ual no apare er la arista omn

de los i los
C1
C2 .
C,
. Suponga que T es una adena entre un
vrti e u y otro v , y que la arista est en T . Compruebe que al quitar se
o
puede onstruir . traadena de u a v. Ahora ompruebe que G no deja de ser
onexo al quitarle la arista .
1.4.5. Suponga que
es un grafo simple y onexo que ontiene un i lo simple
al ual se le va a quitar una arista
G es
1.4.6. Suponga que
un grafo simple y dis onexo. Demuestre que
dis onexo. Con luya que
no puede ser
no pueden ser dis onexos simultneamente.
1.4.7. En un grafo que sea onexo, se denomina istmo a ualquier arista

s one ta al grafo
slo si en
1.4.8. Sean que
i.
Si
ii.
iii.
G1
si se elimina. Demuestre que: una arista
no haya i los simples que ontengan a
G1
G2
G2
G1
1.4.9. Suponga que
G1 + G2 .
Conexo? dis onexo?.
son dis onexos, se puede asegurar que
que de-
grafos:
son onexos, omo es
G2
es un istmo si y
Si slo uno de los dos es onexo, qu se puede de ir de
Si
G1 + G2 ?
G1 + G2
es dis onexo?
es un grafo simple y nito en el ual ada vrti e tiene grado
mayor o igual que 2. Demuestre que
ontiene un i lo simple.
nvrti es v1 , . . . , vn (G no tiene que ser simple).

k
Demuestre que el valor de la omponente ij de la matriz [A(G)] (multipli ando
1.4.10. Considere un grafo nito on
en forma usual, no binaria) es exa tamente la antidad de adenas de orden
que hay entre
vi
vj
Compruebe este resultado en el grafo mostrado en la
siguiente gura:
20
1.5. Grafos Eulerianos y Grafos Hamiltonianos
El problema de los 7 puentes de Knigsberg

En la iudad de Knigsberg hay una isla, Kueiphof y el ro que la rodea, se divide
en dos brazos. Las distintas zonas de tierra estn unidas mediante siete puentes.
La isla para los habitantes era motivo de distra in y se plantearon, des ubrir
un itinerario de manera que pudieran regresar al punto de partida, despus de haber
ruzado por los siete puentes, pero pasando slo una vez por ada uno de ellos. Euler
enfo el problema representando ada parte de tierra por los puntos A, B, y C,
mientras que los puentes los represento por lneas que unan estos puntos. Enton es,
el problema anterior se puede trasladar a la siguiente pregunta: se puede re orrer
todas las lneas del dibujo sin repetirlas, partiendo de un punto y regresando a l? . A
la gura la llam
lados o aristas.
grafo, a los puntos los llam vrti es y a las lneas las denomin
Euler generaliz el problema y estudio bajo que ondi iones un
grafo, se poda dibujar on un slo trazo, sin levantar el lpiz del papel y sin pasar
dos ve es por el mismo sitio. En esta se in estudiaremos uales son esas ondi iones.
Deni in 1.5.1. Sea G un grafo de tamao m. Una adena simple de G de longitud

m, es de ir, que pasa por todos los lados una y slo una vez, es denominada adena
euleriana.
Deni in 1.5.2.
Sea
un grafo de tamao
m.
Un i lo de
de ir, que pasa por ada lado una y slo una vez, es denominado
Deni in 1.5.3.
de longitud
m,
es
i lo euleriano.
es:
Semieuleriano si posee una adena euleriana.
Euleriano si posee un i lo euleriano.
El Teorema 1.5.1 nos propor iona un riterio numri o para identi ar o re ono er
grafos eulerianos y semieulerianos.
Teorema 1.5.1. Para ualquier grafo onexo G se umple que:

21

c1
u6
u1
c6
u5
c8
c7
c9
u7
c12
c5
u2
c10
c11
u4
c2
c3
u3
c4
Figura 1.10: Ci lo euleriano
i. G es euleriano si y slo si ada vrti e de G tiene grado par.

ii. G es semieuleriano si y slo en G a lo sumo hay dos vrti es on grado impar.
Demostra in.
Ejer i io
Volviendo al problema de los 7 puentes de Knigsberg
dado que a la isla llegan 5 puentes y a las orillas A , B y C llegan 3 puentes; por
el Teorema 1.5.1, podemos on luir que el problema no tiene solu in.
Ejemplo 1.20.
Si
K2
Si
En el grafo ompleto
es impar enton es
tiene exa tamente
n2
Kn
y par enton es
Kn ,
ada vrti e tiene grado
n 1.
es euleriano.
vrti es de grado impar, por lo que es semieuleriano.
Kn
no es euleriano ni semieuleriano.
Algoritmo de Fleury
Dado un grafo onexo
si
G, el Teorema 1.5.1 propor iona un riterio para determinar
es o no un grafo euleriano, pero no des ribe omo en ontrar un i lo euleriano.
De all la importan ia del algoritmo de Fleury, ya que este algoritmo nos permite,
en el aso de grafos nitos, omo en ontrar un i lo euleriano.
La des rip in de este algoritmo es el siguiente:
Paso 1.
Sele ionar un vrti e ualquiera
Paso 2.
Re orrer ualquier arista que in ida en
mismo
u,
u.
uy
permita ir a otro vrti e
(o al
la arista puede ser un lazo).
22
Paso 3.
Continuar re orriendo aristas (que no hayan sido utilizadas) en forma en-
adenada hasta ompletar el i lo. En ada sele in de aristas para re orrer,

se deben apli ar las reglas siguientes:
Regla 1:
aristas ya re orridas deben ser borradas o des artadas; tambin
deben ser borrados los vrti es que quedan aislados.
Regla 2:
aristas que sean istmos no deben ser re orridas mientras exista otra
alternativa.
Ejemplo 1.21.
El grafo mostrado en la Figura 1.11 es onexo y ada vrti e tiene
grado par, as que el grafo es euleriano. La se uen ia gr a muestra el desarrollo

del algoritmo de Fleury para en ontrar un i lo euleriano.
Figura 1.11: Ci lo euleriano
v2
v1
v1
(a)
v1
v2
v3
v4
(d)
v1
(b)
v3
( )
v1
v3
v1
v3
v4
v5
v4
v5
(e)
(f)
23
v1
v3
v1
v3
v4
v5
v4
v5
v6
v6
(g)
v1
v1
v3
v5
v6
(h)
(i)
v3
v5
(j)
Figura 1.12: Se uen ias gr as para hallar un i lo euleriano
El juego i osiano
Uno de los ms signi ativos des ubrimientos del famoso matemti o irlandes,
Sir William Hamilton, fue la existen ias
de lgebras no onmutativas. Hay mu-
hos sistemas de lgebras no onmutativas, y una de ellas, des ubierta por Hamilton
y nombrada omo
El l ulo i osiano [9, puede
ser interpretada en trminos de
aminos sobre el grafo del dode aedro regular (Figura 7). Hamilton us esta interpreta in gr a omo base para un entretenimiento que se llamo
El juego i osiano.
Este juego fue exhibido en un ongreso de Dublin en 1857 y omer ializado en 1859.
El objetivo del juego era en ontrar aminos y ir uitos en el grafo dode aedral, satisfa iendo iertas ondi iones. En parti ular, el primer problema onsista en hallar
un ir uito que pasara exa tamente una vez por ada vrti e retornando al vrti e de
partida, lo que hoy se ono e omo ir uito hamiltoniano. Di ho ir uito puede ser
en ontrado en el grafo dode aedral siguiendo la numera in re iente de la Figura 7.
Tiempo despus hubo otra versin del juego de Hamilton ono ida omo
Un
viaje alrededor del mundo. En este aso, los vrti es representaban 20 iudades
,Zanzbar
importantes (Bruselas, Canton, Delhi,
y se quera en ontrar un tour
que, saliendo de la primera iudad, pasara exa tamente una vez por todas las dems
retornando al punto de partida.
Deni in 1.5.4. Sea G un grafo de orden n. Una adena elemental de G de longitud

n 1,
es de ir que pasa por todos los vrti es una y slo una vez, es denominada
adena hamiltoniana.
24

20
1
19
16
15
10
14
5
11
12
13
18
17
Figura 1.13: Dode aedro
Deni in 1.5.5. Sea G un grafo de orden n. y Un i lo elemental de G de longitud

es denominado i lo hamiltoniano.
n,
Deni in 1.5.6.
es:
Semihamiltoniano si posee una adena hamiltoniana.
Hamiltoniano si posee un i lo hamiltoniano.
El Teorema 1.5.2, nos da ondi iones ne esarias para determinar si un grafo es

hamiltoniano, omo vemos a ontinua in:
Teorema 1.5.2
(Dira )
. Sea G un grafo que satisfa e las ondi iones siguientes:
i. Es simple.
ii. Tiene 3 ms vrti es.
iii. Todo vrti e de G tiene dG (x)
n
2
donde n el nmero de vrti es de G.
Enton es G es hamiltoniano.
Demostra in.
Ejer i io
Ejemplo 1.22.
a.
El Teorema 1.5.2 se puede apli ar al grafo ompleto
Kn
si
n 3,
las 3 ondi iones dadas en el teorema. En onse uen ia, todo grafo
ya que satisfa e
Kn conn 3
es
hamiltoniano.
b.
El grafo simple on
25
n = 8 vrti es, dado en la Figura 1.14, satisfa e las ondi iones
i. y ii. del Teorema 1.5.2, pero no satisfa e la ondi in iii. del Teorema 1.5.2, sin
embargo es hamiltoniano. Ya que tiene un i lo hamiltoniano omo por ejemplo
C = [{v1 , v2 }, {v2 , v3 }, {v3 , v4 }, {v4 , v5 },
{v5
, v6 }, {v6 , v7 }, {v7 , v8 }, {v8 , v1 }]
v4
v3
v5
v2
v6
v1
v7
v8
Figura 1.14: Ci lo simple
26
Problemario 1.5.
G es un grafo onexo y simple
que G no puede ser euleriano.
1.5.1. Suponga que

Demuestre
1.5.2. Si
Km + Kn = Km,n ,
Km,n .
que posee al menos un istmo.
determine para qu valores de
m y n es
euleriano el grafo
Para qu valores es hamiltoniano
nvrti es, n 2, es llamado

n r ulo y es denotado por On . Para n 3, se dene la nrueda Rn omo
Rn = On1 + N1 . Determinar los valores de n para los uales Rn es:
1.5.3. Un grafo onstituido por un i lo simple on
i.
Euleriana
ii
Hamiltoniana
1.5.4. En ada uno de los grafos
K2n+1
ontiene
Ki , i = 3, 5, 7, 9,
n i los hamiltonianos,
n 1 i los.
ompruebe la arma in siguiente:
ada uno de los uales se on aristas
que no forman los otros
1.5.5. Durante una onven in, 9 de los asistentes a la onven in enaron juntos ada
da, desde el
1ro
hasta el ltimo. En esas enas, ada uno de llos tuvo a su lado
slo una vez a ada uno de los 8 restantes. Represente esa situa inmediante
un grafo. Utili e el grafo para determinar untos das dur la onven in.
1.5.6. Determine untos i los eulerianos distintos se pueden en ontrar en:
i. K3
ii. K5
iii. K7
1.5.7. En el grafo dado en la gura siguiente, en uentre, si es posible, una adena
euleriana, una adena hamiltoniana, un i lo euleriano o un i lo hamiltoniano:
b
27
1.6. Algoritmo de Dijkstra
El algoritmo de Dijkstra fue diseado para la determina in del amino ms

orto, dado un vrti e origen al resto de vrti es en un grafo dirigido y on pesos en
ada arista. Su nombre se reere a Edsger Dijkstra.
La idea de este algoritmo onsiste en ir explorando todos los aminos que parten
del vrti e origen y que llevan a los vrti es restantes; uando se obtiene el amino
ms orto desde el vrti e origen, al resto de vrti es que omponen el grafo, el
algoritmo se detiene. El algoritmo se atiene a la estrategia ono ida omo esquema
de algoritmo voraz.
Edsger Wybe Dijkstra, na i en
Rotterdam, (Holanda) en 1930 y muriel 6
de Agosto del 2002. En 1942, uando Dijkstra tena 12 aos, entr en Gymnasium
Erasminium, una es uela para estudiantes espe iales brillantes, donde dio lases, fundamentalmente de Griego, Latn, Fran s, Alemn, Ingls, Biologa, Matemti as y
Qumi a. En 1945, Dijkstra pens estudiar dere ho y trabajar omo representante de
Holanda en las na iones Unidas. Sin embargo, debido a su fa ilidad para la qumi a,
las matemti as y la fsi a, entr en la Universidad de Leiden, donde de idi estudiar
fsi a teri a. Durante el verano de 1951, asisti a un urso de verano sobre programa in en la Universidad de Cambridge. A su vuelta empez a trabajar en el Centro
Matemti o en Amsterdam, en marzo de 1952, donde se in rement su re iente
inters en la programa in. En 1959, Dijkstra anun i su algoritmo de aminos mnimos, despues de haber estado trabajando on el ARMAC, el ordenador que el Centro
Matemti o posea. Ms tarde propuso el algoritmo del rbol generador minimal. A
prin ipios de la d ada de los 60 Dijkstra apli la idea de la ex lusin mutua a las
omuni a iones entre una omputadora y su te lado. Su solu in de ex lusin mutua
ha sido usada por mu hos pro esadores modernos y tarjetas de memoria desde 1964,
uando IBM la utiliz por primera vez en la arquite tura del IBM 360. En 1972 gan
el premio Alan Turing ACM y en 1974 el AFIPS Harry Good Memorial. Dijkstra se
traslad a Austin, Texas a prin ipio de los 80. Desde 1984, trabajo en Cien ias de
la Computa in, en la Universidad de Texas Fue miembro honorario de la A ademia
Ameri ana de Artes y Cien ias y de la Real A ademia Holandesa de Artes y Cien ias. Tambien fue mienbro distinguido de la so iedad de omputa in britni a y
nalmente fue Do tor Honoris Causa en Cien ias por la Queen's University Belfast.
A ontinua in presentaremos una des rip in del algoritmo de Dijkstra.
Des rip in detallada

Sea
G = (V (G), E(G))
Sean los vrti es
un grafo dirigido y ponderado.
a V (G)
z V (G); a
es vrti e de origen y
el vrti e de
destino.
28

C V (G), que ontiene los
a todavia no se ono e.
Sea un onjunto
vrti es de
uyo amino de
menor distan ia desde
D,
Sea un ve tor
on tantas dimensiones omo elementos tiene
"guarda"las distan ias entre
Sea, nalmente otro ve tor;
y ada uno de los vrti es de

on las dimensiones que
D,
V (G),
y que
V.
y que onserva la
informa in sobre que vrti e pre ede a ada uno de los vrti es en el amino.
El algoritmo para determinar el amino de longitud mnima entre los vrti es

y
es:
1.
C=V
2.
Da = 0
3. Para todo
i C, i 6= a,
se estable e
Di =
4. Para todo
i C,
w(a, i)
se estable e
5. En ontramos un vrti e
si
(a, i) E(G),
si
(a, i)
/ E(G).
Pi = a,
s C {a}
tal que no exista otro vrti e
wC
tal
Dw < Ds . Puede existir un empate, en tal aso se elige uno arbitrariamente
que
o de a uerdo a un riterio mar ado.
Si
s=z
6. Se elimina de
enton es se ha terminado el algoritmo.
7. Para ada arista
Si
el vrti e
s: C = C {s}.
e = (s, t) E(G), t C {a},
w(s, t) + Ds < Dt ,
enton es:
a)
Se estable e
Dt = w(s, t) + Ds
b)
Se estable e
P t = s.
8. Se regresa al paso 4.
Al terminar este algoritmo, en

y
z.
Dz
Por otro lado, mediante el ve tor
estar
y,
el vrti e que pre ede a
pre ede a
y,
se puede obtener el amino mnimo: en
en el amino mnimo; en
Py
estar el vrti e que
en el amino mnimo, y as su esivamente, hasta llegar a
a
Pz
estar guardada la distan ia mnima entre
a.
29

3
2
3
2
1
1
6
4
1
4
Figura 1.15: Ejemplo de Dijkstra
Ejemplo 1.23.
Ilustramos la utiliza in del algoritmo de Dijkstra por medio de la
Figura 1.15:
Primera itera in
Consideraremos a 1 omo vrti e origen.
C = {1, 2, 3, 4, 5, 6}
D1 = 0
D2 = 1
D4 = 4
D3 = D5 = D6 =
Pi = 1
para todo
i C.
Segunda itera in s = 2
C = {1, 3, 4, 5, 6}
D3 = 3 + 1 = 4
D4 = 4
D5 = 1 + 1 = 2
D6 =
P3 = P5 = 2
Ter era itera in s = 5

C = {1, 3, 4, 6}
30

D3 = 1 + 2 = 3
D4 = 1 + 2 = 3
D6 = 4 + 2 = 6
P3 = P4 = P6 = 5
Cuarta itera in s = 3
C = {1, 4, 6}
D6 = 2 + 3 = 5
P6 = 3
Fin del algoritmo
En on lusin tenemos:
La distan ia mnima del vrti e 1 al vrti e 2 es: 1 y el amino es: 1 2

La distan ia mnima del vrti e 1 al vrti e 3 es: 3 y el amino es: 1 2 5 3
La distan ia mnima del vrti e 1 al vrti e 4 es: 3 y el amino es: 1 2 5 4
La distan ia mnima del vrti e 1 al vrti e 5 es: 2 y el amino es: 1 2 5
La distan ia mnima del vrti e 1 al vrti e 6 es: 5 y el amino es: 1 2 5 3 6
1.7. Isomorsmo de grafos
En la teora de los grafos, slo se queda lo esen ial del dibujo: la forma de las
aristas no son relevantes, slo importan sus extremidades (o abos); la posi in de
los vrti es tampo o, y se puede variar para obtener un grafo ms laro, y hasta
sus nombres se pueden ambiar. Estos ambios se llaman isomorsmos de grafos.
Generalmente, se onsidera que olo ar los vrti es en forma de polgono regular da
grafos muy lebles. Formalmente daremos su deni in a ontinua in.
Deni in 1.7.1. Diremos que dos grafos G1 = (V (G1 ), E(G1 )) y G2 = (V (G2 ), E(G2 ))
son isomorfos si existe una biye in : V (G1 ) V (G2 ) tal que {(x), (y)} es
una arista de G2 si y slo s {x, y} es una arista de G2 . Diremos que es un isomorsmo de grafos.
Ejemplo 1.24.
Los grafos dados en la gura 1.16
31
1.8. rboles.
a
Figura 1.16: Isomorsmo de Grafos
Problemario 1.7.
1.7.1. Estudiar si los grafos siguientes son isomorfos:

a
(a)
(b)
Figura 1.17: Isomorsmo de Grafos
1.7.2. En uentre todos los grafos regulares, no isomor os de grado 3, on:
i.
4 veti es.
ii.
5 veti es.
iii.
6 veti es.
iv.
8 veti es.
1.7.3. En uentre todos los grafos simples, no isomor os on:
i.
ii.
Tres vrti es
Cuatro vrti es
1.7.4. En uentre todos los grafos simples, no isomorfos on in o vrti es y dos lados.
1.8. rboles.
La palabra
rbol sugiere la idea intuitiva de una rama one tada a una raz sin
formar i los. Los rboles de un grafo tienen mu has apli a iones en alma enamiento
de datos y omuni a iones (in luyendo omputos de distan ia.)
Deni in 1.8.1.
Sea
G = (V (G), E(G))
un grafo, diremos que:
32
G es un
grafo a i li o si G no ontiene i los elementales).
G es un
bosque si G es un grafo a i li o.
G es un
rbol si G es a i li o y onexo.
Ejemplo 1.25.
La Figura 1.18 muestra un grafo
ontiene i los elementales. Notese que

pero ada omponente onexa de
G,
que es un bosque dado que no
no es onexo, por lo que no es un rbol,
si es un rbol.
14
1
12
3
11
15
2
13
9
6
5
8
4
10
Figura 1.18: Un rbol
Deni in 1.8.2.
Sea
un grafo. Sea
no Conexo
u V (G),
diremos que
es una
hoja si u
es un vrti e olgante.
Ejemplo 1.26. En el Ejmplo 1.25 los vrti es 1, 3, 9, 15 son hojas, dado que dG (1) =
dG (3) = dG (9) = dG (15) = 1
Deni in 1.8.3.
Sea
es un subgrafo par ial de
Observa in 1.12.
Cq
pero el vrti es 4 no lo es, ya que
un grafo. Diremos que
es
rbol generado de G si H
que es un rbol.
Denotaremos por
un i lo elemental on
dG (4) = 3.
Pq
una adena elemental on
vrti es y por
vrti es.
Ejemplo 1.27. P4 es un rbol generado de K4 y C3 es un subgrafo generado de P4 ,

pero no es un rbol generador. Lo ual podemos observar a ontinua in:
33
1.9. Propiedades de los rboles.

1
(a) K4
(b) P4
( ) C3
Figura 1.19: rboles Generadores y No Generadores
Los rboles poseen mu has propiedades, las uales son equivalentes, y muy utiles
al momento de determinar que un grafo dado es un rbol. Estas propiedades pueden
ser onsideradas omo ondi iones de su ien ias para determinar que un grafo dado
es un rbol.
Teorema 1.9.1. Si G es un grafo onexo nito, enton es G admite al menos un

rbol generador.
Existen varios pro edimientos para en ontrar rboles generadores de grafos nitos onexos. Dos de esos mtodos son des ritos a ontinua in y ada uno de llos
propor iona una manera de demostrar el Teorema 1.9.1.
Algoritmo Destru tivo:

Este mtodo se basa en la elimina in de los i los en
G.
Su desarrollo es el
siguiente:
Paso 1:
Sele ione un i lo en
Paso 2:
En el subgrafo par ial de
G,
elimine una arista de ese i lo.
G,
que qued despus del paso 1, sele ione un
i lo y elimne una arista.
Paso 3:
Repetir el paso anterior hasta agotar los i los de
nal es un rbol generador de
G.
El subgrafo par ial
G.
34
Algoritmo Constru tivo:

Este mtodo se basa en la genera in de una se uen ia de rboles, hasta ompletar un rbol generador de
G. La onstru in se ha e mediante sele in ade uada
de vrti es y aristas. Su desarrollo es el siguiente:
Paso 1:
Sele ionar un vrti e
s1 .
Paso 2:
Sele ionar una arista
a1
en un vrti e
Paso 3:
s3
/ H2 .
a2
Ha er
en un vrti e
sj
/ Hj1.
aj
Problema:
el otro extremo
H2 ,
el otro extremo
Hj1 ,
el otro extremo
s2 .
que tenga un extremo en
H3 = H2
s3 .
Ha er
Este pro eso nalizar uando

del grafo.
H1 ,
. . . . . . . . . . . . . . .
. . . . . . . . . . . . . . .
. . . . . . . . . . . . . . .
Paso j:
H1 = {s1 }.
H2 = H1
Ha er
en un vrti e
..
.
s2
/ H1 .
Ha er
Hj = Hj1 sj .
Hj sea igual al onjunto
de todos los vrti es
Utili e el grafo en la Figura 1.20, para apli ar los algoritmos destru-
tivos y onstru tivos para hallar rboles generadores.
35

c1
u6
u1
c6
c8
c7
u5
c12
c5
c2
c9
u7
c10
c11
u4
u2
c3
u3
c4
Figura 1.20: Grafo onexo on i los
Lema 1.9.2. En un Grafo G se umple:

1. Todo rbol on al menos dos vrti es tiene al menos dos hojas.
2. Al eliminar una hoja de una rbol on n vrti es se obtiene un rbol on n 1
vrti es.
Demostra in.
1.
tenemos que
Sea
T = P2 ,
un rbol on
es de ir,
nvrti es (n 2).
n = 2,
por ser
un rbol
viene dado por:
En onse uen ia,
Si
tiene dos hojas.
n 2, tomemos una adena elemental P de longitud mxima, ento es sus extremos

son hojas, de lo ontrario P no sera maximal, as T tiene por lo menos dos hojas.
Si
2. Sea
un rbol on
nvrti es (n 2).
n = 2, enton es T = P2 , ya que T es onexo y

gr(u) = 1, por lo tanto T u = N1 el ual
|V (T u)| = |V (T )| 1 = 1. As, tenemos la tesis.
u V (T ),
Si
a i li o, luego si
enton es
es onexo y a i li o. Adems
T = T u. Sean
x, y V (T ), omo T es onexo enton es existe una adena elemental C = [x, y] en
T . Como gr(u) = 1, enton es u no pertene e a C . As, C = [x, y] es una de adena
de T
Supongamos ahora que
n > 2.
Sea
u V (T )
una hoja y sea
Por lo tanto
Luego,
T = T u
T es a i li o, dado que T es a i li o.
|V (T )| = |V (T u)| = |V (T )| 1 = n 1 vrti es.
es onexo. Ms an,
es un rbol on
36
Ejemplo 1.28.
Al eliminar la hoja
del rbol que se en uentra a la izquierda, el
ual tiene 7 vrti es, se observa que el grafo resultante, es un rbol on 6 vrti es.
a
Figura 1.21: Apli a in del Lema 1.9.2
Teorema 1.9.3. Para un grafo G on nvrti es (n 1), las siguientes proposi iones son equivalentes:
1. G es onexo y a i li o.
2. G tiene n-1 lados y es onexo.
3. G tiene n-1 lados y es a i li o.
4. Para u, v V (G), G tiene exa tamente una [u, v] adena elemental.
Demostra in. 1 2.
Falta slo probar que
tiene
n1
lados.
n. Demostremos que se umple para n = 1.

|V (G)| = 1 y |E(G)| = 0 = |V (G)| 1. Por lo
Haremos la prueba por indu in sobre
N1
es un grafo onexo y a i li o on
tanto, se tiene la tesis.
n = k 1, (k > 2), es de ir, si G

|V (G)| = k 1, enton es G es tiene k 2 lados.
Supongamos ierto para

a i li o on
Demostremos que se umple para

Sea
n = k.
|V (G)| = k , y sea v V (G) tal que dG (v) = 1,

G = G v es un rbol on |V (G )| = k 1.
un rbol tal que
el Lema 1.9.2
es un grafo onexo y
Luego, por la hiptesis indu tiva, apli ada a
enton es, por
G tenemos que G es onexo y |E(G )| =
k 2.
Como,
G = G v
gr(u) = 1,
enton es
|E(G)| = |E(G | + 1 = k 2 + 1 = k 1.
37

23
Falta probar que
es a i li o.
Haremos la demostra in por el absurdo.
G = (V (G), E(G)) un grafo onexo tal que |V (G)| = n 1

1. Supongamos que G no es a i li o, luego por Teorema 1.9.1 G
generado G . Por lo tanto, G es onexo y a i li o.
Sea
Por lo tanto, por
|E(G)| = n
admite un rbol
1 2), |E(G)| = n 1.
|E(G)| = n 1 = |E(G |, por lo tanto,
obtener a G . Contradi ion. Asi, G es a i li o.
Luego,
no se borro ningn lado de
G,
para
31
Sea
G = (V (G), E(G)) un
G es onexo.
grafo a i li o tal que
|E(G)| = n 1
on
n > 1.
Falta
probar que
G tieneP
k omponentes onexas, G1 , ...Gk (k 2), on |V (Gi )| = ni ,
|V (G)| = ni=1 ni = n.
Supongamos que
i = 1...k ,
Como
Asi,
es a i li o, enton es
y a i li o, para ada
1 2)
Luego, por (
Gi
es a li li o, para ada
i = 1, . . . , k ,
asi
Gi
es onexo
i = 1..k
se umple que,
|E(Gi )| = ni 1,
i = 1, . . . , k.
para ada
As,
|E(G)| =
k
X
i=1
|E(Gi )| =
k
X
(ni 1) = n k
i=1
|E(G)| = nk , pero omo por hipotesis, |E(G)| = n1, tenemos que k =

onse uen ia G es onexo. Luego, k = 1. Contradi in. En onse uen ia,
Por lo tanto,
1,
G
omo
es onexo.
14
Sea
G = (V (G), E(G))
un grafo onexo tal que
Como G es onexo, enton es, para ualquier par
|V (G)| = n > 1
u, v V (G), existe
una
u, v - adena
elemental.
G tiene dos u, v adenas elementales distintas P

pertene iente P y no pertenne iente a Q.
Supongamos que
un lado
Q. Sea e = (x, y)
38
Luego, si on atenamos a
apare e una sola vez. Luego
on Q, se obtiene una adena P Q, donde e = (x, y)

(P Q) e es una x, y - adena que no ontiene a e.
Luego, existe una adena elemental, de extremos

un i lo, lo que ontradi e la hiptesis de que
Esta ontradi in, proviene de suponer que en

tales distintas. Por lo tanto, para ualquier par
u, v adena
41
elemental en
la ual al agregar
ompleta
es a i li o.
G existen dos u, v adenas elemenu, v V (G) existe exa tamente una
G.
G = (V (G), E(G)) es un grafo tal que |V (G)| = n y supongamos que para ualquier par u, v V (G) existe exa tamente un u, v - adena elemental
en G.
Supongamos que
Obviamenete G es onexo, probemos que es a li o

Supongamos que G ontiene por lo menos un i lo C y sumpongamos que
dos vrti esde C, luego, existen dos
a, b- aminos
son
elementales distintos en G, lo ual
ontradi e la hiptesis.
Por lo tanto, G es a ili o.
Captulo 2
Reti ulados
2.1.
Rela in Binaria. Representa iones. Propiedades
Deni in 2.1.1. Una Rela in Binaria R sobre un onjunto A es un sub onjunto

del produ to artesiano
Ejemplo 2.1.
Si
AA
A = {a, b, c},
AA
enton es
es el onjunto siguiente:
A A = {(a, a); (a, b); (a, c); (b, a); (b, b); (b, c); (c, a); (c, b); (c, c)}
A = {a, b, c}:
Son rela iones binarias sobre el onjunto
R1 = {(a, a); (a, c); (b, c); (c, b)}, R2 = {(a, a); (b, b); (c, c)}(Rela in
R3 = {(a, b); (a, c); (b, a)},
R4 = {(a, a); (a, b); (b, a); (b, b)}
Tambin son rela iones binarias sobre
Identidad
A:
R5 =
R6 = A A
R7 = {(a, a)}, R8 = {(b, c)} R9 = {(a, b); (b, c)}, R10 = {(a, b); (b, c); (a, c)}
Cuando el onjunto
A es nito, ualquier rela in binaria puede ser representa-
da gr amente, mediante un
diagrama sagital digrafo; los elementos del on-
junto son representados omo vrti es del digrafo y ada pareja
(x, y)
de la rela in
es representada por un ar o.
Ejemplo 2.2.
R1 , R2 , R3
Representa iones gr as de las rela iones
2.1.
b
c
b
b
b
(a) R1
a
b
a
b
c (b) R2
del ejemplo
c ( ) R3
Figura 2.1: Representa iones Gr as de Rela iones Binarias
39
40
Captulo 2. Reti ulados

Cuando el onjunto
es nito, las rela iones binarias sobre
representa in mediante matri es. Si

binaria
A
( es
1,
ij =
0,
sobre
omponente
Ejemplo 2.3.
A = {a1 , a2 , . . . , an },
representada por una matriz binaria
ai Raj ,
ai R
/aj ,
si
si
( ada
ai
tambin admiten
enton es una rela in
MR ,n n
que tiene
genera una la)
( y una olumna )
2.2, las representa iones
R1 , R2 , R
3 del ejemplo
1 0 1
1 0 0
0 1 1
= 0 0 1 ; MR2 = 0 1 0 ; MR3 = 1 0 0
0 1 0
0 0 1
0 0 0
Para las rela iones
matri iales son:
MR1
Propiedades Bsi as de una Rela in Binaria.

Consideremos una rela in binaria
1.- De imos que

R
sobre un onjunto no-va o
A.
R es Reexiva la ondi in aRa es verdadera

a A (o sea, uando es verdadera la proposi in a A : aRa.)
es reexiva uando existe a A/aR
/a
una rela in
para todo elemento

[Claramente,
no
Ejemplo 2.4.
La rela in R1 = {(a, a); (a, b); (a, c); (c, b)} sobre el onjunto A =
{a, b, c} no es reexiva, puesto que faltan los pares (b, b) y (c, c) en R1 . Pero R2 =
{(a, a); (b, b); (b, c); (c, c)} s es reexiva.
Problema:
Si una rela in binaria
sobre un onjunto nito es dada a ono er
mediante una representa in gr a, Qu riterio debe utilizarse para determinar

si
es reexiva? Qu debe o urrir para que no sea reexiva?
En el aso de que
sea dada mediante una representa in matri ial, Qu
debe o urrir para determinar si
es reexiva? Qu debe o urrir para que no sea
reexiva?
2.- Diremos que la rela in R es Antisimtri a la ondi in [xRy yRx

x = y] es verdadera para ualesquiera x, y A. (O sea, es verdadera la proposi in:
x, y A : xRyyRx x = y ).
Proposi in Equivalente: x, y A : x 6= yxRy yR
/x.
Ntese que esta ltima proposi in no es verdadera uando
x, y A/x 6=
yxRyyRx
Ejemplo 2.5. Sobre el onjunto A = {m, n, p, q} la rela in R3 = {(m, n); (n, p); (n, q);
(p, q); (q, n); (q, m)} no es antisimtri a porque apare en los pares (n, q) y (q, n); eso
signi a que nR3 q y qR3 n, pero q 6= n.
Por el ontrario,
Problema:
R4 = {(m, m); (m, n); (n, q); (p, q); (p, p)}
Cuando
mo des ubrir si
s es antisimtri a.
es dada mediante representa in gr a o matri ial, C-
es o no es antisimtri a?
41
2.1. Rela in Binaria
3.- Diremos que la rel ain R es transitiva la ondi in [xRyyRz xRz es

verdadera para todas las maneras de asignarle valores a las variables
los elementos del onjunto
A.
(O sea, uando es verdadera la proposi in
x, y, z, utilizando
no es transitiva uando
x, y, x A : xRy yRz xRz.)
x, y, z A/xRy yRz
pero
xR
/z
Ejemplo 2.6. La rela in R3 = {(m, n); (n, p); (n, q); (p, q); (q, n); (q, m)} no es transitiva pues all apare en
(m, n)
(n, p)
pero falta
(m, p);
o sea,
mR3 n
nR3 p
pero
mR
/3 p
R4 = {(m, m); (m, n); (n, p); (m, p); (p, q); (m, q); (n, q)}
S es transitiva
Problema:
Cuando
mo des ubrir si
4.-
es o no es transitiva?
De imos que la rela in
A, x 6= y,
es
onexa
para todo par de elementos
x, y
xRy yRx.
proposi in x, y A : xRy yRx)
es verdadera la proposi in
(O sea, uando es verdadera la
no es onexa uando x, y A/x 6= y xR

/y yR
/x
Ejemplo 2.7. La rela in R5 = {(a, a); (a, b); (b, a); (b, b); (a, c); (c, c)} sobre el onR
A = {a, b, c} no es onexa
signi a que bR
/5 c y cR
/5 b
junto
S es onexa
Problema:
porque no ontiene el par
(b, c)
ni el par
(c, b);
esto
R6 = {(a, b); (a, c); (c, b); (c, c)}
Cuando
mo determinar si
es o no es onexa?
Orden Par ial. Conjunto Par ialmente Ordenado.

Deni in 2.1.2. Dado un onjunto no-va o A, llamamos Orden Par ial sobre
A
a ualquier rela in
sobre
que tenga las propiedades de reexividad, anti-
simtera y transitividad. Cuando tambin es onexa, se le da el nombre de
Total. Un Conjunto Par ialmente Ordenado (CPO) es

tema algebrai o
[A, R]
formado por un onjunto no-va o
Orden
una estru tura o sisy un orden par ial
sobre A. Cuando el orden es total, se denomina Conjunto Totalmente Ordenado

(CTO).
Ejemplo 2.8. La Figura 2.2 muestra ejemplos de CPO y CTO.
Teorema 2.1.1. Supongamos que [A, R] es un CPO, que B es un sub onjunto no
va o de A y que R1 es la rela in inversa de R y RB es la restri in de R al

onjunto B . Enton es es verdad que
[A, R1 ] y [B, RB ]
son CPO
La on lusin tambin es verdadera si olo amos CTO en lugar de CPO.
42

e
b
d
b
b
b
a
b
s
b
b
b
b
b
(a) CPO
(b) CTO
( ) NO CPO
Figura 2.2: Conjuntos Par ialmente Ordenados y Conjuntos Totalmente Ordenados
Ejemplo 2.9.
b
e
b
A = {a, b, c, d, e}
c
b
Tomemos
b
b
b
b
d
b
d
b
(a) R es Reexiva, Antisimtri a y

Transitiva
B = {a, b, d}.
a
b
(b) R1 es Reexiva, Antisimtri a y

Transitiva
( ) RB es Reexiva, Antisimtri a y
Transitiva
Figura 2.3: Propiedades de las Rela iones
El Teorema 2.1.1 estable e que: al invertir o re ortar (restringir) un orden

par ial, ninguna de las propiedades se pierde.
b
e
b
e
b
b
b
b
b
(a) R es de Orden Total
(b) R1 es de Orden Total
( ) RB es de Orden Total
Figura 2.4: Orden de las Rela iones
Comparabilidad. Prede esor Inmediato. Diagrama de Hasse

Deni in 2.1.3. En un CPO [A, ], tomemos elementos p, q, r, s.
a Diremos que p es omparable on q (denotado por p omp q ) sii p q o q p.
b
Diremos que
es prede esor inmediato de s (se denota r s) sii son umplidas
las siguientes ondi iones:
43

r s, r 6= s,
xA
1.-
2.- no existe
Ejemplo 2.10.
b
e
b
a omp c, a omp e
a omp b, a omp d
b omp a, b omp d
b omp
/ c, b omp
/
e
d omp a, d omp b
d omp
/ c, d omp
/ e,
b
b
a
b
a e porque a c e
a c, a b
c e, b d
et .
e
a omp b, a omp c
a omp d, a omp e
b omp a, b omp c
b omp d, b omp e,
b
b
r x s.
Ahora la rela in es
que haga verdadera la desigualdad
a b; a c porque a b c
b c; b d porque b c d
c d; c e porque c d e
de
et .
Nota. La rela in prede esor inmediato, en aso que el onjunto sea nito, es representada gr amente mediante un grafo (no-dirigido) en el ual se onviene en preestable er el sentido de re imiento (para sustituir los ar os del digrafo orrespondiente a la rela in
).
Usualmente el sentido de abajo ha ia arriba orresponde
al ordenamiento de menor a mayor.

A ontinua in vemos las representa iones orrespondientes a los dos ejemplos
previos.
Cre imiento
d
b
c
b
b
b
b
b
menor
Esta representa in gr a de la rela in
del CPO (se entiende
d
b
mayor
se denomina
Diagrama de Hasse
que es del CPO que da origen a la rela in
gr amente): es importante entender que este
representada
Diagrama de Hasse
es una rep-
resenta in simpli ada del orden par ial, simpli a in que elimina los lazos de
reexividad y los ar os que ompletan la transitividad (ambas propiedades deben
quedar sobreentendidas).
44

La onstru in del Diagrama de Hasse a partir del Diagrama Sagital puede ser
ompli ada, sobre todo en CPO on mu hos elementos. Afortunadamente, se tiene

un algoritmo que permite evitar las impre isiones visuales y los enredos debidos a
la antidad de elementos.
Algoritmo para Cal ular M a partir de M .

k:
d elementos del CPO.
Paso 1.- Cal ular

Paso 2.- Cal ular
La matriz
M
M = M Ik
(M )2
M = M (M )2
Paso 3.- Cal ular

Paso 4.-
que se obtiene al terminar el paso 4, es la representa in matri ial
de la rela in prede esor inmediato: on la informa in ontenida en la matriz (informa in numri a) se onstruye la representa in gr a de la rela in prede esor
inmediato.
Ejemplo 2.11.
Sobre el onjunto
N = {1, 2, 3, . . .}
de los nmeros enteros positivos
se dene la rela in de divisibilidad mediante la regla siguiente:
divide a
para
m, n N,
n (m|n) k N/n = k m.
N, y el Teorema 2.1.1 nos permite asegurar
ualquier onjunto no-va o de N. As, resulta
Esta rela in es un orden par ial sobre

que tambin es un orden par ial sobre
que
[{1, 2, 3, 4, 5, 10, 20, 25}, |] es un CPO. Veamos mo utilizar el algoritmo anterior
para onstruir el diagram de Hasse.
Paso 1
1
1
0
M| =
0
0
0
0
Paso 3
Paso 2
2 4 5 10 20 25
1
1
0
0
0
0
0
0
0
2
(M ) =
0
0
0
0
1
1
1
0
0
0
0
1
0
0
1
0
0
0
1
1
0
1
1
0
0
1
1
1
1
1
1
0
1
0
1
;
0
0
1
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
1
1
0
1
0
0
0
1
0
0
;
0
0
0
0
0
M =
0
0
0
0
1
0
0
0
0
0
0
1
1
0
0
0
0
0
1
0
0
0
0
0
0
1
1
0
1
0
0
0
1
1
1
1
1
0
0
1
0
1
;
0
0
0
1
0
0
0
0
0
0
0
1
0
0
0
0
0
1
0
0
0
0
0
0
0
1
0
1
0
0
0
0
0
1
0
1
0
0
0
0
0
0
Paso 2
0
0
M =
0
0
0
0
Ahora, veamos las instru iones que se deben seguir para pro esar la informa in
numri a que ontiene
M ,
a n de onstruir el diagrama de Hasse del CPO.
45
Instru iones para Construir un Diagrama de Hasse

1a
M .
Instru in: Sele ionar elementos on las nulas en
Estos elementos
o uparn el nivel ms alto en el diagrama.
2a
Instru in: A ada elemento sele ionado en el paso anterior, revisarle la
olumna: los elementos orrespondientes a
1, en di ha olumna, son los prede esores
inmediatos del elemento que genera la olumna.
3a
Instru in: Repetir la
2a
20
instru in, ahora on los elemen-
tos sele ionados en el paso anterior, on el objetivo de en ontrar
10
b
los prede esores inmediatos de los elementos sele ionados en ese

paso anterior.
5
b
25
Continuar la bsqueda de prede esores inmediatos hasta agotar

los elementos.
En alguna o asin, al re ibir un CPO dado a ono er por su Diagrama de Hasse,

puede presentarse la ne esidad de ono er el Diagrama Sagital del CPO. Para ese
trabajo tenemos un algoritmo que tambin se desarrolla on l ulos matri iales.
Algoritmo para Cal ular M a partir de M .

Paso 3.-
M
Cal ular M = M In
Paso 1.- Cal ular

Paso 2.-
(M )3 ,
Cal ular
las
poten ias
(M )2 ,
. . . , hasta que dos onse utivas
sean iguales.
Paso 4.-
es la poten ia
(M )r
que se
repite.
Problemario 2.1.
2.1.1. Determinar ules de los gr os siguientes orresponden a CPO y ules a CTO.
b
(a)
(b)
( )
(d)
2.1.2. Determinar ules de las siguientes rela iones son rdenes par iales totales.
46
a ) (a, b)R1 (c, d) a c, b d,
en
b ) XR2 Y X Y, X 6= Y
on
X, Y P(I5 ), I5 = {1, 2, 3, 4, 5}
) AR3 B cardA cardB
on
A, B {{a, b}; {a, c}; {b, c, d}; {c}}
d ) XR4 Y X Y
X, Y P(In ), In = {1, 2, . . . , n}
on
e ) xR5 y 0 x + y
on
f ) xR6 y x = y
x, y A (A
on
R2
x, y [2, 2]
)
es un onjunto no-va o
2.1.3. Demostrar que la rela in de divisibilidad es:
a)
Un orden par ial sobre
b)
Un orden total sobre el onjunto
2.1.4. Demostrar que
[P(A), ]
N,
{2k /k = 1, 2, . . .}
es un CPO, sea ual sea el onjunto
A.
2.1.5. Hallar el diagrama de Hasse de:
a)
ada uno de los CPO del problema 2.1.1.
b)
ada uno de los CPO
[P({1}), ], [P({1, 2}), ], [P({1, 2, 3}), ]
2.1.6. A ada uno de los diagramas siguientes, ha erle el estudio indi ado:
a)
determinar si puede ser, o no, un diagrama de Hasse,
b)
en aso que s pueda serlo, en ontrarle el diagrama sagital orrespondiente.

b
2.1.7. Suponga que

ial
M .
[A, ]
A = {a1 , a2 , . . . , an } y on
M es cij , demostrar que:
es un CPO on
ij
de
representa in matri-
i = 1, 2, . . . , n,
b)
si
si la omponente
i 6= j
Si la omponente
a ) cii = 1,
cij = 1,
enton es
ij
de
cji = 0 (i, j {1, 2, . . . , n}),
(M )2
es
1,
enton es tambin
cij
es igual a
1.
47
2.2. Elementos Notables. Cotas Universales. Supremo, nmo.
n n) que ha e verdaderas las

{x1 , x2 , . . . , xn } = X es un
onjunto on n-elementos, enton es en X se puede onstruir una rela in R que sea
un orden par ial y que tenga representa in matri ial MR = M.
2.1.8. Suponga que
es una matriz binaria uadrada (
tres ondi iones del problema anterior. Demostrar que si
2.1.9. Utilizar el problema anterior para determinar ules de las matri es siguientes orresponden a rdenes par iales. En los asos armativos, en ontrar el diagrama de
Hasse respe tivo.
1
1
0
0
2.1.10. Si
0
1
0
0
0
0
1
1
0
0
[A1 , 1 ]
1
1
1
1
1
y
0
1
0
1
1
1
0
0
[A2 , 2 ]
0
1
0
0
0
0
1
1
0
0
1
1
1
1
1
0
1
0
1
1
1
0
0
0
1
0
0
0
son dos CPO, una fun in
0
1
1
0
0
1
1
1
1
1
0
1
0
1
1
1
0
0
h : A1 A2
morsmo de Orden si umple las ondi iones siguientes:

(1)h
preserva el orden, esto es,
0
1
0
0
0
0
1
1
0
0
es llamada
1
1
1
1
1
0
1
0
1
Homo-
x 1 z en A1 h(x) 2 h(z) en A2 . (2)h preserva

x comp
/
z en A1 h(x) comp
/
h(z) en A2 . (1)h
elementos no- omparables, esto es,
Monomorsmo de Orden.
Epimorsmo de Orden. Cuando h es
biye tiva es denomimado isomorsmo de orden o los CPO [A1 , 1 ] y CPO [A2 , 2 ],
es biye tiva. Cuando

Cuando
es inye tiva, es denomimado
es sobreye tiva es denomimado
son isomorfos.
Considerando los CPO del problema 2.1.6, exhibir ejemplos de homomorsmos de
orden entre ellos. Cuando sea posible, exhibir monomorsmos y epimorsmos.
a)
Exhibir un isomorsmo de orden entre
b)
Comprobar que
formado por
)
d)
Si
[{1, 2, 3, 6}, |].
[P({1, 2, 3}), ] y [D30 , |] son CPO isomorfos (D30 es el onjunto

los divisores de 30)
Demostrar que: si
A2 A1 ,
[P({1, 2}), ]
h : A1 A2
es un isomorsmo de orden, enton es
h1 :
tambin lo es.
es un isomorsmo de orden entre dos CPO nitos
[A1 , 1 ]
[A2 , 2 ],
Cmo son entre s los diagramas de Hasse de los dos CPO?
2.2. Elementos Notables. Cotas Universales.

Supremo, nmo.
Deni in 2.2.1.
En un CPO
[A, ],
es ojamos un sub onjunto no-va o
B.
Dire-
mos que:
48
ota superior de B todo elemento x B
(1) un elemento
sA
(2) un elemento
pB
es
elemento maximal de B
mB
es
elemento mximo de B todo x B
es
todo
xB
umple
umple
x s,
xp
x comp
/
p,
(3) un elemento
Nota 1: El onjunto formado por todas las otas superiores

por Cs(B); es de ir, Cs(B) = {s A/s es ota superior de B}
umple
de
x m,
es denotado
Nota 2: Se denen ota inferior de B , elemento minimal de B y elemento mnimo

B en forma similar, slo hay que olo ar s x en lugar de x s (y p x en
lugar de x p, m x en lugar de x m)
de
Ejemplo 2.12.
junto
El diagrama muestra un CPO, en el ual sele ionamos el sub on-
B = {c, d, e, i, h},
al ual le vamos a bus ar todas las otas superiores, todos
los elementos maximales, todos los elementos mximos.
p
k
j
i
b
h
b
e
b
b
tanto,
5o
ch
6o
Cotas inferiores de
B : c, a
Elementos minimales de
Elementos mnimos de
que umpla
(Ci(B)={ ,a})
B: c
B: c
(ni o), ntese que:
c c, c e, c d, c i,
(ni o)
Cuando el sub onjunto
una, se di e que el sub onjunto
z B
de B
No hay un elemento
no hay elemento mximo
en onse uen ia,
Observa in 2.1. 1
pero
no es ota superior
3o
4o
c j ),
2o Elementos maximales de B: i, h. Ntese que:

c i, d i, e i, i i, h comp
/
i (vea la Deni in
2.2.1) c h, e h, h h, d comp
/
h, i comp
/
h
zx B ;
c d, d j (por
j comp
/
i, j comp
/
h. Por
de B . Cs(B) = {l, n, p}
En el diagrama vemos que
transitividad,
m
b
b
b
1o
n
b
B es a otado
tiene otas superiores, al menos
superiormente (a otado inferiormente
uando tiene otas inferiores).
Se di e que el sub onjunto
En un sub onjunto
es
a otado uando tiene los dos tipos de otas.
B de un CPO no
puede haber ms de un elemento mximo
(resp. mnimo).
49

4
Cuando el CPO tiene un elemento mximo (ni o, por supuesto), se le da el
ota superior universal y se le denota por I; similarmente, uando el

CPO tiene un elemento mnimo, a este elemento se le llama ota inferior universal
y se le denota por (se di e que el CPO es a otado uando tiene las dos otas
nombre de
universales,
, I)
Ejemplo 2.13.
1.- El CPO del ejemplo anterior no es a otado porque, aunque s
tiene ota inferior universal
= a,
no tiene ota superior universal.
tramos un CPO a otado y otro que slo

tiene ota superior universal.
b
b
2.- En los dos diagramas anexos en on-
g
b
e
b
g
b
b
b
a
I = j, = a
h
b
Teorema 2.2.1
b
I=k
f
b
. Dado un CPO X = [A, ], onsideremos
(Prin ipio de Dualidad)
su CPO dual Y = [A, () ]. Si B es un sub onjunto no-va o de A, enton es es

ierto que:
1
ota superior
elemento maximal
un elemento w A es
elemento mximo
ota inferior
w es
elemento minimal
elemento mnimo
de B en X
de B en Y
Comentario: Este Teorema estable e que invertir el orden par ial en el CPO
produ e, en los elementos notables superiores, el efe to de onvertirlos en elementos
notables inferiores (y vi eversa). Esta inversin del orden signi a que
X b() a
en
Ejemplo 2.14.
en
En los diagramas anexos vemos el efe to de invertir el orden.
[A, ] = X
l=I
CPO
CPO dual
j
h
f
b
d
c
h
b
b
b
e
b
j
b
[A, ()1 ] = Y
d
b
g
b
a
b
no hay ota inferior universal
ab
g
b
b
l=
no hay ota superior universal

50

Dos on eptos adi ionales, de mu ha importan ia, se muestran a ontinua in.
Deni in 2.2.2.
un elemento de
a) z
A,
En un CPO
[A, ],
ota superior minimal ( sm)
es una
b z
B.
Si
es
diremos que:
las otas superiores del onjunto
( )
tomemos un sub onjunto no-va o
de
B z
es un elemento minimal entre
B,
ota inferior maximal ( im) de B z es un elemento maximal entre las
es una
otas inferiores del onjunto
csm(B) es el onjunto formado por todas las otas superiores minicim(B) es el onjunto formado por todas las otas inferiores maximales
Usualmente,
males de
de
B.
Ejemplo 2.15.
En el CPO que se muestra en la gura anexa, para el onjunto
B = {c, d, e, i, h}
p
k
j
cs(B) = {l, n, p}
n
b
h
b
b
b
Ejemplo 2.16.
k
b
d
b
cim(B) = {c}.
B = {e, h, i, l}
Para el onjunto
cs(B ) = {l, n, p}
si
m
b
g
b
h
b
e
b
b
csm(B) = {l},
csm(B ) = {l},
y
cs(C) =
Observa in 2.2.
csm(B)
enton es
csm(C) = ,
ci(C) = {a}, cim(C) = {a}

si
C = {b, e, f },
cim(B)
cim(B ) = {e}.
C = {b, c, e, h, m, l},
enton es
cs(C ) = {h, g, m, l}
a
ci(C ) = {a, b}, cim(C ) = {b}
onjunto
resulta que:
Respe to al CPO de la gura anexa, resulta que:
ci(B ) = {a, b, c, e}
ci(B) = {c, a}
m
b
b
b
tenemos que:
csm(C ) = {h, g},
En los dos ejemplos anteriores en ontramos asos variados. El
puede resultar va o (
elementos) on mas de un elemento. Con
se presentan los mismos asos.
51

Cuando
csm(B)
es un onjunto unitario, al ni o elemento que lo forma lo lla-
Supremo de B y lo denotamos por sup(B); similarmente, uando cim(B)

es un onjunto unitario, al ni o elemento que lo forma lo llamamos nmo de B
mamos
y lo denotamos por
nf(B);
B = {c, d, e, i, h}
sup(B) = l, nf(B) = c.
En el Ejemplo 2.15 vimos que existe el Supremo de

existe el nmo de
B.
Di hos valores son:
Tambin el onjunto
y tambin
B = {e, h, i, l} tiene supremo e nmo, a saber: sup(B ) = l,
nf(B ) = e.
C = {b, c, e, h, m, l}
nf(C) = a.
En el Ejemplo 2.16, vemos que el onjunto

porque
csm(C) = ,
pero s tiene nmo:
no tiene supremo
C tiene supremo porque el onjunto csm(C ) tiene ms de un elemento,

tiene nmo, a saber
nf(C ) = b.
Tampo o
pero
[A, ] tiene supremo,

B y es ni o elemento minimal
superiores. Es de ir, si z A y sup(B) = z , enton es z satisfa e
o
o
(1 ) b z , b B
y (2 ) z cs(B) : z z .
Es importante notar que si un sub onjunto
de un CPO
enton es ese elemento supremo es ota superior de

de las otas
Similarmente, si
es nmo de
w A,
enton es
umple las ondi iones
siguientes:
(1 )
w b, b B
y (2 )
w ci(B) : w w.
Podemos resumir esto de la siguiente manera:
z = sup(B) [b B : b z]
w = nf(B) [b B : w b]
Si
z, w A,
enton es,
[z cs(B) : z z ]
[w ci(B) : w w]
Comentario: no nos interesamos en en ontrar supremo e nmo de todos los

sub onjuntos de los CPO, slo nos o uparemos de sub onjuntos de la forma
on
x=y
on
Teorema 2.2.2
x 6= y.
{x, y}
A tal efe to, el resultado siguiente fa ilitar el trabajo.
. Sea [A, ] un CPO y sean a, b ele-
(Prin ipio de Consisten ia)
mentos de A. Enton es se tiene que: a b sup({a, b}) = b nf({a, b}) = a.

(Usualmente, al trabajar on parejas {a, b}, es ribimos a b en lugar de sup({a, b})
y a b en lugar de nf({a, b}).)
Ejemplo 2.17.
Este prin ipio de onsisten ia estable e que al tomar una pareja
de elementos omparables, el menor (entre los dos) de ellos es el nmo y el ms

grande (entre los dos) es el supremo. Respe to al diagrama anexo, tenemos que:
52

g
a a = , a = a
e
b
d
b
b b = , b = b
a
b
b c b c = c, b c = b; b g b g = b, b g = g
a d a d = a, a d = d; d f d f = d, d f = f.
(Hay mu has parejas de elementos omparables, solo exhibimos algunas.)

En uanto a elementos no- omparables, tenemos que:
para
{g, f },
cs({g, f }) = , csm({g, f }) = ,
por onsiguiente
ci({g, f }) = {d, b, a, }, cim({g, f }) = {d},

para
no existe supremo de {g, f },
as que
d = nf({g, f }) = g f ;
{c, d},
cs({c, d}) = {g}, csm({c, d}) = {g}, por tanto existe supremo de {c, d}, c d = g
ci({c, d}) = {, b}, cim({c, d}) = {b},
por tanto
b=cd
para
{c, e}, cs({c, e}) =
para
{c, a}, cs({c, a}) = {g}
ci({c, a}) = {}, c a = g
c a = ,
para
{b, e}, cs({b, e}) = {f }
ci({b, e}) = {}, b e = f
b e = ,
Ejemplo 2.18.
(no hay supremo) y
ci({c, e}) = {}, = c e,
Una manera de organizar el trabajo de bus ar supremo e nmo a
ada una de las parejas de elementos de CPO es la de onstruir una tabla para supremo y otra para nmo, omo vemos a ontinua in (respe to al CPO del diagrama
anexo).
j
f
e
k
b
g
b
a
b
d
b
sup a
a
a
a a
b
b d
c
c
d
d d
e
e e
f
f f
g
g g
h
h h
j
j j
k
k k
I
I I
b
b
d
b
c
d
f
g
h
j
k
I
c
c
c
c
g
j
g
h
j
k
I
d
d
d
d
f
g
h
j
k
I
e
e
e
e
f
g
h
j
k
I
f
f
f
f
f
j
f
f
j
I
j
I
I
g
g
g
g
g
g
g
j
g
k
j
k
I
h
h
h
h
h
h
k
I
k
h
I
k
I
j
j
j
j
j
j
j
j
j
I
j
I
I
k
k
k
k
k
k
k
I
k
k
I
k
I
I
I
I
I
I
I
I
I
I
I
I
I
I
53
nf
a
b
c
d
e
f
g
h
j
k
I
a b

a
d b
c
d d
e
f f
g g
h h
j j
k k
I I
c d

a
c d
c
d
g
j f
g g
h h
j j
k k
I I
e
f
g
h
j
k
I
f g

a a
f g
f g
j g
f g
f j
j g
I k
j j
I k
I I
h j

a a
h j
h j
h j
k j
I j
k j
h I
I j
k I
I I
a
k
k
k
k
I
k
k
I
k
I
a
I
I
I
I
I
I
I
I
I
I
Observemos que algunas parejas no tienen supremo

( nmo). En ontraremos asos en los que ada pareja
tiene supremo e nmo.
Deni in 2.2.3. Reti ulado es un CPO [A, ] en el ual ada pareja {x, y} tiene
supremo e nmo.
Ejemplo 2.19.
En los Ejemplos 2.15, 2.16, 2.17 y 2.18 vimos varios CPO que no
son Reti ulados. A ontinua in mostramos varios CPO que s son Reti ulados.
b
b
b
b
b
b
b
b
b
b
b
b
b
b
b
b
b
b
b
b
b
b
b
Observa in 2.3.
Si tomamos uno de estos reti ulados y onstruimos las tablas de
supremo e nmo, omo hi imos en el Ejemplo 2.18, en ontramos que ada pareja
{x, y}
tiene dos valores en orresponden ia, a saber:
(1 )
sup({x, y}) = x y ;
(2 )
nf({x, y}) = x y.
)
Este detalle nos ha e entender que en un reti ulado, supremo (
e nmo (
son dos opera iones binarias.
Teorema 2.2.3
(Propiedades de las Opera iones Binarias
reti ulado, enton es se tiene que:

(1) a a = a, a a = a, a A, (Propiedad de Idempoten ia)
, ). Si [A, , ] es un
(2) a b = b a, a b = b a, a, b A, (Propiedad de Conmutatividad)

(3) a(bc) = (ab)c, a(bc) = (ab)c, a, b, c A, (Propiedad de Aso iatividad)
54
(4) a (a b) = a, a (a b) = a, a, b A, (Propiedad de Absor in)

Demostra in.
(1) Debido a que la rela in
a a, a A. Ahora,
a = a a y a = a a,
es reexiva, tenemos que
Prin ipio de Consisten ia nos permite asegurar que
el
a A.
{a, b} = {b, a} resulta que cs({a, b}) = cs({b, a})
csm({b, a}). Pero csm({a, b}) = {a b} y csm({b, a}) = {b a}
(2) De la igualdad
csm({a, b}) =
porque [A, ] es
y
un reti ulado (esto es, que ada pareja tiene supremo, el ual es ni a ota superior
minimal).
As on luimos que
a b = b a.
(3) Si
{a b} = csm({a, b}) = csm({b, a}) = {b a},

).
en onse uen ia
(Similar para
x = a (b c)
z = (a b) c)
enton es debemos omprobar que
lograrlo re urriremos a la antisimetra de
as que omprobaremos
x = z. Para
que x z y
z x.
As:
x = a (b c) x cs({a, b c}) (porque supremo es csm)

a x, b c x (deni in de ota superior)
a x, b b c x, c b c x (b c cs({b, c}))
a x, b x, c x (transitividad de )
x cs({a, b}), c x (deni in de ota superior)
a b x, c x (porque a b es csm de {a, b})
x cs({a b, c}) (deni in de ota superior)
(a b) c x (supremo es mnimo entre otas superiores)
z x (deni in de z)
Similarmente se omprueba que
(4)
x z.
Ejer i io. Demostrar Absor in

Observa in 2.4. Ahora podemos resaltar el he ho siguiente: si omenzamos on un
[A, ], ste es un CPO en el que ada pareja de elementos tiene supremo e

[A, , ] onstituida por: un onjunto
no-va o A, dos opera iones binarias , sobre el onjunto A, y estas dos opera iones
tienen las 4-propiedades enun iadas en el Teorema 2.2.3.
reti ulado
nmo. Esto da origen a una nueva estru tura
En el teorema que veremos a ontinua in quedar estable ido que este pro eso es
reversible, de manera que el orden par ial y supremo e nmo se pueden re uperar
al en ontrar esa estru tura
A, ,
des rita en el omentario previo.
Teorema 2.2.4. Supngase que [X, 1 , 2 ] es una estru tura onstituida por un onjunto no-va o X y dos opera iones binarias sobre X : 1 y 2 . Si estas dos opera iones tienen las 4-propiedades enun iadas en el Teorema 2.2.3, enton es a partir de
55
1 y 2 se puede onstruir un orden par ial sobre X , de manera que [X, ] es un

reti ulado y p, q X se umple p q = p 1 q , p q = p 2 q.
Demostra in.
a 1 b = b,
1
Comen emos por rear la rela in
para ualesquiera
es idempotente
a, b X .
sobre X .
Denamos
ab
Enton es resulta que:
a 1 a = a, a X a a, a X
a, b X, a b y b a a 1 b = b
b 1 a = a a = b as que es antisimtri a.
Para
b 1 a = a
es reexiva.
1 es onm
b = a 1 b =
Para a, b, c X ,
a b y b c a1 b = b y b1 c = c a1 c = a1 (b1 c) =
(a 1 b) 1 c = b 1 c = c a c de manera que la rela in es transitiva.
Ya tenemos demostrado que
[X, ] es un CPO, vamos a omprobar ahora que este
CPO es un reti ulado. Para lograrlo, debemos omprobar que ada par de elementos
a, b X posee supremo e
a b b a), enton es
nmo: si tomamos
que sean omparables (esto es,
el Prin ipio de Consisten ia garantiza la existen ia de
supremo e nmo de la pareja
a, b
a, b
{a, b},
as que ne esitamos onsiderar el aso en que
no son omparables.
m X tal que
a 1 b = m y podemos asegurar que m 6= a, m 6= b (puesto que m = a b a,
m = b a b) Ahora resulta que a 1 m = a 1 (a 1 b) = (a 1 a) 1 b = a 1 b = m
(propiedades de 1 )
y b 1 m = b 1 (a 1 b) = (a 1 b) 1 b = a 1 (b 1 b) = a 1 b = m
(propiedades de
1 ) de manera que a m y b m; esto es, m cs({a, b}).
Debido a que
es una opera in sobre el onjunto
X,
existe
p cs({a, b}), enton es a p y b p (por deni in de ota superior)

nos permite asegurar que a 1 p = p y b 1 p = p. Enton es resulta
que: m 1 p = (a 1 b) 1 p = a 1 (b 1 p) = a 1 p = p por onsiguiente m p.
As hemos omprobado que m es ota superior de {a, b} y que ualquier p que sea
ota superior de {a, b} tambin umple m p, y el resumen presentado al nal de
Adems, si
y la deni in de
la Observa in 2.2 (pg. 50) nos permite on luir que
sup({a, b}) = m = a 1 b
De manera similar tenemos que existe
nX
tal que
n = a 2 b,
enton es resulta
que:
n 1 a = (a 2 b) 1 a = a 1 (a 2 b) = a (por absor in), de manera que n a

y n 1 b = (a 2 b) 1 b = b 1 (a 2 b) = b (por absor in), de manera que n b
q ci({a, b}) o urre
q 2 a = q 2 (q 1 a) = q
a, q b q 1 a = a, q 1 b = b q 2 b = q 2 (q 1 b) = q ; de ah que
Es de ir,
n ci({a, b}).
Adems, para ualquier
n 2 q = (a 2 b) 2 q = a 2 (b 2 q) = a 2 q = q,
n 1 q = n 1 (n 2 q) = n (por absor in), as
que
que
q n.
56

De este manera hemos omprobado que:
(1) a 2 b = n ci({a, b})

Esto nos permite on luir que
(2) q ci({a, b}) : q n
a 2 b = n = nf({a, b})
De este Teorema 2.2.4 podemos extraer un Corolario que ha e el papel de una

segunda deni in de Reti ulado, omo vemos a ontinua in.
Corolario 2.2.1. Si 1 y 2 son opera iones binarias sobre un onjunto no-va o X
y ada una de ellas dos tiene las uatro propiedades idempoten ia, onmutatividad,
aso iatividad y absor in, enton es [X, 1 , 2 ] es un reti ulado.
Ejemplo 2.20.
Si
es ualquier onjunto (puede ser va i, un onjunto nito,
P(S) = {Y : Y
S} es una
, son opera iones
sobre P(S) (porque al tomar Y, Z P(S) se pueden al ular Y Z, Y Z y ambos
resultados permane en omo elementos de P(S)). Tambin se sabe que
Y P(S) es verdad que Y Y = Y, Y Y = Y ,
Y, Z P(S) es verdad que Y Z = Z Y, Y Z = Z Y ,
Y, Z, W P(S) se tiene (Y Z) W = Y (Z W ), (Y Z) W = Y (Z W ),
y Y, Z P(S) se umple que Y (Y Z) = Y, Y (Y Z) = Z.
un onjunto innito), enton es
ole in no-va a; adems, de Teora de Conjuntos sabemos
El Corolario 2.2.1 nos permite on luir que
N = {1, 2, 3, . . .}
[P(S), , ]
es un reti ulado.
mcm (mnimo omn mltiplo), mcd

(mximo omn divisor) son opera iones sobre N. Con un trabajo muy laborioso,
aunque muy sen illo, se omprueba que mcm y mcd poseen las 4-propiedades requeridas en el Corolario 2.2.1, as que podemos on luir que [N, mcm, mcd] es un
El onjunto
es no-va o y
reti ulado.
Aunque el onjunto
es no-va o, resulta que
R,
de manera que
[R, mcm, mcd]
mcm
mcd
No son opera iones
[R, max, mn] s

reti ulado. (m
ax(a, b) es el mayor de los dos nmeros a, b; similarmente, mn(a, b)
el menor de los dos nmeros. As: m
ax(3, 5) = 5, mn(3, 5) = 3).
sobre
no es reti ulado. Pero
es
es
Problemario 2.2.
2.2.1. Determinar ules de los diagramas siguientes orresponden a reti ulados.

b
b
b
b
b
b
b
b
b
b
b
b
b
b
b
b
57

2.2.2. Determinar ules de los sistemas siguientes son reti ulados.
[R, ] (orden usual); (b) [N, /]; ( ) [P(S), ], S es ualquier onjunto.

2
(d) [R , ] donde se dene por (a, b)(c, d) a c, b d
(e) [A1 An , ] donde [A1 , 1 ],. . . ,[An , n ] son reti ulados y es la rela in
denida sobre el onjunto A An mediante la regla siguiente:
(a1 , . . . , an )(b1 , . . . , bn ) a1 1 b1 , , an 1 bn
(a)
2.2.3. Suponer que
[A, ]
es un reti ulado. Demostrar que
[A, 1 ]
tambin lo es.
2.2.4. Puede ser reti ulado un CPO nito que no tiene alguna de las otas universales?
2.2.5. En el CPO
[{1, 3, 5, 7, 21, 35, 63, 147}, /] en ontrar (si a aso existen) otas superiores,
otas inferiores, elementos maximales, elementos minimales, mximo, mnimo, a ada

uno de los sub onjuntos siguientes:
A1 = {7, 21, 147}; A2 = {5, 7, 35, 63}; A3 =
{3, 5, 35, 63}

2.2.6. Si
[A, ]
es un CPO y
A1 A es
no-va o y nito, enton es demostrar que
A1
posee
elementos minimales y elementos maximales.
2.2.7. En ada uno de los ejemplos de esta se in (2.2), en ontrar

a ada pareja
{a, b}.
2.2.8. Demostrar que: si
[A, ]
[A2 , 2 ]
a b, a b,
es un CTO, enton es
[A, ]
exhibir di hos valores.
es un reti ulado.
h : A1 A2 un isomorsmo de orden. Si B1
A y B2 = h(B1 ), enton es demostrar que:
x cs(B1 ) h(x) cs(B2 ); (b) y csm(B1 ) h(y) csm(B2 );
z = sup(B1 ) h(z) = sup(B2 ); (d) B1 es reti ulado B2 es reti ulado.
2.2.9. Sean
[A1 , 1 ]
En aso que existan
csm({a, b}) y cim({a, b})
dos CPO,
es
un sub onjunto no-va o de

(a)
( )
2.2.10. Determinar ules de los sistemas siguientes son reti ulados.
[N, +, ], (b) [R, +, ], ( ) [N, max, mn],

(d) [D40 , mcm, mcd],
(e) [D165 , mcd, mcm],
(f ) [A1 Ak , , ] donde [A1 , 1 , 1 ],. . . ,[Ak , k , k ] son reti ulados y (a1 , . . . , ak )
(b1 , . . . , bk ) = (a1 1 b1 , . . . , ak k bk )
(a1 , . . . , ak ) (b1 , . . . , bk ) = (a1 1 b1 , . . . , ak k bk )
(a)
2.2.11. Si
[A, , ] es un reti ulado, B
biye tiva, se pueden denir sobre
[B, 1 , 2 ]
h : A B es una apli a in
binarias 1 , 2 de manera que
es un onjunto no-va o y
dos opera iones
sea un reti ulado?
2.2.12. Demostrar que en ualquier reti ulado
R = [A, , ] son verdaderas las proposi iones
siguientes:
(a)
x, y, z A :
x (y z) (x y) (x z)
58
(b)
x, y, z A :
(x y) (x z) x (y z)
( )
x, y, z A :
(x y) (y z) (z x) (x y) (y z) (z x)
2.3. Isomorsmos. Subreti ulados. Reti ulados

Distributivos. Complementos
Deni in 2.3.1.
Supongamos que
h : A1 A2
ulados y que
h preserva las
h(x 1 x ) = h(x) 2 h(x )
(a) la apli a in
(b)
L1 = [A1 , 1 , 1 ]
L2 = [A2 , 2 , 2 ]
son reti -
es una apli a in. Diremos que:

opera iones si se umple que:
y
h(x 1 x ) = h(x) 2 h(x ), x, x A1
es un isomorsmo entre reti ulados
es biye tiva y preserva las opera-
iones.
Ejemplo 2.21.
reti ulados
En las guras anexas en ontramos los diagramas (de Hasse) de los
L1 = [P({1, 2}), , ] y L2 = [{1, 2, 3, 6}, mcm, mcd]. Tambin tenemos

h1 y h2 entre elementos de L1 y elementos de L2 .
las Tablas de orresponden ias
L1
{1}
{1, 2}
L2
{2} 2
b
Pero en
h1
h1
L1 vemos
h1 ({1, 2}) = 2
En
que
{1} {2} = {1, 2}
on
no preserva la opera in de supremo
no es un isomorsmo entre reti ulados (aunque es biye tiva)
Respe to a la apli a in
h2
X
{1} {2} {1, 2}
h2 (X) 1 2
3
6
L2 : h1 ({1}) = 1, h1 ({2}) = 3, h1 ({1}) sup h1 ({2}) = mcm(1, 3) = 3
As vemos que
(1)
X
{1} {2} {1, 2}
h1 (X) 6 1
3
2
h2
tenemos que:
es biye tiva,
h2 ({1, 2}) = 6, h2 ({1}) = 2, h2 ({2}) = 3 y h2 ({1}) sup h2 ({2}) = mcm(2, 3) = 6.

X, X de elementos de L1 se puede omprobar que
Con ada pareja

(2)
h2 (X X ) = mcm(h2 (X), h2(X ))
Debido a (1) y (2),
h2
h2 (X X ) = mcd(h2 (X), h2 (X ))
es un isomorsmo entre reti ulados.
Deni in 2.3.2. Supongamos que L1 = [A, , ] es un reti ulado. Si L2 = [B, , ]

tambin es un reti ulado, diremos que
59
2.3. Isomorsmos. Subreti ulados. Reti ulados Distributivos.

L2
es un
subreti ulado de L1 se umple que

B A,
(1)
= /B
Donde
Ejemplo 2.22.
x x = x x , x, x B
x x = x x , x, x B
(2)
= /B
A ontinua in en ontramos uatro diagramas. El primero, el se-
gundo y el ter ero representan reti ulados, el uarto no.
L
e
d
b
es reti ulado y
no umple (2))
B1 A,
pero en
L1
es reti ulado y
Para toda pareja
B2 A,
x, x B2
as que
L2
D
de L
La gura
f
b
c
b
c
b
f
b
A = {a, b, c, d, e, f, g} B1 = {a, b, d, e, f, g}
reti ulado
L2
c
b
L1
L2
L1
B2 = {a, c, e, f, g}
L1 : e 1 f = a
y en
B3 = {b, c, f, g}
es
e f = c 6= e 1 f
no es Subreti ulado de L
e 2 f = c = e f , e 2 f = g = e f
se omprueba que
x 2 x = x x , x 2 x = x x ,
s es Subreti ulado de L
representa un CPO que no es reti ulado, por eso no puede ser sub-
Comentario: la Deni in 2.3.2 estable e que los subreti ulados de L1 se onstruyen on sub onjuntos del reti ulado; en estos sub onjuntos hay que rear
opera iones
que oin idan on las opera iones que hay en
L1
(y que onvier-
tan al sub onjunto en un reti ulado). En el Teorema siguiente vemos que

que rear nuevas opera iones, sino utilizar las opera iones de
L1 .
no hay
Adems, este
nuevo Teorema estipula las ondi iones que debe umplir el sub onjunto para que
on l se pueda onstruir un subreti ulado.
Teorema 2.3.1. Supongamos que L = [A, , ] es un reti ulado, que B 6= es

un sub onjunto de A y que B , B son las restri iones de , al sub onjunto B .
Enton es se umple que: [B, B , B ] es un subreti ulado de L las opera iones
, son erradas en el sub onjunto B (esto es, que x x , x x B, x, x B )
Ejemplo 2.23.
L , uyo onjunto es A =
{m, n, p, q, r, s, t}. Si tomamos el sub onjunto B1 = {n, q, r, t} vemos que r t = s
/
B1 , r t = m
/ B1 , n q = p
/ B1 , n q = m
/ B1
En la gura anexa vemos un reti ulado
60

s
As que las opera iones
B1
t
no son erradas en
B1 .
Debido a eso,
no sirve para onstruir un subreti ulado de L . Por el ontrario, al
B2 = {m, n, p, q} y el sub onjunto B3 = {q, p, r, s}

p
se puede omprobar que las opera iones , de L son erradas en ambos
q
n sub onjuntos. En onse uen ia, on B2 y B3 s se obtienen subreti ulados de L
m
Deni in 2.3.3. Un reti ulado L = [A, , ] es distributivo las igualdades
x (y z) = (x y) (x z), x (y z) = (x y) (x z) para todos los valores
que puedan tomar las variables x, y, z sobre el onjunto A.
b
tomar el sub onjunto
Ejemplo 2.24.
Ya vimos que si
es ualquier onjunto, enton es
[P(S), , ]
es
un reti ulado (Ejemplo 2.20). De Teora de Conjuntos sabemos que las igualdades
Z (W T ) = (Z W ) (Z T ) y Z (W T ) = (Z W ) (Z T ) son verdaderas
Z, W, T P(S).
para ualquiera
Ejemplo 2.25.
5-elementos. Cun3-variables x, y, z , on estos
El diagrama anexo muestra un reti ulado on
tas asigna iones de valores podemos ha er, para las
5-elementos?
e
valor), asignarle a
d
b
c
b
x (5-valores posibles), on x jo (un ni o

y (5 alternativas), on x, y jos, asignarle valor
Asignar valor a
z (5
alternativas).
Total:
53 = 125.
En ada una de las 125 asigna iones posibles, debemos al ular

a
J = x (y z), K = (x y) (x z), H = x (y z) L = (x y) (x z) y
hequear si oin iden J = K, H = L
Ambas oin iden ias deben darse, en las
125
asigna iones posibles, para poder
on luir que el reti ulado s es distributivo (al fallar una de las igualdades, se on luye
que el reti ulado no es distributivo). En nuestro ejemplo vemos que:
x = b, y = c, z = d
de manera que
Teorema 2.3.2
J 6= K
J = x (y z) = b (c d) = b a = b
K = (x y) (x z) = (b c) (b d) = e e = e
y el reti ulado no es distributivo.
. Un reti ulado L es dis-
(Criterio gr o para Distributividad)
tributivo ningn subreti ulado de L es isomorfo a alguno de los dos reti ulados
siguientes:
F1
F2
61
Comentario: para apli ar orre tamente el riterio, debemos ha er una lista
de todos los subreti ulados de
y dibujar el diagrama de ada uno de ellos. Si
F1 F2 , enton es on luimos que L no es distributivo. Para poder on luir que L s es distributivo, debe o urrir que ninguno
el diagrama de alguno de ellos es
de los subreti ulados tenga a
Ejemplo 2.26.
{a, d, e, g, b}
omo diagrama (de Hasse).
B =
En el diagrama anexo no es dif il ver que el sub onjunto
F1 .
del reti ulado son erradas sobre el sub onjunto
f L
c
b
F2
Al ha er la ompara in, se podr on luir que las opera iones
ni a
pare e propor ionarnos la gura
L1
F1
s tiene un subreti ulado isomorfo a
F1 :
B.
Esto signi a que
en onse uen ia,
no es
distributivo.
b
b
Por el ontrario,
L2
L3
s son distributivos. (Por qu?)
L3
L2
a
b
Deni in 2.3.4.
mentos
En un reti ulado
L = [A, , ]
que sea a otado, tomemos ele-
p, q .
(a) Diremos que
es un omplemento de
si umple:
(b) Diremos que el reti ulado es omplementado
p q = , p q = I
todo elemento
de
posee,
al menos, un omplemento.
Ejemplo 2.27. En el reti ulado L1 podemos ver que: I = , I = I , ab = ,

ab=I
L1
a
en onse uen ia
I
b
Ntese que
b
que
es un omplemento de
, b
es un omplemento de
a.
I = , I = I , b a = , b a = I , de manera
I , a es un omplemento de b. L1 es un
es un omplemento de
reti ulado omplementado.
L2
m
I
b
En
n t
b
L2
vemos que
Ntese que, en
b
m n = , m n = I , m t = , m t = I ;
n omo t son omplementos de m.
esto signi a que tanto
que
L2 ,
la ota universal
es un omplemento de
es un omplemento de
I.
A ontinua in en ontramos propiedades del omplemento.
Teorema 2.3.3. Si p, q son elementos de un reti ulado L = [A, , ] a otado y q

es un omplemento de p, enton es p es un omplemento de q .
62
Demostra in.
q
es un omplemento de
p p q = , p q = I (por def de omplemento)

q p = , q p = I (por onmutatividad de , )
p es un omplemento de q (por def de omplemento)
Teorema 2.3.4. Supongamos que L = [A, , ] es un reti ulado a otado y dis-
tributivo. Enton es se umple que ningn elemento de L puede tener ms de un

omplemento.
Demostra in.
L,
tal que
Por redu in al absurdo, supongamos que: Existe un elemento
tiene dos omplementos
r
s
r, s, r 6= s.
es omplemento de
es omplemento de
en
Enton es:
p p r = , p r = I
p p s = , p s = I
Adems:
r=r I (porque r I)
=r (p s) (porque p s = I)
=(r p) (r s) (por distributividad)
= (r s) (por p r = y onmut)
=r s : (porque (r s))
Enton es tenemos
En on lusin,
r =rs = sr =s
s=s I (porque s I)
=s (p r) (porque p r = I)
=(s p) (s r) (por distributividad)
= (s r) (por p s = y onmut)
=s r : (porque (s r))
( ontradi in on
r 6= s).
no puede tener ms de un omplemento.
Observa in 2.5. El Teorema 2.3.4 estable e que en un reti ulado distributivo

(y a otado), un elemento x puede tener un omplemento ni o, no puede tener
ms. En ese aso, al omplemento de
se le denota por
(porque en ese aso no
hay riesgo de ambigedad).
Ejemplo 2.28.
En el reti ulado
L1
del Ejemplo 2.27 vimos que ada elemento tiene
un ni o omplemento, as que podemos es ribir

En el reti ulado
y
t. Cul de
L2
= I, a
= b, b = a, I = .
del mismo Ejemplo vemos que
m tiene dos omplementos: n

m
? La ambigedad presente
ellos dos sera representado por el smbolo
en este aso es razn su iente para no usar
Ejemplo 2.29.
El Teorema 2.3.4 tambin propor iona un riterio (indire to) para
determinar si un reti ulado es no-distributivo: Al en ontrar un elementos que tiene

ms de un omplemento, podemos asegurar que el reti ulado es no-distributivo.
63
I
b
L ), vemos que j h = I ,
j h = , j h = I , j h = , j h = I , j h = , j h = I ,
j h = , as hemos en ontrado 4- omplementos del elemento j , en
onse uen ia el reti ulado L no es distributivo.
En el reti ulado del diagrama anexo (
j
d
c
h g
e f
b a
b
Teorema 2.3.5. Supongamos que L = [A, , ] es un reti ulado a otado y dis-
tributivo. Si a, b son elementos de L , y poseen omplementos s, t respe tivamente,

enton es:
(1) a tiene omplemento y es a (o sea, a = a) [Propiedad de Involu in
(2) a b tiene omplemento, es ual es a b (o sea, a b = a b)
de Dualiza in
[Propiedad
(3) a b tiene omplemento, es ual es a b (o sea, a b = a b)

de Dualiza in
[Propiedad
Demostra in.
(1) De a uerdo on el Teorema 2.3.2,
es omplemento de
onse uen ia
a
.
es omplemento de
Pero el omplemento es ni o porque
a a
es distributivo, en
.
a=a
a b es omplemento (ni o )
(a b) (
a b) = y (a b) (
a b) = I .
(2) Ahora omprobaremos que

debemos ver que
de
a b;
para eso
Primero:
(a b) (
a b) = (
a b) (a b) onmutatividad de
= [(
a b) a] [(
a b) b] distributividad
= [a (
a b)] [b (
a b)] onmutatividad
= [(a a
) b] [(b a) b] aso iatividad
= [ b] [
a ] def. de omplemento
= Prin ipio de Consisten ia
= idempoten ia
Segundo:
(a b) (
a b) = [(
a b) a] [(
a b) b] distributividad
= [a (
a b)] [b (
a b)] onmutatividad
= [(a a
) b] [(b a) b] aso iatividad
= [ b] [
a ] def. de omplemento
= Prin ipio de Consisten ia
= idempoten ia
(3) Ejer i io.
Problemario 2.3.
2.3.1. Suponer que
L1 = [A1 , 1 , 1 ]
L2 = [A2 , 2 , 2 ]
son reti ulados y
h : A1 A2
es
un isomorsmo entre reti ulados. Demostrar que:
64
L1 es distributivo, enton es
L2 es omplementado y al
ser q omplemento de p en A1 , tambin h(q) es omplemento de h(p) en A2 ;
(d) Si
B1 A1 es un subreti ulado de L1 , enton es B2 = h(B1 ) es un subreti ulado de L2 .
(a) Si
L2
2.3.2. Si
L1
es a otado, enton es
es distributivo;
Si
L1
L2
es a otado;
(b) Si
es omplementado, enton es
L = [A, , ] es un reti ulado, demostrar

B A dene un subreti ulado de L .
que todo sub onjunto totalmente orde-
nado
2.3.3. Determinar ules de los sub onjuntos siguientes denen subreti ulados del reti ulado que se exhibe en la gura anexa.
I
b
(a)
S1 = {l, n, p, q, r, I}
(b)
S2 = {, a, c, j, b, e, g, l, p, k}
( )
S3 = {a, c, d, g, j, l, k, p}
(d)
S4 = {b, e, f, d, g, m}
r
n
m
f
b
b
k
b
b
b
g
b
q
p
d
b
b
b
h
b
2.3.4. En ada uno de los reti ulados siguientes, elaborar una lista de
los elementos que tienen omplemento. A ada uno de estos
elementos, en ontrarle todos los omplementos. Determinar
ules de estos reti ulados son omplementados. En aso que
sea posible, determinar ules de estos reti ulados son distributivos.
b
b
b
b
b
b
b
b
b
b
b
b
b
b
2.4. Representa in en Reti ulados.

L = [A, , ] y elementos a, b, c, d A. Al es ribir
[(a b) c] [(a c d) b] se est des ribiendo una ierta
los elementos a, b, c, d mediante las opera iones , . En esa
Consideremos un reti ulado

una expresin omo
forma de ombinar
expresin apare en indi adas las opera iones que se deben realizar: al efe tuar esas
opera iones, se van obteniendo otros elementos de
A.
As, al nalizar los l ulos,
en ontramos que la expresin dada tambin representa un elemento del reti ulado
L.
65

Esto abre la posibilidad de representar ualquier elemento de
que ombinen iertos elementos bsi os de
L mediante expresiones
L.
slo una
Un pro edimiento que permite produ ir representa iones, utilizando

opera in, es el que se des ribe a ontinua in:
Dado
w 2 ).
x A,
se es ogen dos prede esores inmediatos de
De ah resulta que
x,
digamos
w1
w2 (w1 6=
x = w1 w2 .
w1 y w2 se les apli a el mismo pro edimiento y se obtienen elementos w11 ,

w12 , w21 , w22 que satisfa en w1 = w11 w12 , w2 = w21 w22 on w11 6= w12 , w21 6= w22 ,
as que x = w11 w12 w21 w22 .
Ahora, a
Ahora se apli a el pro edimiento a
w11 , w12 , w21 , w22
y se ontinuar repitiendo
on los elementos que se obtengan. Bajo unas ondi iones buenas, este pro eso
terminar (nito) uando los elementos que seobtengan ya no tengas dos o ms
prede esores inmediatos ( ada uno). En ese momento, para ele elemento
se ha
en ontrado un representa in de la forma
x = p1 p2 pk
en la ual ada uno de los elementos
p1 , p2 , . . . , pk
tiene menos de dos prede esores
inmediatos.
Deni in 2.4.1. En un reti ulado L = [A, , ], tomemos un elemento p. Diremos

que p es -irredu ible si y slo si en L no existen elementos w1 , w2 tales que
w1 6= w2 , p = w1 w2 , w1 6= p, w2 6= p.
Ejemplo 2.30.
irredu ibles
(a) En el reti ulado
, a, b, c, d, f, h
mostrado en la gura, son elementos
(debido a que tienen menos de dos prede esores inmedi-
atos)
I
Los elementos
son llamados los
a, b, c,
que tiene a
omo prede esor inmediato,
tomos del reti ulados L .
(b) en ualquier reti ulado a otado, son

y la ota inferior universal
-irredu ibles los tomos
(porque tienen menos de dos prede e-
j
d
c
h g
e f
b a
b
sores inmediatos)
( ) En el reti ulado del Ejemplo 2.30(a), desarrollemos el pro edimiento des rito
antes de la Deni in 2.4.1.
es
I = j h = (d e) h = d c b h
-irredu ible.
Otra expresin para
en esta ltima expresin, ada elemento
I:
I = j g = (d e) g = d e e f = d c a f
ada elemento es -irredu ible.
en esta ltima expresin,
66

Con la Deni in y el Teorema siguientes se estable en las ondi iones buenas
para que el pro edimiento ya men ionado tenga nal (siempre).
Deni in 2.4.2.
Un reti ulado
tiene
longitud nita
sub onjunto totalmente ordenado ( adena) de
si y slo si ualquier
es nito.
Teorema 2.4.1. Si L = [A, , ] es un reti ulado que tiene longitud nita, enton es
ada elemento x de L admite al menos una representa in de la forma x = p1 p2
pk en la ual ada pi (i = 1, 2, . . . , k ) es -irredu ible.
Ejemplo 2.31. (a) El reti ulado L , uyo diagrama mostramos en el Ejemplo 2.30(a),
tiene longitud nita. En el Ejemplo 2.30( ) ya en ontramos dos representa iones or-
I . Para los dems elementos tambin hay representa iones

j = d e = d c b, j = d e = d c a,
j = d e = d b a; g = e f = c b f , g = e f = c a f , g = e f = b a f ,
respondientes al elemento
de di ho tipo, omo las siguientes:
et .
Ntese que en
g = caf
resulta que
es omparable on
onse uen ia el Prin ipio de Consisten ia estable e que
caf
se simpli a y nos queda
g = c f.
af = f
f (a f ),
en
y la expresin
Esta situa in se presenta en mu has
otras representa iones.
Las expresiones que no se pueden simpli ar redu ir de tamao son ms

importantes y re iben una denomina in espe ial.
Deni in 2.4.3.
y
q1 , q2 ,. . . ,qr .
L = [A, , ]
En un reti ulado
p1 , p2 ,. . . ,pk
diremos que:
p1 p2 pk
{p1 , p2 , . . . , pk } {q1 , q2 , . . . , qk },
(a) La expresin
(b) La expresin
es
tomemos elementos
-irredu ible
q1 q2 qr
es una
es
sub-expresin de q1 q2 qr
-irredundante ada qj (j = 1, 2, . . . , r )
p1 p2 pk de q1 q2 qr ha e
y ninguna sub-expresin
verdadera la igualdad
p1 p2 pk = q1 q2 qr
Ejemplo 2.32. En el Ejemplo 2.31 tenemos que I = dcbh y tambin I = dh.

d c b h. Debido a la
d c b h no es -irredundante, pero d h s es
-irredundante (ntese que I = dh; si quitamos d nos queda I = h, igualdad que es
falsa, si quitamos h, queda I = d y tambin es falsa, as que dh es un representa in
de I que deja de ser representa in de I al quitarle ualquier elemento).
La segunda expresin,
d h,
es una sub-expresin de
igualdad, podemos asegurar que
Teorema 2.4.2. Sea L un reti ulado que tiene longitud nita. Si L es distributivo,
enton es ada elemento de L posee una ni a representa in del tipo -irredundante.
Este resultado viene a ser otro riterio para estudiar la distributividad de un
reti ulado. En el aso del reti ulado del Ejemplo 2.30(a), en el Ejemplo 2.32 a abamos
67

de en ontrar dos representa iones
-irredundantes
del elemento
I.
Esto nos permite
asegurar que di ho reti ulado no es distributivo.
Problemario 2.4.
2.4.1. En ada uno de los reti ulados del Problemario 2.3, en ontrar los tomos, los elementos
-irredu ibles
y expresiones
-irredundantes
para ada elemento. En aso
que sea apli able el Teorema 2.4.2, utilizarlo para determinar si el reti ulado no es
distributivo.
L = [A, ]
Hasse de L .
2.4.2. Sea
de
un CTO on
2.4.3. Sean
(ver Problema 2.2.8) Dibujar el diagrama
-irredu ibles. En ontrarle al

elemento de L . Se puede determi-
En ontrar los tomos y los elementos
menos una representa in

nar si
n-elementos
-irredundante
a ada
es distributivo? Qu riterio se puede utilizar?
L1 = [A1 , 1 , 1 ]
L2 = [A2 , 2 , 2 ]
reti ulados y
h : A1 A2
un isomorsmo
entre reti ulados. Demostrar que:

(a) Si
w A1
es un elemento
1 -irredu ible,
enton es
h(w)
es
2 -irredu ible,
p1 , . . . , pk son elementos de A1 y p1 pk es una expresin 1 -irredundante,

enton es h(p1 pk ) es una expresin 2 -irredundante.
(b) Si
68
Captulo 3
lgebras booleanas
3.1. Deni in de lgebras booleanas
Deni in 3.1.1. Llamaremos lgebra booleana (o lgebra de Boole) a ualquier

reti ulado que sea a otado, distributivo y omplementado. Usualmente denotaremos las lgebras booleanas mediante:
B = [A, , , , , I]
donde
, , son las opera iones de supremo

, I son las otas universales.
, nmo y omplemento respe -
tivamente;
Teorema 3.1.1. Sea B un lgebra booleana y sea x 6= un elemento de B. Enton es
se umple que x es irredu ible x es tomo. (Es de ir, en un lgebra booleana

solo son irredu ibles: la ota inferior universal y sus su esores inmediatos).
Demostra in.
Si
es tomo enton es por deni in el ni o prede esor inmediato
irredu ible.
Probemos ahora que todo elemento irredu ible en B es un tomo. Haremos la
prueba por el absurdo. Supongamos que existe a en B, tal que a es irredu ible
y sin embargo no es un tomo. Por lo tanto, a tiene un slo prede esor b 6= .
Consideremos un elemento x en B tal que a
x. Se sigue, por el prin ipio de
onsisten ia, que a x 6= a. Luego, omo a x a y omo b es el su esor inmediato
de a enton es a x b, adems b x b a. As, por el prin ipio de onsisten ia,
de
es la ota inferior universal
Luego,
es
propiedad aso iativa y propiedad onmutativa, tenemos que:
x b = a (x b) = (a x) b = a x = x a.
x b = x a. Consideremos ahora, el elemento b. a
b. De lo
ontrario, si a b, dado que b a, tenemos que b b. Por lo tanto, por el prin ipio
de onsisten ia, b b = b. Lo que ontradi e la deni in de omplemento. b
a.
De lo ontrario, si b a, enton es por ser b el prede esor inmediato de a tenemos
que b b. Por razonamiento anlogo al anterior, llegamos a una ontradi in.
En onse uen ia, llegamos que a b = b b = . Luego, a b = . Por otro
lado, dado que b a, por el prin ipio de onsisten ia, tenemos que a b = a. As,
En onse uen ia,
69
70
Captulo 3. lgebras booleanas
a b = (a b) b = a (b b) = a I = I. Enton es, a b = I. De aqu, a es el

omplemento de b, y omo el omplemento de ualquier elemento en B es ni o, por
ser B distributivo tenemos que a = b. Contradi e el he ho de que b es el prede esor
inmediato de a. En onse uen ia, se umple la tesis.
B es un lgebra booleana de longitud nita, el Teorema 2.4.2
x 6= admite una ni a representa in -irredundante formada
En el aso de que
garantiza que ada
B.
por tomos de
En onnse uen ia el teorema siguiente nos da informa in ms
pre isa.
Teorema 3.1.2. Sea B un lgebra booleana nita. Enton es se umple que ada
elemento x 6= de B admite una ni a representa in irredundante x = ax1

ax2 . . . axk en la ual ax1 , ax2 , . . . , axk son todos los tomos de B que satisfa en
la ondi in axj x, j {1, 2, . . . , k}.
Observa in 3.1. La representa in irredundante de x dada en el Teorema

3.1.2 se denomina representa in anni a disyuntiva de x representa in
disyuntiva estndar de x.
Ejemplo 3.1.
Consideremos un onjunto unitario

denidas sobre
A = {a}
Se puede omprobar fa ilmente que
=a
uen ia, este reti ulado

es
, ,
binarias
omo sigue:
a
a a
universales son
y las opera iones
a
a a
[A, , ]
es un reti ulado, a otado (las otas
I = a), distributivo y omplementado (a

= a). En onse[A, , ] es un lgebra booleana. El ni o elemento que hay
irredu ible (pues no tiene prede esor inmediato) y su representa in disyuntiva

a = a.
estndar es
A = {a, b}, tambin podemos onstruir un lgebra booleana.

muestra un CPO onstruido sobre A
b
En un onjunto binario
La gura anexa
(note que
es un CTO).
a
Dire tamente en el diagrama vemos que ese CPO es un reti ulado. Las
tablas de las opera iones
se muestran a ontinua in:
a b
a a b
b b b
a b
a a a
b a b
3.2. Dualidad en lgebras Booleanas.Diagrama de Hasse de un lgebra Booleana nita

71
= a,
En el diagrama vemos que el reti ulado es a otado, on otas universales
I = b;
a es om-
y distributivo (pues tiene menos de in o elementos). Adems,
plemento de b y b es omplemento de a (porque es omplemento de I , I

omplemento de
).
es
En on lusin es un lgebra booleana. Por otra parte, los ele-
irredu ibles son a, b. El ni o tomo es b y las representa iones disyuntivas

anni as son a = a, b = b.
mentos
El reti ulado
[P(S), , ]
donde
S = {a, b},
es un lgebra booleana. La gura anexa
muestra su diagrama de hasse, el ual nos permite omprobar que es a otado, distributivo y omplementado.
{a, b}
b
Aqui las opera iones de omplementa in es el omplemento
{a}
usual entre onjuntos, omo se muestra en la tabla siguiente:
{b}
{a}
{b}
{a,b}
{a,b}
{b}
{a}
Las otas universales son
= , I = {a, b};
hay dos tomos,
{a}
{b}.
Las repre-
senta iones disyuntivas son:
= ,
{a} = {a},
Generaliza in:
el reti ulado
{b} = {b},
Dado un onjunto
[P(S), , ]
{a, b} = {a} {b}.
S = {a1 , a2 , . . . , an }
nelementos,
= , I = S ),
on
es a otado (las otas universales son
distributivo y omplementado, es de ir, es un lgebra booleana. Los tomos son los
{a1 }, {a2 }, . . . , {an }; el omplemento de un elemento X P(S)

X = {a S/a
/ X}. Adems, la representa in anni a disyuntiva de X es la
unin de los onjuntos unitarios onstituidos por los elemetos de X ; por ejemplo:
onjuntos unitarios
es
{a1 , a2 } = {a1 } {a2 }
{a1 , a2 , a3 } = {a1 } {a2 } {a3 },
{a1 , a2 , . . . , an } = {a1 } {a2 } . . . {an }.
3.2.
Dualidad en lgebras Booleanas.Diagrama

de Hasse de un lgebra Booleana nita
Denotaremos por
Bn = [A, , , , , I]
un lgebra booleana on
tomos
a1 , a2 , . . . , an . El Teorema 3.1.1 nos di e que ni amente son irredu ibles los elementos , a1 , a2 , . . . , an y el Teorema 3.1.2 nos indi a omo podemos elaborar una
72
lista de los elementos del lgebra booleana
Bn, utilizando la representa in
anni a
disyuntiva. As tenemos que:

Las representa iones anni as de
j {1, 2, 3, . . . , n}
Despus de
y de
aj , j {1, 2, 3, . . . , n}
son
aj ,
respe tivamente.
y los tomos (que son los elementos que tiene 0 prede esores
inmediatos y 1 prede esor inmediato respe tivamante) en ontramos los elementos
Bn
que tienen 2 o ms prede esores inmediatos. As, tienen que existir en
el ele-
a1 a2 (Es reti ulado, ada pareja tiene supremo), omo tambin existen
a1 a3 , . . . , a1 an , a2 a3 , . . . , a2 an , etc.
Estos elementos de la forma xij = ai aj son los que tienen omo prede esores
inmediatos a los tomos ai , aj .
mento
{x1(n1) }{x1n }{x2(n1) }{x3(n1) }{x2n }{x3n }
{x12 } {x13 } {x23 }

b
xij = ai aj
{a2 } {a3 }
{a1 }
Donde
{an1 }
{x(n1)n }
b
{an }
{ = x0 }
Figura 3.1:
Ahora, podemos ver que:
x12 x13 = (a1 a2 ) (a1 a3 ) = a1 a2 a3 = x123

.
.
.
.
.
.
.
.
.
.
.
.
x12 x1n = (a1 a2 ) (a1 an ) = a1 a2 an = x12n

y as su esivamente, ada pareja
elemento en
Bn.
{xij , xrs }
tiene supremo en
Ntese que el elemento produ ido por la pareja
Bn y produ e un
{x12 , x13 } tiene 3
tomos en su representa in anni a disyuntiva:
x12 x13 = a1 a2 a3 = x123 ,

mientras que la pareja
{x12 , x34 }
produ e un elemento on 4 tomos en su repre-
senta in anni a disyuntiva:
x12 x34 = a1 a2 a3 a4 = x1234


73
Ahora, podemos ha er una lista de ombina iones de tomos, ombina iones que
presentaremos en forma de representa iones disyuntivas:
on
0tomos
1tomos
2tomos
on
3tomos
on
on
x0 =
x1 = a1 ; x2 = a2 ; . . . ; xn = an
x12 = a1 a2 ; x12 = a1 a3 ; . . . ; xn = a1 an ;
x23 = a1 a2 ; x24 = a2 a4 ; . . . ; x2n = a3 an
. . . ; x3n = a3 an
. . . . . . ; x(n1)n = an1 an
x123 = a1 a2 a2 ; . . . ; x12n = a1 a2 an
x134 = a1 a3 a4 ; . . . ; x13n = a1 a3 an
. . . . . . ; x1(n1)n = an an1 an
x234 = a2 a3 a4 ; . . . ; x23n = a2 a3 an
et
4tomos
(n 1)tomos
on
on
ntomos
on
.........
x12...(n1) = a1 a2 . . . an1
x12...(n2)n = a1 a2 . . . an2 an
x12...(n3)(n1)n = a1 a2 . . . an3 an1 an
. . . etc . . .
x12...n = a1 a2 . . . an :
No hay mas elementos en Bn pues ya no podemos formar otra representa in

disyuntiva estndar. Debemos omprender que hay un ni o elemento que es omparable on todos los n-tomos y mayor que ada uno de ellos, a ese elemento lo hemos
x12...n ,
llamado
pero en realidad es la ota superior universal
I.
Bn. En
La Figura 3.1 muestra los tres niveles inferiores del diagrama de hasse de
la Figura 3.2, se exhiben los tres niveles superiores.
{I = x12...n }
b
{dn(n1) }
{dn }
{dn1 }
{d3 }
{d2 }
{d3n } {d3(n1) } {d2n } {d2(n1) }{d1(n1) } {d1n }
{d1 }
{d23 }
{d13 }
{d12 }
Figura 3.2:
dn = a1 a2 . . . an1 ;
d3 a1 a2 a4 . . . an ;
d1 = a2 a3 . . . an ;
dn(n2) = a1 a2 . . . an3 an1
d3n = a1 a2 a4 . . . a2n ;
d2 = a2 a3 . . . an1 ;
d13 = a2 a4 . . . an ;
dn1 = a1 a2 . . . an2 an ;. . . ;
d2 = a1 a3 . . . an ;
dn(n1) = a1 a2 . . . an2 ;
d(n1)(n2) = a1 a2 . . . an3 an ;
d2n = a1 a3 . . . an1 ;
d23 = a1 a4 . . . an ;
d12 = a3 a4 . . . an
74

dj
Los elementos
dtomos
(j=1,2,. . . ,n) son denominados
o tomos-duales.
Fa ilmente vemos que:
dn = a1 an . . . an1
y en onse uen ia:
dn an = a1 a2 . . . an1 an = I
dn an = (a1 a2 . . . an1 ) an =
As on luimos que
dn = an (dn
es omplemento de
an ).
De manera general tenemos
que:
dj = aj
, j {1, 2, . . . , n}
Nota. Re uerde que en un lgebra booleana, ada elemento x tiene omplemento x

ni o.
invertir el orden par ial que orresponde

pasamos de B a un gebra booleana dual que
Ahora podemos pensar en el efe to de

a las opera iones
denotaremos por
, . Al ha erlo
B , on opera iones ,
= I,
y on otas universales:
I = .
B los tomos son los su esores inmediatos de = I y estos son pre isa
mente d1 , d2 , . . . , dn (los dtomos). En B , los ni os elementos irredu ibles son
= I y los dtomos d1 , d2 , . . . , dn .
En
En este aso la versin de
irredu ible
se presenta omo sigue:
Deni in 3.2.1. Sea Bn = [A, , , , , I ] un algebra booleana. Un elemento
dA
es
-irredu ible
en
Bn
si o urre que:
d = p q = p = d o q = d
Pero la opera in
de
Bn
es la opera in
de
Bn,
de esta manera podemos
ha er los ambios ade uados y en ontramos la deni in de elemento

en
irredu ible
Bn.
Deni in 3.2.2.
dA
es
Bn = [A, , , , , I]
en Bn si o urre que:
Sea
-irredu ible
un algebra booleana. Un elemento
d = p q = p = d o q = d.
Si volvemos a
Bn
el teorema3.1.2 asegura que ada
x 6=
posee una ni a
representa in anni a disyuntiva de la forma
x = dx1 dx2 . . . dxh


75
en la ual ada
dxj x (
dx1 , dx2 , . . . , dxh

Bn
Pero, podemos regresar a

de
son aquellos
es el orden par ial en
dtomos
que umplen la ondi in
Bn).
olo ando a
en lugar de
y la representa in
se onvierte en:
x = dx1 dx2 . . . dxh

donde
x dxj ,
As podemos de ir que en
Bn
j {1, 2, . . . , h}.
o urre que todo elemento
representa in anni a onjuntiva de la forma
x 6= I
posee una ni a
x = dx1 dx2 . . . dxh .
Observa in 3.2. En un lgebra booleana los ni os elementos -irredu ibles son

los
dtomos
(los prede esores inmediatos de la ota superior universal) y la ota
superior universal.
Teorema 3.2.1. Sea Bn = [A, , , , , I] un lgebra booleana y sea x A, x 6= ,
x 6= I . Sean a1 , a2 , . . . , an y d1 , d2 , . . . , dn los tomos y d-tomos de Bn respe tiva-
mente, enton es resulta que:
x no puede ser omparable simultaneamente on ai y di = ai .
Si las representa iones anni as de x son:

x = ax1 ax2 . . . axs
x = dx1 dx2 . . . dxt
(dxj 6= axj )
enton es se umple que

s+t=n
y
{ax1 , ax2 , . . . , axs } {dx1 , dx2 , . . . , dxt } = {a1 , a1 , . . . , a1 }.
Demostra in.
Ejer i io.
Problemario 3.2.
3.2.1. Determine uales de los siguientes reti ulados son algebras booleanas:
(a)[D285 , /];
donde
(b)[D210 , /];
(c)[D105 , /];
(d)[Cn , n , n ],
Cn = {a1 , a2 , . . . , an /ai {0, 1}, i = 1, 2, . . . , n} = {0, 1}n
76

y
(a1 , a2 , . . . , an ) n (b1 , b2 , . . . , bn ) = (a1 1 b1 , a2 1 b2 , . . . , an 1 bn ),

(a1 , a2 , . . . , an ) n (b1 , b2 , . . . , bn ) = (a1 1 b1 , a2 1 b2 , . . . , an 1 bn ).
Adems,
1 , 1 .
1 0 1
0 0 1
1 1 1
1 0 1
0 0 0
1 0 1
son las representa iones tabulares de
3.2.2. Construir los digramas de Hasse de les algebras booleanas siguientes:
(a)[D30 , /];
(c)[P(I3 ), ];
(b)[D42 , /];
En ada una de ellas, identi ar tomos y

tabulares de las opera iones
, , ;
(d)[D770 /];
dtomos;
(c)[P(I4 ), ].
onstruir las representa iones
adems, en ontrar las dos representa iones
anni as para ada elemento.
3.2.3. Determinar uales de los reti ulados siguientes son algebras booleanas:
(a)[D20 , mcm, mcd];
(b)[D378 , mcm, mcd];
(c)[d210 , mcm, mcd];
(d)[D105 , mcm, mcd];
(e)[I100 , max, min];
(f )[{0, 1}, max, min];
(g) Un CTO nito.
3.3. Cubo Unitario. Isomorsmo Booleano.
Cuando estudiamos el on epto de reti ulado, omenzamos tomandolo omo un

CPO en el ual ada par de elementos tiene supremo e nmo. Posteriormente en ontramos otra representa in de ese tipo de estru tura, on un onjunto (no-va io)
dotado de dos opera iones binarias que satisfa en iertas propiedades. Con las lgebras booleanas o urre algo similar, omo lo muestra el teorema siguiente:
Teorema 3.3.1. Supongamos que Bn = [A, , , , , I] es un lgebra booleana.

Enton es las opera iones , , y los elementos , I tienen las propiedades siguientes:
Idempoten ia: a A es verdad que a a = a y a a = a.

AB2 Conmutatividad: a, b A se umple que a b = b a y a b = b a.
AB1
77
AB3
Aso iatividad: a, b, c A se umple que a (b c) = (a b) c y a (b c) =
(a b) c.
Absor in: a, b A es verdad que a (a b) = a y a (a b) = a.

AB5 Modularidad: a, b, c A se umple que a [b (a c)] = (a b) (a c) y
AB4
a [b (a c)] = (a b) (a c).
AB6
Distributividad: a, b, c A se umple que a(bc) = (ab)(ac) y a(bc) =
AB7
A ota in universal: a A se umple que a = a, a = , a I = I ,
(a b) (a c).
a I = a.
Complementa in: a A se umple que a a = I y a a =

AB9 Involu in: a A se umple que a = a.
AB10 Dualiza in: a, b A se umple que a b = a b y a b = a b.
AB8
Teorema 3.3.2. Supongase que A es un onjunto no-va io dotado de dos opera-
iones binarias , : A A A y una opera in unaria : A A; adems,

supongase que en A hay dos elementos , I (no tienen que ser distintos) y que opera iones y elementos satisfa en las diez ondi iones [AB1,[AB2,. . . ,[AB10. Enton es
se puede asegurar que Bn = [A, , , , , I] es un reti ulado a otado, distributivo y
omplementado, en otras palabras, Bn es un lgebra booleana.
Ejemplo 3.2.
Sea
un onjunto ualesquiera. Se puede omprobar fa ilmente que
[P(S), , , , , S]
umplen los postulados [AB1,[AB2,. . . ,[AB10, por lo que on luimos una vez ms
que
[P(S), , , , , S]
En el onjunto
es un lgebra booleana.
C1 = {0, 1}, onsideremos las opera iones 1 , 1 , 1
dadas mediante
las tablas siguientes:
1 0 1
0 0 1
1 1 1
(Esto equivale a denir
1 0 1
0 0 0
1 0 1
1
0 1
1 0
a 1 b = max{a, b}, a 1 b = min{a, b}, a1 = 1 a).
Las
propiedades de idempoten ia y onmutatividad se pueden apre iar dire tamente en

las tablas de
1 , 1 ;
as omo tambin o urre on la involu in en la tabla de
1 .
78
Las propiedades restantes se prueban on fa ilidad pero la tarea es larga y tediosa

( omo ha erlo?). Asi hemos en ontrado el algebra booleana
C1 = [C1 , 1 , 1 , 1 , 0, 1]
ono ida on el nombre de
ubo unitario de dimensin 1 1 ubo unitario.
n opias de 1 ubo unitario, obtendremos el onjunto Cn = (C1 )n =

C1 . . . C1 = {(x1 , . . . , xn )/x1 , . . . , xn {0, 1}}.
|
{z
}
Al trabajar on
nveces
1 ubo unitario es extendida

, , n en la forma siguiente:
La estru tura de lgebra booleana de
la deni in de opera iones
a Cn mediante
(x1 , . . . , xn ) n (y1 , . . . , yn ) = (x1 1 y1 , . . . , xn 1 yn )

(x1 , . . . , xn ) n (y1 , . . . , yn ) = (x1 1 y1 , . . . , xn 1 yn )
(x1 , . . . , xn )
Adems en
Cn
se es ogen
= (x1 1 , . . . , xn 1 )
n = (0, . . . , 0), I = (1, . . . , 1)
y se omprueba enton es la
validez de [AB1,. . . ,[AB10. El lgebra booleana que se obtiene on este pro eso es
el
n ubo
unitario ubo unitario de dimensin n,

Cn = [Cn , n , n , n , , I].
Usualmente no representamos los elementos de

listas on
n omponentes
Cn
omo
nuplas
sino en forma de
binarias. Esto es, en lugar de es ribir
(x1 , x2 , . . . , xn )
es ribiremos
x1 x2 . . . xn .
As, los elementos de
y los de
C3
C2
son: 00, 01, 10 y 11
son: 000, 001, 010, 100, 101, 110, 011, 111.
La representa in gr a (diagrama de hasse) del

puede onstruir ombinando dos opias del
Cn+1 =
=
=
=
n ubo
(n + 1) ubo unitario Cn+1 se

unitario Cn. Esto se debe a que:
C1 Cn
{0, 1} Cn
({0} Cn ) ({1} Cn )
{(x1 , x2 , . . . , xn+1 )/x1 = 0 y (x2 , . . . , xn+1 ) Cn }
{(x1 , x2 , . . . , xn+1 )/x1 = 1 y (x2 , . . . , xn+1 ) Cn }.
79

As, por ejemplo, a los elementos 00,01,10,11 del
2 ubo C2 les podemos

3 ubo C3:
agregar
una nueva omponente(0 1) y formamos los elementos de
000
100
001
101
010
110
011
111
(nueva omponente: 0)
(nueva omponente: 1)
A estos, les agregamos una uarta omponente y formamos los elementos del
0000
0100
1000
1100
0001
0101
1001
1101
0010
0110
1010
1110
0011
0111
1011
1111
(Nueva
omponente: 0)
(Nueva
omponente: 1)
Ahora on dos opias del diagrama de
C1
onstruimos el diagrama de
b
01
00
C4:
C2:
11
10
Figura 3.3:
Cone tando mediante una arista ada vrti e de la

la la
da
1ra
opia on el vrti e de
opia que o upan la misma posi in.
Con dos opias del diagrama de
C2 ,
onstruimos el diagrama de
b
011
001
000
010
101
b
100
C3 :
111
110
Figura 3.4:
Salta a la vista la similitud entre el diagrama del

de un lgebra booleana que tenga
ntomos.
n ubo
unitario y el diagrama
Esta situa in es formalizada en la
deni in y el teorema siguiente.
80

1111
C2
C3
11
01
0111
101
001
011
b
110
0011
10
b
b
1011 1101
b
0101
b
010
0001
0110
b
1001
100
00
C4
111
1110
0010 0100
000
1100
1010
1000
0000
Figura 3.5: Versiones usuales de los diagramas de hasse
Deni in 3.3.1.
Sean
B1 = [A1 , 1 , 1 , 1 , 1 , I1 ]
dos lgebras booleanas. Un
Isomorsmo booleano
B2 = [A2 , 2 , 2 , 2 , 2 , I2 ]
de B1 en B2 es un apli a in
y
biye tiva
h : A1 A2
que preserva las tres opera iones
(, , ),
esto es que umple las ondi iones si-
guientes:
1)a, b A1 : h(a 1 b) = h(a) 2 h(b),

2)a, b A1 : h(a 1 b) = h(a) 2 h(b),
3)a A1 : h(a1 )
Ejemplo 3.3.
booleana
h(a) .
Es f il onstruir un isomorsmo booleano entre
[P({1, 2}), ]
C2
y el lgebra
utilizando los diagramas respe tivos:
Asigna in de imagenes:
{1, 2}
11
01
10
00
h(11)
h(01)
h(10)
h(00)
=
=
=
=
{2}
{1, 2}
{2}
{1}
{1}
Dire tamente en las asigna iones de imagenes podemos ver que la apli a in
es inye tiva y sobreye tiva, asi que
omprobar que
En
es biye tiva. Veamos un ejemplo omo se debe
preserva las opera iones:
C2 es ogemos 01 y
10, sus imagenes respe tivamente en
P({1, 2}) son {2}, y {1}.
Luego,
81
h(01 2 10) = h(11)

= {1, 2}
h(01) h(10) = {2} {1}

= {1, 2}
As,
h(01 2 10) = h(01) h(10).

Por otro lado,
h(01 2 10) = h(00)

=
h(01) h(10) = {2} {1}

=
As,
h(01 2 10) = h(01) h(10).

Esta omproba in debe realizarse todos los pares de elementos a, b de
vez ulminada esa omproba in, podremos on luir que
C2 ;
una
preserva las opera iones
de supremo e nmo.
Para el omplemento tenemos que
h(00)
h(01)
h(10)
h(11)
=
=
=
=
h(11)
h(10)
h(01)
h(00)
= {1, 2}
= {1}
= {2}
=
= {2}
= {1}
= {1, 2}
Estas uatro igualdades nos permiten asegurar que

As on luimos que
es un isomorsmo booleano de
C2
=
=
=
=
h
h(00)
h(01)
h(10)
h(11)
preserva el omplemento.
en
P({1, 2}).
Teorema 3.3.3. Toda lgebra booleana Bn = [A, , , , , I] que tenga ntomos

es isomorfamente booleana isomorfa booleanamente al n ubo unitario Cn.
Demostra in.
h : A Cn que sea un isomorsmo

booleano. Para onstruirla supongamos que los n-tomos de Bn son a1 , a1 , . . . an , el
Teorema 3.1.2 nos asegura que ada elemento x 6= , posee una ni a representa in
disyuntiva estndar x = ax1 ax2 . . . ax , y en esa representa in apare en ni a
k
y ex lusivamente aquellos tomos axj que satisfa en axj x. Luego, tenemos que:
Debemos exhibir una apli a in
82
1 2 . . . n
h(x) = 0 . . . 0
| {z }
si
si
x 6=
x=
nve es
donde la
nupla
binaria
1 2 . . . n
(
1
i =
0
si
si
se onstruye omo sigue:
ai {ax1 , . . . , axk }
ai
/ {ax1 , . . . , axk }
Se deja omo ejer i io la omproba in de la biye tividad de

de las opera iones por parte de
NOTA Este
ya que
Cn
tiene
y la preserva in
h.
isomorsmo nos permite al ular la antidad de elementos de
Bn
elementos.
Problemario 3.3.
3.3.1. Determinar uales de los siguientes sistemas son lgebras booleanas.
(a)[D20 , mcm, mcd];
(b)[D378 , mcm, mcd];
(c)[D210 , /];
(d)[D385 , mcm, mcd];
(e)[I100 , max, min];
(f )[D9 10, /];
(h)[A1 . . . An , , ],
[A1 , 1 , 1 ], . . . , [An , n , n ] son algebras booleanas
(g)Un CTO a otado;

donde
(a1 , . . . , an ) (b1 , . . . bn ) = (a1 1 b1 , . . . , an n bn ),

(a1 , . . . , an ) (b1 , . . . bn ) = (a1 1 b1 , . . . , an n bn );
(i)[B, , ],
donde [A, , ] es un lgebra booleana, y h : A B una apli a in biye tiva,
y , se al ula de a uerdo a lo que estable e la siguiente regla: Si x, y B ,
y a, b A son los ni os elementos que satisfa en h(a) = x, h(b) = y , enton es
x y = h(a b), x y = h(a b).
3.3.2. A ada uno de los sistemas nitos del problema anterior que result un lgebra
booleana, onstruyale el diagrama de Hasse. Luego identique los tomos y d-tomos,
es riba las representa iones disyuntivas( anni as) de ada uno de los elementos,
onstruya las tablas de las opera iones
, , .
Es riba tambin las representa iones
anni as onjuntivas.
83
3.4. Expresiones booleanas

3.3.3. Demostrar que:
(a)El postulado [AB1 se puede obtener de [AB4;
(b)El postulado [AB5 se puede obtener de [AB1, [AB2, [AB3, [AB4 y [AB6;
( )[AB9 y [AB10 se pueden dedu ir de los 8 restantes.
B = [a, , , , , I] un lgebra booleana. Demostrar que:

(a) p, x A y p x = , p x = I , enton es x = p,
(b) p, q A se umple que p q = p p q = q p q = I p q = ,
( ) p, x, x A y p x = p x , p x = p x , enton es x = x ,
(d) Si q, r A y q r , enton es p A se umple que p q p r y p q p r .
3.3.4. Sea
3.3.5. En un lgebra booleana
B = [a, , , , , I]
se dene la
diferen ia simtri a
en la forma siguiente:
ab = (a b) (a b),
a, b A.
Demostrar que para ualquiera a, b, c, x A se umple :
(a)aa = ba;
(b)a(bc) = (ab)c;
( )a (bc) = (a b)(a c)
(d)aa = , a = a, aa = I, aI = a;
(e)xa = b x = ab.
para ualquier
3.3.6. Utilizar la indu in para demostrar que en un lgebra booleana valen las igualdades
k 2):
a (b1 . . . bk ) = (a b1 ) . . . (a bk ),
(b)a (b1 . . . bk ) = (a b1 ) . . . (a bk ),
( )a1 . . . ak = a1 . . . ak ,
(d)a1 . . . ak = a1 . . . ak .
siguientes (para
(a)
B = [A, , , , , I] y tomemos en lla varios

elementos, p1 , . . . , pq . Las opera iones , , nos permite mez la one tar esos
elementos para representar otros elementos de B. Formalmente, tenemos la deni in
Consideremos un lgebra booleana
siguiente:
Deni in 3.4.1. Sea B = [A, , , , , I] un lgebra booleana y sean p1 , . . . , pq

A. Las ombina iones booleanas de p1 , . . . , pq
son los elementos de
B que se obtienen
al apli ar las normas siguientes:
CB1 pi , i {1, . . . , q}
CB2 pi , i {1, . . . , q} o el omplemento de una ombina in booleana de los elementos
CB3
p1 , . . . , pq .
Supremo (disyun in) o nmo ( onjun in) de ombina iones booleanas de
p1 , . . . , pq .
84
CB4
Cualquier ombina in booleana se obtiene al apli ar las normas anteriores
una antidad nita de ve es.
Ejemplo 3.4. Tomemos uatro elementos a, b, c, d de un lgebra boolena B. Se tiene:

a, b, c, d
son ombina iones boolenas de
a, b, c, d.
Se utilizo la norma CB1.
a, b, c, d
a, b, c, d.
Se utilizo la norma CB2.
= a a, I = a a
a, b, c, d.
Se utilizo la norma
CB3.
a b, c a, d b, c a entre otras son ombina iones booleanas de a, b, c, d. Se utilizo

la norma CB4.
Ejemplo 3.5.
En
C3 ,
elemento 010 dado que
una ombina in boolena de los elementos 011,100,101 es el
[(011 100) (100 101)] 101 = [111 (011 010)] 010 =
111 010 = 010.

En
C4 ,
una ombina in boolena de los elementos 0010,
1000,
0100,
0001 es el
(0010 1000) (0100 0001)(00011000) = 1010 0101

1001 = 0000 1001 = 1111 1001 = 1111.
elemento 111 dado que
L = {1 , . . . , k } que podemosmaneja
B.
Denominaremos los elementos de L letras. Podemos one tar las letras 1 , . . . , k mediante los simbolos , , y segn las propiedades de las opera iones respe tivas.
As, podemos obtener ombina iones booleanas indi ada por las letras 1 , . . . , k ;
Consideremos ahora un onjunto de simbolos
omo variables independientes que van a tomar valores en un lgebra booleana
estas ombina iones indi ada
re iben el nombre de
polinomios booleanos en las kletras 1 , . . . , k .
Ntese que una ombina in booleana de elementos
expresiones booleanas
p1 , . . . , pk
de
B, es otro elemento
B; di ho elemento se obtiene al on luir los l ulos sealados en la ombina in.

1 , . . . , k es una formula uyos variables
mudas son las letras 1 , . . . , k y los simbolos , , one tan esas variables mudas
si a 1 , . . . , k se les asignan valores en un lgebra booleana B, al sustituir en una
expresin booleana de 1 , . . . , k las letras por sus valores resulta que , , pasan
a ser las opera iones de B. En parti ular, la expresin 1 1 (sea ual sea el valor
asignado a 1 ) se onvierte en la ombina in boolena , as que onvenimos en es ribir j j = para ualquier j = 1, . . . , k . Imitando las normas de la Deni in
del
Por su parte, una expresin booleana en
3.4.1 tenemos la deni in formal siguiente:
Deni in 3.4.2.
{1 , . . . , k }
Sea
B = [A, , , , , I]
un lgebra booleana y sean
L =
B.
un onjunto formado por letras que representan los elementos de
Las expresiones boolenas en las letras
1 , . . . , k
son las frmulas siguientes:
EB1 , 1 , . . . , k .
85
EB2 i , i {1, . . . , q} o el omplemento de una expresin booleana en 1 , . . . , k .

EB3
Disyun in y onjun in de expresiones booleanas en
EB4
Cualquier expresin booleana que se obtiene al apli ar las normas anteriores
1 , . . . , k .
una antidad nita de ve es.
Ejemplo 3.6. Las formulas siguientes son expresiones booleanas en 3letras 1 , 2 , 3 :

1 , 2 , 3 ,
debido a EB1.
1 , 2 , 3 ,
debido a EB2.
1 2 , 3 1 , 1 2 3 ,
, 3 1 , 2 3 ,
debido EB3.
debido a EB4.
Deni in 3.4.3.
Sean
1 , . . . , q
letras de un lgebra booleana. Una expresin
booleana de la forma:
1 . . . r
on
1 , . . . , t {1 , . . . , q , 1 , . . . , q },
la denominaremos
onjun in.
1 . . . r
on
1 , . . . , t {1 , . . . , q , 1 , . . . , q },
la denominaremos
disyun in.
1 . . . q
donde
i = i
i = i ,
la denominaremos
onjun in fundamental.
1 . . . q
donde
i = i
i = i ,
la denominaremos
disyun in fundamental.
Ejemplo 3.7.
En 4 letras
Son onjun iones
a, b, c, d
a, b, a b, a b c, a b c d, .
a b c d, a b c d.
Son onjun iones fundamentales
Son disyun iones
se tiene que:
a, b, a b, a b c, a b c d, .
Son disyun iones fundamentales
a b c d, a b c d, a b c d.
A ontinua in presentaremos otras maneras espe iales de presentar expresiones

booleanas en las letras
1 , . . . , k :
Deni in 3.4.4. Formas onjuntiva normal: A1 . . . Ar , donde ada Ai

es una disyun in en
1 , . . . , k .
Forma onjuntiva estndar: D1 . . . Ds , donde ada Di es una disyun in

fundamental en
1 , . . . , k .
86
Forma disyuntiva normal: B1 . . . Bt

en
1 , . . . , k
donde ada
Bi
es una onjun in
letras.
Forma disyuntiva estndar: Es una expresin booleana C1 . . . Cq , donde

ada
Ci
es una onjun in fundamental en
Ejemplo 3.8.
En 3 letras
x, y, z ,
1 , . . . , k
letras.
la expresin:
E1 = x (x y) (x y) y
esta en forma onjuntiva normal.
E2 = (x y z) (x y z)
esta en forma onjuntiva estandar.
E3 = x (x y) (x y) y
esta en forma disyuntiva normal.
E4 = (x y z) (x y z) (x y z),
esta en forma disyuntiva estandar.
Observa in 3.3. Un detalle fundamental en el manejo de las expresiones booleanas

es que letras deben ser tratadas omo si fueran elementos de un lgebra booleana y
los simbolos
, , ,
omo si fueran las opera iones supremo, inmo y omplemento
respe tivamente. De a uerdo on esta observa in obtenemos el resultado siguiente:
Teorema 3.4.1. Toda onjun in fundametal en kletras 1 , . . . , k , es la disyun in

de dos onjun iones fundamentales en (k + 1)letras 1 , . . . , k , k+1 .
Demostra in.
C = 1 . . . k una onjun in fundamental en las kletras

1 , . . . , k . La letra k+1 se puede es ribir I = k+1 k+1. Enton es omo C = C I
tenemos queC = (1 . . . k ) (k+1 k+1 ) = (1 . . . k k+1 ) (1 . . .
k k+1 ).
Sea
Corolario 3.4.1. Existen 2k onjun iones fundamentales en kletras 1 , . . . , k .

Demostra in.
Pro edamos por indu in sobre el nmero de letras. Para la letra
las ni as onjun iones fundamentales son
Deni in 3.4.5.
Sean
E1 , E2
1 .
Luego se umple para
dos expresiones booleanas en
k = 1.
1 , . . . , n . E1 , E2
son
equivalentes si y slo si tienen la misma forma disyuntiva estndar. Lo denotaremos

por
E1 E2
Problemario 3.4.
3 ubo unitario C3 se puede exprsar
elementos 001, 010, 100 y 000. Generalizando,
3.4.1. Mostrar que todos los elementos del
omo
ombina iones booleanas de los
todos
los elementos del
Cn
n- ubo Cn
son ombina iones booleanas de aquellos elementos de
que tiene a lo sumo una omponente igual a
1.
Optener una on lusin similar
on los elementos que que tienen, a lo sumo, una omponente igual a
87
3.5. Apli a iones booleanas

3.4.2. Es ribir todas las onjun iones fundamentales en
4-letras a, b, c, d. Construir todas

4-letras. Repetir el
las expresiones booleanas, en forma disyuntiva estndar , en esa
trabajo on las disyun iones fundamentales y las formas onjuntivas estndar.
3.4.3. Sean
C1 , C2
dos unjun iones fundamentales distintas en
Demostrar que
n-letras 1 . . . n .
C1 C2 =
3.4.4. Llevar ada una de las expresiones booleanas siguientes, a la forma disyuntiva normal
4-letras w, x, y, z :
E = [x (z w)] (w z);
(b)F = (x z) (x w) (x y)
( )G = (x y) (x w);
(d)H = x [z (x w)]
(e)J = {(x w) [(y w) x]} (z w);
(f )K = (z w) {(x y) [(z y) (x w)]}
y luego a la forma disyuntiva estndar, en
(a)
3.4.5. Llevar ada una de las expresiones del problema anterior a la forma onjuntiva normal. Despus llevarla a la forma onjuntiva estndar.
3.5. Apli a iones booleanas
nletras 1 , . . . , n y un lgebra
booleana Bn = [A, , , , , I]. Si ada letra j le asignamos un valor aj A
(j = 1, 2, ..., n) y sustituimos las letras por esos valores de E , esta expresin se onvierte en una ombina in booleana de los elementos a1 , . . . , an y es un elemento
a A . En esta manera de pro eder, la expresin E sirve para aso iarle a ada nupla (a1 , . . . , an ) de elementos de A un elemento a = E(a1 , . . . , an ) A, es de ir, la
n
apli a in fE : A = A . . . A A. As tenemos que jada el lgebra booleana
|
{z
}
Tomemos una expresin
en booleana
en
nveces
, toda expresion booleana en
n-letras
An
dene un apli a in de
en
A.
Teorema 3.5.1. Sean E1 , E2 dos expresiones booleanas es nletras y A un lgebra

booleana. Adems sea f : An A la apli a in por Ej (j = 1, 2). Enton es se
umple que E1 y E2 son equivalentes f1 = f2 .
Deni in 3.5.1. Sea A un lgebra boolena y f : An A una apli a in. Diremos

f es uns apli a in
nletras que dene
que
booleana sobre
en
si y slo si existe una expresin booleana
f.
Teorema 3.5.2. Sea f : Cn = (C1 )n C 1 una apli a in. Enton es existe una
un a forma disyuntiva estndar Ef que dene a f . Esta expresin viene dada por
Ef (1 , . . . , n ) =
(x1 1 . . . xnn )
x1 ...xn f 1 ({1})
donde
xj
j
j si xj = 1
, f 1 ({1}) = {x1 , . . . , xn Cn /f (x1 , . . . , xn ) = 1}
j si xj = 0
88
Ejemplo 3.9.
Sea
f : C3 C 1
x1 x2 x3
f (x1 x2 x3 )
la apli a in dada por la tabla siguiente:
000
001
011
111
110
100
101
010
f 1 ({1}) = {000, 011, 111, 110, 101}
3-letras 1 2 3 las onjun iones fundamentales x1 1 x2 2 x3 3 produ idas por los
elementos x1 , x2 , x3 de f 1({1}) son: 1 2 3 (dado por 000), 1 2 3 (dado por

(011), 1 2 3 , 1 2 3 y 1 2 3 . En onse uen ia, la expresin booleana
en 3letras que dene a f es :
En
Ef (1 , 2 , 3 ) = (1 2 3 ) (1 2 3 ) (1 2 3 ) (1 2 3 ) (1 2 3 )
F que sea equivalente a Ef tambin

f . Por ejemplo F = (1 2 3 ) (2 3 ) [1 (2 3 )] es equivalente a Ef ;
si evaluamos a F en ada elemento de C3 , en ontramos que F asigna exa tamente
las mismas imgenes que Ef .
Notese que ualquier expresin booleana
dene a
Observa in 3.4.
one tivo
Por fa ilitar la es ritura, de ahora en adelante omitiremos el
en las onjun iones. As la expresin
Ef
anterior queda de la forma
siguiente:
Ef (1 , 2 , 3 ) = (1 2 3 ) (1 2 3 ) (1 2 3 ) (1 2 3 ) (1 2 3 )
Por su parte, la expresin
queda as:
F = (1 2 3 ) (2 3 ) [1 (2 3 )]
Problemario 3.5.
3.5.1. Para ada una de las apli a iones

expresin booleana
E1
en
5-letras
fi = C5 C1
dadas a ontinua in, en ontrar una
que dena a
fi
(i=1,2,3,4).
89
3.6. Cir uitos Lgi os
g : C3 C1
3.5.2. Sea
f1
f2
f3
f4
11100
11101
01100
01101
10100
11001
01110
01111
01010
01000
00110
00010
00111
elemento restante
la apli a in denida en la tabla siguiente
000
001
010
100
110
101
011
111
g(x)
(a) En uentre una expresin booleana en,

que dena a la apli a in
3letras
y en forma onjuntiva estndar,
g.
3.6. Cir uitos Lgi os
Las omputadoras digitales estan diseadas para obtener salidas apropiadas a

partir de entradas dadas. Tanto las entradas omo las salidas son pro esadas en
trminos de bits, es de ir, 0 1, pero no re urren a valores intermedios. Di hos
sistemas o omputadoras digitales estan onstituidas por ir uitos que realizan tareas
espe i as omo ombinar, generar y alma enar seales, asi omo un re eptor de
radio realiza tareas de ampli a in y modula in de seales. Cuando los ir uitos
toman uno de los valores 0 1 estos re iben el nombre de ir uitos lgi os, es de ir,
un ir uito lgi o puede pensarse omo una aja que a epta un onjunto de entradas
y genera un onjunto de salidas, donde ada entrada y salida es un bit.
Los ir uitos lgi os se rigen por leyes o propiedades las uales son las mismas de
las lgebras booleanas. Como se dijo anteriormente se denotar on 0 1 los dos valores posibles donde ada seal debe tener asignada una variable
(x, x1 , x2 , y, y1, . . . , etc)
que sern utilizada para indi ar el estado de la seal, de aqu obtenemos la primera
propiedad:
90
1.
x=0
si
x 6= 1
2.
x=1
si
x 6= 0
Ahora veamos omo surgen las dems propiedades.

Un interruptor tiene la ualidad de estar abierto o estar errado. Si esta abierto
no permite el paso de la orriente y si esta errado deja pasar la misma, ya que a
los interruptores errados les asignaremos el valor 1 y se utilizar el simbolo
los interruptores abiertos les asignaremos el valor 0 y se utilizar el simbolo
xya
x, en
onse uen ia obtemenemos la segunda propiedad:
1. si
x=0
enton es
x=1
2. si
x=1
enton es
x=0
Todo ir uito lgi o se puede onstruir sobre la base de unos po os ir uitos muy
simples a los que se les da el nombre de ompuertas lgi as las uales son:
1. Compuerta AND
2. Compuerta OR
Compuerta AND
En la ompuerta AND onsideraremos dos onta tos one tados en serie y on
transmisiones
x1 , x2
omo apare en a ontinua in:
Esta onexin en serie oin ide on la tabla de verdad de la onjun in.
x1
x2
x1 x2
Esta tabla estable e que la transmisin de la onexin en serie es 1 solo uando

los dos onta tos tienen transmisin 1.
De esta tabla obtenemos otras propiedades:
1.
00 =0
2.
11 =1
91
3.7. Optimiza in de apli a iones booleanas

3.
01 =0
4.
10 =0
Analogamente onsideraremos dos onta tos one tados en paralelo y on transmisiones
x1 , x2
omo apare e a ontinua in:
Esta onexin en paralelo oin ide on la tabla de verdad de la disyun in.
x1
x2
x1 x2
La tabla estable e que la transmisin de la onexin en paralelo es 0 slo uando

los dos onta tos tienen transmisin 0. De aqui obtenemos las propiedades siguientes:
1.
11 =1
2.
10 =1
3.
01 =1
4.
00 =0
Con estas propiedades podemos evaluar ierto tipo de ir uitos lgi os y determinar el omportamiento del ir uito para ada una de las entradas posibles.
A ontinua in daremos una breve resea de los readores del mtodo que utilizaremos para la optimiza in de apli a iones booleanas.
Edward J. M Cluskey (na i en 1929)

Edward M Cluskey estudi en el Bowdoin College y en el M.I.T., donde re ibi
su do torado en ingeniera el tri a en 1956. Se in orpor a los Bell Telephone Laboratories en 1955, donde permane i hasta 1959. M Cluskey fue profesor de ingeniera
el tri a en la Universidad de Prin eton desde 1959 hasta 1966 y dire tor del Centro de omputa in de Prin eton desde 1961 hasta 1966. En 1967 tom po esin
de una plaza de profesor de informti a e ingeniera el tri a de la Universidad de
92
Stanford, donde tambin fue dire tor del Laboratorio de Sistemas Digitales de 1969
a 1978. M Cluskey ha trabajado en diversas reas de la informti a, in luyendo la
omputa in tolerante a fallos, la arquite tura de ordenadores y el diseo y veri a in lgi os. A tualmente es dire tor del Center for Reliable Computing de la
Universidad de Stanford. M Cluskey es tambin miembro de la ACM.
Willard Van Orman Quine (1908-2000)

Willar Quine, na ido en Akron, Ohio, Filsofo estadounidense ini i sus estudis
en el Oberlin College y en la Universidad de Harvard, donde re ibi su do torado en
losofa en 1932. Se onvirti en Junior Fellow de Harvard en 1933, onsiguiendo un
puesto de profesor permanente en 1936. Permane o en Harvard durante el resto de
su vida profesional, salvo durante la segunda guerra mundial, en que trabajo para la
marina de Estados Unidos des ifrando mensajes de los submarinos alemanes. Quine
estuvo siempre interesado en los algoritmos, pero no en el hardware. Des ubri lo que
hoy dia se llama el mtodo de Quine-M Cluskey omo una herramienta para ensear
lgi a matemti a ms que omo un mtodo para simpli ar ir uitos onmutados.
Quine fue uno de los lsofos ms famosos del siglo XX. Hizo ontribu iones fundamentales a la teora del ono imiento, a la lgi a matemti a y a la teora de
onjuntos, as omo a las losofas de la lgi a y del lenguaje. Sus libros, entre los
que estn New Foundations of Mathemati al Logi , publi ado en 1937 y Word and
Obje t, publi ado en 1960, han tenido un profundo impa to. Quine se retir de
Harvard en 1978, pero ontinu yendo ada da desde su asa en Bea on Hill a su
despa ho de Harvard. Utiliz durante toda su vida la mquina de es ribir Remington
1927, en la que el me anografo su tesis do toral. In luso hizo modi ar la mquina
a n de aadir unos po os smbolos espe iales, para lo que hubo que eliminar el
segundo punto, la segunda oma y el smbolo de interroga in. Hay una palabra,
quine, denida en el New Ha ker's Di tionary omo un programa que genera omo
salida una opia de su propio digo fuente. Es ribir el quine ms orto posible en
un lenguaje de programa in dado es un pasatiempo muy popular entre "ha kers".
93

Dada una apli a in booleana
Deni in 3.7.1.
Ef
f : Cn C1
f : Cn C1 una apli a in on forma disyuntiva estndar

Em una expresin booleana en las mismas n-letras, en forma
que sea equivalente a Ef . Diremos que Em es minimal para
Sea
(en n-letras) y sea
disyuntiva normal y
la apli a in f si y slo si para ada expresin booleana E en n-letras, en forma

disyuntiva normal y equivalente a
1. n
2. n
de trminos de
Em no
Ef
se umplen las dos ondi iones siguientes:
de trminos de E.
de apari iones de letras en
Em no
de apari iones de letras en E.
Teorema 3.7.1. Sea E una expresin booleana y sea x una letra que no apare e en
E . Enton es (E x) (E x) = E
Deni in 3.7.2.
E1 , E2 expresiones booleanas en n-letras. Diremos que E1 impli a E2 (denotado
por E1 E2 ) si y slo si para ulquier asigna in de valores binarios que haga E1 = 1
o urre que E2 6= 0 (o sea, E2 = 1)
1. Sean
2. Una onjun in
Ef
(donde
es llamada impli ante de una apli a in f : Cn C1

Ef es la forma disyuntiva estndar de f )
si y slo si
Teorema 3.7.2. Sean E1 , E2 expresiones booleanas en n-letras. Enton es E1 y E2

son equivalentes si y slo si E1 E2 y E2 E1
Teorema 3.7.3. Sea E = 1 . . . k una expresin booleana en n-letras, en forma

disyuntiva normal, y sea f : Cn C1 la apli a in denida por E . Enton es ada
una de la onjun iones 1 , . . . , k es impli ante de f
Deni in 3.7.3.
Cn C1
1.
Una onjun in
es impli ante primo de una apli a in
f :
si y slo si se umplen las dos ondi iones siguientes :
es impli ante de
2. Al quitarle a
Ef
ualquiera de las letras que la forman, lo que queda no impli a
Ef
Teorema 3.7.4. Si 1 , . . . , k son todos los impli antes primos de una apli a in
f : Cn C1 , enton es la expresin E = 1 . . . k dene a f , es de ir E Ef
Deni in 3.7.4.
Sea
una expresin booleana en n-letras, en forma disyuntiva
normal, que dene a una apli a in
f -irredundante
1. Cada onjun in de
2. Al quitarle a
que no dene a
f : Cn C1
. Diremos que la expresin
es
si y slo si se umnplen las dos ondi iones siguientes :
es impli ante primo de
f.
ualquiera de las onjun iones que la forman se obtiene una expresin
f.
94
Teorema 3.7.5. Si Em es una expresin minimal para una apli a in f : Cn C1 ,

enton es Em es f -irredundante.
Este resultado nos permite plantear una segunda etapa del pro eso de bsqueda de expresin minimal. Una vez en ontrados todos los impli antes primos de
llos son utilizados para onstruir todas las expresiones
las en ontraremos la o las
f -irredundantes:
f,
entre el-
expresiones minimales. Antes de en ontrar un mtodo
para onstruir todas estas expresiones
f -irredundantes,des ribiremos el
f.
Mtodo de
M Cluskey - Quine para en ontrar todos los impli antes primos de
Mtodo de M Cluskey - Quine para obtener los impli antes primos

de f a partir de la forma disyuntiva estndar Ef
Paso 1
Es ribir ada onjun in fundamental de
Ef
en nota in binaria. (Se olo-
ar 0 si la letra est omplementada 1 si la letra no tiene omplemento.)
Paso 2
Clasi ar las onjun iones de
Ef
segn la antidad de omponentes iguales
a 1 y olo ar estas lases resultantes en una olumna, ordenada de menor antidad (de omponentes iguales a 1) a mayor antidad, omo lo indi a el siguiente
esquema:
Clase de 0 componentes iguales a 1

Clase de 1 componentes iguales a 1
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Clase de n componentes iguales a 1
Paso 3
Apli ar el Teorema 3.7.1 a los elementos adya entes que dieren apenas
en una omponente; al eliminar una letra se olo a - en su lugar. Los elementos

resultantes se olo an en otra olumna, en el orden en que son obtenidos, sin
repeti iones y onservando las lases segn las omponentes iguales a 1.
Paso 4
Continuar la simpli a in (repetir el paso 3) hasta que no se pueda sim-
pli ar ms.
Paso 5
Todos los elementos o trminos no simpli ados son impli antes primos
f.
de
Veamos ahora omo se ompleta el pro edimiento, en ontrando la t ni a para

formar las expresiones
Deni in 3.7.5.
irredundantes.
Sean
dos onjun iones. Se di e que
est ontenida en
que
ontiene a

iguales en .
( es de ir,
apare en exa tamente
) si y slo si las letras que forman
95

Al tener los impli antes primos de
obtenidos usando el mtodo de M Cluskey-
Quine, ne esitamos ombina iones de ellos que formen expresiones equivalentes a
Ef
(es de ir, que denan a f ). Para que esto o urra, debe umplirse que ada onjun in
fundamental de
Ef
ontenga al menos un impli ante primo de los que sern sele -
ionados para las ombina iones. Una manera de realizar esta sele in es la que
mostraremos a ontinua in:
1. Costruimos la TABLA DE IMPLICANTES PRIMOS on las onjun iones fundamentales que forman
Ef
y los impli antes primos de
Ef
que no sean onjun iones
fundamentales, tal omo se indi a en la siguiente gura:
C1
C2
C3
.
.
.
.
.
.
.
.
.
1
2
.
.
.
. . . . . . Ck
......
......
.
.
.
.
.
.
......
C1 , C2 , C3 , . . . , Ck son onjun iones fundamentales que forman Ef y

1 , 2 , . . . , p son los impli antes primos de Ef que no sean onjun iones fundamentales de Ef .
Donde los
x)
2. Las asillas de esta tabla son llenadas on los simbolos (

uando
i Cj
y en aso ontrario es
x)
( ). Se olo a (
( ) dejamos la asilla va a.
x) y se
3. Una vez llenadas las asillas, ubi ar las olumnas que ontienen una ni a (
x), adems
sele ionan los impli antes primos orrespondientes a esas asillas on (
se ubi an las onjun iones fundamentales que son impli antes primos (estas onjun-
iones tienen slo ( ) en las asillas de sus olumnas lo dejamos en blan o). Estos
trminos sele ionados son one tados mediante
, es de ir en una forma disyuntiva
la ual es denominada NCLEO de todas las expresiones
f irredundantes.
4. Ahora des artamos de la tabla de impli antes primos los trminos que fueron sele ionados para el NCLEO, uando ha emos esto tambin deben ser des artadas
todas las onjun iones fundamentales que ontienen algn trmino sele ionado on
lo que queda se forma la TABLA RESTANTE, en esta no deben apare er onjun iones fundamentales on la olumna va a. Respe to a los impli antes primos que
apare en en la TABLA RESTANTE tenemos dos posibilidades:
Impli antes primos on la va a: estos deben ser des artados porque no produ irn
expresiones f irredundantes.
Varios impli antes primos estn ontenidos en una onjun in fundamental: en este
aso, ada uno de ellos pueden ser agregados al N leo para obtener una expresin
f irredundantes.
Si hay varias onjun iones fundamentales, hay que sele ionar
las ombina iones de impli antes que re orren todas esas onjun iones primos.
96
5. Al tener onstruidas todas las expresiones
f irredundantes,
ya se pueden sele -
ionar las que sean minimales (una varias).
Consideremos el siguiente ir uito lgi o. Hallemos la expresin booleana que

representa al ir uito lgi o, esto es:

E = A [C (D C)] B [D (C A) C]
Hallemos la forma disyuntiva normal a partir de la expresin booleana anterior,
esto es:

E = A [C (D C)] B [D (C A) C] =

= (A C) B D [(C C) (C A)] "Por ley de absor in y distributiva"

= (A C) B D [I (C A)] "Por ley de omplementa in"

= (A C) B [D (C A)] "Por ley de a ota in universal"
= (A C) (B D) [B (C A)] "Por Propiedad Distributiva"
= (A C) (B D) (B C) (B A) "Por Propiedad Distributiva"
En onse uen ia,
E = (A C) (B D) (B C) (B A)
Una vez hallada la forma disyuntiva normal a partir de la expresin booleana
dada pro edemos a hallar la forma disyuntiva estndar, esto es:
(A C) =
= (A C) I
= (A C) (B B)
= [(A C B) (A C B)] I
= [(A C B) (A C B)] (D D)
= (A C B D) (A C B D) (A C B D) (A C B D)
= (A B C D) (A B C D) (A B C D) (A B C D)
(B D) =
= (B D) I
= (B D) (A A)
= (B D A) (B D A)
= [(B D A) (B D A)] I
= [(B D A) (B D A)] (C C)
= (B D A C) (B D A C) (B D A C) (B D A C)
97

(B C) =
= (B C) I
= (B C) (A A)
= (B C A) (B C A)
= [(B C A) (B C A)] I
= [(B C A) (B C A)] (D D)
= (B C A D) (B C A D) (B C A D) (B C A D)
(B A) =
= (B A) I
= (B A) (C C)
= (B A C) (B A C)
= [(B A C) (B A C)] I
= [(B A C) (B A C)] (D D)
= (B A C D) (B A C D) (B A C D) (B A C D)
As, de esta manera hemos obtenido la forma disyuntiva estndar de la expresin

booleana dada.
Ef (ABCD) = (ABC D)(AB C D)(ABC D)(AB C D)

(A B C D) (A B C D) (A B C D) (A B C D)
En onse uen ia por la ley de idempoten ia de obtenemos:
Ef (ABCD) = (ABC D)(AB C D)(ABC D)(AB C D)
(AB C D)(AB C D)(A B C D)(AB C D)(A B C D)
Otra forma de hallar la forma disyuntiva estndar a partir de la expresin booleana
que dene al ir uito es utilizar el teorema , es de ir:

E = A [C (D C)] B [D (C A) C]
98

ABCD
1111
1110
1101
1100
1011
1010
1001
1000
0111
0110
0101
0100
0011
0010
0001
0000
E(ABCD) = 1111 1110 1101 1100 1011 1010 1001 1000 0111
0110 0101 0100 0011 0010 0001 0000
La forma disyuntiva estndar de la expresin que dene al ir uito es la siguiente:
Ef = (A B C D) (A B C D) (A B C D) (A B C D)
(AB C D)(AB C D)(A B C D)(A B C D)(A B C D)
Ahora a partir de la forma disyuntiva estndar
Ef
pro edamos a apli ar el mtodo
de M Cluskey-Quine para obtener los impli antes primos de
1. Llevamos ada onjun in fundamental de
Ef
f.
en nota in binaria.
Ef = 1111 1110 1101 1100 1011 1010 1001 1000 0111 0110 0101
0100 0011 0010 0001 0000
2. Clasiquemos las onjun iones de
Ef
en orden as endente segn la antidad de om-
ponentes iguales a 1.
99
Clase de 1 omponente igual a 1
0100
0101
Clase de 2 omponentes iguales a 1
12
1100
0110
10
1010
13
1101
11
1011
14
1110
15
1111
3. Apliquemos ahora el teorema 3.0.1 a los elementos de lases adya entes que dieran
en una omponente.
Elementos omparables
Elementos simpli ados
(4,5)
010-
(4,12)
-100
(4,6)
01-0
(5,13)
-101
(12,13)
110-
(12,14)
11-0
(6,14)
-110
(10,11)
101-
(10,14)
1-10
(13,15)
11-1
(11,15)
1-11
(14,15)
111-
4. Continuamos las simpli a iones repitiendo el paso 3 hasta que ya no se puedan

simpi ar mas.
Elementos omparables
Elementos simpli ados
(4,5,12,13)
-10-
(4,12,5,13)
-10-
(4,12,6,14)
-1-0
(4,6,12,14)
-1-0
(12,13,14,15)
11- -
(12,14,13,15)
11- -
(10,11,14,15)
1-1-
(10,14,11,15)
1-1-
100
5. Los impli antes primos de
son:
-10-, -1-0, 11- -, 1-1Ahora ompletemos el pro edimiento hallando las expresiones
irredundantes.
Construyamos la tabla de los impli antes primos on las onjun iones fundamentales
que forman
Ef
y los impi antes primos de

(4)
(5)
(12)
(6)
(10)
(13)
(11)
(14)
(15)
0100
0101
1100
0110
1010
1101
1011
1110
1111
(4,5,12,13)
-10-
(4,12,6,14)
-1-0
(12,14,13,15)
11
(10,14,11,15)
1-1-
Ef .
x
x
6. De las olumnas sealadas extraemos el n leo.
N = 10 1 0 1 1 = (4, 5, 12, 13) (4, 12, 6, 14) (10, 14, 11, 15)
Las onjun iones que ontienen a estos impli antes primos son: 4,5,12,13,6,14,10,11,15
y no hay ms por lo que para la tabla de los restantes slo quedar el impli ante
primo
11- -, pero on la la va a. Luego se on luye que hay una ni a expresin firredundante y ella misma es la expresin minimal la ual oin ide on el n leo.
Captulo 4
Anlisis Combinatorio
4.1. Prin ipios bsi os del onteo
4.1.1.
Regla de la suma
Deni in 4.1.1.
se presentan al mismo tiempo. Si el

de
n,
enton es el su eso
Ejemplo 4.1.
B
su eso A
Supongamos que
o el
son dos su esos disjuntos, es de ir, no
se puede realizar de
se podr realizar de
m+n
maneras y el
maneras distintas.
Un repuesto de automvil se vende en 6 tiendas en Cabudare o en 8
tiendas de Barquisimeto.De untas formas se puede adquirir el repuesto?
Solu ion:
Por el prin ipio de adi in tenemos:

Cabudare o Barquisimeto
6 f ormas + 8 f ormas = 14 f ormas
4.1.2.
Regla del produ to
Deni in 4.1.2.
Sea C un su eso que pueda des omponerse en dos etapas su esiA y B independientemente entre si. Supongamos que la etapa A se puede realizar
de m maneras y que la B se puede realizar de n maneras, independientemente de ul
sea el resultado obtenido en la etapa A. Enton es, el su eso C se podr realizar de
n m maneras distintas siguiendo todas las formas posibles de las dos etapas itadas.
vas
Ejemplo 4.2.
Solu ion:
uantos resultados podemos obtener al lanzar una moneda 3 ve es?
1er
Apli ando la regla del produ to, en el

( ara o sello), en el
do
lanzamiento obtendremos 2 resultados
lanzamiento, otros dos resultados y en el
Por lo tanto, en total hay:
222= 8
posibles resultados.
101
3ro
dos mas.
102
Captulo 4. Anlisis Combinatorio
4.2. Permuta iones y Combina iones
Deni in 4.2.1.
Se dene
el fa torial de un nmero entero
positivo omo el
produ to de todos los nmeros naturales anteriores o iguales a l. Se es ribe
n!,
y se
lee "n fa torial". (Por deni in el fa torial de 0 es 1: 0!=1)
Ejemplo 4.3. 5! = 5.4.3.2.1 = 120

Deni in 4.2.2. Sea un onjunto formado por m elementos distintos. Re ibe el
nombre de permuta in simple de m elementos, ada uno de los distintos grupos
que puede formarse de manera que ada uno de ellos ontenga los
m elementos dados,
diriendo un grupo de otro ni amente en el orden de olo a in de sus elementos.

El total de esos grupos ordenados se indi a por
Pm
Teorema 4.2.1. El total de permuta iones simples de m elementos es:

Pm = m!
Ejemplo 4.4.
Cuantas palabras de 8 letras ( on o sin sentido) se pueden formar
on las letras A,B,C,D,E,F,G,H ?
Solu ion:
La letra A puede formar 8 palabras, la letra B 7 palabras, la C 6 palabras, la D 5

palabras, la E 4 palabras, la F 3 palabras, la G 2 palabras y la H 1 palabra.
De manera que hay
P8 = 8! = 40320
8 7 6 5 4 3 2 1 = 40320
posibilidades, esto es
palabras de 8 letras on o sin sentido.
De uantas maneras se pueden sentar 5 personas en 5 asientos en un ine?
Solu ion:
La primera persona se puede sentar en 5 sitios, la segunda solo en 4, la ter era en 3,

la uarta en 2 y la quinta en 1.
De modo que hay
5 4 3 2 1 = 120
posibilidades, es de ir,
P5 = 5! = 120
por
tanto, hay 120 maneras de sentar 5 personas en 5 asientos en un ine.
Deni in 4.2.3.
Sea un onjunto de
jetos iguales y de un mismo tipo,

hasta un grupo de
elementos, entre los que existen
ob-
iguales pero de otro tipo, y asi su esivamente
objetos tambin idnti os entre s. Las permuta iones distintas
permuta iones on
repeti in de m elementos entre los que son iguales, son tambin iguales, y
que pueden formarse en esas ondi iones re ibe el nombre de
asi su esivamente , hasta
iguales. El total de esos grupos distintos se indi a por
Pm,,...,
Teorema 4.2.2. El nmero de permuta iones on repeti in de m elementos, entre
los que se en uentran iguales, iguales de otro tipo y asi su esivamente hasta
iguales de un ltimo tipo, es
Pm,,..., =
m!
!! . . . !
con
m = + + ...
103
4.2. Permuta iones y Combina iones
Ejemplo 4.5.
Con las letras A,A,A,B,B. uantas palabras ( on o sin sentido)
pueden formarse?
Solu ion:
La A se repite 3 ve es y la B se repite 2 ve es y en total hay 5 letras. Asi el numero

total de palabras son:
P53,2 =
5!
54321
54
=
=
= 10
3!2!
32121
2
Con 5 signos positivo y 3 negativos. Cuantas adenas de smbolos se pueden formar?
Solu ion:
El signo
se repite 5 ve es y l signo
se repite 3 ve es, y en total, hay 8 signos.
Asi el nmero de adenas de simbolos que se pueden formar son:
P85,3 =
8!
87654321
876
=
=
= 56
5!3!
54321321
32
Deni in 4.2.4. Dado un onjunto de m elementos, re ibe el nombre de permuta in ir ular, una agrupa in de los m elementos de forma que una ualquiera
de ellas ser distinta de otra ni amente si vara la posi in relativa de sus elementos.
El total de permuta iones ir ulares distintas de
Ejemplo 4.6.
elementos, es
Pm = (m 1)!
De untas maneras diferentes pueden disponerse ir ularmente las
letras A , B , C , D?
Solu ion:
Apli ando permuta in ir ular tenemos:
(4 1)! = 3! = 3 2 1 = 6
Deni in 4.2.5. Sean m y n nmeros enteros tales que 0 n m. Se denomina

ohe iente binomial o nmero ombinatorio al o iente
m!
n!(m n)!
Que simboli amente se representa por
m
n
y se lee Combinatorio
m n"
Deni in 4.2.6. Sea un onjunto formado por m elementos distintos. Re ibe el

nombre de ombina in simple de orden n n-aria de esos m elementos, ada
grupo formado por
elementos tomados de los
m,
y tal que dos ombina iones se
onsiderarn distintas si dieren en alguno de sus elementos. En esta ordena in no inuye el

orden de olo a in, es de ir, dos agrupa iones son la misma si ontienen los mismos
elementos olo ados en distinto orden
104
Teorema 4.2.3. El total de ombina iones simples de orden n que pueden formarse
on los m elementos de un onjunto dado, es
Cm,n =
Ejemplo 4.7.
m!
n!(m n)!
Cuantos grupos de 5 alumnos pueden formarse on los 30 alumnos
de una lase (Un grupo es distinto de otro si se diferen ia de otro por lo menos en
un alumno)?
Solu ion:
No importa el orden ya que son grupos de alumnos no puede haber 2 alumnos iguales
en un grupo.
Por tanto:
C30,5 =
30
5
30!
30 29 28 27 26 25!
=
= 142506
5!(30 5)!
5!25!
Esto es, se pueden formar 142506 grupos distintos.
Deni in 4.2.7.
Sea un onjunto formado por
entre s. Re ibe el nombre de
elementos todos ellos distintos
ombina in de orden n n-aria on repeti in
m elementos, ada grupo formado por n elementos, distintos o repetidos, tomade los m dados, onsiderando omo grupos iguales los formados por los mismos
de los
dos
objetos repetidos igual nmero de ve es.
El total de esos grupos ordenados se indi a por
R
Cm,n
Teorema 4.2.4. el total de ombina iones on repeti iones de orden n que pueden
formarse on los m elementos de un onjunto dado, es

R
Cm,n
Ejemplo 4.8.
m+n1
n
= Cm+n1,n
En una ontera hay 5 tipos diferentes de pastel. De uantas formas
se pueden elegir 4 pasteles?

No importa el orden, por tanto
R
C5,4
5+41
4
8
4
= C8,4
8!
8!
8 7 6 5 4!
8765
=
=
=
= 70
4!(8 4)!
4!4!
4!4!
4321
Esto es, se pueden elegir de 70 formas distintas.
105
4.3. Teorema del binomio
Si

xey
son nmeros reales distinto de ero y
n es un
nmero positivo, enton es:

n
X
n
(x + y) =
xnk y k
k
n
k=0
Demostra in.
n
(Por indu in matemti a)
Sea el onjunto de los nmeros enteros
para los que

n
X
n
(x + y) =
xnk y k
k
n
k=0
Probemos si se umple para
n = 1,
esto es:

1
X
1! 1 0
1! 0 1
n
x1k y k =
xy +
x y =x+y
k
1!0!
0!1!
k=0
n=m
Supongamos que se umple para
(Hiptesis indu tiva)

m
X
m
(x + y) =
xmk y k
k
m
k=0
Ahora probemos si se umple para
(x + y)
m+1
n = m + 1,
esto es :

m
X
m
= (x + y) (x + y) =
xmk y k (x + y)
k
m
k=0

m
X
m
m
mk+1 k
mk k+1
=
x
y +
x
y
k
k
k=0
(Por hiptesis indu tiva y por propiedad distributiva del produ to respe to a la
suma)

m
m
X
X
m
m
m+1k k
=
x
y +
xmk y k+1
k
k
k=0
k=0
106

m
m+1
X
X m
m
m+1k k
=
x
y +
xm+1k y k
k
k1
k=0
m
0
(P or propiedad de la sumatoria)
k=1

m
m
X
X
m
m
m
m+1 0
m+1k k
m+1k k
x
y +
x
y +
x
y +
x0 y m+1
k
k1
m
k=1
k=1

m
X
m
m
xm+1k y k +x0 y m+1
y +
+
k1
k
m+1 0
=x
(Sacando el primer
k=1
f actor y el ultimo f actor)
m+1
0

m
X
m
m
m+1
m+1k k
y +
+
x
y +
x0 y m+1
k
k1
m+1
m+1 0
k=1
(Por propiedad de ombinatoria)
Por otro lado tenemos:
m
k
m
k1
m+1
k
, esto es :
m!
m!
+
k!(m k)! (k 1)!(m (k 1))!
=
m!(k 1)!(m k + 1)! + m!k!(m k)!

(k)!(m k)!(k 1)!(m k + 1)!
m!(k 1)!(m k)!(m k + 1) + m!k(k 1)!(m k)!

(k)!(m k)!(k 1)!(m k + 1)!
=
m!(k 1)!(m k)! [(m k + 1) + k]

(k)!(m k)!(k 1)!(m k + 1)!
107
(m + 1)!
m!(m + 1)
=
=
=
(k)!(m k + 1)!
(k)!(m + 1 k)!
m+1
k
Luego,
(x + y)
m+1
m+1
X
k=0
As se umple que:
m+1
k
xm+1k y k

n
X
n
(x + y) =
xnk y k
k
n
k=0
108
Bibliografa
[1 N. Biggs. E. Keith Lloyd and R. Wilson. Graph Theory 1736-1976 (Clarendon
Press, 1978).
[2 Jos Rodriguez. Teoria de Grafos. Karia Editores. Mrida - Venezuela.
[3 Jess Rodriguez. Notas de matemti a dis reta.
[4 William Hamilton. A ount of the i osian al ulus. Pro . Roy. So . Edinb. 10

(1880(. 727-728.
[5 G. Kir hho. On the solution of the equations obtained from the investiga ion of
the linear distribution of galvani urrents. Ann. Phys. Chem. 72 (!( ), 497-508.
[6 Fran o P.Preparata. Raymond T. Yeh. Introdu tion to Dis rete Stru tures.
[7 Isabel Mrquez P. Condi ion Chvatal-Erdos para hamiltoni idad en grafos.
[8 A. Cayley. On the theory of the analyti al forms alled trees. Philosophi al

Magazine (4) 13 (1857). 172-176.
[9 A. Cayley. On the theory of the analyti al forms alled trees. Philosophi al

Magazine (4) 13 (1857). 172-176.
109

Matematicas Discretas Guia

Caricato da

Informazioni sul documento

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 Guia

Caricato da

Copyright:

Formati disponibili

Matemti

Origen de la Teora de Grafos

Representa in de Grafos: Matri es de Adya en ias e In iden ias . . .

Cadenas, Ci los, Grafos Conexos

Grafos Eulerianos y Grafos Hamiltonianos

Propiedades de los rboles.

Elementos Notables. Cotas Universales. Supremo, nmo. . . . . . . .

Isomorsmos. Subreti ulados. Reti ulados Distributivos.

Representa in en Reti ulados.

Deni in de lgebras booleanas . . . . . . . . . . . . . . . . . . . . .

Dualidad en lgebras Booleanas.Diagrama de Hasse de un lgebra Booleana nita 71

Cubo Unitario. Isomorsmo Booleano.

Apli a iones booleanas

Cir uitos Lgi os

Optimiza in de apli a iones booleanas . . . . . . . . . . . . . . . . .

Optimiza in de apli a iones booleanas . . . . . . . . . . . . . . . . .

Prin ipios bsi os del onteo . . . . . . . . . . . . . . . . . . . . . . .

Regla del produ to

Permuta iones y Combina iones . . . . . . . . . . . . . . . . . . . . .

Teorema del binomio

Matemti as Dis retas

Isabel C. Mrquez de Mastromartino

1.12. Se uen ias gr as para hallar un i lo euleriano . . . . . . . . . . . .

1.13. Dode aedro

1.15. Ejemplo de Dijkstra . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.16. Isomorsmo de Grafos

1.17. Isomorsmo de Grafos

1.19. rboles Generadores y No Generadores . . . . . . . . . . . . . . . . .

1.20. Grafo onexo on i los

1.21. Apli a in del Lema 1.9.2

Representa iones Gr as de Rela iones Binarias

Conjuntos Par ialmente Ordenados y Conjuntos Totalmente Ordenados 42

Propiedades de las Rela iones

Orden de las Rela iones

Versiones usuales de los diagramas de hasse

Matemti as Dis retas

Isabel C. Mrquez de Mastromartino

1.1. Origen de la Teora de Grafos

1.2. Terminologa Bsi a

a la ole in de todos los

denotaremos por |B| la ardinalidad de B.

Captulo 1. Teora de Grafos

grafo G es un par de onjuntos (V (G), E(G)), donde V (G)

sub onjunto de la ole in de todos los

lados o aristas) y lo denotaremos por G = (V (G), E(G)).

Con ierto abuso onsideraremos el onjunto

es de ir, si importa el orden en los lados, diremos

grafo dirigido o digrafo. En este aso en lugar de lados hablaremos

Deni in 1.2.3. Sea G = (V (G), E(G))

viene dado por

De ahora en adelante, al hablar de grafos, nos estaremos reriendo a grafos

Diremos que un grafo

G es etiquetado, si ada uno de sus vrti es

se distinguen de los demas por un nombre o smbolo que se le adjudi a.

La Figura 1.1, nos muestra un grafo etiquetado,

por medio de un diagrama, donde

Matemti as Dis retas

Isabel C. Mrquez de Mastromartino

1.2. Terminologa Bsi a

Figura 1.1: Ejemplo de Grafo

G = (V (G), E(G)) un grafo. Sean x, y V (G), si {x, y} esta

Figura 1.2: Multigrafo

El onjunto de todos los posibles lados de un grafo G = (V (G),

G = (V (G), E(G)) vamos a onsiderar un ter er

Elementos Notables. Cotas Universales. Supremo, nmo. . . . . . . .

Isomorsmos. Subreti ulados. Reti ulados Distributivos.

Deni in de lgebras booleanas . . . . . . . . . . . . . . . . . . . . .

Dualidad en lgebras Booleanas.Diagrama de Hasse de un lgebra Booleana nita 71

Cubo Unitario. Isomorsmo Booleano.

1.12. Se uen ias gr as para hallar un i lo euleriano . . . . . . . . . . . .

1.16. Isomorsmo de Grafos

1.17. Isomorsmo de Grafos

Representa iones Gr as de Rela iones Binarias

Deni in 1.2.3. Sea G = (V (G), E(G))

De ahora en adelante, al hablar de grafos, nos estaremos reriendo a grafos

Deni in 1.2.10. Sea G = (V (G), E(G)) un grafo. Diremos a, b V (G)

Deni in 1.2.12. Sea G = (V (G), E(G)) un grafo. Un vrti e x V (G) es ve ino

Deni in 1.2.14. Sea G = (V (G), E(G)) un grafo simple de orden n. Diremos

Deni in 1.2.16. Sea G = (V (G), E(G)) un grafo de orden n. Diremos que G es

Deni in 1.2.17. Sea G = (V (G), E(G)) un grafo. Denominamos grado de un

G = (V (G), E(G)) es un grafo que veri a

Deni in 1.2.18. Sea G = (V (G), E(G)) un grafo. Diremos que un vrti e x en

Deni in 1.2.19. Sea G = (V (G), E(G)) un grafo. Diremos que un vrti e x en

Deni in 1.2.20. Sea G = (V (G), E(G)) un

G un grafo ompleto, enton es por la Deni in 1.2.14, para todo

1.2.7. En uentre in o subgrafos diferentes al que apare e en la siguiente gura: