一个简单矩阵,对应于两个相同的线性方程:该矩阵的行列式为零:此时,LinearSolve 无法求出方程
的解:
m 的零空间具有单一基向量:用m 乘零空间的基向量得零向量:m 中只有1 个线性独立的行:NullSpace 和MatrixRank 必须决定矩阵元素的特定组合是否为零. 对于近似数值矩阵,能够用Tolerance 选项来指定在和零多近时才可以被认为是足够近的. 对于精确的符号矩阵,有时需要通过类似于ZeroTest->(FullSimplify[#]==0&) 的指定来强制进行更多的运算以测试符号表达式是否为零.这是一个其行列式为零的简单符号矩阵:m 的零空间的基包含两个向量:m 乘以基向量的线性组合得零:LinearSolve 和NullSpace 的一个重要特点是他们对方阵和长方阵都有效.