SAGE中Lie代数模块术语咨询：稀疏向量空间等概念解析

a) 稀疏向量空间（Sparse vector space）与普通向量空间的区别是什么？ #

• 从数学定义上看，二者没有本质差异，都是满足向量空间公理的集合。区别完全在计算机实现层面：
  • 普通（稠密）向量空间会存储向量的所有分量，哪怕分量是0；
  • 稀疏向量空间只存储非零分量的数值和对应位置索引，能大幅节省内存开销，尤其适合高维度但非零元素极少的场景。
  • 你的例子里向量空间维度仅1，但对应标准空间维度是3，非零元素只有1个，用稀疏实现更高效。

b) 此处向量空间的'degree'指的是什么？ #

• 在SAGE的模块、向量空间相关语境中，degree指的是该空间作为某个标准全空间的子空间时，全空间的维度。
• 你的例子里，这个1维稀疏向量空间是有理数域上3维标准向量空间ℚ³的子空间，所以degree取3，而它自身的维度是1——别把degree和维度搞混。

c) 生成的基矩阵与该向量空间的结构有何关联？ #

• 给出的基矩阵[0 1 0]是行向量形式，它的行向量就构成了这个1维向量空间的一组基。
• 这意味着该向量空间的所有元素，都是这个基向量的有理数倍，也就是形如(0, k, 0)（k∈ℚ）的向量。
• 基矩阵直接明确了子空间的生成元，能直观看出它在ℚ³中的位置：是仅第二个分量可不为0、其余分量固定为0的子空间。

内容的提问来源于stack exchange，提问作者A.D.