Indicaciones de la tarea.

Sobre la entrega de las tareas.

1. Las tareas se pueden entregar en equipos de a lo más 4 personas.

2. Si se detectan ejercicios iguales o lo suficientemente similares para ser considerados como copias, no se les
evaluará la tarea a ninguno de los equipos involucrados.
3. La tarea se subirá al Classroom del grupo en formato PDF (y sólo aceptaremos formato PDF). Tienen que
asegurarse que el archivo que suban sea legible y presentable.
4. Sólo UN ÚNICO MIEMBRO DEL EQUIPO subirá el PDF de todo el equipo. No olviden escribir en el
PDF todos los nombres de los miembros del equipo. Los otros miembros del equipo no deben enviar nada al
classroom.
5. No se aceptan tareas después del plazo establecido. Si alguna tarea no fue entregada a más tardar en la fecha
y hora de entrega, no se garantiza que será calificada.
6. En caso de que ustedes necesiten un plazo mayor para entregarla, pónganse en contacto con el profesor y
tratamos de llegar a un acuerdo.
7. En esta tarea sólo pueden tener 100 de calificación con los ejercicios regulares y hasta 120 de calificación con
los puntos extra.

1
 Álgebra Superior 1
Tarea 2. Relaciones binarias
1. (+6) Sean a y b dos números reales tales que a < b. Definimos el conjunto Int([a, b] : R) como las funciones
de variable real que son integrables en el intervalo cerrado [a, b].
Definimos la relación ≈ en Int([a, b]; R) dada por f ≈ h si y sólo si:
Z b Z b
f (x)dx = h(x)dx
a a

Muestra que la relación ≈ es una relación de equivalencia sobre Int([a, b] : R).

2. Sean A un conjunto y {Bi : i ∈ I} una partición de A. Definimos la relación ≈ en A dada por: x ≈ z si y sólo
si existe k ∈ I tal que x ∈ Bk y z ∈ Bk .

(a) (+9) Muestra que la relación ≈ es una relación de equivalencia sobre A.

(b) (+6) Muestra que si x ∈ Bk , entonces Bk = [x]≈ .
3. (+9) Sean A y B conjuntos. Definimos la relación ⪕ en P (A) × P (B) dada por: (R, S) ⪕ (M, N ) si y sólo si
R ⊆ M y S ⊆ N . Muestra que ⪕ es un orden parcial en P (A) × P (B).

4. Sea A un conjunto y ⪯ un orden total sobre A. Definimos la relación ≪ en A dada por: x ≪ z si y sólo si
z ⪯ x.
(a) (+9) Muestra que ≪ es un orden total en A.
(b) (+6) Muestra que si B ⊆ A y x es un máximo de B bajo la relación ⪯, entonces x es un mı́nimo bajo la
relación ≪.

5. Sean A un conjunto, ⊴ un orden parcial en A, B ⊆ A y C ⊆ A. Muestra los siguientes incisos:

(a) (+6) Si x es un elemento minimal en B y z es un elemento minimal en C y x ⊴ z, entonces x es un
elemento minimal en B ∪ C.
(b) (+5) Si t es una cota superior de A, entonces t es una cota superior de B.

6. (+5) Demuestra que si g : A → A es una función inyectiva tal que para todo x ∈ A, g ◦ g(x) = g(x), entonces
g = IdA .
7. Sea f : A → B una función. Demuestra los siguientes incisos.
(a) (+5) Si f es inyectiva y C y D son subconjuntos de A, entonces f [C] ∩ f [D] ⊆ f [C ∩ D].
(b) (+6) Sea {Di : i ∈ I} una familia de subconjuntos de A, demuestra que
\ \
f [ Di ] ⊆ f [Di ].
i∈I i∈I

(c) (+6) Sea {Ei : i ∈ I} una familia de subconjuntos de B, demuestra que

[ [
f −1 [ Ei ] = f −1 [Ei ].
i∈I i∈I

8. (+8) Si f : A → B es una función y h : C → A es una función sobreyectiva tal que f ◦ h es inyectiva, entonces
f es inyectiva.

9. (+8) Si f : A → B es una función y h : B → C es una función inyectiva tal que h ◦ f es sobreyectiva, entonces
f es sobreyectiva.
10. (+6) Sean A y B dos conjuntos y f : A → B una función inyectiva. Demuestra que la función g : A → Im(f )
dada por g(x) = f (x) es una función biyectiva.

2
 Extra +20
Sean A un conjunto, ⊴ un orden parcial sobre A y B ⊆ A.
Decimos que x es un supremo de B bajo el orden ⊴ si satisface que: (i) x es una cota superior de B bajo el
orden ⊴ y (ii) si z es una cota superior de B bajo el orden ⊴, entonces x ⊴ z.
De manera análoga, decimos que x es un ı́nfimo de B bajo el orden ⊴ si satisface que: (i) x es una cota inferior
de B bajo el orden ⊴ y (ii) si z es una cota inferior de B bajo el orden ⊴, entonces z ⊴ x.

Sean A un conjunto, B ⊆ A y ⊴ un orden parcial sobre A. Definimos la relación ⪯ en A dada por x ⪯ z si y

sólo si z ⊴ x. Da por hecho que ⪯ es un orden parcial sobre A. Muestra que si x es un supremo de B bajo el orden
⊴, entonces x es un ı́nfimo de B bajo el orden ⪯.