由 子空间 生成的,由 向量 和 张成的空间是
可以使用以下 Wolfram 语言 函数来测试向量集合 是否张成 维空间
SpanningVectorsQ[m_List?MatrixQ] := (NullSpace[m] == {})
更多尝试
Weisstein, Eric W. “向量空间张成。” 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/VectorSpaceSpan.html