Relacin binaria

Relacin binaria
En matemticas, una relacin binaria es una relacin matemtica R entre los elementos de dos conjuntos A y B. Una relacin de este tipo se puede representar mediante pares ordenados, :[1]

Las proposiciones siguientes son correctas para representar una relacin binaria

Tambin puede expresarse:

En notacin polaca

Ejemplo
Dado el conjunto R de los nmeros reales, definimos la relacin binaria P (x,y) de los puntos del plano, tal que :

Partiendo del conjunto A de los automviles de una localidad y P de las personas, podemos definir la relacin binaria C Conduce, formada por cada automvil a, y quien lo conduce p:

Diagrama ndice
A modo de gua o diagrama ndice del estudio de las relaciones binarias, podemos presentar el siguiente grfico.

Conceptos previos
Antes de afrontar el estudio de las relaciones binaria, veamos algunos conceptos que es necesario conocer:

Par ordenado
Las partes de un par ordenado son: Primer conjunto Primer componente Segundo conjunto Segundo componente Del siguiente par ordenado (a, b) podemos decir que: a es el primer componente del primer conjunto y; b como el segundo componente del segundo conjunto. Matemticamente esto se expresa:

Relacin binaria y se lee: El producto de A con B, es el conjunto de los pares ordenados (x,y) tales que x pertenece a A y y pertenece a B.

Producto cartesiano

Definimos los conjuntos:

Obtenemos el producto cartesiano de A por B, colocando en una tabla los elementos del conjunto A en el eje horizontal y los de B en vertical, en la interseccin colocamos los pares ordenados correspondientes, percatarse que en el par ordenado, en primer lugar se coloca el elemento de A, del eje horizontal y en segundo lugar el de B, del eje vertical. La enumeracin de los elementos, del conjunto de pares ordenados, seria el siguiente:

Relacin binaria, subconjunto del producto cartesiano

Visto del producto cartesiano de A por B, podemos definir una relacin binaria, por ejemplo: mayor que, que se puede expresar:

que por extensin resulta:

Donde los pares ordenados que definen la relacin binaria son un subconjunto del producto cartesiano de los conjuntos.[2]

Clasificacin
La importancia en matemticas de las relaciones binarias, se debe a que una gran parte de las asociaciones entre elementos de conjuntos, tanto numricos como no numricos, se hace de dos en dos elementos, tanto si son elementos de un nico conjunto o de dos conjuntos distintos, en el esquema se puede ver algunas estructuras algebraicas o subtipos de relacin binaria. Emplearemos este esquema para ver estos casos.

Relacin binaria En primer lugar diferenciamos las relaciones binarias homogneas de las heterogneas, en las primeras la relacin binaria se establece entre los elementos de un nico conjunto, por lo que en realidad lo que determina es su estructura interna, mientras que en las segundas se establecen relaciones entre dos conjuntos distintos, lo que da lugar a operaciones o funciones matemticas de clculo, una relacin homognea puede ser tratada como heterognea con los mismos subtipos, pero no al contrario.

Relacin homognea
Una relacin binaria entre dos conjuntos se llama homognea si estos dos conjuntos son iguales:

Dado que A y B son el mismo conjunto, se suele representar:

O bien:

Relacin heterognea
Una relacin binaria entre dos conjuntos A y B, se llama heterognea si A es distinto de B:[3]

Relacin binaria homognea

Como ya se defini antes, una relacin binaria homognea es la que se da entre los elementos de un nico conjunto, llamando A al conjunto, tendramos:

Si la Relacin binaria es entre los elementos de un nico conjunto, dado que los distintos tipos de relacin que se pueden determinar entre sus elementos tomados de dos en dos, determina la estructura del conjunto, lo veremos con un ejemplo: Dado el conjunto A:

y la relacin entre los elementos de este conjunto, representada en la figura, se puede ver que solo hay un conjunto, el A y que la relacin entre los elementos es interior al conjunto, en este caso representado por las flechas.

En este caso podemos decir, como enumeracin de las relaciones entre los elementos del conjunto A.

o como conjunto de pares ordenados:

Relacin binaria

Tambin podemos representar una relacin binaria homognea como una correspondencia de A sobre A:

Tomando como conjunto inicial al conjunto A y como final tambin el conjunto A, nos permite asociar un elemento inicial a otro final dentro de un mismo conjunto, determinando una operacin o funcin de clculo y no una estructura interna, teniendo siempre en cuenta, que si bien el conjunto inicial y final son un mismo conjunto, la relacin es unidireccional, y si el elemento a est relacionado con el b no implica, necesariamente, que el b lo este con el a. En este caso el anlisis de la relacin binaria se hace segn los distintos tipos de correspondencia con el mismo significado que en las relaciones heterogneas Representacin de una relacin binaria como subconjunto del producto cartesiano: Dado el producto subconjunto de de pares ordenados (x, y), donde x, y pertenecen a A, la relacin binaria ser el que contiene todos los pares de elementos relacionados.
d c b a AA (a, d) (b, d) (c, d) (d, d) (a, c) (b, c) (c, c) (d, c) (a, b) (b, b) (c, b) (d, b) (a, a) (b, a) (c, a) (d, a) a b c d

