非交换代数中幂函数的规范形式及标准定义问询

这个问题问得非常关键——在非交换代数里，确实没有像交换代数那样通用且唯一的幂函数规范形式，不过针对矩阵、四元数这类具体的非交换结构，学界有一些被广泛认可的定义方式，我来慢慢拆解：

矩阵情形的定义方式 #

对于矩阵 $M_1^{M_2}$（$M_1,M_2 \in M_{n\times n}$）：

• 首先最常用的场景是要求$M_1$是可对角化且所有特征值均为正实数的矩阵：这时候我们可以先定义$\log M_1$——通过将$M_1$对角化，对每个正特征值取对数构造对角矩阵，再通过相似变换得到$\log M_1$。之后约定 $M_1^{M_2} = e^{M_2 \log M_1}$。
• 这里必须注意：由于矩阵乘法不交换，如果$M_2$和$\log M_1$不 commute，那么$e^{M_2 \log M_1} \neq e^{\log M_1 \cdot M_2}$，而后者对应的是$(e^{\log M_1})^{M_2}=M_1{M_2}$的另一种潜在定义。这两种结果完全不同，所以目前没有统一的“标准”，只是$e^{M_2 \log M_1}$是更常见的选择，具体还要看应用场景。
• 如果$M_1$不满足正可对角化的条件（比如有负特征值、Jordan块），对数函数本身就没有唯一定义，幂函数的定义自然会出现多种歧义，更不存在规范形式。

四元数情形的定义方式 #

对于四元数 $Q_1^{Q_2}$（$Q_1, Q_2 \in \mathbb{H}$）：

• 四元数可以表示为极坐标形式 $q = r e^{\theta \mathbf{u}}$（其中$r>0$，$\mathbf{u}$是单位虚四元数，$\theta \in \mathbb{R}$），我们先取对数的主值：$\log Q_1 = \ln r + \theta \mathbf{u}$，之后约定 $Q_1^{Q_2} = e^{Q_2 \log Q_1}$。
• 和矩阵一样，四元数乘法不交换，$Q_2 \log Q_1$与$\log Q_1 \cdot Q_2$是不同的元素，对应的幂函数结果也不同，所以这个定义只是一种约定俗成的主流选择，而非唯一标准。
• 若$Q_1$是零或负实数（四元数的实数子集），对数的多值性会让幂函数的定义更加复杂，需要结合具体需求来确定。

总结 #

非交换代数中不存在像交换代数那样的canonical（规范）幂函数形式，核心原因是交换律的缺失导致幂函数的自然推广出现了本质歧义。所有的定义都是基于具体结构和应用场景的约定：先在该结构下确定对数函数的定义（通常取主值），再通过指数函数来定义幂函数，但必须明确乘法顺序（是$b\log a$还是$\log a \cdot b$），不同顺序会得到完全不同的结果。

备注：内容来源于stack exchange，提问作者klkj