Elias Ortega Chiln N1A

Relaciones

Cuando se formula una expresin que liga dos o ms objetos entre s,
postulamos una relacin (no necesariamente matemtica). Las relaciones, en
un sentido ms general, se fundamentan en conjuntos arbitrarios.

Definicin:
Una relacin establece la correspondencia entre los elementos de dos
conjuntos no vacos A y B. Usualmente, al conjunto A se lo denomina
conjunto de partida, y al conjunto B, de llegada. Simblicamente, la relacin
se representa por R y se cumple que:
R A x B
Es decir, todos los subconjuntos de A x B constituyen una relacin. La
cantidad mxima de relaciones que se pueden obtener a partir de dos
conjuntos no vacos A y B es:

Representacin:
La relaciones matemticas se representan con el
Diagrama de Sagitales, es un diagrama de flechas Por
ejemplo si "a" se relaciona con "b" escribimos a R b o
bien decimos que (a, b) pertenece a la Relacin.


Cantidad de relaciones:

Dados los conjuntos A = { ?, } y B= { a, b }, determine analticamente el
nmero de relaciones posibles que se pueden obtener de A en B, y realice
los diagramas sagitales correspondientes a todas las relaciones posibles.

Solucin:

El nmero de relaciones de A en B es

=

= 16


Elias Ortega Chiln N1A
Diagramas sagitales:

Caso 1: Ningn elemento del conjunto de partida
est relacionado con ningn elemento del conjunto
de llegada (relacin vaca).



Caso 2: Relaciones de un solo elemento del conjunto de partida con uno solo
del conjunto de llegada.













Caso 3: Relaciones de un solo elemento del conjunto de partida con dos del
conjunto de llegada.








Caso 4: Relacin de dos elementos del conjunto de partida con uno solo del
conjunto de llegada.






Elias Ortega Chiln N1A
Caso 5: Relaciones de un elemento del conjunto de partida con uno solo del
conjunto de llegada.








Caso 6: Relaciones de un elemento del conjunto de partida con dos del
conjunto de llegada y el otro elemento del conjunto de partida con otro del
conjunto de llegada.












Caso 7: Todos los elementos del conjunto de partida estn relacionados
con todos los elementos del conjunto de llegada (producto cartesiano).









Elias Ortega Chiln N1A
Dominio de una Relacin
Dada una relacin R, construida a partir de los conjuntos A y B, los
elementos del conjunto A que establecen correspondencia constituyen el
dominio de la relacin. Se representa simblicamente por: dom R.

No necesariamente todos los elementos del conjunto de partida forman
parte del dominio de una relacin.

Rango de una Relacin
Dada una relacin R, construida a partir de los conjuntos A y B, los
elementos del conjunto B que se relacionan con elementos del dominio de R
constituyen el rango de la relacin. Se representa simblicamente por: rg R.
Es comn tambin denominar al rango de la relacin como el recorrido,
imagen o co-dominio de la misma.
No necesariamente todos los elementos del conjunto de llegada forman
parte del rango de una relacin.

Ejercicios:
A = {2, 4, 5} B = {1, 3, 5}
R = {(x, y)/x +y es un nmero primo}
R = {(2,1), (2,3), (2,5), (4,1), (4,3)}
dom R = {2, 4}
rg R = {1, 3, 5}

A = {0, 2, 4, 6} B = {1, 3, 5}
R = {(x, y)/x>y}
R = {(2,1), (4,1), (4,3), (6,1), (6,3), (6,5)}
Podemos observar que: dom R = {2, 4, 6}
rg R = {1, 3, 5}.

Elias Ortega Chiln N1A
Funcin
Una relacin de A en B es una funcin si y slo si el dominio de la relacin es
todo el conjunto de partida, y si a cada elemento del dominio le corresponde
un nico elemento en el rango. Simblicamente, esta definicin se
representa por:
1. dom R = A
2. x A y1, y2 B [(x R y1) (x R y2) (y1 = y2)]
Para denotar funciones usualmente se utiliza la letra f.

Diferencia entre relacin y funcin
De esta definicin, se concluye que en una funcin no pueden existir dos
elementos del conjunto de llegada relacionados con un mismo elemento del
dominio, o lo que es igual, un elemento del dominio no puede estar
relacionado con dos elementos diferentes del conjunto de llegada.
Cabe anotar que toda funcin es una relacin, pero no toda relacin
representa una funcin.

Tipos de funciones
Las funciones presentan diversas caractersticas, las cuales deben ser
tipificadas para posteriores anlisis. Estas caractersticas dependen de la
cardinalidad de los conjuntos de partida y de llegada, as como de la relacin
que se establezca entre ellos.
De acuerdo a las caractersticas de las funciones, es posible realizar
diferentes representaciones grficas.

Funcin Inyectiva
f : AB es inyectiva {x1, x2 A[(x1 = x2)( f (x1)=f (x2))]}
f es inyectiva si cada elemento del rango es imagen exclusiva de un nico
elemento del dominio.
Es necesario que para poder construir funciones inyectivas.

Elias Ortega Chiln N1A


Funcin Sobreyectiva
f : AB es sobreyectiva {yB x A[y= f (x)]}
f es sobreyectiva si rg f= B.
Es necesario que para poder construir funciones sobreyectivas.



Funcin Biyectiva
f : AB es biyectiva si y slo si f es inyectiva y f es sobreyectiva.

Elias Ortega Chiln N1A


Observaciones
En base a las definiciones anteriores, es importante anotar que:
Las funciones que son sobreyectivas no necesariamente son inyectivas.
Las funciones que son inyectivas no necesariamente son sobreyectivas.
Es posible que una funcin no sea inyectiva, ni sobreyectiva.
As mismo, existen funciones que poseen las dos caractersticas
anteriormente sealadas, las cuales se definen a continuacin.