TEORA DE CONJUNTOS

Los conceptos vinculados al tema conjuntos son necesarios para abordar luego otros tales como las relaciones de
orden, grupos y lenguajes que estudiaremos en las prximas unidades.

Empezando por caracterizar un conjunto, podemos decir que simplemente es cualquier coleccin
de objetos o sea toda agrupacin de elementos.

Los conjuntos se indican con letras maysculas y los elementos con letras minsculas. Si un conjunto es finito y no
demasiado extenso se puede describir nombrando cada uno de sus elementos, es decir, por extensin o
enumeracin. Asimismo, darlo por comprensin es dar una propiedad que caracteriza a todos los elementos de ese
conjunto.

Por ejemplo:

A = {2, 4, 6, 8}
El conjunto A est definido por extensin.
B = { x tal que x es un nmero par y 2 x 8 }
El conjunto B est definido por comprensin.

Las que siguen son definiciones y relaciones entre conjuntos, que aplicaremos luego en temas posteriores, tales
como en las operaciones entre conjuntos.

Cardinalidad de un conjunto
Un conjunto A se dice finito si tiene n elementos distintos con n , en ese caso el cardinal de A es n y lo
indicamos |A| = n.

Conjunto vaco
Si el conjunto A no tiene elementos, su cardinal es 0.
El conjunto que no tiene elemento alguno se llama conjunto vaco o nulo y se denota ,
= { }.
Por ejemplo:

A = {x tal que x2 + 2 = 0 }

Inclusin de conjuntos
Dados dos conjuntos A y B, decimos que A est incluido (o contenido) en B si todos los elementos de A estn
en B. Lo indicamos como A B s y slo s x A x B.
La relacin que liga a los conjuntos entre s es la inclusin.

A B

Igualdad de conjuntos
Dos conjuntos X e Y son iguales si tienen los mismos elementos. En este caso se escribir X = Y. Dicho en
otras palabras, siempre que x X se cumple que x Y, y siempre que x X se cumple que x Y, y as
X = Y.
Por ejemplo:
A = { x tal que x2 + x 6 = 0 } y B = {2, -3 }, entonces A = B.
Supngase que X e Y son conjuntos. Si todo elemento de X es un elemento de Y se dice que X es un
subconjunto de Y y se expresa X Y.
Si vinculamos la nocin de igualdad con el concepto de inclusin podemos decir que A y B son iguales si
A B B A.

Conjunto Universal
Se llama conjunto referencial o universal al conjunto U que hace verdadera la siguiente proposicin:
x A x U.
En un diagrama de Venn se representa con un rectngulo

Operaciones con conjuntos

Las que siguen son operaciones que pueden realizarse con conjuntos, tales como: interseccin, unin, diferencia,
complemento y diferencia simtrica.

Dados dos conjuntos A y B llamamos interseccin entre A y B e indicamos A B al siguiente conjunto:

A B = { x tal que x A x B }
Por ejemplo:
Sea A = { 1, 3 } y B = { 1, 2, 3, 4 }
A B = { 1, 3 }
Dados dos conjuntos A y B llamamos unin entre A y B e indicamos A B al siguiente conjunto:
A B = { x tal que x A x B }
Por ejemplo:
Sea A = { 1, 3 } y B = { 1, 2, 3, 4 }
A B = { 1, 2, 3, 4 }
Dados dos conjuntos A y B llamamos diferencia entre A y B e indicamos A - B al siguiente conjunto:
A B = { x tal que x A x B }

Por ejemplo:
Sea A = { 1, 3 } y B = { 1, 2, 3, 4 }
A-B=

B - A = { 2, 4 }
Dado el conjunto A llamamos complemento de A e indicamos A al siguiente conjunto:
A = { x tal que x U x A } = U - A

Por ejemplo:
Sea A = { x tal que x y x es impar } y U =
A = { x tal que x y x es par }

Dados los conjuntos A y B llamamos diferencia simtrica entre A y B e indicamos A B al siguiente

conjunto:
AB=(AB)(AB)
Por ejemplo:
Sea A = { 1, 3 } y B = { 1, 2, 3, 4 }
A B = { 2, 4 }

Propiedades de las operaciones

Las operaciones anteriores cumplen las siguientes propiedades:
1. Involucin:

A =A
2. Idempotencia:
AA=A
AA=A

3. Conmutatividad:
AB=BA
AB= BA

4. Neutro y absorbente:
A U = A, A U = U
A = , A = A
5. Absorcin:
A(AB)= A(AB)=A
6. Leyes de De Morgan:
AB = AB
AB = AB
7. Asociatividad:
A(BC)= A(BC)
A(BC)= A(BC)
8. Distributividad:
A(BC)= (AB)(AC)
A(BC)= (AB)(AC)
9. Propiedades del complemento:
AA=
AA= U

Por ejemplo:
A(AB)= AB
A ( A B ) = ( A A ) ( A B ) por propiedad distributiva.

=(AB)
=AB

A continuacin definiremos el conjunto de partes de un conjunto dado. Este es un concepto con el que vamos a
trabajar mucho en temas posteriores.

Conjunto de partes
Se llama conjunto de partes o conjunto potencia de A al conjunto:
P(A) = { X tal que X A }
Tengamos en cuenta:
El conjunto potencia de A es un conjunto cuyos elementos son todos los subconjuntos de
A.
Si |A| = n |P(A)| = 2n
A: P(A)
Si A = |P(A)| = 1
Por ejemplo:
Sea A = { 1, 2, 3 }
|A| = 3 |P(A)| = 2 = 8
P(A) = { , { 1 }, { 2 }, { 3 }, { 1, 2 }, { 1, 3 }, { 2, 3 }, { 1, 2, 3 } }

Demostraciones de propiedades con conjuntos

Hay diferentes maneras de demostrar propiedades de los conjuntos. Algunas de esas formas son las siguientes:
Con una inclusin en el consecuente
Ejemplo: A A B
Sin antecedente

Demostraciones a nivel de
elementos

Demostrar a partir del 1er miembro de la

tesis
[CAB(C-B)A]
Con antecedente y
consecuente

Demostraciones conjuntistas

Con una igualdad en el consecuente

Ejemplo:
A(BC)=(AB)C

Desarrollar la hiptesis completa hasta

llegar a la tesis
(A-B= AB)

Utilizando propiedades bsicas de conjuntos demostradas previamente

Comencemos a demostrar cada uno de estos ejemplos

Empecemos por las demostraciones de elementos:

Sin antecedente y con una inclusin en el consecuente.
Es decir, debemos probar que A A B
Sabemos que por definicin de inclusin, es lo mismo probar que x: x A x A B
Debemos partir del primer miembro y luego de una cadena de implicaciones llegar al segundo miembro.
x: x A x A x B x A B

propiedad p p q

definicin de unin

Sin antecedente y con una igualdad en el consecuente

Ahora tenemos que probar una igualdad A ( B C ) = ( A B ) C
Recordemos que dos conjuntos son iguales cuando se incluyen mutuamente. O sea, que en principio este
ejercicio comprende dos partes:
Primera inclusin: x: x A ( B C ) x ( A B ) C
Segunda inclusin: x: x ( A B ) C x A ( B C )

Demostremos la primera:
x: x A ( B C )
xAx(BC)
xA(xBxC)
(xA xB)xC
x(AB)xC
x(AB)C

aplicamos definicin de interseccin

aplicamos definicin de interseccin
por la asociatividad de la
por definicin de interseccin
por definicin de interseccin
con lo cual llegamos al segundo miembro

Es importante tener en cuenta que a esta altura no terminamos el ejercicio, pues nos falta la segunda
inclusin. Si nos fijamos bien, en la mayora de los casos se trata de hacer el camino inverso aunque
recordemos que no en todos ocurre esto-. Nos queda:
x: x A ( B C )
xAx(BC)
xA(xBxC)
(xA xB)xC
x(AB)xC
x(AB)C

