Thread: Basis of the tangent space of unitary matrices

U(n) is the group of all n x n unitary matrices.

Say TEU(n) is the tangent space at the identity. (E just refers to "at the identity").

For n = 2, how do i show that the following 2 x 2 matrices make a basis of TEU(2)?:

s0 = (first row: i, 0 /second row:0 , i)

s1 = (first row: i , 0 /second row:0, -i)

s2 = (first row: 0,1 / second row: -1,0 )

s3 = (first row:0 , i / second row: i , 0)

Thanks for any help

Originally Posted by Siknature

U(n) is the group of all n x n unitary matrices.

Say TEU(n) is the tangent space at the identity. (E just refers to "at the identity").

For n = 2, how do i show that the following 2 x 2 matrices make a basis of TEU(2)?:

s0 = (first row: i, 0 /second row:0 , i)

s1 = (first row: i , 0 /second row:0, -i)

s2 = (first row: 0,1 / second row: -1,0 )

s3 = (first row:0 , i / second row: i , 0)

Thanks for any help

This can't be right, imo, since the tangent space at the identity of the unitary matrices are the skew-symmetric, or anti-symmetric(anti-hermitian, in the complex case) matrices, and both aren't skew-symmetric...

Tonioi

Originally Posted by tonio

This can't be right, imo, since the tangent space at the identity of the unitary matrices are the skew-symmetric, or anti-symmetric(anti-hermitian, in the complex case) matrices, and both aren't skew-symmetric...

Tonioi

I think you must have misunderstood because i dont think that what you have said is true.

I am sure that s0 and s1 do belong to the tangent space.

For example s1 = (first row: i, 0 /second row:0 , -i)
So s1 transposed is the same.
Then taking the conjugate i get: (first row:-i, 0 /second row:0, i)

This is clearly equal to -s1 which is required for it to be skew hermitian.

Check s0 in the same way and it can be seen that s0 also skew hermitian.

Maybe you thought the rows were columns?

Nevertheless, i believe these matrices must make a basis of TEU(2) but i dont know how to do this.

Thanks

Originally Posted by Siknature

I think you must have misunderstood because i dont think that what you have said is true.

I am sure that s0 and s1 do belong to the tangent space.

For example s1 = (first row: i, 0 /second row:0 , -i)
So s1 transposed is the same.
Then taking the conjugate i get: (first row:-i, 0 /second row:0, i)

This is clearly equal to -s1 which is required for it to be skew hermitian.

Check s0 in the same way and it can be seen that s0 also skew hermitian.

Maybe you thought the rows were columns?

Nevertheless, i believe these matrices must make a basis of TEU(2) but i dont know how to do this.

Thanks

Why would you take the conjugate? Are you doing inner spaces linear algebra? This belongs to Lie groups and stuff, and a matrix is skew-symmetric iff , without conjugates and stuff, and this forces the diagonal to be all zeroes...

Tonio

Originally Posted by tonio

Why would you take the conjugate? Are you doing inner spaces linear algebra? This belongs to Lie groups and stuff, and a matrix is skew-symmetric iff , without conjugates and stuff, and this forces the diagonal to be all zeroes...

Tonio

Skew-Hermitian matrix

From Wikipedia, the free encyclopedia



In linear algebra, a square matrix with complex entries is said to be skew-Hermitian or antihermitian if its conjugate transpose is equal to its negative.[1] That is, the matrix A is skew-Hermitian if it satisfies the relation
where denotes the conjugate transpose of a matrix.

Originally Posted by Siknature

Skew-Hermitian matrix

From Wikipedia, the free encyclopedia



In linear algebra, a square matrix with complex entries is said to be skew-Hermitian or antihermitian if its conjugate transpose is equal to its negative.[1] That is, the matrix A is skew-Hermitian if it satisfies the relation
where denotes the conjugate transpose of a matrix.

Oh, I see where the confusion is, and I'm the one which first forced it since I didn't pay attention to the fact that skew-hermitian is the complex equivalent to the real skew-symmetry, , and all the time along I was thinking thus of orthogonal matrices instead of complex ones.

Anyway, and as for your question: are a basis for this tangent space since these are four -lin. indenpendent skew-hermitian matrices, and 4 is the dimension of and of its tangent space at the identity.

Tonio