Strategy: Attack an isomorphis…

# 对“R³ 与 P₂ 同构”论断的证伪尝试与检验

一、论断澄清

R³ 与 P₂（次数不超过 2 的多项式空间）确实同构，因此严格意义上的证伪会失败。以下按证伪流程逐一检验，观察论断是否被推翻。

二、构造显式映射 Φ: R³ → P₂

对任意 (a, b, c) ∈ R³，定义：

• Φ(a, b, c) = a + bx + cx²

三、逐条检验

1. 线性性检验

需验证 Φ(αu + βv) = αΦ(u) + βΦ(v)：

• 取 u = (a₁, b₁, c₁)，v = (a₂, b₂, c₂)，标量 α, β
• Φ(αu + βv) = Φ(αa₁+βa₂, αb₁+βb₂, αc₁+βc₂) = (αa₁+βa₂) + (αb₁+βb₂)x + (αc₁+βc₂)x²
• 拆开整理后恰等于 αΦ(u) + βΦ(v) ✔

结论：Φ 保持加法与数乘，是线性映射。

2. 单射性检验

• 设 Φ(a, b, c) = 0，即 a + bx + cx² = 0 多项式（恒为零）
• 由多项式相等定义（系数全为零）：a = b = c = 0
• 故 Ker Φ = {0}，Φ 单射 ✔

3. 满射性检验

• 对任意 p(x) ∈ P₂，可写为 p₀ + p₁x + p₂x²
• 取 (p₀, p₁, p₂) ∈ R³，显然 Φ(p₀, p₁, p₂) = p(x)
• 故 Φ 满射 ✔

四、逆映射（显式反方向）

• Ψ: P₂ → R³，Ψ(a + bx + cx²) = (a, b, c)
• 可验证 Ψ 为 Φ 的线性逆：Φ∘Ψ = id_{P₂}，Ψ∘Φ = id_{R³}

五、证伪尝试结论

| 检验项 | 结果 |

|---|---|

| 线性 | 通过，无法证伪 |

| 单射 | 通过，无法证伪 |

| 满射 | 通过，无法证伪 |

最终结论：证伪失败，论断成立。Φ 是线性双射，故 R³ ≅ P₂。两者维数均为 3（R³ 的标准基 {e₁, e₂, e₃} 对应 P₂ 的基 {1, x, x²}），这与有限维空间同构的维数判据一致。

注意边界：此同构不唯一（任何基的对应都给出一个同构），且同构指向量空间结构同构，并非“R³ 就是多项式空间”，二者是抽象结构等价而非集合相等。