Bilinear map

Linear map of two variables.

More formally, given 3 vector spaces X, Y, Z over a single field, a bilinear map is a function from: that is linear on the first two arguments from X and Y, i.e.: Note that the definition only makes sense if all three vector spaces are over the same field, because linearity can mix up each of them.

The most important example by far is the dot product from ${\mathbb{R}}^n\times {\mathbb{R}}^n\to \mathbb{R}$, which is more specifically also a symmetric bilinear form.