Matrix Lie groups. and their Lie algebras. Mahmood Alaghmandan. A project in fulfillment of the requirement for the Lie algebra course

Size: px
Start display at page:

Download "Matrix Lie groups. and their Lie algebras. Mahmood Alaghmandan. A project in fulfillment of the requirement for the Lie algebra course"

Transcription

1 Matrix Lie groups and their Lie algebras Mahmood Alaghmandan A project in fulfillment of the requirement for the Lie algebra course Department of Mathematics and Statistics University of Saskatchewan March 2012 Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

2 Special orthogonal group An example of Lie groups A matrix A is orthogonal if its transpose is equal to its inverse: Equivalently A tr = A 1. AA tr = I If for orthogonal matrix A, det(a) = 1, A is call special orthogonal matrix. Orthogonal and special orthogonal groups O(n) = {A M n (R) : A tr = A 1 } and SO(n) = {A M n (R) : A tr = A 1, det(a) = 1}. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

3 Special orthogonal group An example of Lie groups A matrix A is orthogonal if its transpose is equal to its inverse: Equivalently A tr = A 1. AA tr = I If for orthogonal matrix A, det(a) = 1, A is call special orthogonal matrix. Orthogonal and special orthogonal groups O(n) = {A M n (R) : A tr = A 1 } and SO(n) = {A M n (R) : A tr = A 1, det(a) = 1}. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

4 Example. SO(2) is the set of all matrices [ cos θ sin θ sin θ cos θ for different angels θ. ] The rotation with angle θ. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

5 Example. SO(3) forms the set all of rotations in R 3 which preserves the length and orientation. Every rotation in SO(3) fixes a unique 1-dimensional linear subspace of R 3, due to Euler s rotation theorem. cos θ sin θ 0 sin θ cos θ is the rotation with angel θ with the axis of rotation z-axis. (0.1) Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

6 Example. SO(3) forms the set all of rotations in R 3 which preserves the length and orientation. Every rotation in SO(3) fixes a unique 1-dimensional linear subspace of R 3, due to Euler s rotation theorem. cos θ sin θ 0 sin θ cos θ is the rotation with angel θ with the axis of rotation z-axis. (0.1) Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

7 Example. SO(3) forms the set all of rotations in R 3 which preserves the length and orientation. Every rotation in SO(3) fixes a unique 1-dimensional linear subspace of R 3, due to Euler s rotation theorem. cos θ sin θ 0 sin θ cos θ is the rotation with angel θ with the axis of rotation z-axis. (0.1) Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

8 Applying complex matrices! σ 1 = [ ] [ 0 i, σ 2 = i 0 ] [ 1 0, σ 3 = 0 1 called Pauli matrices are linearly independent. So for each x = (x i ) 3 i=1 R3, x = x 1 x 2 x 3 = x 1 σ 1 + x 2 σ 2 + x 3 σ 3. ] Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

9 A new interpretation Note that [ e iθ/2 0 0 e iθ/2 ] [ e iθ/2 0 (x 1 σ 1 + x 2 σ 2 + x 3 σ 3 ) 0 e iθ/2 ] 1 = (x 1 cos θ + x 2 sin θ)σ 1 + ( x 1 sin θ + x 2 cos θ)σ 2 + x 3 σ 3. As clearly we can see this is the rotation that appeared in a matrix in SO(3), (0.1). Special unitary group SU(2) Let SU(2) be the set of all matrices [ ] a + di b ci A = where det(a) = 1 and a, b, c, d R. b ci a di We can see that these matrices form a group, we call them special unitary matrices. Although this is a complex counterpart of SO(2), it has a strong relation with SO(3). Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

10 A new interpretation Note that [ e iθ/2 0 0 e iθ/2 ] [ e iθ/2 0 (x 1 σ 1 + x 2 σ 2 + x 3 σ 3 ) 0 e iθ/2 ] 1 = (x 1 cos θ + x 2 sin θ)σ 1 + ( x 1 sin θ + x 2 cos θ)σ 2 + x 3 σ 3. As clearly we can see this is the rotation that appeared in a matrix in SO(3), (0.1). Special unitary group SU(2) Let SU(2) be the set of all matrices [ ] a + di b ci A = where det(a) = 1 and a, b, c, d R. b ci a di We can see that these matrices form a group, we call them special unitary matrices. Although this is a complex counterpart of SO(2), it has a strong relation with SO(3). Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

11 Special unitary group A complex n n matrix A is called unitary if its columns are orthogonal. (Linear algebra) over Hilbert spaces H = C n it forms a unitary operator i.e. A = A 1 when A is the adjoint operator of A. (Functional Analysis) Special Unitary group SU(n) = {A M n (C) : A A = AA = I and det(a) = 1.} Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

12 Special unitary group A complex n n matrix A is called unitary if its columns are orthogonal. (Linear algebra) over Hilbert spaces H = C n it forms a unitary operator i.e. A = A 1 when A is the adjoint operator of A. (Functional Analysis) Special Unitary group SU(n) = {A M n (C) : A A = AA = I and det(a) = 1.} Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

13 Outline 1 Matrix Lie groups 2 Matrix exponential 3 Lie algebra of a matrix Lie group 4 Lie algebra of some famous matrix Lie groups 5 Geometric interpretation Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

14 General linear group GL(n, F) General linear group Set of all invertible matrices on field F also form a group with the regular multiplication of matrices denoted by GL(n, F). Special linear group All invertible matrices A GL(n, F) s.t. det(a) = 1 denoted by SL(n, F). All groups GL(n, R), SL(n, R), SL(n, C), SU(n), and SO(n) are all subgroups of GL(n, C) for an appropriate n. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

15 General linear group GL(n, F) General linear group Set of all invertible matrices on field F also form a group with the regular multiplication of matrices denoted by GL(n, F). Special linear group All invertible matrices A GL(n, F) s.t. det(a) = 1 denoted by SL(n, F). All groups GL(n, R), SL(n, R), SL(n, C), SU(n), and SO(n) are all subgroups of GL(n, C) for an appropriate n. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

16 General linear group GL(n, F) General linear group Set of all invertible matrices on field F also form a group with the regular multiplication of matrices denoted by GL(n, F). Special linear group All invertible matrices A GL(n, F) s.t. det(a) = 1 denoted by SL(n, F). All groups GL(n, R), SL(n, R), SL(n, C), SU(n), and SO(n) are all subgroups of GL(n, C) for an appropriate n. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

17 Topology on M n (C) Hilbert-Schmidt norm for matrix A = [a i,j ] i,j 1,,n is n A 2 := a i,j 2 i,j=1 1/2. Convergence Let (A m ) m be a sequence in M n (C). A m converges to A if A m A 2 0. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

18 Topology on M n (C) Hilbert-Schmidt norm for matrix A = [a i,j ] i,j 1,,n is n A 2 := a i,j 2 i,j=1 1/2. Convergence Let (A m ) m be a sequence in M n (C). A m converges to A if A m A 2 0. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

19 Matrix Lie group Matrix (linear) Lie group A matrix Lie group G is a subgroup of GL(n, C) such that if (A m ) m is any convergent sequence in G, either A G or A is not invertible. O(n), SO(n), SU(n), SL(n, R), SL(n, C), GL(n, R), and GL(n, C) are all matrix Lie groups. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

20 Matrix Lie group Matrix (linear) Lie group A matrix Lie group G is a subgroup of GL(n, C) such that if (A m ) m is any convergent sequence in G, either A G or A is not invertible. O(n), SO(n), SU(n), SL(n, R), SL(n, C), GL(n, R), and GL(n, C) are all matrix Lie groups. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