por definicin de interseccin

por definicin de interseccin
por la asociatividad de la
por definicin de interseccin
por definicin de interseccin

Con antecedente y consecuente realizando la demostracin a partir del primer miembro de la tesis
Debemos probar que C A B ( C - B ) A
A diferencia de los ejercicios anteriores, en este caso tenemos un antecedente o hiptesis (C A B) y un
consecuente o tesis (( C - B ) A), que es lo que hay que demostrar. Si nos fijamos en la tesis, se trata de una
inclusin y la vamos a demostrar como toda inclusin, es decir: x: x (C - B) x A
En el camino de implicaciones para llegar al segundo miembro, adems de definiciones y propiedades, podemos
utilizar la hiptesis.
Apliquemos estas demostraciones en el ejercicio que sigue:

Complet sealando en cada paso cul es la propiedad utilizada:

x: x (C - B) x C x B
x (A B) x B
(xAxB)xB
(xAxB)(xB xB)
(xAxB)F xA xB
xA
Con antecedente y consecuente desarrollando la hiptesis completa hasta llegar a la tesis
En este caso es una equivalencia o doble implicacin: A - B = A B
Si lo hacemos como en caso anterior es necesario realizar dos ejercicios. En cambio, lo vamos a demostrar
desarrollando el antecedente completo hasta llegar al consecuente.

Como en el caso anterior, seal en cada paso cul es la propiedad utilizada:

A - B = x: x (A - B) x: [ x (A - B)] x: [x A x B]
x: x A x B [ x: x A x B ] A B

Sigamos con las demostraciones conjuntistas:

Por ejemplo, demostremos (A B) ( A B) = (B - A) (A - B) en forma conjuntista,
utilizando las propiedades de conjuntos bsicas, sin bajar al nivel de la lgica:
(A B) (A B) = (A A) (A B) (B A) (B B) =
= (A - B) (B - A) = (A - B) (B - A) = (B - A) (A - B)

Realiz las siguientes demostraciones:

1. A B B C = A C =
2. A - (B - C) = (A - B) (A C)
3. (A B) (B A) = (A B) (A B)
4. P(A) P(B) P(A B)

Particin de un conjunto
Sea un conjunto A . Sea P = {A1, A2, ....., An}
P es una particin de A
1) Ai
i
2) Ai Aj = i j
3)

U Ai = A

Algunas observaciones para tener en cuenta:

Las particiones estn incluidas en el conjunto de partes.
Los subconjuntos Ai reciben el nombre de celdas de la particin.
La condicin 3 tambin se puede expresar: x A : Ai P : x Ai
Para finalizar, te proponemos realizar algunos ejercicios sobre particiones.
1- Cules de los siguientes conjuntos son particiones de A = { a, b, c, d, e } ?
En caso negativo, indic cual de las tres condiciones no se cumple.
P1 = { {a,b,c}, {d,e} }
P2 = { {a,b}, {c,d}, {b,e} }
P3 = { {a,b}, {c}, {e} }
P4 = { {a}, {b}, {c}, {d,e} }
P5 = { {a}, {b,c,d}, { }, {e} }
2- Cules de los siguientes conjuntos P = {A1, A2, A3} son particiones de ?

a) A1 = ( - ; -2]
A2 = ( -2 ; 0]
A3 = (1; + )
c) A1 = ( - ; -3]
A2 = ( -3 ; 0)
A3 = +

b) A1 = ( - ; -1)
A2 = { -1 , 2 }
A3 = ( -1; + ) { 2 }
d) A1 = ( - ; 4)
A2 = { 0 , 5 }
A3 = [ 4; + ) { 5 }

Sintetizando:
- Un conjunto puede describirse por extensin o por comprensin.
- Las operaciones entre conjuntos son: interseccin, unin, diferencia,
complemento, diferencia simtrica.
- Estas operaciones presentan las propiedades: involucin, idempotencia,
conmutatividad, neutro y absorbente, absorcin, leyes de De Morgan,
asociatividad, distributividad, propiedades del complemento.
- Entre las diferentes formas de demostrar las propiedades de conjuntos
encontramos:
Demostraciones a nivel de elementos
Sin antecedente
Con una inclusin en el consecuente
Con una igualdad en el consecuente
Con antecedente y consecuente
Demostrar a partir del 1er miembro de la tesis
Desarrollar la hiptesis completa hasta llegar a la tesis
Demostraciones conjuntistas
Utilizando propiedades bsicas de conjuntos demostradas
previamente
- Llamamos Particin a todo subconjunto P del conjunto de partes de A, P(A)
que cumple las siguientes condiciones: ningn componente de P es el
conjunto vaco, dos componentes distintos no tienen elementos en comn y
todos los elementos de A estn en alguno de los componentes de P.

10

RELACIONES
En las organizaciones, especialmente las que manejan gran cantidad de datos, es muy importante poder procesarlos
con eficiencia, ya que son fundamentales para una buena toma de decisiones. Los datos se almacenan
generalmente en una base de datos. Un modelo de datos muy comn es el de las bases de datos relacionales, en
las cuales se reflejan las relaciones entre distintos sectores de la empresa, personas, etc.
Las bases de datos relacionales utilizan relaciones n-arias para el almacenamiento y acceso a datos. Con este tema
extenderemos la nocin de conjunto, ya estudiada. En particular, haremos referencia a las relaciones binarias
(2-arias). Comprendiendo bien este tipo de relaciones, luego ser ms sencillo comprender las (n-arias) y su
utilizacin en las bases de datos.
Intentemos definir el concepto de relacin.
Una relacin puede considerarse como una correspondencia entre los elementos de uno
ms conjuntos.
Por ejemplo, la siguiente tabla muestra qu materias curs cada uno de los siguientes estudiantes:
Estudiante
Juan
Juan
Mara
Jos
Carlos
Carlos

Curs
Matemtica Discreta
Fsica
Matemtica Discreta
Anlisis Matemtico I
Algebra I
Anlisis Matemtico I

Es decir,
Juan cursa Matemtica Discreta y Fsica, Mara cursa Matemtica Discreta, Jos cursa Anlisis Matemtico I y Carlos
cursa Algebra I y Anlisis Matemtico I.
Otra forma de especificar una relacin es escribir las columnas del cuadro anterior como pares ordenados. Es decir:
(Juan; Matemtica Discreta) , (Juan; Fsica) , (Mara; Matemtica Discreta) , (Jos; Anlisis Matemtico I) ,
(Carlos; Algebra I) , (Carlos; Anlisis Matemtico I).
En sntesis, podemos decir que una relacin binaria es un conjunto de pares ordenados.

11

A continuacin, veremos algunas definiciones que nos permitirn representar formalmente el concepto de relacin.

Par ordenado:
Llamamos par ordenado a b y lo indicamos (a ; b) al conjunto de elementos a, b con un criterio de orden que
indica cul es el primer elemento y cul es el segundo.

Producto cartesiano:
Sean A y B dos conjuntos, llamamos producto cartesiano entre A y B y lo indicamos
A x B al conjunto:
C = A x B = { (x; y) tal que x A x B }

Relacin binaria:
Una relacin (binaria) R de un conjunto X a un conjunto Y es un subconjunto del producto cartesiano X x Y.
Si (x; y) R se escribe x R y se dice que x est relacionado con y. En el caso de X = Y se afirma que R es
una relacin definida en X.

Dominio:
Se llama dominio de la relacin R al conjunto:
DR = { x X tal que (x; y) R para algn y Y }

