UNIVERSIDAD MAYOR DE SAN ANDRES ALGEBRA I

FACULTAD DE INGENIERIA MAT 100

CURSO BASICO I/2020
DOC: ING. AMUSQUIVAR
AUX. DOC. UNIV. MOISES MARTIN CONDORI YUJRA

RELACIONES.
Relación:
Definición: Sean A y B dos conjuntos, una relación ℛ de A en B es cualquier subconjunto del producto
cartesiano A x B; es decir:
𝓡 𝑒𝑠 𝑢𝑛𝑎 𝑟𝑒𝑙𝑎𝑐𝑖ó𝑛 𝑑𝑒 𝐀 𝑒𝑛 𝐁 ⇔ 𝓡 ⊂ 𝐀 𝑒𝑛 𝐁
Se dice que: “𝒙 está relacionado con 𝒚 por ℛ “ y se escribe 𝒙 𝓡 𝒚 𝑠𝑖 (𝒙, 𝒚) ∈ 𝓡.
Dominio, Imagen y Relación Inversa:
Dominio de ℛ: El dominio de la relación se denota como 𝑫(𝓡) y es el conjunto de elementos de A que están
relacionados con algún elemento de B, es decir que el dominio de la relación es un subconjunto de A y es el
subconjunto de todos los primeros elementos de los pares (𝒙, 𝒚) ∈ 𝓡 es decir:
𝑫(𝓡) = {𝒙 ∈ 𝑨/(𝒙, 𝒚) ∈ 𝓡 }
Imagen de ℛ: Llamado también rango o recorrido de ℛ, se escribe como 𝑰(𝓡) y es el conjunto de elementos
de B que son los segundos elementos de los pares (𝒙, 𝒚) ∈ 𝓡 esto significa que todos los elementos de B que
están relacionados con algún elemento en A, es decir:
𝑰(𝓡) = {𝒚 ∈ 𝑩/(𝒙, 𝒚) ∈ 𝓡 }
Relación Inversa: Llamada también recíproca de la relación ℛ de A en B es la relación 𝓡−𝟏 de B en A que se
define y denota como:
𝓡−𝟏 = {(𝒚, 𝒙)/(𝒙,𝒚) ∈ 𝓡} ó 𝑏𝑖𝑒𝑛 (𝒙, 𝒚) ∈ 𝓡−𝟏 ⇔ (𝒙, 𝒚) ∈ 𝓡
Composición de Relaciones: Sea ℛ una relación A en B, y S una relación de B en C; es decir:
𝓡⊂𝑨𝒙𝑩𝑦𝑺⊂𝑩𝒙𝑪
A partir de estas relaciones se puede definir una relación de A en C, llamada composición de ℛ y S, mediante:
𝑺 𝑜 𝓡 = {(𝒙, 𝒛)/∃𝒚 ∈ 𝑩 ˄ (𝒙, 𝒚) ∈ 𝓡 ˄(𝒚, 𝒛) ∈ 𝑺 }
También podemos expresarlo de la siguiente manera
(𝒙, 𝒚) ∈ 𝓡 𝑜 𝑺 ⇔ ∃𝒚 ∈ 𝑩 ˄ (𝒙, 𝒚) ∈ 𝓡 ˄(𝒚, 𝒛) ∈ 𝑺
La composición 𝑺 𝑜 𝓡 asocia a un elemento de 𝑫(𝓡) con uno de 𝑰(𝑺).
Propiedades de la composición de Relaciones: Sean ℛ, S y T relaciones entre ciertos conjuntos; la
composición de relaciones presenta las siguientes propiedades:

AUXILIAR DE DOCENCIA UNIV. MOISES MARTIN CONDORI YUJRA 1

 UNIVERSIDAD MAYOR DE SAN ANDRES ALGEBRA I
FACULTAD DE INGENIERIA MAT 100
CURSO BASICO I/2020
DOC: ING. AMUSQUIVAR
AUX. DOC. UNIV. MOISES MARTIN CONDORI YUJRA

