Instituto Tecnológico de Lázaro Cárdenas

Carrera: Ingeniería en Sistemas Computacionales.

Materia: Matemáticas Discretas.

Unidad 5 – Relaciones

Tema: Relaciones matemáticas

Alumno: Orlando Alain Oregón Fuentes

Maestro: Daniel Benito Román Ocampo.

Cd. Lázaro Cárdenas Michoacán. 20 de Noviembre del 2015.

1
 Índice

 Introducción..............................................................................................3
 Antecedentes............................................................................................................ 3
 Conceptos básicos de las Relaciones.....................................................4
 Producto cartesiano ................................................................................5
 Relación binaria ......................................................................................6
 Representación de relaciones................................................................7
1. Matrices.......................................................................7
2. Conjuntos.....................................................................8
3. Grafos..........................................................................8
4. Diagrama de flechas....................................................9
 Propiedades de las relaciones...............................................................10
1. Reflexiva...................................................................10
2. Irreflexiva...................................................................10
3. Simétrica...................................................................10
4. Asimétrica..................................................................10
5. Antisimétrica.............................................................12
6. Transitiva)..................................................................12
 Relaciones de equivalencia..................................................................13
1. Cerraduras.................................................................13
2. Clases de equivalencia.............................................14
3. Particiones)................................................................15
 Funciones ..............................................................................................16
1. Inyectiva.....................................................................16
2. Suprayectiva..............................................................18
3. Biyectiva)...................................................................17
 Conclusión.............................................................................................19
 Bibliográfica ............................................................................................................ 19

2
Introducción

Podemos decir que una relación es un conjunto de parejas ordenadas. Si a y b

son dos conjuntos cualesquiera, r es una relación de a en b sí y sólo sí r es
subconjunto de a x b. y se divide en varios tipos tales como: Relación de
matriz, Relación transitiva, Relación reflexiva, Relación de pertenencia,
Relación simétrica y el grafo.
Informalmente, un grafo es un conjunto de objetos llamados vértices o nodos
unidos por enlaces llamados aristas o arcos, que permiten representar
relaciones binarias entre elementos de un conjunto. Se representa
gráficamente como un conjunto de puntos (vértices o nodos) unidos por líneas
(aristas). Desde un punto de vista práctico, permiten estudiar las
interrelaciones entre unidades que interactúan unas con otras.
Por ejemplo, una red de computadoras puede representarse y estudiarse
mediante un grafo.

Antecedentes o Historia

Una relación es un vínculo o una correspondencia. En el caso de la relación

matemática, se trata de la correspondencia que existe entre dos conjuntos: a
cada elemento del primer conjunto le corresponde al menos un elemento del
segundo conjunto.

Cuando a cada elemento de un conjunto le corresponde solo uno del otro, se

habla de función. Esto quiere decir que las funciones matemáticas siempre
son, a su vez, relaciones matemáticas, pero que las relaciones no siempre son
funciones.
En una relación matemática, al primer conjunto se lo conoce como dominio,
mientras que el segundo conjunto recibe el nombre de rango o recorrido. Las
relaciones matemáticas existentes entre ellos se pueden graficar en el
esquema llamado plano cartesiano.
Supongamos que el dominio se llama M y el rango, N. Una relación
matemática de M en N será un subconjunto del producto cartesiano M x N. Las
relaciones, en otras palabras, serán pares ordenados que vinculen elementos
de M con elementos de N.

