DOCSLIB.ORG

Octonion Formulation of Seven Dimensional Vector Space

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Octonion Formulation of Seven Dimensional Vector Space Fundamental J. Math. Physics, Vol. 1, Issue 1, 2011, Pages 41-52 Published online at http://www.frdint.com/ OCTONION FORMULATION OF SEVEN DIMENSIONAL VECTOR SPACE BHUPENDRA C. S. CHAUHAN and O. P. S. NEGI Department of Physics Kumaun University S. S. J. Campus Almora-263601, Uttarakhand India e-mail: [email protected] [email protected] Abstract We have generalized the three dimensional space to seven dimensional one by using octonions and their multiplication rules. The identity n (n − 1)(n − 3)(n − 7) = 0 have been verified to show that there exist only n = ,0 1, 3 and 7 dimensions for vector spaces. It is shown that three dimensional vector space may be extended to seven dimensional space by means of octonions under certain permutations of combinations of structure constant associated with the octonion multiplication rules. According to celebrated Hurwitz theorem there exits [1] four-division algebra consisting of R (real numbers), C (complex numbers), H (quaternions) [2] and O (octonions) [3]. All four algebras are alternative with antisymmetric associators. Real numbers and complex numbers are limited only up to two dimensions, quaternions are extended to four dimensions (one real and three imaginaries) while octonions represent eight dimensions (one scalar and seven vectors, namely, one real and seven imaginaries). There exits a lot of literature [4-12] on the applications of octonions to Keywords and phras es : three dimensional space, seven dimensional space, octonions, gradient, divergence, curl. Received July 16, 2011 © 2011 Fundamental Research and Development International 42 BHUPENDRA C. S. CHAUHAN and O. P. S. NEGI interpret wave equation, Dirac equation, and the extension of octonion non- associativity to physical theories. Accordingly, in this paper, we have extended the three dimensional vector analysis to seven dimensional one by using octonions and their multiplication rules. Thus, we have redefined the gradient, divergence and curl in seven dimensions by using octonions. The identity n (n − 1) (n − 3) (n − 7) = 0 is verified only for n = ,0 1, 3 and 7 dimensional vectors. It is shown that few vector identities loose their meaning in seven dimensions due to non-associativity of octonions. So, we have reformulated the vector analysis and it is shown that those vector identities loose their original nature are regained under certain permutations of combinations of structure constant associated with the octonion multiplication rules. • An octonion x is expressed as a set of eight real numbers 7 x = e0 x0 + ∑ e j x j , (1) j =1 where e j ( j = ,1 ,2 ..., 7) are imaginary octonion units and e0 is the multiplicative unit element. Set of octets (e0 , e1, e2 , e3, e4 , e5, e6 , e7 ) is known as the octonion basis elements and satisfies the following multiplication rules e0 = ;1 e0e j = e je0 = e j ; e jek = −δ jk e0 + f jkl el , ( j, k, l = ,1 ,2 ..., 7). (2) The structure constant f jkl is completely antisymmetric and takes the value 1 for following combinations f jkl = + ,1 ∀{( j, k, l) = (123 ), (471 ), (257 ), (165 ), (624 ), (543 ), (736 )}. (3) It is to be noted that the summation convention is used for repeated indices. Here the octonion algebra O is described over the algebra of real numbers having the vector space of dimension 8. Octonion conjugate is defined as 7 x = e0x0 − ∑ e j x j , (4) j=1 where we have used the conjugates of basis elements as e0 = e0 and eA = −eA. Hence an octonion can be decomposed in terms of its scalar (Sc (x)) and vector (Vec (x)) parts as OCTONION FORMULATION OF SEVEN DIMENSIONAL … 43 7 1 1 Sc ()x = ()x + x ; Vec ()x = ()x − x = e x . (5) 2 2 ∑ j j j=1 Conjugates of product of two octonions is described as ()xy = y x while the own conjugate of an octonion is written as ()x = x. The scalar product of two octonions is defined as 7 1 1 x, y = ()x y + y x = ()x y + y x = x y . (6) 2 2 ∑ α α α=0 The norm N(x) and inverse x−1 (for a nonzero x) of an octonion are, respectively, defined as 7 x N()x = x x = x x = x2 ⋅ e , x−1 = ⇒ xx −1 = x−1x = .1 (7) ∑ α 0 N()x α=0 The norm N(x) of an octonion x is zero if x = ,0 and is always positive otherwise. It also satisfies the following property of normed algebra N(xy ) = N(x)N(y) = N(y)N(x). (8) Equation (2) directly leads to the conclusion that octonions are not associative in nature and thus do not form the group in their usual form. Non-associativity of octonion algebra O is provided by the associator (x, y, z) = (xy )z − x(yz ), ∀x, y, z ∈ O defined for any 3 octonions. If the associator is totally antisymmetric for exchanges of any 2 variables, i.e., (x, y, z) = −(z, y, x) = −(y, x, z) = −(x, z, y), the algebra is called alternative. Hence, the octonion algebra is neither commutative nor associative but is alternative. • In order to verify the identity n (n − 1) (n − 3) (n − 7) = 0 for n = ,0 1, 3 and 7 dimensional vector spaces, we start with the use of octonion multiplication rules. n = ,0 n = 1 are limited up to scalars while n = 3 dimensional structure is used for three dimensional vector space. Hurwitz theorem states that the vector identities are satisfied for the algebras of real, complex, quaternions and octonions which are, respectively, associated with n = ,0 n = ,1 n = 3 and n = 7 space-dimensions. In order to generalize the three dimensional space to seven dimensional vector space, let 44 BHUPENDRA C. S. CHAUHAN and O. P. S. NEGI us define a vector in seven dimensional vector space over the field of real numbers as A = eˆ1A1 + eˆ2 A2 + eˆ3 A3 + eˆ4 A4 + eˆ5 A5 + eˆ6 A6 + eˆ7 A7 , (9) R where Ai (∀i = ,1 ,2 ,3 ..., 7) ∈ ; and the eˆi ’s (∀i = ,1 ,2 ,3 ..., 7) are described as the octonionic basis elements which satisfy the following vector product rule [3, 12] k =7 e j × ek = ∑ f jkl el , (∀j, k, l = ,1 ,2 ..., ,6 7), (10) k =1 where f jkl is the structure constant (3) which is a totally G2 - invariant anti- symmetric tensor. As such, we have f jkl flmn = g jkmn + δ jm δkn − δ jn δkm = − flmn fkjl , (11) where g jkmn = e j ⋅ {ek , em , en } is a totally G2 - invariant anti-symmetric tensor [11] and g jkmn = −gmkjn . The only independent components are g1254 = g1267 = g1364 = g1375 = g2347 = g2365 = g4576 = .1 • Hence, the following vector cross products are verified in seven dimensional, i.e., A × A = ,0 ()()A × B ⋅ B = A × B ⋅ A = ,0 A × B = A B , {(}∀ A ⋅ B = 0 , ()()()()()A × B ⋅ A × B = A ⋅ A B ⋅ B − A ⋅ B 2 , A × ()()()B × A = A ⋅ A B − A ⋅ B A. (12) • Here, we observe that the vector triple cross product identity A × ()B × C = B()()A ⋅ C − C A ⋅ B of three dimensional vector space is not satisfied in seven dimensional vector space. So, we may write the left hand side of A × ()()()B × C = B A ⋅ C − C A ⋅ B as 7 7 A × ()B × C = −∑ ∑ []g pqjk + δ pj δqk − δ pk δqj Aj BpCqeˆk jk=1 pq =1 OCTONION FORMULATION OF SEVEN DIMENSIONAL … 45 77 7 7 = −∑∑ g pqjk Aj B pCqeˆk − ∑Aj B jCk eˆk + ∑ AjC j Bk eˆk jkpq jk jk = irreducibl e term + B()()A ⋅ C − C A ⋅ B . (13) This identity of vector triple product in seven dimensional vector space is satisfied under the octonion multiplication rule by taking the irreducible term as a ternary product such that 7 7 irreducibl e term = −∑∑ g pqjk Aj BpCqeˆk = {}A, B, C , (14) jk pq which gives rise to A × ()()(){}B × C = B A ⋅ C − C A ⋅ B + A, B, C . (15) The {}A, B, C is now be re-called as the associator for octonions. Under the condition of alternativity of octonions, equation (15) reduces to the well-known vector identity A × ()()()B × C = B A ⋅ C − C A ⋅ B for the various permutation values of structure constant f jkl . As such, the vector product in seven dimensional vector space is verified and the mutual rotation of three different vectors in seven dimensional space is possible only for the certain permutations of combination of basis vectors. • Let us check the following identity of three dimensional vector space ()()A × B × C × D = [ A ⋅ ()B × D ][C − A ⋅ ()B × C ]D (16) to our seven dimensional case. The left hand side of equation (16) now reduces to 7 7 7 ()()A × B × C × D = f f A B f C D eˆ ∑knp ∑ ijk i j ∑ lmn l m p knp ijk lmn 7 7 = ˆ ∑ ()fknp flmn Cl Dm ep ∑ fijk Ai B j lmknp ijk 7 7 = ∑ ()()fijm Ai B j Dm C peˆ p − ∑ fijl Ai B jCl Dpeˆp ijmp ijlp 46 BHUPENDRA C. S. CHAUHAN and O. P. S. NEGI 7 − ∑ glmkp Cl Dm ()fijk Ai B j eˆ p (17) lmkp while the right hand is to be written as [ A ⋅ ()B × D ][C − A ⋅ ()B × C ]D 7 7 = ∑ ()()f xyz Az Bx Dy Cteˆt − ∑ fegh Ah BeCg Dveˆv. (18) xyzt eghv Comparing equations (17) and (18), we get ()()A × B × C × D = [ A ⋅ ()B × D ][C − A ⋅ ()B × C ]D + irreducibl e term . (19) The irreducible term is not anything but the octonion associator as 7 irreducibl e term = −∑ glmkp Cl Dm (){}fijk Ai B j eˆ p = A × B, C, D .
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]
  • 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]
  • 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]
  • 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]
  • 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]
  • Fully Homomorphic Encryption Over Exterior Product Spaces
    FULLY HOMOMORPHIC ENCRYPTION OVER EXTERIOR PRODUCT SPACES by DAVID WILLIAM HONORIO ARAUJO DA SILVA B.S.B.A., Universidade Potiguar (Brazil), 2012 A thesis submitted to the Graduate Faculty of the University of Colorado Colorado Springs in partial fulfillment of the requirements for the degree of Master of Science Department of Computer Science 2017 © Copyright by David William Honorio Araujo da Silva 2017 All Rights Reserved This thesis for the Master of Science degree by David William Honorio Araujo da Silva has been approved for the Department of Computer Science by C. Edward Chow, Chair Carlos Paz de Araujo Jonathan Ventura 9 December 2017 Date ii Honorio Araujo da Silva, David William (M.S., Computer Science) Fully Homomorphic Encryption Over Exterior Product Spaces Thesis directed by Professor C. Edward Chow ABSTRACT In this work I propose a new symmetric fully homomorphic encryption powered by Exterior Algebra and Product Spaces, more specifically by Geometric Algebra as a mathematical language for creating cryptographic solutions, which is organized and presented as the En- hanced Data-Centric Homomorphic Encryption - EDCHE, invented by Dr. Carlos Paz de Araujo, Professor and Associate Dean at the University of Colorado Colorado Springs, in the Electrical Engineering department. Given GA as mathematical language, EDCHE is the framework for developing solutions for cryptology, such as encryption primitives and sub-primitives. In 1978 Rivest et al introduced the idea of an encryption scheme able to provide security and the manipulation of encrypted data, without decrypting it. With such encryption scheme, it would be possible to process encrypted data in a meaningful way.
    [Show full text]
  • Math 102 -- Linear Algebra I -- Study Guide
    Math 102 Linear Algebra I Stefan Martynkiw These notes are adapted from lecture notes taught by Dr.Alan Thompson and from “Elementary Linear Algebra: 10th Edition” :Howard Anton. Picture above sourced from (http://i.imgur.com/RgmnA.gif) 1/52 Table of Contents Chapter 3 – Euclidean Vector Spaces.........................................................................................................7 3.1 – Vectors in 2-space, 3-space, and n-space......................................................................................7 Theorem 3.1.1 – Algebraic Vector Operations without components...........................................7 Theorem 3.1.2 .............................................................................................................................7 3.2 – Norm, Dot Product, and Distance................................................................................................7 Definition 1 – Norm of a Vector..................................................................................................7 Definition 2 – Distance in Rn......................................................................................................7 Dot Product.......................................................................................................................................8 Definition 3 – Dot Product...........................................................................................................8 Definition 4 – Dot Product, Component by component..............................................................8
    [Show full text]
  • Generalized Cross Product Peter Lewintan
    A coordinate-free view on ”the” generalized cross product Peter Lewintan To cite this version: Peter Lewintan. A coordinate-free view on ”the” generalized cross product. 2021. hal-03233545 HAL Id: hal-03233545 https://hal.archives-ouvertes.fr/hal-03233545 Preprint submitted on 24 May 2021 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. A coordinate-free view on \the" generalized cross product Peter Lewintan∗ May 24, 2021 Abstract The higher dimensional generalization of the cross product is associated with an adequate matrix multiplication. This coordinate-free view allows for a better understanding of the underlying algebraic structures, among which are generalizations of Grassmann's, Jacobi's and Room's identities. Moreover, such a view provides a the higher dimensional analogue of the decomposition of the vector Laplacian which itself gives an explicit coordinate-free Helmholtz decomposition in arbitrary dimensions n ≥ 2. AMS 2020 subject classification: 15A24, 15A69, 47A06, 35J05. Keywords: Generalized cross product, Jacobi's identity, generalized curl, coordinate-free view, vector Laplacian, Helmholtz decomposition. 1 Introduction The interplay between different differential operators is at the basis not only of pure analysis but also in many applied mathematical considerations.
    [Show full text]
  • Review of Matrices and Block Structures
    APPENDIX A Review of Matrices and Block Structures Numerical linear algebra lies at the heart of modern scientific computing and computational science. Today it is not uncommon to perform numerical computations with matrices having millions of components. The key to understanding how to implement such algorithms is to exploit underlying structure within the matrices. In these notes we touch on a few ideas and tools for dissecting matrix structure. Specifically we are concerned with the block structure matrices. 1. Rows and Columns m n Let A R ⇥ so that A has m rows and n columns. Denote the element of A in the ith row and jth column 2 as Aij. Denote the m rows of A by A1 ,A2 ,A3 ,...,Am and the n columns of A by A 1,A2,A3,...,An. For example, if · · · · · · · · 32 15 73 − A = 2 27 32 100 0 0 , 2 −89 0 47− 22 21 333 − − then A = 100, 4 5 2,4 − A1 = 32 1573,A2 = 2 27 32 100 0 0 ,A3 = 89 0 47 22 21 33 · − · − − · − − and ⇥ ⇤ ⇥ ⇤ ⇥ ⇤ 3 2 1 5 7 3 − A 1 = 2 ,A2 = 27 ,A3 = 32 ,A4 = 100 ,A5 = 0 ,A6 = 0 . · 2 −893 · 2 0 3 · 2 47 3 · 2−22 3 · 2 213 · 2333 − − 4 5 4 5 4 5 4 5 4 5 4 5 Exercise 1.1. If 3 41100 220010− 2 3 C = 100001, − 6 0002147 6 7 6 0001037 6 7 4 5 4 −2 2 3 what are C4,4, C 4 and C4 ? For example, C2 = 220010and C 2 = 0 .
    [Show full text]
  • Scalar and Vector Triple Products
    OLLSCOIL NA hEIREANN MA NUAD THE NATIONAL UNIVERSITY OF IRELAND MAYNOOTH MATHEMATICAL PHYSICS EE112 Engineering Mathematics II Vector Triple Products Prof. D. M. Heffernan and Mr. S. Pouryahya 1 3 Vectors: Triple Products 3.1 The Scalar Triple Product The scalar triple product, as its name may suggest, results in a scalar as its result. It is a means of combining three vectors via cross product and a dot product. Given the vectors A = A1 i + A2 j + A3 k B = B1 i + B2 j + B3 k C = C1 i + C2 j + C3 k a scalar triple product will involve a dot product and a cross product A · (B × C) It is necessary to perform the cross product before the dot product when computing a scalar triple product, i j k B2 B3 B1 B3 B1 B2 B × C = B1 B2 B3 = i − j + k C2 C3 C1 C3 C1 C2 C1 C2 C3 since A = A1 i + A2 j + A3 k one can take the dot product to find that B2 B3 B1 B3 B1 B2 A · (B × C) = (A1) − (A2) + (A3) C2 C3 C1 C3 C1 C2 which is simply Important Formula 3.1. A1 A2 A3 A · (B × C) = B1 B2 B3 C1 C2 C3 The usefulness of being able to write the scalar triple product as a determinant is not only due to convenience in calculation but also due to the following property of determinants Note 3.1. Exchanging any two adjacent rows in a determinant changes the sign of the original determinant. 2 Thus, B1 B2 B3 A1 A2 A3 B · (A × C) = A1 A2 A3 = − B1 B2 B3 = −A · (B × C): C1 C2 C3 C1 C2 C3 Formula 3.1.
    [Show full text]
  • Young Research Forum on International Conclave On
    Mathematica Eterna Short Communication 2020 Short Communication on Introduction of Exterior algebra Mohammad Adil* Associate Professor, Department of Mathematics, Assiut University, Egypt In mathematics, the exterior product or wedge product of vectors only k-blades, but sums of k-blades; such a calculation is called a k- is an algebraic construction worn in geometry to Vector the k-blades, since they are uncomplicated products of learn areas, volumes, and their advanced dimensional analogues. vectors, are called the easy fundamentals of the algebra. The rank of The external result of two vectors u and v, denoted by u ∧ v, is any k-vector is distinct to be the fewest integer of simple called a bivector and lives in a space called the exterior square, fundamentals of which it is a sum. The exterior product extends to a vector space that is distinctive from the inventive gap of vectors. the complete exterior algebra, so that it makes sense to multiply any The degree of u ∧ v can be interpret as the area of the lozenge two elements of the algebra. Capable of with this product, the with sides u and v, which in three dimensions can also be exterior algebra is an associative algebra, which means that α ∧ compute by means of the cross product of the two vectors. Like (β ∧ γ) = (α ∧ β) ∧ γ for any elements α, β, γ. The k-vectors have the cross product, the exterior product is anticommutative, degree k, meaning that they are sums of products of k vectors. significance that When fundamentals of dissimilar degrees are multiply, the degrees add like multiplication of polynomials.
    [Show full text]
  • 3 Two-Dimensional Linear Algebra
    3 Two-Dimensional Linear Algebra 3.1 Basic Rules Vectors are the way we represent points in 2, 3 and 4, 5, 6, ..., n, ...-dimensional space. There even exist spaces of vectors which are said to be infinite- dimensional! A vector can be considered as an object which has a length and a direction, or it can be thought of as a point in space, with coordinates representing that point. In terms of coordinates, we shall use the notation µ ¶ x x = y for a column vector. This vector denotes the point in the xy-plane which is x units in the horizontal direction and y units in the vertical direction from the origin. We shall write xT = (x, y) for the row vector which corresponds to x, and the superscript T is read transpose. This is the operation which flips between two equivalent represen- tations of a vector, but since they represent the same point, we can sometimes be quite cavalier and not worry too much about whether we have a vector or its transpose. To avoid the problem of running out of letters when using vectors we shall also write vectors in the form (x1, x2) or (x1, x2, x3, .., xn). If we write R for real, one-dimensional numbers, then we shall also write R2 to denote the two-dimensional space of all vectors of the form (x, y). We shall use this notation too, and R3 then means three-dimensional space. By analogy, n-dimensional space is the set of all n-tuples {(x1, x2, ..., xn): x1, x2, ..., xn ∈ R} , where R is the one-dimensional number line.
    [Show full text]