21 Outline 1 Matrix Lie groups 2 Matrix exponential 3 Lie algebra of a matrix Lie group 4 Lie algebra of some famous matrix Lie groups 5 Geometric interpretation Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

22 Matrix exponential For A M n (C), we define e A := k=0 1 k! Ak where A 0 = I. It is well defined: e A 2 k=0 1 k! A k 2 = e A 2 < ; Main properties of e A e 0 = I, ( e A) = e (A ), ( e A) tr = e (A tr ), and e (α+β)a = e αa e βa. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

23 Matrix exponential For A M n (C), we define e A := k=0 1 k! Ak where A 0 = I. It is well defined: e A 2 k=0 1 k! A k 2 = e A 2 < ; Main properties of e A e 0 = I, ( e A) = e (A ), ( e A) tr = e (A tr ), and e (α+β)a = e αa e βa. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

24 Matrix exponential For A M n (C), we define e A := k=0 1 k! Ak where A 0 = I. It is well defined: e A 2 k=0 1 k! A k 2 = e A 2 < ; Main properties of e A e 0 = I, ( e A) = e (A ), ( e A) tr = e (A tr ), and e (α+β)a = e αa e βa. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

25 More properties Matrix exponential essential properties If AB = BA, then e A+B = e A e B = e B e A. e A is invertible and (e A ) 1 = e A. If A is invertible, then e ABA 1 = Ae B A 1. Even if [A, B] 0, we have ( e A+B = lim e 1 k A e 1 B) k k k (2.1) called Lie product formula. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

26 More properties Matrix exponential essential properties If AB = BA, then e A+B = e A e B = e B e A. e A is invertible and (e A ) 1 = e A. If A is invertible, then e ABA 1 = Ae B A 1. Even if [A, B] 0, we have ( e A+B = lim e 1 k A e 1 B) k k k (2.1) called Lie product formula. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

27 Calculation of the exponential of a matrix Calculation of the exponential of nilpotent matrices is easy. For diagonalizable matrices also we have a good trick to simplify the calculations. For an arbitrary matrix we can write as summation of one nilpotent matrix and one diagonalizable matrix which commute. The relation of determinant and trace through matrix exponential Let A M n (C). Then det(e A ) = e trace(a). Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

28 Calculation of the exponential of a matrix Calculation of the exponential of nilpotent matrices is easy. For diagonalizable matrices also we have a good trick to simplify the calculations. For an arbitrary matrix we can write as summation of one nilpotent matrix and one diagonalizable matrix which commute. The relation of determinant and trace through matrix exponential Let A M n (C). Then det(e A ) = e trace(a). Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

29 Derivative of matrix exponential function Moreover A e A is a continuous map: If A m A, then e Am e A. So we can talk about the limit of the following matrices where t 0 e (t 0+ t)a e t 0A t Therefore, d e (t0+ t)a e t 0A dt (eta ) t=t0 = lim t 0 t = Ae t 0A Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

30 Derivative of matrix exponential function Moreover A e A is a continuous map: If A m A, then e Am e A. So we can talk about the limit of the following matrices where t 0 e (t 0+ t)a e t 0A t Therefore, d e (t0+ t)a e t 0A dt (eta ) t=t0 = lim t 0 t = Ae t 0A Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

31 Outline 1 Matrix Lie groups 2 Matrix exponential 3 Lie algebra of a matrix Lie group 4 Lie algebra of some famous matrix Lie groups 5 Geometric interpretation Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

32 Lie algebra of a matrix Lie group Definition of Lie algebra of G For G be a matrix Lie group. g := {A M n (C) : e ta G for all t R}. Note that: t should be real. For A g, e ta G for all real t. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

33 Lie algebra of a matrix Lie group Definition of Lie algebra of G For G be a matrix Lie group. g := {A M n (C) : e ta G for all t R}. Note that: t should be real. For A g, e ta G for all real t. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

34 Question. Is the Lie algebra of a matrix Lie group really a Lie algebra? Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

35 YES! It is really a (REAL) Lie algebra Lie bracket over matrices! For A g, ta g for all t R. A + B g if A, B g. Proof. If [A, B] = 0, then e A+B = e A e B. In general we apply Lie product formula, (2.1). ( (1) For each k, e 1 k A e 1 B) k k G. (2) Its limit (e A+B ) must belong to G. Proof. [A, B] g if A, B g. G e ta e B e ta = e eta Be ta = e ta Be ta g Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

36 YES! It is really a (REAL) Lie algebra Lie bracket over matrices! For A g, ta g for all t R. A + B g if A, B g. Proof. If [A, B] = 0, then e A+B = e A e B. In general we apply Lie product formula, (2.1). ( (1) For each k, e 1 k A e 1 B) k k G. (2) Its limit (e A+B ) must belong to G. Proof. [A, B] g if A, B g. G e ta e B e ta = e eta Be ta = e ta Be ta g Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

37 YES! It is really a (REAL) Lie algebra Lie bracket over matrices! For A g, ta g for all t R. A + B g if A, B g. Proof. If [A, B] = 0, then e A+B = e A e B. In general we apply Lie product formula, (2.1). ( (1) For each k, e 1 k A e 1 B) k k G. (2) Its limit (e A+B ) must belong to G. Proof. [A, B] g if A, B g. G e ta e B e ta = e eta Be ta = e ta Be ta g Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

38 [A, B] g if A, B g. Rest of the proof. But d dt (eta Be ta ) t=0 = d dt (eta ) t=0 Be 0A + e 0A d dt (Be ta ) t=0 = AB BA. Why does it show that AB BA g? Because: d dt (eta Be ta e ta Be ta B ) t=0 = lim t 0 t AND g is a complete vector space! ( g A k A then lim k e A k = e A. So e A G. Hence g is complete!) Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

39 [A, B] g if A, B g. Rest of the proof. But d dt (eta Be ta ) t=0 = d dt (eta ) t=0 Be 0A + e 0A d dt (Be ta ) t=0 = AB BA. Why does it show that AB BA g? Because: d dt (eta Be ta e ta Be ta B ) t=0 = lim t 0 t AND g is a complete vector space! ( g A k A then lim k e A k = e A. So e A G. Hence g is complete!) Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

40 [A, B] g if A, B g. Rest of the proof. But d dt (eta Be ta ) t=0 = d dt (eta ) t=0 Be 0A + e 0A d dt (Be ta ) t=0 = AB BA. Why does it show that AB BA g? Because: d dt (eta Be ta e ta Be ta B ) t=0 = lim t 0 t AND g is a complete vector space! ( g A k A then lim k e A k = e A. So e A G. Hence g is complete!) Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

41 Lie algebra of a matrix Lie group Anticommutativity and Jacobi identity are achievable because of the definition of the Lie bracket over matrices. Summary Let G be a matrix Lie group. Then g is a vector space over R. As a subspace of M n (C), g is a complete topological space. Moreover, g is a Lie algebra with Lie bracket over matrices over field R. In the following we will see that for a variety of matrix Lie groups, Lie algebra will actually form a complex Lie algebra. We call these groups, complex matrix Lie groups. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

42 Lie algebra of a matrix Lie group Anticommutativity and Jacobi identity are achievable because of the definition of the Lie bracket over matrices. Summary Let G be a matrix Lie group. Then g is a vector space over R. As a subspace of M n (C), g is a complete topological space. Moreover, g is a Lie algebra with Lie bracket over matrices over field R. In the following we will see that for a variety of matrix Lie groups, Lie algebra will actually form a complex Lie algebra. We call these groups, complex matrix Lie groups. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

