What is the Function of Determinant in Expressing a Linear Map?

Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
2 replies · 2K views
losiu99
Messages
132
Reaction score
0

Homework Statement



Let E be a vector space of finite dimension over [tex]\Gamma[/tex] (char 0), and [tex]F\colon L(E,E)\rightarrow \Gamma[/tex] satisfies
(1) [tex]F(\phi \circ \psi)=F(\phi)F(\psi)[/tex]
(2) [tex]F(\hbox{id})=1[/tex]

Prove F can be expressed as a function of determinant, [tex]F(\phi)=f(\hbox{det}\phi)[/tex].

Homework Equations



Hint: Let [tex]e_\nu[/tex] be a basis and define
[tex]\psi_{ij}e_{\nu}=\begin{cases}e_\nu & \text{if } \nu\neq i\\e_i+\lambda e_j & \text{if }\nu = i\end{cases}[/tex]
[tex]\phi_i e_\nu =\begin{cases}e_\nu & \text{if } \nu \neq i \\ \lambda e_\nu & \text{if }\nu = i\end{cases}[/tex]

Show that [tex]F(\psi_{ij})=1[/tex] and that [tex]F(\phi_j)[/tex] doesn't depend on i.

The Attempt at a Solution


I have proved facts in the hint, but I cannot clearly see how to carry on. I guess it's about using this two families of functions to transform functions having the same determinant without changing the value of F to the point we can conclude F's values are equal. Unfortunetely, I fail miserably trying to accomplish this.
I appreciate any help.
 
Physics news on Phys.org
A linear functional on a vector space is completely determined by its action on a basis.
What would [itex]det(\psi_{ij})[/itex] and [itex]det(\phi_j)[/itex] be? If F obeys exactly the same laws as the determinant, it is the determinant!
 
Well, for the record, F doesn't obey the same laws as a determinant. Nor is it necessarily a linear functional. Any multiplicative function defined in terms of value of determinant with f(id)=1 will satisfy this conditions. Anyway, I believe I have roughly proved all the necessary facts, I think it's just the matter of carefully writing down the proof, making sure I haven't overlooked something. Will do it tomorrow and let you know if I succeed. Thanks for your response.