Curso 20162017

Tema 3
Matemtica Discreta. rea de lgebra

Relaciones y grafos
Universidade da Corua

Recuerda que estas notas son, nicamente, parte del material de trabajo de los profesores de esta
asignatura. Estas notas se refieren slo a la primera parte del tema, Relaciones. Los contenidos
completos de este tema se pueden ver en los siguientes textos:

K.H. Rosen, Matemtica Discreta y sus aplicaciones: captulos 7, 8 y 9.

Diestel, R. Graph Theory. Fourth Edition 2010, Springer-Verlag, Graduate Texts in Math-
ematics, Volume 173. Captulos 1, 3, y 10.
(libro online http://diestel-graph-theory.com/basic.html).

A. Vieites, F. Aguado, F. Gago, M. Ladra, G. Vega, C. Vidal, Teora de Grafos. Ejercicios

resueltos y propuestos. Laboratorio con SAGE. Paraninfo 2014.

3.1 Relaciones
El concepto de relacin est presente en distintas situaciones de nuestra vida cotidiana. Por
ejemplo, existe una relacin entre el nombre de un alumno, la titulacin en la que est matriculado
y la nota media de dicho alumno. Tambin existe una relacin entre una lnea area, el nmero
de vuelo, el punto de partida, el destino, la hora de salida y la hora de llegada de un vuelo. Estas
relaciones involucran elementos de varios conjuntos y son muy utilizadas para representar bases
de datos informticas.

Definicin 1. Sean A1 , A2 , . . . , An conjuntos. Una relacin R sobre A1 , A2 , . . . , An es cualquier

subconjunto del producto cartesiano A1 An , es decir,

R A1 An

57
 58 TEMA 3. RELACIONES Y GRAFOS

R
C
B
(2, b)
b
R
(1, a) (3, a)
a
Matemtica Discreta. rea de lgebra

1 2 3 A

Figura 3.1: R A B Figura 3.2: C R R

Nos centraremos en el caso n = 2. Dados dos conjuntos A y B, una relacin binaria de A

Universidade da Corua

en B es un subconjunto cualquiera R del producto cartesiano A B. Si el par ordenado (a, b)

pertenece a R, se dice que a est relacionado con b, y se denota por aRb. Dado un conjunto A,
se llama relacin binaria en A a cualquier subconjunto R A A.

Ejemplo 1.

i) Para los conjuntos A = {1, 2, 3} y B = {a, b}, R = {(1, a) , (2, b) , (3, a)} es una relacin
binaria de A en B

R A B = {(1, a) , (1, b) , (2, a) , (2, b) , (3, a) , (3, b)}.

En la Figura 3.1 se muestran mediante puntos los elementos de A B, y mediante crculos

los de R.

ii) Un ejemplo de relacin en A = R es C = {(x, y) R R | x2 + y 2 = r 2 }, siendo r un

nmero real positivo. En la Figura 3.2 se representa el conjunto R en cada eje cartesiano y
toda la superficie del papel en la que se encuentran los ejes constituye el producto cartesiano
R R = R2 . Los elementos de la relacin C son los puntos de ese plano que verifican la
ecuacin que la caracteriza. En la figura, esos puntos se encuentran sobre la lnea que forma
una circunferencia de radio r.

iii) Sea A un conjunto de ciudades con aeropuerto. Una relacin R A A es el conjunto

formado por los pares (a, b) A A definido por

(a, b) R si, y slo si, existe un vuelo directo entre a y b.

iv) El estado de una partida de un juego de barcos se determina habitualmente en un tablero

cuadrado de 100 casillas, ordenadas en 10 filas y 10 columnas numeradas respectivamente
del 1 al 10 y de la A a la J, tal como se muestra en la Figura 3.3. Si llamamos X al conjunto
 3.1. RELACIONES 59

1 2 3 4 5 6 7 8 9 10 1 2 3 4 5 6 7 8 9 10
A A
B B
C C

D D

c

E E

c
F F

c
G G
Matemtica Discreta. rea de lgebra

H H

I I

c
J J

Figura 3.3: Tablero de una partida de Figura 3.4: Flota de barcos (F ) y tor-
barcos: X Y . pedos disparados (T ) en un tablero de
Universidade da Corua

barcos (X Y ).

de las filas del tablero e Y al de las columnas, las casillas del tablero son pares ordenados de
la forma (x, y) X Y .
La situacin de la flota de barcos en el tablero puede considerarse como una relacin F
X Y . En concreto, los barcos que se muestran en el tablero de la Figura 3.4, constituyen
la relacin:

