[Math] Non degenerate bilinear form

bilinear-formlinear algebramatrices

Problem:

Let $F:V \times W \to \mathbb{R}$ be a non degenerate bilinear form. The question is: prove that $V$ and $W$ have the same dimension (the vector spaces $V$ and $W$ are finite dimensional)

My answer is: $F$ is non degenerate, then the matrix of $F$ is invertible, which means it's square and this implies that $V$ and $W$ have the same dimension. Is my assumption that the matrix of a non degenerate bilinear form is invertible true? Also let me know if my answer is true?

Best Answer

We can obtain a linear map $V \to W^*$ by sending $x \in V$ to the functional $y \mapsto F(x, y)$ on $W$. That $F$ is non-degenerate implies that this map is injective, so $\dim V \leq \dim W^*$. Since $W$ is finite-dimensional, $W^*$ has the same dimension as $W$ and hence $\dim V \leq \dim W$. Using the analogous map $W \to V^*$, we get the reverse inequality.

Related Question