da 44ale44 » 08/02/2012, 11:53
Scrivo una possibile soluzione ma non so se ho fatto degli errori nel procedimento.
Poichè \( \displaystyle {G} \)=\( \displaystyle {{G}}^{{t}} \) (\( \displaystyle {G} \) è simmetrico) si avrà che g(f(\( \displaystyle {X} \)),\( \displaystyle {Y} \)) = g(\( \displaystyle {X} \),f(\( \displaystyle {Y} \))).
g(f(\( \displaystyle {X} \)),\( \displaystyle {Y} \)) = g([\( \displaystyle {A} \),\( \displaystyle {X} \)],\( \displaystyle {Y} \)) = g(\( \displaystyle {A} \)\( \displaystyle {X} \)-\( \displaystyle {X} \)\( \displaystyle {A} \),\( \displaystyle {Y} \)) = tr \( \displaystyle ^{t} \)(\( \displaystyle {A} \)\( \displaystyle {X} \)-\( \displaystyle {X} \)\( \displaystyle {A} \))\( \displaystyle {G} \)\( \displaystyle {Y} \) = tr (\( \displaystyle {{X}}^{{t}} \)\( \displaystyle {{A}}^{{t}} \)-\( \displaystyle {{A}}^{{t}} \)\( \displaystyle {{X}}^{{t}} \))\( \displaystyle {G} \)\( \displaystyle {Y} \) = tr \( \displaystyle {{X}}^{{t}} \)\( \displaystyle {{A}}^{{t}} \)\( \displaystyle {G} \)\( \displaystyle {Y} \) -tr \( \displaystyle {{A}}^{{t}} \)\( \displaystyle {{X}}^{{t}} \)\( \displaystyle {G} \)\( \displaystyle {Y} \)
e
g(\( \displaystyle {X} \),f(\( \displaystyle {Y} \))) = tr \( \displaystyle {{X}}^{{t}} \)\( \displaystyle {G} \)f(\( \displaystyle {Y} \))
Per la simmetria di g queste due scritture devono essere uguali e quindi devo determinare f(\( \displaystyle {Y} \)) tale che:
tr \( \displaystyle {{X}}^{{t}} \)\( \displaystyle {{A}}^{{t}} \)\( \displaystyle {G} \)\( \displaystyle {Y} \) - tr \( \displaystyle {{A}}^{{t}} \)\( \displaystyle {{X}}^{{t}} \)\( \displaystyle {G} \)\( \displaystyle {Y} \) = tr \( \displaystyle {{X}}^{{t}} \)\( \displaystyle {G} \)f(\( \displaystyle {Y} \))
Pongo f(\( \displaystyle {Y} \))=\( \displaystyle {{G}}^{{-{{1}}}} \)\( \displaystyle {{A}}^{{t}} \)\( \displaystyle {G} \)\( \displaystyle {Y} \) - \( \displaystyle {Y} \)\( \displaystyle {{A}}^{{t}} \)
Verifico che l'uguaglianza sia rispettata:
tr \( \displaystyle {{X}}^{{t}} \)\( \displaystyle {G} \)(\( \displaystyle {{G}}^{{-{{1}}}} \)\( \displaystyle {{A}}^{{t}} \)\( \displaystyle {G} \)\( \displaystyle {Y} \) - \( \displaystyle {Y} \)\( \displaystyle {{A}}^{{t}} \)) = tr \( \displaystyle {{X}}^{{t}} \)\( \displaystyle {G} \)\( \displaystyle {{G}}^{{-{{1}}}} \)\( \displaystyle {{A}}^{{t}} \)\( \displaystyle {G} \)\( \displaystyle {Y} \) - tr \( \displaystyle {{X}}^{{t}} \)\( \displaystyle {G} \)\( \displaystyle {Y} \)\( \displaystyle {{A}}^{{t}} \) = tr \( \displaystyle {{X}}^{{t}} \)\( \displaystyle {{A}}^{{t}} \)\( \displaystyle {G} \)\( \displaystyle {Y} \) - tr \( \displaystyle {{A}}^{{t}} \)\( \displaystyle {{X}}^{{t}} \)\( \displaystyle {G} \)\( \displaystyle {Y} \)
La f(\( \displaystyle {Y} \)) così determinata è la trasposta di f rispetto a g cercata.
Errori??