GENERALIZED QUATERNION and ROTATION in 3-SPACE The

Total Page:16

File Type:pdf, Size:1020Kb

GENERALIZED QUATERNION and ROTATION in 3-SPACE The GENERALIZED QUATERNION AND ROTATION 3 IN 3-SPACE Eαβ Mehdi JAFARI1 and Yusuf YAYLI2 Department of Mathematics, Faculty of Science Ankara University, 06100 Ankara, Turkey Abstract: The paper explains how a unit generalized quaternion is used to represent a rotation of a 3 vector in 3-dimensional Eαβ space. We review of some algebraic properties of generalized quaternions and operations between them and then show their relation with the rotation matrix. AMS Subject Classification: 15A33 Key words: Generalized quaternion, Quasi-orthogonal Matrix, Rotation 1. INTRODUCTION The quaternions algebra were invented by W.R. Hamilton as an extension to the complex numbers. He was able to find connections between this new algebra and spatial rotations. The unit quaternions form a group that is isomorphic to the group SU(2) and is a double cover of SO(3), the group of 3-dimensional rotations. Under these isomorphisms the quaternion multiplication operation corresponds to the composition operation of rotations [22]. Kula and yayli [15] showed that unit split quaternions in ' determined a rotation in semi-Euclidean 4 space 2 . In[18], is demonstrated how timelike split quaternions are used to perform rotations 3 in the Minkowski 3-space 1 . Rotations in a complex 3-dimensional space are considered in [25] and applied to the treatment of the Lorentz transformation in special relativity. A brief introduction of the generalized quaternions is provided in [19]. Also, this subject have investigated in algebra [21,23]. Recently, we studied the generalized quaternions, and gave some of their algebraic properties [9]. It is shown that the set of all unit generalized quaternions with the group operation of quaternion multiplication is a Lie group of 3-dimension. Their Lie algebra and properties of the bracket multiplication are looked for. Also, a matrix corresponding to Hamilton operators that is defined for generalized quaternions is determined a Homothetic 4 motion in [13]. Furthermore, we showed how these operators can be used to described 4 rotation in [12]. In this paper, we briefly review some fundamental properties of the 1 [email protected] 2 [email protected] generalized quaternions and also, investigate how unit generalized quaternions can be used to 3 described rotation in 3-dimensional space . 2. PRELIMINARIES Quaternions are hypercomplex numbers (which comprise the reals, complexes, quaternions, and Cayley numbers), and thus share many of the properties of the complexes. In particular, they work well for representing 3D rotations. The basic definition of a real quaternion given in [4,18,25] as follows: Definition 2.1: A real quaternion is defined as q a01 a 1 i a 2 j a 3 k where a0,, a 1 a 2 and a3 are real number and 1,i , j , k of q may be interpreted as the four basic vectors of Cartesian set of coordinates; and they satisfy the non-commutative multiplication rules i2 j 2 k 2 1 ij k ji,, jk i kj and ki j ik, ijk 1. The quaternion algebra H is the even subalgebra of the Clifford algebra of the 3-dimensional n Euclidean space. The Clifford algebra Cl(Ep ) Cl n p, p for the n -dimensional non-degenerate n vector space E p having an orthonormal base {e1 , e 2 ,..., en } with the signature (,)p n p is the associative algebra generated by 1 and {}ei with satisfying the relations ei e j e j e i 0 for i j 1,if i 1,2,..., p and 2 ei . 1,if i p 1,..., n The Clifford algebra Cl has the basis {e e ... e : 1 i i ... i n } that is the division n p, p i1 i 2 ik 1 2 k algebra of quaternions H is isomorphic with the even subalgebra Cl3,0 of the Clifford algebra Cl3,0 such that Cl3,0 has the basis {1,e2 e 3 j , e 1 e 3 k , e 1 e 2 i }. The conjugate of the quaternion q Sq V q is denoted by q , and defined as q Sq V q . The norm of a quaternion 2 2 2 2 q (,,,) a0 a 1 a 2 a 3 is defined by q q q q a0 a 1 a 2 a 3 and is denoted by Nq and say that q0 q Nq is unit quaternion where q 0. Unit quaternions provide a convenient mathematical notation for representing orientations and rotations of objects in three dimensions. One can represent a quaternion q a0 a 1 i a 2 j a 3 k by a 2 2 complex matrix (with i ' being the usual complex imaginary); a0 i'' a 1 i a 1 a 2 A i'' a1 a 2 a 0 i a 3 or by a 4 4 real matrix a0 a 1 a 2 a 3 a a a a A 1 2 3 2 . a2 a 3 a 0 a 1 a3 a 2 a 1 a 0 The Euler’s and De-Moivre’s formulae for the matrix A are studied in [10]. It is shown that as the De Moivre’s formula implies, there are uncountably many matrices of unit quaternion n satisfying AI 4 for n 2. In geometry and linear algebra, a rotation is a transformation in a plane or in space that describes the motion of a rigid body around a fixed point. There are at least eight methods used commonly to represent rotation, including: i) orthogonal matrices, ii) axis and angle, iii) Euler angles, iv) Gibbs vector, v) Pauli spin matrices, vi) Cayley-Klein parameters, vii) Euler or Rodrigues parameters, and viii) Hamilton’s quaternions [8]. But to use the unit quaternions is a more useful, natural, and elegant way to perceive rotations compared to other methods [18]. Theorem 2.2: All the rotation about lines through the origin in ordinary space form a group, homomorphic to the group of all unit quaternions [2]. If a simple rotation is only in the three space dimensions, i.e. about a plane that is entirely in space, then this rotation is the same as a spatial rotation in three dimensions. But a simple rotation about a plane spanned by a space dimension and a time dimension is a "boost", a transformation between two different reference frames, which together with other properties of spacetime determines the relativistic relationship between the frames. The set of these rotations forms the Lorentz group[1]. With Cartesian point coordinates in 3-space, a rotation in 3-space about the origin can be represented by the orthogonal matrix r11 r 12 r 13 R r r r , 21 22 23 r31 r 32 r 33 T where RR I3 and detR 1. It is known that unit quaternions can represent rotations about the origin. Wittenburg gives the following conversion formulae. For any unit quaternion q, the entries of the rotation matrix are 2 2 r112( aa 0 1 ) 1, r 21 2( aaaar 12 03 ), 31 2( aaaa 13 02 ), 2 2 r122( aaaar 12 03 ), 22 2( aa 0 2 )1, r 32 2( aaaa 23 01 ), 2 2 r132( aaaar 13 02 ), 23 2( aaaar 23 01 ), 33 2( aa 0 3 )1[7]. 1 1 Example 2.3: For the unit real quaternion q (1, 1,0), the rotation matrix is 2 2 1 1 1 2 2 2 1 1 1 R , q 2 2 2 1 1 0 2 2 the axis of this rotation is spanned by the vector (1, 1,0), and the angle of rotation is . 2 3 1 Similarity, for the timelike quaternion q (1,0,0) with timelike vector part, the rotation 2 2 matrix is 1 0 0 1 3 R 0 , q 2 2 3 1 0 2 2 2 so, this quaternion represents rotation through an angle about the timelike axis i 1,0,0 [18]. 3 3 Definition 2.4: Let u( u1 , u 2 , u 3 ), v ( v 1 , v 2 , v 3 ) . If ,, the generalized inner product of u and v is defined by u,. v u1 v 1 u 2 v 2 u 3 v 3 It could be written 0 0 u, v uTT 0 0 v u G v . 0 0 3 3 Also, if0, 0 , u, v is called the generalized Lorentzian inner product. We put (,,) . 3 The vector product in is defined by i j k u v u1 u 2 u 3 v1 v 2 v 3 ()()(),uv2332 uvi uvuvj 3113 uv 1221 uvk where i j k,, j k i k i j [9]. Special cases: 3 3 1. If 1, then is an Euclidean 3-space . 3 3 2. If 1, 1, then is a Minkowski 3-space 1 [18]. Definition 2.5: A generalized quaternion q is an expression of form q a0 a 1 i a 2 j a 3 k where a0,, a 1 a 2 and a3 are real numbers and i,, j k are quaternionic units which satisfy the equalities i2 ,,, j 2 k 2 ijk ji , jk = i = kj , and ki= j = ik , , . The set of all generalized quaternions are denoted by . A generalized quaternion q is a sum of a scalar and a vector, called scalar part, Sq a0 , and vector part Vq a1 i a 2 j a 3 k. Therefore is form a 4-dimensional real space which contains the real axis and a 3-dimensional real 3 3 linear space , so that, . Special cases: 1. 1, is considered, then is the algebra of real quaternions. 2. 1, 1, is considered, then is the algebra of split quaternions.
Recommended publications
  • Quaternions and Cli Ord Geometric Algebras
    Quaternions and Cliord Geometric Algebras Robert Benjamin Easter First Draft Edition (v1) (c) copyright 2015, Robert Benjamin Easter, all rights reserved. Preface As a rst rough draft that has been put together very quickly, this book is likely to contain errata and disorganization. The references list and inline citations are very incompete, so the reader should search around for more references. I do not claim to be the inventor of any of the mathematics found here. However, some parts of this book may be considered new in some sense and were in small parts my own original research. Much of the contents was originally written by me as contributions to a web encyclopedia project just for fun, but for various reasons was inappropriate in an encyclopedic volume. I did not originally intend to write this book. This is not a dissertation, nor did its development receive any funding or proper peer review. I oer this free book to the public, such as it is, in the hope it could be helpful to an interested reader. June 19, 2015 - Robert B. Easter. (v1) [email protected] 3 Table of contents Preface . 3 List of gures . 9 1 Quaternion Algebra . 11 1.1 The Quaternion Formula . 11 1.2 The Scalar and Vector Parts . 15 1.3 The Quaternion Product . 16 1.4 The Dot Product . 16 1.5 The Cross Product . 17 1.6 Conjugates . 18 1.7 Tensor or Magnitude . 20 1.8 Versors . 20 1.9 Biradials . 22 1.10 Quaternion Identities . 23 1.11 The Biradial b/a .
    [Show full text]
  • Arxiv:1001.0240V1 [Math.RA]
    Fundamental representations and algebraic properties of biquaternions or complexified quaternions Stephen J. Sangwine∗ School of Computer Science and Electronic Engineering, University of Essex, Wivenhoe Park, Colchester, CO4 3SQ, United Kingdom. Email: [email protected] Todd A. Ell† 5620 Oak View Court, Savage, MN 55378-4695, USA. Email: [email protected] Nicolas Le Bihan GIPSA-Lab D´epartement Images et Signal 961 Rue de la Houille Blanche, Domaine Universitaire BP 46, 38402 Saint Martin d’H`eres cedex, France. Email: [email protected] October 22, 2018 Abstract The fundamental properties of biquaternions (complexified quaternions) are presented including several different representations, some of them new, and definitions of fundamental operations such as the scalar and vector parts, conjugates, semi-norms, polar forms, and inner and outer products. The notation is consistent throughout, even between representations, providing a clear account of the many ways in which the component parts of a biquaternion may be manipulated algebraically. 1 Introduction It is typical of quaternion formulae that, though they be difficult to find, once found they are immediately verifiable. J. L. Synge (1972) [43, p34] arXiv:1001.0240v1 [math.RA] 1 Jan 2010 The quaternions are relatively well-known but the quaternions with complex components (complexified quaternions, or biquaternions1) are less so. This paper aims to set out the fundamental definitions of biquaternions and some elementary results, which, although elementary, are often not trivial. The emphasis in this paper is on the biquaternions as an applied algebra – that is, a tool for the manipulation ∗This paper was started in 2005 at the Laboratoire des Images et des Signaux (now part of the GIPSA-Lab), Grenoble, France with financial support from the Royal Academy of Engineering of the United Kingdom and the Centre National de la Recherche Scientifique (CNRS).
    [Show full text]
  • Vectors, Matrices and Coordinate Transformations
    S. Widnall 16.07 Dynamics Fall 2009 Lecture notes based on J. Peraire Version 2.0 Lecture L3 - Vectors, Matrices and Coordinate Transformations By using vectors and defining appropriate operations between them, physical laws can often be written in a simple form. Since we will making extensive use of vectors in Dynamics, we will summarize some of their important properties. Vectors For our purposes we will think of a vector as a mathematical representation of a physical entity which has both magnitude and direction in a 3D space. Examples of physical vectors are forces, moments, and velocities. Geometrically, a vector can be represented as arrows. The length of the arrow represents its magnitude. Unless indicated otherwise, we shall assume that parallel translation does not change a vector, and we shall call the vectors satisfying this property, free vectors. Thus, two vectors are equal if and only if they are parallel, point in the same direction, and have equal length. Vectors are usually typed in boldface and scalar quantities appear in lightface italic type, e.g. the vector quantity A has magnitude, or modulus, A = |A|. In handwritten text, vectors are often expressed using the −→ arrow, or underbar notation, e.g. A , A. Vector Algebra Here, we introduce a few useful operations which are defined for free vectors. Multiplication by a scalar If we multiply a vector A by a scalar α, the result is a vector B = αA, which has magnitude B = |α|A. The vector B, is parallel to A and points in the same direction if α > 0.
    [Show full text]
  • Hypercomplex Numbers
    Hypercomplex numbers Johanna R¨am¨o Queen Mary, University of London [email protected] We have gradually expanded the set of numbers we use: first from finger counting to the whole set of positive integers, then to positive rationals, ir- rational reals, negatives and finally to complex numbers. It has not always been easy to accept new numbers. Negative numbers were rejected for cen- turies, and complex numbers, the square roots of negative numbers, were considered impossible. Complex numbers behave like ordinary numbers. You can add, subtract, multiply and divide them, and on top of that, do some nice things which you cannot do with real numbers. Complex numbers are now accepted, and have many important applications in mathematics and physics. Scientists could not live without complex numbers. What if we take the next step? What comes after the complex numbers? Is there a bigger set of numbers that has the same nice properties as the real numbers and the complex numbers? The answer is yes. In fact, there are two (and only two) bigger number systems that resemble real and complex numbers, and their discovery has been almost as dramatic as the discovery of complex numbers was. 1 Complex numbers Complex numbers where discovered in the 15th century when Italian math- ematicians tried to find a general solution to the cubic equation x3 + ax2 + bx + c = 0: At that time, mathematicians did not publish their results but kept them secret. They made their living by challenging each other to public contests of 1 problem solving in which the winner got money and fame.
    [Show full text]
  • Split Quaternions and Spacelike Constant Slope Surfaces in Minkowski 3- Space
    Split Quaternions and Spacelike Constant Slope Surfaces in Minkowski 3- Space Murat Babaarslan and Yusuf Yayli Abstract. A spacelike surface in the Minkowski 3-space is called a constant slope surface if its position vector makes a constant angle with the normal at each point on the surface. These surfaces completely classified in [J. Math. Anal. Appl. 385 (1) (2012) 208-220]. In this study, we give some relations between split quaternions and spacelike constant slope surfaces in Minkowski 3-space. We show that spacelike constant slope surfaces can be reparametrized by using rotation matrices corresponding to unit timelike quaternions with the spacelike vector parts and homothetic motions. Subsequently we give some examples to illustrate our main results. Mathematics Subject Classification (2010). Primary 53A05; Secondary 53A17, 53A35. Key words: Spacelike constant slope surface, split quaternion, homothetic motion. 1. Introduction Quaternions were discovered by Sir William Rowan Hamilton as an extension to the complex number in 1843. The most important property of quaternions is that every unit quaternion represents a rotation and this plays a special role in the study of rotations in three- dimensional spaces. Also quaternions are an efficient way understanding many aspects of physics and kinematics. Many physical laws in classical, relativistic and quantum mechanics can be written nicely using them. Today they are used especially in the area of computer vision, computer graphics, animations, aerospace applications, flight simulators, navigation systems and to solve optimization problems involving the estimation of rigid body transformations. Ozdemir and Ergin [9] showed that a unit timelike quaternion represents a rotation in Minkowski 3-space.
    [Show full text]
  • Quaternion Algebra and Calculus
    Quaternion Algebra and Calculus David Eberly, Geometric Tools, Redmond WA 98052 https://www.geometrictools.com/ This work is licensed under the Creative Commons Attribution 4.0 International License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/ or send a letter to Creative Commons, PO Box 1866, Mountain View, CA 94042, USA. Created: March 2, 1999 Last Modified: August 18, 2010 Contents 1 Quaternion Algebra 2 2 Relationship of Quaternions to Rotations3 3 Quaternion Calculus 5 4 Spherical Linear Interpolation6 5 Spherical Cubic Interpolation7 6 Spline Interpolation of Quaternions8 1 This document provides a mathematical summary of quaternion algebra and calculus and how they relate to rotations and interpolation of rotations. The ideas are based on the article [1]. 1 Quaternion Algebra A quaternion is given by q = w + xi + yj + zk where w, x, y, and z are real numbers. Define qn = wn + xni + ynj + znk (n = 0; 1). Addition and subtraction of quaternions is defined by q0 ± q1 = (w0 + x0i + y0j + z0k) ± (w1 + x1i + y1j + z1k) (1) = (w0 ± w1) + (x0 ± x1)i + (y0 ± y1)j + (z0 ± z1)k: Multiplication for the primitive elements i, j, and k is defined by i2 = j2 = k2 = −1, ij = −ji = k, jk = −kj = i, and ki = −ik = j. Multiplication of quaternions is defined by q0q1 = (w0 + x0i + y0j + z0k)(w1 + x1i + y1j + z1k) = (w0w1 − x0x1 − y0y1 − z0z1)+ (w0x1 + x0w1 + y0z1 − z0y1)i+ (2) (w0y1 − x0z1 + y0w1 + z0x1)j+ (w0z1 + x0y1 − y0x1 + z0w1)k: Multiplication is not commutative in that the products q0q1 and q1q0 are not necessarily equal.
    [Show full text]
  • ROTATION THEORY These Notes Present a Brief Survey of Some
    ROTATION THEORY MICHALMISIUREWICZ Abstract. Rotation Theory has its roots in the theory of rotation numbers for circle homeomorphisms, developed by Poincar´e. It is particularly useful for the study and classification of periodic orbits of dynamical systems. It deals with ergodic averages and their limits, not only for almost all points, like in Ergodic Theory, but for all points. We present the general ideas of Rotation Theory and its applications to some classes of dynamical systems, like continuous circle maps homotopic to the identity, torus homeomorphisms homotopic to the identity, subshifts of finite type and continuous interval maps. These notes present a brief survey of some aspects of Rotation Theory. Deeper treatment of the subject would require writing a book. Thus, in particular: • Not all aspects of Rotation Theory are described here. A large part of it, very important and deserving a separate book, deals with homeomorphisms of an annulus, homotopic to the identity. Including this subject in the present notes would make them at least twice as long, so it is ignored, except for the bibliography. • What is called “proofs” are usually only short ideas of the proofs. The reader is advised either to try to fill in the details himself/herself or to find the full proofs in the literature. More complicated proofs are omitted entirely. • The stress is on the theory, not on the history. Therefore, references are not cited in the text. Instead, at the end of these notes there are lists of references dealing with the problems treated in various sections (or not treated at all).
    [Show full text]
  • The Devil of Rotations Is Afoot! (James Watt in 1781)
    The Devil of Rotations is Afoot! (James Watt in 1781) Leo Dorst Informatics Institute, University of Amsterdam XVII summer school, Santander, 2016 0 1 The ratio of vectors is an operator in 2D Given a and b, find a vector x that is to c what b is to a? So, solve x from: x : c = b : a: The answer is, by geometric product: x = (b=a) c kbk = cos(φ) − I sin(φ) c kak = ρ e−Iφ c; an operator on c! Here I is the unit-2-blade of the plane `from a to b' (so I2 = −1), ρ is the ratio of their norms, and φ is the angle between them. (Actually, it is better to think of Iφ as the angle.) Result not fully dependent on a and b, so better parametrize by ρ and Iφ. GAViewer: a = e1, label(a), b = e1+e2, label(b), c = -e1+2 e2, dynamicfx = (b/a) c,g 1 2 Another idea: rotation as multiple reflection Reflection in an origin plane with unit normal a x 7! x − 2(x · a) a=kak2 (classic LA): Now consider the dot product as the symmetric part of a more fundamental geometric product: 1 x · a = 2(x a + a x): Then rewrite (with linearity, associativity): x 7! x − (x a + a x) a=kak2 (GA product) = −a x a−1 with the geometric inverse of a vector: −1 2 FIG(7,1) a = a=kak . 2 3 Orthogonal Transformations as Products of Unit Vectors A reflection in two successive origin planes a and b: x 7! −b (−a x a−1) b−1 = (b a) x (b a)−1 So a rotation is represented by the geometric product of two vectors b a, also an element of the algebra.
    [Show full text]
  • Rotation Matrix - Wikipedia, the Free Encyclopedia Page 1 of 22
    Rotation matrix - Wikipedia, the free encyclopedia Page 1 of 22 Rotation matrix From Wikipedia, the free encyclopedia In linear algebra, a rotation matrix is a matrix that is used to perform a rotation in Euclidean space. For example the matrix rotates points in the xy -Cartesian plane counterclockwise through an angle θ about the origin of the Cartesian coordinate system. To perform the rotation, the position of each point must be represented by a column vector v, containing the coordinates of the point. A rotated vector is obtained by using the matrix multiplication Rv (see below for details). In two and three dimensions, rotation matrices are among the simplest algebraic descriptions of rotations, and are used extensively for computations in geometry, physics, and computer graphics. Though most applications involve rotations in two or three dimensions, rotation matrices can be defined for n-dimensional space. Rotation matrices are always square, with real entries. Algebraically, a rotation matrix in n-dimensions is a n × n special orthogonal matrix, i.e. an orthogonal matrix whose determinant is 1: . The set of all rotation matrices forms a group, known as the rotation group or the special orthogonal group. It is a subset of the orthogonal group, which includes reflections and consists of all orthogonal matrices with determinant 1 or -1, and of the special linear group, which includes all volume-preserving transformations and consists of matrices with determinant 1. Contents 1 Rotations in two dimensions 1.1 Non-standard orientation
    [Show full text]
  • 5 Spinor Calculus
    5 Spinor Calculus 5.1 From triads and Euler angles to spinors. A heuristic introduction. As mentioned already in Section 3.4.3, it is an obvious idea to enrich the Pauli algebra formalism by introducing the complex vector space V(2; C) on which the matrices operate. The two-component complex vectors are traditionally called spinors28. We wish to show that they give rise to a wide range of applications. In fact we shall introduce the spinor concept as a natural answer to a problem that arises in the context of rotational motion. In Section 3 we have considered rotations as operations performed on a vector space. Whereas this approach enabled us to give a group-theoretical definition of the magnetic field, a vector is not an appropriate construct to account for the rotation of an orientable object. The simplest mathematical model suitable for this purpose is a Cartesian (orthogonal) three-frame, briefly, a triad. The problem is to consider two triads with coinciding origins, and the rotation of the object frame is described with respect to the space frame. The triads are represented in terms of their respective unit vectors: the space frame as Σs(x^1; x^2; x^3) and the object frame as Σc(e^1; e^2; e^3). Here c stands for “corpus,” since o for “object” seems ambiguous. We choose the frames to be right-handed. These orientable objects are not pointlike, and their parametrization offers novel problems. In this sense we may refer to triads as “higher objects,” by contrast to points which are “lower objects.” The thought that comes most easily to mind is to consider the nine direction cosines e^i · x^k but this is impractical, because of the six relations connecting these parameters.
    [Show full text]
  • Coordinate Transformation
    Coordinate Transformation Coordinate Transformations In this chapter, we explore mappings – where a mapping is a function that "maps" one set to another, usually in a way that preserves at least some of the underlyign geometry of the sets. For example, a 2-dimensional coordinate transformation is a mapping of the form T (u; v) = x (u; v) ; y (u; v) h i The functions x (u; v) and y (u; v) are called the components of the transforma- tion. Moreover, the transformation T maps a set S in the uv-plane to a set T (S) in the xy-plane: If S is a region, then we use the components x = f (u; v) and y = g (u; v) to …nd the image of S under T (u; v) : EXAMPLE 1 Find T (S) when T (u; v) = uv; u2 v2 and S is the unit square in the uv-plane (i.e., S = [0; 1] [0; 1]). Solution: To do so, let’s determine the boundary of T (S) in the xy-plane. We use x = uv and y = u2 v2 to …nd the image of the lines bounding the unit square: Side of Square Result of T (u; v) Image in xy-plane v = 0; u in [0; 1] x = 0; y = u2; u in [0; 1] y-axis for 0 y 1 u = 1; v in [0; 1] x = v; y = 1 v2; v in [0; 1] y = 1 x2; x in[0; 1] v = 1; u in [0; 1] x = u; y = u2 1; u in [0; 1] y = x2 1; x in [0; 1] u = 0; u in [0; 1] x = 0; y = v2; v in [0; 1] y-axis for 1 y 0 1 As a result, T (S) is the region in the xy-plane bounded by x = 0; y = x2 1; and y = 1 x2: Linear transformations are coordinate transformations of the form T (u; v) = au + bv; cu + dv h i where a; b; c; and d are constants.
    [Show full text]
  • Spinors for Everyone Gerrit Coddens
    Spinors for everyone Gerrit Coddens To cite this version: Gerrit Coddens. Spinors for everyone. 2017. cea-01572342 HAL Id: cea-01572342 https://hal-cea.archives-ouvertes.fr/cea-01572342 Submitted on 7 Aug 2017 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Spinors for everyone Gerrit Coddens Laboratoire des Solides Irradi´es, CEA-DSM-IRAMIS, CNRS UMR 7642, Ecole Polytechnique, 28, Route de Saclay, F-91128-Palaiseau CEDEX, France 5th August 2017 Abstract. It is hard to find intuition for spinors in the literature. We provide this intuition by explaining all the underlying ideas in a way that can be understood by everybody who knows the definition of a group, complex numbers and matrix algebra. We first work out these ideas for the representation SU(2) 3 of the three-dimensional rotation group in R . In a second stage we generalize the approach to rotation n groups in vector spaces R of arbitrary dimension n > 3, endowed with an Euclidean metric. The reader can obtain this way an intuitive understanding of what a spinor is. We discuss the meaning of making linear combinations of spinors.
    [Show full text]