En la prueba del teorema de que hay un isomorfismo lineal único $\star:\bigwedge^k(E)\to\bigwedge^{n-k}$ en la p.4 en la Teoría de Calibre y Principios Variacionales de Bleecker, él dice
Para $\gamma\in\bigwedge^{n-k}(E)$, se define $\varphi_\gamma:\bigwedge^k(E)\to\mathbb{R}$ por $\varphi_\gamma(\alpha)\mu\alpha\wedge\gamma$. Podemos demostrar que si $\varphi_\gamma(\alpha)0$ para todo $\alpha$, entonces $\gamma0$. Por lo tanto, $\gamma\mapsto\varphi_\gamma$ define un mapeo lineal biunívoco $\bigwedge^{n-k}(E)\to\bigwedge^{k}(E)^\wedge$. Dado que $\dim\bigwedge^k(E)\dim\bigwedge^{n-k}(E)$ este mapeo es un isomorfismo.
¿Qué se entiende por $\bigwedge^{k}(E)^\wedge$?
