Unidad 5: Relaciones

5.1. -Conceptos bsicos relacionales

5.1.1.-Producto cartesiano
5.1.2 .-Relacin binaria
5.1.3.- Representacin de relaciones (matrices, conjuntos, grafos, diagrama de
flechas)
5.2.-Propiedades de las relaciones (reflexiva, irreflexiva, simtrica, asimtrica,
anti simtrica, transitiva)
5.3.-Relaciones de equivalencias (erraduras, clases de equivalencia, particiones)
5.4.- Funcin inyectiva, funcin biyectiva, funcin suprayectiva)
5.5.-Aplicacin de las relaciones y las funciones en la computacin
5.1. -Conceptos bsicos relacionales

Dados dos conjuntos A y B, el producto cartesianos de estos dos conjuntos es el

conjunto formado por todos los pares ordenados (a,b) donde a es un elemento de
A y b es un elemento de B. Dados dos conjuntos A y B una relacin es un
subconjunto del producto cartesiano A x B. Un elemento a, que pertenece al
conjunto A, est relacionado con un elemento b, que pertenece al conjunto B, si
el par (a, b) pertenece a un subconjunto G (llamado grafo) del producto
cartesiano A x B.
Ejemplo: Sean A = {a, b, c} y B = {1, 2} dos conjuntos. El producto cartesiano A
x B = {(a,1), (a,2), (b,1), (b,2), (c,1), (c,2)}. Una relacin sera R = {(a,1),(c,2)}.
A las relaciones tambin se les llama correspondencias.

5.1.1 Producto cartesiano

Considere dos conjuntos arbitrarios A y B. El conjunto de todas las parejas

ordenadas (a, b) en donde a ? A y b ? B se llama producto o producto cartesiano
de A y B. La definicin de producto cartesiano puede extenderse fcilmente al
caso de ms de dos conjuntos. Se llama producto cartesiano de dos conjuntos A y
B y se representa A x B, al conjunto de pares ordenados (a, b), tales que el primer
elemento pertenece al primer conjunto y el segundo elemento al segundo
conjunto. Es decir: A x B = {(a, b) / a ? A, b ? B} El producto cartesiano, en
general, no es conmutativo. Es decir: A x B ? B x A. Puede ocurrir que los
conjuntos A y B sean coincidentes. EJEMPLO: Si A = {a, b, c} y B = {1, 2, 3,
4}, el producto cartesiano es: A x B = {(a, 1), (a, 2), (a, 3), (a, 4), (b, 1), (b, 2), (b,
3), (b, 4), (c, 1), (c, 2), (c, 3), (c, 4)} Se puede representar grficamente por
medio de puntos en un plano, como se muestra a continuacin. Aqu, cada punto
P representa una pareja ordenada (a, b) de nmeros reales y viceversa; la lnea
vertical a travs de P encuentra al eje x en a, y la lnea horizontal a travs de P
encuentra el eje y en b. A esta representacin se le conoce como diagrama
cartesiano.

Hay otra manera de visualizar una relacin y es a travs de una representacin

grfica, donde se destaquen los puntos en el plano que pertenecen a A y los
puntos que pertenecen a B. Se trazan flechas que indican la relacin que existe
entre cada elemento del conjunto A y su correspondiente en el conjunto B. A esta
representacin grfica se le conoce como un diagrama de flechas.
5.1.2 Relacin Binaria
Una relacin binaria es una relacin matemtica R entre los elementos de dos
conjuntos A y B. Una relacin de este tipo se puede representar mediante pares
ordenados, :1 Sean A y B dos conjuntos. Una relacin (binaria) R de A en B es
un subconjunto de A B. Si (x, y) 2 R diremos que x est relacionado con y por
R. Note que en la definicin R es simplemente un subconjunto de parejas
ordenadas de A B.
Debido a que este tipo de relaciones son las mas frecuentes, el termino relacin
denota generalmente una relacin binaria; adoptaremos este criterio cuando no
haya confusin y especificaremos las que no sean binarias con trminos tales
como ternaria o n-aria.
Si (a, b) 2 R diremos que a esta relacionado con b y lo notaremos por aRb. Si (a,
b) /2 R, escribiremos aR/b y diremos que a no esta relacionado con b. EJEMPLO
Sea el conjunto A = {x, y, z}. El grafo de la siguiente figura representa una
relacin binaria definida en A, puesto que los pares (x, z), (y, x) (y, y)
constituyen un subconjunto de A x A.