Contradominio:
Se llama contradominio, mbito o imagen de la relacin R al conjunto:
IR = {y Y tal que (x; y) R para algn x X}
Tomando el ejemplo anterior:

DR = { Juan, Mara, Jos, Carlos }

IR = { Matemtica Discreta, Fsica, Anlisis Matemtico I, Algebra I }
Otro ejemplo:
Sea R la relacin en X = { 1, 2 , 3, 4 } definida por (x; y) R si x < y.
Entonces, la relacin resultante es:

R = { (1; 2), (1; 3), (1; 4), (2; 3), (2; 4), (3; 4) }
El conjunto dominio de la relacin R:
DR = {1, 2, 3 }
Y el conjunto imagen:

IR = { 2, 3, 4 }
Tengamos en cuenta que:

1. DR A
2. IR B

12

Relacin recproca o inversa:

Sean A y B dos conjuntos y la relacin
R : A B, llamamos relacin recproca o inversa de R a
R-1: B A tal que R-1 = { (y;x) / (x; y ) R }
Es decir que la relacin inversa es la formada por los inversos de los pares ordenados de la relacin original.
Consideremos que:

1.

DR- B

Puede demostrarse de la siguiente manera:

y DR- existe x A tal que (x; y) R y B.
Por definicin de inclusin queda probado.
Las demostraciones de los puntos que siguen quedan como ejercicio. Tambin podes consultarlas en la bibliografa
de la ctedra en el Captulo 7

2. IR- A
3. DR- = IR
4. IR- = DR
Relacin complementaria
Sean A y B dos conjuntos y sea la relacin R: A B, llamamos relacin complementaria de R a:

_
_
R: A B tal que R = { (x; y) / (x; y) R }
_
R = (A x B) R
Por ejemplo:
Sea A = { 1, 2 } y B = { a, b }

R = { (1; a), (1; b), (2; b) }

A x B = { (1; a), (1; b), (2; b), (2; b) }
Entonces:

_
R = { (2; b) }

13

Funcin
Sean A y B dos conjuntos y sea la relacin A B, se dice que R es funcin cuando cumple
simultneamente con las condiciones de existencia (todos los elementos tienen imagen) y unicidad (esa
imagen es nica).
R : A B tal que:
1. DR = A (cumple con Existencia)
2. Si (x; y) R (x; z) R y = z (verifica Unicidad)
En este caso, se denota, f: A B.
Recordemos entonces que una funcin es una clase especial de relacin.
Por ejemplo:

1. La relacin f = { (1; a), (2; b), (3; a) }

Donde X = { 1, 2, 3 } , Y = { a, b, c } es un funcin de X a Y.
Df = X
If = { a, b } Y
La relacin f cumple existencia y unicidad.

2. La relacin
R = { (1; a), (2; b), (3; c), (1;b) }
Donde X = { 1, 2, 3 } , Y = { a, b, c } no es un funcin de X a Y.
No se cumple la unicidad ya que:
Se tiene que (1;a) R (1;b) R pero a b.

3. La relacin R = { (1;a) , (2;a) }

Donde X = { 1, 2, 3 } , Y = { a, b, c } no es un funcin de X a Y.
No se cumple la existencia ya que DR X.

Antes de continuar, te proponemos que recurras a los ejercicios de relaciones de la Gua y los resuelvas.
Las relaciones pueden representarse de diferentes formas. Para las relaciones definidas entre conjuntos finitos son
importantes dos: a travs de un diagrama cuando los conjuntos no son muy grandes y, en el caso de que los
conjuntos sean iguales, la representacin a travs de un dgrafo -o utilizando matrices booleanas-. Veamos cada una
de ellas.

14

REPRESENTACIN DE LA RELACIN A TRAVS DE UN DGRAFO

Una manera til de representar una relacin sobre un conjunto es trazar su dgrafo. Para establecer el dgrafo de una
relacin en un conjunto X, se marcan primero puntos o vrtices que representan los elementos del conjunto X. Si
el elemento (x; y) est en la relacin se traza una flecha, llamada arco dirigido desde x hasta y.
Por ejemplo:
Sea X = { a, b, c, d, e }

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

b
a
d

REPRESENTACIN DE LA RELACIN A TRAVS DE MATRICES

Si los conjuntos entre los cuales estn definidas las relaciones son muy grandes, los diagramas no resultan
prcticos. Adems, para poder representar relaciones en una computadora, necesitamos una forma algebraica de
representacin. Para ello, recurrimos a las matrices booleanas.
Si m y n son dos nmeros naturales, definimos como Matriz Booleana de elementos aij
a la matriz A {0, 1}mxn, indicando as que la matriz A tiene m filas y n columnas.
Sus elementos aij son 0 1.

A=

a11

ai1

am1

12

... a

ain

amn
1n

... a

ij

... ...

15

Tengamos en cuenta algunas observaciones:

Una matriz se dice cuadrada cuando m = n.

Si m n entonces la matriz se dice rectangular.
Cualquier elemento aij con i = j, es decir un elemento aii, est en la diagonal principal.
Si aij = 0 si i j la matriz A {0, 1}mxn se dice diagonal.

Por ejemplo:

1 0 0

A = 0 1 0
1 1 1

A {0,1}3x3

1 1
son matrices booleanas
B =
0 0

B {0,1}2x2

Operaciones entre Matrices Booleanas:

Las operaciones entre matrices que usaremos son disyuncin, conjuncin, producto matricial y traspuesta.

Disyuncin o suma booleana

Dadas A, B {0,1}mxn se define la matriz

C = A B tal que C {0,1}mxn
y adems cij = aij bij i: 1 ... m j: 1 ... n

Ejemplos:

1 1

0 0

0 1 1 1

0 1 0 1

1 1 0

0 1 0

0 0 1 1 1 1

=
0 1 1 0 1 1

Conjuncin

Dadas A, B {0,1}mxn se define la matriz

C = A B tal que C {0,1}mxn
y adems cij = aij bij i: 1 ... m j: 1 ... n
1 1

Ejemplos:
0 0

0 1 0 1

0 1 0 0

1 1 0

0 1 0

0 0 1 0 0 0

=
0 1 1 0 1 0

Producto matricial

Dadas A {0,1}mxn , B {0,1}nxp se define

C = A B tal que C {0,1}mxp
y adems

16

cij = U aik bkj

i: 1 ... m j: 1 ... n

k=1

Ejemplos:

1 1 0

0 1 0

1 0

1 0

1 0 =
0 1 1 0

1 0
0 1

0 1
= 0 1
1 0
1 1 1 1
0 1

Traspuesta de una matriz

En relacin con las matrices, trasponer significa cambiar filas por columnas; as se obtiene la matriz traspuesta.
Es decir si A {0,1}mxn, se define traspuesta de A, a la matriz B {0,1}nxm tal que bij = aji
i: 1 ... m j: 1 ... n.
A la matriz traspuesta se la denota At
Por ejemplo:
1 1 0

Si A =
0 1 0
1 0 0

Si B= 0 1 0
1 1 1

entonces su traspuesta es:

1 0

A = 1 1
0 0

entonces su traspuesta es:

1 0 1

B = 0 1 1
0 0 1

Veamos ahora las propiedades de las operaciones con matrices. stas son las mismas que vimos para
proposiciones y conjuntos. Es decir,
Idempotencia:

AA =A

AA=A

Conmutatividad:

AB=BA

AB=BA

Asociatividad:
- disyuncin A ( B C ) = ( A B ) C
- conjuncin A ( B C ) = ( A B ) C
- producto matricial booleano A ( B C ) = ( A B ) C

17

Distributividad:

A ( B C ) = ( A B ) ( A C)
A (BC)=(AB)(AC)
Hasta ahora hemos visto qu son las matrices booleanas y cmo operar con ellas, pero an no sabemos como
utilizarlas para representar relaciones. Veamos...

