The four-dimensional rotation group SO(4)
|
|
- Brice Austin
- 6 years ago
- Views:
Transcription
1 The four-dimensional rotation group SO(4) Johan Ernest Mebius April 2008 Abstract Contribution to Wikipedia ( made in July 2005 as of April 24th 2008 URL 1 Geometry of 4D rotations In mathematics SO(4) is the four-dimensional rotation group; that is, the group of rotations about a fixed point in four-dimensional Euclidean space. The name comes from the fact that it is (isomorphic to) the special orthogonal group of order 4. In this article rotation means rotational displacement. For the sake of uniqueness rotation angles are assumed to be in the segment [0, π] except where mentioned or clearly implied by the context otherwise. There are two kinds of 4D rotations: simple rotations and double rotations. 1.1 Simple rotations A simple rotation R about a rotation centre O leaves an entire plane A through O (axis-plane) pointwise invariant. Every plane B that is completely orthogonal (see Notes) to A intersects A in a certain point P. Each such point P is the centre of the 2D rotation induced by R in B. All these 2D rotations have the same rotation angle α. Half-lines from O in the axis-plane A are not displaced; half-lines from O orthogonal to A are displaced through α; all other half-lines are displaced through an angle < α. 1.2 Double rotations A double rotation R about a rotation centre O leaves only O invariant. Any double rotation has at least one pair of completely orthogonal planes A and B through O that are invariant as a whole, i.e. rotated in themselves. In general the rotation angles α in plane A and β in plane B are different. In that case A and B are the only pair of invariant planes, and half-lines from O in A, B are displaced through α, β, and half-lines from O not in A or B are displaced through angles strictly between α and β. 1.3 Isoclinic rotations If the rotation angles of a double rotation are equal then there are infinitely many invariant planes instead of just two, and all half-lines from O are displaced through the same angle. Such rotations are called isoclinic or equiangular rotations, or Clifford displacements. Beware: not all planes through O are invariant under isoclinic rotations; only planes that are spanned by a half-line and the corresponding displaced half-line are invariant. There are two kinds of isoclinic 4D rotations. To see this, consider an isoclinic rotation R, and take an ordered set OU, OX, OY, OZ of mutually perpendicular half-lines at O (denoted as OUXY Z) such that OU and OX span an invariant plane, and therefore OY and OZ also span an invariant plane. Now assume that only the rotation angle α is specified. Then there are in general four isoclinic rotations in planes OUX and OY Z with rotation angle α, depending on the rotation senses in OUX and OY Z. We make the convention that the rotation senses from OU to OX and from OY to OZ are reckoned positive. Then we have the four rotations R 1 (+α, +α), R 2 ( α, α), R 3 (+α, α) and R 4 ( α, +α). R 1 and R 2 are each other s inverses; so are R 3 and R 4. Delft University of Technology, Faculty of Electrical Engineering, Mathematics and Computer Science, P.O.Box 5031, NL 2600 GA Delft, The Netherlands, Phone , jemebius at xs4all dot nl 1
2 Isoclinic rotations with like signs are denoted as left-isoclinic; those with opposite signs as right-isoclinic. The four rotations are pairwise different except if α 0 or α π. The case α 0 corresponds to the non-rotation; α π corresponds to the central inversion. These two elements of SO(4) are the only ones which are left- and right-isoclinic. Left- and right-isocliny defined as above seem to depend on which specific isoclinic rotation was selected. However, when another isoclinic rotation R with its own axes OU X Y Z is selected, then one can always choose the order of U, X, Y, Z such that OUXY Z can be transformed into OU X Y Z by a rotation rather than by a rotationreflection. Therefore, once one has selected a system OU XY Z of axes that is universally denoted as right-handed, one can determine the left or right character of a specific isoclinic rotation. 1.4 Group structure of SO(4) SO(4) is a noncommutative 6-parameter Lie group. Each plane through the rotation centre O is the axis-plane of a commutative subgroup isomorphic to SO(2). All these subgroups are mutually conjugate in SO(4). Each pair of completely orthogonal planes through O is the pair of invariant planes of a commutative subgroup of SO(4) isomorphic to SO(2) SO(2). These groups are maximal tori of SO(4), which are all mutually conjugate in SO(4). All left-isoclinic rotations form a noncommutative subgroup SL 3 of SO(4) which is isomorphic to the multiplicative group S 3 of unit quaternions. All right-isoclinic rotations likewise form a subgroup SR 3 of SO(4) isomorphic to S 3. Both SL 3 and S3 R are maximal subgroups of SO(4). Each left-isoclinic rotation commutes with each right-isoclinic rotation. This implies that there exists a direct product SL 3 S3 R with normal subgroups S3 L and S3 R ; both of the corresponding factor groups are isomorphic to the other factor of the direct product, i.e. isomorphic to S 3. Each 4D rotation R is in two ways the product of left- and right-isoclinic rotations R L and R R. R L and R R are together determined up to the central inversion, i.e. when both R L and R R are multiplied by the central inversion their product is R again. This implies that SL 3 S3 R is the double cover of SO(4) and that S3 L and S3 R are normal subgroups of SO(4). The non-rotation I and the central inversion I form a group C 2 of order 2, which is the centre of SO(4) and of both SL 3 and S3 R. The centre of a group is a normal subgroup of that group. The factor group of C 2 in SO(4) is isomorphic to SO(3) SO(3). The factor groups of C 2 in SL 3 and S3 R are isomorphic to SO(3). The factor groups of SL 3 and S3 R in SO(4) are isomorphic to SO(3). 1.5 Special property of SO(4) among rotation groups in general The odd-dimensional rotation groups do not contain the central inversion and are simple groups. The even-dimensional rotation groups do contain the central inversion I and have the group C 2 {I, I} as their centre. From SO(6) onwards they are almost-simple in the sense that the factor groups of their centres are simple groups. SO(4) is different: there is no conjugation by any element of SO(4) that transforms left- and right-isoclinic rotations into each other. Reflections transform a left-isoclinic rotation into a right-isoclinic one by conjugation, and vice versa. This implies that under the group O(4) of all isometries with fixed point O the subgroups SL 3 and SR 3 are mutually conjugate and so are not normal subgroups of O(4). The 5D rotation group SO(5) and all higher rotation groups contain subgroups isomorphic to O(4). Like SO(4), all even-dimensional rotation groups contain isoclinic rotations. But unlike SO(4), in SO(6) and all higher even-dimensional rotation groups any pair of isoclinic rotations through the same angle is conjugate. The sets of all isoclinic rotations are not even subgroups of SO(2N), let alone normal subgroups. 2 Algebra of 4D rotations SO(4) is commonly identified with the group of orientation-preserving isometric linear mappings of a 4D vector space with inner product over the reals onto itself. With respect to an orthonormal basis in such a space SO(4) is represented as the group of real 4th-order orthogonal matrices with determinant +1. 2
3 2.1 Isoclinic decomposition A 4D rotation given by its matrix is decomposed into a left-isoclinic and a right-isoclinic rotation as follows: Let a 00 a 01 a 02 a 03 a 10 a 11 a 12 a 13 A (1) a 20 a 21 a 22 a 23 a 30 a 31 a 32 a 33 be its matrix with respect to an arbitrary orthonormal basis. Calculate from this the so-called associate matrix M 1 4 a 00 + a 11 + a 22 + a 33 +a 10 a 01 a 32 + a 23 +a 20 + a 31 a 02 a 13 +a 30 a 21 + a 12 a 03 a 10 a 01 + a 32 a 23 a 00 a 11 + a 22 + a 33 +a 30 a 21 a 12 + a 03 a 20 a 31 a 02 a 13 a 20 a 31 a 02 + a 13 a 30 a 21 a 12 a 03 a 00 + a 11 a 22 + a 33 +a 10 + a 01 a 32 a 23 a 30 + a 21 a 12 a 03 +a 20 a 31 + a 02 a 13 a 10 a 01 a 32 a 23 a 00 + a 11 + a 22 a 33. (2) M has rank one and is of unit Euclidean norm as a 16D vector if and only if A is indeed a 4D rotation matrix ([MEBI 2005]). In this case there exist reals a, b, c, d; p, q, r, s such that [ ] ap aq ar as a p q r s bp bq br bs b M (3) cp cq cr cs c dp dq dr ds d and (ap) (ds) 2 (a 2 +b 2 +c 2 +d 2 )(p 2 +q 2 +r 2 +s 2 ) 1. There are exactly two sets of a, b, c, d; p, q, r, s such that a 2 + b 2 + c 2 + d 2 1 and p 2 + q 2 + r 2 + s 2 1. They are each other s opposites. The rotation matrix then equals ap bq cr ds aq bp + cs dr ar bs cp + dq as + br cq dp bp + aq dr + cs bq + ap + ds + cr br + as dp cq bs ar dq + cp A (4) cp + dq + ar bs cq + dp as br cr + ds + ap + bq cs dr + aq bp dp cq + br + as dq cp bs + ar dr cs + bp aq ds + cr + bq + ap a b c d p q r s b a d c q p s r. (5) c d a b r s p q d c b a s r q p This formula is due to Van Elfrinkhof ([ELFI 1897]). The first factor in this decomposition represents a left-isoclinic rotation, the second factor a right-isoclinic rotation. The factors are determined up to the negative 4th-order identity matrix, i.e. the central inversion. 2.2 Relation to quaternions A point in 4D space with Cartesian coordinates (u, x, y, z) may be represented by a quaternion u + xi + yj + zk. A left-isoclinic rotation is represented by left-multiplication by a unit quaternion Q L a + bi + cj + dk. In matrix-vector language this is 3
4 a b c d u b a d c x. (6) c d a b y d c b a z u x y z Likewise, a right-isoclinic rotation is represented by right-multiplication by a unit quaternion Q R p + qi + rj + sk, which is in matrix-vector form u p q r s u x q p s r x. (7) y r s p q y s r q p z z In the preceding section (Isoclinic decomposition) it is shown how a general 4D rotation is split into left- and right-isoclinic factors. In quaternion language Van Elfrinkhof s formula reads u + x i + y j + z k (a + bi + cj + dk)(u + xi + yj + zk)(p + qi + rj + sk), or in symbolic form P Q L P Q R. Quaternion multiplication is associative. Therefore P (Q L P )Q R Q L (P Q R ), which shows that left-isoclinic and right-isoclinic rotations commute. 2.3 The Euler-Rodrigues formula for 3D rotations Our ordinary 3D space is conveniently treated as the subspace with coordinate system OXY Z of the 4D space with coordinate system OU XY Z. Its rotation group is identified with the subgroup of SO(4) consisting of the matrices a 11 a 12 a 13 (8) 0 a 21 a 22 a 23 0 a 31 a 32 a 33 In Van Elfrinkhof s formula in the preceding subsection this restriction to three dimensions leads to p a, q b, r c, s d, or in quaternion representation: Q R Q L Q 1 L ([MEBI 2007]). The 3D rotation matrix then becomes a 11 a 12 a 13 a 2 + b 2 c 2 d 2 2ad + 2bc 2ac + 2bd a 21 a 22 a 23 2ad + 2bc a 2 b 2 + c 2 d 2 2ab + 2cd (9) a 31 a 32 a 33 2ac + 2bd 2ab + 2cd a 2 b 2 c 2 + d 2 with the relation a 2 + b 2 + c 2 + d 2 1, which is the representation of the 3D rotation by its Euler-Rodrigues parameters. The corresponding quaternion formula P QP Q 1, where Q Q L and Q 1 Q R, or, in expanded form: x i + y j + z k (a + bi + cj + dk)(xi + yj + zk)(a bi cj dk) is known as the Hamilton-Cayley formula. 4
5 See also Wikipedia lemma orthogonal matrix orthogonal group rotation group Lorentz group Poincaré group Laplace-Runge-Lenz vector URL Notes Two flat subspaces S 1 and S 2 of dimensions M and N of a Euclidean space S of at least M + N dimensions are called completely orthogonal if every line in S 1 is orthogonal to every line in S 2. If dim(s) M + N then S 1 and S 2 intersect in a single point O. If dim(s) < M +N then S 1 and S 2 may or may not intersect. If dim(s) M +N then a line in S 1 and a line in S 2 may or may not intersect; if they intersect then they intersect in O. Literature: [SCHO 1902] References and background literature ELFR 1897 L. van Elfrinkhof: Eene eigenschap van de orthogonale substitutie van de vierde orde. Handelingen van het 6e Nederlandsch Natuurkundig en Geneeskundig Congres, Delft, (URL not mentioned in original Wikipedia lemma) KLEI 1932 Felix Klein: Elementary Mathematics from an Advanced Standpoint: Arithmetic, Algebra, Analysis. Translated by E.R. Hedrick and C.A. Noble. The Macmillan Company, New York, MANN 1914 Henry Parker Manning: Geometry of four dimensions. The Macmillan Company, Republished unaltered and unabridged by Dover Publications in ( ) ( ) MEBI 2005 Johan E. Mebius: A matrix-based proof of the quaternion representation theorem for four-dimensional rotations. MEBI 2007 Johan E. Mebius: Derivation of the Euler-Rodrigues formula for three-dimensional rotations from the general formula for four-dimensional rotations. SCHO 1902 P. H. Schoute: Mehrdimensionale Geometrie. Volume 1: Die linearen Räume. Leipzig: G. J. Göschensche Verlagshandlung (Sammlung Schubert XXXV), 1902 SCHO 1905 P. H. Schoute: Mehrdimensionale Geometrie. Volume 2: Die Polytope. Leipzig: G. J. Göschensche Verlagshandlung (Sammlung Schubert XXXVI), ( ) In this monograph four-dimensional geometry is developed from first principles in a synthetic axiomatic way. Manning s work can be considered as a direct extension of the works of Euclid and Hilbert to four dimensions. ( ) 5
6 Categories
arxiv:math/ v1 [math.gm] 26 Jan 2007
DERIVATION OF THE EULER RODRIGUES FORMULA FOR THREE-DIMENSIONAL ROTATIONS FROM THE GENERAL FORMULA FOR FOUR-DIMENSIONAL ROTATIONS arxiv:math/0701759v1 [math.gm] 26 Jan 2007 Johan Ernest Mebius January
More informationOn Cayley s Factorization of 4D Rotations and Applications
On Cayley s Factorization of 4D Rotations and Applications Alba Perez-Gracia and Federico Thomas Abstract. A 4D rotation can be decomposed into a left- and a rightisoclinic rotation. This decomposition,
More informationChapter XI Novanion rings
Chapter XI Novanion rings 11.1 Introduction. In this chapter we continue to provide general structures for theories in physics. J. F. Adams proved in 1960 that the only possible division algebras are at
More informationLinear Algebra. Workbook
Linear Algebra Workbook Paul Yiu Department of Mathematics Florida Atlantic University Last Update: November 21 Student: Fall 2011 Checklist Name: A B C D E F F G H I J 1 2 3 4 5 6 7 8 9 10 xxx xxx xxx
More informationHomework 2. Solutions T =
Homework. s Let {e x, e y, e z } be an orthonormal basis in E. Consider the following ordered triples: a) {e x, e x + e y, 5e z }, b) {e y, e x, 5e z }, c) {e y, e x, e z }, d) {e y, e x, 5e z }, e) {
More informationMODEL ANSWERS TO HWK #7. 1. Suppose that F is a field and that a and b are in F. Suppose that. Thus a = 0. It follows that F is an integral domain.
MODEL ANSWERS TO HWK #7 1. Suppose that F is a field and that a and b are in F. Suppose that a b = 0, and that b 0. Let c be the inverse of b. Multiplying the equation above by c on the left, we get 0
More information1 Fields and vector spaces
1 Fields and vector spaces In this section we revise some algebraic preliminaries and establish notation. 1.1 Division rings and fields A division ring, or skew field, is a structure F with two binary
More informationMODEL ANSWERS TO THE FIRST HOMEWORK
MODEL ANSWERS TO THE FIRST HOMEWORK 1. Chapter 4, 1: 2. Suppose that F is a field and that a and b are in F. Suppose that a b = 0, and that b 0. Let c be the inverse of b. Multiplying the equation above
More informationContents. Preface for the Instructor. Preface for the Student. xvii. Acknowledgments. 1 Vector Spaces 1 1.A R n and C n 2
Contents Preface for the Instructor xi Preface for the Student xv Acknowledgments xvii 1 Vector Spaces 1 1.A R n and C n 2 Complex Numbers 2 Lists 5 F n 6 Digression on Fields 10 Exercises 1.A 11 1.B Definition
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 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 informationMath Linear Algebra II. 1. Inner Products and Norms
Math 342 - Linear Algebra II Notes 1. Inner Products and Norms One knows from a basic introduction to vectors in R n Math 254 at OSU) that the length of a vector x = x 1 x 2... x n ) T R n, denoted x,
More informationThe groups SO(3) and SU(2) and their representations
CHAPTER VI The groups SO(3) and SU() and their representations Two continuous groups of transformations that play an important role in physics are the special orthogonal group of order 3, SO(3), and the
More informationHyperbolic Geometry on Geometric Surfaces
Mathematics Seminar, 15 September 2010 Outline Introduction Hyperbolic geometry Abstract surfaces The hemisphere model as a geometric surface The Poincaré disk model as a geometric surface Conclusion Introduction
More informationMath Linear Algebra
Math 220 - Linear Algebra (Summer 208) Solutions to Homework #7 Exercise 6..20 (a) TRUE. u v v u = 0 is equivalent to u v = v u. The latter identity is true due to the commutative property of the inner
More informationThe Symmetric Space for SL n (R)
The Symmetric Space for SL n (R) Rich Schwartz November 27, 2013 The purpose of these notes is to discuss the symmetric space X on which SL n (R) acts. Here, as usual, SL n (R) denotes the group of n n
More informationCHAPTER XV. Exponential algebra
CHAPTER XV Exponential algebra 15.1. Introduction. We develop some elementary features of the intricate and hyperintricate exponential algebra and in particular the bosonic and fermionic Euler relations
More informationLinear Algebra. Preliminary Lecture Notes
Linear Algebra Preliminary Lecture Notes Adolfo J. Rumbos c Draft date April 29, 23 2 Contents Motivation for the course 5 2 Euclidean n dimensional Space 7 2. Definition of n Dimensional Euclidean Space...........
More informationAssignment 1 Math 5341 Linear Algebra Review. Give complete answers to each of the following questions. Show all of your work.
Assignment 1 Math 5341 Linear Algebra Review Give complete answers to each of the following questions Show all of your work Note: You might struggle with some of these questions, either because it has
More informationHyperbolic Transformations
C H A P T E R 17 Hyperbolic Transformations Though the text of your article on Crystal Symmetry and Its Generalizations is much too learned for a simple, selfmade pattern man like me, some of the text-illustrations
More informationREVIEW OF LINEAR ALGEBRA
APPENDIX A REVIEW OF LINEAR ALGEBRA The following is a summary (almost entirely without proofs) of the linear algebra needed in the projective geometry notes. All the material is standard, but there are
More informationSymmetries, Groups, and Conservation Laws
Chapter Symmetries, Groups, and Conservation Laws The dynamical properties and interactions of a system of particles and fields are derived from the principle of least action, where the action is a 4-dimensional
More informationChapter 8 Vectors and Scalars
Chapter 8 193 Vectors and Scalars Chapter 8 Vectors and Scalars 8.1 Introduction: In this chapter we shall use the ideas of the plane to develop a new mathematical concept, vector. If you have studied
More informationConway s group and octonions
Conway s group and octonions Robert A. Wilson School of Mathematical Sciences, Queen Mary, University of London, Mile End Road, London E 4NS Submitted 7th March 009 Abstract We give a description of the
More informationElementary linear algebra
Chapter 1 Elementary linear algebra 1.1 Vector spaces Vector spaces owe their importance to the fact that so many models arising in the solutions of specific problems turn out to be vector spaces. The
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 informationMATH Linear Algebra
MATH 304 - Linear Algebra In the previous note we learned an important algorithm to produce orthogonal sequences of vectors called the Gramm-Schmidt orthogonalization process. Gramm-Schmidt orthogonalization
More information4 Arithmetic of Segments Hilbert s Road from Geometry
4 Arithmetic of Segments Hilbert s Road from Geometry to Algebra In this section, we explain Hilbert s procedure to construct an arithmetic of segments, also called Streckenrechnung. Hilbert constructs
More informationLINEAR ALGEBRA SUMMARY SHEET.
LINEAR ALGEBRA SUMMARY SHEET RADON ROSBOROUGH https://intuitiveexplanationscom/linear-algebra-summary-sheet/ This document is a concise collection of many of the important theorems of linear algebra, organized
More informationVector spaces. DS-GA 1013 / MATH-GA 2824 Optimization-based Data Analysis.
Vector spaces DS-GA 1013 / MATH-GA 2824 Optimization-based Data Analysis http://www.cims.nyu.edu/~cfgranda/pages/obda_fall17/index.html Carlos Fernandez-Granda Vector space Consists of: A set V A scalar
More information4.3 Equations in 3-space
4.3 Equations in 3-space istance can be used to define functions from a 3-space R 3 to the line R. Let P be a fixed point in the 3-space R 3 (say, with coordinates P (2, 5, 7)). Consider a function f :
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 informationLecture Notes 1: Vector spaces
Optimization-based data analysis Fall 2017 Lecture Notes 1: Vector spaces In this chapter we review certain basic concepts of linear algebra, highlighting their application to signal processing. 1 Vector
More informationLINEAR ALGEBRA REVIEW
LINEAR ALGEBRA REVIEW When we define a term, we put it in boldface. This is a very compressed review; please read it very carefully and be sure to ask questions on parts you aren t sure of. x 1 WedenotethesetofrealnumbersbyR.
More information6 Orthogonal groups. O 2m 1 q. q 2i 1 q 2i. 1 i 1. 1 q 2i 2. O 2m q. q m m 1. 1 q 2i 1 i 1. 1 q 2i. i 1. 2 q 1 q i 1 q i 1. m 1.
6 Orthogonal groups We now turn to the orthogonal groups. These are more difficult, for two related reasons. First, it is not always true that the group of isometries with determinant 1 is equal to its
More informationChapter 8 Integral Operators
Chapter 8 Integral Operators In our development of metrics, norms, inner products, and operator theory in Chapters 1 7 we only tangentially considered topics that involved the use of Lebesgue measure,
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 informationINNER PRODUCT SPACE. Definition 1
INNER PRODUCT SPACE Definition 1 Suppose u, v and w are all vectors in vector space V and c is any scalar. An inner product space on the vectors space V is a function that associates with each pair of
More informationMatrix Algebra: Vectors
A Matrix Algebra: Vectors A Appendix A: MATRIX ALGEBRA: VECTORS A 2 A MOTIVATION Matrix notation was invented primarily to express linear algebra relations in compact form Compactness enhances visualization
More information4.2. ORTHOGONALITY 161
4.2. ORTHOGONALITY 161 Definition 4.2.9 An affine space (E, E ) is a Euclidean affine space iff its underlying vector space E is a Euclidean vector space. Given any two points a, b E, we define the distance
More informationLinear Algebra. Preliminary Lecture Notes
Linear Algebra Preliminary Lecture Notes Adolfo J. Rumbos c Draft date May 9, 29 2 Contents 1 Motivation for the course 5 2 Euclidean n dimensional Space 7 2.1 Definition of n Dimensional Euclidean Space...........
More informationTHE TRANSLATION PLANES OF ORDER 49 AND THEIR AUTOMORPHISM GROUPS
MATHEMATICS OF COMPUTATION Volume 67, Number 223, July 1998, Pages 1207 1224 S 0025-5718(98)00961-2 THE TRANSLATION PLANES OF ORDER 49 AND THEIR AUTOMORPHISM GROUPS C. CHARNES AND U. DEMPWOLFF Abstract.
More information1 Dirac Notation for Vector Spaces
Theoretical Physics Notes 2: Dirac Notation This installment of the notes covers Dirac notation, which proves to be very useful in many ways. For example, it gives a convenient way of expressing amplitudes
More informationMobile Robotics 1. A Compact Course on Linear Algebra. Giorgio Grisetti
Mobile Robotics 1 A Compact Course on Linear Algebra Giorgio Grisetti SA-1 Vectors Arrays of numbers They represent a point in a n dimensional space 2 Vectors: Scalar Product Scalar-Vector Product Changes
More informationREGULAR TRIPLETS IN COMPACT SYMMETRIC SPACES
REGULAR TRIPLETS IN COMPACT SYMMETRIC SPACES MAKIKO SUMI TANAKA 1. Introduction This article is based on the collaboration with Tadashi Nagano. In the first part of this article we briefly review basic
More informationLECTURE NOTES AMRITANSHU PRASAD
LECTURE NOTES AMRITANSHU PRASAD Let K be a field. 1. Basic definitions Definition 1.1. A K-algebra is a K-vector space together with an associative product A A A which is K-linear, with respect to which
More informationGRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory.
GRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory. Linear Algebra Standard matrix manipulation to compute the kernel, intersection of subspaces, column spaces,
More informationExercises for Unit I I (Vector algebra and Euclidean geometry)
Exercises for Unit I I (Vector algebra and Euclidean geometry) I I.1 : Approaches to Euclidean geometry Ryan : pp. 5 15 1. What is the minimum number of planes containing three concurrent noncoplanar lines
More informationALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA
ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND
More information1 Hermitian symmetric spaces: examples and basic properties
Contents 1 Hermitian symmetric spaces: examples and basic properties 1 1.1 Almost complex manifolds............................................ 1 1.2 Hermitian manifolds................................................
More informationLecture 22 - F 4. April 19, The Weyl dimension formula gives the following dimensions of the fundamental representations:
Lecture 22 - F 4 April 19, 2013 1 Review of what we know about F 4 We have two definitions of the Lie algebra f 4 at this point. The old definition is that it is the exceptional Lie algebra with Dynkin
More informationMATH 20F: LINEAR ALGEBRA LECTURE B00 (T. KEMP)
MATH 20F: LINEAR ALGEBRA LECTURE B00 (T KEMP) Definition 01 If T (x) = Ax is a linear transformation from R n to R m then Nul (T ) = {x R n : T (x) = 0} = Nul (A) Ran (T ) = {Ax R m : x R n } = {b R m
More informationCOMMON COMPLEMENTS OF TWO SUBSPACES OF A HILBERT SPACE
COMMON COMPLEMENTS OF TWO SUBSPACES OF A HILBERT SPACE MICHAEL LAUZON AND SERGEI TREIL Abstract. In this paper we find a necessary and sufficient condition for two closed subspaces, X and Y, of a Hilbert
More informationBASIC ALGORITHMS IN LINEAR ALGEBRA. Matrices and Applications of Gaussian Elimination. A 2 x. A T m x. A 1 x A T 1. A m x
BASIC ALGORITHMS IN LINEAR ALGEBRA STEVEN DALE CUTKOSKY Matrices and Applications of Gaussian Elimination Systems of Equations Suppose that A is an n n matrix with coefficents in a field F, and x = (x,,
More informationRepresentation Theory. Ricky Roy Math 434 University of Puget Sound
Representation Theory Ricky Roy Math 434 University of Puget Sound May 2, 2010 Introduction In our study of group theory, we set out to classify all distinct groups of a given order up to isomorphism.
More informationSpecial Lecture - The Octionions
Special Lecture - The Octionions March 15, 2013 1 R 1.1 Definition Not much needs to be said here. From the God given natural numbers, we algebraically build Z and Q. Then create a topology from the distance
More informationBackground on Chevalley Groups Constructed from a Root System
Background on Chevalley Groups Constructed from a Root System Paul Tokorcheck Department of Mathematics University of California, Santa Cruz 10 October 2011 Abstract In 1955, Claude Chevalley described
More informationA Highly Symmetric Four-Dimensional Quasicrystal * Veit Elser and N. J. A. Sloane AT&T Bell Laboratories Murray Hill, New Jersey
A Highly Symmetric Four-Dimensional Quasicrystal * Veit Elser and N. J. A. Sloane AT&T Bell Laboratories Murray Hill, New Jersey 7974 Abstract A quasiperiodic pattern (or quasicrystal) is constructed in
More information,, rectilinear,, spherical,, cylindrical. (6.1)
Lecture 6 Review of Vectors Physics in more than one dimension (See Chapter 3 in Boas, but we try to take a more general approach and in a slightly different order) Recall that in the previous two lectures
More informationChapter 5. Modular arithmetic. 5.1 The modular ring
Chapter 5 Modular arithmetic 5.1 The modular ring Definition 5.1. Suppose n N and x, y Z. Then we say that x, y are equivalent modulo n, and we write x y mod n if n x y. It is evident that equivalence
More informationChapter 5 Eigenvalues and Eigenvectors
Chapter 5 Eigenvalues and Eigenvectors Outline 5.1 Eigenvalues and Eigenvectors 5.2 Diagonalization 5.3 Complex Vector Spaces 2 5.1 Eigenvalues and Eigenvectors Eigenvalue and Eigenvector If A is a n n
More informationThe Real Grassmannian Gr(2, 4)
The Real Grassmannian Gr(2, 4) We discuss the topology of the real Grassmannian Gr(2, 4) of 2-planes in R 4 and its double cover Gr + (2, 4) by the Grassmannian of oriented 2-planes They are compact four-manifolds
More information(x, y) = d(x, y) = x y.
1 Euclidean geometry 1.1 Euclidean space Our story begins with a geometry which will be familiar to all readers, namely the geometry of Euclidean space. In this first chapter we study the Euclidean distance
More informationLecture 6 SPHERICAL GEOMETRY
1 Lecture 6 SPHERICAL GEOMETRY So far we have studied finite and discrete geometries, i.e., geometries in which the main transformation group is either finite or discrete. In this lecture, we begin our
More informationThe parallel postulate: a syntactic proof of independence
The parallel postulate: a syntactic proof of independence Julien Narboux joint work with Michael Beeson and Pierre Boutry Université de Strasbourg - ICube - CNRS Nov 2015, Strasbourg Today s presentation
More informationMobius transformations and AdS 3 geometry
Mobius transformations and AdS 3 geometr Jeffre Danciger September 1, 010 1 PSL (R + Rτ) and its action on AdS 3 Let B be the real algebra generated b an element τ, with τ = +1. As a vector space B = R
More informationover a field F with char F 2: we define
Chapter 3 Involutions In this chapter, we define the standard involution (also called conjugation) on a quaternion algebra. In this way, we characterize division quaternion algebras as noncommutative division
More informationGroup Theory - QMII 2017
Group Theory - QMII 017 Reminder Last time we said that a group element of a matrix lie group can be written as an exponent: U = e iαaxa, a = 1,..., N. We called X a the generators, we have N of them,
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 informationKilling Vector Fields of Constant Length on Riemannian Normal Homogeneous Spaces
Killing Vector Fields of Constant Length on Riemannian Normal Homogeneous Spaces Ming Xu & Joseph A. Wolf Abstract Killing vector fields of constant length correspond to isometries of constant displacement.
More informationREPRESENTATIONS OF U(N) CLASSIFICATION BY HIGHEST WEIGHTS NOTES FOR MATH 261, FALL 2001
9 REPRESENTATIONS OF U(N) CLASSIFICATION BY HIGHEST WEIGHTS NOTES FOR MATH 261, FALL 21 ALLEN KNUTSON 1 WEIGHT DIAGRAMS OF -REPRESENTATIONS Let be an -dimensional torus, ie a group isomorphic to The we
More informationChapter 2. Linear Algebra. rather simple and learning them will eventually allow us to explain the strange results of
Chapter 2 Linear Algebra In this chapter, we study the formal structure that provides the background for quantum mechanics. The basic ideas of the mathematical machinery, linear algebra, are rather simple
More informationLINEAR ALGEBRA - CHAPTER 1: VECTORS
LINEAR ALGEBRA - CHAPTER 1: VECTORS A game to introduce Linear Algebra In measurement, there are many quantities whose description entirely rely on magnitude, i.e., length, area, volume, mass and temperature.
More informationLie Algebra of Unit Tangent Bundle in Minkowski 3-Space
INTERNATIONAL ELECTRONIC JOURNAL OF GEOMETRY VOLUME 12 NO. 1 PAGE 1 (2019) Lie Algebra of Unit Tangent Bundle in Minkowski 3-Space Murat Bekar (Communicated by Levent Kula ) ABSTRACT In this paper, a one-to-one
More informationANSWERS (5 points) Let A be a 2 2 matrix such that A =. Compute A. 2
MATH 7- Final Exam Sample Problems Spring 7 ANSWERS ) ) ). 5 points) Let A be a matrix such that A =. Compute A. ) A = A ) = ) = ). 5 points) State ) the definition of norm, ) the Cauchy-Schwartz inequality
More informationMostow Rigidity. W. Dison June 17, (a) semi-simple Lie groups with trivial centre and no compact factors and
Mostow Rigidity W. Dison June 17, 2005 0 Introduction Lie Groups and Symmetric Spaces We will be concerned with (a) semi-simple Lie groups with trivial centre and no compact factors and (b) simply connected,
More informationAFFINE AND PROJECTIVE GEOMETRY, E. Rosado & S.L. Rueda CHAPTER II: AFFINE AND EUCLIDEAN GEOMETRY
CHAPTER II: AFFINE AND EUCLIDEAN GEOMETRY 3. Euclidean space AFFINE AND PROJECTIVE GEOMETRY, E. Rosado & S.L. Rueda A real vector space E is an euclidean vector space if it is provided of an scalar product
More informationAn LMI description for the cone of Lorentz-positive maps II
An LMI description for the cone of Lorentz-positive maps II Roland Hildebrand October 6, 2008 Abstract Let L n be the n-dimensional second order cone. A linear map from R m to R n is called positive if
More informationLinear and Bilinear Algebra (2WF04) Jan Draisma
Linear and Bilinear Algebra (2WF04) Jan Draisma CHAPTER 3 The minimal polynomial and nilpotent maps 3.1. Minimal polynomial Throughout this chapter, V is a finite-dimensional vector space of dimension
More informationTopics in Representation Theory: Fourier Analysis and the Peter Weyl Theorem
Topics in Representation Theory: Fourier Analysis and the Peter Weyl Theorem 1 Fourier Analysis, a review We ll begin with a short review of simple facts about Fourier analysis, before going on to interpret
More informationLax Embeddings of Generalized Quadrangles in Finite Projective Spaces
Lax Embeddings of Generalized Quadrangles in Finite Projective Spaces J. A. Thas H. Van Maldeghem 1 Introduction Definition 1.1 A (finite) generalized quadrangle (GQ) S = (P, B, I) is a point-line incidence
More informationTRANSLATION-INVARIANT FUNCTION ALGEBRAS ON COMPACT GROUPS
PACIFIC JOURNAL OF MATHEMATICS Vol. 15, No. 3, 1965 TRANSLATION-INVARIANT FUNCTION ALGEBRAS ON COMPACT GROUPS JOSEPH A. WOLF Let X be a compact group. $(X) denotes the Banach algebra (point multiplication,
More informationELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS
ELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS J. WARNER SUMMARY OF A PAPER BY J. CARLSON, E. FRIEDLANDER, AND J. PEVTSOVA, AND FURTHER OBSERVATIONS 1. The Nullcone and Restricted Nullcone We will need
More information1 Euclidean geometry. 1.1 The metric on R n
1 Euclidean geometry This chapter discusses the geometry of n-dimensional Euclidean space E n, together with its distance function. The distance gives rise to other notions such as angles and congruent
More informationMAT 2037 LINEAR ALGEBRA I web:
MAT 237 LINEAR ALGEBRA I 2625 Dokuz Eylül University, Faculty of Science, Department of Mathematics web: Instructor: Engin Mermut http://kisideuedutr/enginmermut/ HOMEWORK 2 MATRIX ALGEBRA Textbook: Linear
More informationISOMETRIES OF R n KEITH CONRAD
ISOMETRIES OF R n KEITH CONRAD 1. Introduction An isometry of R n is a function h: R n R n that preserves the distance between vectors: h(v) h(w) = v w for all v and w in R n, where (x 1,..., x n ) = x
More informationMinimum-Parameter Representations of N-Dimensional Principal Rotations
Minimum-Parameter Representations of N-Dimensional Principal Rotations Andrew J. Sinclair and John E. Hurtado Department of Aerospace Engineering, Texas A&M University, College Station, Texas, USA Abstract
More informationLinear Algebra Practice Problems
Linear Algebra Practice Problems Page of 7 Linear Algebra Practice Problems These problems cover Chapters 4, 5, 6, and 7 of Elementary Linear Algebra, 6th ed, by Ron Larson and David Falvo (ISBN-3 = 978--68-78376-2,
More informationIntermediate Jacobians and Abel-Jacobi Maps
Intermediate Jacobians and Abel-Jacobi Maps Patrick Walls April 28, 2012 Introduction Let X be a smooth projective complex variety. Introduction Let X be a smooth projective complex variety. Intermediate
More informationLinear Algebra I. Ronald van Luijk, 2015
Linear Algebra I Ronald van Luijk, 2015 With many parts from Linear Algebra I by Michael Stoll, 2007 Contents Dependencies among sections 3 Chapter 1. Euclidean space: lines and hyperplanes 5 1.1. Definition
More informationManoj K. Keshari 1 and Satya Mandal 2.
K 0 of hypersurfaces defined by x 2 1 +... + x 2 n = ±1 Manoj K. Keshari 1 and Satya Mandal 2 1 Department of Mathematics, IIT Mumbai, Mumbai - 400076, India 2 Department of Mathematics, University of
More informationsin(α + θ) = sin α cos θ + cos α sin θ cos(α + θ) = cos α cos θ sin α sin θ
Rotations in the 2D Plane Trigonometric addition formulas: sin(α + θ) = sin α cos θ + cos α sin θ cos(α + θ) = cos α cos θ sin α sin θ Rotate coordinates by angle θ: 1. Start with x = r cos α y = r sin
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 informationTutorial 5 Clifford Algebra and so(n)
Tutorial 5 Clifford Algebra and so(n) 1 Definition of Clifford Algebra A set of N Hermitian matrices γ 1, γ,..., γ N obeying the anti-commutator γ i, γ j } = δ ij I (1) is the basis for an algebra called
More informationGroup theory applied to crystallography
International Union of Crystallography Commission on Mathematical and Theoretical Crystallography Summer School on Mathematical and Theoretical Crystallography 7 April - May 8, Gargnano, Italy Group theory
More informationHodge Structures. October 8, A few examples of symmetric spaces
Hodge Structures October 8, 2013 1 A few examples of symmetric spaces The upper half-plane H is the quotient of SL 2 (R) by its maximal compact subgroup SO(2). More generally, Siegel upper-half space H
More informationDS-GA 1002 Lecture notes 0 Fall Linear Algebra. These notes provide a review of basic concepts in linear algebra.
DS-GA 1002 Lecture notes 0 Fall 2016 Linear Algebra These notes provide a review of basic concepts in linear algebra. 1 Vector spaces You are no doubt familiar with vectors in R 2 or R 3, i.e. [ ] 1.1
More informationFunctional Analysis Exercise Class
Functional Analysis Exercise Class Week: January 18 Deadline to hand in the homework: your exercise class on week January 5 9. Exercises with solutions (1) a) Show that for every unitary operators U, V,
More informationDot product. The dot product is an inner product on a coordinate vector space (Definition 1, Theorem
Dot product The dot product is an inner product on a coordinate vector space (Definition 1, Theorem 1). Definition 1 Given vectors v and u in n-dimensional space, the dot product is defined as, n v u v
More informationLinear Algebra. Min Yan
Linear Algebra Min Yan January 2, 2018 2 Contents 1 Vector Space 7 1.1 Definition................................. 7 1.1.1 Axioms of Vector Space..................... 7 1.1.2 Consequence of Axiom......................
More information