1. 引言
矩阵运算之间的关系是矩阵研究中的一个重要内容,而矩阵的迹运算在定义推广之后的研究显得十分重要。本文结合矩阵的基本运算,在方阵的迹与映射关系的基础上探究了一般矩阵的广义迹与映射之间的关系,并讨论了特殊矩阵Hadamard积和Kronecker积的广义迹与映射之间的关系。
2. 预备知识
定义1 [1] 设
,则将
称为矩阵A的广义迹,记作
。
定义2 [2] 设
,
,称
为A与B的Hadamard积,其中
,记作
。
定义3 [2] 设
,
,有
,
称
为A与B的左Kronecker积,记作:
。
定义4 [2] 设
,
,有
,
称
为A与B的右Kronecker积,记作:
。
定义5 [3] 设
是数域F上的线性空间,若对
中任意两个向量
和任意的
,都有
,
。
则称f是
到
的一个映射。
3. 主要结论
引理 [4] 如果定义
是一个映射,且满足以下的条件:
1)
,有
;
2)
,数
,有
;
3)
,有
;
4)
;
则
对
都成立。
证明:设
为n阶的基础矩阵,由条件(3)知
,所以
.
另一方面,当
,
,则
。
又由条件(1)和条件(4)知:
。
由上述可知,如果设
,由条件(2)可得
。
综上可证:
对
都成立。
定理1如果定义
是一个映射,且满足以下的条件:
1)
,有
;
2)
,数
,有
;
3)
、
,有
;
4)
;
则
对
都成立。
证明:设
为
阶的基础矩阵,
为
阶或
阶零矩阵,由条件(3)知:
,所以
。
另一方面,当
,
,则
。
又由条件(1)和条件(4)知:
当
时,
当
时,
当
时,
综上可得:
。
由上述可知,如果设
,由条件(2)可得
当
时,
.
当
时,
当
时,
综上可证:
对
都成立。
定理2如果定义
是一个映射,且满足以下的条件:
1)
,有
;
2)
,数
,有
;
3)
、
,有
;
4)
;
则
对
都成立。
证明:设
为
阶的基础矩阵,
为
阶或
阶零矩阵,由条件(3)知:
,所以
。
另一方面,当
,
,则
。
又由条件(1)和条件(4)知:
当
时,
当
时,
当
时,
综上可得:
。
由上述可知,如果设
,
,由条件(2)可得
当
时,
当
时,
当
时,
综上可证:
对
都成立。
定理3如果定义
是一个映射,且满足以下的条件:
1)
,
,有
;
2)
,
,数
,有
;
3)
,
,
,有
;
4)
;
则
对
,
都成立。
证明过程可以类比定理1和定理2推出,由于过程较为繁琐,所以在此省略。
推论如果定义
是一个映射,且满足以下的条件:
1)
,
,有
;
2)
,
,数
,有
;
3)
,
,
,有
;
4)
;
则
对
,
都成立。
4. 小结
通过研究将矩阵广义迹与映射这两种概念联系起来,说明很多概念之间是有联系的。在这篇文章中主要结合矩阵的基本运算,在方阵与映射关系的基础上,研究了一般矩阵的广义迹和特殊矩阵Hadamard积以及Kronecker积的广义迹与映射之间的关系。矩阵的广义迹可能与其它内容也是有联系的,有待于以后继续去发现。
基金项目
国家自然科学基金项目(12161086)。
参考文献
NOTES
*通讯作者。