Matriz de una Relacin

Sea R: A B tal que A = { a1 , a2 , ..., an } y B = { b1 , b2 , ..., bm }
Se define como matriz de R a la matriz MR {0,1} n x m
MR = (( mij )) tal que

mij = 1 si (ai ; bj ) R ( es decir si ai R bj )

mij = 0 si (ai ; bj ) R

Por ejemplo:
Sean los conjuntos A = {1, 3, 4} y B = {x, y, z, t } y
la relacin binaria R: A B tal que R = {(1;x) , (1; t) , (3;x) , (3;y) , (3;z) , (4;z)}
1 0 0 1

Construyamos la matriz de la relacin: MR = 1 1 1 0

0 0 1 0

Qu ocurre con las matrices al efectuar operaciones?

Sean R: A B y S: A B dos relaciones definidas entre los mismos conjuntos, y sea MR la matriz de R y
MS la matriz de S, entonces:

1. MRUS = MR MS
2. MRS = MR MS
3. MR-1 = ( MR )t
4. MR = M R

18

En sntesis

Una relacin puede considerarse como una correspondencia entre elementos de

uno o ms conjuntos.

Para representar una relacin entre conjuntos finitos se puede utilizar un

diagrama, en el caso de que los conjuntos sean iguales se usa un dgrafo. En
ese caso se marcan primero puntos o vrtices que representan los elementos del
conjunto X. Si el elemento (x; y) est en la relacin se traza el arco dirigido
desde x hasta y.

Otra forma de representar relaciones entre conjuntos finitos es a travs de

matrices booleanas.

Algunas de las operaciones entre matrices son: disyuncin, conjuncin,

producto matricial y traspuesta, las que nos permiten operar ms fcilmente
con las relaciones.

Continuemos ahora analizando las propiedades de las relaciones de un conjunto, en particular las relaciones de
orden y equivalencia.

PROPIEDADES DE LAS RELACIONES EN EL CONJUNTO X

Cuando la relacin R est definida en un conjunto -es decir el primer conjunto y el segundo son el mismo conjuntointeresa conocer sus propiedades para poder estudiar luego, con ms detenimiento, algunos tipos de relaciones que
cumplen determinadas propiedades. Estas son las relaciones de orden y equivalencia.
Veamos en primer trmino, las propiedades reflexiva, simtrica, antisimtrica y transitiva.

Propiedad reflexiva

Una relacin R sobre un conjunto X recibe el nombre de reflexiva si x X: (x ; x) R.

Tengamos en cuenta que:

El dgrafo de una relacin reflexiva tiene un lazo en cada vrtice.

La matriz de la relacin tiene slo 1 en la diagonal principal , es decir aii = 1, i

Por ejemplo:
Sea X = { 1, 2, 3, 4 }
1. R = { (1;1), (1; 2), (1; 3), (1; 4), (2; 2),(2; 3), (2; 4), (3; 3), (3; 4), (4; 4) }

19

La relacin R es reflexiva porque para cada elemento x X, se tiene que (x;x) R;

es decir, que (1; 1) R, (2; 2) R, (3; 3) R y (4; 4) R.
El dgrafo correspondiente a esta relacin es:

La matriz de la relacin se corresponde con la siguiente:

M(R1) = 0
0

1
1
0
0

1 1
1 1
1 1

0 1

Como todos los elementos de la diagonal principal son 1, la relacin es reflexiva.

2. R = { (1;1), (1; 2), (2; 1), (2; 4), (3; 3), (4; 2), (4; 4) }
La relacin R no es reflexiva porque para el elemento 2 X, el par (2; 2) R.
Al verlo en el dgrafo, se observa que esta relacin no es reflexiva porque el vrtice 2 no tiene un lazo.

3
1

4
2

20

En la matriz de la relacin se representa:

1
M(R2) =
1
0

0
1

Claramente se observa que en la matriz de la relacin, el elemento a22 1, por lo que la relacin no es reflexiva.
Propiedad simtrica
Una relacin R sobre un conjunto X se conoce como simtrica si (x; y) R se tiene que
(y;x) R.
Consideremos que:

El dgrafo de una relacin simtrica tiene la propiedad de que si existe un arco dirigido de x a y
existe tambin un arco dirigido de y a x.

La matriz de la relacin deber ser simtrica, es decir, espejada respecto de la diagonal principal.

Respecto del ejemplo anterior:

Sea X = { 1, 2, 3, 4 }
1. R = { (1; 1), (1; 2), (1; 3), (1; 4), (2; 2), (2; 3), (2; 4), (3; 3), (3; 4), (4; 4) }

R no es simtrica porque
(1; 2) R y (2; 1) R,
lo mismo ocurre con (1; 3) R y (3; 1) R,
(1; 4) R y (4; 1) R,
(2; 3) R y (3; 2) R,
(2; 4) R y (4; 2) R,
(3; 4) R y (4; 3) R.

21

El dgrafo de la relacin corresponde al siguiente:

En el dgrafo de esta relacin se ve que la relacin posee la propiedad de que si existe un arco dirigido de

x a y, no existe un arco dirigido de y a x.

Un ejemplo es el par (1;4) donde el (4;1) no se encuentra en la relacin.

Pods identificar otros pares que sirvan tambin de contraejemplo?

2. R = { (1; 1), (1; 2), (2; 1), (2; 4), (3; 3), (4; 2), (4; 4) }
La relacin R es simtrica porque para todo (x; y) R se tiene que (y; x) R.
Por ejemplo (1; 2) R y (2; 1) R.
Observemos el dgrafo de esta relacin que posee la propiedad de que si existe un arco dirigido de x a

y, entonces tambin existe un arco dirigido de y a x.

3
1

4
2

22

Propiedad antisimtrica
Una relacin R sobre un conjunto X se conoce como antisimtrica si
(x; y) R y (y; x) R x = y.

Es importante tener en cuenta que:

Decir que una relacin es antisimtrica no es lo mismo que decir que sea no simtrica.
El dgrafo de una relacin antisimtrica tiene la propiedad de que entre dos vrtices cualesquiera hay,
a lo sumo, un arco dirigido.
Si una relacin R no tiene elementos de la forma (x; y) con x y entonces R es antisimtrica.

Por ejemplo:

1. X = { a, b, c }
R = { (a;a) , (b; b), (c; c) }
La relacin R es antisimtrica. El dgrafo de R muestra que tiene a lo sumo un arco dirigido entre cada
par de vrtices.
Observemos que R es tambin reflexiva y simtrica.
Podemos preguntarnos hay alguna otra relacin distinta de la igualdad (como en el caso anterior) que a la vez sea
simtrica y antisimtrica?
La respuesta es no, por lo tanto a la pregunta hay relaciones que sean simtricas y antisimtricas?

La respuesta es slo en el caso de la igualdad.

Veamos otros ejemplos:
1. Sea X = { 1, 2, 3, 4 }

R = { (1;1), (1; 2), (1; 3), (1; 4), (2; 2), (2; 3), (2; 4), (3; 3), (3;4), (4; 4) }
R es antisimtrica porque (1;2) R y (2; 1 ) R,
lo mismo para el resto de los pares de la relacin.
Tambin vemos en el dgrafo que hay, a lo sumo, un arco dirigido entre cada par de vrtices.

23

2. R = { (1;1), (1; 2), (2; 1), (2; 4), (3; 3), (4; 2), (4; 4) }

La relacin R no es antisimtrica porque por ejemplo:

(1; 2) R y (2;1) R pero 1 2.
En el dgrafo podemos ver que hay ms de un arco dirigido entre algunos pares de vrtices.

3
1

4
2

Propiedad transitiva