Si el producto

es:

el conjunto R de la relacin binaria se representa:

Ntese que en el eje horizontal se representa el conjunto inicial, y en el eje vertical el conjunto final. Propiedades de las relaciones binarias homognea Una relacin binaria puede tener ciertas propiedades, segn los pares ordenados que formen parte de dicha relacin o no formen parte de ella, veamos algunas: Relacin reflexiva Una relacin se llama reflexiva si todo elemento esta relacionado consigo mismo, si no todos los elementos del conjunto estn relacionados consigo mismo se dice que la relacin no es reflexiva.

Para todo elemento a que pertenezca al conjunto A, el par ordenado (a,a) pertenece a la relacin binaria R. Tngase en cuenta que debe cumplirse para todos los elementos del conjunto sin excepcin, si esta propiedad solo se da en algunos casos la relacin no es reflexiva:

Relacin binaria

No existe ningn elemento a en A, para el que el par ordenado (a,a) no pertenezca a la relacin R. Puede verse que estas dos afirmaciones son iguales. Relacin irreflexiva Una relacin binaria es irreflexiva, tambin llamada: antirreflexiva o antirrefleja, si ningn elemento del conjunto esta relacionado consigo mismo:

Que tambin puede expresarse

No existe ningn elemento a en el conjunto A que cumpla que: (a,a) pertenezca a R. Relacin simtrica Una relacin binaria es simtrica, si se cumple que un par ordenado (a,b) pertenece a la relacin entonces el par (b,a) tambin pertenece a esa relacin:

Para todo par ordenado (a,b) que pertenezca a R, implica que el par (b,a) tambin pertenece a R, tngase en cuenta que si el par (a,b) no pertenece a la relacin el par (b,a) tampoco tiene que pertenecer a esa relacin:

No existe ningn par ordenado (a,b) que pertenezca a R y que el par (b,a) no pertenezca a R. Relacin antisimtrica Una relacin binaria se dice que es antisimtrica si los pares ordenado (a,b) y (b,a) pertenecen a la relacin entonces a = b:

Dicho de otra manera, no existen los elementos a, b distintos, y que a este relacionado con b y b este relacionado con a

Relacin transitiva Una relacin binaria es transitiva cuando, dado los elementos a, b, c del conjunto, si a esta relacionado con b y b esta relacionado con c, entonces a esta relacionado con c:

Relacin total Una relacin binaria se dice que es total: si para todo elemento del conjunto: a, b; o a esta relacionado con b b esta relacionado con a, esto es el grafo de la relacin es conexo:

Relacin binaria Clases de las relaciones binarias homognea Partiendo de las propiedades que una relacin binaria homogneas puede tener, se pueden diferenciar algunas por su especial inters: Relacin reflexiva La propiedad reflexiva de una relacin binaria es el inicio para los casos ms elaborados, tngase en cuenta que las relaciones binarias no reflexivas y las irreflexivas son casos muy particulares muy poco estudiados, por su poca importancia en los casos ms generales. Las relaciones reflexivas son las definidas as:
Dado un conjunto A, y una relacin binaria R entre sus elementos

Se dice que esta relacin binaria es relacin reflexiva, si cumple: 1.- Relacin reflexiva: la relacin R es reflexiva si todo elemento a de A esta relacionado consigo mismo.

El caso ms claro de propiedad reflexiva es la de igualdad, as dado un conjunto de nmeros, los naturales por ejemplo, y la propiedad de igualdad entre nmeros, tenemos que todo nmero natural es igual a s mismo. Dado un conjunto A, formado los siguientes elementos:

Y una relacin R entre los elementos del conjunto, definida as:

Podemos ver que los pares ordenados que tienen sus dos trminos iguales pertenecen a la relacin:

Luego la relacin R es reflexiva. La relaci R, tambin se puede representar en coordenadas cartesianas. En el eje horizontal (ordenadas) representamos el conjunto inicial, de izquierda a derecha, y en el eje vertical(abscisas) el conjunto final, de abajo a arriba, si un determinado par pertenece a la relacin se coloca una cruz en la casilla correspondiente, si no pertenece se deja en blando, representando de este modo en coordenadas cartesianas la relacin binaria.

Relacin binaria

En la diagonal principal, inferior izquierda, superior derecha, corresponde a los pares ordenados en los que sus dos elementos son iguales, si todas las casillas de esta diagonal tienen aspas, la relacin es reflexiva Como puede verse en el diagrama, la relacin estudiada es reflexiva, dado que: Para todo elemento e del conjunto A, el par ordenado (e,e) pertenece a la relacin R. En cualquiera de las tres formas de representacin vistas: enumeracin de pares ordenados, donde los pares (e,e) pertenecen a la relacin, el diagrama sagital, con una flecha que sale y llega a cada elemento del conjunto, o en coordenadas cartesianas, donde hay cruces en la diagonal principal, en todos los casos se representa una relacin reflexiva, en la que todo elemento del conjunto esta relacionado consigo mismo. Relacin no reflexiva

