Introduction to Robotics Lecture Note 4: General Rigid Body Motion

Total Page:16

File Type:pdf, Size:1020Kb

Introduction to Robotics Lecture Note 4: General Rigid Body Motion ECE5463: Introduction to Robotics Lecture Note 4: General Rigid Body Motion Prof. Wei Zhang Department of Electrical and Computer Engineering Ohio State University Columbus, Ohio, USA Spring 2018 Lecture 4 (ECE5463 Sp18) Wei Zhang(OSU) 1 / 36 Outline Representation of General Rigid Body Motion • Homogeneous Transformation Matrix • Twist and se(3) • Twist Representation of Rigid Motion • Screw Motion and Exponential Coordinate • Outline Lecture 4 (ECE5463 Sp18) Wei Zhang(OSU) 2 / 36 General Rigid Body Configuration 68 3.2. Rotations and Angular Velocities ˆxb ˆzb ˆy ˆzs b p ˆys ˆxs Figure 3.6: Mathematical description of position and orientation. General rigidrepresentation body configuration of rotations is provided includes by the exponential both the coordinates, orientation which R SO(3) • define an axis of rotation and the angle rotated about that axis. We leave and the positionother popular representations3 of the of rigid orientations body. (the three-parameter Euler an- 2 gles andp the roll–pitch–yawR angles, the Cayley–Rodrigues parameters, and the unit2 quaternions, which use four variables subject to one constraint) Rigid body configurationto Appendix B. can be represented by the pair (R; p) • We then examine the six-parameter exponential coordinates for the config- uration of a rigid body that arise from integrating a six-dimensional twist con- Definition (Specialsisting of the body’s Euclidean angular andGroup): linear velocities. This representation follows • from the Chasles–Mozzi theorem which states that every rigid-body displace- ment can be obtained by a finite rotation and translation about a fixed screw axis. 3 3 SEWe(3) conclude = ( withR; ap discussion): R ofSO forces(3) and; moments. p R Rather= thanSO treat(3) R these as separatef three-dimensional2 quantities, we merge2 the momentg and force × vectors into a six-dimensional wrench. The twist and wrench, and rules for manipulating them, form the basis for the kinematic and dynamic analyses in subsequent chapters. General Rigid Body Motion3.2 Rotations andLecture Angular 4 (ECE5463 Velocities Sp18) Wei Zhang(OSU) 3 / 36 3.2.1 Rotation Matrices We argued earlier that, of the nine entries in the rotation matrix R, only three can be chosen independently. We begin by expressing a set of six explicit con- straints on the entries of R. Recall that the three columns of R correspond to May 2017 preprint of Modern Robotics, Lynch and Park, Cambridge U. Press, 2017. http://modernrobotics.org Special Euclidean Group 68 3.2. Rotations and Angular Velocities ˆxb ˆzb ˆy ˆzs b p ˆys ˆxs Figure 3.6: Mathematical description of position and orientation. Let (R; p) SE(3), where p is the coordinate of the origin of b in frame • 2 f g s and R isrepresentation the orientation of rotations of is providedb relative by the exponential to coordinates,s . Let whichqs; qb be the f g define an axis of rotation and thef angleg rotated about thatf g axis. We leave coordinates ofother a popular point representations q relative of orientations to frames (the three-parameters and Eulerb , an-respectively. Then gles and the roll–pitch–yaw angles, the Cayley–Rodriguesf g parametersf g , and the unit quaternions, which use four variables subject to one constraint) to Appendix B. q = Rq + p We then examine the six-parameters exponentialb coordinates for the config- uration of a rigid body that arise from integrating a six-dimensional twist con- sisting of the body’s angular and linear velocities. This representation follows from the Chasles–Mozzi theorem which states that every rigid-body displace- ment can be obtained by a finite rotation and translation about a fixed screw axis. We conclude with a discussion of forces and moments. Rather than treat these as separate three-dimensional quantities, we merge the moment and force vectors into a six-dimensional wrench. The twist and wrench, and rules for manipulating them, form the basis for the kinematic and dynamic analyses in subsequent chapters. General Rigid Body Motion3.2 Rotations andLecture Angular 4 (ECE5463 Velocities Sp18) Wei Zhang(OSU) 4 / 36 3.2.1 Rotation Matrices We argued earlier that, of the nine entries in the rotation matrix R, only three can be chosen independently. We begin by expressing a set of six explicit con- straints on the entries of R. Recall that the three columns of R correspond to May 2017 preprint of Modern Robotics, Lynch and Park, Cambridge U. Press, 2017. http://modernrobotics.org Outline Representation of General Rigid Body Motion • Homogeneous Transformation Matrix • Twist and se(3) • Twist Representation of Rigid Motion • Screw Motion and Exponential Coordinate • Homogeneous Representation Lecture 4 (ECE5463 Sp18) Wei Zhang(OSU) 5 / 36 Homogeneous Representation x For any point x R3, its homogeneous coordinate is x~ = • 2 1 2 0 3 6 0 7 Similar, homogeneous coordinate for the origin is o~ = 6 7 • 4 0 5 1 Homogeneous coordinate for a vector v is: • Some rules of syntax for homogeneous coordinates: • Homogeneous Representation Lecture 4 (ECE5463 Sp18) Wei Zhang(OSU) 6 / 36 Homogeneous Transformation Matrix Associate each (R; p) SE(3) with a 4 4 matrix: • 2 × R p RT RT p T = with T 1 = 0 1 − 0− 1 T defined above is called a homogeneous transformation matrix. Any rigid • body configuration (R; p) SE(3) corresponds to a homogeneous transformation matrix T . 2 Equivalently, SE(3) can be defined as the set of all homogeneous • transformation matrices. Slight abuse of notation: T = (R; p) SE(3) and T x = Rx + p for x R3 • 2 2 Homogeneous Representation Lecture 4 (ECE5463 Sp18) Wei Zhang(OSU) 7 / 36 Uses of Transformation Matrices Representation of rigid body configuration (orientation and position) • Change of reference frame in which a vector or a frame is represented • Homogeneous Representation Lecture 4 (ECE5463 Sp18) Wei Zhang(OSU) 8 / 36 Uses of Transformation Matrices Rigid body motion operator that displaces a vector • Homogeneous Representation Lecture 4 (ECE5463 Sp18) Wei Zhang(OSU) 9 / 36 Uses of Transformation Matrices Rigid body motion operator that displaces a frame • Homogeneous Representation Lecture 4 (ECE5463 Sp18) Wei Zhang(OSU) 10 / 36 Example of Homogeneous Transformation Matrix In terms of the coordinates of a fixed space frame s , frame a has its ^x -axis pointing in the direction f g f g a (0; 0; 1) and its ^ya-axis pointing ( 1; 0; 0), and frame b has its ^xb-axis pointing (1; 0; 0) and its ^yb-axis pointing (0; 0; 1). The origin of −a is at (3; 0; 0) in fs g and the origin of b is at (0; 2; 0) is s . − f g f g f g f g Homogeneous Representation Lecture 4 (ECE5463 Sp18) Wei Zhang(OSU) 11 / 36 122 3.8. Exercises (j) Calculate the matrix exponential corresponding to the exponential coordi- nates of rigid-body motion θ = (0, 1, 2, 3, 0, 0). Draw the corresponding frame relative to s , as wellS as the screw axis . Example of Homogeneous Transformation{ } Matrix S Fixed frame a ; end effector frame b , the camera frame c , andf g the workpiece frame fdg. Suppose f g f g pc pb = 4 k − k ˆxb ˆxc c { } ˆy b ˆz b { } ˆyc c ˆzb 2 ˆzd d { } ˆza ˆyd 1 ˆxd a ˆya { } ˆxa 1 Figure 3.23: Four reference frames defined in a robot’s workspace. Exercise 3.17 Four reference frames are shown in the robot workspace of Figure 3.23: the fixed frame a , the end-effector frame effector b , the camera frame c , and the workpiece{ frame} d . { } { } { } (a) Find Tad and Tcd in terms of the dimensions given in the figure. (b) Find Tab given that 1 0 0 4 0 1 0 0 T = . bc 0 0 1 0 0 0 0 1 May 2017 preprint of Modern Robotics, Lynch and Park, Cambridge U. Press, 2017. http://modernrobotics.org Homogeneous Representation Lecture 4 (ECE5463 Sp18) Wei Zhang(OSU) 12 / 36 Outline Representation of General Rigid Body Motion • Homogeneous Transformation Matrix • Twist and se(3) • Twist Representation of Rigid Motion • Screw Motion and Exponential Coordinate • Twist & se(3) Lecture 4 (ECE5463 Sp18) Wei Zhang(OSU) 13 / 36 Towards Exponential Coordinate Recall: rotation matrix R SO(3) can be represented in exponential • coordinate !θ^ 2 - q(θ) = Rot(^!; θ)q0 viewed as a solution to q_(t) = [^!]q(t) with q(0) = q0 at t = θ. - The above relation requires that the rotation axis passes through the origin. We can find exponential coordinate for T SE(3) using a similar approach • (i.e. via differential equation) 2 We first need to introduce some important concepts. • Twist & se(3) Lecture 4 (ECE5463 Sp18) Wei Zhang(OSU) 14 / 36 Differential Equation for Rigid Body Motion ω v Rotation about axis that may not • pass through the origin p(t) p(t) q p p (a) (b) Figure 2.5: (a) A revolute joint and (b) a prismatic joint. The solution of the differential equation is given by Translation • p¯(t) = eξtp¯(0), b where eξt is the matrix exponential of the 4 4 matrix ξt, defined (as usual) byb × (ξt)2 (ξt)3 b eξt = I + ξt + + + b 2! 3! · · · The scalar t is the total amount ofb rotationb (since we are rotating with b unit velocity). exp(ξt) is a mapping from the initial location of a point to its location after rotating t radians. In a similar manner,b we can represent the transformation due to trans- lational motion as the exponential of a 4 4 matrix. The velocity of a Twist & se(3) Lecturepoint 4 (ECE5463 attached Sp18) to a prismatic joint moving×Wei with Zhang(OSU) unit velocity 15 / (see36 Fig- ure 2.5b) is p˙(t) = v.
Recommended publications
  • Screw and Lie Group Theory in Multibody Dynamics Recursive Algorithms and Equations of Motion of Tree-Topology Systems
    Multibody Syst Dyn DOI 10.1007/s11044-017-9583-6 Screw and Lie group theory in multibody dynamics Recursive algorithms and equations of motion of tree-topology systems Andreas Müller1 Received: 12 November 2016 / Accepted: 16 June 2017 © The Author(s) 2017. This article is published with open access at Springerlink.com Abstract Screw and Lie group theory allows for user-friendly modeling of multibody sys- tems (MBS), and at the same they give rise to computationally efficient recursive algo- rithms. The inherent frame invariance of such formulations allows to use arbitrary reference frames within the kinematics modeling (rather than obeying modeling conventions such as the Denavit–Hartenberg convention) and to avoid introduction of joint frames. The com- putational efficiency is owed to a representation of twists, accelerations, and wrenches that minimizes the computational effort. This can be directly carried over to dynamics formula- tions. In this paper, recursive O(n) Newton–Euler algorithms are derived for the four most frequently used representations of twists, and their specific features are discussed. These for- mulations are related to the corresponding algorithms that were presented in the literature. Two forms of MBS motion equations are derived in closed form using the Lie group formu- lation: the so-called Euler–Jourdain or “projection” equations, of which Kane’s equations are a special case, and the Lagrange equations. The recursive kinematics formulations are readily extended to higher orders in order to compute derivatives of the motions equations. To this end, recursive formulations for the acceleration and jerk are derived. It is briefly discussed how this can be employed for derivation of the linearized motion equations and their time derivatives.
    [Show full text]
  • Nanocrystalline Nanowires: I. Structure
    Nanocrystalline Nanowires: I. Structure Philip B. Allen Department of Physics and Astronomy, State University of New York, Stony Brook, NY 11794-3800∗ and Center for Functional Nanomaterials, Brookhaven National Laboratory, Upton, NY 11973-5000 (Dated: September 7, 2006) Geometric constructions of possible atomic arrangements are suggested for inorganic nanowires. These are fragments of bulk crystals, and can be called \nanocrystalline" nanowires (NCNW). To minimize surface polarity, nearly one-dimensional formula units, oriented along the growth axis, generate NCNW's by translation and rotation. PACS numbers: 61.46.-w, 68.65.La, 68.70.+w Introduction. Periodic one-dimensional (1D) motifs twinned16; \core-shell" (COHN)4,17; and longitudinally are common in nature. The study of single-walled car- heterogeneous (LOHN) NCNW's. bon nanotubes (SWNT)1,2 is maturing rapidly, but other Design principle. The remainder of this note is about 1D systems are at an earlier stage. Inorganic nanowires NCNW's. It offers a possible design principle, which as- are the topic of the present two papers. There is much sists visualization of candidate atomic structures, and optimism in this field3{6. Imaging gives insight into provides a template for arrangements that can be tested self-assembled nanostructures, and incentives to improve theoretically, for example by density functional theory growth protocols. Electron microscopy, diffraction, and (DFT). The basic idea is (1) choose a maximally linear, optical spectroscopy on individual wires7 provide detailed charge-neutral, and (if possible) dipole-free atomic clus- information. Device applications are expected. These ter containing a single formula unit, and (2) using if possi- systems offer great opportunities for atomistic modelling.
    [Show full text]
  • Projective Geometry: a Short Introduction
    Projective Geometry: A Short Introduction Lecture Notes Edmond Boyer Master MOSIG Introduction to Projective Geometry Contents 1 Introduction 2 1.1 Objective . .2 1.2 Historical Background . .3 1.3 Bibliography . .4 2 Projective Spaces 5 2.1 Definitions . .5 2.2 Properties . .8 2.3 The hyperplane at infinity . 12 3 The projective line 13 3.1 Introduction . 13 3.2 Projective transformation of P1 ................... 14 3.3 The cross-ratio . 14 4 The projective plane 17 4.1 Points and lines . 17 4.2 Line at infinity . 18 4.3 Homographies . 19 4.4 Conics . 20 4.5 Affine transformations . 22 4.6 Euclidean transformations . 22 4.7 Particular transformations . 24 4.8 Transformation hierarchy . 25 Grenoble Universities 1 Master MOSIG Introduction to Projective Geometry Chapter 1 Introduction 1.1 Objective The objective of this course is to give basic notions and intuitions on projective geometry. The interest of projective geometry arises in several visual comput- ing domains, in particular computer vision modelling and computer graphics. It provides a mathematical formalism to describe the geometry of cameras and the associated transformations, hence enabling the design of computational ap- proaches that manipulates 2D projections of 3D objects. In that respect, a fundamental aspect is the fact that objects at infinity can be represented and manipulated with projective geometry and this in contrast to the Euclidean geometry. This allows perspective deformations to be represented as projective transformations. Figure 1.1: Example of perspective deformation or 2D projective transforma- tion. Another argument is that Euclidean geometry is sometimes difficult to use in algorithms, with particular cases arising from non-generic situations (e.g.
    [Show full text]
  • Lecture 12: Camera Projection
    Robert Collins CSE486, Penn State Lecture 12: Camera Projection Reading: T&V Section 2.4 Robert Collins CSE486, Penn State Imaging Geometry W Object of Interest in World Coordinate System (U,V,W) V U Robert Collins CSE486, Penn State Imaging Geometry Camera Coordinate Y System (X,Y,Z). Z X • Z is optic axis f • Image plane located f units out along optic axis • f is called focal length Robert Collins CSE486, Penn State Imaging Geometry W Y y X Z x V U Forward Projection onto image plane. 3D (X,Y,Z) projected to 2D (x,y) Robert Collins CSE486, Penn State Imaging Geometry W Y y X Z x V u U v Our image gets digitized into pixel coordinates (u,v) Robert Collins CSE486, Penn State Imaging Geometry Camera Image (film) World Coordinates Coordinates CoordinatesW Y y X Z x V u U v Pixel Coordinates Robert Collins CSE486, Penn State Forward Projection World Camera Film Pixel Coords Coords Coords Coords U X x u V Y y v W Z We want a mathematical model to describe how 3D World points get projected into 2D Pixel coordinates. Our goal: describe this sequence of transformations by a big matrix equation! Robert Collins CSE486, Penn State Backward Projection World Camera Film Pixel Coords Coords Coords Coords U X x u V Y y v W Z Note, much of vision concerns trying to derive backward projection equations to recover 3D scene structure from images (via stereo or motion) But first, we have to understand forward projection… Robert Collins CSE486, Penn State Forward Projection World Camera Film Pixel Coords Coords Coords Coords U X x u V Y y v W Z 3D-to-2D Projection • perspective projection We will start here in the middle, since we’ve already talked about this when discussing stereo.
    [Show full text]
  • Point Sets up to Rigid Transformations Are Determined by the Distribution of Their Pairwise Distances
    Point Sets Up to Rigid Transformations are Determined by the Distribution of their Pairwise Distances Daniel Chen December 6, 2008 Abstract This report is a summary of [BK06], which gives a simpler, albeit less general proof for the result of [BK04]. 1 Introduction [BK04] and [BK06] study the circumstances when sets of n-points in Euclidean space are determined up to rigid transformations by the distribution of unlabeled pairwise distances. In fact, they show the rather surprising result that any set of n-points in general position are determined up to rigid transformations by the distribution of unlabeled distances. 1.1 Practical Motivation The results of [BK04] and [BK06] are partly motivated by experimental results in [OFCD]. [OFCD] is an experimental study evaluating the use of shape distri- butions to classify 3D objects represented by point clouds. A shape distribution is a the distribution of a function on a randomly selected set of points from the point cloud. [OFCD] tested various such functions, including the angle be- tween three random points on the surface, the distance between the centroid and a random point, the distance between two random points, the square root of the area of the triangle between three random points, and the cube root of the volume of the tetrahedron between four random points. Then, the distri- butions are compared using dissimilarity measures, including χ2, Battacharyya, and Minkowski LN norms for both the pdf and cdf for N = 1; 2; 1. The experimental results showed that the shape distribution function that worked best for classification was the distance between two random points and the best dissimilarity measure was the pdf L1 norm.
    [Show full text]
  • Draft Framework for a Teaching Unit: Transformations
    Co-funded by the European Union PRIMARY TEACHER EDUCATION (PrimTEd) PROJECT GEOMETRY AND MEASUREMENT WORKING GROUP DRAFT FRAMEWORK FOR A TEACHING UNIT Preamble The general aim of this teaching unit is to empower pre-service students by exposing them to geometry and measurement, and the relevant pe dagogical content that would allow them to become skilful and competent mathematics teachers. The depth and scope of the content often go beyond what is required by prescribed school curricula for the Intermediate Phase learners, but should allow pre- service teachers to be well equipped, and approach the teaching of Geometry and Measurement with confidence. Pre-service teachers should essentially be prepared for Intermediate Phase teaching according to the requirements set out in MRTEQ (Minimum Requirements for Teacher Education Qualifications, 2019). “MRTEQ provides a basis for the construction of core curricula Initial Teacher Education (ITE) as well as for Continuing Professional Development (CPD) Programmes that accredited institutions must use in order to develop programmes leading to teacher education qualifications.” [p6]. Competent learning… a mixture of Theoretical & Pure & Extrinsic & Potential & Competent learning represents the acquisition, integration & application of different types of knowledge. Each type implies the mastering of specific related skills Disciplinary Subject matter knowledge & specific specialized subject Pedagogical Knowledge of learners, learning, curriculum & general instructional & assessment strategies & specialized Learning in & from practice – the study of practice using Practical learning case studies, videos & lesson observations to theorize practice & form basis for learning in practice – authentic & simulated classroom environments, i.e. Work-integrated Fundamental Learning to converse in a second official language (LOTL), ability to use ICT & acquisition of academic literacies Knowledge of varied learning situations, contexts & Situational environments of education – classrooms, schools, communities, etc.
    [Show full text]
  • Half-Turns and Line Symmetric Motions
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by LSBU Research Open Half-turns and Line Symmetric Motions J.M. Selig Faculty of Business, Computing and Info. Management, London South Bank University, London SE1 0AA, U.K. (e-mail: [email protected]) and M. Husty Institute of Basic Sciences in Engineering Unit Geometry and CAD, Leopold-Franzens-Universit¨at Innsbruck, Austria. (e-mail: [email protected]) Abstract A line symmetric motion is the motion obtained by reflecting a rigid body in the successive generator lines of a ruled surface. In this work we review the dual quaternion approach to rigid body displacements, in particular the representation of the group SE(3) by the Study quadric. Then some classical work on reflections in lines or half-turns is reviewed. Next two new characterisations of line symmetric motions are presented. These are used to study a number of examples one of which is a novel line symmetric motion given by a rational degree five curve in the Study quadric. The rest of the paper investigates the connection between sets of half-turns and linear subspaces of the Study quadric. Line symmetric motions produced by some degenerate ruled surfaces are shown to be restricted to certain 2-planes in the Study quadric. Reflections in the lines of a linear line complex lie in the intersection of a the Study-quadric with a 4-plane. 1 Introduction In this work we revisit the classical idea of half-turns using modern mathematical techniques. In particular we use the dual quaternion representation of rigid-body motions.
    [Show full text]
  • Symmetry Indicators and Anomalous Surface States of Topological Crystalline Insulators
    PHYSICAL REVIEW X 8, 031070 (2018) Symmetry Indicators and Anomalous Surface States of Topological Crystalline Insulators Eslam Khalaf,1,2 Hoi Chun Po,2 Ashvin Vishwanath,2 and Haruki Watanabe3 1Max Planck Institute for Solid State Research, Heisenbergstraße 1, 70569 Stuttgart, Germany 2Department of Physics, Harvard University, Cambridge, Massachusetts 02138, USA 3Department of Applied Physics, University of Tokyo, Tokyo 113-8656, Japan (Received 15 February 2018; published 14 September 2018) The rich variety of crystalline symmetries in solids leads to a plethora of topological crystalline insulators (TCIs), featuring distinct physical properties, which are conventionally understood in terms of bulk invariants specialized to the symmetries at hand. While isolated examples of TCI have been identified and studied, the same variety demands a unified theoretical framework. In this work, we show how the surfaces of TCIs can be analyzed within a general surface theory with multiple flavors of Dirac fermions, whose mass terms transform in specific ways under crystalline symmetries. We identify global obstructions to achieving a fully gapped surface, which typically lead to gapless domain walls on suitably chosen surface geometries. We perform this analysis for all 32 point groups, and subsequently for all 230 space groups, for spin-orbit-coupled electrons. We recover all previously discussed TCIs in this symmetry class, including those with “hinge” surface states. Finally, we make connections to the bulk band topology as diagnosed through symmetry-based indicators. We show that spin-orbit-coupled band insulators with nontrivial symmetry indicators are always accompanied by surface states that must be gapless somewhere on suitably chosen surfaces. We provide an explicit mapping between symmetry indicators, which can be readily calculated, and the characteristic surface states of the resulting TCIs.
    [Show full text]
  • Rigid Transformations
    Mathematical Principles in Vision and Graphics: Rigid Transformations Ass.Prof. Friedrich Fraundorfer SS 2018 Learning goals . Understand the problems of dealing with rotations . Understand how to represent rotations . Understand the terms SO(3) etc. Understand the use of the tangent space . Understand Euler angles, Axis-Angle, and quaternions . Understand how to interpolate, filter and optimize rotations 2 Outline . Rigid transformations . Problems with rotation matrices . Properties of rotation matrices . Matrix groups SO(3), SE(3) . Manifolds . Tangent space . Skew-symmetric matrices . Exponential map . Euler angles, angle-axis, quaternions . Interpolation . Filtering . Optimization 3 Motivation: 3D Viewer Rigid transformations 푧 푝 푋퐶 푍 푋푤 푥 퐶 푦 푂 푊 푇 푅 푂 푌 푥 ∈ ℝ푛 푋 푋푐 = 푅푋푤 + 푇 T ∈ ℝ푛 . Coordinates are related by: 푋푐 푅 푇 푋푤 = 푛×푛 1 0 1 1 푅 ∈ ℝ . Rigid transformation belong to the matrix group SE(3) . What does this mean? 5 Properties of rotation matrices Rotation matrix: 푧 푍 3×3 푅 = 푟1, 푟2, 푟3 ∈ ℝ 푟3 푦 푟2 푇 푅 푅 = 퐼, det 푅 = +1 푂 푌 푟1 푋 푥 Coordinates are related by: 푋푐 = 푅푋푤 . Rotation matrices belong to the matrix group SO(3) . What does this mean? 6 Problems with rotation matrices . Optimization of rotations (bundle adjustment) 푓(푥푛) ▫ Newton’s method 푥푛+1 = 푥푛 − 푓′(푥푛) . Linear interpolation . Filtering and averaging ▫ E.g. averaging rotation from IMU or camera pose tracker for AR/VR glasses 7 Matrix groups . The set of all the nxn invertible matrices is a group w.r.t. the matrix multiplication: 퐺퐿(푛) = 푀 ∈ ℝ푛×푛|det(푀) ≠ 0 ,× General linear group .
    [Show full text]
  • Unit 5 Transformations in the Coordinate Plane
    Coordinate Algebra: Unit 5 Transformations in the Coordinate Plane Learning Targets: I can… Important Understandings and Concepts • Define angles, circles, perpendicular lines, parallel lines, rays, and line segments precisely using the undefined terms and “if- then” and “if-and-only-if” statements. • Draw transformations of reflections, rotations, translations, and combinations of these using graph paper, transparencies, and /or geometry software. Transformational geometry is about the effects of rigid motions, rotations, • Determine the coordinates for the image (output) of a figure reflections and translations on figures. A reflection is a flip over a line. when a transformation rule is applied to the preimage (input). Reflections have the same shape and size as the original image. • Calculate the number of lines of reflection symmetry and the degree of rotational symmetry of any regular polygon. • Draw a specific transformation when given a geometric figure and a rotation, reflection, or translation. • Predict and verify the sequence of transformations (a composition) that will map a figure onto another. Vocabulary angle – is the figure formed by two rays, called the sides of the angle, sharing a common endpoint. A translation or “slide” is moving a shape, without rotating or flipping it. rigid transformation: is one in which the pre-image and the image The shape still looks exactly the same, just in a different place. both have the exact same size and shape (congruent). transformation: The mapping, or movement, of all the points of a figure in a plane according to a common operation. reflection: A transformation that "flips" a figure over a line of reflection.
    [Show full text]
  • Chapter 1 Rigid Body Kinematics
    Chapter 1 Rigid Body Kinematics 1.1 Introduction This chapter builds up the basic language and tools to describe the motion of a rigid body – this is called rigid body kinematics. This material will be the foundation for describing general mech- anisms consisting of interconnected rigid bodies in various topologies that are the focus of this book. Only the geometric property of the body and its evolution in time will be studied; the re- sponse of the body to externally applied forces is covered in Chapter ?? under the topic of rigid body dynamics. Rigid body kinematics is not only useful in the analysis of robotic mechanisms, but also has many other applications, such as in the analysis of planetary motion, ground, air, and water vehicles, limbs and bodies of humans and animals, and computer graphics and virtual reality. Indeed, in 1765, motivated by the precession of the equinoxes, Leonhard Euler decomposed a rigid body motion to a translation and rotation, parameterized rotation by three principal-axis rotation (Euler angles), and proved the famous Euler’s rotation theorem [?]. A body is rigid if the distance between any two points fixed with respect to the body remains constant. If the body is free to move and rotate in space, it has 6 degree-of-freedom (DOF), 3 trans- lational and 3 rotational, if we consider both translation and rotation. If the body is constrained in a plane, then it is 3-DOF, 2 translational and 1 rotational. We will adopt a coordinate-free ap- proach as in [?, ?] and use geometric, rather than purely algebraic, arguments as much as possible.
    [Show full text]
  • Script Unit 4.4 (Screw Axes in Crystal Structures).Docx
    Script Unit 4.4 Welcome back! Slide 2 In the last unit, we introduced helical or screw symmetry in general; now, we want to investigate, what different kinds of screw axes, that is, what kind of different helical symmetries are present in crystal structures. Slide 3 Let’s look at a first example - here you see a unit cell of a crystal in two different views, a crystal, which should belong to the hexagonal crystal system; the right view is a projection along the c- direction. We see, that this crystal is composed of atoms, that build these helices running along all corners of the unit cell; if we look from above onto this plane, then these screws look like flat hexagons. Because this is a crystal we have translational symmetry, these helices are repeated again and again as a whole, here along the a- and b-direction. But there is - likewise as in glide planes - another symmetry element present, which has a translational component being smaller than a whole unit cell - and this is a screw axis. Slide 4 Along this axis the atoms are symmetry related to each other by applying a screw rotation: if we rotate first this atom by 60 degrees and then translate it parallel to the screw axis by one-sixth of the unit cell, then it will be mapped onto this atom. This can be done with all other atoms as well with this one, that one and so forth… This is an example of a six-fold screw axis, meaning the rotational part is 60 degrees - analogous to pure rotations.
    [Show full text]