relacionado consigo mismo, esto es que todos pares ordenados de componentes iguales formados a partir de los elementos de A al tiempo

que pertenecen al producto

cartesiano A×A de igual forma pertenecen a la relación R⊂A×A. Ahora bien, esto nos permite presentar el concepto de Diagonal del producto cartesiano A×A, la cual es
República Bolivariana De Venezuela Definición de un conjunto formado por todos los elementos de A que están relacionados consigo mismo o también se puede decir que es el conjunto de todos los pares ordenados de
Relaciones. componentes iguales
Ministerio Del Poder Popular Para La
Las relaciones de En símbolos la Diagonal es
Educación Superior
conjuntos sucede
Instituto Universitario Politécnico “Santiago cuando existen
ciertos conjuntos que
Mariño” tiene algo en común y En este sentido, es posible presentar las diferentes alternativas que definen la Reflexividad de una relación R⊂A×A como sigue:
que cumplen una
propiedad específica
en común o como
también puede ser
por el número de
elementos que
pueden tener los
conjuntos que En la primera, la definición alude a la pertenencia de los pares ordenados de componentes iguales, la segunda nos dice que se cumple la reflexividad cuando todo
queremos comprar. elemento del conjunto está relacionado consigo mismo y la tercera está asociada al concepto de Diagonal. Cuando una relación R⊂A×A es reflexiva se verifican las tres
La relación de alternativas. Lo indicado se puede visualizar en el siguiente ejemplo:
conjuntos no es más
que una comparación Dado el conjunto A={a,b,c} y la Relación R={(a,a),(b,b),(c,c),(b,c)} comprobar si es Reflexiva.
entre conjuntos según
ESTRUCTURA DISCRETA Y GRAFOS. las cualidades que le Al graficar
asignemos, si es que
existen.
Primera actividad 10% 2do Corte.

Propiedades de
las Relaciones.

Autor:
*Reflexividad:
Enmanuel Morles.
Esta propiedad nos
indica que todo
C.I. N° 27.691.096.
elemento
En la visualización gráfica nos damos cuenta de que las tres definiciones de la reflexividad se cumplen, esto es, los pares de componentes iguales pertenecen a la relación lo que
perteneciente al
indica que todo elemento del conjunto A está relacionado consigo mismo y de igual forma la Diagonal del producto cartesiano A×A es subconjunto de R.
conjunto A está
Ahora bien, es posible que la reflexidad no se Como puede
cumpla, es decir, que en una relación dada no observarse existe un
se verifique la definición, en este caso se par de la *diagonal
que no pertenece a la
podrían presentar alguna de las siguientes
relación, en
alternativas:
consecuencia R es no
reflexiva.

No Reflexividad: Esta opción se da cuando

existe algún elemento del conjunto A dado
Arreflexividad: Esta
que no está relacionado consigo mismo, o
alternativa es tajante,
dicho de otra forma que algún par ordenado
esto es, ningún
de componentes iguales no pertenece a la
elemento del
relación, por lo cual también se puede afirmar
conjunto A está
que la diagonal no es subconjunto de la
relacionado consigo En el gráfico puede observarse que ningún elemento de la Diagonal pertenece a la relación, por lo tanto, R es arreflexiva.
relación. Simbólicamente tenemos que
mismo, por lo cual
los pares ordenados
de componentes
*Simetría: En relación a esta propiedad, se afirma que el gráfico debe ser simétrico respecto de la Diagonal, esto es, si una relación la cumple se tiene que si un par
iguales no pertenecen
ordenado pertenece a R su permutado también debe estar en la misma, vale decir que al referirnos a los pares ordenados que forman parte de la diagonal se dice que son
a la relación, por
simétricos porque cumplen con la definición, por lo cual se acostumbra a comprobar esta propiedad en los pares ordenados de componentes diferentes. Definiendo
ende, la Diagonal no
formalmente, tendríamos lo siguiente: Dada una relación una relación R⊂A×A se dice que es simétrica si cumple lo siguiente
está incluida en la
misma. En símbolos
es
Gráficamente sería:

