为什么笛卡尔积的泛性质不能推广到加法？

适用条件

• 比较是在笛卡尔积和加法之间进行的。

理解与推导

1. 回忆笛卡尔积的泛性质：$(X \times Y)^Z \cong X^Z \times Y^Z$。
2. 考虑加法的类似性质：$(a+b)^2 = a^2 + b^2$。
3. 展开 $(a+b)^2$ 得到 $a^2 + 2ab + b^2$。
4. 观察到除非 $ab=0$，否则 $a^2 + 2ab + b^2 \neq a^2 + b^2$。
5. 得出该性质对加法不成立的结论。

例子

演讲者使用 $(a+b)^2 \neq a^2 + b^2$ 来表明该性质并非对所有操作都成立。

容易误解的地方

• 假设所有二元运算共享相同的泛性质。
• 忽略 $(a+b)^2$ 展开中的交叉项。

观看对应讲解

继续追问

• 子空间拓扑的泛性质是什么？
• 如何表征进入子空间的函数的连续性？