Relación Binaria

Relación binaria
Una relación binaria R es el subconjunto de los elementos del producto cartesiano que cumplen
una determinada condición:
Índice
Taxonomía de las relaciones binarias
Clasificación
Relación homogénea
Relación heterogénea
Conceptos previos
Par ordenado
Producto cartesiano
Relación binaria homogénea
Propiedad de la relación binaria homogénea
Propiedad reflexiva
Propiedad irreflexiva
Propiedad simétrica
Propiedad antisimétrica
Propiedad transitiva
Propiedad intransitiva
Propiedad total
Clases de las relaciones binarias homogénea
Relación reflexiva
Relación no reflexiva
Relación de dependencia
Conjunto preordenado
Relación de equivalencia
Conjunto parcialmente ordenado
Conjunto acotado
Orden total
Conjunto con orden total y acotado
Relación binaria heterogénea
Propiedades de las relaciones binarias heterogénea
Condición de existencia de imagen. (ei)
Condición de existencia de origen. (eo)
Condición de unicidad de imagen. (ui)
Condición de unicidad de origen. (uo)
Galería de ejemplos
Clases de las relaciones binarias heterogénea
Correspondencia unívoca
Correspondencia biunívoca
Aplicación
Aplicación inyectiva
Aplicación sobreyectiva
Aplicación biyectiva
Propiedades
Véase también
Referencias
Bibliografía
Enlaces externos
Taxonomía de las relaciones binarias

En el gráfico ilustrativo de la taxonomía de las relaciones binarias se pasa de las definiciones más generales a
las más específicas siguiendo el sentido dependiente de las flechas.
Clasificación
La importancia en matemáticas de las relaciones binarias, se debe a que una gran parte de las asociaciones
entre elementos de conjuntos, tanto numéricos como no numéricos, 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 relación binaria. Emplearemos este esquema para ver estos casos.
En primer lugar diferenciamos las relaciones binarias homogéneas, de las heterogéneas. En las primeras, la
relación 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 matemáticas de cálculo. Una relación homogénea puede
ser tratada como heterogénea con los mismos subtipos, pero no al contrario.
Relación homogénea
Una relación binaria R es homogénea si los conjuntos son iguales:
Dado que y son el mismo conjunto, se representa como:
O bien:
Relación heterogénea
Una relación binaria R es heterogénea si los conjuntos no son iguales:
Conceptos previos
Par ordenado
Dados los conjuntos y se describe el par ordenado que cumple:
Se representa como:
Se lee como:
El producto cartesiano es el subconjunto de los pares ordenados tal que pertenece a

y pertenece a .
Producto cartesiano
Definidos los conjuntos:
El producto cartesiano se describe en la tabla

adjunta.
La relación binaria queda definida como:
Relación binaria homogénea

Dado un único conjunto , la relación binaria R queda determinada como:
Una forma de representar el producto cartesiano es:

Tomando como conjunto inicial y final a , se asocia un elemento inicial a
uno final dentro de un mismo conjunto , determinando una operación
matemática, teniendo siempre en cuenta que si bien el conjunto inicial y
final son el mismo, la relación es unidireccional. Si el elemento inicial está
relacionado con el elemento final, necesariamente no implica que el elemento
final esté relacionado con el elemento inicial.
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, y), donde x, y pertenecen a A, la relación binaria será el
subconjunto de que contiene todos los pares de elementos relacionados.
Si el producto es:
d (a, d) (b, d) (c, d) (d, d)
c (a, c) (b, c) (c, c) (d, c)
b (a, b) (b, b) (c, b) (d, b)
a (a, a) (b, a) (c, a) (d, a)
A×A a b c d
el conjunto R de la relación binaria se representa:
Nótese que en el eje horizontal se representa el conjunto inicial, y en el eje vertical el conjunto final.
Propiedad de la relación binaria homogénea
Una relación binaria puede tener ciertas propiedades, según los pares ordenados que formen parte de dicha
relación o no formen parte de ella, veamos algunas:
Propiedad reflexiva
Una relación tiene la propiedad reflexiva, si todo elemento está

relacionado consigo mismo.
Si no todos los elementos del conjunto están relacionados

