[论文解读] Tensor products in the category of topological vector spaces are not associative

Helge Glöckner|ArXiv.org|Jul 3, 2003

Advanced Topics in Algebra参考文献 12被引用 9

一句话总结

本文通过反例 $\mathbb{R}^\mathbb{N}$ 证明，在一般（非局部凸）拓扑向量空间的范畴中，张量积不满足结合律。它表明迭代张量积 $(E \otimes E) \otimes E$、$E \otimes (E \otimes E)$ 和 $E \otimes E \otimes E$ 即使在豪斯多夫情形下也不存在典范同构，从而动摇了拓扑代数中的一个基础假设。

ABSTRACT

We show by example that the associative law does not hold for tensor products in the category of general (not necessarily locally convex) topological vector spaces. The same pathology occurs for tensor products of Hausdorff abelian topological groups.

研究动机与目标

• 研究张量积在一般拓扑向量空间范畴中是否满足结合律。
• 确定结合律的失效是否在豪斯多夫及完备豪斯多夫拓扑向量空间的更严格范畴中依然存在。
• 将分析扩展至豪斯多夫阿贝尔拓扑群范畴，评估是否存在类似的非结合行为。
• 通过 $\mathbb{R}^\mathbb{N}$ 提供一个具体反例，以证明迭代张量积的非同构性。

提出的方法

• 通过每个因子空间中平衡零邻域的像生成的零邻域基，定义代数张量积 $E_1 \otimes \cdots \otimes E_n$ 上的拓扑。
• 证明该拓扑使得典范 $n$-线性映射 $\tau$ 连续，并满足拓扑向量空间范畴中张量积的泛性质。
• 证明若外层因子 $E_1$ 和 $E_3$ 局部有界，则 $(E_1 \otimes E_2) \otimes E_3$ 与 $E_1 \otimes (E_2 \otimes E_3)$ 存在典范同构。
• 通过假设 $E = \mathbb{R}^\mathbb{N}$ 时 $E \otimes (E \otimes E)$ 与 $(E \otimes E) \otimes E$ 之间存在同构，导出有限秩矩阵逼近中密度的矛盾。
• 利用 $M_N(\mathbb{R})$ 中秩 $\leq N/2$ 的矩阵集合在 $\mathbb{R}^N \otimes \mathbb{R}^N$ 中不稠密的事实，反驳了某类和集在张量积中稠密的假设。
• 将相同论证应用于豪斯多夫拓扑向量空间范畴与豪斯多夫阿贝尔拓扑群范畴，以证明非同构性。

实验结果

研究问题

• RQ1 在一般拓扑向量空间范畴中，迭代张量积是否满足结合律？
• RQ2 当限制在豪斯多夫拓扑向量空间范畴时，结合律的失效是否仍然成立？
• RQ3 在豪斯多夫阿贝尔拓扑群范畴中，是否也出现相同的非结合现象？
• RQ4 能否通过 $\mathbb{R}^\mathbb{N}$ 作为反例，证明迭代张量积的非同构性？
• RQ5 在完备豪斯多夫拓扑向量空间范畴中，张量积构造是否满足结合律？

主要发现

• 对于 $E = \mathbb{R}^\mathbb{N}$，在实拓扑向量空间范畴中，迭代张量积 $(E \otimes E) \otimes E$、$E \otimes (E \otimes E)$ 和 $E \otimes E \otimes E$ 不存在典范同构。
• 非同构性源于张量积空间 $\mathbb{R}^N \otimes \mathbb{R}^N$ 中有限秩矩阵逼近的密度矛盾。
• $\mathbb{R}^N \otimes \mathbb{R}^N$ 中秩 $\leq N/2$ 的初等张量集合不稠密，与同构假设矛盾。
• 在豪斯多夫实拓扑向量空间范畴中，结合律的失效依然存在，因为张量积仍不同构。
• 在豪斯多夫阿贝尔拓扑群范畴中也出现相同病态现象，迭代张量积同样不满足结合律。
• 即使在完备豪斯多夫拓扑向量空间范畴中，该结果依然成立，因为相关张量积是完备的。