Una relacin R sobre un conjunto X se conoce como transitiva si (x;y) R e (y; z) R se tiene que
(x; z) R.

Algunas observaciones para tener en cuenta:

1. El dgrafo de una relacin transitiva tiene la propiedad de que siempre que existan arcos dirigidos

de x a y y de y a z entonces tambin existe un arco dirigido de x a z.

2. La propiedad transitiva nos indica una relacin de paso.

24

Respecto del ejemplo anterior:

Sea X = { 1, 2, 3, 4 }
1. R1 = { (1;1), (1; 2), (1; 3), (1; 4), (2; 2), (2; 3), (2; 4), (3; 3), (3; 4), (4; 4) }
Para analizar si es transitiva, al igual que cada vez que trabajemos con un conjunto finito, es necesario
mostrar que se verifica en todos los casos posibles.
Veamos algunos anlisis importantes que vale la pena tener en cuenta:
Uno de los casos que se debe cumplir es por ejemplo:
(1;2) R1 (2; 2) R (1;2) R1
Si consideramos los pares (1;2), (2;1), como el condicional () tiene antecedente falso pues
(2; 1) R1, ya independientemente del valor de verdad del consecuente, la proposicin es verdadera.
Lo mismo sucede con (2;4) y (2;3)
Observemos, por otro lado, que (1;3) R1 pero, por ejemplo el (3;2) no est en la relacin, si lo
escribimos formalmente queda:
(1;3) R1 (3;2) R1, que es una proposicin cuyo valor de verdad es falso.
Como esa proposicin es el antecedente en la definicin de la propiedad transitiva y es falsa al valor de
verdad es verdadero y por lo tanto no invalida transitividad.

Tengamos eso en cuenta para analizar las propiedades:

Si el condicional ( ) tiene antecedente falso ya independientemente del valor de verdad del consecuente, la
proposicin es verdadera.

Otro caso son los pares del tipo (a; a):

(1; 1) R1 (1; 1) R1 (1;1) R1

Lo mismo ocurre con los otros pares de iguales componentes.
En definitiva, si ya abarcamos todos los casos posibles, y vimos que en todos el condicional es verdadero,
podemos afirmar que la relacin R1 es transitiva.
El dgrafo de esta relacin es:

2
1

3
4
25

2. R = { (1;1), (1; 2), (2; 1), (2; 4), (3; 3), (4; 2), (4; 4) }
La relacin R no es transitiva porque por ejemplo:
(2; 1) R y (1, 2) R pero (2; 2) R.
El dgrafo se ve de la siguiente manera

3
1

4
2

Antes de continuar, sinteticemos algunos conceptos:

Una relacin R sobre un conjunto X recibe el nombre de reflexiva

si x X: (x ; x) R.

Una relacin R sobre un conjunto X se conoce como simtrica

si (x; y) R se tiene que (y;x) R.

Una relacin R sobre un conjunto X se conoce como antisimtrica

si (x; y) R (y; x) R x = y.

Una relacin R sobre un conjunto X se conoce como transitiva

si (x;y) R (y; z) R se tiene que (x; z) R.

26

Composicin de relaciones
En esta seccin estudiaremos una operacin que tiene muchas interpretaciones y aplicaciones: la conectividad en
dgrafos. Pero previamente vamos a detenernos en el concepto de composicin de relaciones:

Sean A, B y C tres conjuntos y R1: A B y R2: B C dos relaciones,

llamamos composicin de R1 seguida de R2 e indicamos R2 o R1 a:
R2 o R1 = { (a; c) / b B (a;b) R1 (b; c) R2 }

R1

R2

c
C

R2 o R1

Por ejemplo:
Sean los conjuntos A = { a, b }
y las relaciones binarias:

B = { x, y, z, t }

C = { 1, 2, 3 }

R : A B / R = { (a;x) , (a;z) , (b;y) , (b;z) , (b;t) }

S : B C / S = { (x;2) , (x;3) , (y;1) , (z;2), (t;2) }
Hallemos la composicin SoR por extensin:

SoR = { (a;2) , (a;3) , (b;1), (b;2) }

En este caso no es complicado ya que los conjuntos tienen muy pocos elementos. Pero cuando son ms grandes,
es mejor hallar la composicin en forma matricial, para evitar olvidarnos de algn par ordenado.
La relacin entre las matrices es: MSoR = MR MS -siendo el producto matricial booleano-.
Verifiquemos en este caso:
1 0 1 0

Las matrices de ambas relaciones son: M(R) =

0 1 1 1

1
M(S) =
0

1 1

0 0
1 0

1 0

Ahora efectuamos el producto:

27

1 0 1 0
1

MR MS =
0
0 1 1 1

1 1

0 0
0 1 1

1 0
1 1 0

1 0

En muchos casos, en aplicaciones en diferentes reas, interesa recorrer un grafo o dgrafo, es decir, ir pasando de
vrtice en vrtice a travs de las aristas. Para eso existen procedimientos (algoritmos) que permiten hacerlo.
Matemticamente una herramienta que ayuda a comprender esa cuestin es la composicin de relaciones, que
permiten darnos cuenta de que existe una correspondencia entre el orden de la composicin y el recorrido de los
vrtices del grafo dgrafo.
Vamos ahora a analizar la conectividad en dgrafos.

La nocin de conectividad
Al determinar que existe algn camino entre los vrtices de un dgrafo estamos estableciendo una relacin de
conectividad.
Sea R una relacin definida en un conjunto A.
Al dibujar el dgrafo de la relacin, las flechas (o aristas) entre dos elementos (o vrtices) indican que dichos
elementos estn relacionados a travs de R. Si no hay flecha entre dos elementos es porque no existe dicho par
ordenado en la relacin.
2
Si calculamos R , o sea R R (R compuesta con s misma), por definicin tiene a todos los pares ordenados
(x;z) tales que y A (x; y) , (y; z) R. O sea que en la relacin original R, haca falta recorrer dos
flechas para ir de x hasta z.
En R:

x y z

En R :

x z

Con esto queremos decir que R2 representa todos los caminos de longitud 2 existentes en la relacin original R.
Anlogamente, si calculamos R3, estarn todos los pares ordenados correspondientes a caminos de longitud 3 en
el dgrafo de R. Y as sucesivamente.
Por lo tanto, se puede definir a la relacin:

x Rn y existe un camino de longitud n entre x e y.

Tambin, definimos:

x R y existe algn camino de cualquier longitud entre x e y.

Esta relacin se llama Relacin de conectividad de R.

28

Como en R estn los caminos de cualquier longitud, ella se forma con la unin de todas las dems, es decir:

R = R

unimos los
caminos de
longitud 1

R2

R3 U

los de
los de
longitud 2 longitud 3

R4 U ... U Rn U ...

...

los de
longitud n

Por lo tanto, haciendo referencia a las matrices, podemos establecer:

M R = MR MR2 MR3 ... MRn ...

En realidad, si hay n elementos en el conjunto A, los caminos de longitudes mayores a n no nos aportan pares
nuevos, por lo tanto alcanza slo con calcular hasta el nivel n:

M R = MR MR2 MR3 ... MRn

Con esto tenemos un mtodo para calcular R, que implica realizar varios productos de matrices (ya que MR2 =
MR MR y as sucesivamente). Adems, luego debe hacerse la de todas.

Existe un mtodo ms prctico que es el Algoritmo de Warshall, que no usaremos en

esta materia.

Por ejemplo:
Sea A = { a , b , c , d } y la relacin R dada por el dgrafo:

1
Escribamos primero MR =
0

1 1 0

0 0 0
0 0 1

0 1 1

29

2 1
Ahora calculamos MR =
0

1 1 0

0 0 0

0 0 1

0 1 1

1
0

1 1 0 1 0

0 0 0 0 1
=
0 0 1 0 0

