son espacios vectoriales con producto interno, .

Probar que si . (Se puede asumir que la otra desigualdad ya vale).

Estuve un buen rato...Si llamo al vector ortogonal al núcleo de f, no sé cómo probar que existe un w tq . Ni tampoco me sale por el absurdo....

Claramente hay que usar que las dimensiones son finitas, pero me estuve armando bases de...las distintas cosas (también aprovechando que las podía crear ortonormales) y no llegué a nada. Alguna idea? Muchas gracias!

Si ya sabés que vale la otra inclusión fijate si te sale probar que las dimensiones son iguales (ahí estarías usando que las dimensiones de V y W son finitas).

Otra forma:

Buenísimo, gracias!

Creo que tengo bien ambas formas:

Sofía:


Quimey:

Y cuándo usaste dimensión finita?

Je. En la de Sofía, cuando digo que las dimensiones son iguales para probar que los conjuntos son iguales.

En tu idea, CREO que es cuando tomo ortogonal a ambos lados. Esto lo puedo hacer porque estamos en dimensión finita? No se me ocurre un contraejemplo para cuando estamos en infinita...

Efectivamente es ahí. Encontrar un ejemplo es un poco mas delicado, pero cualquier subespacio no cerrado te sirve (porque el ortogonal siempre es cerrado). Si esto no tiene sentido ahora, esperá a cálculo avanzado

Voy a probar con el espacio de polinomios