Theorem.
For any finite-dimensional inner product space , there exists a bijective map from to its dual such that
i.e. for any linear functional , there exists unique such that for any , .
Proof.
To show the injectivity of , suppose such that for all , . This implies that , which in turn implies that by the definition of the inner product.
To show the surjectivity of , suppose is some linear functional. If , then clearly . Thus, assume . In the finite-dimensional case, we are guaranteed that if . So, let be a nonzero unit vector in . We proceed by conjuring a vector which we will use to show that for all , and thus . Observe that since is a scalar multiple of . Suppose is any vector in . We decompose as such:
A few key observations:
|| v ||^2 = \langle v, v \rangle = \langle \overline{\varphi(w)}w, \overline{\varphi(w)}w \rangle = \overline{\varphi(w)}\varphi(w) \langle w, w \rangle = \lvert\varphi(w)\rvert
\implies \varphi(v) = || v ||
\varphi \bigg(u-\frac{\varphi(u)}{\varphi(v)}v \bigg) = \varphi(u)-\frac{\varphi(u)}{\varphi(v)}\varphi(v) = 0
\implies \langle u-\frac{\varphi(u)}{\varphi(v)}v, v\rangle = 0
where we used the fact that $v \in null(\varphi)^\perp$ and is thus orthogonal to any vector in the null space of $\varphi$. Then,\langle u, v \rangle = \langle u-\frac{\varphi(u)}{\varphi(v)}v, v \rangle + \langle \frac{\varphi(u)}{\varphi(v)}v, v \rangle = 0+\frac{\varphi(u)}{||v||^2}\langle v,v \rangle = \varphi(u),
and therefore, $\varphi = \alpha(v)$. $\square$ --- As demonstrated in the linked resource, this proof can easily be extended to show the theorem holds for special infinite-dimensional inner product spaces called Hilbert Spaces. It seems that this theorem serves as a bridge from linear algebra and algebra in general to analysis and measure theory. Resources: [Hilbert Spaces and The Riesz Representation Theorem](https://math.uchicago.edu/~may/REU2021/REUPapers/Adler.pdf)