Relaciones binarias

El caso particular de relaciones binarias merece ser tratado aparte, por la riqueza
de conceptos y resultados a que da lugar y el tipo de tcnicas que pueden
utilizarse. En primer lugar, si es una relacin entre y , el hecho de que
un par ordenado est en suele denotarse

diferenca entre relaciones binaria y funciones
ejemplos
Las funciones te indican lo mismo con la diferencia que solo hay una respuesta para cada valor de
las otras variables.

Una forma de verlo graficamente es que un circulo seria una relacion, pues para un valor en y
pueden exitir dos valores en x.

Una ecuacion cuadratica x = y^2 seria una funcion pues solo existe una solo valor de x para cada
valor de la viariable y


ley de composicion interna
Dado un conjunto A y una operacin , que representaremos :

por la que definimos una aplicacin que a cada par ordenado (a,b) de A por A se le asigna
un c de A.
1

2


Para todo par ordenado (a,b) en A por A, se cumple que existe un nico c en A, tal
que c es el resultado de operar a con b.
Se llama ley de composicin interna, que tambin se denomina Operacin interna
3




Propiedades de las relaciones binarias
De entre las diversas propiedades que puede (o no) tener una relacin binaria
en , las ms interesantes son las siguientes:
1. Reflexiva: si , .
2. Irreflexiva: si , .
3. Simtrica: si , .
4. Antisimtrica: si , .
5. Transitiva: si , .
6. Intransitiva: si , .


RELACIONES DE ORDEN

Decimos que una relacin binaria es de orden cuando cumple las propiedades reflexiva,
antisimtrica y transitiva. Cuando adems cumple la propiedad conexa, diremos que el conjunto
est totalmente ordenado, en caso contrario diremos que el conjunto est parcialmente ordenado.
Por medio de una relacin de orden podemos establecer una ordenacin de un conjunto a partir de
un criterio. Aunque este criterio no tiene por que ser nico. Puede que existan formas diferentes
para ordenar el conjunto.

Ejemplo: Representar la relacin R definida sobre el conjunto M={m,u,r,c,i,a} mediante el grafo:
R(M)={(m,m), (u,u);(r,r);(c,c);(i,i);(a,a);(m,u);(c,i);(i,a);(c,a)





Relaciones de equivalencia
Una relacin es de equivalencia si es reflexiva, simtrica y transitiva.
Ejemplos tpicos de relaciones de equivalencia, de entre los estudiados
anteriormente en esta asignatura, podemos citar la equivalencia lgica, la
igualdad de conjuntos, o la relacin entre conjuntos de tener la misma
cardinalidad. El aspecto ms interesante de las relaciones de equivalencia es su
correspondencia con las particiones de un conjunto. En primer lugar, si es una
relacin de equivalencia, se llama clase de equivalencia de con respecto
a al conjunto