Pa
Toda la introducción se entiende un tanto pochamente. Intenta reescribirlo revisando el esquema de la solución que te había pasado. Luego además falta comentar que en la demostración en una dirección nos vasta con acudir a lo demostrado en el apartado anterior. De nuevo, está explicado en el esquema que te había pasado.
t
⇔
g
Estas flechas verticales hay que especificar que son la aplicación w
H
te falta terminar la línea con un "verificando:" o un "tal que"
e
F⟂ no es una base! Deberías poner "de la base de F⟂"
·
El diagrama de la derecha tiene un fallo. No debería aparecer ningún [Ud] ya que la clase de Ud es la del 0! Además ese diagrama es con elementos del cociente, es decir [Ui], no con elementos del dual del cociente, es decir lo que está ahí puesto [Ud]*
w([V]) = 0
Pero no explicas porque w([v]) = 0. Recuerda que en lugar de considerar un v∈E arbitrario era mejor estudiar los vᵢ de la base de E. Así podías seguirle el rastro y ver que todos llegaban a 0.
↓ +2 ldie +- -Mu = W
Nombras los λ sin introducirlos! Entiendo que lo que querías hacer era decir que buscabas expresar w como c.l. de los u. Pero te falta expresar dicha intención.
h #t porque no anula todos los elementos de F
Tienes que especificar que el "i" es de la forma 1≤i≤d. Yo tomaría luego uᵢ para mostrar como uᵢ ∉ F⊥