Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
had occasion to create dual vector space.
I added
V↦V* extends to a contravariant functor: given a linear map A:V→W, the dual or transpose map A*=AT:W*→V* is given by ⟨A*(w1),v⟩=⟨w1,A(v)⟩ ∀w1∈W*, ∀v∈V.
New related entry (only a small part of intended material covered so far) dual gebra.
1 to 4 of 4