Vector space/Finite-dimensional/Gram matrices/Fact/Proof

The injectivity of the mapping follows from fact. The surjectivity follows from the fact that an arbitrary matrix might b interpret as a bilinear form in the sense of example. The linearity follows immediately from the pointwise definition of the vector space structure on ${\displaystyle {}\operatorname {Bilin} _{}{\left(V\right)}}$.