疑问：次数为2的多项式是否为F(-∞,+∞)的子空间？相关困惑求解

嘿，我来帮你理清这个混淆点——你这里的核心问题是**混淆了“次数恰好为2的多项式”和“次数不超过2的多项式（通常记作P₂）”**这两个完全不同的集合！

为什么“次数恰好为2的多项式”不是子空间？ #

子空间必须满足三个核心条件：非空、对加法封闭、对数乘封闭。其中加法封闭是这里的关键漏洞——你提到的反例有个小笔误（U和V是一次多项式，不是二次），正确的反例应该是取两个二次多项式，比如：

• U = 2 - x²（次数为2）
• V = 2 + x²（次数为2）

它们的和 U + V = 4，这是一个次数为0的常数多项式，不属于“次数恰好为2的多项式”集合，直接违反了加法封闭性。另外，数乘也有问题：比如拿0乘任何二次多项式，结果是零多项式（通常规定次数为-∞），也不在这个集合里。所以这个集合肯定不是F(-∞,+∞)的子空间。

为什么P₂是子空间，P₀又是P₂的子空间？ #

你说的P₂，是所有次数不超过2的多项式集合——它包含二次、一次、零次（常数）多项式，还有零多项式。这个集合完全满足子空间的三个条件：

• 加法封闭：两个次数≤2的多项式相加，结果的次数最多还是2，不会超出这个集合；
• 数乘封闭：用实数乘任何次数≤2的多项式，次数不会升高，也不会跑出集合；
• 非空：零多项式就在里面。

而P₀（所有常数多项式，次数≤0）确实是P₂的子空间，因为常数加常数还是常数，常数乘实数还是常数，同样满足子空间的三个条件。但这和“次数恰好为2的多项式”是否是子空间没有关联——P₀是P₂的子集，但“次数恰好为2的多项式”既不是P₂的子空间，也不是F(-∞,+∞)的子空间，因为它本身不满足封闭性。

总结一下 #

本质区别在于：

• “次数恰好为n”的多项式集合：不包含低次多项式和零多项式，运算后可能得到低次结果，无法满足封闭性；
• “次数不超过n”的多项式集合：包含所有更低次的多项式和零多项式，运算后结果始终在集合内，符合子空间的要求。

内容的提问来源于stack exchange，提问作者rert588