如何构造n×k(k≤n)矩阵使任意k行线性无关？是否有通用公式？

让我一步步解答你的这两个问题，都是关于构造满足特定线性无关条件的矩阵的：

1. 通用矩阵的构造方法 #

要造一个n×k（k≤n）的矩阵，保证任意挑k行都线性无关，有几种靠谱的通用方式：

• 范德蒙德矩阵构造（确定性通用）
  选n个互不相同的数（比如实数1,2,...,n），让矩阵的第i行是$[1, a_i, a_i^2, ..., a_i^{k-1}]$。这里任意k行拿出来构成的子矩阵是k阶范德蒙德矩阵，它的行列式是$\prod_{1≤i<j≤k}(a_j - a_i)$——因为所有a都不一样，行列式肯定不为0，所以这k行必然线性无关。
  举个具体例子：n=4，k=3时，取a=[1,2,3,4]，矩阵就是：

  [1 1 1]
  [1 2 4]
  [1 3 9]
  [1 4 16]
  

  随便抽3行，比如第2、3、4行，行列式是$(3-2)(4-2)(4-3)=2≠0$，完全满足条件。

• 单位矩阵扩展（适合小n的场景）
  先把k阶单位矩阵的k行放进去，剩下的n-k行可以取单位矩阵行的不同非零线性组合，只要保证新行和任意k-1个已有行都线性无关就行。比如你给的n=3,k=2的例子，前两行是单位行，第三行是前两行的和，这没问题。但如果n=4,k=2，再加一行[1,2]而不是重复[1,1]，就能保证所有两行组合都线性无关——重复的话第三、四行就相关了，这是要避免的。

• 随机矩阵（概率意义下通用）
  在实数/复数域里，随机生成n×k矩阵，每个元素用连续分布（比如正态分布）生成，那么这个矩阵满足条件的概率是1。因为k行线性相关等价于对应的k阶子行列式为0，这种情况在连续空间里是测度为0的事件，几乎不可能发生。不过这是概率方法，不是确定性构造。

2. 示例构造的普遍性分析 #

你给出的n=3,k=2的构造（单位矩阵+行和）不具备完全普遍性，原因很直接：
当n>k+1时，如果继续重复“单位行求和”的模式，会出现线性相关的行。比如n=4,k=2时，要是第四行也取[1,1]，那第三、四行就完全一样，线性相关，违反要求。

不过如果调整后续行的构造逻辑，比如给每个新增行用不同的线性组合（比如[1,2]、[2,1]这类），那可以扩展，但这已经不是固定的“行和”模式了。

真正通用的公式化构造 #

最稳妥的通用公式还是基于范德蒙德矩阵：
给定n≥k，取n个互不相同的标量$a_1,a_2,...,a_n$（来自任意域，比如实数域、有限域），矩阵$A_{n×k}$的第i行定义为：
$$A_i = \begin{bmatrix} 1 & a_i & a_i^2 & \dots & a_i^{k-1} \end{bmatrix}$$
这个构造能保证任意k行的子矩阵行列式非零，所以线性无关，而且这些行能张成k维空间——因为任意k行都线性无关，矩阵的秩就是k，刚好覆盖整个k维空间。

内容的提问来源于stack exchange，提问作者Kareem Metwaly