扰动系数为±1/0的唯一解线性方程组解的相关技术问询

先给个明确结论：存在这样的δ>0，而且这个δ只由ε和n决定，和你具体选的那组线性组合无关。

咱们一步步拆解来看：

1. 先把问题转成矩阵形式
   把题目里的n个线性方程组写成标准的矩阵表达式：
   A x = b
   这里：

• A是n×n的矩阵，每个元素都是±1或者0，而且因为题目说n个线性组合独立，所以A肯定是可逆的；
• x就是咱们要求的解向量(a₁, a₂, ..., aₙ)^T；
• b是目标值组成的向量，每个分量b_i都满足|b_i| ≤ δ。

2. 用范数估计解的大小
   因为A可逆，解可以直接写成x = A^{-1} b。咱们用无穷范数（就是向量里绝对值最大的那个分量，矩阵的话是每行元素绝对值之和的最大值）来估算解的范围：
   ||x||_∞ ≤ ||A^{-1}||_∞ · ||b||_∞
   既然||b||_∞ ≤ δ，那只要||A^{-1}||_∞ · δ ≤ ε，就能保证解的每个分量绝对值都不超过ε（也就是解落在[-ε, ε]^n里）。

3. 确定δ的具体取值
   对于固定的n，所有元素是±1或0的n阶可逆矩阵数量是有限的，所以它们的逆矩阵的无穷范数肯定有个只跟n有关的最大值，咱们记这个最大值为M(n)。

那直接取δ = ε / M(n)就行——不管你选哪种符合条件的线性组合矩阵A，只要目标值都在[-δ, δ]里，解的每个分量绝对值就都不会超过ε，完全满足要求。

要是题目里“该唯一解”后面是其他要求（比如解的某个线性组合有界），思路也是一样的：利用逆矩阵范数的有界性，结合目标值的小范围，就能推导出解的相应有界性。

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