循环矩阵这篇好像解释的挺全
循环矩阵是什么,看下面举的例子就行了,我只介绍他们的乘法
对了,他们有一个性质
a
i
,
j
=
a
(
i
+
k
)
m
o
d
(
n
)
,
(
j
+
k
)
m
o
d
(
n
)
a_{i,j}=a_{(i+k)_{mod(n)},(j+k)_{mod(n)}}
ai,j=a(i+k)mod(n),(j+k)mod(n),我们称作性质1吧!
我们从小规模的矩阵入手,设两个循环矩阵为
可以看见这两个是三阶矩阵都是循环矩阵,为了方便观看,让 b 1 = c 1 , b 3 = c 2 , b 2 = c 3 b_{1}=c_{1},b_{3}=c_{2},b_{2}=c_{3} b1=c1,b3=c2,b2=c3则会有如下矩阵
对于a矩阵的第i行我们记为行向量 a i ⃗ \vec{a_{i}} ai,对c矩阵的第i列记作列向量 c i ⃗ \vec{c_{i}} ci,我们发现
原因在于数字的排列,
a
(
i
+
k
)
m
o
d
n
⃗
\vec{a_{(i+k)modn}}
a(i+k)modn中的元素序列相比
a
i
⃗
\vec{a_{i}}
ai向左移动了k个,同样
c
(
j
+
k
)
m
o
d
n
⃗
\vec{c_{(j+k)modn}}
c(j+k)modn也是,这样两者相乘后求和元素依旧一样,所以值不变。
设
d
i
,
j
⃗
=
a
i
⃗
⋅
c
j
⃗
\vec{d_{i,j}}=\vec{a_{i}}\cdot\vec{c_{j}}
di,j=ai⋅cj根据刚才的结论我们可以得到
d
i
,
j
⃗
=
d
(
i
+
k
)
m
o
d
n
,
(
j
+
k
)
m
o
d
n
⃗
\vec{d_{i,j}}=\vec{d_{(i+k)modn,(j+k)modn}}
di,j=d(i+k)modn,(j+k)modn这和文章开始提到的性质1一样。
所以,我们得到结论,任意两个循环矩阵的乘法都是循环矩阵。