探究多项式空间中映射f(P)=P(0)P'(1)的可微性
我来帮你把老师的思路彻底理清楚，顺便明确范数的选择问题～
一、老师推导的合理性：从可微定义出发
首先回忆有限维赋范空间上函数可微的核心定义：
若存在线性映射 $df(P): E \to \mathbb{R}$，使得当 $|H| \to 0$ 时，有
$$\lim_{|H| \to 0} \frac{|f(P+H) - f(P) - df(P)(H)|}{|H|} = 0$$
则称 $f$ 在点 $P$ 处可微，$df(P)$ 就是 $f$ 在 $P$ 处的微分。
老师的推导完全是围绕这个定义展开的：
展开$f(P+H)$：
因为 $(P+H)(0) = P(0) + H(0)$，$(P+H)'(1) = P'(1) + H'(1)$，把这两个乘积展开就得到：
$$f(P+H) = P(0)P'(1) + P(0)H'(1) + H(0)P'(1) + H(0)H'(1)$$
这里第一项 $P(0)P'(1)$ 就是 $f(P)$，剩下的部分拆成了线性项和余项：- 线性项：$P(0)H'(1) + H(0)P'(1)$，这部分对 $H$ 是线性的（你可以验证：对任意实数 $\lambda, \mu$，$df(P)(\lambda H_1 + \mu H_2) = \lambda df(P)(H_1) + \mu df(P)(H_2)$），符合微分的线性要求。
- 余项：$H(0)H'(1)$，这部分是关键——我们需要证明它是 $H$ 的高阶无穷小，也就是当 $|H| \to 0$ 时，$\frac{|H(0)H'(1)|}{|H|} \to 0$。
验证余项是高阶无穷小：
只要能找到合适的范数，让余项和范数的比值趋于0，就满足可微定义。这就涉及到你关心的范数选择问题了。
二、适用的范数：有限维空间范数等价，选方便的就行
$\mathbb{R}_n[X]$ 是有限维线性空间（维度为 $n+1$），而有限维赋范空间上的所有范数都是等价的——意思是不管你选哪种范数，“$H$ 趋于0”的判断是一致的，余项的高阶无穷小性质也不会变。这里给你推荐几种常用且方便计算的范数：
1. 一致范数（最大范数）
定义：$|P|\infty = \max{x \in [0,1]} |P(x)|$
- 对于任意多项式 $H$，$|H(0)| \leq |H|_\infty$（因为0在[0,1]区间内）；
- 次数不超过 $n$ 的多项式，导数在[0,1]上有界：$|H'(1)| \leq n |H|_\infty$（这个结论可以通过多项式导数的估计证明，比如利用柯西积分公式或者直接展开系数计算）；
- 所以余项满足：$|H(0)H'(1)| \leq |H|\infty \cdot n |H|\infty = n |H|\infty^2$，那么 $\frac{|H(0)H'(1)|}{|H|\infty} \leq n |H|\infty$，当 $|H|\infty \to 0$ 时，这个比值显然趋于0。
2. 系数范数
定义：若 $P(x) = a_0 + a_1x + \dots + a_nx^n$，则 $|P|1 = \sum{k=0}^n |a_k|$
- $|H(0)| = |a_0| \leq |H|_1$；
- $|H'(1)| = |a_1 + 2a_2 + \dots + na_n| \leq \sum_{k=1}^n k|a_k| \leq n \sum_{k=0}^n |a_k| = n|H|_1$；
- 同样可得 $|H(0)H'(1)| \leq n|H|_1^2$，$\frac{|H(0)H'(1)|}{|H|_1} \leq n|H|_1 \to 0$ 当 $|H|_1 \to 0$。
3. $L^1$ 范数
定义：$|P|{L^1} = \int_0^1 |P(x)|dx$，同样可以通过积分估计得到 $|H(0)|$ 和 $|H'(1)|$ 都被 $|H|{L^1}$ 的某个常数倍控制，余项依然是高阶无穷小。
总结
老师的思路完全符合可微性的定义：先展开函数增量，分离出线性部分（微分），再验证余项是高阶无穷小。而因为$\mathbb{R}_n[X]$是有限维空间，任意常用范数都适用，选你计算最方便的就行～
内容的提问来源于stack exchange，提问作者John Mayne