Visualicemos esta propiedad en el siguiente ejemplo:

Dado el conjunto A={a,b,c} y la Relación R={(a,a),(b,b),(c,c),(a,b),(b,a)} comprobar si es Simétrica.

Esto se puede
ejemplificar en el
siguiente gráfico
Graficando tenemos
 Gráficamente

Como se puede observar, la relación dada es Se observa que el par

simétrica al comprobar que (a,b)∈R y su ordenado (b,a)∈R
permutado (b,a)∈R. Tal como habíamos pero su permutado
indicado, los pares de la diagonal de hecho (b,a)∉R, luego la
cumplen con la definición de simetría. relación R es no
simétrica.
Así como ocurre con la propiedad anterior, es
posible que la simetría no se cumpla, hecho Se puede apreciar que ningún par ordenado de la diagonal pertenece a la relación y adicionalmente tenemos en los pares ordenados de componentes diferentes que si
que se detalla en dos alternativas que se alguno pertenece a la relación su permutado no está, esto indica que R es asimétrica.
presentan a continuación: Asimetría: Esta
alternativa señala que
para todos los *Transitividad: Esta propiedad se requiere al menos tres elementos de un conjunto A cualquiera para establecerla y a partir de allí es posible ampliarla a más elementos.
elementos de A se La misma señala que si un elemento está relacionado con un segundo y el segundo relacionado con un tercero se concluye que el primero está relacionado con el tercero.
No Simetría: Para este caso tenemos que
cumple que si un par Expresado simbólicamente tenemos
puede existir uno o más pares ordenados que
ordenado pertenece a
estén en la relación pero sus permutados no se
la relación su
encuentran en la misma, esto es, un elemento
permutado no está en
del conjunto A está relacionado con un
la misma, por lo cual
segundo pero el segundo no lo está con el
es claro que los pares
primero, de cualquiera de las dos formas se
ordenados de la
concluye que la relación es no simétrica. Lo Para el caso de la no transitividad (es decir, cuando no se cumple la propiedad en algunos casos) tenemos la siguiente definición simbólica
diagonal no
afirmado se representa como sigue
pertenecen a la
relación. En símbolos

Al referirnos a la atransitividad (cuando no se cumple la propiedad en todos los casos) se tiene lo siguiente
Visualizando en una representación gráfica
 Dada la relación
T={(a,b),(b,c)}
verificar si es
Transitiva.

Evaluemos esta propiedad y sus alternativas (a,b)∈T y (b,c)∈T sin

