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 \mapsto V^*$ extends to a contravariant functor: given a linear map $A: V\to W$, the dual or transpose map $A^* = A^T : W^*\to V^*$ is given by $\langle A^*(w_1), v\rangle = \langle w_1, A(v)\rangle$ $\forall w_1\in W^*$, $\forall v\in V$.
New related entry (only a small part of intended material covered so far) dual gebra.
1 to 3 of 3