3
Si M = {5, 7} y N = {3, 6, 8}, el producto cartesiano de M x N serán los
siguientes pares ordenados:
M x N = {(5, 3), (5, 6), (5, 8), (7, 3), (7, 6), (7, 8)}
Con este producto cartesiano, se pueden definir diferentes relaciones. La
relación matemática del conjunto de pares cuyo segundo elemento es menor
a 7 es R = {(5, 3), (5, 6), (7, 3), (7, 6)}
Otra relación matemática que puede definirse es aquella del conjunto de pares
cuyo segundo elemento es par: R = {(5, 6), (5, 8), (7, 6), (7, 8)}
Las aplicaciones de las relaciones matemáticas trascienden los límites de la
ciencia, ya que en nuestra vida cotidiana solemos hacer uso de sus principios,
muchas veces de manera inconsciente. Seres humanos, edificios,
electrodomésticos, películas y amigos, entre otros muchos, son algunos de
los conjuntos más comunes de interés para nuestra especie, y
a diario establecemos relaciones entre ellos para organizarnos y participar de
nuestras actividades.
De acuerdo con el número de conjuntos que participen del producto cartesiano,
es posible reconocer diversos tipos de relación matemática, algunos de los
cuales se definen brevemente a continuación.

Contenido

Conceptos básicos de las Relaciones. 

Bases de datos relacionales.

Una base de datos relacional permite la utilización simultánea de datos

procedentes de más de una tabla.
Al hacer uso de las relaciones, se evita la duplicidad de datos, ahorrando
memoria y espacio en el disco, aumentando la velocidad de
ejecución y facilitando al usuario/a el trabajo con tablas.
Para conseguir una correcta base de datos relacional es imprescindible realizar
un estudio previo del diseño de la base de datos.
Para poder relacionar tablas entre sí se deberá especificar un campo en
común que contenga el mismo valor en las dos tablas y dicho campo será
clave principal en una de ellas.
Las tablas se relacionan de dos a dos, donde una de ellas será la tabla
principal (de la que parte relación) y la otra será la tabla secundaria (destino de
la relación).

Tipos de relaciones

Se pueden distinguir tres tipos de relaciones:

4
Relación Uno a Uno: Cuando un registro de una tabla sólo puede estar
relacionado con un único registro de la otra tabla y viceversa.

Por ejemplo: tenemos dos tablas una con los datos de diferentes poblaciones
y otra con una lista de Alcaldes, una población sólo puede tener un alcalde, y
un alcalde lo será únicamente de una población.

Relación Uno a Varios: Cuando un registro de una tabla (tabla

secundaria) sólo puede estar relacionado con un único registro de la otra
tabla (tabla principal) y un registro de la otra tabla (tabla principal) puede tener
más de un registro relacionado en la primera tabla (tabla secundaria).
Por ejemplo: tenemos dos tablas una con los datos de diferentes poblaciones
y otra con los habitantes, una población puede tener más de un habitante, pero
un habitante pertenecerá (estará empadronado) en una única población.

Relación Varios a Varios: Cuando un registro de una tabla puede estar

relacionado con más de un registro de la otra tabla y viceversa.

Por ejemplo: tenemos dos tablas una con los datos de clientes y otra con los
artículos que se venden en la empresa, un cliente podrá realizar un pedido con
varios artículos, y un artículo podrá ser vendido a más de un cliente.

Las relaciones varios a varios se suelen representar definiendo una tabla

intermedia entre las dos tablas. Siguiendo el ejemplo anterior sería definir una
tabla líneas de pedido relacionadas con clientes y con artículos.

Producto cartesiano

La noción de producto cartesiano se emplea en el ámbito de la matemática,

más precisamente en el campo del álgebra. El producto cartesiano revela
una relación de orden entre dos conjuntos, constituyéndose como un tercer
conjunto.

El producto cartesiano de un conjunto A y

de un conjunto B es el conjunto
constituido por la totalidad de los pares
ordenados que tienen un primer
componente en A y un segundo
componente en B.

5
Veamos un ejemplo. Si el conjunto A está formado por los
elementos 3, 5, 7 y 9, mientras que el conjunto B alberga los elementos m y r,
el producto cartesiano de ambos conjuntos es el siguiente:

A x B = {(3,m), (3,r), (5, m), (5,r), (7,m), (7,r), (9,r), (9,r)}

