Tarea 1: Profesor: Rodrigo Lecaros L. Ayudante: Joshue Mora A
Tarea 1: Profesor: Rodrigo Lecaros L. Ayudante: Joshue Mora A
Tarea 1
Profesor: Rodrigo Lecaros L.
Ayudante: Joshue Mora A.
Problema 1. Sea X un conjunto. Se dice que el conjunto P = {P1 , ..., Pn } es una partición finita
de X si:
1. Pi ⊆ X ∀i = 1, ..., n.
2. Los Pi son disjuntos entre si, es decir Pi ∩ Pj = ∅ si i ̸= j.
S
3. P es exhaustivo, es decir i=1,...,n Pi = X.
Se define la relación de partición ∼ como lo que sigue: dos elementos de X, a y b están relacionados
por ∼ si y solo si existe i ∈ {1, ..., n} tal que a ∈ Pi y b ∈ Pi . En otras palabras, a ∼ b si y
solo si "pertenecen al mismo bloque". Demuestre que la relación de partición es de equivalencia, y
demuestre que P es el conjunto de clases de equivalencias inducido por ∼.
Problema 3. Sea E el espacio vectorial de las funciones reales y continuas en el intervalo cerrado
[a, b]. Se consideran los subconjuntos de E dados por
Z b
F = {f ∈ E : f (t) dt = 0}, G = {f ∈ E : f es constante}.
a
BE = {u1 , . . . , ur , ur+1 , . . . , un }
BE/F = {ur+1 + F, . . . , un + F }
Deducir que dim E/F = dim E − dim F , igualdad válida también para los casos r = 0 o r = n.
Note que este resultado otorga un camino estructurado para obtener una base del espacio cuociente.
1
Departamento de Matemática
MAT210 - Álgebra Lineal
2023-1