四元数矩阵三种积的正定性

给出了四元数矩阵的各种正定矩阵的定义，建立了四元数矩阵的乘积，直积和圈积的正定性的一系列定理。