43 Why should we care about the Lie algebra of a matrix Lie group? Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

44 They are somehow related to their matrix Lie groups! Proposition Let G and H be two matrix Lie groups with Lie algebras g and h respectively. Suppose that Φ : G H is a group homomorphism. The there exists an (Lie) algebra homomorphism φ : g h such that Φ(e A ) = e φ(a) for every A g. The converse of This proposition is not correct in general. There are some conditions if we impose we will see the converse. For example, if both groups are simply connected, every homomorphism between Lie algebras ends to a homomorphism between matrix Lie groups Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

45 They are somehow related to their matrix Lie groups! Proposition Let G and H be two matrix Lie groups with Lie algebras g and h respectively. Suppose that Φ : G H is a group homomorphism. The there exists an (Lie) algebra homomorphism φ : g h such that Φ(e A ) = e φ(a) for every A g. The converse of This proposition is not correct in general. There are some conditions if we impose we will see the converse. For example, if both groups are simply connected, every homomorphism between Lie algebras ends to a homomorphism between matrix Lie groups Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

46 Outline 1 Matrix Lie groups 2 Matrix exponential 3 Lie algebra of a matrix Lie group 4 Lie algebra of some famous matrix Lie groups 5 Geometric interpretation Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

47 The Lie algebra of general linear group GL(n, F) A is an arbitrary matrix in M n (C), e ta is invertible for all t R. So e ta GL(n, C). Hence, gl(n, C) = M n (C). If A is a real matrix, e ta is real for all t R. On the other hand, if e ta is a real matrix for every t R, we have that A = d e ta I dt (eta ) t=0 = lim t 0 t should be also real, because e ta I t M n (R) and M n (R) is a closed topological space. Therefore, gl(n, R) = M n (R). This argument will work for all real valued matrix Lie groups. It shows that: matrix Lie group is REAL = its Lie algebra is REAL. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

48 The Lie algebra of general linear group GL(n, F) A is an arbitrary matrix in M n (C), e ta is invertible for all t R. So e ta GL(n, C). Hence, gl(n, C) = M n (C). If A is a real matrix, e ta is real for all t R. On the other hand, if e ta is a real matrix for every t R, we have that A = d e ta I dt (eta ) t=0 = lim t 0 t should be also real, because e ta I t M n (R) and M n (R) is a closed topological space. Therefore, gl(n, R) = M n (R). This argument will work for all real valued matrix Lie groups. It shows that: matrix Lie group is REAL = its Lie algebra is REAL. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

49 The Lie algebra of general linear group GL(n, F) A is an arbitrary matrix in M n (C), e ta is invertible for all t R. So e ta GL(n, C). Hence, gl(n, C) = M n (C). If A is a real matrix, e ta is real for all t R. On the other hand, if e ta is a real matrix for every t R, we have that A = d e ta I dt (eta ) t=0 = lim t 0 t should be also real, because e ta I t M n (R) and M n (R) is a closed topological space. Therefore, gl(n, R) = M n (R). This argument will work for all real valued matrix Lie groups. It shows that: matrix Lie group is REAL = its Lie algebra is REAL. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

50 The Lie algebra of special linear group SL(n, F) det(e ta ) = e t trace(a). So trace(a) = 0, if e ta SL(n, C). On the other hand, if trace(a) = 0, det(e ta ) = e t trace(a) = 1 and so e ta SL(n, C). sl(n, C) = {A M n (C) : trace(a) = 0}. Similarly for SL(n, R), sl(n, R) = {A M n (R) : trace(a) = 0}. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

51 The Lie algebra of special linear group SL(n, F) det(e ta ) = e t trace(a). So trace(a) = 0, if e ta SL(n, C). On the other hand, if trace(a) = 0, det(e ta ) = e t trace(a) = 1 and so e ta SL(n, C). sl(n, C) = {A M n (C) : trace(a) = 0}. Similarly for SL(n, R), sl(n, R) = {A M n (R) : trace(a) = 0}. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

52 Special Unitary groups. e ta SU(n) if for each t R, (e ta ) = (e ta ) 1 = e ta. Also (e ta ) = e ta. Since e ta = e ta, we have A = d dt (eta ) t=0 = d dt (e ta ) t=0 = A. On the other hand, if A = A (e ta ) = (e ta ) = e ta = (e ta ) 1 which implies that A belong to the Lie algebra of SU(n). So su(n) = {A M n (C) : A = A and trace(a) = 0}. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

53 Orthogonal and Special orthogonal group We can definitely predict that o(n) and so(n), the Lie algebras of O(n) and SO(n) respectively, are real matrices. If A tr = A, for all t R. So A o(n). (e ta ) tr = e tatr = e ta = (e ta ) 1 Conversely, if A o(n), for each t we have e ta = (e ta ) 1 = (e ta ) tr = e tatr. If we get derivative from this equation for t = 0 we have A = d dt (e ta ) t=0 = d dt (etatr ) t=0 = A tr. Also note that A tr = A forces the entries of the main diagonal to be zero, so automatically trace(a) = 0. Therefore, o(n) = so(n) = {A M n (R) : A tr = A}. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

54 Orthogonal and Special orthogonal group We can definitely predict that o(n) and so(n), the Lie algebras of O(n) and SO(n) respectively, are real matrices. If A tr = A, for all t R. So A o(n). (e ta ) tr = e tatr = e ta = (e ta ) 1 Conversely, if A o(n), for each t we have e ta = (e ta ) 1 = (e ta ) tr = e tatr. If we get derivative from this equation for t = 0 we have A = d dt (e ta ) t=0 = d dt (etatr ) t=0 = A tr. Also note that A tr = A forces the entries of the main diagonal to be zero, so automatically trace(a) = 0. Therefore, o(n) = so(n) = {A M n (R) : A tr = A}. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

55 Outline 1 Matrix Lie groups 2 Matrix exponential 3 Lie algebra of a matrix Lie group 4 Lie algebra of some famous matrix Lie groups 5 Geometric interpretation Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

56 Lie groups Manifold A manifold is a second countable Hausdorff topological space M that is locally homemorphic to an open subset of R n. What does it mean? It means that for each point x M there exists a neighborhood U of x and a homeomorphism φ from U onto some open set in R n. Definition of Lie group A Lie group G is a group as well as a manifold so that the group operation i.e. (x, y) xy and the mapping inverse of the group i.e. x x 1 both are smooth functions. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

57 Matrix Lie groups are Lie groups GL(n, C) is a Lie group We know that det : M n (C) C is a continuous map; therefore, GL(n, C) = det 1 (C \ {0}) is an open subset of C n ( R 2n ). Moreover, if we look at matrix product as a combination of coordinate wise multiplication, we can judge that this product is smooth. Consequently, the process of generating the inverse of a matrix is a smooth function. Hence, GL(n, C) is a Lie group. Every closed subgroup of Lie group G is a Lie group. But the definition of linear Lie group implies that every matrix Lie group indeed is a Lie group, since it forms a closed subgroup of GL(n, C) for some n. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

58 Matrix Lie groups are Lie groups GL(n, C) is a Lie group We know that det : M n (C) C is a continuous map; therefore, GL(n, C) = det 1 (C \ {0}) is an open subset of C n ( R 2n ). Moreover, if we look at matrix product as a combination of coordinate wise multiplication, we can judge that this product is smooth. Consequently, the process of generating the inverse of a matrix is a smooth function. Hence, GL(n, C) is a Lie group. Every closed subgroup of Lie group G is a Lie group. But the definition of linear Lie group implies that every matrix Lie group indeed is a Lie group, since it forms a closed subgroup of GL(n, C) for some n. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

