Dual norm as a worst-case linear error bound ($|a^T\delta x|\le \Vert a{\Vert }_{\ast }\epsilon$)

Suppose a perturbation $\delta x$ satisfies $\Vert \delta x\Vert \le \epsilon$, with $\epsilon \ge 0$. Absolute homogeneity of a norm and the dual norm definition giveFor nonzero $\delta x$, divide it by its norm to obtain an input in the unit ball; for zero perturbation the inequality is immediate. This is an exact error bound for a linear functional, for every perturbation in the stated input set.

For $p(x)=2x_1-x_2$ and a budget $\epsilon =0.1$, the sharp output-error bounds are $0.2$ for $\Vert \delta x{\Vert }_1\le 0.1$, $\sqrt{5}/10\simeq 0.224$ for $\Vert \delta x{\Vert }_2\le 0.1$, and $0.3$ for $\Vert \delta x{\Vert }_{\infty }\le 0.1$. Scale the maximizing vectors from the preceding example by $0.1$ to attain the positive endpoints; their negatives attain the negative endpoints. The L1 norm budget constrains a total absolute error; the maximum norm budget permits each coordinate to have that error separately. These budgets define nested sets and carry different information.

The coordinates must use the stated scale and units. Rescaling one coordinate changes both its coefficient in $a$ and the meaning of its input budget. For a nonlinear differentiable function with scalar values, its Fréchet derivative at the base point is a linear functional governing the first-order response. An exact finite-perturbation error bound additionally needs control of the Taylor remainder or of the Fréchet derivative along the path.