RELACION DE EQUIVALENCIA

Toda relacin

definida en un conjunto A es una relacin de

equivalencia si y solo si se verifica:

a)

( x , y ) R , x A

b)

si ( x , y ) R ( y , x ) R , es decir,

c) si

es decir REFLEXIVA.

( x , y ) R ( y , z) ,

R es SIMTRICA.

es decir R

es TRANSITIVA.

EJEMPLOS:
1) Para el conjunto A= {1, 3,5} definimos la relacin:
R={(1,1)(3,3)(5,5)(1,3)(3,1)}
En efecto en

, verificar si es de equivalencia.

observamos que:

a) Tiene entre sus elementos

donde

x A es decir

todos los pares de la forma

es reflexiva.

b) Tiene como elementos dos pares de la forma

x A y A . es decir

(x , x)

( x , y ),( y , x )

donde

es simtrica.

c) R tambin es transitiva:
( 1,1 ) R ( 1,3 ) ( 1,3 ) R es V

( 3,3 ) R ( 3,1 ) R ( 3,1 ) R es V

Por tanto

R es una relacin de equivalencia

2) La relacin de igualdad R=(X, Y) (Y, X) es una

equivalencia pues se verifica siempre:
a) a=a
b) a=b b=a

relacin de
c)

a=b b=c a=c

3) son tambin relaciones de equivalencia:

a) El paralelismo de rectas
b) La igualdad de conjuntos
RELACION ANTISIMETRICA
Una relacin R definida en un conjunto A se dice que es
antisimtrico
si
solo
si
R : A A es antisimetrica ( x , y ) R ( y , x ) R x= y

R:A A

O tambin
Dado

el

es antisimetrica

RR

A={a , b , c }

conjunto

D(A)

las

relaciones

en

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

b,a
S= { (a , b)(c , c),(a , c ), )
Determinar si son o no antisimetricas.
En R aplicamos la segunda definicin:
Entonces

RR

{( a , a )( b , a ) } D( A )

En S: ( a , b ) S , y ( b , a) S

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

luego R es antisimetrica.

pero a b l uego S no es antisimtrica.

RELACION DE ORDEN
Dado un conjunto A para el cual se define una relacin R en A se dice que
R es una relacin de orden si y solo si, se verifican las siguientes
propiedades:
a) ( x , y ) R , x A es decir REFLEXIVA.
b) Si

( x , y ) R ( y , x ) R x= y

c) si

( x , y ) R ( y , z ) R ,(x , z ) R

es antisimetrica
es decir R

es TRANSITIVA.

Observaciones:
1- la relacin R toma el nombre de relacin de orden parcial.
2- Al conjunto A, en el cual se ha definido una relacin de orden R se
denomina conjunto ordenado o parcialmente ordenado por la relacin
R.
3- Para designar las relaciones de orden se usan especialmente los
signos: , ,>,< , etc .
4- En general dar un conjunto A provisto de una relacin cualquiera R
significa considerar un nuevo conjunt ( A , R)
cuyos elementos son
el conjunto A y la relacin R (conjunto ordenado).

FUNCIONES
Sea A Y B dos conjuntos no vacos y sea f una relacin binaria de A
en B esto f AxB entenderemos por una funcin de A en B toda
regla que asocia a cada elemento x del conjunt A un nico elemento
Y del conjunto B.es decir una funcin es el conjunto depares
A
ordenados tales que la primera componente pertenece a
Y la

segunda a B

e modo tal que dos pares ordenados distintos no

tengan la misma primera componente

Para denotar que f es una funcin de A en B se escribe:
Y se lee f es una funcin de A en B

f : AB

Formalmente tenemos la siguiente:

F es una funcin de A en B si y solo si satisface las siguientes
condiciones:
i) f AxB
ii) ( x , y ) f ( x , z ) f y =z
Regla de correspondencia

si

( x , y ) f

decimos que Y Esla

imagen o valor de x por f y suele escribirse

Y =f (x)

es decir y

es el transformado de x por la funcin f

De aqu que denotemos:

f : A B / y=f ( x)

DOMINIO YRANGO DE UNA FUNCION:

DOMINIO: el dominio de una funcin
todas las primeras componentes
pares ordenados de

xA

f : AB

es el conjunto

de

(conjunto de partida) de los

esto es:

Dom f ( x) = { x A / Y B ,( x , Y ) f =A
RANGO: el rango de una funcin
las segundas componentes

f : AB

es el conjunto de todas

y B (conjunto de llegada) de los

pares ordenados de f es decir:

x
B
Rang ( f )={ y B / A , y=f )