59 The tangent space of Lie groups SO(2) is nothing but the simplest manifold, a circle! For each matrix A so(2), we have that A = So so(2) is bijective with R [ 0 a a 0 ] for some a R. The tangent line at the identity of the group SO(2) is bijective with so(2). Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

60 Indeed, general theory of Lie groups shows that for each Lie group G, the tangent space of G at the identity of the group is bijective with a Lie algebra. Specially for matrix Lie group G, the tangent space of G at the identity of the group is bijective with g. Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

61 References. HALL, BRIAN C., Lie groups, Lie algebras, and representations. An elementary introduction. Graduate Texts in Mathematics, 222. Springer-Verlag, New York, SEPANSKI, MARK R., Compact Lie groups. Graduate Texts in Mathematics, 235. Springer, New York, STILLWELL, JOHN, Naive Lie theory. Undergraduate Texts in Mathematics. Springer, New York, WESTRA, D. B., SU(2) and SO(3), westra/so3su2.pdf. Cartoons from Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

62 Thank You! Mahmood Alaghmandan (U of S) Matrix Lie groups and their Lie algebras March / 36

Symmetric Spaces Toolkit

Symmetric Spaces Toolkit Symmetric Spaces Toolkit SFB/TR12 Langeoog, Nov. 1st 7th 2007 H. Sebert, S. Mandt Contents 1 Lie Groups and Lie Algebras 2 1.1 Matrix Lie Groups........................ 2 1.2 Lie Group Homomorphisms...................

More information

Topics in Representation Theory: Lie Groups, Lie Algebras and the Exponential Map

Topics in Representation Theory: Lie Groups, Lie Algebras and the Exponential Map Topics in Representation Theory: Lie Groups, Lie Algebras and the Exponential Map Most of the groups we will be considering this semester will be matrix groups, i.e. subgroups of G = Aut(V ), the group

More information

Basic Concepts of Group Theory

Basic Concepts of Group Theory Chapter 1 Basic Concepts of Group Theory The theory of groups and vector spaces has many important applications in a number of branches of modern theoretical physics. These include the formal theory of

More information

MATRIX LIE GROUPS AND LIE GROUPS

MATRIX LIE GROUPS AND LIE GROUPS MATRIX LIE GROUPS AND LIE GROUPS Steven Sy December 7, 2005 I MATRIX LIE GROUPS Definition: A matrix Lie group is a closed subgroup of Thus if is any sequence of matrices in, and for some, then either

More information

Differential Topology Final Exam With Solutions

Differential Topology Final Exam With Solutions Differential Topology Final Exam With Solutions Instructor: W. D. Gillam Date: Friday, May 20, 2016, 13:00 (1) Let X be a subset of R n, Y a subset of R m. Give the definitions of... (a) smooth function

More information

THE EULER CHARACTERISTIC OF A LIE GROUP

THE EULER CHARACTERISTIC OF A LIE GROUP THE EULER CHARACTERISTIC OF A LIE GROUP JAY TAYLOR 1 Examples of Lie Groups The following is adapted from [2] We begin with the basic definition and some core examples Definition A Lie group is a smooth

More information

LECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS. 1. Lie groups

LECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS. 1. Lie groups LECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS 1. Lie groups A Lie group is a special smooth manifold on which there is a group structure, and moreover, the two structures are compatible. Lie groups are

More information

1 Smooth manifolds and Lie groups

1 Smooth manifolds and Lie groups An undergraduate approach to Lie theory Slide 1 Andrew Baker, Glasgow Glasgow, 12/11/1999 1 Smooth manifolds and Lie groups A continuous g : V 1 V 2 with V k R m k open is called smooth if it is infinitely

More information

Notes on Lie Groups, Lie algebras, and the Exponentiation Map Mitchell Faulk

Notes on Lie Groups, Lie algebras, and the Exponentiation Map Mitchell Faulk Notes on Lie Groups, Lie algebras, an the Exponentiation Map Mitchell Faulk 1. Preliminaries. In these notes, we concern ourselves with special objects calle matrix Lie groups an their corresponing Lie

More information

Representations of Matrix Lie Algebras

Representations of Matrix Lie Algebras Representations of Matrix Lie Algebras Alex Turzillo REU Apprentice Program, University of Chicago aturzillo@uchicago.edu August 00 Abstract Building upon the concepts of the matrix Lie group and the matrix

More information

MANIFOLD STRUCTURES IN ALGEBRA

MANIFOLD STRUCTURES IN ALGEBRA MANIFOLD STRUCTURES IN ALGEBRA MATTHEW GARCIA 1. Definitions Our aim is to describe the manifold structure on classical linear groups and from there deduce a number of results. Before we begin we make

More information

(g 1, g 2 ) g 1 g 2. i : G G

