Ejercicios del Seminario - 1er Cuatrimestre Doble grado Física Matemáticas

Dado un K-espacio vectorial V , el conjunto de subespacios vectoriales SubK (V ) y el con-

junto ConK (V ) de congruencias sobre V son biyectivos. De igual forma, los dos conjuntos
están parcialmente ordenados para la inclusión. El ejercicio propuesto quiere profundizar en
la relación entre estos dos conjuntos ordenados, demostrando que la biyección presentada en
el seminario 1, entre subespacios y congruencias, también es compatible con el orden.

[0]·

SubK (V ) ConK (V )

'·

Sabemos que en SubK (V ) tenemos el menor subespacio, en este caso el subespacio trivial
{0}, y el mayor subespacio, en este caso V el espacio vectorial ambiente. Además, todo
subespacio vectorial W ∈ SubK (V ) satisface que {0} ≤ W ≤ V . Demuestra que la relación
diagonal y la relación total son, respectivamente, la menor y la mayor congruencia sobre V .
Ejercicio 1. Sea V un K-espacio vectorial y sea ϕ una congruencia sobre V . Demuestra que

∆V ⊆ ϕ ⊆ ∇V .

En el siguiente ejercicio demostraremos que las aplicaciones '· : SubK (V ) −→ ConK (V ) y

[0]· : ConK (V ) −→ SubK (V ) respetan los elementos mínimo y máximo.
Ejercicio 2. Sea V un K-espacio vectorial. Demuestra

i. '{0} = ∆V ; ii. [0]∆V = {0}; iii. 'V = ∇V ; iv. [0]∇V = V.

Ahora demostraremos que las aplicaciones '· y [0]· preservan los respectivos órdenes.
Ejercicio 3. Sea V un K-espacio vectorial y sean U, W subespacios vectoriales en SubK (V ).
Demuestra que si U ≤ W , entonces 'U ⊆'W .
Ejercicio 4. Sea V un K-espacio vectorial y sean ϕ, ψ dos congruencias en ConK (V ). Demu-
estra que si ϕ ⊆ ψ, entonces [0]ϕ ≤ [0]ψ .
Demuestra que la intersección de dos congruencias vuelve a ser una congruencia y que esta
es la mayor congruencia contenida en las congruencias consideradas.
Ejercicio 5. Sea V un K-espacio vectorial y sean ϕ y ψ dos congruencias en ConK (V ).
i. Demuestra que ϕ ∩ ψ, la intersección de las dos congruencias, vuelve a ser una congru-
encia.

ii. Demuestra que ϕ ∩ ψ es la mayor congruencia contenida en ϕ y en ψ, es decir,

∀θ ∈ ConK (V ), si θ ⊆ ϕ y θ ⊆ ψ, entonces θ ⊆ ϕ ∩ ψ.

De igual forma, sabemos que en SubK (V ), la intersección U ∩ W , de subespacios U, W ∈

SubK (V ), vuelve a ser un subespacio vectorial y que esta intersección es el mayor subespa-
cio contenido en cada uno de los espacios U y W . A continuación demostraremos que las
aplicaciones '· y [0]· preservan estos ínfimos.

1
Ejercicios del Seminario - 1er Cuatrimestre Doble grado Física Matemáticas

Ejercicio 6. Sea V un K-espacio vectorial y sean U, W subespacios vectoriales en SubK (V ).

Demuestra que 'U ∩W ='U ∩ 'W .
Ejercicio 7. Sea V un K-espacio vectorial y sean ϕ, ψ dos congruencias en ConK (V ). Demu-
estra que [0]ϕ∩ψ = [0]ϕ ∩ [0]ψ .
Igual que pasaba con los subespacios vectoriales, la unión de congruencias no tiene por qué
ser una congruencia.
Ejercicio 8. Sea V un K-espacio vectorial. Da dos congruencias ϕ y ψ en ConK (V ) para las
que su unión no vuelva a ser una congruencia.
Para evitar este problema, en el conjunto de subespacios vectoriales presentábamos el
subespacio suma. Para el caso de las congruencias presentaremos a continuación el supremo
de dos congruencias y demostraremos que esta nueva relación es la menor congruencia que
contiene dos congruencias dadas.
Ejercicio 9. Sea V un K-espacio vectorial y sean ϕ y ψ dos congruencias en ConK (V ).
Entonces definimos el supremo de ϕ y ψ, denotado por ϕ ∨ ψ, como la relación definida como
sigue; dados dos vectores v, w ∈ V , diremos que
∃ n ∈ N, ∃ (v0 , · · · , vn ) ∈ V n+1 tal que
i. v0 = v;
(v, w) ∈ ϕ ∨ ψ si y sólo si
ii. vn = w;
iii. ∀1 ≤ i ≤ n ((vi−1 , vi ) ∈ ϕ ∪ ψ)).
Es decir, dos vectores v, w están relacionados si existe una secuencia finita de vectores que
empieza en v y acaba en w y que satisface que para todo par de vectores consecutivos en la
secuencia se tiene que este par pertence a ϕ o a ψ.
i. Demuestra que ϕ ∨ ψ, el supremo de las dos congruencias, vuelve a ser una congruencia.
ii. Demuestra que ϕ ∨ ψ es la menor congruencia que contiene a ϕ y a ψ, es decir,
∀θ ∈ ConK (V ), si ϕ ⊆ θ y ψ ⊆ θ, entonces ϕ ∨ ψ ⊆ θ.

A continuación demostramos que las aplicaciones '· y [0]· preservan los correspondientes
supremos.
Ejercicio 10. Sea V un K-espacio vectorial y sean U, W subespacios vectoriales en SubK (V ).
Demuestra que 'U +W ='U ∨ 'W .
Ejercicio 11. Sea V un K-espacio vectorial y sean ϕ, ψ dos congruencias en ConK (V ). De-
muestra que [0]ϕ∨ψ = [0]ϕ + [0]ψ .
Con todo lo que hemos demostrado antes, concluímos que las aplicaciones '· y [0]· son
isomorfismos de retículos.
[0]·

(SubK (V ), ≤, ∩, +, {0}, V ) (ConK (V ), ⊆, ∩, ∨, ∆V , ∇V )

'·