consigo mismo se dice que la relación no es reflexiva o es
arreflexiva.
Para todo elemento a que pertenezca al conjunto A, el par

ordenado (a,a) pertenece a la relación binaria R.
Téngase en cuenta que debe cumplirse para todos los elementos

del conjunto sin excepción, si esta propiedad solo se da en algunos casos la relación no es reflexiva:
No existe ningún elemento a en A, para el que el par ordenado (a,a) no pertenezca a la relación R. Puede
verse que estas dos afirmaciones son iguales.
Propiedad irreflexiva
Una relación binaria tiene la propiedad irreflexiva, también

llamada: antirreflexiva o antirrefleja, si ningún elemento del
conjunto está relacionado consigo mismo:
Que también puede expresarse
No existe ningún elemento a en el conjunto A que cumpla que:

(a,a) pertenezca a R.
Propiedad simétrica
Una relación binaria tiene la propiedad simétrica, si se cumple

que un par ordenado (a,b) pertenece a la relación entonces el
par (b,a) también pertenece a esa relación:
Para todo par ordenado (a,b) que pertenezca a R, implica que el

par (b,a) también pertenece a R, téngase en cuenta que si el par
(a,b) no pertenece a la relación el par (b,a) tampoco tiene que
pertenecer a esa relación:
No existe ningún par ordenado (a,b) que pertenezca a R y que el par (b,a) no pertenezca a R.
Propiedad antisimétrica
Una relación binaria se dice que tiene la propiedad antisimétrica

si los pares ordenado (a,b) y (b,a) pertenecen a la relación
entonces a = b:
Dicho de otra manera, no existen los elementos a, b de A, que a este relacionado con b y b este relacionado
con a y a y b sean distintos.
Propiedad transitiva
Una relación binaria tiene la propiedad transitiva cuando, dado

los elementos a, b, c del conjunto, si a está relacionado con b y
b está relacionado con c, entonces a está relacionado con c:
Propiedad intransitiva
Una relación binaria tiene la propiedad intransitiva cuando,

dado los elementos a, b, c del conjunto, si a está relacionado
con b y b está relacionado con c, entonces a no está relacionado
con c:
Propiedad total
Una relación binaria se dice que es total: si para todo elemento del conjunto: a, b; o a está relacionado con b o
b está relacionado con a, esto es el grafo de la relación es conexo:
Clases de las relaciones binarias homogénea
Partiendo de las propiedades que una relación binaria homogéneas puede tener, 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, téngase 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 más generales.
Las relaciones reflexivas son las definidas así:
Dado un conjunto A, y una relación binaria R entre sus

elementos
Se dice que esta relación binaria es relación reflexiva, si

cumple:
1.- Relación reflexiva: la relación R es reflexiva si todo

elemento a de A está relacionado consigo mismo.
El caso más claro de propiedad reflexiva es la de igualdad matemática, así dado un conjunto de números, los
naturales por ejemplo, y la propiedad de igualdad entre números, tenemos que todo número natural es igual a
sí mismo.
Dado un conjunto A, formado por los siguientes elementos:

Y una relación R entre los elementos del conjunto, 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.
La relación R, también se puede representar en coordenadas cartesianas la función

identidad.
En el eje horizontal (abscisas) representamos el conjunto inicial, de izquierda a derecha, y

en el eje vertical(ordenadas) el conjunto final, de abajo arriba, si un determinado par
pertenece a la relación se coloca una cruz en la casilla correspondiente, si no pertenece se
deja en blanco, representando de este modo en coordenadas cartesianas la relación
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 relación es reflexiva.
Como puede verse en el diagrama, la relación estudiada es reflexiva, dado que:
Para todo elemento e del conjunto A, el par ordenado (e,e) pertenece a la relación R.
En cualquiera de las tres formas de representación vistas: enumeración de pares ordenados, donde los pares
(e,e) pertenecen a la relación, 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 relación reflexiva, en la que todo elemento del conjunto está relacionado consigo mismo.
Relación no reflexiva
Los casos más estudiados de relaciones binarias homogéneas