Los casos ms estudiados de relaciones binarias homogneas son las que cumplen la propiedad reflexiva, una relacin que no cumple la propiedad reflexiva es no reflexiva, un caso particular de relacin no reflexiva son las irreflexivas en las que ningn elemento del conjunto esta relacionado consigo mismo, puede verse que si en una relacin binaria algunos elementos estn relacionados consigo mismo y otros no la relacin no es reflexiva y tampoco es irreflexiva. Ver diagrama:

Las relaciones irreflexivas es un caso de las no reflexivas. Dado el conjunto:

y la relacin entre los elementos de este conjunto:

Podemos ver que:

Para todo elemento e del conjunto A, el par ordenado (e,e) no pertenece a la relacin R, luego esta relacin en irreflexiva.

Relacin binaria

La representacin de la relacin en coordenadas cartesianas nos permite ver que la diagonal principal no tiene ninguna cruz, lo que es equivalente a la irrefrexibilidad de la relacin. La propiedad reflexiva e irreflexiva son mutuamente excluyentes en una misma relacin, el cumplimiento de una de ellas da lugar al incumplimiento de la otra necesariamente, el razonamiento contrario no es cierto dado que una relacin binaria puede ser NO reflexiva y NO irreflexiva simultneamente, veamos un ejemplo, dado el conjunto:

En la que se ha definido la relacin binaria:

Podemos ver que:

Y tambin que:

Luego la relacin no es reflexiva y tampoco es irreflexiva.

Si representamos la relacin binaria en coordenadas cartesianas, podemos ver que en la diagonal principal no todas las casillas tienen un aspa, luego la relacin no es reflexiva, y tampoco estn todas en blanco luego tampoco es irreflexiva, esto es un relacin binaria no reflexiva y no irreflexiva, al darse estas dos condiciones simultneamente en una misma relacin. En resumen, podemos diferenciar tres clases de relaciones: Relaciones reflexivas Relaciones irreflexivas Relaciones no reflexivas y no irreflexivas. Dado, que como ya se ha mencionado, una relacin no puede ser reflexiva e irreflexiva simultneamente, pero si puede ser no reflexiva y no irreflexiva simultneamente. Relacin de dependencia Una relacin binaria es una relacin de dependencia si es reflexiva y simtrica:
Dado un conjunto A, y una relacin binaria R entre sus elementos

Se dice que esta relacin binaria es relacin de dependencia, si cumple: 1.- Relacin reflexiva: la relacin R es reflexiva, si todo elemento a de A esta relacionado consigo mismo.

2.- Relacin simtrica: la relacin R es simtrica, si un elemento a esta relacionado con otro b, entonces el b tambin esta relacionado con el a.

As por ejemplo si consideramos el conjunto de los nmeros naturales, y definimos la distancia D entre dos nmeros, como el valor absoluto de su diferencia:

Relacin binaria y decimos que dos nmeros naturales a, b estn prximos si su distancia es a lo sumo un valor D conocido, tenemos que la relacin binaria de proximidad es:

es una relacin de dependencia, dado que es reflexiva:

es simtrica:

relacin binaria de proximidad no es transitiva, dado que:

que la distancia entre a y b sea a lo sumo D y que la distancia entre b y c no supere D, no implica necesariamente que la distancia entre a y c no sea mayor que D. Esta relacin de dependencia entre los nmeros por su distancia no es una clase de equivalencia, pero si denota una dependencia entre ellos. Conjunto preordenado Una relacin binaria define un conjunto preordenado si es reflexiva y transitiva:
Dado un conjunto A, y una relacin binaria R entre sus elementos

Se dice que esta relacin binaria define un conjunto preordenado, si cumple: 1.- Relacin binaria reflexiva: la relacin R es reflexiva si todo elemento a de A esta relacionado consigo mismo.

2.- Relacin binaria transitiva: la relacin R es transitiva si un elemento a esta relacionado con otro b, y este b con otro c, entonces el elemento a esta tambin relacionado con el c.

Relacin de equivalencia Una relacin binaria es una relacin de equivalencia si es reflexiva, simtrica y transitiva:[4]
Dado un conjunto A, y una relacin binaria R entre sus elementos

Se dice que esta relacin binaria es relacin de equivalencia, si cumple: 1.- Relacin reflexiva: la relacin R es reflexiva si todo elemento a de A esta relacionado consigo mismo.

2.- Relacin simtrica: la relacin R es simtrica si un elemento a esta relacionado con otro b, entonces el b tambin esta relacionado con el a.

3.- Relacin transitiva: la relacin R es transitiva si un elemento a esta relacionado con otro b, y este b con otro c, entonces el elemento a esta tambin relacionado con el c.

