Dual vector bundle E* is isomorphic to Hom(E, MXR)

  • Context: Graduate 
  • Thread starter Thread starter robforsub
  • Start date Start date
  • Tags Tags
    Dual Vector
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
4 replies · 3K views
robforsub
Messages
16
Reaction score
0
As E* is defined in some book as Hom(E, MXR). What could be the isomorphism between dual vector bundle E* and Hom(E, MXR)?
 
Physics news on Phys.org
That's the part that is confusing to me. So I have checked on wikipedia, and it defines E*=Hom(E,MXR). However, there is a natural isomorphism on bundle that is Hom(E,E')=E*(direct sum)E, therefore I am wondering if I can use this isomorphism to get the result that E* is isomorphic to E*(direct sum) MXR and thus isomorphic to Hom(E, MXR)?
 
Still, how does your question even make sense if you have no definition of E*? For me, the dual of a vector bundle E is obtained from E by taking fiber-wise duals, i.e. the fibers of E* are the vector space duals of the fibers of E. Of course, the dual of a k-vector space Ep is Ep*=Hom_k(E,k).
 
I'm failing to see how it's not tautological.