应站长提议，重新整理关于直积，直和，张量积这些概念的讨论。又发现之前理解上的一些错误。所以这篇帖子只能算是个引子，希望有些数学爱好者注意到这些概念的联系和区别。需要非常清楚这些概念的同修，还是请参考教科书。




先从两个集合的笛卡儿积说起。如果A, B 是两个集合，怎么用集合论的语言来定义 A x B？“有序对” 是常用的，但不是最底层的语言。有序对 (a,b) 用集合论的语言可以表示为 {a,{a,b}}。

现在有了两个集合的笛卡儿积，就可以定义所谓 “关系”。一个 “从 A 到 B 的关系 R” 是笛卡儿积 A x B 的一个子集。如果 (a,b)属于 R，我们就说 “a 关系到 b”。

集合 A 上的一个 “偏序” 就是一个从 A 到 A 的关系。A 上的一个等价关系也是一个从 A 到 A 的关系。

从 A 到 B 的一个 “映射” f 是一个从 A 到 B 的满足某种唯一相交性质的关系（有兴趣的还没有接触这些抽象无聊的同学可以自己试试用集合的语言描述这种唯一相交性质）。说白了我们把映射定义为它的图像，因为从集合论的观点来看，“图像”是更底层的，是笛卡儿积的子集。

现在定义了映射。我们就可以用映射来定义任意多个集合的笛卡儿积。设有一族集合 Ai, 其中 i 属于指标集 I （指标集的概念实际上也需要更加仔细，但是这里先省去）。这族集合的笛卡儿积里面的任一元素定义为一个从指标集 I 到所有 Ai 的并集的满足下列条件的映射 f：f(i) 属于 Ai. 著名的选择公理就是说如果 I 非空，每个 Ai 也都非空，那么至少存在一个这样的映射，也就是说，笛卡儿积非空。

在现代数学的概念体系中，以上的定义应该归于所谓 “构造性定义”，也就是通过描述这个对象里的元素来定义这个对象。如今流行的定义方式是所谓 “普适性质定义”。“普适” 是 universal 这个英语单词的一个翻译，其它翻译包括 “万有”，“泛”...... 我觉得 “泛” 这个翻译是很不错的，就是有时候放在白话文里面不太上口。

那么什么是笛卡儿积的普适性质呢？用平面坐标系来看这个性质，就是：如果想指定一个 x 和一个 y, 那么只需要指定平面上一个坐标为 (x,y) 的点就行了。或者说，对任意集合 B, 如果给了一个 B 到 x 轴的映射和一个 B 到 y 轴的映射的组合，那么存在唯一的从 B 到平面的映射，使得它的像的 “坐标” 就分别是之前给定的那两个映射。

推而广之， 一族集合 Ai 的笛卡儿积就是这么一个集合 A，首先它带有到各个因子的“投影” 映射 fi: A --> Ai; 然后它具有以下普适性质：对任意集合 B 和一族映射 gi: B --> Ai，存在唯一的映射 h: B --> A, 使得 gi * h = fi. 换句话说，任何一族分别到 Ai 的映射都可以由 “唯一” “一个” 到 A 的映射来代替。

普适性质里的 “唯一” 这个词很重要，它保证了由这个普适性质定义出来的对象在同构意义下是唯一的。

如果 Ai 不止是集合，还带有一些结构，我们一般会把这些带有结构的集合以及它们之间的保持这种结构的映射放在一起称为一个 “范畴”。比如，群范畴，就是所有的群以及它们之间的同态。那么我们可以把以上定义中 “集合” 加强为 “群”，把“映射” 加强为 “同态”，从而定义出 “群” 这个范畴里的 “乘积”。这就是所谓群的 “直积”。

集合范畴的子范畴里的 “乘积” 有个特点。比如群 Ai 的直积，作为集合恰好还是 Ai 作为集合的笛卡儿积。下面要说的 “上乘积” 就不具有这个特点。在很多范畴里，上乘积作为集合并不是集合的上乘积。所以我上次又说错了，有限个对象的 “乘积” 并不一定等于 “上乘积”。


（未完待续）

谢谢季兄整理文章。我把这篇文章的类型改为原创了。原创的意思不是指是历史上从未有过、彻底被创造出来的东西，比如好的学术论文的某些部分。所有虽然参考了文献，但是经过自己的理解吸收，用自己的语言来叙述的文章都算原创（否则的话所有的科普都不是原创了，因为它们都来自作者对各种各样现成文献的吸收）。:)

direct sum, direct product, cartesian product, tensor product etc. 都属于category theory中的product/coproduct，要真正理解，最好列个表说明两者在不同范畴[Set, Grp, AbGrp, Mod, Vect, Hilb, Top, Top.]中的具体定义。