Una relacin de equivalencia define dentro del conjunto A lo que se denominan, Clases de equivalencia, una clase de equivalencia o familia de elementos es cada uno de los subconjuntos en que la relacin de equivalencia divide al conjunto A, entre ellos son disjuntos, y la unin de todos ellos es el conjunto A, veamos un ejemplo. En Aritmtica modular se define la operacin modulo como el resto de la divisin, as:

Relacin binaria

10

el resto de dividir 5 entre 2 es 1 el resto de dividir 6 entre 3 es 0 el resto de dividir 7 entre 3 es 1 se dice que dos nmeros son congruentes modulo n, si al dividir cada uno de esos nmeros por n dan el mismo resto:

el 8 y el 17 son congruentes modulo 3 dado que al dividirlos por 3 en los dos casos dan por resto 2. La congruencia modular de grado n, de los nmeros naturales, es una Relacin de equivalencia, dado que es reflexiva:

es simtrica:

y es transitiva

Conjunto parcialmente ordenado Un conjunto A se dice que esta parcialmente ordenado respecto a una relacin binaria R si la relacin R es reflexiva, transitiva y antisimtrica:
Dado un conjunto A, y una relacin binaria R entre sus elementos

Se dice que esta relacin binaria define un conjunto parcialmente ordenado, si cumple: 1.- Relacin reflexiva: la relacin R es reflexiva si todo elemento a de A esta relacionado consigo mismo.

2.- Relacin transitiva: la relacin R es transitiva si un elemento a esta relacionado con otro b, y este b con otro c, entonces el elemento a esta tambin relacionado con el c.

3.- Relacin antisimtrica: la relacin R es antisimtrica si los pares ordenado (a,b) y (b,a) pertenecen a la relacin R , entonces a y b son iguales.

Tomando un conjunto A, formado, por ejemplo, por los elementos:

Definimos el Conjunto potencia de A como el formado por todos los subconjuntos de A:

A cada uno de estos subconjuntos los llamamos:

Relacin binaria

11

Y tomando dos de estos subconjuntos decimos que estn relacionados por pertenencia si el primero es Subconjunto del segundo:

La relacin pertenencia entre los conjuntos potencia de A, es un conjunto parcialmente ordenado, al ser reflexiva:

Transitiva:

Antisimetrica:

Por lo que el conjunto de las partes de A, respecto a la relacin binaria pertenencia es un conjunto parcialmente ordenado. Esta relacin no es total dado que:

Que se denominan no comparables, los pares de conjuntos no comparables son: 1. 2. 3. 4. 5. 6. 7. 8. 9. A la vista del diagrama, los conjuntos que se pueden alcanzar siguiendo el sentido de las flechas se denominan comparables y determinan la estructura del orden parcial.

Relacin binaria Orden total Un conjunto A se dice que esta totalmente ordenado respecto a una relacin binaria R si la relacin R es reflexiva, transitiva, antisimtrica y total:
Dado un conjunto A, y una relacin binaria R entre sus elementos

12

Se dice que esta relacin binaria define un orden total, si cumple: 1.- Relacin reflexiva: la relacin R es reflexiva si todo elemento a de A esta relacionado consigo mismo.

2.- Relacin transitiva: la relacin R es transitiva si un elemento a esta relacionado con otro b, y este b con otro c, entonces el elemento a esta tambin relacionado con el c.

3.- Relacin antisimtrica: la relacin R es antisimtrica si los pares ordenado (a,b) y (b,a) pertenecen a la relacin R , entonces a y b son iguales.

4.- Relacin total: la relacin R es total si para cualquiera dos elemento del conjunto: a, b; o a esta relacionado con b bien b esta relacionado con a.

Si tomamos el conjunto de los nmeros enteros Z, por ejemplo, respecto a la relacin binaria entre sus elementos menor o igual, podemos ver que es reflexiva:

es transitiva:

es antisimetrica:

y es total:

Relacin binaria heterognea

Una relacin binaria entre dos conjuntos A y B, se llama heterognea cuando A es distinto de B: Lo que tambin se llama correspondencia matemtica.[5] A la derecha podemos ver lo que se denomina un diagrama sagital, en el cual se representan los dos conjuntos de la relacin binaria, asociando los elementos de uno y otro conjunto con una flecha, que sale del elemento origen y llega al elemento imagen, en el diagrama pueden verse un conjunto de pinceles con pintura de color y un conjunto de caras pintadas, asociando a cada pincel la cara que esta pintada del mismo color.

Relacin binaria Puede haber pinceles o caras del mismo color, pero deben ser considerados como elementos distintos del conjunto, si dos pinceles o dos caras son del mismo color tienen la misma caracterstica color, siendo elementos del conjunto diferentes. En el diagrama podemos ver el conjunto inicial de pinceles P, sobre el que esta definida la relacin:
, , ,

13

