RELACIONES

MATEMATICAS DISCRETAS
CUESTIONARIO UNIDAD V

Karol Alejandro Morales Delgado

Relaciones
Definicin
Las relaciones son muy importantes en matemticas y sobretodo en computacin, pues vienen a
ser una herramienta fundamental en Bases de Datos, Programacin, etc.; casi en cualquier tpico
de una u otra forma se utiliza el concepto de relacin. El trmino relacin es muy amplio y se
puede conceptualizar en trminos muy generales, pero la idea central es muy simple y
entendiendo el concepto se puede aplicar en cualquier situacin por diversa que sea. Una relacin
es una asociacin entre elementos u objetos, generalmente de dos conjuntos arbitrarios. Una
manera de formalizar el concepto y al mismo tiempo hacerlo prctico para usarse en computacin
es considerar una relacin como un conjunto de pares ordenados. Esto se puede extender
posteriormente a tuplos para definir relaciones de varios elementos.

En que consiste el producto cartesiano?

Primeramente empezaremos por el concepto de producto cartesiano entre Conjunto si
A diferencia de un conjunto en un par ordenado (a,b)ii, importa el orden de los elementos. Si se
Consideran los conjuntos A y B y formamos parejas o pares ordenados con los elementos de A
Como primeros elementos y los de B como segundos, se obtiene un conjunto llamado producto
Cartesiano. Esto es:
Definicin. A x B = {(a, b): a A, b B}
Ejemplo: A= {1, 2,5}, B = {2,3}
A x B = {(1,2),(1,3),(2,2),(2,3),(5,2),(5,3)}Con el producto cartesiano podemos establecer la
definicin formal de relacin.

Que es una relacin binaria?

Definicin. Una relacin binaria R de A a B es un subconjunto de A x B. Los elementos de A que
aparecen en la relacin forman el dominio y los de B forman el rango.
Notacin: R A X B
DOM(R) = {x : (x,y) R }
RAN(R) = {y : (x,y) R }

De qu forma se pueden representar las relaciones? Y ejemplos

En matemtica, Relacin es la correspondencia de un primer conjunto, llamado Dominio, con un
segundo conjunto, llamado Recorrido o Rango, de manera que a cada elemento del Dominio le
corresponde uno o ms elementos del Recorrido o Rango.
Por su parte, una Funcin es una relacin a la cual se aade la condicin de que a cada valor del
Dominio le corresponde uno y slo un valor del Recorrido.
De las definiciones anteriores podemos deducir que todas las funciones son relaciones, pero no
todas las relaciones son funciones.
Tambin debemos agregar que toda ecuacin es una Relacin, pero no toda ecuacin es
una Funcin.
Todas las Relaciones pueden ser graficadas en el Plano Cartesiano.
Ver: Plano Cartesiano
Dados dos conjuntos A y B una relacin definida de A en B es un conjunto de parejas ordenadas
(par ordenado) que hacen verdadera una proposicin; dicho de otro modo, una relacin es
cualquier subconjunto del producto cartesiano A x B
Ejemplo 1.
Si A = {2, 3} y B = {1, 4, 5}, encontrar tres relaciones definidas de A en B.
Solucin
El producto cartesiano de A x B est conformado por las siguientes parejas o pares ordenados:
A x B = {(2, 1), (2, 4), (2, 5), (3, 1), (3, 4), (3, 5)}

Propiedades de las relaciones

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.

(b) Sea R = {(a, b) e A x A | a + b}, R es la relacin de desigualdad en el conjunto A. Entonces R

es irreflexible, ya que (a, a) R para todas las x A.

(c) Sean A = {1, 2, 3}. y J = {(1, 1), (1, 2)}. Entonces A es reflexiva ya
(2,2) R y (.3,3) R. Por otra parte, R no es irreflexiva, ya que (1, l) R.

(d) Sea A un conjunto no vaco. Sea R = A x A, la relacin vaca. Enlaces R no es reflexiva, ya

que (a, a) R para todas las a A (el conjunto vaco tiene elementos). Sin embargo, R es
irreflexiva.

Qu es una relacin equivalente?

Una relacin de equivalencia es una forma de clasificar, distinguir o agrupar diferentes elementos
de un conjunto cualquiera, dicha clasificacin, que determina cuales elementos tienen
caractersticas iguales o equivalentes, se produce mediante el anlisis de la relacin que hay entre
los elementos, si la relacin cumple ser reflexiva, simtrica y transitiva, entonces se dice que dos
elementos estn relacionados equivalentemente, y por tanto estn en un grupo o una clase de
equivalencia, puesto que al cumplir con estos requerimientos, estos elementos son equivalentes.
Con esto, si hay un conjunto de elementos cualquiera, una relacin de equivalencia lo que hace es
agrupar dichos elementos en clases, dichas clases contienen elementos con caractersticas en
comn que son verificadas con las propiedades que debe cumplir la relacin de equivalencia
(Reflexiva, simtrica y transitiva).

Explica que son las funciones: inyectiva, suprayectiva y viyectiva

Funcin inyectiva
Ejemplo de funcin inyectiva.
En matemticas, una funcin es 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 A le corresponde un
solo valor tal que, en el conjunto A 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 f(2) y f( 2). Pero si el dominio se restringe a los nmeros positivos, obteniendo as
una nueva funcin entonces s se obtiene una funcin inyectiva.
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

Funcin biyectiva
Ejemplo de funcin biyectiva.
En matemtica, una funcin es biyectiva si es al mismo tiempo inyectiva y sobreyectiva.
Formalmente,
para ser ms claro se dice que una funcin es biyectiva cuando todos los elementos del conjunto de
partida en este caso (x) tienen una imagen distinta en el conjunto de llegada, que es la regla de la
funcin inyectiva. Sumndole que cada elemento del conjunto de salida le corresponde un elemento
del conjunto de llegada, en este caso (y) que es la norma que exige la funcin sobreyectiva
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.

Funcin suprayectiva
Ejemplo de funcin sobreyectiva.
En matemtica, una funcin es sobreyectiva (epiyectiva, suprayectiva, suryectiva o exhaustiva), 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".

Aplicaciones de las relaciones y las 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]
Brs
A
1 (1,r) (1,s)
2 (2, r) (2, s)
3 (3.r) (3s)
Ejemplo 1 Sea
A ={1,2, 3} y B={r,s}
Entonces
A x B = {(1, r). (1, s), (2, r), (2, s), (3, r), (3, s)}