Universidad de La Frontera

Facultad de Ingenierı́a y Ciencias Temuco, Segundo Semestre 2022

Departamento de Matemática y Estadı́stica.
ÁLGEBRA IME 013
Profesora: Eli zabeth Henrı́quez M.
Ayudante: Matı́as Vásquez

Guı́a 3 Álgebra: Relaciones Binarias

1. Discuta la reflexividad, simetrı́a, antisimetrı́a y transitividad de las siguientes reaciones en
el conjunto{a, b, c}:

a) {(a, a), (b, b)} d ) {(a, a), (b, b), (c, c), (a, b), (b, a)}
b) {(c, c), (c, b)}
c) {(a, a), (b, b), (c, c)} e) {(a, a), (a, b), (b, a), (b, b)}

2. Considere las siguientes relaciones sobre el conjunto A = {0, 1, 2, 3, 4, 5, 6, 7}

a) xR1 y ⇔ x + y ∈ A
b) xR2 y ⇔ y − x ∈ A, y − x ̸= 0
c) xR3 y ⇔ y − x = 0
d ) xR4 y ⇔ y − x es un entero impar
e) xR5 y ⇔ y − x = 2

Determine que propiedades cumplen estas relaciones.

3. Sea A = {1, 2, 3}

a) Indique cuántas relaciones se puede establecer de A en A.

b) Determine cuántas de ellas son reflexivas.
c) Determine cuántas de ellas son simétricas.
d ) Construya todas las relaciones de equivalencia posibles sobre A.

4. Averigue si la relación en Z definida por aRb ⇔ ab ≥ 0 es una relación de equivalencia.

5. En Z definimos: aRb ⇔ a2 + a = b2 + b. Demuestre que R es una relación de equivalencia y

encuentre las clases de equivalencia de los elementos 0, 1, a.

6. En N × N se define (a, b)R(c, d) ssi a + d = b + c. Demuestre que R es una relación de

equivalencia y encuentre la clase del elemento (2, 1).

7. Sea una relación definida en R+ ×R+ por xSy ⇔ y 2 = 2y −x+4. Haga el gráfico y determine
dominio y recorrido de la relación.
 8. Sea A = {1, 2, 3, 4}. Determine los gráficos de las regiones R, S definidas en A por:

a) aRb ⇔ a + b ≤ 4 b) aSb ⇔ a(b + 1) ≤ 6

Además indique dominio y recorrido de las relaciones.

9. Las relaciones R1 y R2 están definidas en Z × Z:

a) xR1 y ⇔ −10 ≤ x + 5y ≤ 10 b) xR2 y ⇔ x2 + y 2 ≤ 19, x ≥ y

Haga un grafo de estas relaciones.

10. Sobre R × R, analice las siguientes relaciones:

a) {(a, b) ∈ R × R; a2 + b2 ≥ 0} b) {(a, b) ∈ R × R; 0 < ab < 1}

11. Determinar cuales de las siguientes relaciones sobre Z son órdenes y si lo es, de que tipo de
orden se trata:

a) R = {(x, y)/x + y < 3}

b) R = {(x, y)/x + y es par}
c) R = {(x, y)/x + y es par y x es múltiplo de y}

12. Sea A ̸= ∅ y R una relación en A. Se dice que R es circular si (x, y) ∈ R y (y, z) ∈ R

entonces (z, x) ∈ R. Demuestre que si R refleja y circular, entonces R es simétrica.