上三角形矩阵的列向量组是 Rn 的一个最大无关组吗?