未计入 · 上下矩阵、∞可行性和坍缩阈值的必需框架
属于正常必需交付、辅助步骤、直接推论、等价改写或无关内容，不计为额外独立成果。
陈述：全局联合求和型上下矩阵及坍缩盒，零相容时的扩展上矩阵存在性、零/∞与阈值端点和联合/逐对表示的区别。
原任务之外的内容：正是原M1-M6的三个要求方向与无限值/非分离/可行性边界；响应函数表述和典范通道端点作为它们的等价表达/必要核验不另计。
原数学核验：沿用原主审核对独立有效框架的判断，不把例3.4无极小元错称或标量无条件倒数说法纳入本候选。
实质步骤：有数学构造，但属于本题被要求的严格化。
原答摘录
SHA256 d228e17c8214ca20c189ddbd5e9ed368b68e1fcee0960abae6e3d25919513d10 · bytes 4640–7946
**定义 1.1**
- **(U) 上 Lipschitz 矩阵。** $L\in\mathbb M$ 满足 $D(\phi x,\phi y)\preceq L\,D(x,y)$ 对一切 $x,y\in\mathcal X$ 成立。即对每个 $j$，$d_j(\phi x,\phi y)\le\sum_iL_{ji}d_i(x,y)$。全体记 $\mathcal L^+(\phi)$。元素全有限者称**有限型**，允许 $\infty$ 者称**扩展型**。
- **(D) 下 Lipschitz 矩阵。** $\ell\in\mathbb M$ 满足 $\ell\,D(x,y)\preceq D(\phi x,\phi y)$ 对一切 $x,y$ 成立。全体记 $\mathcal L^-(\phi)$。$(\ell,L)\in\mathcal L^-(\phi)\times\mathcal L^+(\phi)$ 称**双 Lipschitz 对**。
- **(C) 坍缩（不可区分）阈值矩阵。** $\Theta\in\mathbb M$ 满足：对每个 $j$ 和一切 $x,y$，若 $d_i(x,y)\le\Theta_{ji}$ 对所有 $i$ 成立，则 $d_j(\phi x,\phi y)=0$。全体记 $\mathcal C(\phi)$。
**读法**
- $L_{ji}$ 是第 $i$ 输入分量到第 $j$ 输出分量的增益上限。对角元是同分量增益，非对角元是分量间“串扰”。
- $L_{ji}=0$：$i$ 对 $j$ 无传递。由 $0\cdot\infty=0$，即使 $d_i=\infty$ 也不起作用。
- $L_{ji}=\infty$：无有限控制，但只要 $d_i>0$ 就不再约束。
- $\ell_{ji}$ 是增益下限。$\ell_{ji}=\infty$ 表示 $d_i(x,y)>0\Rightarrow d_j(\phi x,\phi y)=\infty$。
- $\Theta_{ji}$：当所有输入分量同时落入盒子 $\prod_i[0,\Theta_{ji}]$ 时，输出的第 $j$ 分量必不可区分。$\Theta_{ji}=\infty$ 表示对 $i$ 分量不设限（与 $L_{ji}=0$ 对应）。$\Theta_{ji}=0$ 表示只要求 $i$ 分量不可区分（与 $L_{ji}>0$ 对应）。
**命题 1.2（响应函数刻画，三者“对等”的精确含义）** 对 $v\in\mathbb S^I$ 定义
$$\rho_j(v)=\sup\{d_j(\phi x,\phi y):D(x,y)\preceq v\},\qquad \varrho_j(v)=\inf\{d_j(\phi x,\phi y):D(x,y)\succeq v\}\quad(\inf\emptyset=\infty).$$
则：
1. $L\in\mathcal L^+(\phi)\iff\rho_j(v)\le(Lv)_j$ 对一切 $j,v$ 成立。
2. $\ell\in\mathcal L^-(\phi)\iff(\ell v)_j\le\varrho_j(v)$ 对一切 $j,v$ 成立。
3. $\Theta\in\mathcal C(\phi)\iff\rho_j(\Theta_{j\cdot})=0$ 对一切 $j$ 成立。
等价地：$L$ 是线性上包络，$\ell$ 是线性下包络，$\Theta$ 是**阶梯上包络**。后者是指 $d_j(\phi x,\phi y)\le\chi_{\Theta_j}(D(x,y))$，其中 $\chi_t(v)=0\ (v\preceq t)$，$\chi_t(v)=\infty$（否则）。Lip 与坍缩因此是对同一响应函数的两种“读数”。
*证* (1) “$\Rightarrow$”：若 $D(x,y)\preceq v$，则 $d_j'\le(LD)_j\le(Lv)_j$（引理 0.3(b)），取上确界。“$\Leftarrow$”：取 $v=D(x,y)$。(2) 同理，取下确界。(3) 由定义直接得到。∎
**推论 1.3**
- (i) $\mathcal L^+(\phi)$ 向上封闭，$\mathcal L^-(\phi)$ 与 $\mathcal C(\phi)$ 向下封闭。
- (ii) 三者都**按行解耦**：每一行（每个输出分量）独立。
- (iii) 一般**没有最小的上矩阵**，上矩阵不唯一。例：$\mathcal X=\mathbb R\cup\{\bot\}$，$d_1=|x-y|$，$d_2=2|x-y|$，$\phi=\mathrm{id}$。第 1 行的容许集是 $\{r:r_1+2r_2\ge1\}$，其中 $(1,0)$ 与 $(0,\tfrac12)$ 都是极小元且不可比。故“Lipschitz 矩阵”是容许性质，不是 $\phi$ 的唯一取值。典范数值见命题 2.6。
- (iv) $|I|=1$ 时，三者化为经典的 $d(\phi x,\phi y)\le L\,d(x,y)$、$\ell\,d(x,y)\le d(\phi x,\phi y)$ 以及“$d(x,y)\le\Theta\Rightarrow\phi x\sim\phi y$”。
---
原答摘录
SHA256 d228e17c8214ca20c189ddbd5e9ed368b68e1fcee0960abae6e3d25919513d10 · bytes 10178–11421
**定理 2.2（存在性：∞ 能做到什么、做不到什么）** 对 $\phi\in\mathcal X_{\rm op}$，下列等价：
- (a) $\mathcal L^+(\phi)\ne\emptyset$。
- (b) $\Omega\in\mathcal L^+(\phi)$。
- (c) $\phi$ 零相容。
- (d) $O\in\mathcal C(\phi)$。
- (e) $\mathcal C(\phi)\ne\emptyset$。
另外 $O\in\mathcal L^-(\phi)$ 恒成立。
*证*
- (a)⇒(c)：若 $D(x,y)=\mathbf 0$，则 $D(\phi x,\phi y)\preceq L\mathbf 0=\mathbf 0$。
- (c)⇒(b)：若 $D(x,y)=\mathbf 0$，则 $D(\phi x,\phi y)=\mathbf 0\preceq\Omega\mathbf 0$。若 $D(x,y)\ne\mathbf 0$，则某个 $d_i>0$，$(\Omega D)_j\ge\infty\cdot d_i=\infty$。
- (b)⇒(a) 平凡。
- (c)⇔(d)：$O\in\mathcal C(\phi)$ 恰说 $D(x,y)=\mathbf 0\Rightarrow D(\phi x,\phi y)=\mathbf 0$。
- (d)⇒(e) 平凡。
- (e)⇒(c)：若 $D(x,y)=\mathbf 0$，则 $D\preceq\Theta_{j\cdot}$ 对每个 $j$ 成立，故 $D(\phi x,\phi y)=\mathbf 0$。
- $O\in\mathcal L^-$ 显然。∎
**推论** 族分离时，每个算子都有扩展 Lipschitz 矩阵 $\Omega$。这正是引入 $\infty$ 的“统一表达”。**不分离时 $\infty$ 兜不住底**：见例 3.2。因为 $0\cdot\infty=0$，“零距离变正距离”（比值 $a/0=\infty$）无法用乘积型不等式表达。
核实计入 · 证书/坍缩的混合复合演算与最优数值端点障碍
原任务未要求；原文已交付正确、非简单重复的独立数学成果。同组论证与推论合并计数，价值另按研究情境判断。
陈述：在给定0·∞=0算术下，容许联合上下矩阵按正确顺序相乘给复合证书；坍缩证书可按后续上矩阵的正支撑取逐列最小阈值传递，或由Lτ≤Θ′拉回后续坍缩盒。复合须在实际容许证书上操作：五点扩展度量例给出λ⁺(ψφ)=∞、λ⁺(ψ)=0不取到、λ⁺(φ)=∞，故最优数值直接乘积错误。
原任务之外的内容：共同边界不要求完整复合/迭代理论。单独的两条普通矩阵链式不等式只是直接推导，本组不靠它们计数；额外交付的是三类证书之间的可复用混合传递接口，及明确解释为何其数值最优读出不能替代证书的构造性障碍。上下复合、混合坍缩、单通道最优数值反例共享同一组合接口，合为一组。
原数学核验：定理2.1(2)(3)只需非负扩展矩阵乘法的单调/结合，不使用引理0.1中错误的a=∞可逆伸缩句。(4)只对后续第j行正支撑的中间分量同时要求零距，其他项因0·∞=0消失；逐列取min恰保证这些行盒条件同时满足。(5)先用LD≤Lτ≤Θ′得到中间输入落入后续坍缩盒；有限L的行和/半径特例无端点除法错误。例3.6中唯一有限非零源距离为d(a,b)=1，φ把该对送到u,v无穷远；ψ只坍缩a,b而保u,v，故φ及ψφ唯一可行上系数∞，ψ上系数是(0,∞]、下确界0不取到，严格得到所写失败。它不依赖例3.4的错误极小性标签，也不依赖注4.2的无条件标量反演；删除两处错误后本组对象、定理、证明、例子完全保留。
实质步骤：连接“上界的支撑信息”和“坍缩盒”以形成双向混合复合规则，并用一套闭合的五点空间/算子对区分可乘证书与不可直接相乘的未取得最优值；不是简单为有限Lip不等式换矩阵名字。
原答摘录
SHA256 d228e17c8214ca20c189ddbd5e9ed368b68e1fcee0960abae6e3d25919513d10 · bytes 7966–10178
**定理 2.1（复合与恒等）** 设 $\phi,\psi\in\mathcal X_{\rm op}$。则 $\psi\circ\phi\in\mathcal X_{\rm op}$，且 $\mathrm{dom}(\psi\circ\phi)=\phi^{-1}(\mathrm{dom}\,\psi)$。
1. $E\in\mathcal L^+(\phi)\cap\mathcal L^-(\phi)\iff D(\phi x,\phi y)=D(x,y)$ 恒成立（逐分量等距）。
2. 若 $L\in\mathcal L^+(\phi)$，$L'\in\mathcal L^+(\psi)$，则 $L'L\in\mathcal L^+(\psi\circ\phi)$。特别地，$L^m\in\mathcal L^+(\phi^m)$。
3. 若 $\ell\in\mathcal L^-(\phi)$，$\ell'\in\mathcal L^-(\psi)$，则 $\ell'\ell\in\mathcal L^-(\psi\circ\phi)$。
4. 若 $\Theta\in\mathcal C(\phi)$，$L'\in\mathcal L^+(\psi)$，令 $\Theta''_{ji}:=\min\{\Theta_{ki}:L'_{jk}>0\}$（$\min\emptyset=\infty$），则 $\Theta''\in\mathcal C(\psi\circ\phi)$。
5. 若 $L\in\mathcal L^+(\phi)$，$\Theta'\in\mathcal C(\psi)$，且 $\tau\in\mathbb S^I$ 满足 $L\tau\preceq\Theta'_{j\cdot}$，则 $D(x,y)\preceq\tau\Rightarrow d_j(\psi\phi x,\psi\phi y)=0$。特别地，当 $L$ 有限时，令 $s_k=\sum_iL_{ki}$，$r_j=\min\{\Theta'_{jk}/s_k:s_k>0\}$（$\min\emptyset=\infty$），则 $\max_id_i(x,y)\le r_j\Rightarrow d_j(\psi\phi x,\psi\phi y)=0$。
*证*
- (1) 直接由定义。
- (2) 由单调性和结合律：$D(\psi\phi x,\psi\phi y)\preceq L'D(\phi x,\phi y)\preceq L'(LD(x,y))=(L'L)D(x,y)$。
- (3) $(\ell'\ell)D=\ell'(\ell D)\preceq\ell'D(\phi x,\phi y)\preceq D(\psi\phi x,\psi\phi y)$。
- (4) 设 $D(x,y)\preceq\Theta''_{j\cdot}$。对每个满足 $L'_{jk}>0$ 的 $k$，有 $D(x,y)\preceq\Theta_{k\cdot}$，故 $d_k(\phi x,\phi y)=0$。于是 $d_j(\psi\phi x,\psi\phi y)\le\sum_kL'_{jk}d_k(\phi x,\phi y)=0$。其中 $L'_{jk}=0$ 的项即使 $d_k(\phi x,\phi y)=\infty$ 也为 $0$，这里用到了 $0\cdot\infty=0$。
- (5) 若 $D(x,y)\preceq\tau$，则 $D(\phi x,\phi y)\preceq LD(x,y)\preceq L\tau\preceq\Theta'_{j\cdot}$，由 $\Theta'$ 的定义得 $d_j(\psi\phi x,\psi\phi y)=0$。再取 $\tau=(r_j,\dots,r_j)$：若 $s_k=0$，则 $(L\tau)_k=0$；若 $s_k>0$，则 $(L\tau)_k=s_kr_j\le\Theta'_{jk}$。∎
**推论** 具有扩展上矩阵（或有限上矩阵、或下矩阵）的算子在复合下封闭，构成 $(\mathcal X_{\rm op},\circ)$ 的子幺半群，矩阵乘法与复合对应。
原答摘录
SHA256 d228e17c8214ca20c189ddbd5e9ed368b68e1fcee0960abae6e3d25919513d10 · bytes 17725–18201
5. **复合**：$\mathcal A^\pm_{jk}(\psi)\cdot\mathcal A^\pm_{ki}(\phi)\subseteq\mathcal A^\pm_{ji}(\psi\circ\phi)$。因此 $\lambda^-_{ji}(\psi\phi)\ge\max_k\lambda^-_{jk}(\psi)\lambda^-_{ki}(\phi)$ 总成立。上式在两个最优值都取到时给出 $\lambda^+_{ji}(\psi\phi)\le\min_k\lambda^+_{jk}(\psi)\lambda^+_{ki}(\phi)$。**一般的数值乘积律在 $0\cdot\infty$ 处失效**（例 3.6），所以本文的复合律都陈述在可容许矩阵（证书）上。原答摘录
SHA256 d228e17c8214ca20c189ddbd5e9ed368b68e1fcee0960abae6e3d25919513d10 · bytes 22174–22660
**例 3.6（数值乘积律失效）** 取 $\mathcal X=\{a,b,u,v,\bot\}$，单通道，$d(a,b)=1$，其余不同点对距离 $\infty$。令 $\phi:a\mapsto u,\ b\mapsto v$，$\psi:a,b\mapsto a$，其余点不动。则 $\mathcal A^+(\phi)=\{\infty\}$，$\mathcal A^+(\psi)=(0,\infty]$，$\mathcal A^+(\psi\phi)=\{\infty\}$。于是 $\lambda^+(\psi\phi)=\infty>0=\lambda^+(\psi)\lambda^+(\phi)$。但在容许常数层面，$c'\cdot\infty=\infty$ 对 $c'>0$ 成立，没有矛盾。
---
未计入 · 无条件扩展标量反演
现有核验尚未确认闭合且正确的数学成果，不计入已核实额外成果组。
陈述：对S=[0,∞]中的任意a>0宣称乘a为保序双射，并声称标量下界可无条件以M=1/ell转为逆向上控制。
原任务之外的内容：直接下证书和有限正标量条件下的反演不授权0/∞端点的一般可逆性。
原数学核验：a=∞把1、2同送∞，不是单射；两非吸收点距离∞的恒等算子可有ell=∞直接下证书，但M=0令∞≤0·∞=0失败。原主审核将两句按同根material10处理，本轮不改。矩阵形式的有限例子可独立正确，但没有另一项闭合的非平凡额外成果需要据此另计。
实质步骤：普遍断言不成立，不能作为新理论完成。
原答摘录
SHA256 d228e17c8214ca20c189ddbd5e9ed368b68e1fcee0960abae6e3d25919513d10 · bytes 1703–2278
**引理 0.1** $(\mathbb S,+,\cdot,0,1)$ 是交换半环，$+$ 与 $\cdot$ 关于 $\le$ 单调。对 $a>0$，$b\mapsto ab$ 是 $\mathbb S$ 上保序双射且固定 $0,\infty$。
*证* 若某个因子为 $0$，结合律与分配律两边都是 $0$。否则诸因子在 $(0,\infty]$ 内，乘法是通常乘法的延拓，故结合。当 $a>0$ 时，$b\mapsto ab$ 在 $[0,\infty)$ 上是伸缩，且 $\infty\mapsto\infty$，所以它对 $+$ 可加，即 $a(b+c)=ab+ac$（$a=0$ 平凡）。单调性：$ab>0$ 时 $a,b>0$，增大因子不会使积变小；$ab=0$ 平凡。∎
原答摘录
SHA256 d228e17c8214ca20c189ddbd5e9ed368b68e1fcee0960abae6e3d25919513d10 · bytes 24026–24372
- **下界的逆向形式。** 矩阵情形下，下界还有另一种读法：$D(x,y)\preceq M\,D(\phi x,\phi y)$，$M$ 的行指标是输入分量。它的复合律是 $M_{\psi\phi}=M_\phi M_\psi$。标量情形下 $M=1/\ell$。矩阵情形下两种形式不等价：例 3.1 中直接下矩阵的第 1 行为 $0$，而逆向矩阵 $M$ 存在。未计入 · 例3.4的无极小元断言
属于正常必需交付、辅助步骤、直接推论、等价改写或无关内容，不计为额外独立成果。
陈述：可行行集F={r1≥1}∪{r2>0}被声称没有极小元。
原任务之外的内容：最优性边界本属M4；且原句把没有最小元写成没有极小元，不能计正确额外成果。
原数学核验：(1,0)是F的极小元：可行r≤(1,0)必须r2=0且r1≥1，故相等。原(0,ε)论证有效地排除最小元，不能排除极小元。原主审核local5保留，不新增扣罚。
实质步骤：错误命题没有已核实的新构造结论。
原答摘录
SHA256 d228e17c8214ca20c189ddbd5e9ed368b68e1fcee0960abae6e3d25919513d10 · bytes 21179–21745
**例 3.4（$\infty$ 元素自然出现，以及无极小元）** 取 $\mathcal X=\mathbb R\cup\{\bot\}$，$d_1=|x-y|$，$d_2(x,y)=\infty\cdot[x\ne y]$（离散通道，$d_2(x,\bot)=\infty$ 满足 (iv)）。$\phi=\mathrm{id}$。
- 下矩阵：最大元是 $\begin{pmatrix}1&0\\\infty&\infty\end{pmatrix}$。离散通道把任何可分辨性放大成无穷可分辨性。
- 上矩阵：第 1 行容许集是 $\{r_1\ge1\}\cup\{r_2>0\}$。$(0,\varepsilon)$ 对任意 $\varepsilon>0$ 可行，$(0,0)$ 不可行，所以**无极小元**。这正是注 0.2 的现象。
未计入 · 标量化和求和/取最大型比较
属于正常必需交付、辅助步骤、直接推论、等价改写或无关内容，不计为额外独立成果。
陈述：用有限矩阵行/列和获得标量max/sum距离界，并用有限项sum与max之间的n因子比较两种联合证书。
原任务之外的内容：属于已定义矩阵不等式逐行求和/取最大和非负有限和估计的直接推论，不是另一独立额外成果组。
原数学核验：原命题2.5逐行估计、求和及有限项sum≤n max足以验证；n>0有限，不涉及错误的0/∞反演。
实质步骤：仅有限维范数比较与直接放缩，没有新增独立结构或证明桥。
原答摘录
SHA256 d228e17c8214ca20c189ddbd5e9ed368b68e1fcee0960abae6e3d25919513d10 · bytes 14888–15917
**命题 2.5（标量化：与单一 Lip 常数的关系）** 记 $d_\vee=\max_id_i$，$d_\Sigma=\sum_id_i$。它们仍是满足 (i)–(iv) 的扩展伪度量，故 $(\mathcal X,\{d_\vee\},\bot)$ 仍是规范空间。
1. 若 $L\in\mathcal L^+(\phi)$，则 $d_\vee(\phi x,\phi y)\le\big(\max_j\sum_iL_{ji}\big)d_\vee(x,y)$，且 $d_\Sigma(\phi x,\phi y)\le\big(\max_i\sum_jL_{ji}\big)d_\Sigma(x,y)$。
2. 若 $d_\vee(\phi x,\phi y)\le c\,d_\vee(x,y)$，则 $c\mathbf J\in\mathcal L^+(\phi)$（$\mathbf J$ 为全 $1$ 阵）。
3. 若 $\ell\in\mathcal L^-(\phi)$，则 $d_\Sigma(\phi x,\phi y)\ge\big(\min_i\sum_j\ell_{ji}\big)d_\Sigma(x,y)$。
4. $\mathrm{diag}(c_j)\in\mathcal L^+(\phi)\iff d_j(\phi x,\phi y)\le c_jd_j(x,y)$（分量式 Lipschitz）。非对角元描述分量间串扰。
*证* (1) $d_j'\le\sum_iL_{ji}d_i\le(\sum_iL_{ji})d_\vee$，再对 $j$ 取最大。第二式对 $j$ 求和即可。(2) $d_j'\le d_\vee'\le c\,d_\vee\le c\sum_id_i$。(3) $\sum_jd_j'\ge\sum_i(\sum_j\ell_{ji})d_i$。(4) 直接验证。∎
