Adjunto parcial.

No me sale el ejercicio 3. Planteé e hice muchas cuentas pero llego a tener que integrar algo bastante feo (intento usar partes pero no sale). Alguien tiene alguna idea?
Saludos, gracias!

Por ahi te sirve calcular . Igual no veo como te puede quedar algo más que un polinomio para integrar (y no lo calificaría de feo a eso)

Ah, es una buena idea; pero igual tengo que integrar , y aunque lo separe en sumas, me queda un producto medio extraño.

Derivando como me decís me queda que .

Y me queda que . Tendría que ver que esto vale lo mismo que lo que está del otro lado del igual (lo mismo pero con q). Sospecho que hay que integrar y reemplazar, pero no veo cómo hacerlo, ni cómo tachar cosas.

Pasa algo parecido si planteo la igualdad sin usar tu idea.

Yo seguiría la sugerencia de Quimey. No hice la cuenta, pero seguro que se cancelan algunos términos.

Creo que mi sugerencia no sirve mucho...

Habrá alguna otra forma de hacer el ejercicio? Pensé en demostrar que , pero....no me sirve mucho.
También está la de calcular "a mano" la adjunta de f con la fórmula, pero como el espacio es de dim n, no creo que está bueno ortnonormalizarlo "genéricamente", no creo que quede lindo.

Hola! Al final un amigo me tiró una pista muy parecida a la de Quimey:


Después hay que darse cuenta de una cosita más:



Con respecto al ejercicio 5, quería contar (para ver si a a alguien se le ocurre una manera mejor) cómo lo hice:

che, con el 5 tené cuidado con la equivalencia, porque en el b) te piden probar y no . Y no siempre .
Otra forma que se me ocurrió, es básicamente usando el ejercicio de la guía que dice que si f es automorfismo, su adjunta también lo es (automorfismo era endomorfismo + isomorfismo). Y luego te queda una composición de automorfismos y listo ganaste:

JAJAJA no lo había visto.

Ojo Mati que estamos en un C-espacio vectorial, entonces

Ah cierto jaja, bueno tengo que pensarlo y ver si lo puedo arreglar.
Edit: Se puede arreglar, fijate que . Pero 0 pertenece a o sea que . Y luego ya sigo con el mismo razonamiento.

Che mati querido, creo que tenés un error: cuando decís

"Luego operando y todo eso me queda que Y como x no es cero, tengo que",

eso no vale. Tranquilamente podrían ser ortogonales y dar 0, no hace falta que uno de los miembros sea 0 para que el producto interno de 0.

A mí se me ocurrió otra forma:

si =0 \Rightarrow como f es mono, . f es automorfismo f^* es automorfismo (ejercicio para el lector del futuro. Pista: ), entonces queda lo que quería.

Para el b), basta tomar g=f*, g*=f, saber que si f es automorfismo entonces g también, y aplicar a.

Siento que estoy haciendo trampa al decir que mono epi si es un endo en dimensión finita.

jajaja si error feo que me mandé. A priori diría que algo pensé para evitarlo porque había rendido el final hace poco y eso lo tuve que tener en cuenta, pero bueno no me acuerdo porque estaba tan convencido en su momento jaja. En fin, perdón por eso, para la próxima tengo más cuidado!