You are on page 1of 34

MATEMATICAS DISCRETAS Relación binaria

En matemáticas, una relación binaria es una relación matemática R entre los elementos de dos conjuntos A y B. Una relación de este tipo se puede representar mediante pares ordenados, :1

Las proposiciones siguientes son correctas para representar una relación binaria

:

También puede expresarse:

En notación polaca

Ejemplo
 Dado el conjunto R de los números reales, definimos la relación binaria P (x,y) de los puntos del plano, tal que :

Partiendo del conjunto A de los automóviles de una localidad y P de las personas, podemos definir la relación binaria C Conduce, formada por cada automóvil a, y quien lo conduce p: [editar]Diagrama

índice

A modo de guía o diagrama índice del estudio de las relaciones binarias, podemos presentar el siguiente gráfico.

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

ordenado

Artículo 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. Matemáticamente 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
Artículo 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 intersección 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 enumeración de los elementos, del conjunto de pares ordenados, seria el siguiente:

[editar]Relación

binaria, subconjunto del producto cartesiano

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

que por extensión resulta:

Donde los pares ordenados que definen la relación binaria son un 2 subconjunto del producto cartesiano de los conjuntos.

se hace de dos en dos elementos. en el esquema se puede ver algunas estructuras algebraicas o subtipos de relación binaria. En primer lugar diferenciamos las relaciones binarias homogéneas de las heterogéneas. por lo que en realidad lo que determina es su estructura interna. tanto numéricos como no numéricos. Relación homogénea Una relación binaria entre dos conjuntos se llama homogénea si estos dos conjuntos son iguales: Dado que A y B son el mismo conjunto. lo que da lugar a operaciones o funciones matemáticas de cálculo. en las primeras la relación binaria se establece entre los elementos de un único conjunto. se debe a que una gran parte de las asociaciones entre elementos de conjuntos. tanto si son elementos de un único conjunto o de dos conjuntos distintos. una relación homogénea puede ser tratada como heterogénea con los mismos subtipos. se suele representar: O bien: .Clasificación La importancia en matemáticas de las relaciones binarias. mientras que en las segundas se establecen relaciones entre dos conjuntos distintos. Emplearemos este esquema para ver estos casos. pero no al contrario.

se llama heterogénea si A es distinto 3 de B: [editar]Relación binaria homogénea Como ya se definió antes. representada en la figura. en este caso representado por las flechas. llamando A al conjunto. como enumeración de las relaciones entre los elementos del conjunto A. el A y que la relación entre los elementos es interior al conjunto. una relación binaria homogénea es la que se da entre los elementos de un único conjunto. dado que los distintos tipos de relación que se pueden determinar entre sus elementos tomados de dos en dos.[editar]Relación heterogénea Una relación binaria entre dos conjuntos A y B. En este caso podemos decir. lo veremos con un ejemplo: Dado el conjunto A: y la relación entre los elementos de este conjunto. o como conjunto de pares ordenados: . tendríamos: Si la Relación binaria es entre los elementos de un único conjunto. determina la estructura del conjunto. se puede ver que solo hay un conjunto.

