INTRODUCCIÓN

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.

Una relación de los conjuntos, es un subconjunto del producto cartesiano. Una

relación binaria es una relación entre don conjuntos. El concepto de relación implica
la idea de enumeración, de algunos de los elementos, de los conjuntos que forman.

Un caso particular es cuando todos los conjuntos de una relación son iguales. En
este caso se representan como, pudiéndose decir que la relación A pertenece a la
N.

En las relaciones se diferencian los tipos según el número de conjuntos en el

producto cartesiano, que es el número de términos de la relación.

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.
 RELACIONES

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.

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.
 RELACIÓN UNARIA

Una relación unaria se da cuando se observa un solo conjunto, y la misma puede

definirse como el subconjunto de los elementos que pertenecen al mismo y cumplen
una condición determinada, expresada en la relación.

RELACIÓN BINARIA

Como su nombre lo indica, esta relación matemática parte de dos conjuntos, y por
lo tanto la complejidad aumenta considerablemente. Los elementos de ambos
pueden relacionarse de más formas, y los subconjuntos resultantes se expresan
como pares ordenados, tal como se demuestra en párrafos anteriores. En las
matemáticas, esto suele estar de fondo en muchas de las funciones más comunes,
que tienen como variables y y x, ya que se busca un par de valores (uno de cada
eje) que permitan resolver una ecuación (que cumplan la condición).

RELACIÓN TERNARIA

Cuando definimos una condición que deben cumplir elementos de tres conjuntos
diferentes, hablamos de relación ternaria, y el resultado es una o más ternas (el
equivalente a los pares ordenados pero con tres elementos). Retomando el conjunto
de números naturales, que nos permite hacer cálculos sencillos, un ejemplo de
relación matemática de este tipo es aquélla en la cual a – b = c, de manera que
podríamos obtener un subconjunto que comienza así: R = {(3,2,1), (4,3,1), (5,3,2),
…}

PROPIEDADES DE LA RELACIONES MATEMÁTICAS

RELACIÓN REFLEXIVA

En matemáticas, una relación reflexiva o refleja es una relación binaria R sobre

un conjunto A, de manera que todo elemento de A está relacionado consigo mismo.

Cuando una relación es lo opuesto a una reflexiva, es decir, cuando ningún

elemento de A está relacionado consigo mismo mediante R, entonces se dice que
es irreflexiva, anti reflexiva o anti refleja.

Es posible caracterizar una relación reflexiva o irreflexiva por su matriz como sigue.
La matriz de una relación reflexiva deberá tener unos en toda su diagonal principal.
La matriz de una relación irreflexiva deberá tener ceros en toda su diagonal
principal.
Es posible caracterizar una relación reflexiva o irreflexiva por su grafo dirigido como
sigue. Una relación reflexiva tiene un ciclo de longitud 1 en cada vértice. Una
relación irreflexiva no tendrá ciclos de longitud.

RELACIÓN SIMÉTRICA

Una relación binaria R sobre un conjunto A, es simétrica cuando se da que si un

elemento está relacionado con otro mediante R, entonces ese otro también está
relacionado con él, a través de la misma "R". Es lo mismo tener (a,b) que tener (b,a).

PROPIEDAD ANTI SIMÉTRICA

Una relación R sobre un conjunto A es anti simétrica si para todo x ∈ A, y ∈ A, si x

R y e y R x entonces x=y. De nuevo: ∀ x,y ∈ A se cumple que si (x,y), (y,x) ∈ R
entonces x=y. Ejemplo: R={(1,2),(1,3),(1,4),(2,3),(2,4),(3,4),(1,1),(2,2),(3,3),(4,4)}
Pregunta: Si el par (1,3) pertenece a la relación, ¿podría estar el par (3,1)? Según
la definición, si está el (1,3) y está el (3,1) entonces debería ser 1=3.

PROPIEDAD TRANSITIVA

