证明满足||ρ||=ρ(1)的C(X)上埃尔米特泛函为正泛函（无需使用约当分解定理）

嘿，我来帮你理清这个问题的思路！你之前尝试用乘法性的方向确实走偏了——C(X)上的正泛函只是线性的，不需要是乘法的（比如区间上的积分泛函就是正泛函，但显然不满足乘法性），所以那个假设不成立。咱们换个经典的技巧，利用紧Hausdorff空间上连续函数的性质和泛函的范数条件来证明，完全不用约当分解定理。

先明确已知条件和定义：

• X是紧Hausdorff空间，C(X)是X上复值连续函数空间，装备上sup范数$||f|| = \sup_{x\in X}|f(x)|$
• $\rho$是C(X)上的埃尔米特泛函：对任意$f\in C(X)$，$\rho(\overline{f}) = \overline{\rho(f)}$（这意味着$\rho$作用在实值函数上的结果是实数）
• 范数条件：$||\rho|| = \rho(1)$，其中$1$是X上的常值函数1。首先注意$\rho(1)$是实数（因为1是实值），且$\rho(1)=||\rho||\geq0$（范数非负）。

现在我们要证明：对任意$f\in C(X)$且$f\geq0$（即对所有$x\in X$，$f(x)\geq0$），$\rho(f)\geq0$。

具体步骤： #

1. 处理非零非负函数：如果$f=0$，显然$\rho(f)=0\geq0$，成立。假设$f\neq0$，令$M=||f||=\sup_{x\in X}f(x)>0$（因为X紧，连续函数能取到最大值，所以$M>0$）。
2. 构造辅助函数：定义$g = 1 - \frac{f}{M}$。对任意$x\in X$，$f(x)\leq M$，所以$\frac{f(x)}{M}\leq1$，因此$g(x)=1-\frac{f(x)}{M}\geq0$，且$g$的最大值是1（当$f(x)=0$时），最小值是0（当$f(x)=M$时），所以$||g||=1$。
3. 利用范数条件推导：
   首先计算$\rho(g)$：
   $$\rho(g) = \rho(1) - \frac{1}{M}\rho(f)$$
   因为$||g||=1$，根据泛函范数的定义，$|\rho(g)| \leq ||\rho||$，而题目给出$||\rho||=\rho(1)$，所以：
   $$\left|\rho(1) - \frac{\rho(f)}{M}\right| \leq \rho(1)$$
   由于$f$是实值非负函数，$\rho$是埃尔米特的，所以$\rho(f)$是实数。我们可以去掉绝对值符号，得到两个不等式：
   • 右边的不等式：$\rho(1) - \frac{\rho(f)}{M} \leq \rho(1)$，两边减去$\rho(1)$得：$-\frac{\rho(f)}{M} \leq 0$，即$\rho(f)\geq0$。
   • 左边的不等式是额外的约束，但我们只需要这第一个不等式就已经得到了$\rho(f)\geq0$的结论。

这样就完成了证明：对所有非负的$f\in C(X)$，$\rho(f)\geq0$，即$\rho$是正线性泛函。

这个思路完全避开了约当分解定理，只用到了埃尔米特泛函的性质、范数的定义，以及紧空间上连续函数的sup范数性质，正好符合题目的要求。

备注：内容来源于stack exchange，提问作者Ook