Skew-symmetric matrix

AT=−A.

Remarks (See here):

Suppose for the sake of contradiction that r is odd. We know that A′T=−A′. Then the determinant of this submatrix is

det(A′)=det(A′T)=det(−A′)=(−1)r⋅det(−A′)=−det(A′)

and therefore det(A′)=0. This contradicts our assumption that r≠0. Hence, r is an even natural number.
◼

diag[A1,A2,…,At,0,0,…]

where

Ai=αi(01−10)

with αi real numbers, i=1,…,t.

This normal form is the matrix expression of the pairing of coordinates in a symplectic vector space.