[论文解读] Two Generalizations of Tensor Products, Beyond Vector Spaces

Elemér E Rosinger|ArXiv.org|Jul 9, 2008

Computability, Logic, AI Algorithms参考文献 4被引用 8

一句话总结

本文通过引入两种新构造，将张量积从向量空间推广至更一般情形：第一，针对配备二元运算的任意集合；第二，针对集合上的任意生成元。核心贡献在于提出一种普遍适用的张量积，即使原始运算不具有结合性与交换性，该张量积仍能保持结合性与交换性，其关键在于基于结构对称性与运算相容性的等价关系。

ABSTRACT

Two successive generalizations of the usual tensor products are given. One can be constructed for arbitrary binary operations, and not only for semigroups, groups or vector spaces. The second one, still more general, is constructed for arbitrary generators on sets.

研究动机与目标

• 将张量积的概念从向量空间推广至配备任意二元运算的任意集合。
• 通过使用任意生成元而非二元运算来推广张量积，提升结构的一般性。
• 为这些广义张量积建立普遍性质，使其与线性代数中的经典普遍性质相呼应。
• 证明所得张量积空间即使在原始运算不具备性质的情况下，仍继承交换性与结合性。
• 提供一个适用于量子计算及其他非线性或非结合代数系统的基础框架。

提出的方法

• 定义集合 $ Z $，其元素为有限对 $ (x_i, y_i) $ 的序列，其中 $ x_i \in X $，$ y_i \in Y $，并配备连接运算 $ \gamma $ 作为二元运算。
• 在 $ Z $ 上引入等价关系 $ \approx_{\alpha,\beta} $，其由交换对的顺序、以及将 $ (\alpha(x_1,x_1'),y_1) \gamma \cdots $ 替换为 $ (x_1,y_1) \gamma (x_1',y_1) \gamma \cdots $ 等操作生成，类似地适用于 $ \beta $。
• 将广义张量积构造为商空间 $ X \bigotimes_{\alpha,\beta} Y = Z / \approx_{\alpha,\beta} $，其中元素为等价类 $ x \bigotimes_{\alpha,\beta} y $。
• 证明 $ Z $ 上的运算 $ \gamma $ 可在商空间上良好定义，并保持交换性与结合性。
• 通过对称关系的传递闭包，形式化定义等价关系 $ \approx_{\alpha,\beta} $，确保其为等价关系。
• 建立该构造的普遍性质，将经典张量积的普遍性质推广至任意二元运算与生成元。

实验结果

研究问题

• RQ1 能否为配备任意二元运算的任意集合定义张量积，而不仅限于半群或向量空间？
• RQ2 所得张量积空间继承何种代数结构？在何种条件下其具有交换性与结合性？
• RQ3 张量积构造如何进一步推广至超越二元运算的任意生成元？
• RQ4 该广义张量积的普遍性质是什么？其与经典张量积普遍性质有何关联？
• RQ5 该构造能否应用于非结合或非交换系统，如量子计算或非线性代数中的系统？

主要发现

• 对于任意两个配备二元运算 $ \alpha $ 与 $ \beta $ 的集合 $ X $ 与 $ Y $，张量积 $ X \bigotimes_{\alpha,\beta} Y $ 均有良好定义。
• 即使原始运算 $ \alpha $ 与 $ \beta $ 不具备结合性与交换性，所得张量积空间仍继承一个交换且结合的二元运算 $ \gamma $。
• 由 $ (x,y) \mapsto x \bigotimes_{\alpha,\beta} y $ 给出的典范映射 $ X \times Y \to X \bigotimes_{\alpha,\beta} Y $ 是单射。
• 等价关系 $ \approx_{\alpha,\beta} $ 通过对称关系的传递闭包严格构造，确保其为等价关系。
• 该构造满足广义普遍性质，将经典张量积普遍性质推广至任意二元运算。
• 第二类推广将构造扩展至集合上的任意生成元，使其适用于更广泛的代数与组合结构。