[论文解读] Linear Equation in Finite Dimensional Algebra

Aleks Kleyn|arXiv (Cornell University)|Dec 21, 2009

Iterative Methods for Nonlinear Equations参考文献 2被引用 5

一句话总结

本文提出方法，用于在域上的有限维代数中求解形如 $ a_{s\cdot 0} x a_{s\cdot 1} = b $ 的线性方程，利用向量空间同构与矩阵表示。关键贡献是基于由结构常数构造的矩阵的行列式，提出一个可逆性判别准则，表明当且仅当该行列式非零时，方程有唯一解。

ABSTRACT

In the paper I considered methods for solving equations of the form axb+cxd=e in the algebra which is finite dimensional over the field.

研究动机与目标

• 为在域上的有限维代数中求解形如 $ a_{s\\cdot 0} x a_{s\\cdot 1} = b $ 的线性方程，发展系统化方法。
• 将张量微积分与仿射几何技术推广至非结合与非交换代数。
• 确定与方程相关的线性映射可逆的条件，尤其关注张量变换与指标操作中的应用。
• 分析特定代数中方程 $ ax - xa = 1 $ 的可解性，包括四元数代数与 $ 2\times2 $ 矩阵。
• 建立线性映射可逆性与由结构常数构造的矩阵行列式之间的联系。

提出的方法

• 将代数 $ A $ 视为域 $ F $ 上的有限维向量空间，使用基 $ \overline{e} $，并通过坐标 $ a^i $ 表示元素。
• 利用结构常数 $ C^k_{ij} $ 通过 $ \overline{e}_i \overline{e}_j = C^k_{ij} \overline{e}_k $ 定义代数中的乘法，实现基于坐标的计算。
• 通过将系数与未知数用基分量表示，将方程 $ a_{s\cdot 0} x a_{s\cdot 1 o} = b $ 转化为线性方程组。
• 从结构常数构造矩阵 $ C^\cdot{}^j_i{}_{\cdot}{}^p_q{}_{\cdot}{}^s_t $，并用其表示线性映射的矩阵形式。
• 应用拉普拉斯展开与数学归纳法，证明表示线性映射的矩阵 $ <A, E_m> $ 的行列式等于 $ (\det A)^m $。
• 利用行列式准则 $ \det \| C^\cdot{}^j_i{}_{\cdot}{}^p_q{}_{\cdot}{}^s_t a^t_s \| \neq 0 $ 判定线性映射的可逆性。

实验结果

研究问题

• RQ1 在域上的有限维代数中，方程 $ a_{s\cdot 0} x a_{s\cdot 1} = b $ 在何种条件下有唯一解？
• RQ2 如何利用矩阵方法表示并分析由 $ x \mapsto a_{s\cdot 0} x a_{s\cdot 1} $ 定义的线性映射？
• RQ3 结构常数在决定此类方程的可解性与可逆性中起什么作用？
• RQ4 为何方程 $ ax - xa = 1 $ 在四元数代数或 $ 2\times2 $ 矩阵代数中无解？
• RQ5 能否利用由结构常数导出的矩阵的行列式来表征线性映射的可逆性？

主要发现

• 方程 $ a_{s\cdot 0} x a_{s\cdot 1} = b $ 可约化为域 $ F $ 上的线性方程组，从而可能有唯一解、无穷多解或无解。
• 线性映射 $ x \mapsto a_{s\cdot 0} x a_{s\cdot 1} $ 可逆当且仅当矩阵 $ C^\cdot{}^j_i{}_{\cdot}{}^p_q{}_{\cdot}{}^s_t a^t_s $ 的行列式非零。
• 对于矩阵 $ <A, E_m> $，其行列式为 $ (\det A)^m $，这意味着映射可逆当且仅当 $ \det A \neq 0 $。
• 在四元数代数中，方程 $ ax - xa = 1 $ 无解，因为 $ ax - xa $ 的数量部始终为零，与要求其等于 1 矛盾。
• 在 $ 2\times2 $ 矩阵代数中，由 $ ax - xa = 1 $ 导出的方程组导致矛盾方程（如 $ -a^{2}_1 x^{1}_2 + a^{1}_2 x^{2}_1 = 1 $ 与 $ +a^{2}_1 x^{1}_2 - a^{1}_2 x^{2}_1 = 1 $），证明无解存在。
• 方程 $ ax - xa = 1 $ 在代数 $ A $ 中有唯一解当且仅当 $ \det\| (C^k_{ij} - C^k_{ji}) a^i \| \neq 0 $，从而提供了一个基于行列式的可解性判别准则。