DOCSLIB.ORG

Chapter 7 Cross Product

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Chapter 7 Cross Product Cross product 1 Chapter 7 Cross product We are getting ready to study integration in several variables. Until now we have been doing only di®erential calculus. One outcome of this study will be our ability to compute volumes of interesting regions of Rn. As preparation for this we shall learn in this chapter how to compute volumes of parallelepipeds in R3. In this material there is a close connection with the vector product, which we now discuss. A. De¯nition of the cross product We begin with a simple but interesting problem. Let x, y be given vectors in R3: x = (x1; x2; x3) and y = (y1; y2; y3). Assume that x and y are linearly independent; in other words, 0, x, y determine a unique plane. We then want to determine a nonzero vector z which is orthogonal to this plane. That is, we want to solve the equations x ² z = 0 and y ² z = 0. We are certain in advance that z will be uniquely determined up to a scalar factor. The equations in terms of the coordinates of z are x1z1 + x2z2 + x3z3 = 0; y1z1 + y2z2 + y3z3 = 0: It is no surprise that we have two equations but three \unknowns," as we know z is not going to be unique. Since x and y are linearly independent, the matrix µ ¶ x1 x2 x3 y1 y2 y3 has row rank equal to 2, and thus also has column rank 2. Thus it has two linearly independent columns. To be de¯nite, suppose that the ¯rst two columns are independent; in other words, x1y2 ¡ x2y1 6= 0: (This is all a special case of the general discussion in Section 6B.) Then we can solve the following two equations for the \unknowns" z1 and z2: x1z1 + x2z2 = ¡x3z3; y1z1 + y2z2 = ¡y3z3: The result is 2 Chapter 7 x2y3 ¡ x3y2 z1 = z3; x1y2 ¡ x2y1 x3y1 ¡ x1y3 z2 = z3: x1y2 ¡ x2y1 Notice of course we have an undetermined scalar factor z3. Now we simply make the choice z3 = x1y2 ¡ x2y1(6= 0). Then the vector z can be written 8 < z1 = x2y3 ¡ x3y2; z = x y ¡ x y ; : 2 3 1 1 3 z3 = x1y2 ¡ x2y1: This is precisely what we were trying to ¯nd, and we now simply make this a de¯nition: DEFINITION. The cross product (or vector product) of two vectors x, y in R3 is the vector x £ y = (x2y3 ¡ x3y2; x3y1 ¡ x1y3; x1y2 ¡ x2y1): DISCUSSION. 1. Our development was based on the assumption that x and y are linearly independent. But the de¯nition still holds in the case of linear dependence, and produces x £ y = 0. Thus we can say immediately that x and y are linearly dependent () x £ y = 0: 2. We also made the working assumption that x1y2 ¡ x2y1 6= 0. Either of the other two choices of independent columns produces the same sort of result. This is clearly seen in the nice symmetry of the de¯nition. 3. The de¯nition is actually quite easily memorized. Just realize that the ¯rst component of z = x £ y is z1 = x2y3 ¡ x3y2 and then a cyclic permutation 1 ! 2 ! 3 ! 1 of the indices automatically produces the other two components. 4. A convenient mnemonic for the de¯nition is given by the formal determinant expression, 0 1 ^{ |^ k^ @ A x £ y = det x1 x2 x3 : y1 y2 y3 Cross product 3 In this expression the entries in the ¯rst row are the standard unit coordinate vectors, and the \determinant" is to be calculated by expansion by the minors along the ¯rst row. 5. We are left with one true ambiguity in the de¯nition, and that is which sign to take. In our development we chose z3 = x1y2 ¡ x2y1, but we could have of course chosen z3 = x2y1 ¡ x1y2. In this case, the entire mathematical community agrees with the choice we have made. 6. Nice special cases: ^{ £ |^ = k;^ |^£ k^ = ^{; k^ £ ^{ =|: ^ 7. By the way, two vectors in R3 have a dot product (a scalar) and a cross product (a vector). The words \dot" and \cross" are somehow weaker than \scalar" and \vector," but they have stuck. ALGEBRAIC PROPERTIES. The cross product is linear in each factor, so we have for example for vectors x, y, u, v, (ax + by) £ (cu + dv) = acx £ u + adx £ v + bcy £ u + bdy £ v: It is anticommutative: y £ x = ¡x £ y: It is not associative: for instance, ^{ £ (^{ £ |^) = ^{ £ k^ = ¡|^; (^{ £ ^{) £ |^ = 0 £ ^j = 0: PROBLEM 7{1. Let x 2 R3 be thought of as ¯xed. Then x £ y is a linear function from R3 to R3 and thus can be represented in a unique way as a matrix times the column vector y. Show that in fact 0 1 0 ¡x3 x2 x £ y = @ x3 0 ¡x1A y: ¡x2 x1 0 4 Chapter 7 PROBLEM 7{2. Assuming x 6= 0 in the preceding problem, ¯nd the characteristic polynomial of the 3 £ 3 matrix given there. What are its eigenvalues? B. The norm of the cross product The approach I want to take here goes back to the Schwarz inequality on p. 1{15, for which we are now going to give an entirely di®erent proof. Suppose then that x, y 2 Rn. We are going to prove jx ² yj · kxk kyk by calculating the di®erence of the squares of the two sides, as follows: à ! Xn Xn Xn 2 2 2 2 2 2 kxk kyk ¡ (x ² y) = xi yi ¡ xiyi i=1 i=1 i=1 Xn Xn Xn Xn 2 2 = xi yj ¡ xiyi xjyj i=1 j=1 i=1 j=1 Xn Xn 2 2 = xi yj ¡ xiyixjyj i;j=1 i;j=1 X Xn X 2 2 2 2 2 2 = xi yj + xi yi + xi yj i<j i=1 i>j X Xn X 2 2 ¡ xiyixjyj ¡ xi yi ¡ xiyixjyj i<j i=1 i>j X X X 2 2 2 2 = xi yj + xj yi ¡ 2 xiyixjyj i<j j>i i<j X ¡ 2 2 2 2¢ = xi yj ¡ 2xiyixjyj + xj yi i<j X 2 = (xiyj ¡ xjyi) : i<j This then proves that kxk2 kyk2 ¡ (x ² y)2 ¸ 0. If we specialize to R3, we have 2 2 2 2 2 2 kxk kyk ¡ (x ² y) = (x1y2 ¡ x2y1) + (x2y3 ¡ x3y2) + (x1y3 ¡ x3y1) : 2 2 2 But the right side is precisely z3 + z1 + z2 in the above notation. Thus we have proved the Cross product 5 wonderful Lagrange's identity kxk2 kyk2 = (x ² y)2 + kx £ yk2: This identity relates norms, dot products, and cross products. In terms of the angle θ between x and y, we have from p. 1{17 the formula x ² y = kxk kyk cos θ. Thus, kx £ yk = kxk kyk sin θ: This result completes the geometric description of the cross product, up to sign. The vector x £ y is orthogonal to the plane determined by 0, x and y, and its norm is given by the formula we have just derived. An even more geometric way of saying this is that the norm of x £ y is the area of the parallelogram with vertices 0, x, y, x + y: x y y x+y θ x 6 Chapter 7 PROBLEM 7{3. The Lagrange identity can easily be generalized. Using the following outline, prove that for x, y, u, v 2 R3, (x £ y) ² (u £ v) = (x ² u)(y ² v) ¡ (x ² v)(y ² u): Outline: the right side equals à !à ! à !à ! X X X X xiui yjvj ¡ xivi yjuj i j i j X = xiyj(uivj ¡ ujvi) (why?) i;j X = xjyi(ujvi ¡ uivj) (why?) i;j 1 X = (x y ¡ x y )(u v ¡ u v ) (why?) 2 i j j i i j j i i;j X = (xiyj ¡ xjyi)(uivj ¡ ujvi) (why?) i<j = (x £ y) ² (u £ v): C. Triple products The formal representation of x £ y as a determinant enables us to calculate inner products readily: for any u 2 R3 0 1 ^{ |^ k^ ³ ´ @ A ^ (x £ y) ² u = det x1 x2 x3 ² u1^{ + u2|^+ u3k y y y 0 1 2 3 1 u1 u2 u3 = det @x1 x2 x3A : y1 y2 y3 (Notice how clearly this formula displays the fact that (x £ y) ² x = (x £ y) ² y = 0.) This number (x £ y) ² u is called the scalar triple product of the vectors x, y, and u. The formula we have just given makes it clear that Cross product 7 (x £ y) ² u = (u £ x) ² y = (y £ u) ² x = ¡(y £ x) ² u = ¡(x £ u) ² y = ¡(u £ y) ² x: Thus we have the interesting phenomenon that writing x, y, u in order gives (x £ y) ² u = x ² (y £ u): So the triple product doesn't care which you call £ and which you call ². For this reason, it's frequently written [x; y; u] = (x £ y) ² u: PROBLEM 7{4. The vector triple product is (x £ y) £ u. It can be related to dot products by the identity (x £ y) £ u = (x ² u)y ¡ (y ² u)x: Prove this by using Problem 7{3 to calculate the dot product of each side of the proposed formula with an arbitrary v 2 R3. PROBLEM 7{5. Prove quickly that the other vector triple product satis¯es x £ (y £ u) = (x ² u)y ¡ (x ² y)u: The identities in Problems 7{4 and 7{5 can be remembered by expressing the right side of each as vector triple product = (outer²far) near ¡ (outer²near) far: The scalar triple product is exactly the device that enables us to compute volumes of parallelepipeds in R3.
Load more

Recommended publications
  • DERIVATIONS and PROJECTIONS on JORDAN TRIPLES an Introduction to Nonassociative Algebra, Continuous Cohomology, and Quantum Functional Analysis
    DERIVATIONS AND PROJECTIONS ON JORDAN TRIPLES An introduction to nonassociative algebra, continuous cohomology, and quantum functional analysis Bernard Russo July 29, 2014 This paper is an elaborated version of the material presented by the author in a three hour minicourse at V International Course of Mathematical Analysis in Andalusia, at Almeria, Spain September 12-16, 2011. The author wishes to thank the scientific committee for the opportunity to present the course and to the organizing committee for their hospitality. The author also personally thanks Antonio Peralta for his collegiality and encouragement. The minicourse on which this paper is based had its genesis in a series of talks the author had given to undergraduates at Fullerton College in California. I thank my former student Dana Clahane for his initiative in running the remarkable undergraduate research program at Fullerton College of which the seminar series is a part. With their knowledge only of the product rule for differentiation as a starting point, these enthusiastic students were introduced to some aspects of the esoteric subject of non associative algebra, including triple systems as well as algebras. Slides of these talks and of the minicourse lectures, as well as other related material, can be found at the author's website (www.math.uci.edu/∼brusso). Conversely, these undergraduate talks were motivated by the author's past and recent joint works on derivations of Jordan triples ([116],[117],[200]), which are among the many results discussed here. Part I (Derivations) is devoted to an exposition of the properties of derivations on various algebras and triple systems in finite and infinite dimensions, the primary questions addressed being whether the derivation is automatically continuous and to what extent it is an inner derivation.
    [Show full text]
  • A Parallelepiped Based Approach
    3D Modelling Using Geometric Constraints: A Parallelepiped Based Approach Marta Wilczkowiak, Edmond Boyer, and Peter Sturm MOVI–GRAVIR–INRIA Rhˆone-Alpes, 38330 Montbonnot, France, [email protected], http://www.inrialpes.fr/movi/people/Surname Abstract. In this paper, efficient and generic tools for calibration and 3D reconstruction are presented. These tools exploit geometric con- straints frequently present in man-made environments and allow cam- era calibration as well as scene structure to be estimated with a small amount of user interactions and little a priori knowledge. The proposed approach is based on primitives that naturally characterize rigidity con- straints: parallelepipeds. It has been shown previously that the intrinsic metric characteristics of a parallelepiped are dual to the intrinsic charac- teristics of a perspective camera. Here, we generalize this idea by taking into account additional redundancies between multiple images of multiple parallelepipeds. We propose a method for the estimation of camera and scene parameters that bears strongsimilarities with some self-calibration approaches. Takinginto account prior knowledgeon scene primitives or cameras, leads to simpler equations than for standard self-calibration, and is expected to improve results, as well as to allow structure and mo- tion recovery in situations that are otherwise under-constrained. These principles are illustrated by experimental calibration results and several reconstructions from uncalibrated images. 1 Introduction This paper is about using partial information on camera parameters and scene structure, to simplify and enhance structure from motion and (self-) calibration. We are especially interested in reconstructing man-made environments for which constraints on the scene structure are usually easy to provide.
    [Show full text]
  • Area, Volume and Surface Area
    The Improving Mathematics Education in Schools (TIMES) Project MEASUREMENT AND GEOMETRY Module 11 AREA, VOLUME AND SURFACE AREA A guide for teachers - Years 8–10 June 2011 YEARS 810 Area, Volume and Surface Area (Measurement and Geometry: Module 11) For teachers of Primary and Secondary Mathematics 510 Cover design, Layout design and Typesetting by Claire Ho The Improving Mathematics Education in Schools (TIMES) Project 2009‑2011 was funded by the Australian Government Department of Education, Employment and Workplace Relations. The views expressed here are those of the author and do not necessarily represent the views of the Australian Government Department of Education, Employment and Workplace Relations. © The University of Melbourne on behalf of the international Centre of Excellence for Education in Mathematics (ICE‑EM), the education division of the Australian Mathematical Sciences Institute (AMSI), 2010 (except where otherwise indicated). This work is licensed under the Creative Commons Attribution‑NonCommercial‑NoDerivs 3.0 Unported License. http://creativecommons.org/licenses/by‑nc‑nd/3.0/ The Improving Mathematics Education in Schools (TIMES) Project MEASUREMENT AND GEOMETRY Module 11 AREA, VOLUME AND SURFACE AREA A guide for teachers - Years 8–10 June 2011 Peter Brown Michael Evans David Hunt Janine McIntosh Bill Pender Jacqui Ramagge YEARS 810 {4} A guide for teachers AREA, VOLUME AND SURFACE AREA ASSUMED KNOWLEDGE • Knowledge of the areas of rectangles, triangles, circles and composite figures. • The definitions of a parallelogram and a rhombus. • Familiarity with the basic properties of parallel lines. • Familiarity with the volume of a rectangular prism. • Basic knowledge of congruence and similarity. • Since some formulas will be involved, the students will need some experience with substitution and also with the distributive law.
    [Show full text]
  • Triple Product Formula and the Subconvexity Bound of Triple Product L-Function in Level Aspect
    TRIPLE PRODUCT FORMULA AND THE SUBCONVEXITY BOUND OF TRIPLE PRODUCT L-FUNCTION IN LEVEL ASPECT YUEKE HU Abstract. In this paper we derived a nice general formula for the local integrals of triple product formula whenever one of the representations has sufficiently higher level than the other two. As an application we generalized Venkatesh and Woodbury’s work on the subconvexity bound of triple product L-function in level aspect, allowing joint ramifications, higher ramifications, general unitary central characters and general special values of local epsilon factors. 1. introduction 1.1. Triple product formula. Let F be a number field. Let ⇡i, i = 1, 2, 3 be three irreducible unitary cuspidal automorphic representations, such that the product of their central characters is trivial: (1.1) w⇡i = 1. Yi Let ⇧=⇡ ⇡ ⇡ . Then one can define the triple product L-function L(⇧, s) associated to them. 1 ⌦ 2 ⌦ 3 It was first studied in [6] by Garrett in classical languages, where explicit integral representation was given. In particular the triple product L-function has analytic continuation and functional equation. Later on Shapiro and Rallis in [19] reformulated his work in adelic languages. In this paper we shall study the following integral representing the special value of triple product L function (see Section 2.2 for more details): − ⇣2(2)L(⇧, 1/2) (1.2) f (g) f (g) f (g)dg 2 = F I0( f , f , f ), | 1 2 3 | ⇧, , v 1,v 2,v 3,v 8L( Ad 1) v ZAD (FZ) D (A) ⇤ \ ⇤ Y D D Here fi ⇡i for a specific quaternion algebra D, and ⇡i is the image of ⇡i under Jacquet-Langlands 2 0 correspondence.
    [Show full text]
  • Evaporationin Icparticles
    The JapaneseAssociationJapanese Association for Crystal Growth (JACG){JACG) Small Metallic ParticlesProduced by Evaporation in lnert Gas at Low Pressure Size distributions, crystal morphologyand crystal structures KazuoKimoto physiosLaboratory, Department of General Educatien, Nago)ra University Various experimental results ef the studies on fine 1. Introduction particles produced by evaperation and subsequent conden$ation in inert gas at low pressure are reviewed. Small particles of metals and semi-metals can A brief historical survey is given and experimental be produced by evaporation and subsequent arrangements for the production of the particles are condensation in the free space of an inert gas at described. The structure of the stnoke, the qualitative low pressure, a very simple technique, recently particle size clistributions, small particle statistios and "gas often referred to as evaporation technique"i) the crystallographic aspccts ofthe particles are consid- ered in some detail. Emphasis is laid on the crystal (GET). When the pressure of an inert is in the inorphology and the related crystal structures ef the gas range from about one to several tens of Torr, the particles efsome 24 elements. size of the particles produced by GET is in thc range from several to several thousand nm, de- pending on the materials evaporated, the naturc of the inert gas and various other evaporation conditions. One of the most characteristic fea- tures of the particles thus produced is that the particles have, generally speaking, very well- defined crystal habits when the particle size is in the range from about ten to several hundred nm. The crystal morphology and the relevant crystal structures of these particles greatly interested sDme invcstigators in Japan, 4nd encouraged them to study these propenies by means of elec- tron microscopy and electron difliraction.
    [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]
  • Vector Analysis
    DOING PHYSICS WITH MATLAB VECTOR ANANYSIS Ian Cooper School of Physics, University of Sydney [email protected] DOWNLOAD DIRECTORY FOR MATLAB SCRIPTS cemVectorsA.m Inputs: Cartesian components of the vector V Outputs: cylindrical and spherical components and [3D] plot of vector cemVectorsB.m Inputs: Cartesian components of the vectors A B C Outputs: dot products, cross products and triple products cemVectorsC.m Rotation of XY axes around Z axis to give new of reference X’Y’Z’. Inputs: rotation angle and vector (Cartesian components) in XYZ frame Outputs: Cartesian components of vector in X’Y’Z’ frame mscript can be modified to calculate the rotation matrix for a [3D] rotation and give the Cartesian components of the vector in the X’Y’Z’ frame of reference. Doing Physics with Matlab 1 SPECIFYING a [3D] VECTOR A scalar is completely characterised by its magnitude, and has no associated direction (mass, time, direction, work). A scalar is given by a simple number. A vector has both a magnitude and direction (force, electric field, magnetic field). A vector can be specified in terms of its Cartesian or cylindrical (polar in [2D]) or spherical coordinates. Cartesian coordinate system (XYZ right-handed rectangular: if we curl our fingers on the right hand so they rotate from the X axis to the Y axis then the Z axis is in the direction of the thumb). A vector V in specified in terms of its X, Y and Z Cartesian components ˆˆˆ VVVV x,, y z VViVjVk x y z where iˆˆ,, j kˆ are unit vectors parallel to the X, Y and Z axes respectively.
    [Show full text]
  • Matrices and Tensors
    APPENDIX MATRICES AND TENSORS A.1. INTRODUCTION AND RATIONALE The purpose of this appendix is to present the notation and most of the mathematical tech- niques that are used in the body of the text. The audience is assumed to have been through sev- eral years of college-level mathematics, which included the differential and integral calculus, differential equations, functions of several variables, partial derivatives, and an introduction to linear algebra. Matrices are reviewed briefly, and determinants, vectors, and tensors of order two are described. The application of this linear algebra to material that appears in under- graduate engineering courses on mechanics is illustrated by discussions of concepts like the area and mass moments of inertia, Mohr’s circles, and the vector cross and triple scalar prod- ucts. The notation, as far as possible, will be a matrix notation that is easily entered into exist- ing symbolic computational programs like Maple, Mathematica, Matlab, and Mathcad. The desire to represent the components of three-dimensional fourth-order tensors that appear in anisotropic elasticity as the components of six-dimensional second-order tensors and thus rep- resent these components in matrices of tensor components in six dimensions leads to the non- traditional part of this appendix. This is also one of the nontraditional aspects in the text of the book, but a minor one. This is described in §A.11, along with the rationale for this approach. A.2. DEFINITION OF SQUARE, COLUMN, AND ROW MATRICES An r-by-c matrix, M, is a rectangular array of numbers consisting of r rows and c columns: ¯MM..
    [Show full text]
  • Crystallography Ll Lattice N-Dimensional, Infinite, Periodic Array of Points, Each of Which Has Identical Surroundings
    crystallography ll Lattice n-dimensional, infinite, periodic array of points, each of which has identical surroundings. use this as test for lattice points A2 ("bcc") structure lattice points Lattice n-dimensional, infinite, periodic array of points, each of which has identical surroundings. use this as test for lattice points CsCl structure lattice points Choosing unit cells in a lattice Want very small unit cell - least complicated, fewer atoms Prefer cell with 90° or 120°angles - visualization & geometrical calculations easier Choose cell which reflects symmetry of lattice & crystal structure Choosing unit cells in a lattice Sometimes, a good unit cell has more than one lattice point 2-D example: Primitive cell (one lattice pt./cell) has End-centered cell (two strange angle lattice pts./cell) has 90° angle Choosing unit cells in a lattice Sometimes, a good unit cell has more than one lattice point 3-D example: body-centered cubic (bcc, or I cubic) (two lattice pts./cell) The primitive unit cell is not a cube 14 Bravais lattices Allowed centering types: P I F C primitive body-centered face-centered C end-centered Primitive R - rhombohedral rhombohedral cell (trigonal) centering of trigonal cell 14 Bravais lattices Combine P, I, F, C (A, B), R centering with 7 crystal systems Some combinations don't work, some don't give new lattices - C tetragonal C-centering destroys cubic = P tetragonal symmetry 14 Bravais lattices Only 14 possible (Bravais, 1848) System Allowed centering Triclinic P (primitive) Monoclinic P, I (innerzentiert) Orthorhombic P, I, F (flächenzentiert), A (end centered) Tetragonal P, I Cubic P, I, F Hexagonal P Trigonal P, R (rhombohedral centered) Choosing unit cells in a lattice Unit cell shape must be: 2-D - parallelogram (4 sides) 3-D - parallelepiped (6 faces) Not a unit cell: Choosing unit cells in a lattice Unit cell shape must be: 2-D - parallelogram (4 sides) 3-D - parallelepiped (6 faces) Not a unit cell: correct cell Stereographic projections Show or represent 3-D object in 2-D Procedure: 1.
    [Show full text]
  • Cross Product Review
    12.4 Cross Product Review: The dot product of uuuu123, , and v vvv 123, , is u v uvuvuv 112233 uv u u u u v u v cos or cos uv u and v are orthogonal if and only if u v 0 u uv uv compvu projvuv v v vv projvu cross product u v uv23 uv 32 i uv 13 uv 31 j uv 12 uv 21 k u v is orthogonal to both u and v. u v u v sin Geometric description of the cross product of the vectors u and v The cross product of two vectors is a vector! • u x v is perpendicular to u and v • The length of u x v is u v u v sin • The direction is given by the right hand side rule Right hand rule Place your 4 fingers in the direction of the first vector, curl them in the direction of the second vector, Your thumb will point in the direction of the cross product Algebraic description of the cross product of the vectors u and v The cross product of uu1, u 2 , u 3 and v v 1, v 2 , v 3 is uv uv23 uvuv 3231,, uvuv 1312 uv 21 check (u v ) u 0 and ( u v ) v 0 (u v ) u uv23 uvuv 3231 , uvuv 1312 , uv 21 uuu 123 , , uvu231 uvu 321 uvu 312 uvu 132 uvu 123 uvu 213 0 similary: (u v ) v 0 length u v u v sin is a little messier : 2 2 2 2 2 2 2 2uv 2 2 2 uvuv sin22 uv 1 cos uv 1 uvuv 22 uv now need to show that u v2 u 2 v 2 u v2 (try it..) An easier way to remember the formula for the cross products is in terms of determinants: ab 12 2x2 determinant: ad bc 4 6 2 cd 34 3x3 determinants: An example Copy 1st 2 columns 1 6 2 sum of sum of 1 6 2 1 6 forward backward 3 1 3 3 1 3 3 1 diagonal diagonal 4 5 2 4 5 2 4 5 products products determinant = 2 72 30 8 15 36 40 59 19 recall: uv uv23 uvuv 3231, uvuv 1312 , uv 21 i j k i j k i j u1 u 2 u 3 u 1 u 2 now we claim that uvu1 u 2 u 3 v1 v 2 v 3 v 1 v 2 v1 v 2 v 3 iuv23 j uv 31 k uv 12 k uv 21 i uv 32 j uv 13 u v uv23 uv 32 i uv 13 uv 31 j uv 12 uv 21 k uv uv23 uvuv 3231,, uvuv 1312 uv 21 Example: Let u1, 2,1 and v 3,1, 2 Find u v.
    [Show full text]
  • Jordan Triple Systems with Completely Reducible Derivation Or Structure Algebras
    Pacific Journal of Mathematics JORDAN TRIPLE SYSTEMS WITH COMPLETELY REDUCIBLE DERIVATION OR STRUCTURE ALGEBRAS E. NEHER Vol. 113, No. 1 March 1984 PACIFIC JOURNAL OF MATHEMATICS Vol. 113, No. 1,1984 JORDAN TRIPLE SYSTEMS WITH COMPLETELY REDUCIBLE DERIVATION OR STRUCTURE ALGEBRAS ERHARD NEHER We prove that a finite-dimensional Jordan triple system over a field k of characteristic zero has a completely reducible structure algebra iff it is a direct sum of a trivial and a semisimple ideal. This theorem depends on a classification of Jordan triple systems with completely reducible derivation algebra in the case where k is algebraically closed. As another application we characterize real Jordan triple systems with compact automorphism group. The main topic of this paper is finite-dimensional Jordan triple systems over a field of characteristic zero which have a completely reducible derivation algebra. The history of the subject begins with [7] where G. Hochschild proved, among other results, that for an associative algebra & the deriva- tion algebra is semisimple iff & itself is semisimple. Later on R. D. Schafer considered in [18] the case of a Jordan algebra £. His result was that Der f is semisimple if and only if $ is semisimple with each simple component of dimension not equal to 3 over its center. This theorem was extended by K.-H. Helwig, who proved in [6]: Let f be a Jordan algebra which is finite-dimensional over a field of characteristic zero. Then the following are equivlent: (1) Der % is completely reducible and every derivation of % has trace zero, (2) £ is semisimple, (3) the bilinear form on Der f> given by (Dl9 D2) -> trace(Z>!Z>2) is non-degenerate and every derivation of % is inner.
    [Show full text]
  • When Does a Cross Product on R^{N} Exist?
    WHEN DOES A CROSS PRODUCT ON Rn EXIST? PETER F. MCLOUGHLIN It is probably safe to say that just about everyone reading this article is familiar with the cross product and the dot product. However, what many readers may not be aware of is that the familiar properties of the cross product in three space can only be extended to R7. Students are usually first exposed to the cross and dot products in a multivariable calculus or linear algebra course. Let u = 0, v = 0, v, 3 6 6 e and we be vectors in R and let a, b, c, and d be real numbers. For review, here are some of the basic properties of the dot and cross products: (i) (u·v) = cosθ (where θ is the angle formed by the vectors) √(u·u)(v·v) (ii) ||(u×v)|| = sinθ √(u·u)(v·v) (iii) u (u v) = 0 and v (u v)=0. (perpendicularproperty) (iv) (u· v×) (u v) + (u · v)2×= (u u)(v v) (Pythagorean property) (v) ((au×+ bu· ) ×(cv + dv))· = ac(u · v)+·ad(u v)+ bc(u v)+ bd(u v) e × e × × e e × e × e We will refer to property (v) as the bilinear property. The reader should note that properties (i) and (ii) imply the Pythagorean property. Recall, if A is a square matrix then A denotes the determinant of A. If we let u = (x , x , x ) and | | 1 2 3 v = (y1,y2,y3) then we have: e1 e2 e3 u v = x1y1 + x2y2 + x3y3 and (u v) = x1 x2 x3 · × y1 y2 y3 It should be clear that the dot product can easily be extended to Rn, however, arXiv:1212.3515v7 [math.HO] 30 Oct 2013 it is not so obvious how the cross product could be extended.
    [Show full text]