MATEMATICAS DISCRETAS 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: [editar]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: [editar]Par

ordenado

Artculo principal: 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:

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

Producto cartesiano
Artculo principal: 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:

[editar]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 2 subconjunto del producto cartesiano de los conjuntos.

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. 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:

[editar]Relacin

heterognea

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

[editar]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:

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 de pares ordenados (x, y), donde x, y pertenecen a A, la relacin binaria ser el subconjunto de que contiene todos los pares d e d (a, d) (b, d) (c, d) (d, d) e l e m e n t o s relacionados. c b a AA (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:

[editar]Propiedad reflexiva
Artculo principal: Relacin reflexiva.

Una relacin tiene la propiedad 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:

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.

[editar]Propiedad irreflexiva
Artculo principal: Relacin irreflexiva.

Una relacin binaria tiene la propiedad 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.

Propiedad simtrica
Artculo principal: Relacin simtrica.

Una relacin binaria tiene la propiedad 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.

[editar]Propiedad antisimtrica
Artculo principal: Relacin antisimtrica.

Una relacin binaria se dice que tiene la propiedad 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

[editar]Propiedad transitiva
Artculo principal: Relacin transitiva.

Una relacin binaria tiene la propiedad 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:

[editar]Propiedad total
Artculo principal: 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 bien fundada

Artculo principal: Relacin bien fundada.

Dado un conjunto A y una relacin R, entre los elementos de ese conjunto, esta relacin se dice bien fundada, si para todo subconjunto B de A se cumple que existe un m en B tal que para todo b de B, y b distinto de m, el par ordenado (b,m) no pertenece a R.

Esto es para todo subconjunto B de A, existe un m en B, que es el elemento mnimo de ese subconjunto. [editar]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 por 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 relacin 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.

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.

[editar]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 relaciones 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 son un caso particular de las no reflexivas.

Las relaciones irreflexivas son un caso particular de las no reflexivas. Dado un conjunto A, y una relacin binaria R entre sus elementos

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

Tambin podemos decir que una relacin es irreflexiva si:

Una relacin es irreflexiva si no existe un a en A que cumpla que a esta relacionado consigo mismo.

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.

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, si una relacin es reflexiva, tenemos que:

y si es irreflexiva, se cumple:

Donde se ve claramente la incompatibilidad de las dos condiciones. El razonamiento contrario no es cierto dado que una relacin binaria puede ser NO reflexiva y NO irreflexiva simultneamente: Una relacin binaria es no reflexiva si:

Y una relacin es no irreflexiva cuando:

Estas dos condiciones son perfectamente compatibles, dando lugar a una relacin binaria no reflexiva y no irreflexiva:

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.

[editar]Relacin de dependencia
Artculo principal: 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 ela.

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:

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
Artculo principal: 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.

[editar]Relacin de equivalencia
Artculo principal: Relacin de equivalencia.

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

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:

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

[editar]Conjunto parcialmente ordenado

Artculo principal: 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:

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.

[editar]Orden total
Artculo principal: 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

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) perte necen 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:

[editar]Conjunto bien ordenado

Artculo principal: Conjunto bien ordenado.

Dado un conjunto A y una relacin R, entre los elementos de ese conjunto, se dice que es un conjunto bien ordenado si cumple:

Dado un conjunto A, y una relacin binaria R entre sus elementos

Se dice que esta relacin binaria define un conjunto bien 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.

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.

5.- Relacin bien fundada: dado un conjunto A y una relacin R, entre los elementos de ese conjunto, esta relacin se dice bien fundada, si pata todo subconjunto B de A se cumple que existe un m en B tal que para todo b de B, distinto de m, el par ordenado (b,m) no pertenece a R.

Relacin binaria heterognea

Artculo principal: Correspondencia matemtica.

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 6

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.

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: , , ,

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.

[editar]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.

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.

[editar]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.

[editar]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 deB, es decir:

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.

[editar]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.

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.

Correspondencia Existencia imagen: Unicidad imagen: Existencia origen: Unicidad origen:

Correspondencia Existencia imagen: Unicidad imagen: Existencia origen: Unicidad origen:

C. Unvoca Existencia imagen: Unicidad imagen: Existencia origen: Unicidad origen:

Aplicacin Existencia imagen: Unicidad imagen: Existencia origen: Unicidad origen:

no

si

no

si

no

no

si

si

no

no

no

no

no

no

no

no

Correspondencia Existencia imagen: Unicidad imagen:

Correspondencia Existencia imagen: Unicidad imagen:

C. Unvoca Existencia imagen: Unicidad imagen:

A. Sobreyectiva Existencia imagen: Unicidad imagen:

no

si

no

si

no

no

si

si

Existencia origen: Unicidad origen:

si

Existencia origen: Unicidad origen:

si

Existencia origen: Unicidad origen:

si

Existencia origen: Unicidad origen:

si

no

no

no

no

Correspondencia Existencia imagen: Unicidad imagen: Existencia origen: Unicidad origen:

Correspondencia Existencia imagen: Unicidad imagen: Existencia origen: Unicidad origen:

C. Biunvoca Existencia imagen: Unicidad imagen: Existencia origen: Unicidad origen:

A. Inyectiva Existencia imagen: Unicidad imagen: Existencia origen: Unicidad origen:

no

si

no

si

no

no

si

si

no

no

no

no

si

si

si

si

Correspondencia Existencia imagen: Unicidad imagen:

Correspondencia Existencia imagen: Unicidad imagen:

C. Biunvoca Existencia imagen: Unicidad imagen:

A. Biyectiva Existencia imagen: Unicidad imagen:

no

si

no

si

no

no

si

si

Existencia origen: Unicidad origen:

si

Existencia origen: Unicidad origen:

si

Existencia origen: Unicidad origen:

si

Existencia origen:

si

si

si

si

Unicidad origen: si

Clases de las relaciones binarias heterognea

Partiendo de las caractersticas de las relaciones binarias heterogneas, podemos diferenciar los siguientes casos.

[editar]Correspondencia unvoca
Artculo principal: 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.

Correspondencia biunvoca
Artculo principal: 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:

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
Artculo principal: Aplicacin matemtica.

Una correspondencia se denomina aplicacin si todo elemento de A admite una 7 8 9 10 unica imagen en B. , esto es si cumple la condicin de unicidad de imagen y de existencia de imagen. Si la aplicacin la representamos como R, tendremos:

por la que definimos una aplicacin que a cada elemento a de A se le asigna un unico b de B.

Para todo a de A, se cumple que existe un nico b de B, tal que b es el resultado R(a). El trmino funcin se suele utilizar cuando los conjuntos inicial y final son numricos.
11

Una funcin es el trmino usado para indicar la relacin o correspondencia entre dos o ms cantidades.
12

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 ben B:

Si una correspondencia cumple estas dos condiciones se denomina aplicacin.

Aplicacin inyectiva
Artculo principal: 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 ben 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:

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.

[editar]Aplicacin sobreyectiva
Artculo principal: 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:

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 ben 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 enA:

Se puede decir que una aplicacin sobreyectiva, es una aplicacin que cumple la condicin de existencia de origen.

[editar]Aplicacin biyectiva
Artculo principal: 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 ben 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 enA:

Una Aplicacin es biyectiva, si es inyectiva y sobreyectiva. [editar]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