en los ejemplos que se muestran a embargo (a,c)∉T Dadas las relaciones R={(a,a),(b,b),(c,c),(b,c)} y S={(a,a),(b,c),(c,b)} estudiar en ambos casos la antisimetría.
continuación Para el caso de la relación R nos damos cuenta de que los pares reflexivos cumplen con la definición de antisimetría y el par de componentes diferentes no tiene a su
permutado en el conjunto razón por lo cual no se considera para el estudio, luego se concluye que R es antisimétrica.
*Antisimetría: Esta
Dada la relación R={(a,a),(b,b),(c,c),(b,c)} propiedad establece Ahora estudiemos la relación S, como en ésta sólo hay un par reflexivo que sabemos que si cumple, nos ocuparemos de los pares de componentes diferentes, por lo cual
comprobar si es Transitiva. que si un par y su nos damos cuentes de que (b,c)∈S y (c,b)∈S sin embargo b≠c esto nos lleva a concluir que la relación S no es antimétrica.
permutado
Para evaluar en este caso, es claro que
pertenecen a la
debemos considerar los pares para los cuales
relación, las
se cumpla que la segunda componente del
componentes de
primer par es la primera componente del Clasificación
dichos pares se
segundo par tal como lo solicita la definición
identifican, esto es, Las relaciones se clasifican con base en el número de conjuntos del producto cartesiano, el cual es el número de tuplas:
y luego verificar si hay un par ordenado
son iguales.
conformado con la primera componente del
Simbólicamente
primer par y la segunda componente del
Relación unaria (Un conjunto): R ⊆ A , R ( a ) .
segundo para poder afirmar que se cumple la
transitividad. En efecto, tenemos que (b,b)∈R Una relación unaria R es el subconjunto de los elementos de  A ₁que cumplen una determinada condición: R={a1 :a1 ∈ A1 ∧ R( a1)=Verdadero }
y (b,c)∈R luego es evidente que el par
Ejemplo:
ordenado (b,c)∈R, por lo cual concluimos que
R es transitiva.  Dado el conjunto  N  de los números naturales, se define la relación unaria R(x) de los números para:
Esta propiedad sólo
admite dos opciones: 
una relación es o no  R={ x : x ∈ N ∧ x par }
Dada la relación S={(a,b),(b,c),(a,c),(c,a)} 
es antisimétrica, en
verificar si es Transitiva.  R={2,4,6,8,10,12 , ⋯ }
cuyo caso la
En este caso basta con plantear el siguiente posibilidad de no ser Relación binaria (Dos conjuntos): R ⊆ A ₁ x A ₂ , R(a ₁ , a ₂).
contraejemplo, aunque vale destacar que si se representa como
hay algunos pares transitivos, no obstante sigue Llamamos relación binaria a la relación R existente entre dos elementos a y b, de dos conjuntos A y B respectivamente. Indicando que el elemento a está relacionado
con b. Una relación binaria R es el subconjunto de los elementos del producto cartesiano  A ₁ x A ₂ que cumplen una determinada condición.

R={( a ₁, a ₂):(a ₁ , a₂)∈ A ₁ x A ₂R (a ₁, a ₂) = Verdadero }

(b,c)∈S y (c,a)∈S pero (b,a)∉S

Relación ternaria (Tres conjuntos): R ⊆ A ₁ x A ₂ , A ₃ , R (a ₁ , a₂ , a ₃).