La propiedad transitiva establece que para todos los números reales x , y , y z ,

si x = y y y = z , entonces x = z .

PROPIEDAD DE SUSTITUCIÓN

Si x = y , entonces x puede ser reemplazada por y en cualquier ecuación o

expresión.

FUNCIONES

DEFINICIÓN DE FUNCIÓN:

f: A→B, es una función, si f es una relación de A en B, tal que todo elemento de A

está relacionado con un único elemento de B. O sea que todos los elementos de A
aparecen una única vez en el subconjunto de AxB considerado.

FUNCIÓN INYECTIVA:

f: A→B, es una función inyectiva, si los elementos de B aparecen una única vez en
la relación de A en B considerada. Dicho de otra forma: si a elementos distintos de
A, le corresponden elementos distintos de B.
FUNCIÓN SOBREYECTIVA:

f: A→B, es una función sobreyectiva, si todos los elementos de B son

correspondientes de algún elemento de A. O sea todo elemento de B, es segunda
componente del subconjunto de AxB considerado.

Función biyectiva:

f: A→B, es una función biyectiva, si f es inyectiva y sobreyectiva. O sea la correspondencia

es uno a uno.

RESUMEN DE RELACIONES Y FUNCIONES

PRODUCTO CARTESIANO:
Dados dos conjuntos A y B, llamaremos producto cartesiano AxB ={(a,b)/a ∈ A ∧ b
∈ B}
Relación de A en B:
Dados dos conjuntos A y B, llamaremos relación de A en B a cualquier subconjunto
de AxB. Llamaremos relación binaria en A, a cualquier subconjunto de AxA.