(g 1, g 2 ) g 1 g 2. i : G G 1 Lie Groups Definition (4.1 1 A Lie Group G is a set that is a group a differential manifold with the property that and are smooth. µ : G G G (g 1, g 2 g 1 g 2 i : G G g g 1 Definition (4.1 2 A Lie Subgroup

More information

Math 215B: Solutions 1

Math 215B: Solutions 1 Math 15B: Solutions 1 Due Thursday, January 18, 018 (1) Let π : X X be a covering space. Let Φ be a smooth structure on X. Prove that there is a smooth structure Φ on X so that π : ( X, Φ) (X, Φ) is an

More information

THEODORE VORONOV DIFFERENTIABLE MANIFOLDS. Fall Last updated: November 26, (Under construction.)

THEODORE VORONOV DIFFERENTIABLE MANIFOLDS. Fall Last updated: November 26, (Under construction.) 4 Vector fields Last updated: November 26, 2009. (Under construction.) 4.1 Tangent vectors as derivations After we have introduced topological notions, we can come back to analysis on manifolds. Let M

More information

2 Constructions of manifolds. (Solutions)

2 Constructions of manifolds. (Solutions) 2 Constructions of manifolds. (Solutions) Last updated: February 16, 2012. Problem 1. The state of a double pendulum is entirely defined by the positions of the moving ends of the two simple pendula of

More information

Notation. For any Lie group G, we set G 0 to be the connected component of the identity.

Notation. For any Lie group G, we set G 0 to be the connected component of the identity. Notation. For any Lie group G, we set G 0 to be the connected component of the identity. Problem 1 Prove that GL(n, R) is homotopic to O(n, R). (Hint: Gram-Schmidt Orthogonalization.) Here is a sequence

More information

These notes are incomplete they will be updated regularly.

These notes are incomplete they will be updated regularly. These notes are incomplete they will be updated regularly. LIE GROUPS, LIE ALGEBRAS, AND REPRESENTATIONS SPRING SEMESTER 2008 RICHARD A. WENTWORTH Contents 1. Lie groups and Lie algebras 2 1.1. Definition

More information

Differential Topology Solution Set #2

Differential Topology Solution Set #2 Differential Topology Solution Set #2 Select Solutions 1. Show that X compact implies that any smooth map f : X Y is proper. Recall that a space is called compact if, for every cover {U } by open sets

More information

Supplement to Section 22. Topological Groups

Supplement to Section 22. Topological Groups 22S. Topological Groups 1 Supplement to Section 22. Topological Groups Note. In this supplement, we define topological groups, give some examples, and prove some of the exercises from Munkres. Definition.

More information

Introduction to Lie Groups

Introduction to Lie Groups Introduction to Lie Groups MAT 4144/5158 Winter 2015 Alistair Savage Department of Mathematics and Statistics University of Ottawa This work is licensed under a Creative Commons Attribution-ShareAlike

More information

arxiv:math-ph/ v1 31 May 2000

arxiv:math-ph/ v1 31 May 2000 An Elementary Introduction to Groups and Representations arxiv:math-ph/0005032v1 31 May 2000 Author address: Brian C. Hall University of Notre Dame, Department of Mathematics, Notre Dame IN 46556 USA E-mail

More information

Jean Gallier Department of Computer and Information Science University of Pennsylvania Philadelphia, PA 19104, USA

Jean Gallier Department of Computer and Information Science University of Pennsylvania Philadelphia, PA 19104, USA Linear Algebra, Manifolds, Riemannian Metrics, Lie Groups and Lie algebra, with Applications to Robotics, Vision and Machine Learning CIS610, Fall 2015 Jean Gallier Department of Computer and Information

More information

Methods in Computer Vision: Introduction to Matrix Lie Groups

Methods in Computer Vision: Introduction to Matrix Lie Groups Methods in Computer Vision: Introduction to Matrix Lie Groups Oren Freifeld Computer Science, Ben-Gurion University June 14, 2017 June 14, 2017 1 / 46 Definition and Basic Properties Definition (Matrix

More information

LECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI. 1. Maximal Tori

LECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI. 1. Maximal Tori LECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI 1. Maximal Tori By a torus we mean a compact connected abelian Lie group, so a torus is a Lie group that is isomorphic to T n = R n /Z n. Definition 1.1.

More information

Review problems for MA 54, Fall 2004.

Review problems for MA 54, Fall 2004. Review problems for MA 54, Fall 2004. Below are the review problems for the final. They are mostly homework problems, or very similar. If you are comfortable doing these problems, you should be fine on

More information

An homomorphism to a Lie algebra of matrices is called a represetation. A representation is faithful if it is an isomorphism.

An homomorphism to a Lie algebra of matrices is called a represetation. A representation is faithful if it is an isomorphism. Lecture 3 1. LIE ALGEBRAS 1.1. A Lie algebra is a vector space along with a map [.,.] : L L L such that, [αa + βb,c] = α[a,c] + β[b,c] bi linear [a,b] = [b,a] Anti symmetry [[a,b],c] + [[b,c],a][[c,a],b]

More information

1: Lie groups Matix groups, Lie algebras

1: Lie groups Matix groups, Lie algebras Lie Groups and Bundles 2014/15 BGSMath 1: Lie groups Matix groups, Lie algebras 1. Prove that O(n) is Lie group and that its tangent space at I O(n) is isomorphic to the space so(n) of skew-symmetric matrices

More information

Definition 5.1. A vector field v on a manifold M is map M T M such that for all x M, v(x) T x M.

Definition 5.1. A vector field v on a manifold M is map M T M such that for all x M, v(x) T x M. 5 Vector fields Last updated: March 12, 2012. 5.1 Definition and general properties We first need to define what a vector field is. Definition 5.1. A vector field v on a manifold M is map M T M such that

More information

Geometry of the Special Unitary Group

Geometry of the Special Unitary Group Geometry of the Special Unitary Group The elements of SU 2 are the unitary 2 2 matrices with determinant 1. It is not hard to see that they have the form a 1) ) b, b ā with āa+bb = 1. This is the transpose

More information

Introduction to Group Theory

Introduction to Group Theory Chapter 10 Introduction to Group Theory Since symmetries described by groups play such an important role in modern physics, we will take a little time to introduce the basic structure (as seen by a physicist)

More information

Algebra I Fall 2007

Algebra I Fall 2007 MIT OpenCourseWare http://ocw.mit.edu 18.701 Algebra I Fall 007 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.701 007 Geometry of the Special Unitary

More information

Problems in Linear Algebra and Representation Theory

Problems in Linear Algebra and Representation Theory Problems in Linear Algebra and Representation Theory (Most of these were provided by Victor Ginzburg) The problems appearing below have varying level of difficulty. They are not listed in any specific

More information

LIE GROUPS, LIE ALGEBRAS, AND APPLICATIONS IN PHYSICS

LIE GROUPS, LIE ALGEBRAS, AND APPLICATIONS IN PHYSICS LIE GROUPS, LIE ALGEBRAS, AND APPLICATIONS IN PHYSICS JOO HEON YOO Abstract. This paper introduces basic concepts from representation theory, Lie group, Lie algebra, and topology and their applications

More information

A Lie Group. These notes introduce SU(2) as an example of a compact Lie group. SU(2) = { A A a 2 2 complex matrix,deta = 1,AA = A A = 1l }

A Lie Group. These notes introduce SU(2) as an example of a compact Lie group. SU(2) = { A A a 2 2 complex matrix,deta = 1,AA = A A = 1l } A Lie Group The Definition These notes introduce SU2) as an example of a compact Lie group. The definition of SU2) is SU2) { A A 2 complex matrixdeta 1AA A A 1l } In the name SU2) the S stands for special

More information

NOTES on LINEAR ALGEBRA 1

NOTES on LINEAR ALGEBRA 1 School of Economics, Management and Statistics University of Bologna Academic Year 207/8 NOTES on LINEAR ALGEBRA for the students of Stats and Maths This is a modified version of the notes by Prof Laura

More information

CHAPTER 3 SUBMANIFOLDS

CHAPTER 3 SUBMANIFOLDS CHAPTER 3 SUBMANIFOLDS One basic notion that was not addressed in Chapter 1 is the concept of containment: When one manifold is a subset on a second manifold. This notion is subtle in a manner the reader

More information

Terse Notes on Riemannian Geometry

Terse Notes on Riemannian Geometry Terse Notes on Riemannian Geometry Tom Fletcher January 26, 2010 These notes cover the basics of Riemannian geometry, Lie groups, and symmetric spaces. This is just a listing of the basic definitions and

More information

LIE ALGEBRAS AND LIE BRACKETS OF LIE GROUPS MATRIX GROUPS QIZHEN HE

LIE ALGEBRAS AND LIE BRACKETS OF LIE GROUPS MATRIX GROUPS QIZHEN HE LIE ALGEBRAS AND LIE BRACKETS OF LIE GROUPS MATRIX GROUPS QIZHEN HE Abstract. The goal of this paper is to study Lie groups, specifically matrix groups. We will begin by introducing two examples: GL n

More information

Chapter 2. Introduction to Manifolds and Classical Lie Groups

Chapter 2. Introduction to Manifolds and Classical Lie Groups Chapter 2 Introduction to Manifolds and Classical Lie Groups Le rôle prépondérant de la théorie des groupes en mathématiques a été longtemps insoupçonné; il y a quatre-vingts ans, le nom même de groupe

More information

8. COMPACT LIE GROUPS AND REPRESENTATIONS

8. COMPACT LIE GROUPS AND REPRESENTATIONS 8. COMPACT LIE GROUPS AND REPRESENTATIONS. Abelian Lie groups.. Theorem. Assume G is a Lie group and g its Lie algebra. Then G 0 is abelian iff g is abelian... Proof.. Let 0 U g and e V G small (symmetric)

More information

Quantum Field Theory III

Quantum Field Theory III Quantum Field Theory III Prof. Erick Weinberg January 19, 2011 1 Lecture 1 1.1 Structure We will start with a bit of group theory, and we will talk about spontaneous symmetry broken. Then we will talk

More information

Symmetric and anti symmetric matrices

Symmetric and anti symmetric matrices Symmetric and anti symmetric matrices In linear algebra, a symmetric matrix is a square matrix that is equal to its transpose. Formally, matrix A is symmetric if. A = A Because equal matrices have equal

