Relaciones y Estructuras Algebraicas Discretas

Matemtica Discreta

Relaciones y Estructuras Ordenadas

4.1.

Pares y Producto Cartesiano (MACHA)

Recibe el nombre de par, el conjunto finito de longitud 2, es decir, de dos elementos,

ordenados y no necesariamente distintos. Por ejemplo a, b es un par: a es su
primera componente o su primer elemento y b la segunda. Es frecuente llamar tambin
coordenadas a las componentes de un par.
Dos pares a, b y a , b son iguales, y escribiremos a, b a , b , si se cumple
que a a' y b b . Un par se llama idntico si a b . El par a, b es reciproco del

b, a .
Recibe el nombre de n-tupla, el conjunto finito de longitud n, es decir de n elementos,

a1 , a2 ..., an ,

ordenados y no necesariamente distintos. Cada ai , i 1, n , es una

componente, elemento o coordenada de la tupla.

Recibe el nombre de producto cartesiano de dos conjuntos A y B, el conjunto de todos
los pares cuya primera componente pertenece a A y la segunda a B. se representa por
AxB

. Ser:
A x B a, b

a A b B

Este concepto puede generalizarse a n conjuntos, A1 , A2 ,....., An

El producto cartesiano tiene las propiedades que siguen.

No es conmutativo, es decir,
AxB Bx A

Posee la propiedad asociativa

A x BxC A x B x C A x B x C

Se cumple que
A1 B1

, A2 B2 A1 x B2 B1 x B2

Propiedad distributiva respecto a la interseccin:

A x B C A x B A x C

Propiedad distributiva respecto a la unin:

A x B C A x B A x C

4.2.

RELACIONES BINARIAS (MACHA)

Si A y B son dos conjuntos, recibe el nombre de relacin binaria de A a (hacia) B, al

subconjunto de todos los pares a, b de A x B tales que verifiquen que a b,
es decir,
Ingeniera de Sistemas

Pg. 1

Relaciones y Estructuras Algebraicas Discretas

a, b

Matemtica Discreta

a, b A x

B a b

Para definir una relacin entre los elementos de dos conjuntos, puede observarse
en la definicin formal anterior que es necesario fijar una propiedad o ley que permita
decidir, para cada para a, b del producto cartesiano A x B , si a est o no en la
relacin con b: a b . Cuando el par a, b de A x B pertenece a , se dice
que a est relacionado con b por la relacin . Si a b , a es el antecedente de la
relacin y b el sucesor. Todos los antecedentes forman el dominio de y todos los
sucesores la imagen o rango de
Si es una relacin del conjunto A, pero ahora hacia l mismo, es decir, si A B ,
con lo que

4.3.

A x B B xA A 2

, se dice que es una relacin sobre A o en A.

REPRESENTACIN GRFICA DE RELACIONES (MACHA)

Existen tres formas de representar grficamente las relaciones: diagrama cartesiano,

diagrama sagitario o de flechas y mediante una matriz booleana de adyacente. Si la
relacin es sobre, se emplean tambin grafos dirigidos o digrafos.
Sean los conjuntos A 1, 2, 3 y B x, y y la relacin
1, x , 1, y , 2, x , 3, y

a)

Representacin cartesiana de
RANGO

y
x
x
b)

DOMINIO

Representacin sagitaria de

.
x

A
c)

.y
B

Representacin de con matriz de adyacencia M que contiene elementos ,

mij tales

que:

Ingeniera de Sistemas

Pg. 2

Relaciones y Estructuras Algebraicas Discretas

Matemtica Discreta

si ai , bi

0
si
a
,
b

i i

mij
En nuestro ejemplo, ser:

1 1
M 1 0
0 1
d)

Dgrafos:

Sea A 1, 2, 3, 4 y la caracterstica de ser divisor, es decir, ai bi significa

ai es divisor de bi . Trata de una relacin de A sobre A, cuyos pares son:

1,1 , 1, 2 , 1, 3 , 1, 4 , 2, 2 , 2,4 , 3, 3 , 4, 4

Matriz

Dgrafo

1 1 1 1
0 1 0 1

0 0 1 0

0 0 0 1

4.4.

RELACIONES INVERSA Y COMPLEMENTARIA (perez)

Sea UNA relacin de A a B. recibe el nombre de relacin inversa de ,

1 ,

una relacin de B a A que contiene aquellos pares tales que, invertidos sus elementos,
los pares resultantes pertenecen a , es decir.
1

b, a a, b

O lo que es igual b 1a ab. Al ser b, a , 1 tambin se llama relacin

recproca de la .

Ingeniera de Sistemas

Pg. 3

Relaciones y Estructuras Algebraicas Discretas

El dominio de una relacin inversa

1 ,

Matemtica Discreta

es la imagen y la imagen

1 ,