PROPIEDADES DE RELACIONES DE A EN A
Para ejemplificar las propiedades de las relaciones utilizaremos el conjunto
A={1,2,3,4}.
Propiedad reflexiva (o idéntica):
Una relación R sobre un conjunto A es reflexiva si para todo x ∈ A entonces (x,x) ∈
R. En otras palabras una relación es reflexiva si todo elemento del conjunto sobre
el que está definida, está relacionado consigo mismo.
∀ x ∈ A se cumple que (x,x) ∈ R.
Ejemplo: R={(1,1),(2,2),(3,3),(4,4)} Otro ejemplo: R2 = { (1,1), (2,2), (3,3), (4,4), (2,3),
(1,4)

PROPIEDAD ANTIRREFLEXIVA, TAMBIÉN LLAMADA IRREFLEXIVA:

Una relación R sobre un conjunto A es antirreflexiva si para todo x ∈ A se cumple
que (x,x) ∉ R, es
decir que ∀ x ∈ A se cumple que x no está relacionado consigo mismo.
Ejemplo: R = { (1,2), (2,1), (1,3), (1,4), (2,3), (2,4), (3,4) }

PROPIEDAD SIMÉTRICA:
Una relación R sobre un conjunto A es simétrica si para todo x ∈ A, y ∈ A, si (x,y) ∈
R entonces
(y,x) ∈ R.
Dicho de otra forma: ∀ x,y ∈ A se cumple que si (x,y) ∈ R entonces (y,x) ∈ R
Ejemplo: R = { (1,1), (1,3), (2,2), (2,4), (3,1), (4,2), (4,4) }
Propiedad antisimétrica :
Una relación R sobre un conjunto A es antisimétrica si para todo x ∈ A, y ∈ A,
si x R y e y R x entonces x=y.
De nuevo: ∀ x,y ∈ A se cumple que si (x,y), (y,x) ∈ R entonces x=y.
Ejemplo: R={(1,2),(1,3),(1,4),(2,3),(2,4),(3,4),(1,1),(2,2),(3,3),(4,4)}
Pregunta: Si el par (1,3) pertenece a la relación, ¿podría estar el par (3,1)?
Según la definición, si esta el (1,3) y está el (3,1) entonces debería ser 1=3,
absurdo!!!

PROPIEDAD ASIMÉTRICA:
Una relación R sobre un conjunto A es asimétrica si para todo x ∈ A, y ∈ A, si (x,y)
∈ R entonces
(y,x) ∉ R.
Dicho de otra forma: ∀ x,y ∈ A se cumple que si (x,y) ∈ R entonces (y,x) ∉ R
Ejemplo: R = { (1,2), (1,3), (2,4), (4,3) }
Los pares (n,n) no pueden estar, por definición. Las relaciones asimétricas son
antirreflexivas.

PROPIEDAD TRANSITIVA: Una relación R sobre un conjunto A es transitiva si para

todo x ∈ A, y∈ A, z∈ A si (x,y) ∈ R y (y,z) ∈ R entonces (x,z) ∈ R. ∀ x,y,z ∈ A se
cumple que si (x,y), (y,z) ∈ R entonces (x,z) ∈ R. Ejemplo:
R={(2,1),(3,1),(3,2),(4,1),(4,2),(4,3)}

RELACIONES DE ORDEN

RELACIÓN DE ORDEN PARCIAL:

Una relación R sobre un conjunto A es una relación de orden parcial si R es reflexiva,
antisimétrica y transitiva.

Ejemplo: La relación “inclusión” entre conjuntos es de orden parcial.

• Reflexiva: ∀ A, se cumple que A ⊆ A.
• Antisimétrica: ∀ A,B se cumple que si A ⊆ B y B ⊆ A entonces A=B
• Transitiva: ∀ A,B,C se cumple que si A ⊆ B y B ⊆ C entonces A ⊆ C
Observación: Existen conjuntos no vacíos que no son comparables, es decir que A
∩ B=∅, cumplen que A no está incluido en B, y viceversa, B no está incluido en A.
RELACIÓN DE ORDEN TOTAL: Una relación R sobre un conjunto A es una
relación de orden total si R es de orden parcial, pero además cumple que todos sus
elementos están relacionados, es decir que ∀ x,y ∈ A, se cumple que x R y o bien y
R x. ∀ x,y ∈ A, se cumple que (x,y) ∈ R o bien (y,x) ∈ R. Ejemplo: La relación “menor
o igual” en el conjunto de los números reales es de orden total.
• Obviamente cumple con las propiedades mencionadas
• Además todos los elementos son comparables pues dados dos números reales x
e y podemos decidir si: x ≤ y, y ≤ x ó x=y, cosa que no ocurre con la “inclusión” del
ejemplo anterior.
 CONCLUSIÓN
Como pudimos ver anteriormente existen diversos tipos de relaciones, las cuales se pueden
diferenciar o distinguir según su rango o diversidad de elementos, de acuerdo con el número
de conjuntos que participen del producto cartesiano, es posible reconocer diversos tipos de
relación matemática, entre ellas encontramos las relaciones unarias y binarias.

Las relaciones son operaciones matemáticas, vínculos o correspondencias que existen y

se pueden operar y representar en un esquema llamado plano cartesiano.

Con este producto cartesiano, se pueden definir diferentes relaciones; 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.

Poseen características y propiedades esenciales tomando carácter reflexivo, simétrico o

transitivo.
 BIBLIOGRAFÍA

Fuentes consultadas

http://www.x.edu.uy/inet/RELACIONES_FUNCIONES.pdf

https://medium.com/@matematicasdiscretaslibro/cap%C3%ADtulo-8-relaciones-
19a0432cf7e1
 UNIVERSIDAD DE SANCARLOS DE GUATEMALA
CENTRO UNIVERSITARIO DE ZACAPA
LICENCIATURA EN ADMINISTRACION
DE EMPRESAS

III semestre de Administración de Empresas

Sección “B”
Matemática II
Lic. Edgar Leonel Martínez Quinto

Propiedades de las Relaciones y Características Principales

Kevin David Sosa Cruz

201245449

Zacapa 09 de febrero de 2019