F = {(B, 2) , (B, 3) , (B, 4) , (E, 8) , (F, 8) , (G, 8) , (H, 3) , (H, 4) , (H, 5)}

Por otra parte, los sucesivos intentos de hundir la flota, indicados mediante torpedos, cons-
tituyen otra relacin T :

T = {(D, 6) , (E, 2) , (F, 8) , (H, 5) , (I, 9)}

Los impactos que los torpedos han producido en los barcos, son la relacin interseccin entre
ambas: I = F T = {(F, 8), (H, 5)}.

3.1.1 Propiedades de una relacin binaria

Una relacin binaria R en un conjunto A se dice que es:
i) Reflexiva si
a A, aRa

ii) Simtrica si
a1 , a2 A (a1 Ra2 a2 Ra1 )

iii) Antisimtrica si
a1 , a2 A [(a1 Ra2 ) (a2 Ra1 ) = a1 = a2 ]
 60 TEMA 3. RELACIONES Y GRAFOS

iv) Transitiva si
a1 , a2 , a3 A [(a1 Ra2 ) (a2 Ra3 ) = a1 Ra3 ]

Ejemplo 2.

i) Para A = {1, 2, 3}

(a) R1 = {(1, 1), (1, 2), (2, 1), (2, 2), (2, 3), (3, 2)} no es reflexiva, pues (3, 3)
/ R1 , s es
Matemtica Discreta. rea de lgebra

simtrica y no es transitiva, pues (3, 2) R1 y (2, 3) R1 pero (3, 3) / R1 .

(b) R2 = {(1, 1), (2, 2), (1, 2), (3, 3), (2, 3)} es reflexiva, no es simtrica (porque (1, 2) R2
pero (2, 1)
/ R2 ), s es antisimtrica y no es transitiva (porque (1, 2) R2 y (2, 3) R2
pero (1, 3)
/ R2 ).
(c) R3 = {(2, 2), (1, 2), (2, 1), (2, 3)} no es reflexiva (ya que (3, 3)
/ R3 ), no es simtrica
(porque (2, 3) R3 pero (3, 2) / R3 ), tampoco es antisimtrica (pues (1, 2), (2, 1) R3
Universidade da Corua

pero 1 6= 2) y no es transitiva (porque (1, 2), (2, 3) R3 pero (1, 3)

/ R3 ).
(d) R4 = {(1, 1), (2, 2)} es simtrica, antisimtrica y transitiva, pero no reflexiva.

ii) En el conjunto de los nmeros naturales, la relacin ser menor o igual que es reflexiva,
antisimtrica y transitiva. Tambin lo es en los conjuntos Z, Q y R,

iii) Dado cualquier conjunto A, la relacin de inclusin en el conjunto P(A)

R P(A) P(A), (X, Y ) R X Y

es reflexiva, antisimtrica y transitiva.

iv) Dados dos nmeros enteros x e y, se dice que x divide a y si existe un nmero entero m
tal que y = x m (se denota por x|y). Es fcil comprobar que la relacin R = {(x, y)
ZZ ; x|y} es reflexiva y transitiva. Cuando la restringimos a un subconjunto A de nmeros
enteros del mismo signo, es decir A Z+ o A Z , verifica adems la propiedad anti-
simtrica.

v) En el conjunto de personas que asisten a una fiesta, se define la relacin A R B si, y slo si,
A y B tienen la misma edad. La relacin R es reflexiva, simtrica y transitiva.

3.1.2 Representacin de relaciones binarias

Hay varias formas de representar una relacin entre conjuntos finitos. Una de ellas es enumerar
sus pares ordenados como en Ejemplo 1 i) y Ejemplo 2 i). Otra forma importante de representar
relaciones binarias en conjuntos finitos es con grafos dirigidos1 . Intuitivamente, un grafo dirigido
de una relacin binaria en A, consiste en dibujar tantos puntos (vrtices) como elementos tenga
A y, para a, b A, una flecha de a a b si (a, b) R o, lo que es lo mismo, si aRb.
1
La teora de grafos ser tratada en detalle en la Seccin 3.2. Inclumos aqu los grafos dirigidos para poder
hablar de los diagramas de Hasse.
 3.1. RELACIONES 61