Se dice que dos elementos a y b estn relacionados, y se escribe a R b, a est

relacionado con b mediante la relacin binaria R, cuando el par ordenado (a, b)
pertenece al subconjunto del producto cartesiano que define la relacin. Si dos
elementos a y b no estn relacionados mediante R en algn sentido, escribiremos
a R b o b R a o ambas cosas.
Propiedades de una relacin binaria Las principales propiedades que puede
presentar una relacin binaria R definida en un conjunto A se indican en la
siguiente tabla, junto con sus respectivas condiciones.

Ejemplo: Sea A = {huevos, leche, maiz} y B = {vacas, cabras, gallinas}.

Escribir la relacion R de A a B definida por: (a, b) 2 R () a es producido por b
Solucion La relacion seria: R = {(huevos,gallinas),(leche,vacas),(leche,cabras)}
5.1.3 .-Representacin de relaciones(matrices, conjuntos ,grafos, diagrama
de flechas )

Un mtodo para el estudio de las relaciones de manera algortmica es utilizando

matrices compuestas de ceros y unos. Definicin:
2.4.1 Sean A y B conjuntos finitos de la forma:
Si R es una relacin de A en B. La relacin R puede ser representada por la
matriz , donde La matriz se denomina matriz de R. En otras palabras la matriz, de
ceros y unos, de R tiene un 1 en la posicin cuando est relacionado con , y un 1
en est posicin si no est relacionado con . Obsrvese en la definicin anterior
que los elementos de A y B han sido escritos en un orden particular pero
arbitrario. Por lo tanto, la matriz que representa una relacin depende de los
rdenes usados para A y B. Cuando A = B usamos el mismo orden para A y B.
Ejemplo:
Sean . Consideremos la siguiente relacin de : .
Entonces la matriz de R es Recprocamente, dando los conjuntos A y B con m y
n elementos respectivamente, una matriz de m x n formada de ceros y unos
determina una relacin de A en B, como se ilustra en el siguiente ejemplo.
Ejemplo:
Determinemos las parejas ordenadas que estn en la relacin R representada por
la matriz Puesto que R consiste de aquellas parejas ordenadas , con , se sigue que
Representacin de relaciones usando conjuntos. Un conjunto es una coleccin de
objetos considerada como un objeto en s. Los objetos de la coleccin pueden ser
cualquier cosa: personas, nmeros, colores, letras, figuras, etc. Cada uno de los
objetos en la coleccin es un elemento o miembro del conjunto. Por ejemplo, el
conjunto de los colores del arcoris es: AI = {Rojo, Naranja, Amarillo, Verde,
Azul, Ail, Violeta}
Un conjunto suele definirse mediante una propiedad que todos sus elementos
comparten. Por ejemplo, para los nmeros naturales, si consideramos la
propiedad de ser un nmero primo, el conjunto de los nmero primos es: P = {2,
3, 5, 7, 11, 13, }
Un conjunto queda definido nicamente por sus miembros y por nada ms. En
particular el orden en el que se representen estos es irrelevante. Adems, cada
elemento puede aparecer de manera idntica una sola vez, esto es, no puede
haber elementos totalmente idnticos repetidos. Por ejemplo: S = {Lunes, Martes,
Mircoles, Jueves, Viernes} = {Martes, Viernes, Jueves, Lunes, Mircoles} AI =
{Rojo, Naranja, Amarillo, Verde, Azul, Ail, Violeta} = {Rojo, Naranja,
Amarillo, Verde, Azul, Ail, Violeta, Naranja} Los conjuntos pueden ser finitos
o infinitos. El conjunto de los nmero naturales es infinito, pero el conjunto de
los planetas en el sistema solar es finito (tiene ocho elementos). Adems, con los
conjuntos pueden combinarse mediante operaciones, de manera similar a las
operaciones con nmeros. Los conjuntos son un concepto bsico, en el sentido de
que no es posible definirlos en trminos de nociones ms elementales, por lo que
su estudio puede realizarse de manera informal, apelando a la intuicin y a la
lgica. Por otro lado, son el concepto fundamental de la matemtica: mediante
ellos puede formularse el resto de objetos matemticos, como los nmeros y las
funciones, entre otros. Su estudio detallado requiere pues la introduccin de
axiomas y conduce a la teora de conjunto Representacin de relaciones usando
grafos.
Un grafo es el principal objeto de estudio de la teora de grafos. Informalmente,
un grafo es un conjunto de objetos llamados vrtices o nodos unidos por enlaces
llamados aristas o arcos, que permiten representar relaciones binaria entre
elementos de un conjunto. Tpicamente, un grafo se representa grficamente
como un conjunto de puntos (vrtices o nodos) unidos por lneas (aristas). Un
grafo G es un par ordenado G = (V,E), donde:
V es un conjunto de vrtices o nodos, y E es un conjunto de aristas o arcos,
que relacionan estos nodos.
Normalmente V suele ser finito. Muchos resultados importantes sobre grafos no
son aplicables para grafos infinitos. Se llama orden del grafo G a su nmero de
vrtices, | V | . El grado de un vrtice o nodo V es igual al nmero de arcos E que
se encuentran en l. Un bucle es una arista que relaciona al mismo nodo; es decir,
una arista donde el nodo inicial y el nodo final coinciden. EJEMPLO:
V:={1,2,3,4,5,6} E:={{1,2},{1,5},{2,3},{2,5},{3,4},{4,5},{4,6}}
El hecho que el vrtice 1 sea adyacente con el vrtice 2 puede ser denotado como
1 ~ 2. En la teoras de las categoras una categora puede ser considerada como
un multigrafo dirigido, con los objetos como vrtices y los morfismos como
aristas dirigidas. En ciencias de la computacin los grafos dirigidos son usados
para representar mquinas de estado finito y algunas otras estructuras discretas.
Una relacin binaria R en un conjunto X es un grafo dirigido simple. Dos
vrtices a, b en X estn conectados por una arista dirigida ab si aRb.
Representacin de relaciones usando diagramas de flechas.
Una forma de representar el producto cartesiano es el diagrama de flechas.
Escriba los elementos de a y los elementos de b en dos discos disyuntos, y luego
dibuje una flecha de a e a en b e b cada vez que a este relacionado con b.