Una relación ternaria R es el subconjunto de Relación n-aria , y viceversa, la relación y el predicado se denotan a menudo con el mismo símbolo. Así pues, por ejemplo, las dos proposiciones siguientes se consideran como
los elementos de  A ₁ x A ₂ , A ₃ ,que cumplen (Con n conjuntos): equivalentes:
una determinada condición: R ⊆ A ₁ x A ₂ , A ₃ , A ₄ … An , R(a ₁ , a ₂, a ₃ , a ₄ , an )
R ( x1 , x2 , … , xn )
.
R={( a1 ,a 2 , a3 ) :(a 1 , a2 , a3 )∈ A 1 × A 2 × A 3 ∧ R(a1 , a2 , a3 )=Verdadero }
( x 1 , x 2 ,… , x n) ∈ R
En matemáticas y lóg
Ejemplo:
ica, una relación n- Ejemplo:
 Dado el conjunto  de ℕ los números aria R (o a menudo
La siguiente relación, definida sobre el conjunto N de los números naturales, es n-aria, pues posee n términos:
naturales, se define la relación ternaria comúnmente relación
R( x , y , z) tal que  x + y=z ) es una C={ ( a1 , a2 ,… , a n ) : ( a1 , a2 , … , a n) ∈ N n ∧ ( a1 <a 2< …<an ) }
generalización de
R={ ( x , y , z ) : ( x , y , z ) ∈ N × N × N ∧ x + y=z } La relación dice que cada uno de los términos es mayor que el anterior. El valor de n es un parámetro fijo, que se puede explicitar, o bien dejar como genérico, para
la relación binaria,
R={(1,1,2) ,(1,2,3),( 2,1,3),(2,2,4) , ⋯ } donde R está formada describir un caso general.
por
Relación cuaternaria (Cuatro conjuntos): una tupla de n términ
R ⊆ A ₁ x A ₂ , A ₃ , A ₄ , R(a ₁ , a ₂ ,a ₃ , a ₄ ,).
os:
Una relación cuaternaria R es el R={( x 1 , x 2 , … , x n ): x 1 ∈ X 1 ∧ x 2 ∈ X 2 ∧ … ∧ x n ∈ X n ∧ R( x 1 , x 2 , … , x n )=verdadero } Relación de orden parcial.
subconjunto de los elementos
de  A ₁ x A ₂ , A ₃ , A ₄ que cumplen una Un predicado n-ario: Se dice que una relación sobre un conjunto A es una relación de orden parcial si esta es reflexiva, antisimétrica o transitiva.
determinada condición: R={¿ verdadero es
una función a valores
R={( a 1 , a2 , a3 , a4 ) : ( a1 ,a 2 , a3 , a 4 ) ∈ A1 × A2 × A3 × A 4 ∧ R ( a1 , a2 , a 3 , a 4 )=Verdadero }
de verdad de n Si es un orden parcial sobre A, se utiliza la notación a b para indicar que (a, b) . Esta notación sugiere que estamos interpretando la relación como orden sobre los
. variables. elementos.
Ejemplo: Debido a que una
relación como la
 Tomando el conjunto  N de los números anterior define de Ejemplo:
naturales, se define la relación
manera única un Sea A={a, b, c, d, e} y sea una relación sobre A definida como sigue:
cuaternaria R( x , y , z ,t ) tal que ( x , y , z)
son coordenadas espaciales y (t ) es el predicado n-ario que
tiempo: vale para  x 1 , x 2 , … , x n 
 si y solo si ( = {(a, a), (a, b), (a, c), (a, d), (a, e), (b, b), (b, c), (b, e), (c, c), (c, e), (d, d), (d, e), (e, e)}
R={( x , y , z , t ) ∈× A 1 × A2 × A3 × A 4 ∧ x=2t , y=t 2 , z=t } x 1 , x 2 , … , x n ) está en  R

R={ ( 2,1,1,1 ) , ( 4,4,2,2) , ( 6,9,3,3 ) ,... }

Representada en la siguiente tabla:
como es reflexiva, antisimétrica y transitiva suerte que cada
por lo tanto es una relación de orden parcial. elemento Es fácil ver que la igualdad entre elementos de cualquier conjunto satisface las propiedades anteriores. Veamos algunos ejemplos:
pertenece a una y
Ejemplo 1   Usemos como conjunto   una bolsa de lunetas1 y como relación:   tiene el mismo color que  . Veamos que efectivamente es una relación de
sólo una clase.
equivalencia:
Un conjunto A junto con un orden parcial Tomemos un
Reflexividad: toda luneta tiene el mismo color que sí misma,
sobre A, es llamado un conjunto parcialmente conjunto
cualquiera   y
ordenado y se depota por (A, ). Un conjunto Simetría: si la luneta   tiene el mismo color que la luneta  , entonces la luneta   tiene el mismo color que la luneta  ,
sean   y   dos
parcialmente ordenado es conocido como elementos en   
POSET (del inglés: partially ordered set). Transitividad: si   tiene el mismo color que   y   el mismo color que  , entonces   tiene el mismo color que  .
(lo cual
Ejemplo 2   De manera análoga, es fácil ver que los siguientes ejemplos son relaciones de equivalencia:
denotamos
Ejemplo: por  ). a. Sea   el conjunto de todos los seres humanos y la relación:   tiene el mismo cumpleaños que  .
Si   está
Sea A el conjunto de   y sea   una relación relacionado con    b. Sea  todos los seres humanos   y la relación:   tiene el mismo signo del zodiaco que  .
sobre A , tal que (a, b)     si a divide a b (con escribiremos 
residuo igual a cero). Notemos que en los ejemplos anteriores estamos usando el mismo conjunto   y dos relaciones diferentes en él. Estas relaciones se pueden comparar, por que si dos
.
personas tienen el mismo cumpleaños, entonces tienen el mismo signo del zodiaco, es decir, la relación en el ejemplo a) implica la relación en el ejemplo b),
Una relación de
Entonces como cualquier entero se divide a si pero no al revés, pues hay personas que son Géminis pero que tienen cumpleaños distintos.
equivalencia en 
mismo,   es una relación reflexiva.
 es una
