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

Click For Summary
SUMMARY

The discussion centers on proving that a function F, defined from the space of linear maps L(E,E) to the field \Gamma, can be expressed as a function of the determinant, specifically F(φ) = f(det(φ)). The properties of F include multiplicativity (F(φ ∘ ψ) = F(φ)F(ψ)) and normalization (F(id) = 1). The participants explore the implications of these properties and the relationship between F and the determinant, concluding that while F shares some characteristics with the determinant, it is not necessarily a linear functional.

PREREQUISITES
  • Understanding of vector spaces and linear maps
  • Familiarity with determinants and their properties
  • Knowledge of functional analysis concepts
  • Experience with mathematical proofs and logical reasoning
NEXT STEPS
  • Research the properties of determinants in linear algebra
  • Study the concept of multiplicative functions in functional analysis
  • Explore the relationship between linear functionals and determinants
  • Learn about the implications of the determinant in vector space transformations
USEFUL FOR

Mathematicians, students of linear algebra, and anyone interested in the theoretical foundations of linear maps and determinants will benefit from this discussion.

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.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 17 ·
Replies
17
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
Replies
8
Views
2K
  • · Replies 9 ·
Replies
9
Views
1K
Replies
0
Views
2K
Replies
8
Views
3K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 24 ·
Replies
24
Views
3K
  • · Replies 38 ·
2
Replies
38
Views
6K