5.2.-Propiedades de las relaciones (reflexiva, irreflexiva, simtrica,

asimtrica, anti simtrica, transitiva)
Una relacin R en un conjunto A es reflexiva si (a, a) R para todas las a A,
esto es, si a R e para todas las a e A. Una relacin R en un conjunto A es
irreflexiva si a R a para toda a A. Por consiguiente, R es reflexiva si cada
elemento a e A est relacionado consigo mismo y es irreflexiva si ningn
elemento est relacionado consigo mismo.
Ejemplo 1:
(a) Sea ? = [(a, a)\ a A], de modo que A es la relacin de igualdad en el
conjunto A. Entonces A es reflexiva, ya que (a, a) ? para todas las a e A.

Relaciones Simtricas y Asimtrica

Una relacin R en un conjunto A es simtrica si cuando a R b, entonces b R a.

De esto se sigue que R no es simtrica se tiene a y b A con a R b, pero b R a.
Una relacin R en un conjunto A es asimtrica si cuando a R b, entonces b Ra.
De esto se sigue que R no es simtrica si se tiene a y b e A con ambos a R b y b R
a.
Una relacin R en un conjunto A es asimtrica si cuando a R b y b R a, entonces
a = b. Otra forma de expresar esta definicin es diciendo que R es anti simtrica
si cuando a ? b, se tiene a R b o b R a. De esto se sigue que R no es anti simtrica
si se tiene a y b en A. a ? b, y ambas a R b y b R a.
Ejemplo Sea A = [a, b, c, d, e} y sea R la relacin simtrica dada por R = {(a,
b), (b, a), (a, c), (c, a), (b, c), (c, b), (b, e), (e, b), (e, a), (a, e), (c,a), (a,c)} El grafo
dirigido de R se muestra en la figura 2(a), mientras que en la figura
Ejemplo: Sea A = {huevos, leche, maiz} y B = {vacas, cabras, gallinas}.
Escribir la relacion R de A a B definida por: (a, b) 2 R () a es producido por b
Solucion La relacion seria: R = {(huevos,gallinas),(leche,vacas),(leche,cabras)}