El producto cartesiano, por lo tanto, está formado por todos los pares
ordenados que se pueden formar a partir de dos ciertos conjuntos. Cada par
ordenado se constituye por dos elementos: el primer elemento pertenece a un
conjunto y el segundo elemento, al otro. Si seguimos con nuestro ejemplo, en
el par ordenado (3,m), 3 es el primer elemento (corresponde al conjunto A)
y m es el segundo elemento (perteneciente al conjunto B).

Es importante establecer, además de todo lo expuesto, que cuando hablamos

de productos cartesianos tenemos que hacer referencia a dos casos o tipos de
generalizaciones posibles. Así, por un lado, se encuentra el llamado caso finito,
que es aquel que parte de un número finito de conjuntos (A1, A2, A3…An). Del
mismo su producto cartesiano vendría a ser el grupo de listas numeradas cuyo
elemento está en A1, el segundo en A2.

El caso infinito sería aquel en el que, partiendo de una gran familia de

conjuntos con toda la probabilidad infinita y de carácter arbitrario, a la hora de
definir el pertinente producto cartesiano se sustituiría lo que es la definición de
las mencionadas listas numeradas por otra.
Supongamos que, en una casa, hay tres personas (Carlos, Juan y Antonia) y
dos libros (Rayuela y Cien años de soledad). El producto cartesiano de ambos
conjuntos (personas y libros) estará formado por todos los repartos posibles de
las obras literarias entre los individuos.
P x L = {(Carlos, Rayuela), (Carlos, Cien años de soledad), (Juan, Rayuela),
(Juan, Cien años de soledad), (Antonia, Rayuela), (Antonia, Cien años de
soledad)}

Dicha información puede resultar útil para crear un organigrama que

especifique cómo se distribuirán los dos libros para que todos tengan la
oportunidad de leerlos en algún momento.

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 forma que   , y se anota:

6
Que se lee: la relación binaria   es el conjunto de pares ordenados   
pertenecientes al producto cartesiano   , y para los cuales se cumple la
propiedad   que los relaciona.
Las proposiciones siguientes son correctas para representar la relación
binaria   entre los elementos   y  :

También, según la notación polaca puede expresarse:

Ejemplos:
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:

Representación de relaciones (matrices, conjuntos, grafos,

diagrama de flechas).

Matrices.

Un método para el estudio de las relaciones de manera algorítmica es

utilizando matrices compuestas de ceros y unos. Definición: 
Sean A y B conjuntos finitos de la forma: 

Si R es una relación de A en B. La relación 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 posición cuando está relacionado con , y
un 1 en está posición si no está relacionado con . Obsérvese en la definición
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 relación depende de los órdenes
usados para A y B. 
Cuando A = B usamos el mismo orden para A y B. Ejemplo:

Consideremos la siguiente relación de :

7
Entonces la matriz de R es Recíprocamente, 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 relación de A en B, como se ilustra en el siguiente ejemplo.
Ejemplo: 

Determinemos las parejas ordenadas que están en la relación R representada

por la matriz Puesto que R consiste de aquellas parejas ordenadas, con , se
sigue que 

Representación de relaciones usando conjuntos.

Un conjunto es una colección de objetos considerada como un objeto en sí.

Los objetos de la colección pueden ser cualquier cosa: personas, números,
colores, letras, figuras, etc. Cada uno de los objetos en la colección es un
elemento o miembro del conjunto. 
Por ejemplo, el conjunto de los colores del arcoíris es: AI = {Rojo, Naranja,
Amarillo, Verde, Azul, Añil, Violeta} 
Un conjunto suele definirse mediante una propiedad que todos sus elementos
comparten. 
Por ejemplo, para los números naturales, si consideramos la propiedad de ser
un número primo, el conjunto de los número primos es:
P = {2, 3, 5, 7, 11, 13, …} 

