C.38. 阵的积、倍加、合同

本节, 我们进一步地讨论阵的积与 (列的) 倍加的关系.

 阵. 若 , 则我们说, 是对称的. 既然  阵等于  阵, 则 , 故 是方阵. 并且, . 反过来, 若 , 且 , 则 .

 级对称阵, 且  阵. 则 是对称阵:于是, 若我们加 的列  倍于列 , 得阵 (), 且加 的行  倍于行 , 得阵 , 则 是对称阵: 取  级阵 即可.

定理 C.38.1. 级对称阵. 利用若干次列的倍加, 与对应的行的倍加, 我们可变  级阵 , 使当 时, . (注意, 是对称的.)

我们约定, 作倍加时, 我们先列后行, 交替地作. 具体地, 我们先作一次列的倍加 (比如, 加列  倍于列 , 其中, ), 然后立即作一次对应的行的倍加 (加行  倍于行 ). 然后再作一次列的, 且再作一次对应的行的 (若还有).

证. 作命题 : 对任何  级对称阵 , 存在若干次列的倍加, 与对应的行的倍加, 其变  级阵 , 其中, 当 时, . 我们用数学归纳法证明, 对任何正整数 , 是对的.

显然是对的; 我们不变.

是对的. 我们由此证 也是对的.

任取  级对称阵 . 我们先说明, 存在若干次列的倍加, 与对应的行的倍加, 其变  级对称阵 , 其中, 当 时, .

的行  的与列  的元全为 , 我们不变, 取 .

, 对 , 加列  倍于列 , 且加行  倍于行 , 得  级对称阵 . 则 , 且 (). 然后, 对 , 加列  倍于列 , 且加行  倍于行 , 得  级对称阵 . 则 , 且 (). …… 然后, 对 , 加列  倍于列 , 且加行  倍于行 , 得  级对称阵 . 则 , 且 (). 则当 时, . 取 即可.

, 但某 (), 对 , 我们加列  于列 , 且加行  于行 , 得  级对称阵 . 则 . 问题被变为前面讨论过的情形.

综上, 作若干次列的倍加, 与对应的行的倍加, 我们可变  级对称阵 , 其中, 当 时, .

考虑 的右下角的  级子阵 . 不难看出, 它是一个  级对称阵. 由假定, 作若干次列的倍加, 与对应的行的倍加, 我们可变  级阵 , 其中, 当 时, .

注意, 既然当 时, , 那么, 无论如何对 的不是列  的列作倍加, 且无论如何对 的不是行  的行作倍加, 得到的阵的 -元与 -元都是 . 所以, 作若干次列的倍加, 与对应的行的倍加后, 我们可变 为一个  级对称阵 , 使当 时, , 且当 时, . 所以, 当 时, .

所以, 是对的. 由数学归纳法, 待证命题成立.

证完.

定理 C.38.2. 级对称阵. 则存在若干个形如 ( 是一个数, , 是不超过 的正整数, 且 ) 的阵 , , , , 使当 时, , 其中, .

证. 由上个定理, 存在若干个形如 ( 是一个数, , 是不超过 的正整数, 且 ) 的阵 , , , , 使-元为 , 若 . 由结合律, 上式相当于. 由转置的性质, . 则上式相当于 .

证完.

回想, 若  级阵 适合, , 且 , 则 是反称阵. 再回想, 若  级反称阵, 则存在若干个形如 ( 是一个数, , 是不超过 的正整数, 且 ) 的阵 , , , , 使 是形如(若 是偶数), 或(若 是奇数) 的反称阵.

由此可见, 若  级反称阵 (或对称阵), 则存在  级阵 , 使 , 且 是 “简单的” 反称阵 (或对称阵). 一般地,

定义 C.38.3.,  级阵. 若存在  级阵 , 使 , 且 , 则我们说, 合同.

, ,  级阵. 可以验证, “合同于” 适合:

(1) 合同于 .

因为 , 且 .

(2) 若 合同于 , 则 合同于 .

既然 合同于 , 则有  级阵 , 使 , 且 . 作 . 则 . 则 . 则 . 则

(3) 若 合同于 , 且 合同于 , 则 合同于 .

既然 合同于 , 则有  级阵 , 使 , 且 ; 既然 合同于 , 则有  级阵 , 使 , 且 . 则.

因为性质 (2), 有时, 我们也说 “ 合同”, 若 合同于 .

(其中, ) 的行为是 “合同变换”. 研究以合同变换变方阵为 “简单的” 方阵可能是一个有意思的问题. 若您想知道更多, 您可以见线性代数教材.