Showing a symmetric bilinear form is nondegenerate

58 Views Asked by At

I wan to show that the symmetric bilinear form given by \begin{align} \begin{split} g: T_pSL_2(\mathbb{R}) \times T_pSL_2(\mathbb{R}) & \to \mathbb{R}, \\ \bigg{(} \begin{pmatrix} a & b \\ c & d \\ \end{pmatrix}, \begin{pmatrix} w & x \\ y & z \\ \end{pmatrix} \bigg{)} & \mapsto \frac{1}{2}(az + wd -( by+ xc)). \end{split} \label{metric} \end{align} is nondegenerate for all $p\in SL_2(\mathbb{R}).$ This is the restriction of the symmetric bilinear form on $M_2(\mathbb{R})$ which can be shown to be nondegenerate. I know that I need to show that $g(v,w) =0$ for all $w \in T_pSL_2(\mathbb{R})$ implies $v =0$ but have no idea how to do this!