I am given $f$ to be a bilinear form on $V$, a finite dimensional vector space. It is symmetric with $f(v,w)=f(w,v)$ for all $v,w \in V$. Also $f(v,w) = 0 \forall w \in V$ implies that $v=0$. If I define the map $L_w(v) = f(v,w)$, then I need to show that $L: V \rightarrow V^*$ is an isomorphism. ($V^*$ is defined as dual of $V$ so its the set of all bilinear forms on $V$)
I was thinking to show this, we start with defining set $B = \{v_1, .. v_n \}$ such that it is a basis for $V$. Then I show that $B_L = \{L_w(v_1), ... L_w(v_n) \}$ forms a basis for $V^*$. Is this enough? I am given a hint of using rank nullity?
Do I need to show there exists an inverse such that $L^{-1}L = $ identity?
Please help any advice or push in the right direction would be much appreciated!
Yes, it is enough because of
Lemma 1: A linear map $\;f: V\to W\;$ of vector spaces over the same field, is injective iff
$$\forall\;\text{lin. ind. set}\;\{v_1,...,v_m\}\subset V\;,\;\;\text{also}\;\{fv_1,...,fv_m\}\;\text{is lin. ind. in}\;W$$
Lemma 2: With the given data as above, if also $\;\dim V=\dim W<\infty\;$ , then $\;f\;$ is an isomorphism iff it is injective