Universidad Nacional de Colombia, Sede Medellı́n

Fundamentos en Matemáticas, Semestre I 2013

Taller Capı́tulo V, Relaciones
Profesor: Fernando A Morales J

TAREA 5. Problemas que constituirı́an esta tarea en caso de ser entregada 1.6, 1.16, 1.25 y 1.27, 1.28,
1.29.
REFERENTES MÍNIMOS. Aunque no son parte de la tarea los problemas 3, 4, 5, 6, 10, 11, 12, 13,
18, 19, 20, 22, 30, 31 son un referente del mı́nimo nivel de destreza que un estudiante debe alcanzar en
estos temas.
LINEAMIENTOS GENERALES. Aunque no son parte de la tarea el estudiante TIENE que trabajar
los problemas 5, 7, 8, 9, 14, 15, 17, 21, 23, 24, 32. Al menos leerlos y entender claramente la pregunta
y el contexto.

1 Relaciones y Relaciones de Equivalencia

Problema 1.1. Bloch E.D. Exercise 5.1.1.
Problema 1.2. Bloch E.D. Exercise 5.1.2.
Problema 1.3. Bloch E.D. Exercise 5.1.3.
Problema 1.4. Bloch E.D. Exercise 5.1.4.
Problema 1.5. Bloch E.D. Exercise 5.1.5.
Problema 1.6. Bloch E.D. Exercise 5.1.6.
Problema 1.7. Bloch E.D. Exercise 5.1.9.
Problema 1.8. Bloch E.D. Exercise 5.1.10.
Problema 1.9. Bloch E.D. Exercise 5.1.11.
Problema 1.10. Bloch E.D. Exercise 5.2.2.
Problema 1.11. Bloch E.D. Exercise 5.2.3.

1
Problema 1.12. Bloch E.D. Exercise 5.2.4.
Problema 1.13. Bloch E.D. Exercise 5.2.5.
Problema 1.14. Bloch E.D. Exercise 5.2.6.
Problema 1.15. Bloch E.D. Exercise 5.2.8.
Problema 1.16. Bloch E.D. Exercise 5.2.9.
Problema 1.17. Bloch E.D. Exercise 5.2.12.
Problema 1.18. Bloch E.D. Exercise 5.3.1.
Problema 1.19. Bloch E.D. Exercise 5.3.2.
Problema 1.20. Bloch E.D. Exercise 5.3.4.
Problema 1.21. Bloch E.D. Exercise 5.3.5.
Problema 1.22. Bloch E.D. Exercise 5.3.8.
Problema 1.23. Bloch E.D. Exercise 5.3.9.
Problema 1.24. Bloch E.D. Exercise 5.3.10.
Problema 1.25. Bloch E.D. Exercise 5.3.12.
Problema 1.26. Bloch E.D. Exercise 5.3.13.
def
Problema 1.27. Sea X = {a, b, c, d} y
def
R = {(a, a), (b, b), (c, c), (d, d), (a, b), (b, a), (c, b), (b, c), (a, c), (c, a)}

(i) Demuestre que R es una relación de equivalencia.

(ii) Escriba el conjunto cociente X/R.

(iii) Trace el grafo de la relación.

Problema 1.28. Sea X un conjunto no vacı́o y R una relación de equivalencia en X. Entre los
enunciados siguientes establezca cuales son verdaderos y cuales son falsos probandolos o proveyendo
contraejemplos
(i) X/R es un subconjunto de X.

(ii) X/R = {X}.

(iii) X/R es un subconjunto de ℘(x).

2
(iv) X/R = ℘(X).
def def
Problema 1.29. Sean X = {a, b, c, d}, Y = {a, b, c, d} y f : X → Y definida por a 7→ 1, b 7→ 2,
c 7→ 2, d 7→ 3, e 7→ 3. Sea R la relación de equivalencia xRξ si y solo si f (x) = f (ξ).
(i) Escriba el conjunto cociente X/R.

(ii) Escriba la función cociente f /R : X/R → Y .

(iii) Trace el diagrama de la relación.

Problema 1.30. Defina todas las relaciones de equivalencia en X = {a, b}.
Problema 1.31. Defina todas las relaciones de equivalencia en X = {a, b, c}.
Problema 1.32. Se dice que una función T : R n
→ R k
es una transformación lineal si para todo
→
−
x ,→
− R
y ∈ n yλ∈ R
se cumple que

T (λ →
−
x +→
−
y ) = λ T (→
−
x ) + T (→
−
y)

Definimos en R n
la relación →
−
x R→
−
y si y solo si T (→
−
x −→
−
y ) = 0.
(i) Demuestre que →
−
x R→
−
y si y solo si T (→
−
x ) = T (→
−
y ).

(ii) Demuestre que R es una relación de equivalencia en R. n

(iii) Demuestre que si [ →

−
x ] = {→
−
x +→
−
y : T (→
−
y ) = 0}.

