Changes between Initial Version and Version 1 of Ticket #30278, comment 15


Ignore:
Timestamp:
Aug 3, 2020, 4:50:21 PM (2 years ago)
Author:
Eric Gourgoulhon
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #30278, comment 15

    initial v1  
    22> I just found a good discussion of the two viewpoints of `ExtPower` as a quotient space vs. as a subspace (which I was not familiar with) in https://kconrad.math.uconn.edu/blurbs/linmultialg/extmod.pdf, page 12/13.
    33
    4 Indeed, in page 12 of this reference, we can read: ''It means we can think of Λ^k^ (V ) as a subspace of the tensor power V^⊗k^ instead of as a quotient space. This viewpoint is widely used in differential geometry.'' This is of course the differential geometry point of view that I took when introducing `ExtPowerFreeModule`. It is also written: ''That is fine for real and complex
     4Indeed, in page 12 of this reference, we can read: ''It means we can think of Λ^k^ (V ) as a subspace of the tensor power V^⊗k^ instead of as a quotient space. This viewpoint is widely used in differential geometry.'' This is of course the differential geometry viewpoint that I took when introducing `ExtPowerFreeModule`. It is also written: ''That is fine for real and complex
    55vector spaces (as in differential geometry), but it is not a universal method.''