1. (𝑻 𝑜 𝑺) 𝑜 𝓡 = 𝑻 𝑜 (𝑺 𝑜 𝓡)
2. (𝑺 𝑜 𝓡) −𝟏 = 𝓡−𝟏 𝑜 𝑺 −𝟏
Propiedades de las Relaciones: Sea ℛ una relación definida en el conjunto A, es decir: 𝓡 ⊂ 𝑨 𝟐 se verifican
las siguientes propiedades:
Reflexiva: Una relación ℛ en un conjunto A se denomina reflexiva si cada elemento x de A está relacionado
consigo mismo, es decir:
𝓡 𝑒𝑠 𝑟𝑒𝑓𝑙𝑒𝑥𝑖𝑣𝑎 ⇔ ∀𝒙 ∈ 𝑨 ⇒ 𝒙 ℛ 𝒙
No Reflexiva: Se dice que una relación ℛ en un conjunto A es no reflexiva si existe algún elemento x de A que
no está relacionado consigo mismo, es decir:
𝓡 𝑒𝑠 𝑛𝑜 𝑟𝑒𝑓𝑙𝑒𝑥𝑖𝑣𝑎 ⇔ ∃𝒙/𝒙 ∈ 𝑨 ˄ 𝒙 ℟ 𝒙
A Reflexiva: Una relación ℛ definida en un conjunto A se denomina a-reflexiva si ningún elemento x de A está
relacionado consigo mismo, es decir:
𝓡 𝑒𝑠 𝑎 − 𝑟𝑒𝑓𝑙𝑒𝑥𝑖𝑣𝑎 ⇔ ∀𝒙 ∈ 𝑨 ⇒ 𝒙 ℟ 𝒙
Simétrica: Una relación ℛ en un conjunto A es simétrica si cualquiera sea el par (𝒙, 𝒚) que pertenece a la
relación, entonces el par (𝒚, 𝒙) también pertenece a ℛ, es decir:
𝓡 𝑒𝑠 𝑠𝑖𝑚é𝑡𝑟𝑖𝑐𝑎 ⇔ ∀𝒙 ∀𝒚 ∈ 𝑨: 𝒙 ℛ 𝒚 ⇒ 𝒚 ℛ 𝒙
No Simétrica: Una relación ℛ definida en un conjunto A se denomina no simétrica si existe algún par (𝒙, 𝒚) en
la relación, pero su transpuesta (𝒚, 𝒙) no pertenece a ella; es decir:
𝓡 𝑒𝑠 𝑛𝑜 𝑠𝑖𝑚é𝑡𝑟𝑖𝑐𝑎 ⇔ ∃𝒙 ∃𝒚/ 𝒙 ℛ 𝒚 ˄ 𝒚 ℟ 𝒙
A Simétrica: Se dice que una relación ℛ en un conjunto A es A-simétrica si un par (𝒙, 𝒚) pertenece a la
relación, entonces su transpuesta (𝒚, 𝒙) no pertenece a ℛ, es decir:
𝓡 𝑒𝑠 𝐴 − 𝑠𝑖𝑚é𝑡𝑟𝑖𝑐𝑎 ⇔ ∀𝒙 ∀𝒚: 𝒙 ℛ 𝒚 ⇒ 𝒚 ℟ 𝒙
Transitiva: Una relación ℛ definida en un conjunto A, es transitiva si, cualesquiera sean los pares ordenados
(𝒙, 𝒚) 𝑦 (𝒚, 𝒛) que pertenecen a la relación, entonces el par (𝒙, 𝒛) también pertenece a ella; es decir:
𝓡 𝑒𝑠 𝑡𝑟𝑎𝑛𝑠𝑖𝑡𝑖𝑣𝑎 ⇔ ∀𝒙 ∀𝒚 ∀𝒛: 𝒙 𝓡 𝒚 ˄ 𝒚 𝓡 𝒛 ⇒ 𝒙 𝓡 𝒛
No Transitiva: Una relación ℛ definida en un conjunto A se denomina no transitiva si existen pares (𝒙, 𝒚) y
(𝒚, 𝒛) que pertenecen a la relación, pero el par (𝒙, 𝒛) no pertenece a ella; es decir:
𝓡 𝑒𝑠 𝑛𝑜 𝑡𝑟𝑎𝑛𝑠𝑖𝑡𝑖𝑣𝑎 ⇔ ∃𝒙 ∃𝒚 𝑦 ∃𝒛/ 𝒙 ℛ 𝒚 ˄ 𝒚 ℛ 𝒛 ˄ 𝒙 ℟ 𝒛

AUXILIAR DE DOCENCIA UNIV. MOISES MARTIN CONDORI YUJRA 2

 UNIVERSIDAD MAYOR DE SAN ANDRES ALGEBRA I
FACULTAD DE INGENIERIA MAT 100
CURSO BASICO I/2020
DOC: ING. AMUSQUIVAR
AUX. DOC. UNIV. MOISES MARTIN CONDORI YUJRA