More information

Spring 2018 CIS 610. Advanced Geometric Methods in Computer Science Jean Gallier Homework 3

Spring 2018 CIS 610. Advanced Geometric Methods in Computer Science Jean Gallier Homework 3 Spring 2018 CIS 610 Advanced Geometric Methods in Computer Science Jean Gallier Homework 3 March 20; Due April 5, 2018 Problem B1 (80). This problem is from Knapp, Lie Groups Beyond an Introduction, Introduction,

More information

Eigenvalues and Eigenvectors

Eigenvalues and Eigenvectors Sec. 6.1 Eigenvalues and Eigenvectors Linear transformations L : V V that go from a vector space to itself are often called linear operators. Many linear operators can be understood geometrically by identifying

More information

CLASSICAL GROUPS DAVID VOGAN

CLASSICAL GROUPS DAVID VOGAN CLASSICAL GROUPS DAVID VOGAN 1. Orthogonal groups These notes are about classical groups. That term is used in various ways by various people; I ll try to say a little about that as I go along. Basically

More information

REPRESENTATION THEORY WEEK 7

REPRESENTATION THEORY WEEK 7 REPRESENTATION THEORY WEEK 7 1. Characters of L k and S n A character of an irreducible representation of L k is a polynomial function constant on every conjugacy class. Since the set of diagonalizable

More information

Review of linear algebra

Review of linear algebra Review of linear algebra 1 Vectors and matrices We will just touch very briefly on certain aspects of linear algebra, most of which should be familiar. Recall that we deal with vectors, i.e. elements of

More information

Matrices. In this chapter: matrices, determinants. inverse matrix

Matrices. In this chapter: matrices, determinants. inverse matrix Matrices In this chapter: matrices, determinants inverse matrix 1 1.1 Matrices A matrix is a retangular array of numbers. Rows: horizontal lines. A = a 11 a 12 a 13 a 21 a 22 a 23 a 31 a 32 a 33 a 41 a

More information

Diagonalizing Matrices

Diagonalizing Matrices Diagonalizing Matrices Massoud Malek A A Let A = A k be an n n non-singular matrix and let B = A = [B, B,, B k,, B n ] Then A n A B = A A 0 0 A k [B, B,, B k,, B n ] = 0 0 = I n 0 A n Notice that A i B

More information

Differential Topology Solution Set #3

Differential Topology Solution Set #3 Differential Topology Solution Set #3 Select Solutions 1. Chapter 1, Section 4, #7 2. Chapter 1, Section 4, #8 3. Chapter 1, Section 4, #11(a)-(b) #11(a) The n n matrices with determinant 1 form a group

More information

MATH 31 - ADDITIONAL PRACTICE PROBLEMS FOR FINAL

MATH 31 - ADDITIONAL PRACTICE PROBLEMS FOR FINAL MATH 3 - ADDITIONAL PRACTICE PROBLEMS FOR FINAL MAIN TOPICS FOR THE FINAL EXAM:. Vectors. Dot product. Cross product. Geometric applications. 2. Row reduction. Null space, column space, row space, left

More information

Review of Linear Algebra Definitions, Change of Basis, Trace, Spectral Theorem

Review of Linear Algebra Definitions, Change of Basis, Trace, Spectral Theorem Review of Linear Algebra Definitions, Change of Basis, Trace, Spectral Theorem Steven J. Miller June 19, 2004 Abstract Matrices can be thought of as rectangular (often square) arrays of numbers, or as

More information

QUATERNIONS AND ROTATIONS

QUATERNIONS AND ROTATIONS QUATERNIONS AND ROTATIONS SVANTE JANSON 1. Introduction The purpose of this note is to show some well-known relations between quaternions and the Lie groups SO(3) and SO(4) (rotations in R 3 and R 4 )

More information

18.06 Problem Set 8 - Solutions Due Wednesday, 14 November 2007 at 4 pm in

18.06 Problem Set 8 - Solutions Due Wednesday, 14 November 2007 at 4 pm in 806 Problem Set 8 - Solutions Due Wednesday, 4 November 2007 at 4 pm in 2-06 08 03 Problem : 205+5+5+5 Consider the matrix A 02 07 a Check that A is a positive Markov matrix, and find its steady state

More information

Quantum Computing Lecture 2. Review of Linear Algebra

Quantum Computing Lecture 2. Review of Linear Algebra Quantum Computing Lecture 2 Review of Linear Algebra Maris Ozols Linear algebra States of a quantum system form a vector space and their transformations are described by linear operators Vector spaces

More information

GENERAL ARTICLE Realm of Matrices

GENERAL ARTICLE Realm of Matrices Realm of Matrices Exponential and Logarithm Functions Debapriya Biswas Debapriya Biswas is an Assistant Professor at the Department of Mathematics, IIT- Kharagpur, West Bengal, India. Her areas of interest

More information

GQE ALGEBRA PROBLEMS

GQE ALGEBRA PROBLEMS GQE ALGEBRA PROBLEMS JAKOB STREIPEL Contents. Eigenthings 2. Norms, Inner Products, Orthogonality, and Such 6 3. Determinants, Inverses, and Linear (In)dependence 4. (Invariant) Subspaces 3 Throughout

More information

Unbounded operators in the context of C -algebras

Unbounded operators in the context of C -algebras Unbounded operators in the context of C -algebras Department of Mathematical Methods in Physics Faculty of Physics, Warsaw University Bȩdlewo, 23.07.2009 Affiliation relation η Murray, von Neumann: W -algebra

More information

Fall, 2003 CIS 610. Advanced geometric methods. Homework 3. November 11, 2003; Due November 25, beginning of class

Fall, 2003 CIS 610. Advanced geometric methods. Homework 3. November 11, 2003; Due November 25, beginning of class Fall, 2003 CIS 610 Advanced geometric methods Homework 3 November 11, 2003; Due November 25, beginning of class You may work in groups of 2 or 3 Please, write up your solutions as clearly and concisely

More information

Final Review Sheet. B = (1, 1 + 3x, 1 + x 2 ) then 2 + 3x + 6x 2

Final Review Sheet. B = (1, 1 + 3x, 1 + x 2 ) then 2 + 3x + 6x 2 Final Review Sheet The final will cover Sections Chapters 1,2,3 and 4, as well as sections 5.1-5.4, 6.1-6.2 and 7.1-7.3 from chapters 5,6 and 7. This is essentially all material covered this term. Watch

More information

Physics 129B, Winter 2010 Problem Set 4 Solution

Physics 129B, Winter 2010 Problem Set 4 Solution Physics 9B, Winter Problem Set 4 Solution H-J Chung March 8, Problem a Show that the SUN Lie algebra has an SUN subalgebra b The SUN Lie group consists of N N unitary matrices with unit determinant Thus,

More information

1. Foundations of Numerics from Advanced Mathematics. Linear Algebra

1. Foundations of Numerics from Advanced Mathematics. Linear Algebra Foundations of Numerics from Advanced Mathematics Linear Algebra Linear Algebra, October 23, 22 Linear Algebra Mathematical Structures a mathematical structure consists of one or several sets and one or

More information

An Introduction of Basic Lie theory

An Introduction of Basic Lie theory An Introduction of Basic Lie theory Yuzheng Zhuang 02 June 2012 1 Introduction Lie theory, initially developed by Sophus Lie, is a fundamental part of mathematics. The areas it touches contain classical,

More information

Elementary maths for GMT

