正交矩阵的对角线元素6.docVIP

正交矩阵的对角线元素 L.米尔斯基，英国谢菲尔德大学 1. 下面出现的所有数字均被认为是实数，用N(x1,…,xn)来表示x1,…,xn之中全部负数的个数 以下引人关注的结论由A. Horn([1] 定理8)创立. 定理1 数字d1,…,dn是一个特正交矩阵的对角线元素当且仅当 以上定理说明的对象是从这个结果中获得一个有效的标准，来判断给定的个数是否是特正交矩阵的对角线元素.实际上，我们有以下结论： 定理2 数字d1 (1) (2) k=1 其中λ被赋值为1或0是根据N(d1 Horn([1] 定理9)得出定理2是在当d1,…,dn全是非负的情况下，以及当N(d 我们注意到定理2的2个结果. 推论1 数字d1 (1) d (2) k=1 其中λ被赋值为1或0是根据N(d1 推论2 数字d1 (1) d (2) k=1 很明显，推论2由定理2和推论1得出，推论1由定理2得出，凭借的事实是d1,…, 我对他提供有用意见表示感谢. 2. 这里我们将需要一些初步的结果 引理1 对任意数字x1 (i) max 最大数在所有δ1,?,δn N( (ii) max (3) 最大数在所有δ1,?,δ N( 首先，我们 k=1 同样，根据xk≥0或xk0把 可得 k=1 这证明了(1).下面有 min 如果δ1,…,δn k=1 再次，根据xs0或者是xs≥0把δs赋值为+1或-1，对