0 1 1 0 0

0 1

1 0
1 1

1 1

3 1
Ahora calculamos MR =
0

1 1 0

0 0 0

0 0 1

0 1 1

0
0

0 0 1 0 1

1 1 0 1 0
=
0 1 1 0 0

0 1 1 0 0

1 1

0 1
1 1

1 1

4 1
Ahora calculamos MR =
0

1 1 0

0 0 0

0 0 1

0 1 1

1
0

1 1 1

0 0 1
=
0 1 1

0 1 1

0
0

0 1 1

1 1 1
0 1 1

0 1 1

1 1 1

0 0 1

0 1 1

0 1 1

0
0

0 1 1

1 1 1
=
0 1 1

0 1 1

Finalmente calculamos MR :

1
MR =
0

1 1 0

0 0 0

0 0 1

0 1 1

0
0

0 0 1

1 1 0

0 1 1

0 1 1

1
0

1
0

1 1 1

1 1 1
0 1 1

0 1 1

Clausuras o cerraduras de una relacin:

Sea R una relacin definida en un conjunto A, supongamos que R no es de equivalencia pues no cumple alguna
propiedad. Queremos agregarle aquellos pares necesarios para que la cumpla, pero no ms de los necesarios. Es
decir queremos encontrar la menor de las relaciones que incluyen a R y que cumplen la propiedad especificada.
A esta nueva relacin se la llama clausura o cerradura.
La clausura o cerradura reflexiva es la menor de las relaciones que incluyen a R y que es reflexiva.
La clausura o cerradura simtrica es la menor de las relaciones que incluyen a R y que es simtrica.
La clausura o cerradura transitiva es la menor de las relaciones que incluyen a R y que es transitiva.
Es obvio que si R cumple con una propiedad, ella misma es la clausura de dicha propiedad.
Hallar la clausura reflexiva es muy simple, ya que solamente debemos agregar los bucles que no estn en el dgrafo
o completar con unos la diagonal de la matriz de R.
Hallar la clausura simtrica tambin es simple, ya que debemos agregar las flechas de vuelta, a todas las flechas
de ida, que no las tengan, o completar los unos que le falten a la matriz para ser simtrica.
Vemoslo en un ejemplo:
Sea A = { a , b , c , d } y R = { (a;a) , (a; b) , (b;b) , (a;c) , (c;a) , (d;d) , (b;d) }

30

Se ve que R no es reflexiva pues (c; c) no pertenece a R. Si se lo agregamos, la nueva relacin ser reflexiva:
Rf = R { (c; c) } es la clausura reflexiva de R.

R tampoco es simtrica, pero podemos hallar:

Rs = R { (b; a) , (d; b) } que es la clausura simtrica de R.
Uniendo las dos obtenemos:

Rfs = Rf Rs = R{ (c; c) , (b; a) , (d; b) }

la clausura reflexiva y simtrica.

En este ejemplo, R tampoco es transitiva, pues por ejemplo, (a; b) y (b; d) pertenecen a R y sin embargo,
(a; d) no pertenece.
Podramos entonces agregarlo y con eso obtener la clausura transitiva de R?
Antes, deberamos verificar que no ocurra lo mismo con otros pares, pues en dicho caso, habra ms pares
necesarios que agregar.
No es tan simple darse cuenta de todos los pares necesarios para la transitividad. Pero, si recordamos la relacin de

conectividad R se puede demostrar que ella es la clausura transitiva de R. Por lo tanto, lo que debemos hacer es
aplicar algn mtodo para calcularla, como por ejemplo, el mtodo de Warshall, mencionado anteriormente, que
pods consultar en la bibliografa recomendada, pero que no utilizaremos en esta asignatura.
La clausura reflexiva y transitiva es la
R* = R A (o sea, adems de la clausura transitiva, debemos agregar los bucles.)
Propiedad: Dadas dos relaciones de equivalencia R y S, definidas en un mismo conjunto A, la relacin de
equivalencia ms pequea, que contiene a R y a S es (R U S).

Recordemos que para saber si una relacin es transitiva, podemos calcular su clausura
transitiva. Si resultan iguales, significa que la relacin dada era transitiva.

Sean A, B y C tres conjuntos y R1: A B y R2: B C dos relaciones,

llamamos composicin de R1 seguida de R2 e indicamos R2 o R1 a:
R2 o R1 = { (a; c) / b B (a;b) R1 (b; c) R2 }

Al determinar que existe algn camino entre los vrtices de un dgrafo estamos
estableciendo una relacin de conectividad.

M R = MR MR2 MR3 ... MRn ...)

La clausura o cerradura reflexiva es la menor de las relaciones que incluyen a

R y que es reflexiva.

La clausura o cerradura simtrica es la menor de las relaciones que incluyen a

R y que es simtrica.

31

La clausura o cerradura transitiva es la menor de las relaciones que incluyen a

R y que es transitiva.

Teniendo en cuenta la relacin de conectividad R puede demostrarse que ella

es la clausura transitiva de R aplicando algn mtodo para calcularla, como por
ejemplo, el mtodo de Warshall.

Ahora remitmonos a la Gua de Ejercicios de la ctedra para hacer prcticas sobre este tema.
Estudiamos hasta ahora las propiedades que pueden cumplir las relaciones definidas en un conjunto.
El tema que sigue a continuacin, las relaciones de equivalencia, son de especial inters en ciencias de la
computacin ya que clasifican a los elementos del conjunto donde estn definidas segn un atributo (es decir segn
la relacin que deben cumplir).
Por ejemplo los alumnos de esta Facultad Regional tienen todos un nmero de legajo y el ltimo dgito es el cdigo
verificador, cuando llega el momento de la inscripcin segn ese dgito les corresponde un da para inscribirse, es
decir los alumnos fueron clasificados segn el ltimo dgito de su legajo, podemos pensar que la Relacin que se
defini en el conjunto es dos alumnos se relacionan si el ltimo dgito del legajo es el mismo
Si se cambiara el criterio, por ejemplo por el siguiente dos alumnos se relacionan si cumplen aos el mismo mes,
se cambiara el criterio de clasificacin de los alumnos y por lo tanto el da de inscripcin.
La importancia de estas relaciones es su poder de clasificacin.

RELACIONES DE EQUIVALENCIA
Una relacin binaria es de equivalencia si es reflexiva, simtrica y transitiva.
Las relaciones de equivalencia suelen representarse con el smbolo:
Veamos a continuacin algunas definiciones:
Sea (A ; ), se define como clase de equivalencia del elemento a A:

a = [ a ] = Cl (a) = { x A / x a }

O sea, en la clase de equivalencia de a, estn todos los elementos que se relacionan con a.

Sea (A/), se define como conjunto cociente al conjunto formado por todas las clases
de equivalencia. Es decir,

A/ = { Cl(a) / a A }

32

Ejemplo 1:
Dado el conjunto A = { a, b, c, d, e, f } y la relacin

R = { (a;b) , (a;c) , (b;c) , (c;b) , (b;a) , (c;a) , (e;f) , (f;e) } A

- Qu es A?

A = { (x;x) / x A }

es decir, A es el conjunto formado por todos los pares reflexivos.

Es R una relacin de equivalencia? Si lo es, halla las clases de equivalencia y el conjunto cociente.

Primero hagamos el dgrafo de la relacin R:

A
b

d
c

Ahora hallemos las clases de equivalencia y el conjunto cociente.

cl(a) = { a, b, c }

cl(b) = { a, b, c }

cl(c) = { a, b, c }

Como las tres anteriores son la misma, debemos poner un solo representante, por ejemplo la a.

cl(d) = { d }

cl(e) = { e, f }

cl(f) = { e, f }

De las dos ltimas tambin elegimos un representante.