Elementary maths for GMT Elementary maths for GMT Linear Algebra Part 2: Matrices, Elimination and Determinant m n matrices The system of m linear equations in n variables x 1, x 2,, x n a 11 x 1 + a 12 x 2 + + a 1n x n = b 1

More information

Since a matrix is invertible if and only if its determinant is nonzero, we can also write. GL(n) = {A R n n : deta 0}. (2)

Since a matrix is invertible if and only if its determinant is nonzero, we can also write. GL(n) = {A R n n : deta 0}. (2) MATHEMATICS 7302 (Analytical Dynamics) YEAR 2016 2017, TERM 2 HANDOUT #13: INTRODUCTION TO THE ROTATION GROUP 1 Lie groups As mentioned in Handout #11, the general framework for studying symmetry in mathematics

More information

Symmetries, Fields and Particles. Examples 1.

Symmetries, Fields and Particles. Examples 1. Symmetries, Fields and Particles. Examples 1. 1. O(n) consists of n n real matrices M satisfying M T M = I. Check that O(n) is a group. U(n) consists of n n complex matrices U satisfying U U = I. Check

More information

2 Lie Groups. Contents

2 Lie Groups. Contents 2 Lie Groups Contents 2.1 Algebraic Properties 25 2.2 Topological Properties 27 2.3 Unification of Algebra and Topology 29 2.4 Unexpected Simplification 31 2.5 Conclusion 31 2.6 Problems 32 Lie groups

More information

Symmetries, Fields and Particles 2013 Solutions

Symmetries, Fields and Particles 2013 Solutions Symmetries, Fields and Particles 013 Solutions Yichen Shi Easter 014 1. (a) Define the groups SU() and SO(3), and find their Lie algebras. Show that these Lie algebras, including their bracket structure,

More information

Math Abstract Linear Algebra Fall 2011, section E1 Practice Final. This is a (long) practice exam. The real exam will consist of 6 problems.

Math Abstract Linear Algebra Fall 2011, section E1 Practice Final. This is a (long) practice exam. The real exam will consist of 6 problems. Math 416 - Abstract Linear Algebra Fall 2011, section E1 Practice Final Name: This is a (long) practice exam. The real exam will consist of 6 problems. In the real exam, no calculators, electronic devices,

More information

Clifford Algebras and Spin Groups

Clifford Algebras and Spin Groups Clifford Algebras and Spin Groups Math G4344, Spring 2012 We ll now turn from the general theory to examine a specific class class of groups: the orthogonal groups. Recall that O(n, R) is the group of

More information

1. What is the determinant of the following matrix? a 1 a 2 4a 3 2a 2 b 1 b 2 4b 3 2b c 1. = 4, then det

1. What is the determinant of the following matrix? a 1 a 2 4a 3 2a 2 b 1 b 2 4b 3 2b c 1. = 4, then det What is the determinant of the following matrix? 3 4 3 4 3 4 4 3 A 0 B 8 C 55 D 0 E 60 If det a a a 3 b b b 3 c c c 3 = 4, then det a a 4a 3 a b b 4b 3 b c c c 3 c = A 8 B 6 C 4 D E 3 Let A be an n n matrix

More information

Linear Algebra Review. Vectors

Linear Algebra Review. Vectors Linear Algebra Review 9/4/7 Linear Algebra Review By Tim K. Marks UCSD Borrows heavily from: Jana Kosecka http://cs.gmu.edu/~kosecka/cs682.html Virginia de Sa (UCSD) Cogsci 8F Linear Algebra review Vectors

More information

Master Algèbre géométrie et théorie des nombres Final exam of differential geometry Lecture notes allowed

