ra

Captulo 4

Relaciones y Funciones
Bor
Pg. 2 Relaciones y Funciones

Resumen de clases - Por: Oliver Vilca H. - ovilca@unap.edu.pe

ra
4.1. Tipos especiales de relacones binarias
Sea A un conjunto, y sea R A A una relacin sobre A. La relacin
R puede representarse mediante un grafo dirigido. Cada elemento de A
se puede representar por un nodo (un pequeo crculo) del grafo dirigido.
Un arco o flecha se dibuja de a a b si y solo si (a, b) R. De un nodo a
otro hay un arco o simplemente no hay y finalmente no se permiten arcos
paralelos.

4.1.1. Relacin binaria reflexiva.

BorR A A es reflexiva si (a, a) R para cada a A.

4.1.2. Relacin binaria simetrica.

R A A es simetrica si (b, a) R siempre que (a, b) R. Ejemplo
relacin de amistad, si x es amigo de y, y es tambin amigo de x. Si hay
un arco entre dos nodos, entonces hay arcos entre los nodos en ambas
direcciones.

4.1.3. Relacin binaria antisimetrica.

Una relacin R es antisimtrica si siempre que (a, b) R y a y b son
dintintos, entonces (b, a)
/ R.
Oliver A. Vilca H. Pg. 3

R = {(a, b) : a, b P y a es padre de b}

ra
4.1.4. Relacin binaria transitiva.
Relacin binaria R es transitiva si siempre que (a, b) R y (b, c) R,
entonces (a, c) R. Un ejemplo es la relacin menor o igual que. Tambin
R = {(a, b) : a, b P y a es ancestro de b}
Bor
4.1.5. Relacin binaria de equivalencia.
Una relacin que es reflexiva, simtrica y transitiva. La representacin
de una relacin de equivalencia mediante un grafo no dirigido consiste
de un nmero de grupos; dentro de cada grupo, cada par de nodos estn
conectados. Los grupos de una relacin de equivalencia se denominan sus
clases de equivalencia. Se denota [A] para la clase de equivalencia que
contiene un elemento a.

4.1.6. Relacin de orden parcial.

Una relacin que es reflexiva, antisimtrica y transitiva.
Pg. 4 Relaciones y Funciones

4.1.7. Relacin de orden total.

Una relacin de orden parcial es de orden total si, para todo a, b A,

ra
bien (a, b) R (b, a) R. La relacin menor igual que, sobre nmeros
es una relacin de orden total.

4.2. Ejercicios propuestos

1. Sea A un subconjunto de los nmeros naturales de 10 elementos. Sea
Bor R una relacin definida sobre el producto cartesiano de conjunto de
las partes de A, esto es: R P (A) P (A) donde: R = {(x, y)
P (A) P (A) tal que x y 6= } es correcto afirmar que la relacin
R:
(a) somente uma relao de ordem.
(b) somente uma relao de equivalncia.
(c) no relao de ordem nem de equivalncia, pois a relao no
reflexiva.
(d) no relao de ordem nem de equivalncia, pois a relao no
transitiva.
(e) no relao de ordem nem de equivalncia, pois a relao no
reflexiva e no transitiva.
[Pregunta 14 del examen nacional para el ingreso en el posgrado en
computacin 2016 - Sociedad Brasilera de Computacin]