Definition:Bilinear Space

Definition
Let $\mathbb K$ be a field.

A bilinear space over $\mathbb K$ is a pair $(V,f)$ where:
 * $V$ be a vector space over $\mathbb K$ of finite dimension $n>0$
 * $f$ is a bilinear form on $V$

Also see

 * Definition:Quadratic Space