A Transitiva: Se dice que una relación ℛ en un conjunto A es A-transitiva si, cualesquiera que sean los pares
(𝒙, 𝒚) y (𝒚, 𝒛) que pertenece a la relación, entonces el par (𝒚, 𝒛) no pertenece a ℛ, es decir:
𝓡 𝑒𝑠 𝑛𝑜 𝑡𝑟𝑎𝑛𝑠𝑖𝑡𝑖𝑣𝑎 ⇔ ∀𝒙 ∀𝒚 ∀𝒛: 𝒙 ℛ 𝒚 ˄ 𝒚 ℛ 𝒛 ⇒ 𝒙 ℟ 𝒛
Anti-simétrica: Dada una relación ℛ definida en un conjunto A, es anti-simétrica si todo par (𝒙, 𝒚) y su
transpuesta (𝒚, 𝒙) pertenecen a la relación, entonces x es igual a y; es decir:
𝓡 𝑒𝑠 𝑎𝑛𝑡𝑖 − 𝑠𝑖𝑚é𝑡𝑟𝑖𝑐𝑎 ⇔ ∀𝒙 ∀𝒚: 𝒙 ℛ 𝒚 ˄ 𝒚 ℛ 𝒙 ⇒ 𝒙 = 𝒚
Relaciones de Equivalencia: Una relación ℛ, definida en un conjunto A, es de equivalencia si es reflexiva,
simétrica y transitiva.
Generalmente una relación de equivalencia se denota por: "~" para indicar que x está relacionada con y por lo
tanto 𝒙 ℛ 𝒚 se escribirá "𝒙 ~ 𝒚" y se leerá “x es equivalente a y”.
Clases de Equivalencia: Sea "~" una relación de equivalencia definida en un conjunto A distinto de vacío y sea
𝒂 ∈ 𝑨. La clase de equivalencia de a (que contiene a “a”) se define como el conjunto de todos los x de A tales
que sean equivalentes a “a”. Se denota esta clase de equivalencia por 𝑲𝒂 ; es decir:
𝑲𝒂 = {𝒙 ∈ 𝑨/𝒂~𝒙}
Nótese que como la relación es reflexiva el conjunto 𝑲𝒂 nunca es vacío, asimismo todas las clases de
equivalencia son subconjuntos de A, y son disjuntos dos a dos.
Teorema: Si b pertenece a la clase de equivalencia de a, entonces la clase de equivalencia de b y la de a son
idénticas; es decir:
𝒃 ∈ 𝑲𝒂 ⇒ 𝑲𝒂 = 𝑲b
El presente teorema muestra que una clase de equivalencia queda determinada por cualquiera de sus elementos,
llamado representante de clase; de igual manera se puede afirmar que dos elementos son equivalentes si y solo
si estos elementos son miembros de la misma clase de equivalencia.
Conjunto de Índices: Sea A un conjunto no vacío, que contiene una relación de equivalencia; se denomina
conjunto de índices a un conjunto formado por los representantes de cada clase de equivalencia, es decir:
𝑰 = {𝒂 ∈ 𝑨/𝑲𝒂 𝑒𝑠 𝑢𝑛𝑎 𝑐𝑙𝑎𝑠𝑒 𝑑𝑒 𝑒𝑞𝑢𝑖𝑣𝑎𝑙𝑒𝑛𝑐𝑖𝑎 𝑒𝑛 𝑨 }
Conjunto Cociente: Sea "~" una relación de equivalencia definida en un conjunto A, el conjunto de todas las
clases de equivalencia de los elementos de A se llama conjunto cociente de a por "~" y se escribe: 𝑨/~. Es decir:
𝑨/~ = {𝑲𝒂/𝒂 ∈ 𝑰}

AUXILIAR DE DOCENCIA UNIV. MOISES MARTIN CONDORI YUJRA 3

 UNIVERSIDAD MAYOR DE SAN ANDRES ALGEBRA I
FACULTAD DE INGENIERIA MAT 100
CURSO BASICO I/2020
DOC: ING. AMUSQUIVAR
AUX. DOC. UNIV. MOISES MARTIN CONDORI YUJRA

Relaciones de Orden: Una relación de orden puede ser amplio o estricto, en cada caso de orden parcial o total.
Una relación ℛ en un conjunto A se llama de orden amplio o simplemente de orden cuando cumple con las
propiedades reflexiva, anti-simétrica y transitiva.
Relaciones de Orden Parcial y Total: Sea ℛ una relación de orden amplio definida en un conjunto A, si se
cumple que:
1. Cuando todos los elementos de A son comparables dos a dos, el orden se llama total; es decir, si:
𝒙≠𝒚⇒𝒙𝓡𝒚˅𝒚𝓡𝒙
2. Cuando existen pares de elementos de A que no son comparables, el orden se llama parcial; es decir:
∃ 𝒙, ∃ 𝒚/𝒙 ℟ 𝒚 ˅ 𝒚 ℟ 𝒙
Relaciones de Orden Estricto: Una relación ℛ, definida en un conjunto A, se llama relación de orden estricto
si es a-reflexiva, a-simétrica y transitiva.
Al igual que el orden amplio, el orden estricto puede ser parcial o total; es decir, el orden estricto es parcial si
existe por lo menos algún par de elementos de A que no son comparables por la relación, caso contrario el
orden estricto es total.
Resumen:
Clasificación:

  reflexiva
 
 •Equivalencia  simétrica
 transitiva


   reflexiva
  