Un conjunto queda definido únicamente por sus miembros y por nada más. En
particular el orden en el que se representen estos es irrelevante. Además, cada
elemento puede aparecer de manera idéntica una sola vez, esto es, no puede
haber elementos totalmente idénticos repetidos.
Por ejemplo: S = {Lunes, Martes, Miércoles, Jueves, Viernes} = {Martes,
Viernes, Jueves, Lunes, Miércoles} AI = {Rojo, Naranja, Amarillo, Verde, Azul,
Añil, Violeta} = {Rojo, Naranja, Amarillo, Verde, Azul, Añil, Violeta, Naranja} Los
conjuntos pueden ser finitos o infinitos. 
El conjunto de los número naturales es infinito, pero el conjunto de los planetas
en el sistema solar es finito (tiene ocho elementos). Además, con los conjuntos
pueden combinarse mediante operaciones, de manera similar a las
operaciones con números. Los conjuntos son un concepto básico, en el sentido
de que no es posible definirlos en términos de nociones más elementales, por
lo que su estudio puede realizarse de manera informal, apelando a la intuición
y a la lógica. 
Por otro lado, son el concepto fundamental de la matemática: mediante ellos
puede formularse el resto de objetos matemáticos, como los números y las
funciones, entre otros. Su estudio detallado requiere pues la introducción de
axiomas y conduce a la teoría de conjunto.

8
Representación de relaciones usando grafos. 

Un grafo es el principal objeto de estudio de la teoría de grafos. Informalmente,

un grafo es un conjunto de objetos llamados vértices o nodos unidos por
enlaces llamados aristas o arcos, que permiten representar relaciones binaria
entre elementos de un conjunto. Típicamente, un grafo se representa
gráficamente como un conjunto de puntos (vértices o nodos) unidos por líneas
(aristas). Un grafo G es un par ordenado G = (V,E), donde: 
• V es un conjunto de vértices 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 número
de vértices, | V | . El grado de un vértice o nodo V es igual al número 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 vértice 1 sea adyacente con el vértice 2 puede ser denotado
como 1 ~ 2. • En la teorías de las categorías una categoría puede ser
considerada como un multigrafo dirigido, con los objetos como vértices y los
morfismos como aristas dirigidas. • En ciencias de la computación los grafos
dirigidos son usados para representar máquinas de estado finito y algunas
otras estructuras discretas. 
Una relación binaria R en un conjunto X es un grafo dirigido simple. Dos
vértices a, b en X están conectados por una arista dirigida ab si aRb.

Representación 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.

9
Propiedades de las relaciones (Reflexiva, Irreflexiva, Simétrica,
Asimétrica, Antisimétrica, Transitiva). 

Relaciones Reflexivas e  Irreflexivas

Una relación 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 relación 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 ningún elemento está relacionado consigo mismo.

Ejemplo 1:

(a) Sea Δ = [(a, a)\ a £ A], de modo que A es la relación 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 relación 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 vacio. Sea R = Ǿ A x A, la relación vacía. Enlaces R no

es reflexiva, ya que (a, a) € R para todas las a € A (el conjunto vacío tiene
elementos). Sin embargo, R es irreflexiva.

Relaciones Simétricas y Asimétrica      

Una relación R en un conjunto A es simétrica si cuando a R b, entonces b R a. De

esto se sigue que R no es simétrica se tiene a y b € A con a R b, pero b R a. Una

10
relación R en un conjunto A es asimétrica si cuando a R b, entonces b Ra. De esto
se sigue que R no es simétrica si se tiene a y b e A con ambos a R b y b R a.

Una relación R en un conjunto A es asimétrica si cuando a R b y b R a, entonces a

= b. Otra forma de expresar esta definición es diciendo que R es anti simétrica si
cuando a ≠ b, se tiene a R b o b R a. De esto se sigue que R no es anti simétrica
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 relación simétrica 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.

Grafo dirigido de R Grafo dirigido de R.

Aparece el grado de R. Obsérvese que cada arista no dirigida corresponde a dos

pares ordenados en la relación R.

A una relación simétrica R en un conjunto A se le llamará conexa si existe una

trayectoria de cualquier elemento de A a cualquier otro elemento de A. Esto
significa sencillamente que el grafo de R está todo en una pieza. En la figura 3 se
muestran los grafos de dos relaciones simétricas. El grafo de la figura 3(a) está
conectado mientras que el de la figura 3(b) no lo está.

