本文讨论了线性代数中的向量空间、子向量空间和张成空间的定义及性质。向量空间由元素及其加法和标量乘法构成，满足特定公理。子向量空间是向量空间的子集，包含零向量，并对加法和标量乘法封闭。张成空间是包含特定向量的最小子向量空间。