在一个范畴里，所谓 “上乘积”，是一个具有普适性质的对象。这个普适性质跟 “乘积” 的普适性质是 “对偶” 的。一族对象 Ai 的 “上乘积” 是一个集合 X, 它带有从 Ai 到 X 的一族同态，然后满足以下性质：对任意对象 B, 一族分别从 Ai 到 B 的同态可以由 “唯一” “一个” 从 X 到 B 的同态来代替。

这个普适性质相当于把定义 “乘积” 的普适性质里所有的映射箭头反向。

在集合这个范畴，“上乘积” 其实就是 “无交并”。一族集合 Ai 的无交并定义为 { (a, i) | a 属于 Ai }. 它比 Ai 的并集大，因为如果同一个元素在不同的 Ai 中，在做 “并” 运算的时候我们把它们等同起来，但是在做 “无交并” 运算的时候，我们用它们所属集合的指标把它们区分开来。

在群范畴，“上乘积” 其实是群的 “自由乘积”。自由乘积作为集合当然不是因子群作为集合的无交并。所以，“上乘积” 的底层集合并不一定是底层集合的上乘积。本质的原因是，一族群的无交并没有一个自然的群结构，所以不在群这个范畴以内。

同样道理，如果我们在交换群范畴中讨论，那么 “上乘积” 也不再是 “自由乘积”，而是交换群的 “弱直和”。所以 “上乘积” 不具有 “继承性”，子范畴的上乘积不一定是母范畴的上乘积。

向量空间作为交换群，其 “弱直和” 仍然具有向量空间结构，所以从交换群范畴到向量空间范畴，上乘积得到了继承。

总结一下：


乘积 上乘积


集合范畴: 笛卡儿积 无交并

群范畴: 直积 自由乘积

拓扑空间范畴: 乘积拓扑空间 无交并

交换群范畴: 直和 弱直和

向量空间范畴: 直和 弱直和


有限个交换群的直和与弱直和是同构的。有限个向量空间的直和与弱直和也是同构的。

kanex： 谢谢提醒。本来想弄个表，可惜计算机水平太低，不知道怎么搞。

张量积。

在向量空间范畴，对象之间的同态都是线性映射。但其实我们经常会碰到 “双线性映射” 这种概念，比如内积就是一个双线性映射 V x V --> C. 我们希望把 “双线性” 这种性质归于向量空间范畴。一个办法就是，构造一个跟 V, W 有关的向量空间 Z，使得所有定义在 V x W 上的 “双线性映射” 都可以由 “唯一” 一个定义在 Z 上的 “线性映射” 来代替。这个 Z 就叫 V 和 W 的张量积。

后来的发展表明，“张量积” 可以扩展到一般范畴。凡是从范畴中多个对象得到一个对象的满足一定结合规则和交换规则的操作都可以视为 “张量积”，比如集合的笛卡儿积，无交并，拓扑空间的乘积，无交并，等等，都可以被称为张量积。带有张量积操作的范畴叫做 “张量范畴”。张量范畴现在被视为量子不变量理论的形式化，从而应该同量子场论，弦论都有深刻的联系。

参见 http://en.wikipedia.org/wiki/Monoidal_category

更详尽的定义和性质参见电子书 http://www.math.sunysb.edu/~kirillov/tensor/tensor.html

先对季候风鼓励一下，写得不错啊！
不过，希望季候风在阐述张量积的时候能够更加精确，不能纯粹为了科普，望多写一点关于张量积的内容，这个可能比你所写的其他内容都要重要，如果能放在范畴里叙述就更加好了，最好的情况是结合coherent sheaf 和l-adic cohomology等概念来说一下张量积的构造以及其意义。

多谢鼓励。可惜我对代数几何一窍不通，欢迎大家补充

严格性和通俗性有时还真的难以两全啊！

好文章，我就不废话了，唯一能做的就是顶上去

补充： 最近突然意识到在环范畴和代数范畴，这些乘积和和上乘积还挺费解的，大概查了一下做补充如下

因为环可以看作以整数为系数的代数，所以直接讨论 {环 R 上的代数} 这个范畴.

这个范畴有乘积，比如 A x B 里面的加法，数乘和乘法都是在两个因子上同时做，
(a,b) + (a',b') = (a+a', b+b')
r (a,b) = (ra, rb)
(a,b)(a'b')= (aa', bb')

但是上乘积就比较复杂，需要自由乘积 A*B, 其中的一般元素是以下这种单项式的和。

a1b1a2b2a3b3...anbn

但是如果我们考虑的是 {交换环 R 上交换代数代数} 这个范畴，那么上乘积就退化为张量积 A tensor B，
其中一般元素是 a1 tensor b1 + a2 tensor b2 + ... + an tensor bn

注意到 A x B 不是只能投影到两个因子，而不存在分别从两个因子到 A x B 的同态。