11
Relaciones  Transitivas

Se dice que una relación 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 sólo 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 relación 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 relación R en un conjunto A es transitiva si y sólo si satisface las siguientes

propiedades: Si existe una trayectoria de longitud mayor que 1 del vértice a al
vértice b, hay una trayectoria de extensión 1 de a a b (esto es, a está relacionada
con b). Establecido algebraicamente, R es transitiva si y sólo si Rn £ R para todas
las n ≥ 1.

12
Es posible caracterizar la relación transitiva por su matriz MR = [mij] así:

si mij =1 y mjk = 1, entonces mik = 1

Para ver qué significa transitividad en términos del grafo dirigido de una relación,
se traducirá esta definición a términos geométricos.

Si se examinan los vértices particulares a y c, las condiciones a R b y b R c

ocurrirán si y sólo si existe una trayectoria de longitud 2 de a a c, esto es, si y sólo

si a R2 c. Es posible replantear la definición de transitividad como sigue: Si a R2 c,
entonces a R c, esto es, R2 £ R (como un subconjunto de A x A).

Relaciones de equivalencia (Cerraduras, Clases de

equivalencia, Particiones) 

Cerraduras
En algunas ocasiones una relación no cumple alguna de las propiedades de
equivalencia, pero hay relaciones que la incluyen y que si cumplen la propiedad.
De todas las relaciones la menor posible se llama Cerradura. 

Una cerradura reflexiva ref(R) de R en A es la "menor" relación que la incluye y

que es reflexiva, con símbolos: (≤R' reflexiva) (A ≤ R' ≤ ref(R)) ⇒ R' = ref(R)) 

Una cerradura simétrica sim(R) de R en A es la "menor" relación que la incluye y

que es simétrica con símbolos: (∀R' reflexiva) (A ≤ R' ≤ ref(R)) ⇒ R' = sim(R)) 

Una cerradura transitiva trans(R) de R en A es la "menor" relación que la incluye y

que es transitiva, con símbolos: (∀R' reflexiva) (A ≤ R' ≤ ref(R)) ⇒ R' = trans(R)) 
la cerradura transitiva reflexiva y la cerradura simétrica de una relación es muy
simple de encontrar, solamente se le agregan los pares necesarios de una forma
directa. Cuando conocemos la matriz asociada a la relación, la forma de encontrar

13
las cerraduras anteriores es muy simple. 

Teorema: Sea R una relación en A y MR su matriz asociada. La cerradura

reflexiva y la cerradura simétrica de R son únicas y pueden obtener mediante las
matrices siguientes Mref(R) MRUIn, donde In es la matriz identidad de orden │A│. 
Msim(R) = [aij], donde aji = 1 si aji = 1 en MR 

Clases de equivalencia

Sea R una relación de equivalencia sobre un conjunto A. Para cada a ∈ A,

llamaremos clase de equivalencia de a, al conjunto formado por todos los
elementos de A que estén relacionados con el. La notaremos [a], es decir, [a] = {x
∈ A : xRa} 

Obsérvese que la clase de equivalencia de un elemento a nunca es vacía, ya que

la reflexividad de R implica que a ∈ [a]. 
Al conjunto de los elementos del conjunto A que están relacionados con él se
llama clase de equivalencia. 
Ejemplo 1: 
La relación a - b = 2.k (múltiplo de 2), siendo a y b números enteros es una
relación de equivalencia porque cumple las propiedades: Reflexiva: a - a = 0 = 2.k
(k = 0). Simétrica: a - b = b - a porque b - a = -(a - b). Si a - b es múltiplo de 2, -(a -
b) también lo será. Transitiva: a - b = 2.k1 b - c = 2.k2 Sumando queda a - c = 2.k3
Entonces a - c es múltiplo de 2. 