5.3.-Representacin de relaciones equivalencia (cerraduras,clases de

equivalencia,particiones )

Un mtodo para el estudio de las relaciones de manera algortmica es utilizando

matrices compuestas de ceros y unos. Definicin:
2.4.1 Sean A y B conjuntos finitos de la forma:
Si R es una relacin de A en B. La relacin R puede ser representada por la
matriz , donde La matriz se denomina matriz de R. En otras palabras la matriz, de
ceros y unos, de R tiene un 1 en la posicin cuando est relacionado con , y un 1
en est posicin si no est relacionado con . Obsrvese en la definicin anterior
que los elementos de A y B han sido escritos en un orden particular pero
arbitrario. Por lo tanto, la matriz que representa una relacin depende de los
rdenes usados para A y B. Cuando A = B usamos el mismo orden para A y B.
Ejemplo: Sean . Consideremos la siguiente relacin de :
. Entonces la matriz de R es Recprocamente, dando los conjuntos A y B con m y
n elementos respectivamente, una matriz de m x n formada de ceros y unos
determina una relacin de A en B, como se ilustra en el siguiente ejemplo.
Ejemplo:
Determinemos las parejas ordenadas que estn en la relacin R representada por
la matriz Puesto que R consiste de aquellas parejas ordenadas , con , se sigue que
Representacin de relaciones usando conjuntos.
Un conjunto es una coleccin de objetos considerada como un objeto en s. Los
objetos de la coleccin pueden ser cualquier cosa: personas, nmeros, colores,
letras, figuras, etc. Cada uno de los objetos en la coleccin es un elemento o
miembro del conjunto. Por ejemplo, el conjunto de los colores del arcoris es: AI
= {Rojo, Naranja, Amarillo, Verde, Azul, Ail, Violeta}
Un conjunto suele definirse mediante una propiedad que todos sus elementos
comparten. Por ejemplo, para los nmeros naturales, si consideramos la
propiedad de ser un nmero primo, el conjunto de los nmero primos es: P = {2,
3, 5, 7, 11, 13, }
Un conjunto queda definido nicamente por sus miembros y por nada ms. En
particular el orden en el que se representen estos es irrelevante. Adems, cada
elemento puede aparecer de manera idntica una sola vez, esto es, no puede
haber elementos totalmente idnticos repetidos. Por ejemplo: S = {Lunes, Martes,
Mircoles, Jueves, Viernes} = {Martes, Viernes, Jueves, Lunes, Mircoles}
AI = {Rojo, Naranja, Amarillo, Verde, Azul, Ail, Violeta} = {Rojo, Naranja,
Amarillo, Verde, Azul, Ail, Violeta, Naranja}
Los conjuntos pueden ser finitos o infinitos. El conjunto de los nmero naturales
es infinito, pero el conjunto de los planetas en el sistema solar es finito (tiene
ocho elementos). Adems, con los conjuntos pueden combinarse mediante
operaciones, de manera similar a las operaciones con nmeros. Los conjuntos son
un concepto bsico, en el sentido de que no es posible definirlos en trminos de
nociones ms elementales, por lo que su estudio puede realizarse de manera
informal, apelando a la intuicin y a la lgica. Por otro lado, son el concepto
fundamental de la matemtica: mediante ellos puede formularse el resto de
objetos matemticos, como los nmeros y las funciones, entre otros. Su estudio
detallado requiere pues la introduccin de axiomas y conduce a la teora de
conjunto Representacin de relaciones usando grafos.
Un grafo es el principal objeto de estudio de la teora de grafos.
Informalmente, un grafo es un conjunto de objetos llamados vrtices o nodos
unidos por enlaces llamados aristas o arcos, que permiten representar relaciones
binaria entre elementos de un conjunto. Tpicamente, un grafo se representa
grficamente como un conjunto de puntos (vrtices o nodos) unidos por lneas
(aristas). Un grafo G es un par ordenado G = (V,E), donde:
V es un conjunto de vrtices o nodos,
E es un conjunto de aristas o arcos, que relacionan estos nodos.
Normalmente V suele ser finito. Muchos resultados importantes sobre grafos no
son aplicables para grafos infinitos. Se llama orden del grafo G a su nmero de
vrtices, | V | . El grado de un vrtice o nodo V es igual al nmero de arcos E que
se encuentran en l. Un bucle es una arista que relaciona al mismo nodo; es decir,
una arista donde el nodo inicial y el nodo final coinciden. EJEMPLO:
V:={1,2,3,4,5,6}
E:={{1,2},{1,5},{2,3},{2,5},{3,4},{4,5},{4,6}}
El hecho que el vrtice 1 sea adyacente con el vrtice 2 puede ser denotado como
1 ~ 2.
En la teoras de las categoras una categora puede ser considerada como un
multigrafo dirigido, con los objetos como vrtices y los morfismos como aristas
dirigidas.
En ciencias de la computacin los grafos dirigidos son usados para representar
mquinas de estado finito y algunas otras estructuras discretas.
Una relacin binaria R en un conjunto X es un grafo dirigido simple. Dos
vrtices a, b en X estn conectados por una arista dirigida ab si aRb.
Representacin de relaciones usando diagramas de flechas.
Una forma de representar el producto cartesiano es el diagrama de flechas.
Escriba los elementos de a y los elementos de b en dos discos disyuntos, y luego
dibuje una flecha de a e a en b e b cada vez que a este relacionado con b.
5.2.-Propiedades de las relaciones (reflexiva, irreflexiva, simtrica,
asimtrica, anti simtrica, transitiva)
Una relacin R en un conjunto A es reflexiva si (a, a) R para todas las a A,
esto es, si a R e para todas las a e A. Una relacin R en un conjunto A es
irreflexiva si a R a para toda a A.
Por consiguiente, R es reflexiva si cada elemento a e A est relacionado consigo
mismo y es irreflexiva si ningn elemento est relacionado consigo mismo.
Ejemplo 1:
(a) Sea ? = [(a, a)\ a A], de modo que A es la relacin de igualdad en el
conjunto A. Entonces A es reflexiva, ya que (a, a) ? para todas las a e A.
Relaciones Simtricas y Asimtrica
Una relacin R en un conjunto A es simtrica si cuando a R b, entonces b R a. De
esto se sigue que R no es simtrica se tiene a y b A con a R b, pero b R a. Una
relacin R en un conjunto A es asimtrica si cuando a R b, entonces b Ra. De
esto se sigue que R no es simtrica si se tiene a y b e A con ambos a R b y b R a.
Una relacin R en un conjunto A es asimtrica si cuando a R b y b R a, entonces
a = b. Otra forma de expresar esta definicin es diciendo que R es anti simtrica
si cuando a ? b, se tiene a R b o b R a. De esto se sigue que R no es anti simtrica
si se tiene a y b en A. a ? b, y ambas a R b y b R a.
Ejemplo Sea A = [a, b, c, d, e} y sea R la relacin simtrica dada por
R = {(a, b), (b, a), (a, c), (c, a), (b, c), (c, b), (b, e), (e, b), (e, a), (a, e), (c,a), (a,c)}
El grafo dirigido de R se muestra en la figura 2(a), mientras que en la figura
Relaciones Transitivas
Se dice que una relacin R en un conjunto A es transitiva si cuando a R b y b R e,
entonces a R c. Se sigue que R no es transitiva si y slo si se puede encontrar
elemento a, b y c en A tal que a R b y b R c, pero a R c. Ejemplo: Sea A = Z el
conjunto de los enteros y sea R la relacin considerada en el ejemplo 2 Para ver
si R es transitiva, se supone que a R b y b R c. Por consiguiente, a < b; b < c.
Entonces se sigue que a < c, por lo cual a R c. De aqu que R sea transitiva.
Una relacin R en un conjunto A es transitiva si y slo si satisface las siguientes
propiedades: Si existe una trayectoria de longitud mayor que 1 del vrtice a al
vrtice b, hay una trayectoria de extensin 1 de a a b (esto es, a est relacionada
con b). Establecido algebraicamente, R es transitiva si y slo si Rn R para todas
las n = 1.
 5.3 Relaciones De Equivalencia (Cerraduras, Clases De Equivalencia y
Particiones)