Relación   Amplio antisimétrica
  
•Orden   transitiva
  arreflexiva
  estricto  asimétrica
 
  transitiva
  

Relación de Equivalencia:

 reflexiva

Equivalencia  simétrica
transitiva


AUXILIAR DE DOCENCIA UNIV. MOISES MARTIN CONDORI YUJRA 4

 UNIVERSIDAD MAYOR DE SAN ANDRES ALGEBRA I
FACULTAD DE INGENIERIA MAT 100
CURSO BASICO I/2020
DOC: ING. AMUSQUIVAR
AUX. DOC. UNIV. MOISES MARTIN CONDORI YUJRA

Equivalencia:
La equivalencia " ≡ " Está relacionada con " = " también se usa frecuentemen te el símbolo " ∼ "
Las Clases de Equivalencia:
Son una partición en el conjunto donde se definió una relación de equivalencia.

Propiedades de las clases de equivalencia

P1. 𝐾1 ∪ 𝐾2 ∪ 𝐾3 ∪ … ∪ 𝐾𝑛 = A
P2. 𝐾𝑖 ∩ 𝐾𝑗 = Φ , ∀𝑖, 𝑗
Definición de Clase de equivalencia
𝐾𝑎 = {𝒙 ∈ 𝐴 / (𝒙, 𝑎) ∈ 𝓡}

AUXILIAR DE DOCENCIA UNIV. MOISES MARTIN CONDORI YUJRA 5

 UNIVERSIDAD MAYOR DE SAN ANDRES ALGEBRA I
FACULTAD DE INGENIERIA MAT 100
CURSO BASICO I/2020
DOC: ING. AMUSQUIVAR
AUX. DOC. UNIV. MOISES MARTIN CONDORI YUJRA

EJERCICIO:
1. Sean A = 0,1,3, 4, 6, 7,9 y R = ( x, y ) / x + y = multiplo de 7  x = y

Clasificar y determinar sus equivalencias si existen:

Solución:

Por extensión:

R = (0,0),(1,1),(3,3),(4, 4),(6,6),(7,7),(9,9)(0,7),(7,0)(1,6),(6,1),(3, 4)(4,3)

Reflexiva:

x → xRx
0 → (0, 0) V; 1 → (1,1) V; 3 → (3,3) V;
4 → (4, 4) V; 6 → (6, 6) V; 7 → (7, 7) V;
9 → (9,9) V;

Simetría:

xRy → yRx
(0, 0) → (0, 0) V; (1,1) → (1,1) V; (3,3) → (3,3) V;
(4, 4) → (4, 4) V; (6, 6) → (6, 6) V; (7, 7) → (7, 7) V;
(9,9) → (9,9) V;
(0, 7) → (7, 0) V;
(1, 6) → (6,1) V;
(3, 4) → (4,3) V;

AUXILIAR DE DOCENCIA UNIV. MOISES MARTIN CONDORI YUJRA 6

 UNIVERSIDAD MAYOR DE SAN ANDRES ALGEBRA I
FACULTAD DE INGENIERIA MAT 100
CURSO BASICO I/2020
DOC: ING. AMUSQUIVAR
AUX. DOC. UNIV. MOISES MARTIN CONDORI YUJRA

Transitiva:

xRy  yRz → xRz

(0, 0)  (0, 7) → (0, 7) V

(1,1)  (1, 6) → (1, 6) V
(3,3)  (3, 4) → (3, 4) V
(4, 4)  (4,3) → (4,3) V
(6, 6)  (6,1) → (6,1) V
(7, 7)  (7, 0) → (7, 0) V
(1, 6)  (6,1) → (1,1) V
(1, 6)  (6, 6) → (1, 6) V
(6,1)  (1, 6) → (6, 6) V
(6,1)  (1,1) → (6,1) V
(3, 4)  (4, 4) → (3, 4) V
(3, 4)  (4,3) → (3,3) V
(4,3)  (3, 4) → (4, 4) V
(4,3)  (3,3) → (4,3) V
(7, 0)  (0, 7) → (7, 7) V
(7, 0)  (0, 0) → (7, 0) V
(0, 7)  (7, 0) → (0, 0) V
(0, 7)  (7, 7) → (0, 7) V

Como cumple con las tres (reflexiva, simetría, transitiva), la relación es equivalencia:

Cl 1 = Cl  6 = 1, 6 Cl 3 = Cl  4 = 3, 4

Cl  0 = Cl 7 = 0, 7 Cl 9 = 9

AUXILIAR DE DOCENCIA UNIV. MOISES MARTIN CONDORI YUJRA 7