En el ejemplo anterior, la clase de equivalencia del número cero (uno de los

elementos del conjunto de los números enteros) C(0) = {... -4, -2, 0, 2, 4, ...}, pues
0 - (-4) es múltiplo de 2, 0 - (-2) es múltiplo de 2 ya sí sucesivamente. La clase de
equivalencia del número 1 será C(1) = {... -5, -3, -1, 1, 3, 5, ...} pues la diferencia
entre 1 y los números indicados es múltiplo de 2. 

Del mismo modo podríamos calcular las clases de equivalencia de más números. 
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), ... }. 

Ejemplo 2: Sea A = {a, b, c, d} y R el conjunto 

R = {(a, a),(a, b),(b, a),(b, b),(c, c),(c, d),(d, c),(d, d)} 

14
Representar el dígrafo de R y calcular las clases de equivalencia. 

Particiones 

Sea X un conjunto. P es una partición de X si y sólo si: ø Ï P UP = A 

Los conjuntos de P son disyuntos 2 a 2, es decir, si s1, s2 ∈ P y s1 ≠ s2 entonces

s1 ∩ s2 = ø

Observe que si P es una partición de X, entonces todo elemento de X está en uno

y sólo un elemento S ∈ P no y sólo un elemento e modo que parte a en conjuntos
disyuntos. Por ejemplo, el conjunto de barriles propuesto al comienzo de la
sección es una partición del conjunto de mangos. Otro ejemplo de una partición es
de la división política de un país: El país (visto como un conjunto de personas) se
parte en estados o departamentos no vacíos 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 partición 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 partición de X (¿por qué?). 

Como lo habíamos insinuado, resulta que toda relación de equivalencia determina

de manera natural una partición.

Ósea que para lograr la cerradura reflexiva debemos agregar 1's en la diagonal,
para la cerradura simétrica debemos agregar 1's en lugares simétricos a la
diagonal principal donde existan 1's.

15
Funciones (Inyectiva, Suprayectiva, Biyectiva). 

Función inyectiva 

Ejemplo de función inyectiva.

En matemáticas, una función 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 más elementos que tengan la misma imagen.
Así, por ejemplo, la función de números 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 números positivos, obteniendo así una nueva función entonces sí se obtiene
una función inyectiva.

Cardinalidad e inyectividad.
Dados dos conjuntos y , entre los cuales existe una función inyectiva tienen
cardinales que cumplen:
Si además existe otra aplicación inyectiva , entonces puede probarse que existe
una aplicación biyectiva entre A y B.

16
Función biyectiva

Ejemplo de función biyectiva.

En matemática, una función es biyectiva si es al mismo tiempo inyectiva y
sobreyectiva.
Formalmente,

para ser más claro se dice que una función 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 función inyectiva. sumándole 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 función sobreyectiva

17
Teorema

Si es una función biyectiva, entonces su función inversa existe y también es

biyectiva.

Función sobreyectiva.

Ejemplo de función sobreyectiva.

En matemática, una función es sobreyectiva (epiyectiva, suprayectiva, suryectiva o
exhaustiva), si está aplicada sobre todo el codominio, es decir, cuando la imagen,
o en palabras más sencillas, cuando cada elemento de "Y" es la imagen de como
mínimo un elemento de "X".

18
Conclusión.-

En conclusión, en esta investigación se da a conocer sobre las “relaciones

matemáticas”, para facilitar el entendimiento sobre los temas visto al principio del
documento.
Este tema trata sobre como relacionar dos o más conjuntos de una u otra manera,
por ejemplo las matrices que es una representación gráfica en forma de tabla de
las relaciones entre conjuntos, de igual manera se muestran sobre cómo se
clasifican las relaciones que pueden ser reflexiva, simétrica,  asimétricas,
transitivas, etc.
La finalidad de crear esta investigación es hacer más fácil y sencilla la
explicación de este tema para tener un mejor entendimiento.

Referencias bibliográficas.

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://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://books.google.com.mx/books?id=7GJXRsNkglIC&pg=PA514&lpg=PA514&d
http://www.ingenieria.unam.mx/~colomepg/CAPITULO_I_FUNCIONES_III.pd

19