El conjunto cociente es: A/ R = { cl(a), cl(d), cl(e) }
Ejemplo 2:
En el conjunto de los reales |R se define: x S y x2 - 4 x = y2 - 4 y
Se pide:
a) Demostrar que es de equivalencia
b) Graficar la relacin.
c) Hallar las clases y el conjunto cociente.

33

Solucin:
a) Reflexiva:

x |R : x2 - 4 x = x2 - 4 x (pues toda cosa es igual a s misma) x S x

Simtrica:

x , y |R : x S y x2 - 4 x = y2 - 4 y y2 - 4 y = x2 - 4 x
(por simetra de la igualdad) y S x
Transitiva:

x , y , z |R : x S y y S z x2 - 4 x = y2 - 4 y y2 - 4 y = z2 - 4 z
x2 - 4 x = z2 - 4 z (por transitividad de la igualdad) x S z
b) Para graficar la relacin vamos a tratar de simplificar un poco:

x2 - 4 x = y2 - 4 y x2 - 4 x + 4 = y2 - 4 y + 4 (x - 2 )2 = (y - 2 )2
x-2=y-2x-2=y-2 x-2=-y+2 y=x y=4-x
b) Son dos rectas:

-2 -1 0 1

3 4

c) En el grfico puede verse que todos los elementos se relacionan con dos (tienen dos imgenes) excepto el 2 que
tiene una sola, pues es justo la interseccin de las dos rectas:

cl(2) = { 2 }
Por ejemplo:

para los dems:

cl(x) = { x , 4 - x }

cl(1) = { 1, 3 } , cl(5) = { 5 , -1 } , etc.

En total hay infinitas clases, por eso el conjunto cociente debe darse por comprensin en vez de por extensin.

34

Est bien escribir el conjunto cociente as: |R / S = { cl(x) / x |R }?

NO. Pues se estara nombrando dos veces a cada clase (al decir x |R estamos nombrando, por ejemplo, la
clase del uno dos veces al decir cl(1) y cl(3), dado que es la misma)
Entonces... qu hacemos?
Puede escribirse as:
|R / S = { cl(x) / x (- , 2 ] }
O bien, si de cada clase tomamos como representante al mayor:

|R / S = { cl(x) / x [2 , + ) }
Al subconjunto de A que est formado por un representante de cada clase se lo llama conjunto de
ndices.
Llegados a este punto, podemos enunciar el teorema fundamental de las relaciones de

equivalencia
Toda relacin de equivalencia definida en un conjunto provoca en l una particin (conjunto
cociente). Recprocamente, toda particin de un conjunto induce en l una relacin de
equivalencia.
La demostracin de este Teorema pods encontrarla en el libro de la ctedra, captulo 12
Esquemticamente:

35

Sintetizando
-

Una relacin binaria es de equivalencia si es reflexiva, simtrica y transitiva.

Sea (A ; ), se define como clase de equivalencia del elemento

a A: a = [ a ] = Cl (a) = { x A / x a }

Sea (A/ ), se define como conjunto cociente al conjunto formado por todas
las clases de equivalencia. Es decir, A/ = { Cl(a) / a A }

El teorema fundamental de las relaciones de equivalencia afirma que: Toda

relacin de equivalencia definida en un conjunto provoca en l una particin
(conjunto cociente). Recprocamente, toda particin de un conjunto induce
en l una relacin de equivalencia.

CONJUNTOS ORDENADOS
Luego de estudiar las relaciones de equivalencia, nos centraremos aqu en las relaciones de orden, que jerarquizan,
segn un atributo, a los elementos del conjunto donde est definida. Constituyen otro tipo de relaciones binarias,
fundamentales para las bases de datos relacionales que estudiars en otras asignaturas, como por ejemplo Gestin
de Datos.
Como en unidades anteriores, presentaremos los conceptos que definen este tipo de relaciones y nos iremos
planteando preguntas que dan lugar a que vayamos desarrollando los temas vinculados con los conjuntos
ordenados.

Las Relaciones de Orden

Una relacin R es de orden (orden amplio) si y slo si es reflexiva, antisimtrica y transitiva.
Una relacin R es de orden estricto si y slo si es a-simtrica y transitiva.

Podramos preguntarnos puede una relacin de orden estricto ser reflexiva?...

Piensa que debe ser a-simtrica, entonces es posible que sea al mismo tiempo reflexiva?
Si no puedes responder, te sugerimos revises las propiedades de las relaciones estudiadas en la unidad anterior.
Cuando en un conjunto hay definida una relacin de orden, diremos que dicho conjunto est ordenado.

36

Estudiaremos slo las relaciones de orden amplio dado que dan lugar a las relaciones de orden estricto y las
retomaremos al incursionar en el concepto de red y lgebra de Boole. Utilizaremos el smbolo
(se lee precede)
en lugar de llamar R a la relacin.
Ejemplo
Sea A = {1,2,3 }. Consideremos P(A) con la relacin inclusin.
Primero escribamos por extensin: P(A) = { , {1}, {2}, {3}, {1,2}, {1,3}, {2,3}, A}
Cuando se sabe que una relacin es de orden, se puede usar un diagrama simplificado que se llama Diagrama de
Hasse.
En este caso, el Diagrama de Hasse es el siguiente:

{1}

{1,2}

{2}

{1,3}

{3}

{2,3}

{1,2,3}

Como se muestra, slo se dibujan las aristas directas entre elementos diferentes. Se suprimen los bucles (ya que se
sobreentiende que es reflexiva) y las aristas transitivas, que s correspondera en caso de representar el dgrafo
completo.
Si tambin se quieren suprimir las flechitas, hay que dibujar las aristas desde abajo hacia arriba, pero esto no es
obligatorio.
Conjunto totalmente ordenado

Sea (A; ) un conjunto ordenado.

Diremos que A est totalmente ordenado si y slo si x, y A:( x

y y

x).

Para tener en cuenta:

a) Totalmente ordenado lo abreviamos tto.
b) El diagrama de Hasse de un conjunto tto. es una cadena.
c) Tambin se denomina Orden Total u Orden Lineal.
Cuando hay elementos que no cumplen con la definicin de tto. se dicen que son incomparables y se los indica con
el smbolo //.
Algunos ejemplos de elementos incomparables de P(A) son:

{1} // {2,3} pues {1} {2,3} {2,3} {1}

{2} // {3} pues {2} {3} {3} {2}

37

A partir de una o dos relaciones de orden, podemos encontrar o definir otras relaciones de orden que son el Orden
Recproco y el Orden Usual del Producto
Orden Inverso o Recproco
Sea (A; ) un conjunto ordenado. Sea R : A A / x R y y
La relacin R no es ms que la relacin inversa o recproca de .
Se la llama Orden Recproco y se la denota con -1..

1. Si consideramos el conjunto ordenado (Z; ), el orden recproco es: (Z; )

2. Para el conjunto ordenado (P(A); ) que vimos anteriormente, el Orden Recproco ser: (P(A); ),
es decir en el orden recproco, dos conjuntos se relacionan cuando el primero incluye al segundo.

Orden Usual del Producto

Sean (A; 1) y (B; 2) dos conjuntos ordenados. Sea AXB el producto cartesiano.
Se define en AXB la siguiente relacin: (x;y) R (z;t) x 1 z y 2 t
Se la denomina Orden Usual del Producto.

-1
Demuestra que
es de orden.
Demuestra que la relacin R es de orden (Orden Usual del Producto).

Si tens dificultades con la demostracin, envianos tu consulta al entorno virtual y record que tens ms
explicaciones en la bibliografa.
A continuacin presentamos un ejemplo que puede resultar orientador:
Consideremos el conjunto A = {0, 1} con la relacin: 1 = {(0;0), (0;1), (1;1) }
y B = { a, b, c } con 2 = { (a;a), (a;b), (a;c), (b;b) , (b;c), (c;c) }
Hallemos AXB y dibujemos el Diagrama de Hasse del Orden del producto