También podemos representar una relación binaria homogénea como una correspondencia de A sobre A: Tomando como conjunto inicial al conjunto A y como final también el conjunto A. d) (d. teniendo siempre en cuenta. necesariamente. c b a A×A (a. a) (b. c) (b. c) (a. c) (d. donde x. a) (c. nos permite asociar un elemento inicial a otro final dentro de un mismo conjunto. En este caso el análisis de la relación binaria se hace según los distintos tipos de correspondencia con el mismo significado que en las relaciones heterogéneas Representación de una relación binaria como subconjunto del producto cartesiano: Dado el producto de pares ordenados (x. b) (a. b) (b. y). la relación es unidireccional. la relación binaria será el subconjunto de que contiene todos los pares d e d (a. c) (c. determinando una operación o función de cálculo y no una estructura interna. que si bien el conjunto inicial y final son un mismo conjunto. a) (d. d) (c. b) (d. y si el elemento a está relacionado con el b no implica. a) a b c d . d) e l e m e n t o s relacionados. b) (c. d) (b. y pertenecen a A. que el b lo este con el a.

Propiedades de las relaciones binarias homogénea Una relación binaria puede tener ciertas propiedades. también llamada: antirreflexiva o antirrefleja. Téngase en cuenta que debe cumplirse para todos los elementos del conjunto sin excepción. y en el eje vertical el conjunto final. si esta propiedad solo se da en algunos casos la relación no es reflexiva: No existe ningún elemento a en A. veamos algunas: [editar]Propiedad reflexiva Artículo principal: Relación reflexiva. Puede verse que estas dos afirmaciones son iguales. [editar]Propiedad irreflexiva Artículo principal: Relación irreflexiva. para el que el par ordenado (a.a) pertenece a la relación binaria R. si no todos los elementos del conjunto están relacionados consigo mismo se dice que la relación no es reflexiva. si ningún elemento del conjunto esta relacionado consigo mismo: Que también puede expresarse . Para todo elemento a que pertenezca al conjunto A. según los pares ordenados que formen parte de dicha relación o no formen parte de ella.Si el producto es: el conjunto R de la relación binaria se representa: Nótese que en el eje horizontal se representa el conjunto inicial.a) no pertenezca a la relación R. si todo elemento esta relacionado consigo mismo. Una relación binaria tiene la propiedad irreflexiva. el par ordenado (a. Una relación tiene la propiedad reflexiva.

no existen los elementos a. o a esta relacionado con b ó b esta relacionado con a. entonces a esta relacionado con c: [editar]Propiedad total Artículo principal: Relación total. b.a) tampoco tiene que pertenecer a esa relación: No existe ningún par ordenado (a.a) no pertenezca a R.b) pertenece a la relación entonces el par (b. implica que el par (b. Una relación binaria tiene la propiedad simétrica. y que a este relacionado con b y b este relacionado con a [editar]Propiedad transitiva Artículo principal: Relación transitiva.a) también pertenece a esa relación: Para todo par ordenado (a. si a esta relacionado con b y b esta relacionado con c.a) también pertenece a R. [editar]Propiedad antisimétrica Artículo principal: Relación antisimétrica. Una relación binaria tiene la propiedad transitiva cuando.a) pertenecen a la relación entonces a = b: Dicho de otra manera.b) no pertenece a la relación el par (b.b) que pertenezca a R. esto es el grafo de la relación es conexo: . Una relación binaria se dice que tiene la propiedad antisimétrica si los pares ordenado (a. dado los elementos a. b.No existe ningún elemento a en el conjunto A que cumpla que: (a. téngase en cuenta que si el par (a. Una relación binaria se dice que es total: si para todo elemento del conjunto: a. c del conjunto. b distintos.a) pertenezca a R.b) y (b. Propiedad simétrica Artículo principal: Relación simétrica. si se cumple que un par ordenado (a.b) que pertenezca a R y que el par (b.

téngase en cuenta que las relaciones binarias no reflexivas y las irreflexivas son casos muy particulares muy poco estudiados. y b distinto de m. y una relación binaria R entre sus elementos .m) no pertenece a R. entre los elementos de ese conjunto. existe un m en B. que es el elemento mínimo de ese subconjunto. Esto es para todo subconjunto B de A. por su poca importancia en los casos más generales. el par ordenado (b. Dado un conjunto A y una relación R.Relación bien fundada Artículo principal: Relación bien fundada. se pueden diferenciar algunas por su especial interés: Relación reflexiva La propiedad reflexiva de una relación binaria es el inicio para los casos más elaborados. [editar]Clases de las relaciones binarias homogénea Partiendo de las propiedades que una relación binaria homogéneas puede tener. esta relación 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. Las relaciones reflexivas son las definidas así: Dado un conjunto A.

y en el eje vertical(abscisas) el conjunto final. de izquierda a derecha.Relación reflexiva: la relación R es reflexiva si todo elemento a de A esta relacionado consigo mismo. así dado un conjunto de números. si cumple: 1. El caso más claro de propiedad reflexiva es la de igualdad. y la propiedad de igualdad entre números. Dado un conjunto A. formado por los siguientes elementos: Y una relación R entre los elementos del conjunto. La relación R. tenemos que todo número natural es igual a sí mismo. los naturales por ejemplo. de abajo a arriba.. definida así: Podemos ver que los pares ordenados que tienen sus dos términos iguales pertenecen a la relación: Luego la relación R es reflexiva.Se dice que esta relación binaria es relación reflexiva. En el eje horizontal (ordenadas) representamos el conjunto inicial. también se puede representar en coordenadas cartesianas. si un determinado par pertenece a la relación se coloca una cruz en la casilla .

dado que: Para todo elemento e del conjunto A. Ver diagrama: Las relaciones irreflexivas son un caso particular de las no reflexivas.correspondiente. donde los pares (e. en la que todo elemento del conjunto esta relacionado consigo mismo. Puede verse que si en una relación binaria algunos elementos están relacionados consigo mismo y otros no.e) pertenecen a la relación. En cualquiera de las tres formas de representación vistas: enumeración de pares ordenados. un caso particular de relación no reflexiva son las relaciones irreflexivas. el par ordenado (e. corresponde a los pares ordenados en los que sus dos elementos son iguales. . representando de este modo en coordenadas cartesianas la relación binaria. la relación es reflexiva Como puede verse en el diagrama. una relación que no cumple la propiedad reflexiva es no reflexiva. la relación estudiada es reflexiva. inferior izquierda. el diagrama sagital. con una flecha que sale y llega a cada elemento del conjunto. la relación no es reflexiva y tampoco es irreflexiva. o en coordenadas cartesianas.e) pertenece a la relación R. si no pertenece se deja en blando. [editar]Relación no reflexiva Los casos más estudiados de relaciones binarias homogéneas son las que cumplen la propiedad reflexiva. en todos los casos se representa una relación reflexiva. en las que ningún elemento del conjunto esta relacionado consigo mismo. En la diagonal principal. si todas las casillas de esta diagonal tienen aspas. superior derecha. donde hay cruces en la diagonal principal.

También podemos decir que una relación es irreflexiva si: Una relación es irreflexiva si no existe un a en A que cumpla que a esta relacionado consigo mismo. luego esta relación en irreflexiva..e) no pertenece a la relación R. el par ordenado (e. si cumple: 1. Dado el conjunto: y la relación entre los elementos de este conjunto: Podemos ver que: Para todo elemento e del conjunto A. . y una relación binaria R entre sus elementos Se dice que esta relación binaria es relación irreflexiva. Dado un conjunto A.Relación irreflexiva: la relación R es irreflexiva si todo elemento a de A no esta relacionado consigo mismo.Las relaciones irreflexivas son un caso particular de las no reflexivas.

si una relación es reflexiva. La propiedad reflexiva e irreflexiva son mutuamente excluyentes en una misma relación. se cumple: Donde se ve claramente la incompatibilidad de las dos condiciones. dando lugar a una relación binaria no reflexiva y no irreflexiva: veamos un ejemplo. dado el conjunto: En la que se ha definido la relación binaria: Podemos ver que: Y también que: .La representación de la relación en coordenadas cartesianas nos permite ver que la diagonal principal no tiene ninguna cruz. tenemos que: y si es irreflexiva. lo que es equivalente a la irrefrexibilidad de la relación. el cumplimiento de una de ellas da lugar al incumplimiento de la otra necesariamente. El razonamiento contrario no es cierto dado que una relación binaria puede ser NO reflexiva y NO irreflexiva simultáneamente: Una relación binaria es no reflexiva si: Y una relación es no irreflexiva cuando: Estas dos condiciones son perfectamente compatibles.

Una relación binaria es una relación de dependencia si es reflexiva y simétrica: Dado un conjunto A. 2.. y una relación binaria R entre sus elementos Se dice que esta relación binaria es relación de dependencia. podemos ver que en la diagonal principal no todas las casillas tienen un aspa. una relación no puede ser reflexiva e irreflexiva simultáneamente.Luego la relación no es reflexiva y tampoco es irreflexiva. podemos diferenciar tres clases de relaciones:    Relaciones reflexivas Relaciones irreflexivas Relaciones no reflexivas y no irreflexivas. En resumen. si todo elemento a de A esta relacionado consigo mismo. entonces el b también esta relacionado con ela. esto es un relación binaria no reflexiva y no irreflexiva. que como ya se ha mencionado. si un elemento a esta relacionado con otro b.Relación reflexiva: la relación R es reflexiva. al darse estas dos condiciones simultáneamente en una misma relación.Relación simétrica: la relación R es simétrica. . y tampoco están todas en blanco luego tampoco es irreflexiva. [editar]Relación de dependencia Artículo principal: Relación de dependencia.. pero si puede ser no reflexiva y no irreflexiva simultáneamente. Si representamos la relación binaria en coordenadas cartesianas. luego la relación no es reflexiva. si cumple: 1. Dado.

y este b con otro c. 2. entonces el elemento a esta también relacionado con el c. tenemos que la relación binaria de proximidad es: es una relación de dependencia. b están próximos si su distancia es a lo sumo un valor D conocido. Una relación binaria define un conjunto preordenado si es reflexiva y transitiva: Dado un conjunto A. como el valor absoluto de su diferencia: y decimos que dos números naturales a. 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.Así por ejemplo si consideramos el conjunto de los números naturales.. Conjunto preordenado Artículo principal: Conjunto preordenado..Relación binaria reflexiva: la relación R es reflexiva si todo elemento a de A esta relacionado consigo mismo. no implica necesariamente que la distancia entre a y c no sea mayor que D. pero si denota una dependencia entre ellos. si cumple: 1. y una relación binaria R entre sus elementos Se dice que esta relación binaria define un conjunto preordenado. dado que es reflexiva: es simétrica: relación binaria de proximidad no es transitiva. Esta relación de dependencia entre los números por su distancia no es una clase de equivalencia. y definimos la distancia D entre dos números.Relación binaria transitiva: la relación R es transitiva si un elemento a esta relacionado con otro b. .

2.[editar]Relación de equivalencia Artículo principal: Relación de equivalencia.Relación reflexiva: la relación R es reflexiva si todo elemento a de A esta relacionado consigo mismo.Relación simétrica: la relación R es simétrica si un elemento a esta relacionado con otro b. 3. y la unión de todos ellos es el conjunto A. 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 números son congruentes modulo n.. una clase de equivalencia o familia de elementos es cada uno de los subconjuntos en que la relación de equivalencia divide al conjunto A. y una relación binaria R entre sus elementos Se dice que esta relación binaria es relación de equivalencia. veamos un ejemplo. Una relación binaria es una relación de equivalencia si es reflexiva. si al dividir cada uno de esos números por n dan el mismo resto: . Clases de equivalencia. entonces el b también esta relacionado con el a. Una relación de equivalencia define dentro del conjunto A lo que se denominan. entre ellos son disjuntos. entonces el elemento a esta también relacionado con el c.Relación transitiva: la relación R es transitiva si un elemento a esta relacionado con otro b... En Aritmética modular se define la operación modulo como el resto de la división. si cumple: 1. simétrica y transitiva: 4 Dado un conjunto A. y este b con otro c.

y este b con otro c. y una relación binaria R entre sus elementos Se dice que esta relación binaria define un conjunto parcialmente ordenado. transitiva y antisimétrica: Dado un conjunto A. es una Relación de equivalencia. . La congruencia modular de grado n.el 8 y el 17 son congruentes modulo 3 dado que al dividirlos por 3 en los dos casos dan por resto 2.Relación transitiva: la relación R es transitiva si un elemento a esta relacionado con otro b. 2. Un conjunto A se dice que esta parcialmente ordenado respecto a una relación binaria R si la relación R es reflexiva. de los números naturales. dado que es reflexiva: es simétrica: y es transitiva [editar]Conjunto parcialmente ordenado Artículo principal: Conjunto parcialmente ordenado. entonces el elemento a esta también relacionado con el c. si cumple: 1..Relación reflexiva: la relación R es reflexiva si todo elemento a de A esta relacionado consigo mismo..

b) y (b. es un conjunto parcialmente ordenado. 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 están relacionados por pertenencia si el primero es Subconjunto del segundo: La relación pertenencia entre los conjuntos potencia de A. formado. al ser reflexiva: Transitiva: Antisimetrica: . Tomando un conjunto A. entonces a y b son iguales..3.a) pertenecen a la relación R . por ejemplo.Relación antisimétrica: la relación R es antisimétrica si los pares ordenado (a.

respecto a la relación binaria pertenencia es un conjunto parcialmente ordenado. 8. 2. 9. Esta relación no es total dado que: Que se denominan no comparables. los pares de conjuntos no comparables son: 1.Por lo que el conjunto de las partes de A. 4. . 5. 3. 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. 6. 7.

[editar]Orden total Artículo principal: Orden total. 4.a) perte necen a la relación R .Relación transitiva: la relación R es transitiva si un elemento a esta relacionado con otro b.. antisimétrica y total: Dado un conjunto A.Relación reflexiva: la relación R es reflexiva si todo elemento a de A esta relacionado consigo mismo.. 3. y este b con otro c...b) y (b.Relación total: la relación R es total si para . y una relación binaria R entre sus elementos Se dice que esta relación binaria define un orden total. transitiva. 2. si cumple: 1. entonces a y b son iguales. entonces el elemento a esta también relacionado con el c.Relación antisimétrica: la relación R es antisimétrica si los pares ordenado (a. Un conjunto A se dice que esta totalmente ordenado respecto a una relación binaria R si la relación R es reflexiva.

se dice que es un conjunto bien ordenado si cumple: Dado un conjunto A. Dado un conjunto A y una relación R. Si tomamos el conjunto de los números enteros Z. entonces el elemento a esta también relacionado con el c.Relación reflexiva: la relación R es reflexiva si todo elemento a de A esta relacionado consigo mismo. y este b con otro c. y una relación binaria R entre sus elementos Se dice que esta relación binaria define un conjunto bien ordenado. .Relación transitiva: la relación R es transitiva si un elemento a esta relacionado con otro b. podemos ver que es reflexiva: es transitiva: es antisimetrica: y es total: [editar]Conjunto bien ordenado Artículo principal: Conjunto bien ordenado. entre los elementos de ese conjunto. por ejemplo.. b. 2..cualquiera dos elemento del conjunto: a. respecto a la relación binaria entre sus elementos menor o igual. si cumple: 1. o a esta relacionado con b ó bien b esta relacionado con a.

b..Relación total: la relación R es total si para cualquiera dos elemento del conjunto: a. entonces a y b son iguales. esta relación se dice bien fundada.m) no pertenece a R. entre los elementos de ese conjunto. distinto de m. Una relación binaria entre dos conjuntos A y B. 4. o a esta relacionado con b ó bien b esta relacionado con a.Relación antisimétrica: la relación R es antisimétrica si los pares ordenado (a.. asociando los elementos de uno y otro conjunto con una flecha. se llama heterogénea cuando A es distinto de B: Lo que también se llama correspondencia matemática.a) pertenecen a la relación R .b) y (b. en el cual se representan los dos conjuntos de la relación binaria. si pata todo subconjunto B de A se cumple que existe un m en B tal que para todo b de B. 5 6 A la derecha podemos ver lo que se denomina un diagrama sagital.3.. Relación binaria heterogénea Artículo principal: Correspondencia matemática.Relación bien fundada: dado un conjunto A y una relación R. 5. que sale del elemento . el par ordenado (b.

pero deben ser considerados como elementos distintos del conjunto. en el diagrama pueden verse un conjunto de pinceles con pintura de color y un conjunto de caras pintadas. Puede haber pinceles o caras del mismo color. estos elementos forman el conjunto origen: . . . si lo que se esta tratando es una . asociando a cada pincel la cara que esta pintada del mismo color. Los elementos del conjunto final a los que se les ha asociado un origen se llama conjunto imagen: . sobre el que esta definida la relación: . . siendo elementos del conjunto diferentes.origen y llega al elemento imagen. . En el diagrama podemos ver el conjunto inicial de pinceles P. Una relación binaria homogénea: Puede ser tratada como heterogénea considerando el conjunto inicial y final como distintos. . si dos pinceles o dos caras son del mismo color tienen la misma característica color. . Y el conjunto final de caras pintadas C es: . . La relación binaria es la formada por los pares ordenados: . Solo algunos elementos del conjunto origen tienen asociado un elemento. . .

con la misma validez que si los conjuntos serían distintos. [editar]Condición de existencia de imagen. Propiedades de las relaciones binarias heterogénea Partiendo de una relación binarias heterogénea R. . entre los conjunto A y B: Por su importancia podemos distinguir las siguientes condiciones. que nos permiten diferenciar los subtipos de correspondencias. si es factible. (ei) La condición de existencia de imagen garantiza que tomando un elemento cualesquiera a de A tiene al menos una imagen b en B. pudiendo realizar simultáneamente su análisis como relación homogénea.correspondencia.

. . [editar]Condición de existencia de origen. Si vemos la figura podemos ver el conjunto P de pinceles con pintura: . Si relacionamos cada pincel con la cara pintada del mismo color. a y b estén relacionado. y el C de las caras pintada: . . (eo) La condición de existencia de origen garantiza que todo elemento b de B tiene al menos un origen a en A.para todo elemento a de A se cumple que existe al menos un b de B. . para todo b de B se cumple que existe un a en A y que a y b están relacionados. . En la figura podemos ver el conjunto P de los pinceles: . podemos ver que todos los pinceles tienen al menos una cara asociada. y el conjunto C de caras pintada: .

[editar]Condición de unicidad de . de caras pintada: . (ui) La condición de unicidad de imagen garantiza que los elementos a de A que están relacionados con algún b de B está relacionado con un único elemento b deB. . . esta diferencia es importante. Condición de unicidad de imagen garantiza que los elementos que tienen imagen tengan una sola imagen. [editar]Condición de unicidad de imagen. En el diagrama sagital de la derecha vemos el conjunto P: . tienen una sola cara relacionada. pero no garantiza que todos los elementos de A tengan imagen. Y el conjunto final C.Y que todas y cada una de las caras tiene al menos un pincel de su mismo color. es decir: si un elemento a de A esta relacionado con dos elementos b de B esos dos elementos son iguales. Cada uno de los elementos del conjunto final tiene un origen. . Los pinceles que tienen una cara relacionada.

no todas las caras tienen un origen. tienen un solo origen. cada una de ellas independiente de las . solo tienen un pincel relacionado. (uo) La condición de unicidad de origen dice: que los elementos b de B que están relacionados con algún 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: . pero las que lo tienen. y el conjunto final C de caras pintadas: . . . .origen. Galería de ejemplos Según las cuatro condiciones expuestas. podemos ver que las caras que tienen un pincel relacionado. . Relacionando cada pincel con la cara de su mismo color. esto es un solo origen.

demás. y como conjunto final el de pinceles P. Sobreyectiva Existencia imagen: Unicidad imagen: no si no si no no si si . Correspondencia Existencia imagen: Unicidad imagen: Existencia origen: Unicidad origen: Correspondencia Existencia imagen: Unicidad imagen: Existencia origen: Unicidad origen: C. Utilizaremos como conjunto inicial el conjunto de tubos de pintura T. Unívoca Existencia imagen: Unicidad imagen: A. podemos ver una serie de ejemplos ilustrativos de los casos que se pueden presentar. asociando cada tubo de pintura con el pincel del mismo color. Unívoca Existencia imagen: Unicidad imagen: Existencia origen: Unicidad origen: Aplicación 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.

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. Biunívoca Existencia imagen: Unicidad imagen: A. Biunívoca Existencia imagen: Unicidad imagen: Existencia origen: Unicidad origen: A. Biyectiva Existencia imagen: Unicidad imagen: no si no si no no si si . 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.

. Una correspondencia es unívoca si cumple la condición de unicidad de imagen: Dada una relación binarias heterogénea R.Unicidad de imagen: se dice que cumple la condición de unicidad de imagen si los elementos a de A que tienen imagen. [editar]Correspondencia unívoca Artículo principal: Correspondencia unívoca.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 heterogénea Partiendo de las características de las relaciones binarias heterogéneas. podemos diferenciar los siguientes casos. entre los conjunto A y B: Esta relación es una correspondencia unívoca. si cumple: 1.. tienen una sola imagen: Esta condición en necesaria y suficiente para que una correspondencia sea considerada unívoca.

tendremos: por la que definimos una aplicación que a cada elemento a de A se le asigna un unico b de B. Una correspondencia se denomina aplicación si todo elemento de A admite una 7 8 9 10 unica imagen en B. 11 Una función es el término usado para indicar la relación o correspondencia entre dos o más cantidades. Una correspondencia es biunívoca si cumple las condiciones de unicidad de imagen y unicidad de origen: Dada una relación binarias heterogénea R. se cumple que existe un único b de B. tal que b es el resultado R(a).Unicidad de origen: se dice que cumple la condición de unicidad de origen si los elementos b de B que tienen origen.Correspondencia biunívoca Artículo principal: Correspondencia biunívoca.. Si la aplicación la representamos como R. 12 Dada una relación binarias heterogénea R. entre los conjunto A y B: Esta relación es una correspondencia biunívoca. . El término función se suele utilizar cuando los conjuntos inicial y final son numéricos. entre los conjunto A y B: . esto es si cumple la condición de unicidad de imagen y de existencia de imagen. si cumple: 1. Para todo a de A..Unicidad de imagen: se dice que cumple la condición de unicidad de imagen si los elementos a de A que tienen imagen. tienen una sola imagen: 2. tienen un solo origen: Aplicación Artículo principal: Aplicación matemática.

Unicidad de imagen: se dice que cumple la condición de unicidad de imagen si los elementos a de A que tienen imagen. Aplicación inyectiva Artículo principal: Aplicación inyectiva. si cumple: 1.Existencia de imagen: se dice que cumple la condición de existencia de imagen si para todos los elementos a de A existe al menos una imagen ben B: 3. Una correspondencia es una aplicación inyectiva si cumple la condición de unicidad de imagen. Dada una relación binarias heterogénea R. podemos decir que una correspondencia biunívoca que cumpla la condición de existencia de imagen también es una aplicación inyectiva.. tienen una sola imagen: 2. existencia de imagen y unicidad de origen. De otra forma no tan usual. tienen una sola imagen: 2..Unicidad de origen: se dice que cumple la condición de unicidad de origen si los elementos b de B que tienen origen.Unicidad de imagen: se dice que cumple la condición de unicidad de imagen si los elementos a de A que tienen imagen.Esta relación es una aplicación.. . tienen un solo origen: Como puede verse una aplicación que cumple la condición de unicidad de origen es una Aplicación inyectiva... entre los conjunto A y B: Esta relación es una aplicación inyectiva. si cumple: 1.Existencia de imagen: se dice que cumple la condición 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 aplicación.

.Unicidad de imagen: se dice que cumple la condición de unicidad de imagen si los elementos a de A que tienen imagen. existencia de imagen...Unicidad de imagen: se dice que cumple la condición de unicidad de imagen si los elementos a de A que tienen imagen.Existencia de imagen: se dice que cumple la condición de existencia de imagen si .Existencia de imagen: se dice que cumple la condición de existencia de imagen si para todos los elementos a de A existe al menos una imagen ben B: 3.. si cumple: 1..Existencia de origen: se dice que cumple la condición de existencia de origen si para todos los elementos b de B existe al menos un origen a enA: Se puede decir que una aplicación sobreyectiva. entre los conjunto A y B: Esta relación es una aplicación biyectiva. es una aplicación que cumple la condición de existencia de origen. [editar]Aplicación biyectiva Artículo principal: Aplicación biyectiva. Una correspondencia se llama Aplicación sobreyectiva si cumple la condición de unicidad de imagen. unicidad de origen y existencia de origen: Dada una relación binarias heterogénea R. entre los conjunto A y B: Esta relación es una aplicación sobreyectiva.[editar]Aplicación sobreyectiva Artículo principal: Aplicación sobreyectiva. si cumple: 1. existencia de imagen y existencia de origen: Dada una relación binarias heterogénea R. tienen una sola imagen: 2. tienen una sola imagen: 2. Una correspondencia es una aplicación biyectiva si cumple las condiciones de unicidad de imagen.

[editar]Propiedades Las relaciones binarias pueden tener o no estas propiedades. tienen un solo origen: 4. si es inyectiva y sobreyectiva.Existencia de origen: se dice que cumple la condición de existencia de origen si para todos los elementos b de B existe al menos un origen a enA: Una Aplicación es biyectiva..Unicidad de origen: se dice que cumple la condición de unicidad de origen si los elementos b de B que tienen origen. R será: Relación simétrica Relación antisimétrica Relación reflexiva Relación irreflexiva Relación transitiva Relación intransitiva Relación circular Relación total .para todos los elementos a de A existe al menos una imagen ben B: 3..