Matrix Lie groups. and their Lie algebras. Mahmood Alaghmandan. A project in fulfillment of the requirement for the Lie algebra course
|
|
- Griffin Copeland
- 5 years ago
- Views:
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 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 informationTopics 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 informationBasic 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 informationMATRIX 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 informationDifferential 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 informationTHE 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 informationLECTURE 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 information1 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 informationNotes 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 informationRepresentations 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 informationMANIFOLD 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
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 informationMath 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 informationTHEODORE 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 information2 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 informationNotation. 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 informationThese 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 informationDifferential 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 informationSupplement 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 informationIntroduction 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 informationarxiv: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 informationJean 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 informationMethods 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 informationLECTURE 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 informationReview 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 informationAn 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 information1: 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 informationDefinition 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 informationGeometry 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 informationIntroduction 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 informationAlgebra 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 informationProblems 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 informationLIE 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 informationA 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 informationNOTES 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 informationCHAPTER 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 informationTerse 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 informationLIE 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 informationChapter 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 information8. 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 informationQuantum 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 informationSymmetric 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 informationSpring 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 informationEigenvalues 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 informationCLASSICAL 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 informationREPRESENTATION 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 informationReview 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 informationMatrices. 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 informationDiagonalizing 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 informationDifferential 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 informationMATH 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 informationReview 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 informationQUATERNIONS 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 information18.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 informationQuantum 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 informationGENERAL 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 informationGQE 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 informationUnbounded 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 informationFall, 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 informationFinal 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 informationPhysics 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 information1. 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 informationAn 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 informationElementary 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 informationSince 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 informationSymmetries, 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 information2 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 informationSymmetries, 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 informationMath 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 informationClifford 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 information1. 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 informationLinear 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 informationMaster 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 informationNotes 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 informationMath 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 informationLinear 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 informationSTRUCTURE 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 informationExercise 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 informationPart 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 informationLie 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 informationHOMEWORK 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 informationLecture 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 informationSYMPLECTIC 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 information1. 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 informationALGEBRAIC 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 informationMATH 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 informationLIE 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 informationMATH 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 informationM340L 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 informationLie 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 informationTOEPLITZ 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 informationChanging 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 informationLINEAR 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 informationNATIONAL 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 informationASSIGNMENT - 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 information1 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 informationDIFFERENTIAL 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 informationPractice 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 informationBott 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 informationMath 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