a b
) aR b
En el grafo se visualizan las distintas propiedades de la relacin. Por ejemplo, la relacin es
reflexiva si, y slo si, existe un lazo (flecha que une un punto consigo mismo) en cada vrtice; la
relacin es simtrica si entre cada dos vrtices distintos existen dos flechas (en distinto sentido)
o no existe ninguna, y es antisimtrica si entre cada dos vrtices distintos existe una flecha o no
existe ninguna.
b
Matemtica Discreta. rea de lgebra

5
f &


a b 8
a
a c
aRb bRa
aR a
[a R b b R c] a R c
Ejemplo 3. Se considera en el conjunto A = {a, b, c, d} la relacin binaria R dada por los pares
Universidade da Corua

R = {(a, a), (a, b), (a, c), (b, a), (b, b), (c, c), (c, d), (d, b), (d, c), (d, d)};
podemos representar R de la forma siguiente:

a b) p
 f O

<  f ) |
c d

3.1.3 Relaciones de equivalencia

Definicin 2. Una relacin R en un conjunto A se dice que es una relacin de equivalencia
si satisface las propiedades reflexiva, simtrica y transitiva.
A partir de ahora utilizaremos el smbolo para referirnos a una relacin de equivalencia.
Las relaciones de equivalencia son importantes porque nos permiten agrupar los elementos del
conjunto A en clases.
Definicin 3. Sea una relacin de equivalencia en un conjunto A. Se llama clase de equi-
valencia del elemento a A, y se denota por [a], al conjunto de elementos relacionados con
a:
[a] = {x A ; x a}
Ejemplo 4.

i) En A = {1, 2, 3, 4, 5}, R = {(1, 1), (2, 2), (3, 3), (4, 4), (5, 5), (1, 2), (2, 1), (3, 4), (4, 3)} es una
relacin de equivalencia cuyas clases de equivalencia son

[1] = {1, 2} = [2], [3] = {3, 4} = [4], [5] = {5}

 62 TEMA 3. RELACIONES Y GRAFOS

ii) En Z, la relacin

a 2 b a b es un mltiplo de 2

es una relacin de equivalencia. La relacin de equivalencia 2 divide a los elementos del

conjunto Z en dos clases de equivalencia, P = {los nmeros pares} e I = {los nmeros
impares}.
Matemtica Discreta. rea de lgebra

iii) La relacin anterior se puede generalizar considerando cualquier entero positivo m y definiendo:

a m b a b es un mltiplo de m a b = m; Z

Veamos que tambin es una relacin de equivalencia:

- Reflexiva: Para cada a Z se verifica que a a = 0 = 0 m; 0 Z
Universidade da Corua

- Simtrica: Si a y b son enteros cualesquiera tales que a m b, entonces ab = m; Z,

de lo que se deduce que b a = () m; Z y, por lo tanto, b m a.
- Transitiva: Si a, b y c son enteros cualesquiera tales que a m b y b m c, entonces existen
enteros , tales que a b = m y b c = m. Si se suman miembro a miembro ambas
ecuaciones, se obtiene que a c = ( + ) m y, entonces, a m c.
Un nmero entero x pertenece a la clase de equivalencia [r] (0 r m 1) si r es el resto
de la divisin de x entre m.
En esta relacin hay m clases de equivalencia, [0], [1], . . . , [m 1].

x [a] x m a x a = m; Z x = a + m; Z

Por ejemplo, para m = 3

[0] = {. . . , 9, 6, 3, 0, 3, 6, 9, . . .} = [3] = [3]
[1] = {. . . , 8, 5, 2, 1, 4, 7, 10, . . .} = [2] = [4]
[2] = {. . . , 7, 4, 1, 2, 5, 8, 11, . . .} = [1] = [5]

iv) En el ejemplo v) de la pg. 60 cada clase de la relacin la forman las personas de la misma
edad:

[a] = {b tal que b es una persona en la fiesta con la misma edad que a}.

En estos ejemplos puede observarse que dos elementos que estn relacionados determinan
la misma clase de equivalencia y, por tanto, una clase de equivalencia puede representarse por
cualquiera de sus elementos. Adems, las clases de equivalencia de dos elementos que no estn
relacionados son conjuntos disjuntos. Esto se verifica para cualquier relacin de equivalencia:

Propiedades 1. Sea una relacin de equivalencia en un conjunto A y sean a1 , a2 A. En-

tonces:

i) a1 a2 [a1 ] = [a2 ]
 3.1. RELACIONES 63

ii) a1 6 a2 [a1 ] [a2 ] = .