el

dominio de .

Para obtener la representacin sagital de

basta con invertir el sentido de las

flechas de

Cuando es una relacin sobre un conjunto y viene representada por un dgrafo,

1

se obtiene de invirtiendo el sentido de las flechas. La matriz de

es la

transpuesta de la correspondiente de .
Si una relacin de A a B, relacin complementaria de , es la relacin de A
a B tal que
A b a, b

a A, b B

O lo que es igual estar formado por el conjunto A x B

La matriz de , M es la matriz booleana complementaria de la M es decir,

tiene elementos ceros y unos donde M tenga, respectivamente, unos y ceros.

4.5.

PROPIEDADES DE LAS RELACIONES (perez)

Relacin Reflexiva: Una relacin sobre un conjunto A se dice que es reflexiva si

a A a, a

Es decir, a a.
Una relacin reflexiva est caracterizada grficamente porque: contiene bucles en
cada vrtice de su dgrafo o su matriz booleana contiene unos en su diagonal principal
o su representacin cartesiana contiene los elementos i, i
Una relacin obre A es antirreflexiva si
a A a, a

Es decir, a a
Est caracterizada porque su dgrafo no posee bucles o porque su matriz no contiene
unos en su diagonal principal o porque su diagrama cartesiano no posee elementos
algunos de coordenadas i, i
Relacin Simtrica: Una relacin sobre A es simtrica si.
a, b A

Es decir,

Se cumple que, si a b b a

Una relacin sobre A es antisimtrica, si

a, b A

Lo que equivale a decir que

Ingeniera de Sistemas

Pg. 4

Se cumple que si,

Relaciones y Estructuras Algebraicas Discretas

a, b A

Matemtica Discreta

Se cumple que, si a b a b b a

Grficamente, una relacin simtrica contiene en su grfico, por cada arco de ida otro
de vuelta para cada par de vrtices i, j: su matriz booleana posee los elementos unos
dispuestos simtricamente respecto a su diagonal principal; el diagrama cartesiano
contiene cada par y su recproco de A x A
Relacin Transitiva: Dispuesto sobre A es transitiva si
a, b, c A

Se cumple que, si a b b c a c

La matriz de una relacin transitiva es tal que, si a b y existe 1 en la fila i, columna

j y b c y existe 1 en la fila j, columna k, entonces ser a c y existir 1 en la fila
i, columna k, es decir, en el cruce de la fila i con la columna k.
Relacin Circular: Una relacin es circular si
a , b, c A

4.6.

Se cumple que, si a b b c c a

RELACIN Y CLASE DE EQUIVALENCIA (perez)

Una relacin sobre un conjunto A es una relacin de equivalencia si es reflexiva,

simtrica y transitiva.
Si es una relacin y a b, se dice tambin que a y b son equivalentes respecto del
mdulo y se escribe a b mod o, ms simple, a equivale a b.
Sea una relacin de equivalencia sobre un conjunto A. el conjunto de todos los
elementos a A , recibe el nombre de clases de equivalencia de a. Se indica por

o simplemente por a . Formalmente es

a x A

x a

Sea una clase de equivalencia sobre A. el conjunto de todas las clases de

equivalencia determinadas en A por , recibe el nombre de conjunto cociente de A
por y se designa por A / , siendo
A / a a A

4.7 ESTRUCTURAS ORDENADAS (ventura)

Toda relacin , reflexiva, transitiva y antisimtrica, se dice que es una relacin de
orden parcial. Un conjunto A dotado de una relacin de orden parcial se dice que
es un conjunto parcialmente ordenado. Tal conjunto se representa por A, .

Ingeniera de Sistemas

Pg. 5

Relaciones y Estructuras Algebraicas Discretas

Matemtica Discreta

Las relaciones de orden parcial tambin se conocen simplemente como relaciones de

orden y con frecuencia, poset, de partiall y ordered set.

El conjunto A dotado de una relacin de orden parcial 1 , A, 1 , es tambin

otro conjunto parcialmente ordenado que se denomina dual de A, .
Sea A, un poset y a, b elementos de A. se verifica que

a b b a
Entonces, a y b son comparables. No sern comparables si no se da ninguna de las
condiciones anteriores.
Si en una relacin de orden sobre A, dos elementos cualesquiera a y b de A son
comparables, entonces

A,

es un conjunto totalmente ordenado. Tambin se

conoce con los nombres linealmente ordenado o cadena.

4.7.

RELACIONES DE ORDEN EN EL PRODUCTO (ventura)

Si A, y B, son dos conjuntos ordenados, en A x B se pueden definir dos

relaciones de orden:
Orden lexicogrfico en A x B , definido por

a , b c, d a b a c b d
Si A, y B, fueran lineales, entonces sera una relacin de orden toral.
Orden producto en A x B , definido por:

a, b
4.8.

prod c, d a c b d

ORDENACIN TOPOLGICA (ventura)

Un orden total se dice compatible con la ordenacin parcial si se cumple que

ab

siempre que a b . Una ordenacin topolgica del conjunto parcialmente

ordenado A, es un orden total en A compatible con .

Todo conjunto finito parcialmente ordenado admite una ordenacin topolgica.

DIAGRAMAS DE HASSE (AZURZA)

Se ha dicho que una relacin de orden, reflexiva, antisimtrica y transitiva. Por tanto,
el dgrafo representativo tendr bucles en sus vrtices, no tendr arcos de ida y vuelta
y, si existen los arcos a, b y b, c , tambin existir el a, c .
Basado en lo anterior, es posible simplificar tal dgrafo, siguiendo estas reglas:

Ingeniera de Sistemas

Pg. 6

Relaciones y Estructuras Algebraicas Discretas

Matemtica Discreta

Supresin de los bucles.

Suprimir aquellos lados consecuencia de la transitividad.

Suprimir las flechas

Disponer cada lado resultante de forma que, siempre que sea

posible, su origen quede situado debajo de su final respectivo.

Ejemplo:
3

.4

5
2

.5
1

4.9.

ELEMENTOS EXTREMALES (AZURZA)

Sea a, un poset y a A . El elemento a es un elemento maxima de A si,
x A

a x

ax

O lo que es lo mismo, no existe ningn otro elemento x A , tal que a x

Un elemento a es un elemento minimal de A, cuando no existe ningn otro elemento
a A tal que x a .
En este diagrama de Hasse, 1 y 5 son maximales; 3 y 6 son minimales.
Sea A, un poset. Se dice que a es el elemento mayor o mximo de A, si
b A , se cumple que b a . Anlogamente, a es el elemento menor o mnimo,
si se cumple que a b .
Sea B un subconjunto del poset A, . Si u A , tal que b B es b u ,
entonces u se denomina cota superior mayorante de B. se designa por mayor (B).
Sea A, un poset y B una parte de A. se denomina supremo de B, sup (B), o cota
superior mnima de B, al elemento menor contenido en el mayorante de B, si existe, es
decir, sup(B) min mayor B

4.10.

RETCULO (azurza)

Sea A, un poset. Si para cualquier par a, b de elementos de A, existen supremo

e nfimo de dicho par, entonces A, recibe el nombre de retculo.
PROBLEMAS DE APLICACIN
Problema 01 :
Si

Hallar xy

Problema 02:
Ingeniera de Sistemas

Pg. 7

Relaciones y Estructuras Algebraicas Discretas

Dados los conjuntos : A={1;2;3;4}; B={3;4;6;7;8}
R={(x;y)

Matemtica Discreta
y

A x B /y-x-2=0}

Entonces: n (R) es:

Problema 3:
En el sitema de coordenadas rectangulares el punto que representa al par (-7;3a +2b )
esta sobre la bisectriz del segundo cuadrante y el par( 2-3b;-17) esta sobre la bisectriz
del tercer cuandrante .segun esto ,

es igual a :

Problema 4:
A={x/x es el numero indicado en una de las caras de un dado} B={a,b,c} se tiene la
relacin dada R={(1,a);(1,b);(2,c);(3,a);(4,b);(6,a);(6,c)} graficar matricialmente la
relacin complementaria de R.

Problema 5:
Siendo: A= {2x/ x N ^ 2< x <7}, en la cual se define la relacin R reflexiva y
simtrica:
R={(10;10),(12;12),(a;a),(b;b),(a;b),(c;d)} hallar a + b + c+ d e indicar si R es transitiva
Problema 6:
Indicar si es verdadera (v) o falsa(f) cada proposicin :
I.

R = {(x;y)

} es reflexiva

II.

S ={(x;y)

/ x es mltiplo de y } es de equivalencia

III.

T= {(x;y)

/ x no es perpendicular con y }, donde A es el conjunto de

rectas coplanares ,es transitiva

Problema 7:
En A= {1;2;3;4} se considera la relacin : R={(x;y)

/X=Y X +Y=3}

Se afirma que R es:

I.

Reflexiva

II. Simtrica III. Transitiva

IV. De equivalencia

Son verdaderas:
A) I y II

B) II y III C) solo I

D) todas E) ninguna

Problema 8:
Ingeniera de Sistemas

Pg. 8

Relaciones y Estructuras Algebraicas Discretas

Si R={(a,b)

Matemtica Discreta

} Demostrar que es Equivalente

Problema 9: Sea el diagrama de Hasse el siguiente:

hallar los elementos maximales y minimales; y teniendo
el subconjunto B={4,5,6} hallar mayorante y minorante

Problema 10:
1

3
2

Ingeniera de Sistemas

Pg. 9