Definicin. Sea R una relacin en un conjunto A. Una cerradura reflexiva ref( R )

de R en A es la menor relacin que la incluye y que es reflexiva, con smbolos:
(? R reflexiva) (A ? R ? ref( R )) ? R = ref( R )) Una cerradura simtrica sim( R
) de R en A es la menor relacin que la incluye y que es simtrica, con
smbolos: (? R reflexiva) (A ? R ? ref( R )) ? R = ref( R )) Una cerradura
transitiva trans( R ) de R en A es la menor relacin que la incluye y que es
transitiva, con smbolos: (? R reflexiva) (A ? R ? ref( R )) ? R = ref( R ) La
cerradura reflexiva y la cerradura simtrica de una relacin es muy simple de
encontrar, solamente se le agregan los pares necesarios de una forma directa.

Cuando conocemos la matriz asociada a la relacin, la forma de encontrar las

cerraduras anteriores es muy simple Al conjunto de los elementos del conjunto A
que estn relacionados con l se llama clase de equivalencia.
Ejemplo: La relacin a - b = 2.k (mltiplo de 2), siendo a y b nmeros enteros es
una relacin de equivalencia porque cumple las propiedades: Reflexiva: a - a = 0
= 2.k (k = 0). Simtrica: a - b = b - a porque b - a = -(a - b). Si a - b es mltiplo de
2, -(a - b) tambin lo ser. Transitiva: a - b = 2.k1 b - c = 2.k2 Sumando queda a -
c = 2.k3 Entonces a - c es mltiplo de 2. En el ejemplo anterior, la clase de
equivalencia del nmero cero (uno de los elementos del conjunto de los nmeros
enteros) C(0) = {... -4, -2, 0, 2, 4, ...}, pues 0 - (-4) es mltiplo de 2, 0 - (-2) es
mltiplo de 2 ya s sucesivamente. La clase de equivalencia del nmero 1 ser
C(1) = {... -5, -3, -1, 1, 3, 5, ...} pues la diferencia entre 1 y los nmeros
indicados es mltiplo de 2. Del mismo modo podramos calcular las clases de
equivalencia de ms nmeros.

