Fat-shattering 维

伪维公理库伪维pseudo-dimension · Pollard dimension通过逐点阈值打散，把 VC 维推广到实值函数类。只问能否跨过每个点自己的阈值，跨过 ${10}^{-12}$ 与跨过 $10$ 都算一次。fat-shattering 维把分辨率放回问题：观察或预测精度若只有 $\gamma$，落在阈值附近的细小摆动不应被当作可稳定区分的模式。随着 $\gamma$ 增大，条件更严格，因此 ${\mathrm{fat}}_{\gamma }(F)$ 单调不增。

它与分类器的几何间隔相似但不相同。这里的 $\gamma$ 位于函数输出轴上，且阈值 $r_i$ 可逐点变化；只有给定输入范数、参数范数和 score 归一化后，才能把它解释为几何距离。

范数受限线性类 ​

令 $\mathcal{X}$ 位于 Hilbert 空间中，$\Vert x\Vert \le R$，

若 $m$ 个点在尺度 $\gamma$ 被打散，考虑所有符号向量并利用线性对偶与随机符号平均，可以推出

（还应与空间维数取最小值）。这说明即使环境维数巨大，只要参数半径、输入半径和要求的分辨率固定，有效复杂度仍有限。反过来，在足够高维空间取近似正交的输入，并让 $w$ 沿符号和方向变化，可得到同量级的下界，故平方依赖不是单纯证明伪影。

边界与相邻概念 ​

若只要求 $f(x_i)\ge r_i$ 或 $<r_i$ 而没有两侧间隔，就回到伪维式打散。不能直接把 $\gamma =0$ 代入定义并宣布等于伪维：弱/严格不等号、函数值恰落阈值及极限交换都会造成差异；稳妥关系是把伪维看作无尺度阈值能力，并研究 $\gamma \downarrow 0$ 时 fat 维的行为。

输出范围和范数约束至关重要。所有实值函数组成的类在任何尺度都能对任意有限点集指定巨大正负值，fat 维无穷。有限 fat 维常进入实值学习的覆盖数与 margin 泛化界，但本定义本身既不是风险界，也不保证计算上能找到相应预测器。

在固定尺度上，fat-shattering 维可控制实值函数类的覆盖数与统一偏差；当尺度随 margin 选择时，它又连接到间隔泛化界。相比伪维，它保留了“需要分辨多细”的信息，因此适合噪声或有限精度下的学习分析。

范数受限线性类的 $(BR/\gamma {)}^2$ 量级说明维度、函数幅度与分辨率必须共同报告。若 score 可任意缩放而分类器不变，应先固定归一化，否则 fat 维中的 $\gamma$ 没有可比较语义。