Demostracin.
i) Si a1 a2 y x [a1 ], entonces x a1 y a1 a2 , nos permiten deducir que x a2 , es decir
x [a2 ]. Recprocamente, si las clases coinciden, entonces a1 [a1 ] = [a2 ], es decir a1 a2 .
ii) Si a1 6 a2 y x [a1 ] [a2 ], entonces a1 x y x a2 , por tanto a1 a2 , lo que contradice
la hiptesis de partida. El recproco es anlogo.
Matemtica Discreta. rea de lgebra

De estas propiedades se deduce el siguiente teorema.

Teorema 1. Sea una relacin de equivalencia en un conjunto A, A 6= . La familia de las

distintas clases de equivalencia es una particin de A.

Demostracin. Una particin debe ser una familia de conjuntos no vacos. Esta condicin se
Universidade da Corua

satisface por ser reflexiva con lo que a [a] para todo a A. La primera propiedad de
particin se satisface ya que a [a] para cada elemento de A. Por lo tanto, la unin de todas las
clases de equivalencia contiene todos los elementos de A. La segunda propiedad de una particin,
la exige que los miembros de la familia sean disjuntos dos a dos, se deduce inmediatamente del
apartado ii) de Propiedades 1.

Definicin 4. Dada una relacin de equivalencia definida en un conjunto A, se llama conjunto

cociente de A respecto a la relacin , y se denota por A/ , al conjunto cuyos elementos son
las clases de equivalencia determinadas en A por .

Ejemplo 5. Si consideramos la relacin de equivalencia vista en el Ejemplo 4 i), el conjunto

cociente A/R es

A/R = {[1], [3], [5]} = {[2], [4], [5]} = {{1, 2}, {3, 4}, {5}} P(A)

Para la relacin de equivalencia vista en el Ejemplo 4 ii) y iii), el conjunto cociente Z/ m

tiene m elementos. Este conjunto se denota por Zm y recibe el nombre de conjunto de las clases
de restos mdulo m. Por ejemplo:

Z2 = {[0], [1]}, Z3 = {[0], [1], [2]}, Z7 = {[0], [1], [2], [3], [4], [5], [6]}.

Se verifica tambin que:

Dada una particin de un conjunto A, puede definirse en l una relacin de equivalencia R tal
que el conjunto cociente A/R coincida con la particin dada. Por ejemplo, en A = {a, b, c, d} la
particin {{a, b, c}, {d}} determina la relacin de equivalencia

R = {(a, a), (b, b), (c, c), (a, b), (b, a), (a, c), (c, a), (b, c), (c, b), (d, d)}

que cumple A/R = {{a, b, c}, {d}}.

 64 TEMA 3. RELACIONES Y GRAFOS

3.1.4 Relaciones de orden

Muchos conjuntos tienen un orden natural en sus elementos. Probablemente el ejemplo ms
familiar es el conjunto de los nmeros reales ordenados por su magnitud: estamos acostumbrados
a afirmaciones como 3 , x2 > 0 para todo x R distinto de cero, etc.

Definicin 5. Una relacin binaria 4 en A se dice relacin de orden si verifica las propiedades
reflexiva, antisimtrica y transitiva. El par (A, 4) recibe el nombre de poset.
Matemtica Discreta. rea de lgebra

Ejemplo 6. El par (Z+ , | ) es un poset ya que la relacin de divisibilidad en el conjunto de enteros

positivos Z+ es de orden. Sin embargo, el par (Z+ , <) no es un poset ya que < no es reflexiva.

Una relacin de orden 4 en un conjunto A es de orden total si dados dos elementos cua-
lesquiera a, b de A, siempre se pueden comparar, es decir, o se cumple a 4 b o se cumple b 4 a.
Universidade da Corua

Un ejemplo de orden total es la relacin en N, Z, Q o R, mientras que las relaciones de inclusin,

, y de divisibilidad, |, no son de orden total: 3 2 y 2 3 y {a} * {b} y {b} * {a}.

Ejemplo 7. Orden Lexicogrfico. Sea (L, 4), donde L es un conjunto finito y 4 una relacin
de orden total en L, y sea L el conjunto de las palabras de longitud finita que se pueden formar con
los elementos de L. El orden de L se extiende a un orden total en L , llamado orden lexicogrfico
(orden del diccionario), de la forma siguiente:
Sean l1 l2 . . . lp y l1 l2 . . . lq elementos de L , l1 l2 . . . lp 4 l1 l2 . . . lq si se cumple:
a) para algn k < p, se tiene que li = li (con i = 1, . . . , k), lk+1 4 lk+1
, lk+1 6= lk+1