Si a divide a b significa que b no divide a a, a
relación que Grafo dirigido:
menos que sea a = b, por lo que   es
satisface las
antisimétrica, y puesto que si a divide
siguientes Un grafo dirigido (o digrafo) G consiste de un conjunto de vértices y un conjunto de arcos E. A los vértices se les llama también nodos o puntos y a los arcos aristas
a b y b divide a c entonces a divide a c, por lo
propiedades: dirigidas o líneas dirigidas. Un arco es un par ordenado de vértices (v, w) donde v es la cola y w la cabeza del arco.
que   es transisitva. enconsecuencia   es un
orden parcial.
Reflexividad: El origen de la palabra grafo es griego y su significado etimológico es "trazar". aparece con gran frecuencia como respuesta a problemas de la vida cotidiana.
 para toda   
En realidad un conjunto parcialmente He aquí un ejemplo descriptivo:
en  .
ordenado es denotado como (A,  ).
Un ejemplo de grafo dirigido lo constituye la red de aguas de una ciudad ya que cada tubería sólo admite que el agua la recorra en un único sentido, por el contrario, la
Simetría: si 
red de carreteras de un país representa en general un grafo no dirigido, puesto que una misma carretera puede ser recorrida en ambos sentidos.
,
entonces  .

Relación de equivalencia Transitividad: si  EJEMPLOS GRÁFICOS:

 y  ,
Las relaciones de equivalencia son entonces  . En este Ejemplo 1:
relaciones entre los elementos de un
conjunto cualquiera y su característica  V = {a, b, c, e}
principal es que abstraen el concepto  E = {(a, b), (a, c), (a, e), (b,e), (c, e) }
de igualdad.
La importancia de estas relaciones
consiste en que dividen a los elementos
del conjunto en diferentes clases,
llamadas clases de equivalencia, de tal
 Una trayectoria en un
En la figura de abajo, el camino abdefgc es un camino que comienza en el vértice a y pasa por los vértices b, d, e, f, g y c.
grafo es una
secuencia de aristas
que permiten viajar
de un vértice a otro
de manera continua.

La longitud de una Ejemplo 2:

trayectoria es su
Encontremos la matriz de adyacencia del siguiente grafo:
número de aristas.

Es decir un camino
entre dos vértices es
una lista de vértices
Ejemplo 2: que están conectados
por una arista del
grafo.
Para que un camino o
trayectoria exista es
condición necesaria
que las aristas sobre
Este grafo G consta de un conjunto V de la trayectoria existan En este ejemplo tenemos que la matriz de adyacencia es:
vértices sobre el conjunto de 01 1 1
V = {S, T, U, V, W, X, Y, Z}

y el conjunto de lados
aristas que definen el
grafo.

Existen 2 tipos de
⟦ ⟧
A= 1 1 10
1100
1000

Definición:
E = {e1, e2, e3, .... , e11 }. trayectoria:

