Apostol《微积分》第2卷第1.13节习题2：实内积公理替换后的结论证明问询

题目回顾 #

假设我们保留实内积的前三条公理（对称性、线性性、齐次性），但将第四条公理替换为新公理$(4')$：$(x, x) = 0$当且仅当$x = O$。证明：要么对所有$x \neq O$都有$(x, x) > 0$，要么对所有$x \neq O$都有$(x, x) < 0$。

[提示：假设存在某个$x \neq O$使得$(x, x) > 0$，且存在某个$y \neq O$使得$(y, y) < 0$。在${x, y}$张成的空间中，找到一个非零元素$z$满足$(z, z) = 0$。]

证明过程 #

嘿，这道题的核心是用反证法结合二次函数的性质来推导，咱们跟着提示一步步来：

1. 反设矛盾情形：假设存在两个非零向量$x$和$y$，使得$(x,x) > 0$且$(y,y) < 0$。

2. 构造待考察向量：考虑由$x$和$y$张成的子空间中的向量$z = tx + y$，其中$t$是任意实数。我们来计算$z$与自身的内积：
   根据实内积的对称性和线性性，展开可得：
   $$
   (z,z) = (tx + y, tx + y) = t^2(x,x) + 2t(x,y) + (y,y)
   $$
   把它看作关于$t$的二次函数，记为$f(t) = At^2 + Bt + C$，其中：

   • $A = (x,x) > 0$，
   • $B = 2(x,y)$，
   • $C = (y,y) < 0$。

3. 分析二次函数的零点：

   • 当$t=0$时，$f(0) = C < 0$；
   • 当$t \to +\infty$时，$At^2$项主导，$f(t) \to +\infty$。
     由于二次函数是连续的，根据介值定理，必然存在某个实数$t_0$，使得$f(t_0) = 0$，也就是$(t_0x + y, t_0x + y) = 0$。

4. 验证$z$非零：
   假设$t_0x + y = O$，那么$y = -t_0x$。此时计算$(y,y)$：
   $$
   (y,y) = (-t_0x, -t_0x) = t_0^2(x,x)
   $$
   但左边$(y,y) < 0$，右边$t_0^2(x,x) > 0$（因为$t_0 \neq 0$，否则$y=O$与假设矛盾），这显然是矛盾的。所以$z = t_0x + y \neq O$，但$(z,z)=0$，这直接违背了新公理$(4')$。

5. 结论：我们的反设不成立，因此不可能同时存在正、负的自内积非零向量。最终结论就是：要么所有非零向量的自内积全为正，要么全为负。

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