El conjunto formado por las clases de equivalencia se llama conjunto cociente.

En el ejemplo anterior el conjunto cociente Z / 2 es el conjunto formado por las
clases de todos los elementos Z / 2 = {C(0), C(1), C(2), ... }. Particiones Sea X
un conjunto. P es una particin de X si y slo si:
Los conjuntos de P son disyuntos 2 a 2, es decir, si y entonces Observe que si P
es una particin de X, entonces todo elemento de X est en uno y slo un
elemento uno y slo un elemento de modo que parte a en conjuntos disyuntos.
Por ejemplo, el conjunto de barriles propuesto al comienzo de la seccin es una
particin del conjunto de mangos. Otro ejemplo de una particin es de la divisin
poltica de un pas: El pas (visto como un conjunto de personas) se parte en
estados o departamentos no vacos disyuntos entre s.

Ejemplo
Sea ={1, 2, 3, 4, 5, 6, 7, 8, 9}
Entonces = {{1, 9}, {2, 8}, {3, 4, 5, 6, 7}}
Es una particin de X en tres conjuntos: elementos externos (1,9), elementos
semi-externos (2, 8) y elementos internos (3, 4, 5, 6, 7). Note que Q = {{1, 2, 9},
{2, 8}, {3, 4, 5, 6, 7}} no es particin de X (por qu?).
Como lo habamos insinuado, resulta que toda relacin de equivalencia
determina de manera natural una particin.
 5.4 Funcin Inyectiva, funcin suprayectiva, funcin biyectiva

En matemticas funcin inyectiva si a cada valor del conjunto (dominio) le