(por
ejemplo, lmina y lpiz), o
b) p q y li = li , para i = 1, . . . , p (por ejemplo, orden y ordenar).

3.1.5 El diagrama de Hasse de un poset finito (A, 4)

Un diagrama de Hasse de una relacin de orden sobre un conjunto A es una representacin
simplificada del grafo de la relacin. Se representan los elementos del conjunto A por vrtices y
se tiene en cuenta que no se deben dibujar las flechas que se deducen de las propiedades de la
relacin. En concreto:
- puesto que la relacin es reflexiva, se sabe que cada elemento est relacionado consigo mismo y
se simplifica el grafo no dibujando los lazos;
- transitiva: se sabe que si x 4 z y z 4 y, entonces x 4 y; por ello, en ese caso, se omite la flecha
que va desde x hasta y (es decir, se dibuja una arista del vrtice x al vrtice y si x 4 y y no existe
otro elemento z A tal que x 4 z y z 4 y).
Adems se adopta el convenio de leer el diagrama de abajo hacia arriba, con lo cual no es necesario
dirigir las aristas. De esta forma, un par de elementos distintos de A estn relacionados si, y slo
si, existe un camino ascendente entre sus correspondientes vrtices del diagrama de Hasse.

Ejemplo 8. A continuacin se muestra el grafo dirigido y el correspondiente diagrama de Hasse

de la relacin ser divisor en el conjunto A = {1, 2, 3, 4}:
 3.1. RELACIONES 65




?O 4  4
 
 
 
 

_??
2 ??  3
2 ?? 
? 3 ?? 
 ?? 
??  ?? 
??
?? 
 ?? 
? 
Matemtica Discreta. rea de lgebra

?

] 1
1

Ejemplo 9. Consideremos el poset (P ({1, 2, 3}), ). Un grafo dirigido que representa esta relacin
de orden y su diagrama de Hasse son los siguientes:
Universidade da Corua

, r
{1, 2, 3}
9 G O _ eJ
{1, 2, 3}
J
tt JJ tt JJ
tt JJ tt JJ
t JJ t JJ
tt JJ tt JJ
tt tt
{1, 2} {1, 3} v {2, 3} {1, 2} {1, 3} {2, 3}
O [88eJJJ t9 H eJJJ 9 C O JJJ JJJ
88 JJtJttt JJ tttt JJ tttt JJ tttt
8t8tt JJJ J
t
t J ttJJ ttJJ
J tt JJJ tt JJJ tt JJJ
tt 88 tt  tt tt
{1} eK 888 {2} s  9 {3} {1} K {2} {3}
U KK 8 O  s U KKK s
KKK 88
KKK 88  sssss KKK
sssss
KKK8 ssss KKK
KK sss
ss sss
X

3.1.6 Elementos distinguidos en un poset

Hemos visto que el conjunto R de nmeros reales con el orden es un poset. Algunos subconjuntos
de los nmeros reales ordenados de este modo tienen un elemento mayor y otros no, de igual
modo un elemento menor y otros no. Por ejemplo, el subconjunto Z de los nmeros enteros no
tiene ni mayor ni menor elemento; el conjunto de los enteros positivos Z+ = {1, 2, 3, 4, . . .} tiene
menor elemento, el 1, pero no mayor elemento.
Podemos comprobar que cualquier subconjunto finito de R tiene un menor elemento y un
mayor elemento con respecto al orden . Esto no siempre sucede en todo poset finito. Por
ejemplo, consideremos el conjunto de todos los subconjuntos B de {a, b, c} tales que B {a, b, c}
ordenados por la inclusin ; el elemento menor es el , sin embargo no existe un mayor elemento.
Formalizamos esta idea con la siguiente definicin.
Definicin 6. Sea (P, 4) un poset.
i) Un elemento a P es un elemento maximal de P si no existe x P tal que a 4 x y a 6= x
(es decir, no hay elementos en P estrictamente mayores que a). Equivalentemente, para
 66 TEMA 3. RELACIONES Y GRAFOS

todo x P , si a 4 x entonces a = x.

a maximal de P x P [a 4 x a 6= x]

ii) Un elemento b P es un elemento minimal de P si no existe x P tal que x 4 b y x 6= b

