Beruflich Dokumente
Kultur Dokumente
Relación binaria
En matemáticas, una relación binaria es una relación matemática definida entre los elementos de dos conjuntos y . Una
relación de en se puede representar mediante pares ordenados para los cuales se cumple una propiedad , de
Portada
Portal de la comunidad
forma que , y se anota:
Actualidad
Cambios recientes
Páginas nuevas
Página aleatoria Que se lee: la relación binaria es el conjunto de pares ordenados pertenecientes al producto cartesiano , y para los
Ayuda cuales se cumple la propiedad que los relaciona.
Donaciones
Notificar un error Las proposiciones siguientes son correctas para representar la relación binaria entre los elementos y :
Imprimir/exportar
Crear un libro
Descargar como PDF También, según la notación polaca puede expresarse:
Versión para imprimir
Herramientas
Lo que enlaza aquí
Cambios en enlazadas Índice [ocultar]
Subir archivo 1 Ejemplos
Páginas especiales 2 Taxonomía de las relaciones binarias
Enlace permanente
3 Clasificación
Información de la
página 3.1 Relación homogénea
Elemento de Wikidata 3.2 Relación heterogénea
Citar esta página 4 Conceptos previos
Create PDF in your applications with the Pdfcrowd HTML to PDF API PDFCROWD
4.1 Par ordenado
En otros idiomas
4.2 Producto cartesiano
Deutsch
4.3 Relación binaria, subconjunto del producto cartesiano
English
Français 5 Relación binaria homogénea
Italiano 5.1 Propiedades de las relaciones binarias homogénea
한국어 5.1.1 Propiedad reflexiva
Nederlands 5.1.2 Propiedad irreflexiva
Русский 5.1.3 Propiedad simétrica
اردو
5.1.4 Propiedad antisimétrica
中 5.1.5 Propiedad transitiva
26 más 5.1.6 Propiedad total
Editar enlaces 5.2 Clases de las relaciones binarias homogénea
5.2.1 Relación reflexiva
5.2.2 Relación no reflexiva
5.2.3 Relación de dependencia
5.2.4 Conjunto preordenado
5.2.5 Relación de equivalencia
5.2.6 Conjunto parcialmente ordenado
5.2.7 Conjunto acotado
5.2.8 Orden total
5.2.9 Conjunto con orden total y acotado
6 Relación binaria heterogénea
6.1 Propiedades de las relaciones binarias heterogénea
6.1.1 Condición de existencia de imagen. (ei)
6.1.2 Condición de existencia de origen. (eo)
6.1.3 Condición de unicidad de imagen. (ui)
6.1.4 Condición de unicidad de origen. (uo)
6.1.5 Galería de ejemplos
6.2 Clases de las relaciones binarias heterogénea
6.2.1 Correspondencia unívoca
Create PDF in your applications with the Pdfcrowd HTML to PDF API PDFCROWD
6.2.2 Correspondencia biunívoca
6.2.3 Aplicación
6.2.4 Aplicación inyectiva
6.2.5 Aplicación sobreyectiva
6.2.6 Aplicación biyectiva
7 Propiedades
8 Véase también
9 Referencias
9.1 Bibliografía
9.2 Enlaces externos
Ejemplos [ editar ]
Dado el conjunto de los números reales, definimos la relación binaria de los puntos e en el plano , según la
función cuadrática , de forma que se anota:
Partiendo del conjunto de los automóviles de una localidad, y otro conjunto de las personas que manejan automóviles en
esa localidad, podemos definir la relación binaria «... conduce ...» entre ambos conjuntos y , formada por cada automóvil , y
quien lo conduce de forma que se anota formalmente:
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 de las flechas.
Create PDF in your applications with the Pdfcrowd HTML to PDF API PDFCROWD
Clasificación [ editar ]
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.
Create PDF in your applications with the Pdfcrowd HTML to PDF API PDFCROWD
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.
Una relación binaria entre dos conjuntos se llama homogénea si estos dos conjuntos son iguales:
O bien:
Una relación binaria entre dos conjuntos A y B, se llama heterogénea, si A es distinto de B:1
Create PDF in your applications with the Pdfcrowd HTML to PDF API PDFCROWD
Conceptos previos [ editar ]
Antes de afrontar el estudio de las relaciones binarias, veamos algunos conceptos que es necesario conocer:
Primer conjunto
Primer componente
Segundo conjunto
Segundo componente
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.
Create PDF in your applications with the Pdfcrowd HTML to PDF API PDFCROWD
lugar se coloca el elemento de A, del eje horizontal y en segundo lugar el de B, del eje vertical.
Visto del producto cartesiano de A por B, podemos definir una relación binaria, por ejemplo: mayor que, que se puede expresar:
Donde los pares ordenados que definen la relación binaria son un subconjunto del producto cartesiano de los conjuntos.2
Esto último permite estimar el número de relaciones binarias entre dos conjuntos si:
Entonces el número de relaciones binarias posibles entre los conjuntos A y B viene dado por:
Donde si alguno de los dos conjuntos es infinito el número anterior debe entenderse como un número transfinito.
Como ya se definió antes, una relación binaria homogénea es la que se da entre los elementos de un único conjunto, llamando A al
conjunto, tendríamos:
Create PDF in your applications with the Pdfcrowd HTML to PDF API PDFCROWD
Si la Relación binaria es 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, determina la estructura del conjunto, lo veremos con un ejemplo:
Dado el conjunto A:
y la relación entre los elementos de este conjunto, representada en la figura, se puede ver que solo hay
un conjunto, el A y que la relación entre los elementos es interior al conjunto, en este caso
representado por las flechas.
En este caso podemos decir, como enumeración de las relaciones entre los elementos del conjunto A.
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, nos permite asociar un
elemento inicial a otro final dentro de un mismo conjunto, determinando una operación matemática o
función de cálculo y no una estructura interna, teniendo siempre en cuenta, que si bien el conjunto
inicial y final son un mismo conjunto, la relación 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 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
Create PDF in your applications with the Pdfcrowd HTML to PDF API PDFCROWD
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.
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:
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.
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:
Create PDF in your applications with the Pdfcrowd HTML to PDF API PDFCROWD
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.
Una relación binaria tiene la propiedad irreflexiva, también llamada: antirreflexiva o antirrefleja, si ningún elemento del conjunto está
relacionado consigo mismo:
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.
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:
Create PDF in your applications with the Pdfcrowd HTML to PDF API PDFCROWD
Dicho de otra manera, no existen los elementos a, b distintos, y que a este relacionado con b y b este relacionado con a
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:
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:
Partiendo de las propiedades que una relación binaria homogéneas puede tener, se pueden diferenciar algunas por su especial interés:
Create PDF in your applications with the Pdfcrowd HTML to PDF API PDFCROWD
Relación reflexiva [ editar ]
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.
Create PDF in your applications with the Pdfcrowd HTML to PDF API PDFCROWD
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.
Podemos ver que los pares ordenados que tienen sus dos términos iguales pertenecen a la relación:
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.
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.
Create PDF in your applications with the Pdfcrowd HTML to PDF API PDFCROWD
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. Ver diagrama:
Una relación es irreflexiva si no existe un a en A que cumpla que a está relacionado consigo mismo.
Dado el conjunto:
Create PDF in your applications with the Pdfcrowd HTML to PDF API PDFCROWD
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:
Estas dos condiciones son perfectamente compatibles, dando lugar a una relación binaria no reflexiva y no irreflexiva:
Create PDF in your applications with the Pdfcrowd HTML to PDF API PDFCROWD
Podemos ver que:
Y también que:
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.
Relaciones reflexivas
Relaciones irreflexivas
Relaciones no reflexivas y no irreflexivas.
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.
Create PDF in your applications with the Pdfcrowd HTML to PDF API PDFCROWD
1.- Relación reflexiva: la relación R es reflexiva, si todo elemento a de A está
relacionado consigo mismo.
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 simétrica:
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.
Create PDF in your applications with the Pdfcrowd HTML to PDF API PDFCROWD
Una relación binaria define un conjunto preordenado si es reflexiva y transitiva:
Create PDF in your applications with the Pdfcrowd HTML to PDF API PDFCROWD
1.- Relación reflexiva: la relación R es reflexiva si todo elemento a de A está
relacionado consigo mismo.
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.
se dice que dos números son congruentes modulo n, si al dividir cada uno de esos números 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 números naturales, es una Relación de equivalencia, dado que es reflexiva:
Create PDF in your applications with the Pdfcrowd HTML to PDF API PDFCROWD
es simétrica:
y es transitiva
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:
Create PDF in your applications with the Pdfcrowd HTML to PDF API PDFCROWD
Tomando un conjunto A, formado, por ejemplo, por los elementos:
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:
Create PDF in your applications with the Pdfcrowd HTML to PDF API PDFCROWD
Por lo que el conjunto de las partes de A, respecto a la relación binaria pertenencia es un conjunto parcialmente ordenado.
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.
Create PDF in your applications with the Pdfcrowd HTML to PDF API PDFCROWD
Artículo principal: Elemento máximo y mínimo
Para un conjunto A y una relación binaria definida entre los elementos de A, que expresaremos y la relación la
representamos:
La no relación se representa:
1. Reflexiva.
2. Antisimétrica.
3. Transitiva.
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:
Create PDF in your applications with the Pdfcrowd HTML to PDF API PDFCROWD
Dado un conjunto A, y una relación binaria R entre sus elementos
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 ó 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:
Create PDF in your applications with the Pdfcrowd HTML to PDF API PDFCROWD
es antisimetrica:
y es total:
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.
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.
Create PDF in your applications with the Pdfcrowd HTML to PDF API PDFCROWD
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.
Una relación binaria entre dos conjuntos A y B, se llama heterogénea cuando A es distinto de B:
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 origen tienen asociado un elemento, estos elementos forman el conjunto origen:
, ,
Create PDF in your applications with the Pdfcrowd HTML to PDF API PDFCROWD
, , ,
Los elementos del conjunto final a los que se les ha asociado un origen se llama conjunto imagen:
, ,
, , , ,
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.
La condición de existencia de imagen garantiza que tomando un elemento cualesquiera a de A tiene al menos una imagen b en B.
Create PDF in your applications with the Pdfcrowd HTML to PDF API PDFCROWD
En la figura podemos ver el conjunto P de los pinceles:
, , ,
Si relacionamos cada pincel con la cara pintada del mismo color, podemos ver que todos los pinceles
tienen al menos una cara asociada.
La condición de existencia de origen garantiza que todo elemento b de B tiene al menos un origen a en A.
, , ,
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.
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.
Create PDF in your applications with the Pdfcrowd HTML to PDF API PDFCROWD
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.
, , ,
, ,
Los pinceles que tienen una cara relacionada, tienen una sola cara relacionada.
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:
, , ,
, , ,
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.
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.
Create PDF in your applications with the Pdfcrowd HTML to PDF API PDFCROWD
Correspondencia Correspondencia C. Unívoca Aplicación
Create PDF in your applications with the Pdfcrowd HTML to PDF API PDFCROWD
Correspondencia Correspondencia C. Biunívoca A. Inyectiva
Partiendo de las características de las relaciones binarias heterogéneas, podemos diferenciar los siguientes casos.
Create PDF in your applications with the Pdfcrowd HTML to PDF API PDFCROWD
Correspondencia unívoca [ editar ]
Artículo principal: Correspondencia unívoca
Esta condición en necesaria y suficiente para que una correspondencia sea considerada unívoca.
Create PDF in your applications with the Pdfcrowd HTML to PDF API PDFCROWD
Correspondencia biunívoca [ editar ]
Artículo principal: Correspondencia biunívoca
Una correspondencia es biunívoca si cumple las condiciones de unicidad de imagen y unicidad de origen:
Aplicación [ editar ]
Artículo principal: Aplicación matemática
Una correspondencia se denomina aplicación si todo elemento de A admite una única imagen en B.,6 7 5 8 9 10 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.11 según otra
nomenclatura.
Create PDF in your applications with the Pdfcrowd HTML to PDF API PDFCROWD
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.12
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.13
Una función es el término usado para indicar la relación o correspondencia entre dos o más cantidades.14
Create PDF in your applications with the Pdfcrowd HTML to PDF API PDFCROWD
Una correspondencia es una aplicación inyectiva si cumple la condición de unicidad de imagen, existencia de imagen y unicidad de
origen.
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.
Una correspondencia se llama Aplicación sobreyectiva si cumple la condición de unicidad de imagen, existencia de imagen y existencia
de origen:
Create PDF in your applications with the Pdfcrowd HTML to PDF API PDFCROWD
Dada una relación binarias heterogénea R, entre los conjunto A y B:
Se puede decir que una aplicación sobreyectiva, es una aplicación que cumple la condición de existencia de origen.
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:
Create PDF in your applications with the Pdfcrowd HTML to PDF API PDFCROWD
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:
Propiedades [ editar ]
Relación reflexiva
Relación irreflexiva
Relación simétrica
Relación asimétrica
Relación antisimétrica
Relación transitiva
Relación intransitiva
Create PDF in your applications with the Pdfcrowd HTML to PDF API PDFCROWD
Relación circular
Relación total
Referencias [ editar ]
Create PDF in your applications with the Pdfcrowd HTML to PDF API PDFCROWD
11. ↑ 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.
12. ↑ 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.
13. ↑ 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.
14. ↑ Alejandro Carreiras. «Monografias.com: Ayuda Matemáticas ESO.» . pp. 2. Funciones. Consultado el 2010.
15. ↑ Maravall Casesnoves, Dario (1982). Diccionario de matematicas modernas (2 edición). Editorial nacional. ISBN 84-276-1235-4.
Bibliografía [ editar ]
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.
Relaciones binarias
Relaciones binarias
Conjuntos, aplicaciones y relaciones binarias.
Relaciones binarias y grafos
Relación
Introducción a las estructuras algebraicas
Categoría: Relaciones
Create PDF in your applications with the Pdfcrowd HTML to PDF API PDFCROWD
Se editó esta página por última vez el 1 dic 2017 a las 16:47.
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.
Normativa de privacidad Acerca de Wikipedia Limitación de responsabilidad Desarrolladores Declaración de cookies Versión para móviles
Create PDF in your applications with the Pdfcrowd HTML to PDF API PDFCROWD