• Simple: no incluye 1. Una trayectoria en un grafo es una secuencia de aristas que permiten viajar de un vértice a otro de manera continua.
2. La longitud de una trayectoria es su número de aristas.
El lado e1 esta asociado con el par no la misma orilla 2 3. A una trayectoria de kk aristas se le llama kk-trayectoria.
ordenado {T, U}, el lado e10 esta asociado al veces 4. A una trayectoria que comienza y termina en el mismo vértice se le llama circuito.
par no ordenado {S, X}. El lado e1 se denota 5. A una trayectoria que no incluye la misma arista más de una vez se le llama simple.
por (U, T) o bien (T, U). El lado e4 es • Elemental: no
incidente en los vértices Y y Z por lo que Y y incide en el mismo Proposición: Si AA es la matriz de adyacencia de un grafo GG, entonces la entrada ijij de AkAk es igual al número de kk-trayectorias entre los vértices ii y jj.
Z son vértices adyacentes. vértice 2 veces

EJEMPLOS: Mapa Conceptual Sobre Relaciones

Trayectoria de Grafos dirigidos:
Ejemplo 1:
 Si a es mayor que b, y b es
mayor que c, entonces, a es
mayor que c
Es transitiva

Una relación es equivalentesi El siguiente conjunto demuestra

es una relación que es que es reflexivo, simétrico y
reflexiva, simétrica y transitivo por lo que significa: A
transitiva. ~A
Normalmente una relación Sea A = {1,2,3,4} demostrar A
equivalente se representa con ~ A R = {(1,1),(2,2),(3,3), (1,2),(2,3),(1,3),(2,1),
el símbolo ~. (3,2) (3,1)}

A~ B : esto significa que A es equivalente a B

Si R= {(1, 3),
(2,2), (2, 3), Es anti
(2,4), (4,3)} simétrica Ejemplo
Entonces…

Esta nueva notación se reformula la definición de

equivalencia: Diagrama utilizado para la simplificación de funciones
Definición algebraicas Booleanas, permitiendo de manera gráfica
1) R Es reflexiva: ∀ x □ X, x ~ x reconocer patrones y así reduce la necesidad de hacer
2) R Es simétrica : x ~ y □ y ~ x cálculos extensos para la simplificación de expresiones
3) R Es transitiva : x ~ y ˄ y ~ z □ x ~ z. booleanas.

Minitermino Se llama minitermino al producto de todas las

variables de entrada o su negado. Para encontrar los
miniterminos se necesita tener una tabla de verdad como la
siguiente, o por lo menos la salida (S)
Mapas de karnaugh
Maxitermino Se le llama maxitermino a la suma de todas las variables
Relación es de entrada o su negado. Para encontrar los maxiterminos al
Es simétrica
equivalente igual que los miniterminos se necesita tener una tabla de
verdad como la siguiente, o por lo menos la salida (S).

Dado el conjunto A={a,b,c} y la Relación

R={(a,a),(b,b),(c,c),(a,b),(b,a)}
comprobamos que SI es Simétrica.

Variables
Esquema o
Ejemplos Mapa conceptual sobre las diferentes Formato
relaciones entre conjuntos.
Si la relación R = { (a,a),
(b,b), (c,c)} establecida en el
conjunto A = {a, b, c} es una
relación reflexiva ya que
todos los elementos de A
están relacionados consigo
mismos
éste último con un tercero, entonces el Definiciones
primero se relaciona con el tercero.
Es reflexiva

Transitiva

Siempre que un
elemento se relaciona con otro y Anti simétrica
 i q t s los elementos
Reflexiva c u o de un conjunto están
e e d relacionados con si mismo R es
D o reflexiva si para todo x ∈ A, el par (x,x) ∈ R
á relacionado con el primero R
Sólo cuando cumplen la es simétrica si siempre que un
propiedad simétrica los par (x,y) ∈ R, el par (y,x)
pares de elementos también pertenece a R
iguales y no la cumplen
los pares formados por
distintos elementos.

S
S
i
m
é
t
r
i
c
a
S
i

u
n

e
l
e
m
e
n
t
o

e
s
t
á

r
e
l
a
c
i
o
n
a
d
o

c
o
n

o
t
r
o
,

é
s
t
e

s
e
g
u
n
d
o

t
a
m
b
i
é
n

e
s
t