PAR

ORDENADO

Dados dos elementos a y b interesa formar

un conjunto que dependa de dichos
elementos y el orden en que se consideran.
DEFINICION: Par ordenado (a,b) es el
conjunto cuyos elementos son {a} y {a,b}
(a,b) =

{{a} , {a,b} }

a y b son la primera y la segunda

componentes del par ordenado.

PRODUCTO

CARTESIANO

DEFINICION: Producto cartesiano de dos

conjuntos A y B es el conjunto cuyos
elementos son todos los pares
ordenados cuya primera componente
pertenece a A y la segunda a B.
AXB = {(a,b)/ a A b B}

RELACIONES
RELACIONES BINARIAS: Sean A y B dos
conjuntos y P(x, y) una propiedad
relativa a los elementos
xA e y
B, en ese orden. Esto sugiere
naturalmente la consideracin del
producto cartesiano AxB, y la
determinacin de los pares ordenados
(a, b) para los cuales P(a, b) es una
proposicin verdadera. De este modo
queda definido un subconjunto R
AxB, llamado relacin.

DOMINIO DE UNA RELACIN

Consideremos una relacin R entre los
conjuntos A y B.
Si (x, y) R diremos que y es una imagen
de x a travs de R, y que x es un
antecedente o preimagen de y por R.
DEFINICION: Dominio de R es la totalidad
de los elementos de A, que admiten
imagen en B
DR = { x A/(x,y) R}

IMAGEN DE UNA RELACION

DEFINICION: Imagen de R es el conjunto
de los elementos de B, que admiten un
antecedente en A.
IR = { y B/ (x, y) R}

RELACIN INVERSA DE UNA

RELACIN
DEFINICIN: Relacin inversa de R es el
subconjunto de BxA definido por:
R-1 = {(y, x)/(x, y) R}

COMPOSICIN DE
RELACIN
A partir de las relaciones R AxB

y S
BxC, es posible definir una relacin
entre A y C, llamada composicin entre
R y S, mediante
SR = {(x, z)/ y B (x, y) R (y,
z) S}
PROPIEDADES DE LA COMPOSICIN DE
RELACIN
ASOCIATIVIDAD: (T S) R = T (S R)
La relacin inversa de la composicin
es igual a la composicin de las

RELACIONES DEFINIDAS EN UN CONJUNTO

Sea R una relacin entre A y B, donde B
= A. En este caso la relacin est
definida en A, y se identifica con un
subconjunto de A2 = AxA.
DEFINICIN: R es una relacin definida
en A, si y solo si R A2.
Como todo subconjunto de A2 es un
elemento de las partes de A2, podemos
decir:
R es una relacin definida en A si y slo
si R P(A2)

POSIBLES PROPIEDADES DE LAS

RELACIONES DEFINIDAS EN UN CONJUNTO
SEA R UNA RELACION DEFINIDA EN A,
ES DECIR, R A2. DICHA RELACION
PUEDE CLASIFICARSE CON LAS
SIGUIENTES PROPIEDADES:
1. REFLEXIVIDAD: SE CARACTERIZA
PORQUE TODO ELEMENTO DE A
FORMA PAREJA CONSIGO MISMO, Y EL
PAR AS OBTENIDO PERTENECE A LA
RELACION.

2. NO REFLEXIVA: CONSISTE EN LA
NEGACIN DE LA PROPIEDAD
REFLEXIVA.
LA NO REFLEXIVA DE R QUEDA
ESPECIFICADA POR LA EXISTENCIA
DE AL MENOS UN ELEMENTO DE A
QUE NO EST RELACIONADO
CONSIGO MISMO.
R ES NO REFLEXIVA x/ x A
(x, x) R

3. ARREFLEXIVIDAD: ES DECIR,
NINGUN ELEMENTO DE A EST
RELACIONADO CONSIGO MISMO, O
LO QUE ES IGUAL, NINGN
ELEMENTO DE LA DIAGONAL A2
PERTENECE A LA RELACIN.
R ES ARREFLEXIVA x: xA
(x, x)R

4. SIMETRIA: ES DECIR, SI UN PAR

PERTENECE A LA RELACION, EL PAR
QUE RESULTA DE PERMUTAR SUS
COMPONENTES TAMBIN
PERTENECEN, Y EN CONSECUENCIA
EL DIAGRAMA CARTESIANO ES
SIMTRICO RESPECTO DE LA
DIAGONAL DE A2.
R ES SIMTRICA x y A: (x, y) R (y,
x) R

5. NO SIMETRA: ES LA NEGACION
DE LA SIMETRA.
LA NO SIMETRA NO IMPIDE QUE DOS
PARES DE COMPONENTES PERMUTADAS
PERTENEZCAN A LA RELACIN, PERO EXIGE
QUE HAYA AL MENOS UN PAR EN LA
RELACIN, Y QUE EL QUE RESULTE DE
PERMUTAR SUS COMPONENTES NO
PERTENEZCAN A ELLA.
R ES NO SIMTRICA x y A/ (x, y) R (y, x)
R

6. ASIMETRA: EN ESTE CASO DEBE

OCURRIR QUE SI UN PAR PERTENECE
A LA RELACIN, ENTONCES EL QUE
SE DEDUCE POR PERMUTACIN NO
PERTENECE.

R ES ASIMTRICA x y A/ (x, y) R (y,

x) R

7. TRANSITIVIDAD: SI UN ELEMENTO
ESTA RELACIONADO CON OTRO (no
necesariamente distinto), Y STE
EST RELACIONADO CON UN
TERCERO, ENTONCES EL PRIMERO
EST RELACIONADO CON EL
TERCERO.
R ES TRANSITIVA x yz: (x, y) R (y, z) R
(x,z) R

8. NO TRANSITIVIDAD: POR SER

LA NEGACION DE LA TRANSITIVIDAD.
R ES NO TRANSITIVA x y
z A/
(x, y) R (y, z) R
(x, z) R

9. ATRANSITIVIDAD: A DIFERENCIA
DE LA NO TRANSITIVA, PARA TODO
ELEMENTO QUE EST RELACIONADO
CON OTRO Y ESTE CON UN TERCERO;
NO EXISTE NINGUNA RELACIN DEL
PRIMERO CON EL TERCERO QUE
PERTENEZCA A LA RELACIN.
R ES ATRANSITIVA x y
z:
(x, y) R (y, z) R ( x,
z) R

10. ANTISIMETRA: SI DOS PARES

DE COMPONENTES PERMUTADAS
PERTENECEN A LA RELACIN,
ENTONCES DICHAS COMPONENTES
SE IDENTIFICAN.
R ES ANTISIMTRICA xy: (x,
y) R (y, x) R x = y.