是数域 上的线性空间, 中的 个向量,若存在一组数 ,使

成立, 则称 是向量组 的线性组合, 或者说 可由 , 线性表示 (线性表出).