Solo algunos elementos del conjunto origen tienen asociado un elemento, estos elementos forman el conjunto origen:
, ,

Y el conjunto final de caras pintadas C es:

, , ,

Los elementos del conjunto final a los que se les ha asociado un origen se llama conjunto imagen:
, ,

La relacin binaria es la formada por los pares ordenados:

, , , ,

Una relacin binaria homognea:

Puede ser tratada como heterognea considerando el conjunto inicial y final como distintos, si lo que se esta tratando es una correspondencia, con la misma validez que si los conjuntos seran distintos, pudiendo realizar simultneamente su anlisis como relacin homognea, si es factible. Propiedades de las relaciones binarias heterognea Partiendo de una relacin binarias heterognea R, entre los conjunto A y B:

Por su importancia podemos distinguir las siguientes condiciones, que nos permiten diferenciar los subtipos de correspondencias.

Relacin binaria Condicin de existencia de imagen. (ei) La condicin de existencia de imagen garantiza que tomando un elemento cualesquiera a de A tiene al menos una imagen b en B.

14

para todo elemento a de A se cumple que existe al menos un b de B, a y b estn relacionado. En la figura podemos ver el conjunto P de los pinceles:

y el C de las caras pintada:

, , ,

Si relacionamos cada pincel con la cara pintada del mismo color, podemos ver que todos los pinceles tienen al menos una cara asociada. Condicin de existencia de origen. (eo) La condicin de existencia de origen garantiza que todo elemento b de B tiene al menos un origen a en A.

para todo b de B se cumple que existe un a en A y que a y b estn relacionados. Si vemos la figura podemos ver el conjunto P de pinceles con pintura:

y el conjunto C de caras pintada:

,

Y que todas y cada una de las caras tiene al menos un pincel de su mismo color. Cada uno de los elementos del conjunto final tiene un origen.

Relacin binaria Condicin de unicidad de imagen. (ui) La condicin de unicidad de imagen garantiza que los elementos a de A que estn relacionados con algn b de B est relacionado con un nico elemento b de B, es decir:

15

si un elemento a de A esta relacionado con dos elementos b de B esos dos elementos son iguales. Condicin de unicidad de imagen garantiza que los elementos que tienen imagen tengan una sola imagen, pero no garantiza que todos los elementos de A tengan imagen, esta diferencia es importante. En el diagrama sagital de la derecha vemos el conjunto P:

Y el conjunto final C, de caras pintada:

, ,

Los pinceles que tienen una cara relacionada, tienen una sola cara relacionada. Condicin de unicidad de origen. (uo) La condicin de unicidad de origen dice: que los elementos b de B que estn relacionados con algn a de A est relacionado solo con un nico elemento a de A, es decir:

En el diagrama tenemos el conjunto inicial P de pinceles con pintura de colores:

y el conjunto final C de caras pintadas:

, , ,

Relacionando cada pincel con la cara de su mismo color, podemos ver que las caras que tienen un pincel relacionado, solo tienen un pincel relacionado, esto es un solo origen, no todas las caras tienen un origen, pero las que lo tienen, tienen un solo origen.

Relacin binaria Galera de ejemplos Segn las cuatro condiciones expuestas, cada una de ellas independiente de las dems, podemos ver una serie de ejemplos ilustrativos de los casos que se pueden presentar. Utilizaremos como conjunto inicial el conjunto de tubos de pintura T, y como conjunto final el de pinceles P, asociando cada tubo de pintura con el pincel del mismo color.

16

Correspondencia

Existencia imagen: no Unicidad imagen: Existencia origen: Unicidad origen: no no no

Correspondencia

Existencia imagen: si Unicidad imagen: Existencia origen: Unicidad origen: no no no

C. Unvoca

Existencia imagen: no Unicidad imagen: Existencia origen: Unicidad origen: si no no

Relacin binaria

17

Aplicacin

Existencia imagen: si Unicidad imagen: Existencia origen: Unicidad origen: si no no

Correspondencia

Existencia imagen: no Unicidad imagen: Existencia origen: Unicidad origen: no si no

Correspondencia

Existencia imagen: si Unicidad imagen: Existencia origen: Unicidad origen: no si no

Relacin binaria

18

C. Unvoca

Existencia imagen: no Unicidad imagen: Existencia origen: Unicidad origen: si si no

A. Sobreyectiva

Existencia imagen: si Unicidad imagen: Existencia origen: Unicidad origen: si si no

Correspondencia

Existencia imagen: no Unicidad imagen: Existencia origen: Unicidad origen: no no si

Relacin binaria

19

Correspondencia

Existencia imagen: si Unicidad imagen: Existencia origen: Unicidad origen: no no si

C. Biunvoca

Existencia imagen: no Unicidad imagen: Existencia origen: Unicidad origen: si no si

A. Inyectiva

Existencia imagen: si Unicidad imagen: Existencia origen: Unicidad origen: si no si

Relacin binaria

20

Correspondencia

Existencia imagen: no Unicidad imagen: Existencia origen: Unicidad origen: no si si