corresponde un valor distinto en el conjunto (imagen) de . Es decir, a cada
elemento del conjunto Y le corresponde un solo valor de X tal que, en el conjunto
X no puede haber dos o ms elementos que tengan la misma imagen. As, por
ejemplo, la funcin de nmeros reales , dada por no es inyectiva, puesto que el
valor 4 puede obtenerse como y . Pero si el dominio se restringe a los nmeros
positivos, obteniendo as una nueva funcin entonces s se obtiene una funcin
inyectiva
Definicin formal De manera ms precisa, una funcin es inyectiva cuando se
cumple alguna de las dos afirmaciones equivalentes:
Si son elementos de tales que , necesariamente se cumple .
? Si son elementos diferentes de , necesariamente se cumple
Cardinalidad e inyectividad Dados dos conjuntos y , entre los cuales existe una
funcin inyectiva tienen cardinales que cumplen:
Si adems existe otra aplicacin inyectiva , entonces puede probarse que existe
una aplicacin biyectiva entre A y B.
Ejemplos
? Para cualquier conjunto X y subconjunto S de X el mapa de inclusin S ? X (el
cual enva cualquier elemento s de S para si mismo) es inyectiva. En particular, la
funcin identidad X ? X es siempre inyectiva (y de hecho biyectiva).
La funcin f : R ? R definida por f(x) = 2x + 1 es inyectiva.
La funcin g : R ? R definida por g(x) = x2 no es inyectiva, porque (por ejemplo)
g(1) = 1 = g(-1). No obstante, si g se redefine de manera que su dominio es los
nmeros reales no negativos [0,+8), entonces g es inyectiva.
La funcin exponencial exp : R ? R definida por exp(x) = ex es inyectiva (pero
no sobreyectiva, porque no genera nmeros negativos, los cuales no tienen
relacin con ningn valor de x).
El logaritmo natural En la funcin ln : (0, 8) ? R definida por x ? ln x es
inyectiva.
La funcin g : R ? R definida por g(x) = xn - x no es inyectiva, ya que, por
ejemplo, g(0) = g(1).
En trminos ms generales, cuando X e Y estn ambos en la recta real R, a
continuacin, una funcin inyectiva f : R ? R es aquella cuya grfica nunca es
cruzada por una lnea horizontal ms de una vez. Este principio se conoce como
la prueba de lnea horizontal. Inyectividad en el espacio eucldeo
Dada una funcin diferenciable con continuidad sobre un dominio del espacio
eucldeo n-dimensional, pueden establecerse condiciones necesarias y suficientes
para decidir cuando esta funcin es inyectiva. El teorema de la funcin inversa da
una condicin no suficiente para que una funcin diferenciable sea localmente
inyectiva: donde:
es la matriz jacobiana de la funcin. <br< es="" la="" funcin=""
determinante.=""
Esta condicin no es condicin suficiente para garantizar la inyectividad de la
funcin (de hecho tampoco es condicin necesaria). Para encontrar condiciones
suficientes se define el vector desplazamiento asociado a la funcin como el
siguiente campo vectorial: Esta funcin se interpreta como la diferencia entre la
posicin inicial de un punto y la posicin final de su imagen. Puede demostrarse
que existe una constante si se cumple: Donde:
, es la clausura topolgica del dominio . Entonces la funcin es [globalmente]
inyectiva, puede demostrarse que si el dominio es convexo, mientras que un
dominio no convexo requiere

Funcin biyectiva

En matemtica, una funcin biyectiva si es al mismo tiempo inyectiva

ysobreyectiva; es decir, si todos los elementos del conjunto de salida tienen una
imagendistinta en el conjunto de llegada, y a cada elemento del conjunto de
llegada le corresponde un elemento del conjunto de salida. Formalmente, Una
implicacin directa de lo anterior, es que en una funcin biyectiva la cardinalidad
del conjunto de salida o dominio, y el de llegada o codominio, son iguales. Esto
tambin se puede ver en el ejemplo, donde |X|=|Y|=4. Teorema Si es una funcin
biyectiva, entonces su funcin inversa existe y tambin es biyectiva. Ejemplo La
funcin: es biyectiva. Luego, su inversa: tambin lo es.1 El siguiente diagrama se
puede ver cuando la funcin es biyectiva:
Cardinalidad y biyectividad Dados dos conjuntos y , entre los cuales existe una
funcin biyectiva tienen cardinales que cumplen:

Funcin suprayectiva

