Talk:Alternating multilinear map
![]() | Mathematics Stub‑class Low‑priority | |||||||||
|
(uni-)linear case
The linear case (a linear map V → W), is an alternating map by any sensible definition, as may be seen by the statement that every p-vector is alternating. The generalized Kronecker delta is a useful mechanism for producing a fully alternating tensor of any order, for example, but process this leaves scalars and order-1 tensors unchanged. I can imagine a reader seeking to answer the question "Is a vector alternating?" or "Is a linear map alternating?" Does anyone have language from a reference that allows us to naturally answer this question in the affirmative? —Quondum 22:43, 1 September 2016 (UTC)
Two adjacent elements or any two elements?
There seems to be no consensus in the community regarding the definition of an alternating multilinear map.
For some authors, it is zero if any two adjacent elements are equal. References:
- Serge Lang, "Algebra", revised 3rd ed., GTM 211, Springer, 2002, page 511, §4, lines 13-15.
- N. Bourbaki, "Eléments de mathématique", Algèbre Chapitres 1 à 3, Springer, 2007 reprint, page A III.80, §4, lines 1-5.
- David S. Dummit and Richard M. Foote, "Abstract Algebra", 3rd ed., Wiley, 2004, page 436, lines 1-3.
For others, it is zero if any two elements are equal, be they adjacent or not. References:
- Thomas W. Hungerford, "Algebra", GTM 73, Springer, 1974, page 349, Definition 3.1., last line.
- Anthony W. Knapp, "Basic Algebra", Birkhäuser, 2006, page 67, lines 15-16.
- Article Multilinear form on English Wikipedia.
- Article Application multilinéaire on French Wikipedia.
- Article Multilineare Abbildung on German Wikipedia.
Until recently, this article gave the second definition. Yesterday, a contributor replaced it with the first definition. Should we "choose our camp" in this article, at the risk of infuriating the other camp, or should we give both definitions and say that there is no consensus? Please vote. J.P. Martin-Flatin (talk) 09:36, 22 September 2016 (UTC)