Correspondencia

Existencia imagen: si Unicidad imagen: Existencia origen: Unicidad origen: no si si

C. Biunvoca

Existencia imagen: no Unicidad imagen: Existencia origen: Unicidad origen: si si si

Relacin binaria

21

A. Biyectiva

Existencia imagen: si Unicidad imagen: Existencia origen: Unicidad origen: si si si

Clases de las relaciones binarias heterognea Partiendo de las caractersticas de las relaciones binarias heterogneas, podemos diferenciar los siguientes casos. Correspondencia unvoca Una correspondencia es unvoca si cumple la condicin de unicidad de imagen:

Dada una relacin binarias heterognea R, entre los conjunto A y B:

Esta relacin es una correspondencia unvoca, si cumple: 1.- Unicidad de imagen: se dice que cumple la condicin de unicidad de imagen si los elementos a de A que tienen imagen, tienen una sola imagen:

Esta condicin en necesaria y suficiente para que una correspondencia sea considerada unvoca.

Relacin binaria Correspondencia biunvoca Una correspondencia es biunvoca si cumple las condiciones de unicidad de imagen y unicidad de origen:
Dada una relacin binarias heterognea R, entre los conjunto A y B:

22

Esta relacin es una correspondencia biunvoca, si cumple: 1.- Unicidad de imagen: se dice que cumple la condicin de unicidad de imagen si los elementos a de A que tienen imagen, tienen una sola imagen:

2.- Unicidad de origen: se dice que cumple la condicin de unicidad de origen si los elementos b de B que tienen origen, tienen un solo origen:

Aplicacin Una correspondencia se denomina aplicacin[6] si cumple la condicin de unicidad de imagen y de existencia de imagen. El trmino funcin se suele utilizar cuando los conjuntos inicial y final son numricos.[7] Una funcin es el trmino usado para indicar la relacin o correspondencia entre dos o ms cantidades.[8]
Dada una relacin binarias heterognea R, entre los conjunto A y B:

Esta relacin es una aplicacin, si cumple: 1.- Unicidad de imagen: se dice que cumple la condicin de unicidad de imagen si los elementos a de A que tienen imagen, tienen una sola imagen:

2.- Existencia de imagen: se dice que cumple la condicin de existencia de imagen si para todos los elementos a de A existe al menos una imagen b en B:

Si una correspondencia cumple estas dos condiciones se denomina aplicacin. Aplicacin inyectiva Una correspondencia es una aplicacin inyectiva si cumple la condicin de unicidad de imagen, existencia de imagen y unicidad de origen.
Dada una relacin binarias heterognea R, entre los conjunto A y B:

Esta relacin es una aplicacin inyectiva, si cumple: 1.- Unicidad de imagen: se dice que cumple la condicin de unicidad de imagen si los elementos a de A que tienen imagen, tienen una sola imagen:

2.- Existencia de imagen: se dice que cumple la condicin de existencia de imagen si para todos los elementos a de A existe al menos una imagen b en B:

3.- Unicidad de origen: se dice que cumple la condicin de unicidad de origen si los elementos b de B que tienen origen, tienen un solo origen:

Relacin binaria Como puede verse una aplicacin que cumple la condicin de unicidad de origen es una Aplicacin inyectiva. De otra forma no tan usual, podemos decir que una correspondencia biunvoca que cumpla la condicin de existencia de imagen tambin es una aplicacin inyectiva. Aplicacin sobreyectiva Una correspondencia se llama Aplicacin sobreyectiva si cumple la condicin de unicidad de imagen, existencia de imagen y existencia de origen:
Dada una relacin binarias heterognea R, entre los conjunto A y B:

23

Esta relacin es una aplicacin sobreyectiva, si cumple: 1.- Unicidad de imagen: se dice que cumple la condicin de unicidad de imagen si los elementos a de A que tienen imagen, tienen una sola imagen:

2.- Existencia de imagen: se dice que cumple la condicin de existencia de imagen si para todos los elementos a de A existe al menos una imagen b en B:

3.- Existencia de origen: se dice que cumple la condicin de existencia de origen si para todos los elementos b de B existe al menos un origen a en A:

Se puede decir que una aplicacin sobreyectiva, es una aplicacin que cumple la condicin de existencia de origen. Aplicacin biyectiva Una correspondencia es una aplicacin biyectiva si cumple las condiciones de unicidad de imagen, existencia de imagen, unicidad de origen y existencia de origen:
Dada una relacin binarias heterognea R, entre los conjunto A y B:

Esta relacin es una aplicacin biyectiva, si cumple: 1.- Unicidad de imagen: se dice que cumple la condicin de unicidad de imagen si los elementos a de A que tienen imagen, tienen una sola imagen:

2.- Existencia de imagen: se dice que cumple la condicin de existencia de imagen si para todos los elementos a de A existe al menos una imagen b en B:

