Buenas noches,
Hace ya un par de días que tengo una duda en el ejercicio 9.1 y sinceramente no le logro encontrar la vuelta.
Yo lo intenté resolver usando que (en el caso de s.e.v.) 
. De ahi pase a los generadores de 
y 
, y luego los reste para con eso demostrar que el conjunto que pide verificar es generador de 
.
Al final, como lo que tengo de y son bases ortonormales, entonces el resultado para también lo es.
Mi duda es si este razonamiento es valido, porque no estoy seguro de si puedo usar directamente la propiedad de la suma directa, o si tengo que empezar por demostrar que se cumple en este caso.
Muchas gracias!