Duals of a subspace and its quotient (source code)

= Duals of a subspace and its quotient

For a finite-dimensional vector space and $U\leq V$, dualizing the quotient and inclusion maps gives
$$
(V/U)^*\cong U^\circ,
\qquad
U^*\cong V^*/U^\circ.
$$