3.- Unicidad de origen: se dice que cumple la condicin de unicidad de origen si los elementos b de B que tienen origen, tienen un solo origen:

4.- Existencia de origen: se dice que cumple la condicin de existencia de origen si para todos los elementos b de B existe al menos un origen a en A:

Una Aplicacin es biyectiva, si es inyectiva y sobreyectiva.

Relacin binaria

24

Propiedades
Las relaciones binarias pueden tener o no estas propiedades. R ser:
Relacin simtrica Relacin antisimtrica Relacin reflexiva Relacin irreflexiva Relacin transitiva Relacin intransitiva Relacin circular Relacin total

Referencias
[1] Relaciones binarias (http:/ / webs. uvigo. es/ matematicas/ campus_vigo/ cursos03-04/ Relacions/ apuntes2. pdf) (en espaol) (pdf) (1 de 2004). Consultado el 19-06-2011. [2] Gutirrez Gmez, Andrs; Garca Castro, Fernando (1981). 2.2 Relaciones binarias (en espaol). lgebra lineal (1 edicin). Ediciones Pirmide, S.A.. pp.71. ISBN 978-84-368-0174-3. [3] RELACIN BINARIA (http:/ / eneayudas. cl/ index. php?option=com_content& task=view& id=103& Itemid=132) (en espaol) (11 de 2007). [4] Gutirrez Gmez, Andrs; Garca Castro, Fernando (1981). 2.3. Relaciones de equivalencia (en espaol). lgebra lineal (1 edicin). Ediciones Pirmide, S.A.. pp.74. ISBN 978-84-368-0174-3. [5] Jos Juan Carreo Carreo (10 de 2008). LGEBRA Curso 2008/09 (http:/ / www. eui. upm. es/ ~jjcc/ alg200809personal/ material/ Imprimir_Tema_I_ALG_MD. pdf) (en espaol) (pdf) pgs. 12. [6] Jos Juan Carreo Carreo (10 de 2008). LGEBRA Curso 2008/09 (http:/ / www. eui. upm. es/ ~jjcc/ alg200809personal/ material/ Imprimir_Tema_I_ALG_MD. pdf) (en espaol) (pdf) pgs. 13. [7] Gutirrez Gmez, Andrs; Garca Castro, Fernando (1981). 3.2. Aplicaciones o funciones (en espaol). lgebra lineal (1 edicin). Ediciones Pirmide, S.A.. pp.131. ISBN 978-84-368-0174-3. [8] Alejandro Carreiras. Monografias.com: Ayuda Matemticas ESO. (http:/ / www. monografias. com/ trabajos7/ mafu/ mafu. shtml) (en espaol) pgs. 2. Funciones.

Bibliografa
1. Gonzlez Gmez, Antonia (6 de 2009) (en espaol). lgebra lineal. Fundacin Conde del Valle de Salazar. ISBN 978-84-96442-28-3. 2. Baquerizo Azofra, Clara (4 de 2008) (en espaol). Matemtica discreta y lgebra lineal (1 edicin). Martn Gmez, Emilia. ISBN 978-84-612-3787-6. 3. Climent Coloma, Joan Josep (6 de 2001) (en espaol). lgebra. Teora de conjuntos y estructuras algebraicas (1 edicin). Editorial Club Universitario. ISBN 978-84-8454-081-6. 4. Gutirrez Gmez, Andrs; Garca Castro, Fernando (1981) (en espaol). lgebra lineal (1 edicin). Ediciones Pirmide, S.A.. ISBN 978-84-368-0174-3. 5. Losada Rodrguez, Ramn (7 de 1978) (en espaol). Anlisis matemtico. Ediciones Pirmide, S.A.. ISBN 978-84-368-0096-8. 6. Losada Rodrguez, Ramn (9 de 1973) (en espaol). Conjuntos lgebra Lineal (2 edicin). ISBN 978-84-400-6592-6.

Relacin binaria

25