AXB = {(0;a), (0;b), (0;c), (1:a), (1;b), (1;c) }

Para construir el orden de AXB, debemos tener en cuenta la relacin R.

38

Por ejemplo, si queremos saber si el par (0;a) se relaciona con el (1;a), debemos ver si se cumple

1 a

a.

Como ambas son verdaderas, entonces (0;a) R(1;a).

En cambio (0;b) no se relaciona con (1;a) y tampoco (1;a) con (0;b), son incomparables.
Siguiendo este mismo procedimiento se llega al diagrama:

(1;c)
(0;c)

(1;b)

(0;b)

;a)
(0;a)

Elementos notables
A continuacin veremos algunos elementos que caracterizan a los conjuntos ordenados, que pueden o no existir en
ellos.
Sea (A; ) un conjunto ordenado:
m A es maximal de A x A : m

xx=m

Un elemento es maximal si ningn otro lo sigue excepto s mismo.

Si el maximal es nico, se lo llama mximo o ltimo elemento.

m A es minimal de A x A : x

mx=m

Un elemento es minimal si ningn otro lo precede excepto s mismo.

Si el minimal es nico, se lo llama mnimo o primer elemento.

39

Dado el siguiente conjunto ordenado:

Los maximales son: k, o, v, w y los minimales son: m, g, x

Sintetizando:
-

Una relacin es de orden (amplio) si y solo si es reflexiva, antisimtrica y

transitiva.

Las relaciones de orden se pueden representar por Diagramas de Hasse,

donde no se dibujan las aristas reflexivas ni las transitivas.

El producto cartesiano de dos conjuntos ordenados puede ordenarse con la

relacin: (x;y) R (z;t) x 1 z y 2 t

Algunas relaciones de orden son de orden Total, cuando no hay elementos

incomparables.

Los minimales son elementos que no son precedidos por ningn otro. Si
existe un nico minimal se denomina primer elemento del conjunto.

Los maximales son elementos que no son seguidos por ningn otro. Si existe
un nico maximal se denomina ltimo elemento del conjunto.

Consideremos ahora un conjunto ordenado que tenga primer elemento, es decir un elemento que precede a todos
en el orden establecido. En ese conjunto podemos reconocer un elemento que recibe el nombre de tomo:

Los tomos son los elementos que siguen inmediatamente al primero. O sea solamente son
precedidos por el primero y por ellos mismos. Formalmente:
Si (A; ) es un conjunto ordenado con primer elemento p.

m A es tomo de A x A : ( x

m x=m x=p ) m p

El concepto de tomo resulta muy importante para definir otras cuestiones, por ejemplo lgebras de Boole, que
estudiaremos en la prxima unidad.

40

Consideremos el conjunto A = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10} con la relacin divide. Pensemos cual es el

primer elemento, el 1, luego
cules son los elementos del conjunto que lo siguen inmediatamente?...
Son los nmeros primos: 2, 3, 5, 7. Esos son los denominados tomos.

Conjunto bien ordenado

Sea (A; ) un conjunto ordenado con primer elemento. Se dice que A est Bien Ordenado (o
que es Buen Orden) si y slo si todo subconjunto de A tiene primer elemento.

El siguiente conjunto ordenado

es un buen orden?
No. Por qu?... porque no tiene primer elemento.
Y.

(P(A); ) con A ={1,2,3}

est bien ordenado? No, ya que, por ejemplo, el subconjunto {{1},{2}} no tiene primer elemento.
Antes de continuar, te proponemos que intentes resolver las siguientes consignas:
1) Puede haber elementos incomparables en un Buen Orden?
..
2) Es lo mismo Buen Orden que Orden Total?
.
3) Busca una relacin entre Buen Orden y Orden Total:
..

41

Consult con tus compaeros en el entorno virtual si llegaron a las mismas respuestas o presentales tus dudas si
tens dificultades para resolver la actividad. El tutor estar orientndolos para que puedan autoevaluarse.
A continuacin vamos a trabajar con subconjuntos de conjuntos ordenados, ya que a partir de ellos, vamos a poder
comprender otras estructuras como las redes y Algebras Booleanas, que son muy importantes en Computacin.

Orden restringido
El Orden restringido a un subconjunto B est formado por todos los pares de la relacin en los que ambas
componentes son elementos de B.
Sea (A;

) un conjunto ordenado y B A

Se define como Orden restringido a B la siguiente relacin:

/B

= BXB

Cotas superiores y cotas inferiores

Sea (A;

) un conjunto ordenado y B A
s A es cota superior de B x B : x

i A es cota inferior de B x B : i

En Anlisis Matemtico I y Anlisis Matemtico II se trabaja con los conceptos que estamos estudiando, pero
siempre haciendo referencia al conjunto ordenado de los reales con la relacin menor o igual, es decir: (R ; ).
Consideremos el siguiente subconjunto: B = ( 3 ; 7
Las cotas superiores son aquellos nmeros reales mayores o iguales que todos los del subconjunto B. En este
caso son 7; + ). Este es el conjunto de cotas superiores.
La menor de las cotas superiores es el 7, y recibe el nombre de supremo.
Y como adems el 7 pertenece al subconjunto B, es el mximo de B. Es decir que el mximo es el ltimo
elemento de B.
Por otro lado, las cotas inferiores de B son todos aquellos nmeros reales menores o iguales a todos los del
subconjunto B. En este caso son: (- ; 3
La mayor de las cotas inferiores es el 3, y recibe el nombre de nfimo.
Pero el 3 no pertenece al subconjunto B, entonces no es mnimo de B, ya que B carece de mnimo o primer
elemento.
Estos conceptos los vamos a generalizar para cualquier conjunto ordenado.

42

En funcin de las cotas se desprenden una serie de denominaciones que es importante recordar:
-

El conjunto de cotas superiores se llama Conjunto mayorante.

El conjunto de cotas inferiores se llama Conjunto minorante.

La menor de las cotas superiores, recibe el nombre de supremo. El

supremo es el primer elemento del conjunto mayorante

La mayor de las cotas inferiores, recibe el nombre de nfimo.

El nfimo es el ltimo elemento del conjunto minorante.

Si el supremo pertenece a B, se llama Mximo de B. y es el ltimo elemento

en el orden restringido a B

Si el nfimo pertenece a B, se llama Mnimo de B y el primer elemento en el

orden restringido a B

Presentamos algunos ejemplos

Sea el conjunto A = {a, b, c, d, e, f, g, h, i} ordenado de la siguiente forma:

i
f

h
d
c

a
b

Tomamos como subconjunto: B = {d, e, h}

Entonces el conjunto mayorante es: {g, i}
y el conjunto minorante es: { a, b, d }
El supremo es: g (no es mximo) y el nfimo es: d (es mnimo de B)

43

Est A bien ordenado?...no, no lo est. Puedes justificar por qu no?

..
.
Encontremos subconjuntos de A que estn bien ordenados.
Por ejemplo, C = {a, d, h, g, i} Puedes indicar otro?
..
Sintetizando:
-

Todo subconjunto de un conjunto ordenado est ordenado con la relacin

restringida a l.

Las cotas superiores de un subconjunto ordenado son los elementos que

siguen a todos los elementos del subconjunto.

Las cotas inferiores de un subconjunto ordenado son los elementos que

preceden a todos los elementos del subconjunto.

La primera de las cotas superiores se denomina supremo, y si pertenece al

subconjunto es el mximo.

La ltima de las cotas inferiores se denomina nfimo, y si pertenece al

subconjunto es el mnimo.

44