En matemtica,una funcin es sobreyectiva (epiyectiva, suprayectiva,suryectiva,

exhaustiva o subyectiva), si est aplicada sobre todo el codominio, es decir,
cuando la imagen , o en palabras ms sencillas, cuando cada elemento de "Y" es
la imagen de como mnimo un elemento de "X". Formalmente, Los siguientes
diagramas corresponden a funcin sobreyectiva: Cardinalidad y sobreyectividad
Dados dos conjuntos y , entre los cuales existe una funcin sobreyectiva , se tiene
que los cardinales que cumplen: Si adems existe otra aplicacin sobreyectiva ,
entonces puede probarse que existe una aplicacin biyectiva entre A y B. 5.5.-
Aplicacin de las relaciones y funciones en la computacin. Para los conjuntos
A, B , el producto cartesiano, de A y B se denota con y se define como = {(a,
b) tales que a A, b B} Decimos que los elementos de son pares ordenados. Se
define que para todo a A [a] = {y B, a y} Para los conjuntos A, B ,
cualquier subconjunto de es una relacin de A en B. Cualquier subconjunto de
Conjuntos producto Un par ordenado (a, b) es una lista de los objetos a y b con
un orden prescrito donde a aparece en primer lugar y b en el segundo. Por
consiguiente, un par ordenado es nicamente una sucesin de extensin 2. A
partir de la explicacin previa sobre las sucesiones (vase la seccin 1.2). Se
tiene que los pares ordenados (a1, b1) y (a2, b2) son iguales si y slo si a1 = a2 y
b1 =b2 Si A y B son dos conjuntos no vacos, se define el conjunto producto o el
producto cartesiano A x B como el conjunto de pares ordenados (a, b} donde a
A y b B. Por tanto,A x B = {(a, b)|a A y b B] B r sA1 (1,r) (1,s)2 (2, r) (2, s)
3 (3.r) (3s)Ejemplo 1 SeaA ={1,2, 3} y B={r,s} Entonces A x B = {(1, r). (1, s),
(2, r), (2, s), (3, r), (3
 Bibliografa

http://es.scribd.com/doc/53460997/2/Conocimientos-basicos-acerca-de-bases-de-
datos-relacionales-y-SQL
http://www.emagister.com/cursos-de-bases-datos-relacionales-basico-bf-i-30062-
v-1.htm
http://www.monografias.com/trabajos21/matematica-discreta/matematica-
discreta.shtml
http://matematicasdiscreta.wordpress.com/2011/10/29/5-1-1-producto-
cartesiano/
http://es.wikipedia.org/wiki/Relaci%C3%B3n_binaria
http://es.scribd.com/doc/19121584/4-RELACIONES-BINARIAS
http://www.buenastareas.com/materias/representacion-de-relaciones-matrices-
conjuntos-grafos-diagrama-de-flechas/0
http://matematicasdiscreta.wordpress.com/2011/10/29/5-1-3-representacion-de-
relaciones-matrices-conjunto-grafos-diagrama-de-flechas/
http://mtovar.cs.buap.mx/doc/EstDisc/Funciones%20y%20Relaciones1.pdf
http://books.google.com.mx/books?id=7GJXRsNkglIC&pg=PA514&lpg=PA514
&dq=-
Relaciones+de+equivalencias+(cerraduras,+clases+de+equivalencia,+particiones
&source=bl&ots=_GznwZdG0v&sig=Qj797qlo7kghLVEpe6fOLmcsIwc&hl=es-
419&sa=X&ei=dTmXUKSMKaXq0QGQsoDIDQ&ved=0CBwQ6AEwAA#v=o
nepage&q&f=false
http://www.ingenieria.unam.mx/~colomepg/CAPITULO_I_FUNCIONES_III.pd
http://www.slideshare.net/agascras/funcion-inyectiva-suprayectiva-y-biyectiva-
5975060
http://es.wikipedia.org/wiki/Funci%C3%B3n_matem%C3%A1tica
http://www.buenastareas.com/materias/aplicaciones-de-las-relaciones-y-las-
funciones-en-la-computacion/0
http://www.monografias.com/trabajos17/relaciones-matematicas/relaciones-
matematicas.shtml </br<>