[線代] 關於skew-symmetric matrix

[bineapple (Bineapple)]

If A is a real 2n-rowed skew-symmetric matrix with positive determinant,

, then there exists B such that

        [ 0 -E ]
(B^t)AB=[      ], where E is the n-rowed identity matrix.
        [ E  0 ]

我想知道這個命題是否正確

如果正確的話是否有證明的方法或reference呢?

謝謝!!

--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 126.125.149.61
※ 編輯: bineapple       來自: 126.125.149.61       (01/25 01:06)
→ bineapple   :自己解出來了 用induction就好了