(es decir, no hay elementos en P estrictamente menores que b). Equivalentemente, para
todo x P , si x 4 b entonces x = b.
Matemtica Discreta. rea de lgebra

b minimal de P x P [x 4 b x 6= b]

iii) Un elemento M P es mximo de P si x 4 M, para todo x P

M es mximo de P x P x 4 M
Universidade da Corua

iv) Un elemento m P es mnimo de P si m 4 x, para todo x P

m es mnimo de P x P m 4 x

Proposicin 1. Se verifican los siguientes enunciados:

i) El mximo, si existe, es nico.

ii) El mnimo, si existe, es nico.

iii) Si P es finito, P tiene mximo si, y slo si, tiene un nico maximal.

iv) Si P es finito, P tiene mnimo si, y slo si, tiene un nico minimal.

Ejemplo 10. Sea A = {2, 3, 4, 5, 6, 7, 8} ordenado por la relacin de divisibilidad: x 4 y si, y slo
si, x divide a y. El conjunto A tiene cuatro elementos minimales, 2, 3, 5, 7 (si x A y x divide a
2 entonces x = 2; anlogamente para 3, 5 y 7) y tiene cuatro elementos maximales, 5, 6, 7, 8 (si
5 divide a x entonces x = 5; anlogamente para 6, 7 y 8). Sin embargo, A no tiene mximo ni
mnimo.

6 // 7

8
// 
// 
// 

// 
3 // 4 5
//
//
//
2
 3.1. RELACIONES 67

Ejemplo 11. En el conjunto P = {1, 2, 3, 4, 5, 6, 8, 10, 12, 20}, se considera la relacin de divisi-
bilidad cuya representacin en diagrama de Hasse es la siguiente

12??? 8 20
?? 
?? 
?? 
?? 
6 ??? 4 10
?? 
?? 

Matemtica Discreta. rea de lgebra

??
?? 
3 ??? 2 5
?? 
?? 
?? 
?? 

1
Universidade da Corua

El conjunto P tiene tres maximales, 8, 12 y 20, no tiene por lo tanto mximo; en cambio su
mnimo es 1.

Definicin 7. Sea (P, 4) un poset y sea Q un subconjunto de P .

i) Un elemento s P es una cota superior de Q en P si q 4 s, para cualquier q Q.

ii) Un elemento f P es una cota inferior de Q en P si f 4 q, para cualquier q Q.

iii) Un elemento S P es supremo de Q en P si S es una cota superior de Q en P y, si S

es otra cota superior de Q en P , entonces S 4 S .

iv) Un elemento I P es nfimo de Q en P si I es una cota inferior de Q en P y, si I es

otra cota inferior de Q en P , entonces I 4 I.

Se puede comprobar que, si el conjunto de cotas superiores de Q en P es no vaco, entonces el

supremo es el mnimo de dicho conjunto. Igualmente, si el conjunto de cotas inferiores de Q en P
es no vaco, entonces el nfimo es el mximo de dicho conjunto.

Proposicin 2. Se verifican los siguientes enunciados:

i) El supremo de Q, si existe, es nico.

ii) El nfimo de Q, si existe, es nico.

iii) Existe el mximo de Q si, y slo si, existe el supremo y este es un elemento de Q.

iv) Existe el mnimo de Q si, y slo si, existe el nfimo y este es un elemento de Q.

Ejemplo 12. Tomenos el conjunto P del Ejercicio 11 y consideremos el subconjunto Q = {1, 2, 4, 10}
de P
 68 TEMA 3. RELACIONES Y GRAFOS

12 8 20
Q
Q 4 10
6 4 10
2
3 2 5
1
1
Matemtica Discreta. rea de lgebra

Es fcil ver que Q no tiene mximo porque tiene dos maximales, 4 y 10. La nica cota superior
de Q en P es 20, por lo tanto es el supremo de Q en P . Por otro lado, el nico minimal de Q es
1, tambin es mnimo de Q e nfimo de Q en P .

Consideremos, ahora el subconjunto Q de P dado por Q = {2, 3, 8, 10}.

Universidade da Corua

12 8 20
8
Q
6 4 10 Q
10
3 2 5
3 2
1

Como vemos, Q tiene a 3 por maximal y minimal a la vez; 2 es minimal, 8 y 10 son maximales
de Q . La nica cota inferior de Q en P es 1 y, por tanto, es nfimo. Por otro lado, no hay cotas
superiores de Q en P .