正交矩阵的对角元素.docVIP

正交矩阵的对角线元素 L.米尔斯基，英国谢菲尔德大学 1. 下面出现的所有数字均被认为是实数，用 QUOTE 来表示 QUOTE 之中全部负数的个数.通过一点我们可以构造一个 QUOTE 为线性空间.一个正交矩阵被称为特正交矩阵或非正常正交阵，是依据它的行列式的值是+1还是-1.所有矩阵被认为是 QUOTE 矩阵. 以下引人关注的结论由A. Horn([1] 定理8)创立. 定理1 数字 QUOTE 是一个特正交矩阵的对角线元素当且仅当 QUOTE 位于有偶数个负坐标的形如 QUOTE 的点的复包线上. 以上定理说明的对象是从这个结果中获得一个有效的标准，来判断给定的个数是否是特正交矩阵的对角线元素.实际上，我们有以下结论： 定理2 数字 QUOTE 是一个特正交矩阵的对角线元素的充分必要条件是 (1) (2) 其中 QUOTE 被赋值为1或0是根据 QUOTE 是偶数还是奇数. Horn([1] 定理9)得出定理2是在当 QUOTE 全是非负的情况下，以及当N( QUOTE )是偶数时；此外，在所有情况下,条件1和条件2的必要性包含在他的论据中([1] p.627).上面给出的证明结合了不同的理论. 我们注意到定理2的2个结果. 推论1 数字 QUOTE 是一个特正交矩阵的对角线元素的充分必要条件是 (1) (2) 其中 QUOTE 被赋值为1或0是根据N QUOTE )是偶数还是奇数 推论2 数字 QUOTE 是特正交矩阵的对角线元素，同时也是非正常正交阵的对角线元素的充分必要条件是 (1) (2) 很明显，推论2由定理2和推论1得出，推论1由定理2得出，凭借的事实是 QUOTE 是非正常正交阵的对角线元素当且仅当 QUOTE 是特正交矩阵的对角线元素. 我对他提供有用意见表示感谢. 2. 这里我们将需要一些初步的结果 引理1 对任意数字 QUOTE ，我们有 ( QUOTE ) 最大数在所有 QUOTE 中产生, QUOTE = QUOTE ( QUOTE ) (3) 最大数在所有 QUOTE 中产生, QUOTE = QUOTE 首先，我们 同样，根据 QUOTE ≥0或 QUOTE 0把 QUOTE 赋值为+1或-1 可得 这证明了(1).下面有 如果 QUOTE 满足(3),对于符合条件 QUOTE ≤0的 QUOTE ，我们有 再次，根据 QUOTE 0或者是 QUOTE ≥0把 QUOTE 赋值为+1或-1，对于那些 QUOTE 的 QUOTE ，根据 QUOTE ≥0或者是 QUOTE 0把 QUOTE 赋值为+1或-1，那么(3)得到满足，我们有 显然，( QUOTE )式得证. 推论2 令 QUOTE , QUOTE QUOTE . QUOTE 位于点 QUOTE 的复包线上当且仅当，对任何数字 QUOTE .我们有 很明显的，这一结果表明了事实 QUOTE 位于 QUOTE 的复包线上当且仅当没有超平面可以把P从所有 QUOTE 中分开.对这个标准结果的更深入的细节，请参看([2] pp.23-24) 作为定理1和引理2的导出结果，我们有 推论3 数字 QUOTE 是一个特正交矩阵的对角线元素当且仅当对于任何数字 QUOTE 我们能找到数字 QUOTE (4) QUOTE , QUOTE (5) 3. 现在我们对定理2进行证明.首先假设数字 QUOTE 是一个特正交矩阵的对角线元素，条件(1)显然满足，用形如 (6) QUOTE , QUOTE 然后，满足(4)的合适的 QUOTE ,关系(5)是有效的.由于 QUOTE =1，至少有一个 QUOTE 值.因此 (7) 其中数列 QUOTE 的最大数满足(6)式 由推论1，这个最大数等于 QUOTE 如果 QUOTE 是奇数，或这个最大数等于 QUOTE 如果 QUOTE 是偶数.由(7)式可知，推论(2)是成立的.这证明了(1)和(2)的必要性. 下面，假设(1)和(2)以给出.令 QUOTE 为任何值 由(1)我们明显有： (8) 现在，假设 QUOTE 是奇数， QUOTE 是偶数.对满足 QUOTE 的 QUOTE ,我们有 (9) 当 QUOTE , QUOTE 都是奇数时，这种不平衡显然存在. QUOTE , QUOTE 利用(9)(1)和(2).我们推断，当 QUOTE 是奇数时 因此，有式子(8)可知，我们有满足任何值的 QUOTE (10) 但是，由引理1，选取适合条件(4