son las que cumplen la propiedad reflexiva, una relación que no
cumple la propiedad reflexiva es no reflexiva, un caso particular
de relación no reflexiva son las relaciones irreflexivas, en las
que ningún elemento del conjunto está relacionado consigo
mismo. Puede verse que si en una relación binaria algunos
elementos están relacionados consigo mismo y otros no, la
relación no es reflexiva y tampoco es irreflexiva, que se puede
denominar irreflexiva. Ver diagrama:
Las relaciones irreflexivas son un caso particular de las no reflexivas.

elementos
Se dice que esta relación binaria es relación irreflexiva, si

cumple:
1.- Relación irreflexiva: la relación R es irreflexiva si todo

elemento a de A no está relacionado consigo mismo.
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 está relacionado consigo mismo.
Dado el conjunto:
y la relación 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 relación R, luego esta relación en
irreflexiva.
La representación de la relación en coordenadas cartesianas nos permite ver que la

diagonal principal no tiene ninguna cruz, lo que es equivalente a la irrefrexibilidad de la
relación.
La propiedad reflexiva e irreflexiva son mutuamente excluyentes en una misma relación,

el cumplimiento de una de ellas da lugar al incumplimiento de la otra necesariamente, si
una relación 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 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, 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:
Luego la relación no es reflexiva y tampoco es irreflexiva.
Si representamos la relación binaria en coordenadas cartesianas, podemos ver que en la

diagonal principal no todas las casillas tienen un aspa, luego la relación no es reflexiva, y
tampoco están todas en blanco luego tampoco es irreflexiva, esto es un relación binaria no
reflexiva y no irreflexiva, al darse estas dos condiciones simultáneamente en una misma
relación.
En resumen, podemos diferenciar tres clases de relaciones:
Relaciones reflexivas
Relaciones irreflexivas
Relaciones arreflexivas
Dado, que como ya se ha mencionado, una relación no puede ser reflexiva e irreflexiva simultáneamente, pero
si puede ser no reflexiva y no irreflexiva simultáneamente.
Relación de dependencia
Una relación binaria es una relación de dependencia si es reflexiva y simétrica:

elementos
Se dice que esta relación binaria es relación de

dependencia, si cumple:
1.- Relación reflexiva: la relación R es reflexiva, si todo

elemento a de A está relacionado consigo mismo.
2.- Relación simétrica: la relación R es simétrica, si un

elemento a está relacionado con otro b, entonces el b también
está relacionado con el a.
Así por ejemplo si consideramos el conjunto de los números naturales, y definimos la distancia D entre dos
números, como el valor absoluto de su diferencia:
y decimos que dos números naturales a, b están próximos si su distancia es a lo sumo un valor D conocido,
tenemos que la relación binaria de proximidad es:
es una relación de dependencia, dado que es reflexiva:
es simétrica:
relación 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 relación de dependencia entre los
números por su distancia no es una clase de equivalencia, pero si denota una dependencia entre ellos.
Conjunto preordenado
Una relación binaria define un conjunto preordenado si es reflexiva y transitiva:

Dado un conjunto A, y una relación binaria R entre sus elementos
Se dice que esta relación binaria define un conjunto preordenado, si

cumple:
1.- Relación binaria reflexiva: la relación R es reflexiva si todo elemento a

de A está relacionado consigo mismo.
2.- Relación binaria transitiva: la relación R es transitiva si un elemento a

está relacionado con otro b, y este b con otro c, entonces el elemento a esta
también relacionado con el c.
Relación de equivalencia
Una relación binaria es una relación de equivalencia si es reflexiva, simétrica y transitiva:1
Se dice que esta relación binaria es relación de equivalencia, si cumple:
1.- Relación reflexiva: la relación R es reflexiva si todo elemento a de A

está relacionado consigo mismo.
2.- Relación simétrica: la relación R es simétrica si un elemento a está

relacionado con otro b, entonces el b también está relacionado con el a.
3.- Relación transitiva: la relación R es transitiva si un elemento a está

relacionado con otro b, y este b con otro c, entonces el elemento a esta
Una relación 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 relación de
equivalencia divide al conjunto A, entre ellos son disjuntos, y la unión de todos ellos es el conjunto A,
veamos un ejemplo.
En Aritmética modular se define la operación módulo como el resto de la división, así:
el resto de dividir 5 entre 2 es 1

