In the wiki on bilinear forms, the universal product says that to each bilnear map $b : V\times V \rightarrow \mathbb{R}$ we can associate a linear map $\hat{b} : V\otimes V \rightarrow \mathbb{R}$, namely $\hat{b}(v\otimes w)=b(v,w)$. But they claim that this association is not canonical. I don't understand why, since this seems like the obvious choice for the correspondence, no?

  • 6
    $\begingroup$ The WP is wrong here, at least on the "canonical" part. As for "unique": sure, you can twist it by automorphisms, but the definition isn't to blame for that. $\endgroup$ Commented Apr 15, 2019 at 17:24
  • 2
    $\begingroup$ I fixed the Wikipedia article. $\endgroup$ Commented Apr 15, 2019 at 20:50


You must log in to answer this question.

Browse other questions tagged .