Enlaces externos
Relaciones binarias (http://webs.uvigo.es/matematicas/campus_vigo/cursos03-04/Relacions/apuntes2.pdf) Relaciones binarias (http://eneayudas.cl/index.php?option=com_content&task=view&id=103&Itemid=132) Conjuntos, aplicaciones y relaciones binarias. (http://www.eui.upm.es/~jjcc/alg200809personal/material/ Imprimir_Tema_I_ALG_MD.pdf) Relaciones binarias y grafos (http://www.edicionsupc.es/ftppublic/pdfmostra/IN01206M.pdf) Relacin (http://www.fing.edu.uy/~webimerl/discreta1/material/relaciones.pdf)

Fuentes y contribuyentes del artculo

26

Fuentes y contribuyentes del artculo

Relacin binaria Fuente: http://es.wikipedia.org/w/index.php?oldid=53169172 Contribuyentes: Abece, Akhram, Ascnder, Davius, Dnu72, Domaniom, Eduardosalg, Elwikipedista, Farisori, Francisco Serrador, Gtz, HiTe, Hprmedina, JMCC1, Jarisleif, Kieromorir0, Linkedark, Lobillo, Muro de Aguas, Netzahualcoyotl, OboeCrack, PABLOLIZ, Quetzal02, Rapel, Ummowoa, Wikihose, 48 ediciones annimas

Fuentes de imagen, Licencias y contribuyentes

Archivo:ClasiBinaEs 001.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:ClasiBinaEs_001.svg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: Dnu72 Archivo:ClasiBinaEs 002.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:ClasiBinaEs_002.svg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: Dnu72 Archivo:Relacin binaria 11.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Relacin_binaria_11.svg Licencia: Public Domain Contribuyentes: HiTe Archivo:Relacin binaria 12.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Relacin_binaria_12.svg Licencia: Public Domain Contribuyentes: HiTe Archivo:ClasiBinaEs 004.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:ClasiBinaEs_004.svg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: Dnu72 Archivo:RelaRef 01.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:RelaRef_01.svg Licencia: Creative Commons Attribution-Sharealike 3.0 Contribuyentes: User:Dnu72 Archivo:RelaRef 11.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:RelaRef_11.svg Licencia: Creative Commons Attribution-Sharealike 3.0 Contribuyentes: User:Dnu72 Archivo:RelaRef 21.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:RelaRef_21.svg Licencia: Creative Commons Attribution-Sharealike 3.0 Contribuyentes: User:Dnu72 Archivo:RelaRef 00.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:RelaRef_00.svg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: Dnu72 Archivo:RelaRef 05.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:RelaRef_05.svg Licencia: Creative Commons Attribution-Sharealike 3.0 Contribuyentes: User:Dnu72 Archivo:RelaRef 25.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:RelaRef_25.svg Licencia: Creative Commons Attribution-Sharealike 3.0 Contribuyentes: User:Dnu72 Archivo:RelaRef 03.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:RelaRef_03.svg Licencia: Creative Commons Attribution-Sharealike 3.0 Contribuyentes: User:Dnu72 Archivo:RelaRef 23.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:RelaRef_23.svg Licencia: Creative Commons Attribution-Sharealike 3.0 Contribuyentes: User:Dnu72 Archivo:OrdenParcial.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:OrdenParcial.svg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: Dnu72 Archivo:Correspon 0102.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Correspon_0102.svg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: HiTe Archivo:Correspon 32.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Correspon_32.svg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: HiTe Archivo:Correspon P2.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Correspon_P2.svg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: HiTe Archivo:Correspon P4.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Correspon_P4.svg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: HiTe Archivo:Correspon P1.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Correspon_P1.svg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: HiTe Archivo:Correspon C0.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Correspon_C0.svg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: HiTe Archivo:Correspon C2.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Correspon_C2.svg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: HiTe Archivo:Correspon C1.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Correspon_C1.svg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: HiTe Archivo:ClasiBinaEs 219.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:ClasiBinaEs_219.svg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: Dnu72 Archivo:Correspon 1002.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Correspon_1002.svg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: HiTe Archivo:Correspon C4.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Correspon_C4.svg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: HiTe Archivo:Correspon 0702.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Correspon_0702.svg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: HiTe Archivo:Correspon P0.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Correspon_P0.svg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: HiTe Archivo:Correspon 0502.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Correspon_0502.svg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: HiTe Archivo:Correspon 0202.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Correspon_0202.svg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: HiTe Archivo:Correspon C5.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Correspon_C5.svg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: HiTe Archivo:Correspon 0101.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Correspon_0101.svg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: HiTe Archivo:Correspon 0301.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Correspon_0301.svg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: HiTe Archivo:Correspon 0201.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Correspon_0201.svg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: HiTe Archivo:Correspon 0401.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Correspon_0401.svg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: HiTe Archivo:Correspon 0901.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Correspon_0901.svg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: HiTe Archivo:Correspon 1101.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Correspon_1101.svg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: HiTe Archivo:Correspon 1001.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Correspon_1001.svg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: HiTe Archivo:Correspon 1201.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Correspon_1201.svg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: HiTe Archivo:Correspon 0501.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Correspon_0501.svg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: HiTe Archivo:Correspon 0701.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Correspon_0701.svg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: HiTe Archivo:Correspon 0601.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Correspon_0601.svg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: HiTe Archivo:Correspon 0801.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Correspon_0801.svg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: HiTe Archivo:Correspon 1301.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Correspon_1301.svg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: HiTe Archivo:Correspon 1501.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Correspon_1501.svg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: HiTe Archivo:Correspon 1401.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Correspon_1401.svg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: HiTe Archivo:Correspon 1601.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Correspon_1601.svg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: HiTe Archivo:ClasiBinaEs 003.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:ClasiBinaEs_003.svg Licencia: Creative Commons Attribution-Share Alike Contribuyentes: Dnu72

Licencia
Creative Commons Attribution-Share Alike 3.0 Unported //creativecommons.org/licenses/by-sa/3.0/