se dice que dos números son congruentes módulo n, si al dividir cada uno de esos números por n dan el
mismo resto:
el 8 y el 17 son congruentes módulo 3 dado que al dividirlos por 3 en los dos casos dan por resto 2.
La congruencia modular de grado n, de los números naturales, es una Relación de equivalencia, dado que es
reflexiva:
es simétrica:
y es transitiva
Conjunto parcialmente ordenado
Un conjunto A se dice que esta parcialmente ordenado respecto a una relación binaria R si la relación R es
reflexiva, transitiva y antisimétrica:
Se dice que esta relación binaria define un conjunto parcialmente

ordenado, si cumple:

3.- Relación antisimétrica: la relación R es antisimétrica si los pares

ordenado (a,b) y (b,a) pertenecen a la relación R, entonces a y b son
iguales.
Tomando un conjunto A, formado, por ejemplo, por los elementos:
Se define 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, es un conjunto parcialmente ordenado, al ser
reflexiva:
Transitiva:
Antisimetrica:
Por lo que el conjunto de las partes de A, respecto a la relación binaria pertenencia es un conjunto
parcialmente ordenado.
Esta relación no es total dado que:
Que se denominan no comparables, los pares de conjuntos no comparables son:
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.
Conjunto acotado
Para un conjunto A y una relación binaria definida entre los elementos de A, que expresaremos y
la relación la representamos:
que se lee: x antecede a y.
La no relación se representa:
si:
existe un y de A tal que para todo x de A se cumple que x
antecede a y. Del mismo modo, el conjunto A está acotado inferiormente respecto a si:
existe un z de A tal que para todo x de A se cumple que z
antecede a x.
El conjunto está acotado, si está acotado superior e inferiormente.
Orden total
Un conjunto A se dice que esta totalmente ordenado respecto a una relación binaria R si la relación R es
reflexiva, transitiva, antisimétrica y total:
Se dice que esta relación binaria define un orden total, si cumple:


3.- Relación antisimétrica: la relación R es antisimétrica si los pares

ordenado (a,b) y (b,a) pertenecen a la relación R, entonces a y b son
iguales.
4.- Relación total: la relación R es total si para cualquiera dos elemento del
conjunto: a, b; o a está relacionado con b o bien b está relacionado con a.
Si tomamos el conjunto de los números enteros Z, por ejemplo, respecto a la relación binaria entre sus
elementos menor o igual, podemos ver que es reflexiva:
es transitiva:
es antisimetrica:
y es total:
Conjunto con orden total y acotado
Dado un conjunto A y una relación binaria definida entre los elementos de A, que expresaremos
y la relación se representa:
Se dice que se ha definido un orden total en el conjunto A, si la relación cumple las propiedades:
1. Reflexiva.
2. Antisimétrica.
3. Transitiva.
4. Es, además, una relación total, es decir, se cumple que todos los elementos de un
conjunto con orden total son comparables:
Dado un conjunto A en el que se ha definido una relación binaria , siendo un conjunto totalmente
ordenado.
El elemento y de A que cumple:
Se denomina máximo y define una cota superior en A; el elemento máximo es único. Si el conjunto A y la
relación binaria , que expresaremos es un orden total y tiene máximo, entonces es un conjunto con
orden total y acotado superiormente.
Del mismo modo el elemento z de A que cumple:
Se denomina mínimo y define una cota inferior en A; el elemento mínimo es único. Si el conjunto A y la
relación binaria , que expresaremos es un orden total y tiene mínimo, entonces es un conjunto con
orden total y acotado inferiormente.
Un conjunto con orden total solo se dice acotado, si está acotado superior e inferiormente.
Relación binaria heterogénea

Una relación binaria entre dos conjuntos A y B, se llama heterogénea cuando A
es distinto de B:
Lo que también se llama correspondencia matemática.2 3
A la derecha podemos ver lo que se denomina un diagrama sagital, en el cual