(iv) Demuestre que si →

−
y ,→
−
z ∈ [→
−
x ]yλ∈ R entonces λ→
−y +→ −
z ∈ [→ −
x ].

x ∈ R arbitario, se tiene [ →
→
− →
−
(v) Describa [ 0 ] y concluya que para →
− n −
x ] = {→
−
x +→
−
y : y ∈ [ 0 ]}.

2 Relaciones de Orden
Indicación General. En los problemas 26 al 30 analice todas las particiones de X.
Problema 2.1. Defina todas las relaciones de orden total en X = {a, b, c}.
Problema 2.2. Defina todas las posibles relaciones de orden en X = {a, b, c}.
Definition 2.3. Sean (X, ≤), (Y, ≤) dos conjuntos ordenados y una función f : X → Y .
(i) Diremos que f es creciente en sentido amplio (respectivamente decreciente en sentido amplio) si
a ≤ b implica f (a) ≤ f (b). Diremos que es creciente en sentido estricto (respectivamente decreciente
en sentido esctricto) si x < y implica f (x) < f (y).
(ii) Diremos que f es un isomorfismo de conjuntos ordenados si f es biyectiva y creciente en sentido
amplio.

3
Problema 2.4. Sean X, Y conjuntos ordenados y f : X → Y creciente en sentido amplio. Demuestre
que si C ⊆ X es una cadena, entonces f (C) es una cadena.
Problema 2.5. Sean X, Y conjuntos ordenados y f : X → Y un isomorfismo, demuestre que f −1 :
Y → X es un isomorfismo.
Problema 2.6. Sean X, Y, Z conjuntos ordenados y f : X → Y , g : Y → Z isomorfismos, demuestre
que g ◦ f : X → Z es un isomorfismo.

Figure 1: Relación de Orden Problemas 39 y 40

a b

c d

def
Problema 2.7. Sea X = {a, b, c, d} con la relación de orden dada por la figura (1).
(i) Determine max X, min X si existen.
(ii) ¿Es X acotado superiormente?
(iii) ¿Es X acotado inferiormente?
(iv) ¿Es X acotado?
(v) Encuentre sup X, inf X si existen.
def
Problema 2.8. Sea X = {a, b, c, d} con la relación de orden dada por la figura (1).
(i) Encuentre max{a, d}, min{a, d}, sup{a, d}, inf{a, d}.
(ii) Encuentre max{c, d}, min{c, d}, sup{c, d}, inf{c, d}.
(iii) Encuentre el conjunto de los elementos maximales de X.
(iv) Encuentre el conjunto de los elementos minimales de X.
(v) Escriba el conjunto de las cotas superiores de {c, d}.
(vi) Escriba el conjunto de las cotas inferiores de {c, d}.
Problema 2.9. Sea (X, ≤) un conjunto ordenado y A ⊆ X establezca el valor de verdad de los siguientes
enuciados
(i) Si A es acotado superiormente entonces max A existe.
(ii) Si A es acotado superiormente entonces sup A existe.
(iii) Si A es acotado inferiormente entonces min A existe.
(iv) Si A es acotado superiormente entonces inf A existe.
(v) Si max A existe entonces max A = sup A.

4
 (vi) Si sup A existe entonces max A existe.
(vii) Si min A existe entonces min A = inf A.
(viii) Si inf A existe entonces min A existe.

Figure 2: Relación de Orden Problemas 42, 43, 44, 45

f
a b c

d
e h

def
Problema 2.10. Sea X = {a, b, c, d, e, f, g} con la relación de orden dada por la figura (2). Escriba
def
el conjunto A = {C ⊆ X : C es una cadena} i.e. el conjunto de todas las cadenas en X.
def
Problema 2.11. Sea X = {a, b, c, d, e, f, g} con la relación de orden dada por la figura (2). Escriba
def
el conjunto J = {J ⊆ X : I es un intervalo acotado en X} i.e. el conjunto de todos los intervalos
acotados en X.
def
Problema 2.12. Sea X = {a, b, c, d, e, f, g} con la relación de orden dada por la figura (2). Escriba
def
el conjunto J = {J ⊆ X : I es un intervalo no acotado en X} i.e. el conjunto de todos los intervalos
no acotados en X.
def
Problema 2.13. Sea X = {a, b, c, d, e, f, g} con la relación de orden dada por la figura (2). Escriba
def
el conjunto z = {I ⊆ X : I es un ideal en X} i.e. el conjunto de todos los ideales en X.
def
Problema 2.14. Sea X = {a, b, c} demuestre que toda relación de orden total en X es un buen orden.
def
Problema 2.15. Considere Z = {0, ±1, ±2, . . .} i.e. el conjunto de los números enteros.
(i) Demuestre que el orden natural n ≤ ` si y solo si 0 ≤ ` − n no es un buen orden.
(ii) Defina una relación de orden  en Z tal que (Z, ) sea bien ordenado.