线性系是代数几何中最基础的研究对象之一。线性系是代数簇上的一族线性等价的有效除子，它为射影空间所参数化。