se representan los dos conjuntos de la relación 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 está 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 característica color, siendo
elementos del conjunto diferentes.
En el diagrama podemos ver el conjunto inicial ( o dominio ) de pinceles P, sobre el que está definida la
relación:
, , ,
Solo algunos elementos del conjunto inicial tienen asociado un elemento, estos elementos forman el conjunto
origen:
, ,
Y el conjunto final ( o codominio ) de caras pintadas C es:
, , ,
Los elementos del conjunto final a los que se les ha asociado un origen se llama conjunto imagen:
, ,
La relación binaria es la formada por los pares ordenados:
, , , ,
Una relación binaria homogénea:
Puede ser tratada como heterogénea considerando el conjunto inicial y final como distintos, si lo que se está
tratando es una correspondencia, con la misma validez que si los conjuntos serían distintos, pudiendo realizar
simultáneamente su análisis como relación homogénea, si es factible.
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.
Condición de existencia de imagen. (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.
para todo elemento a de A se cumple que existe al menos un b de B, a y b estén

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.
Condición de existencia de origen. (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 b de B se cumple que existe un a en A y que a y b están

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.
Condición de unicidad de imagen. (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
de B, es decir:
si un elemento a de A está relacionado con dos elementos b de B esos dos

elementos son iguales.
Condición 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.
Condición de unicidad de origen. (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:
, , ,
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.
Galería de ejemplos
Según las cuatro condiciones expuestas, cada una de ellas independiente de las demás, 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
Correspondencia C. Unívoca Aplicación
Existencia
no Existencia imagen: si Existencia imagen: no Existencia imagen: si
imagen:
Unicidad imagen: no Unicidad imagen: si Unicidad imagen: si
Unicidad imagen: no
Existencia origen: no Existencia origen: no Existencia origen: no
Existencia origen: no
Unicidad origen: no Unicidad origen: no Unicidad origen: no
Unicidad origen: no
Correspondencia
Correspondencia C. Unívoca A. Sobreyectiva
Existencia
imagen:
Unicidad imagen: no
Existencia origen: si Existencia origen: si Existencia origen: si
Existencia origen: si
Unicidad origen: no Unicidad origen: no Unicidad origen: no
Unicidad origen: no
Correspondencia Correspondencia C. Biunívoca A. Inyectiva

Existencia Existencia imagen: si Existencia imagen: no Existencia imagen: si
no
imagen: Unicidad imagen: no Unicidad imagen: si Unicidad imagen: si
Unicidad imagen: no Existencia origen: no Existencia origen: no Existencia origen: no
Existencia origen: no Unicidad origen: si Unicidad origen: si Unicidad origen: si
Unicidad origen: si
Correspondencia
Correspondencia C. Biunívoca A. Biyectiva
Existencia
imagen:
Unicidad imagen: no
Existencia origen: si Existencia origen: si Existencia origen: si
Existencia origen: si
Unicidad origen: si Unicidad origen: si Unicidad origen: 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.
Correspondencia unívoca
Una correspondencia es unívoca si cumple la condición de unicidad de imagen:
Dada una relación binarias heterogénea R, entre los conjunto A

y B:
Esta relación es una correspondencia unívoca, si cumple:
1.- 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:
Esta condición en necesaria y suficiente para que una correspondencia sea considerada unívoca.
Correspondencia biunívoca
Una correspondencia es biunívoca si cumple las condiciones de unicidad de imagen y unicidad de origen:

y B:
Esta relación es una correspondencia biunívoca, si cumple:

2.- Unicidad de origen: se dice que cumple la condición de

unicidad de origen si los elementos b de B que tienen origen,
tienen un solo origen:
Aplicación
Una correspondencia se denomina aplicación si todo elemento de A admite una única imagen en
4 5 3 6 7 8
B., esto es si cumple la condición de unicidad de imagen y de existencia de imagen.
Una aplicación f de A en B, siendo A y B dos conjuntos cualesquiera, es una correspondencia entre A y B,

total y unívoca.9 según otra nomenclatura.
Si la aplicación la representamos como R, tendremos:

por la que definimos una aplicación que a cada elemento a de A se le asigna un único 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 término función se suele utilizar cuando los conjuntos inicial y final son numéricos.10
Es usual hablar de aplicación en lugar de función, reservando esta última expresión,

habitualmente, para el caso en el cual los conjuntos A y B son numéricos. Si A y B son
conjuntos de puntos, se suele hablar de transformación geométrica.11
Una función es el término usado para indicar la relación o correspondencia entre dos o más
cantidades.12
En inglés una aplicación se llama map13

y B:
Esta relación es una aplicación, si cumple:

2.- 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 b en B:
Si una correspondencia cumple estas dos condiciones se denomina aplicación.
Aplicación inyectiva
Una correspondencia es una aplicación inyectiva si cumple la condición de unicidad de imagen, existencia de
imagen y unicidad de origen.
y B:
Esta relación es una aplicación inyectiva, si cumple:



Como puede verse una aplicación que cumple la condición de unicidad de origen es una Aplicación inyectiva.
De otra forma no tan usual, podemos decir que una correspondencia biunívoca que cumpla la condición de
existencia de imagen también es una aplicación inyectiva.
Aplicación sobreyectiva
Una correspondencia se llama Aplicación sobreyectiva si cumple la condición de unicidad de imagen,

existencia de imagen y existencia de origen:

y B:
Esta relación es una aplicación sobreyectiva, si cumple:

3.- 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 en A:
Se puede decir que una aplicación sobreyectiva, es una aplicación que cumple la condición de existencia de
origen.
Aplicación biyectiva
Una correspondencia es una aplicación biyectiva si cumple las condiciones de unicidad de imagen, existencia
de imagen, unicidad de origen y existencia de origen:

y B:
Esta relación es una aplicación biyectiva, si cumple:



4.- 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 en A:
Una Aplicación es biyectiva, si es inyectiva y sobreyectiva.
Propiedades
Las relaciones binarias pueden tener o no estas propiedades. R será:
Relación reflexiva
Relación irreflexiva
Relación simétrica
Relación asimétrica
Relación antisimétrica
Relación transitiva
Relación intransitiva
Relación circular
Relación total
Véase también
Teoría del orden
Referencias
1. Gutiérrez Gómez, Andrés; García Castro, Fernando (1981). «2.3. Relaciones de
equivalencia». Álgebra lineal (1 edición). Ediciones Pirámide, S.A. p. 74. ISBN 978-84-368-0174-3.
2. José Juan Carreño Carreño (10 de 2008). «ÁLGEBRA Curso 2008/09» (https://web.archive.or
g/web/20130717235248/http://www.eui.upm.es/~jjcc/alg200809personal/material/Imprimir_Te
ma_I_ALG_MD.pdf) (pdf). p. 12. Archivado desde el original (http://www.eui.upm.es/~jjcc/alg20
0809personal/material/Imprimir_Tema_I_ALG_MD.pdf) el 17 de julio de 2013. Consultado el
2010.
3. 1, ed. (2004). Notas de álgebra. Universidad Politécnica de Valencia. Servicio de
Publicaciones. p. 18. ISBN 978-84-9705-623-6.
4. José Juan Carreño Carreño (10 de 2008). «ÁLGEBRA Curso 2008/09» (https://web.archive.or
g/web/20130717235248/http://www.eui.upm.es/~jjcc/alg200809personal/material/Imprimir_Te
ma_I_ALG_MD.pdf) (pdf). p. 13. Archivado desde el original (http://www.eui.upm.es/~jjcc/alg20
0809personal/material/Imprimir_Tema_I_ALG_MD.pdf) el 17 de julio de 2013. Consultado el
2010.
5. Mario López Gómez (9 de 2005). «Algebra I» (https://web.archive.org/web/20130319180309/ht
tp://dmaii.etsii.upm.es/~mlopez/pdfs/a1tema1-0506.pdf) (pdf). p. 5. Archivado desde el original
(http://dmaii.etsii.upm.es/~mlopez/pdfs/a1tema1-0506.pdf) el 19 de marzo de 2013. Consultado
el 2013.
6. Gregori Gregori, Valentín; Ferrando, J. C. (2011). Matemática discreta (8 edición). Editorial
Reverté, S.A. p. 48. ISBN 978-84-291-5179-4.
7. Alegre Gil, Carmen; Martínez Pastor, Ana; Pedraza Aguilera, M Carmen (1997). Problemas de
matemática discreta (1 edición). Universidad Politécnica de Valencia. Servicio de
Publicaciones. p. 189. ISBN 978-84-7721-495-3.
8. Ayres, Frank (1992). Álgebra moderna (1 edición). McGraw-Hill. p. 6. ISBN 968-422-917-8.
9. Gran enciclopedia temática Plaza. Matemáticas (2 edición). Plaza & Janés Editores, S.A.
1993. p. 400. ISBN 978-84-01-61659-4.
10. Gutiérrez Gómez, Andrés; García Castro, Fernando (1981). «3.2. Aplicaciones o funciones».
Álgebra lineal (1 edición). Ediciones Pirámide, S.A. p. 131. ISBN 978-84-368-0174-3.
11. Pérez Fernández, Francisco Javier (1998). «6 Aplicaciones». Introducción al método
matemático (1 edición). Servicio de Publicaciones de la Universidad de Cádiz. p. 130.
ISBN 978-84-7786-509-4.
12. Alejandro Carreiras. «Monografias.com: Ayuda Matemáticas ESO.» (http://www.monografias.c
om/trabajos7/mafu/mafu.shtml). pp. 2. Funciones. Consultado el 2010.
13. Maravall Casesnoves, Dario (1982). Diccionario de matematicas modernas (2 edición).
Editorial nacional. ISBN 84-276-1235-4.
Bibliografía
1. González Gómez, Antonia (6 de 2009). Álgebra lineal. Fundación Conde del Valle de Salazar.
ISBN 978-84-96442-28-3.
2. Baquerizo Azofra, Clara (4 de 2008). Matemática discreta y álgebra lineal (1 edición). Martín
Gómez, Emilia. ISBN 978-84-612-3787-6.
3. Hortalá González, María Teresa (10 de 2001). Matemática discreta y lógica matemática (2
edición). Editorial Complutense, S.A. ISBN 978-84-7491-650-8.
4. Climent Coloma, Joan Josep (6 de 2001). Álgebra. Teoría de conjuntos y estructuras
algebraicas (1 edición). Editorial Club Universitario. ISBN 978-84-8454-081-6.
5. Gutiérrez Gómez, Andrés; García Castro, Fernando (1981). Álgebra lineal (1 edición).
Ediciones Pirámide, S.A. ISBN 978-84-368-0174-3.
6. Losada Rodríguez, Ramón (7 de 1978). Análisis matemático. Ediciones Pirámide, S.A.
ISBN 978-84-368-0096-8.
7. Losada Rodríguez, Ramón (9 de 1973). Conjuntos Álgebra Lineal (2 edición). ISBN 978-84-400-
6592-6.
Enlaces externos
Relaciones binarias (https://web.archive.org/web/20091122163043/http://webs.uvigo.es/mate
maticas/campus_vigo/cursos03-04/Relacions/apuntes2.pdf)
Relaciones binarias (https://web.archive.org/web/20090317003453/http://eneayudas.cl/index.p
hp?option=com_content&task=view&id=103&Itemid=132)
Conjuntos, aplicaciones y relaciones binarias. (https://web.archive.org/web/20100619055023/
http://www.eui.upm.es/~jjcc/alg200809personal/material/Imprimir_Tema_I_ALG_MD.pdf)
Relaciones binarias y grafos (https://web.archive.org/web/20101122082333/http://www.edicion
supc.es/ftppublic/pdfmostra/IN01206M.pdf)
Relación (http://www.fing.edu.uy/~webimerl/discreta1/material/relaciones.pdf) (enlace roto
disponible en Internet Archive; véase el historial (https://web.archive.org/web/*/http://www.fing.edu.uy/~we
bimerl/discreta1/material/relaciones.pdf), la primera versión (https://web.archive.org/web/1/http://www.fin
g.edu.uy/~webimerl/discreta1/material/relaciones.pdf) y la última (https://web.archive.org/web/2/http://ww
w.fing.edu.uy/~webimerl/discreta1/material/relaciones.pdf)).
Introducción a las estructuras algebraicas (http://www.uv.mx/personal/aherrera/files/2014/08/2
0d.-INTRODUCCION-A-LAS-ESTRUCTURAS-ALGEBRAICAS.pdf)
Obtenido de «https://es.wikipedia.org/w/index.php?title=Relación_binaria&oldid=143632700»
Esta página se editó por última vez el 19 may 2022 a las 00:18.
El texto está disponible bajo la Licencia Creative Commons Atribución Compartir Igual 3.0;
pueden aplicarse cláusulas
adicionales. Al usar este sitio, usted acepta nuestros términos de uso y nuestra política de privacidad.
Wikipedia® es una marca registrada de la Fundación Wikimedia, Inc., una organización sin ánimo de lucro.

Relación Binaria

Cargado por

Copyright:

Formatos disponibles

Relación Binaria

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Relación Binaria

Cargado por

Copyright:

Formatos disponibles

Relación binaria

Taxonomía de las relaciones binarias

Una relación binaria R es homogénea si los conjuntos son iguales:

Dado que y son el mismo conjunto, se representa como:

Una relación binaria R es heterogénea si los conjuntos no son iguales:

Dados los conjuntos y se describe el par ordenado que cumple:

El producto cartesiano es el subconjunto de los pares ordenados tal que pertenece a

Definidos los conjuntos:

El producto cartesiano se describe en la tabla

La relación binaria queda definida como:

Relación binaria homogénea

Una forma de representar el producto cartesiano es:

Representación de una relación binaria como subconjunto del producto cartesiano:

el conjunto R de la relación binaria se representa:

Propiedad de la relación binaria homogénea

Una relación tiene la propiedad reflexiva, si todo elemento está

Si no todos los elementos del conjunto están relacionados

Para todo elemento a que pertenezca al conjunto A, el par

Téngase en cuenta que debe cumplirse para todos los elementos

Una relación binaria tiene la propiedad irreflexiva, también

Que también puede expresarse

No existe ningún elemento a en el conjunto A que cumpla que:

Una relación binaria tiene la propiedad simétrica, si se cumple

Para todo par ordenado (a,b) que pertenezca a R, implica que el

Una relación binaria se dice que tiene la propiedad antisimétrica

Una relación binaria tiene la propiedad transitiva cuando, dado

Una relación binaria tiene la propiedad intransitiva cuando,

Clases de las relaciones binarias homogénea

Las relaciones reflexivas son las definidas así:

Dado un conjunto A, y una relación binaria R entre sus

Se dice que esta relación binaria es relación reflexiva, si

1.- Relación reflexiva: la relación R es reflexiva si todo

Dado un conjunto A, formado por los siguientes elementos:

Luego la relación R es reflexiva.

La relación R, también se puede representar en coordenadas cartesianas la función

En el eje horizontal (abscisas) representamos el conjunto inicial, de izquierda a derecha, y

En la diagonal principal, inferior izquierda, superior derecha, corresponde a los pares

Como puede verse en el diagrama, la relación estudiada es reflexiva, dado que:

Los casos más estudiados de relaciones binarias homogéneas

Las relaciones irreflexivas son un caso particular de las no reflexivas.

Se dice que esta relación binaria es relación irreflexiva, si

1.- Relación irreflexiva: la relación R es irreflexiva si todo

También podemos decir que una relación es irreflexiva si:

y la relación entre los elementos de este conjunto:

Podemos ver que:

La representación de la relación en coordenadas cartesianas nos permite ver que la

La propiedad reflexiva e irreflexiva son mutuamente excluyentes en una misma relación,

Donde se ve claramente la incompatibilidad de las dos condiciones. El razonamiento contrario no es cierto

Y una relación es no irreflexiva cuando:

veamos un ejemplo, dado el conjunto:

En la que se ha definido la relación binaria:

Podemos ver que:

Luego la relación no es reflexiva y tampoco es irreflexiva.

Si representamos la relación binaria en coordenadas cartesianas, podemos ver que en la

En resumen, podemos diferenciar tres clases de relaciones:

Una relación binaria es una relación de dependencia si es reflexiva y simétrica:

Se dice que esta relación binaria es relación de

1.- Relación reflexiva: la relación R es reflexiva, si todo

2.- Relación simétrica: la relación R es simétrica, si un

es una relación de dependencia, dado que es reflexiva:

Una relación binaria es una relación de equivalencia si es reflexiva, simétrica y transitiva:1

Lo que también se llama correspondencia matemática.2 3