Master Algèbre géométrie et théorie des nombres Final exam of differential geometry Lecture notes allowed Université de Bordeaux U.F. Mathématiques et Interactions Master Algèbre géométrie et théorie des nombres Final exam of differential geometry 2018-2019 Lecture notes allowed Exercise 1 We call H (like

More information

Notes on Group Theory Lie Groups, Lie Algebras, and Linear Representations

Notes on Group Theory Lie Groups, Lie Algebras, and Linear Representations Contents Notes on Group Theory Lie Groups, Lie Algebras, and Linear Representations Andrew Forrester January 28, 2009 1 Physics 231B 1 2 Questions 1 2.1 Basic Questions...........................................

More information

Math Computation Test 1 September 26 th, 2016 Debate: Computation vs. Theory Whatever wins, it ll be Huuuge!

Math Computation Test 1 September 26 th, 2016 Debate: Computation vs. Theory Whatever wins, it ll be Huuuge! Math 5- Computation Test September 6 th, 6 Debate: Computation vs. Theory Whatever wins, it ll be Huuuge! Name: Answer Key: Making Math Great Again Be sure to show your work!. (8 points) Consider the following

More information

Linear Algebra Highlights

Linear Algebra Highlights Linear Algebra Highlights Chapter 1 A linear equation in n variables is of the form a 1 x 1 + a 2 x 2 + + a n x n. We can have m equations in n variables, a system of linear equations, which we want to

More information

STRUCTURE AND DECOMPOSITIONS OF THE LINEAR SPAN OF GENERALIZED STOCHASTIC MATRICES

STRUCTURE AND DECOMPOSITIONS OF THE LINEAR SPAN OF GENERALIZED STOCHASTIC MATRICES Communications on Stochastic Analysis Vol 9, No 2 (2015) 239-250 Serials Publications wwwserialspublicationscom STRUCTURE AND DECOMPOSITIONS OF THE LINEAR SPAN OF GENERALIZED STOCHASTIC MATRICES ANDREAS

More information

Exercise Sheet 1.

Exercise Sheet 1. Exercise Sheet 1 You can download my lecture and exercise sheets at the address http://sami.hust.edu.vn/giang-vien/?name=huynt 1) Let A, B be sets. What does the statement "A is not a subset of B " mean?

More information

Part III Symmetries, Fields and Particles

Part III Symmetries, Fields and Particles Part III Symmetries, Fields and Particles Theorems Based on lectures by N. Dorey Notes taken by Dexter Chua Michaelmas 2016 These notes are not endorsed by the lecturers, and I have modified them (often

More information

Lie Matrix Groups: The Flip Transpose Group

Lie Matrix Groups: The Flip Transpose Group Rose-Hulman Undergraduate Mathematics Journal Volume 16 Issue 1 Article 6 Lie Matrix Groups: The Flip Transpose Group Madeline Christman California Lutheran University Follow this and additional works

More information

HOMEWORK PROBLEMS FROM STRANG S LINEAR ALGEBRA AND ITS APPLICATIONS (4TH EDITION)

HOMEWORK PROBLEMS FROM STRANG S LINEAR ALGEBRA AND ITS APPLICATIONS (4TH EDITION) HOMEWORK PROBLEMS FROM STRANG S LINEAR ALGEBRA AND ITS APPLICATIONS (4TH EDITION) PROFESSOR STEVEN MILLER: BROWN UNIVERSITY: SPRING 2007 1. CHAPTER 1: MATRICES AND GAUSSIAN ELIMINATION Page 9, # 3: Describe

More information

Lecture 10: A (Brief) Introduction to Group Theory (See Chapter 3.13 in Boas, 3rd Edition)

Lecture 10: A (Brief) Introduction to Group Theory (See Chapter 3.13 in Boas, 3rd Edition) Lecture 0: A (Brief) Introduction to Group heory (See Chapter 3.3 in Boas, 3rd Edition) Having gained some new experience with matrices, which provide us with representations of groups, and because symmetries

More information

SYMPLECTIC MANIFOLDS, GEOMETRIC QUANTIZATION, AND UNITARY REPRESENTATIONS OF LIE GROUPS. 1. Introduction

SYMPLECTIC MANIFOLDS, GEOMETRIC QUANTIZATION, AND UNITARY REPRESENTATIONS OF LIE GROUPS. 1. Introduction SYMPLECTIC MANIFOLDS, GEOMETRIC QUANTIZATION, AND UNITARY REPRESENTATIONS OF LIE GROUPS CRAIG JACKSON 1. Introduction Generally speaking, geometric quantization is a scheme for associating Hilbert spaces

More information

1. General Vector Spaces

1. General Vector Spaces 1.1. Vector space axioms. 1. General Vector Spaces Definition 1.1. Let V be a nonempty set of objects on which the operations of addition and scalar multiplication are defined. By addition we mean a rule

More information

ALGEBRAIC GROUPS J. WARNER

ALGEBRAIC GROUPS J. WARNER ALGEBRAIC GROUPS J. WARNER Let k be an algebraically closed field. varieties unless otherwise stated. 1. Definitions and Examples For simplicity we will work strictly with affine Definition 1.1. An algebraic

More information

MATH 235. Final ANSWERS May 5, 2015

MATH 235. Final ANSWERS May 5, 2015 MATH 235 Final ANSWERS May 5, 25. ( points) Fix positive integers m, n and consider the vector space V of all m n matrices with entries in the real numbers R. (a) Find the dimension of V and prove your

More information

LIE GROUPS AND ALGEBRAS IN PARTICLE PHYSICS

LIE GROUPS AND ALGEBRAS IN PARTICLE PHYSICS Treball final de grau GRAU DE MATEMÀTIQUES Facultat de Matemàtiques i Informàtica Universitat de Barcelona LIE GROUPS AND ALGEBRAS IN PARTICLE PHYSICS Autora: Joana Fraxanet Morales Director: Dra. Laura

More information

MATH Topics in Applied Mathematics Lecture 12: Evaluation of determinants. Cross product.

MATH Topics in Applied Mathematics Lecture 12: Evaluation of determinants. Cross product. MATH 311-504 Topics in Applied Mathematics Lecture 12: Evaluation of determinants. Cross product. Determinant is a scalar assigned to each square matrix. Notation. The determinant of a matrix A = (a ij

More information

M340L Final Exam Solutions May 13, 1995

M340L Final Exam Solutions May 13, 1995 M340L Final Exam Solutions May 13, 1995 Name: Problem 1: Find all solutions (if any) to the system of equations. Express your answer in vector parametric form. The matrix in other words, x 1 + 2x 3 + 3x

More information

Lie Algebras and Representation Theory. Andreas Čap

Lie Algebras and Representation Theory. Andreas Čap Lie Algebras and Representation Theory Fall Term 2016/17 Andreas Čap Institut für Mathematik, Universität Wien, Nordbergstr. 15, 1090 Wien E-mail address: Andreas.Cap@esi.ac.at Preface Contents Chapter

More information

TOEPLITZ OPERATORS. Toeplitz studied infinite matrices with NW-SE diagonals constant. f e C :

TOEPLITZ OPERATORS. Toeplitz studied infinite matrices with NW-SE diagonals constant. f e C : TOEPLITZ OPERATORS EFTON PARK 1. Introduction to Toeplitz Operators Otto Toeplitz lived from 1881-1940 in Goettingen, and it was pretty rough there, so he eventually went to Palestine and eventually contracted

More information

Changing coordinates to adapt to a map of constant rank

Changing coordinates to adapt to a map of constant rank Introduction to Submanifolds Most manifolds of interest appear as submanifolds of others e.g. of R n. For instance S 2 is a submanifold of R 3. It can be obtained in two ways: 1 as the image of a map into

More information

LINEAR ALGEBRA BOOT CAMP WEEK 4: THE SPECTRAL THEOREM

LINEAR ALGEBRA BOOT CAMP WEEK 4: THE SPECTRAL THEOREM LINEAR ALGEBRA BOOT CAMP WEEK 4: THE SPECTRAL THEOREM Unless otherwise stated, all vector spaces in this worksheet are finite dimensional and the scalar field F is R or C. Definition 1. A linear operator

More information

NATIONAL BOARD FOR HIGHER MATHEMATICS. M. A. and M.Sc. Scholarship Test. September 25, Time Allowed: 150 Minutes Maximum Marks: 30

NATIONAL BOARD FOR HIGHER MATHEMATICS. M. A. and M.Sc. Scholarship Test. September 25, Time Allowed: 150 Minutes Maximum Marks: 30 NATIONAL BOARD FOR HIGHER MATHEMATICS M. A. and M.Sc. Scholarship Test September 25, 2010 Time Allowed: 150 Minutes Maximum Marks: 30 Please read, carefully, the instructions on the following page 1 INSTRUCTIONS

More information

ASSIGNMENT - 1, DEC M.Sc. (FINAL) SECOND YEAR DEGREE MATHEMATICS. Maximum : 20 MARKS Answer ALL questions. is also a topology on X.

ASSIGNMENT - 1, DEC M.Sc. (FINAL) SECOND YEAR DEGREE MATHEMATICS. Maximum : 20 MARKS Answer ALL questions. is also a topology on X. (DM 21) ASSIGNMENT - 1, DEC-2013. PAPER - I : TOPOLOGY AND FUNCTIONAL ANALYSIS Maimum : 20 MARKS 1. (a) Prove that every separable metric space is second countable. Define a topological space. If T 1 and

More information

1 Matrices and Systems of Linear Equations. a 1n a 2n

1 Matrices and Systems of Linear Equations. a 1n a 2n March 31, 2013 16-1 16. Systems of Linear Equations 1 Matrices and Systems of Linear Equations An m n matrix is an array A = (a ij ) of the form a 11 a 21 a m1 a 1n a 2n... a mn where each a ij is a real

More information

DIFFERENTIAL GEOMETRY HW 12

DIFFERENTIAL GEOMETRY HW 12 DIFFERENTIAL GEOMETRY HW 1 CLAY SHONKWILER 3 Find the Lie algebra so(n) of the special orthogonal group SO(n), and the explicit formula for the Lie bracket there. Proof. Since SO(n) is a subgroup of GL(n),

More information

Practice Exam. 2x 1 + 4x 2 + 2x 3 = 4 x 1 + 2x 2 + 3x 3 = 1 2x 1 + 3x 2 + 4x 3 = 5

Practice Exam. 2x 1 + 4x 2 + 2x 3 = 4 x 1 + 2x 2 + 3x 3 = 1 2x 1 + 3x 2 + 4x 3 = 5 Practice Exam. Solve the linear system using an augmented matrix. State whether the solution is unique, there are no solutions or whether there are infinitely many solutions. If the solution is unique,

More information

Bott Periodicity. Anthony Bosman Senior Honors Thesis Department of Mathematics, Stanford University Adviser: Eleny Ionel

Bott Periodicity. Anthony Bosman Senior Honors Thesis Department of Mathematics, Stanford University Adviser: Eleny Ionel Bott Periodicity Anthony Bosman Senior Honors Thesis Department of Mathematics, Stanford University Adviser: Eleny Ionel Acknowledgements This paper is being written as a Senior honors thesis. I m indebted

More information

Math Linear Algebra Final Exam Review Sheet

Math Linear Algebra Final Exam Review Sheet Math 15-1 Linear Algebra Final Exam Review Sheet Vector Operations Vector addition is a component-wise operation. Two vectors v and w may be added together as long as they contain the same number n of

More information