线性型

线性型又称线性函数或线性齐次，是域F上的线性空间V到域F上的一个线性映射。线性映射（也叫做线性变换或线性算子）是在两个向量空间之间的函数，它保持向量加法和标量乘法的运算。两个变量之间存在一次方函数关系，就称它们之间存在线性关系。正比例关系是线性关系中的特例，反比例关系不是线性关系。线性型又称线性函数或线性齐次，是域F上的线性空间V到域F上的一个线性映射。如果f是从V到F的映射，对V的向量x，y，F的元素a，b满足f(ax+by)=af(x)+bf(y)，那么f就称为V上的线性型或线性映射。