An Algebraic System for Computer Games and Animation Geometric Algebra: an Algebraic System for Computer Games and Animation John Vince

Total Page:16

File Type:pdf, Size:1020Kb

An Algebraic System for Computer Games and Animation Geometric Algebra: an Algebraic System for Computer Games and Animation John Vince John Vince Geometric Algebra: An Algebraic System for Computer Games and Animation Geometric Algebra: An Algebraic System for Computer Games and Animation John Vince Geometric Algebra: An Algebraic System for Computer Games and Animation Prof. John Vince, MTech, PhD, DSc, CEng, FBCS www.johnvince.co.uk ISBN 978-1-84882-378-5 e-ISBN 978-1-84882-379-2 DOI 10.1007/978-1-84882-379-2 Springer Dordrecht Heidelberg London New York British Library Cataloguing in Publication Data AcataloguerecordforthisbookisavailablefromtheBritishLibrary Library of Congress Control Number: 2009926270 c Springer-Verlag London Limited 2009 Apart⃝ from any fair dealing for the purposes of research or private study, or criticism or review, as permitted under the Copyright, Designs and Patents Act 1988, this publication may only be reproduced, stored or transmitted, in any form or by any means, with the prior permission in writing of the publishers, or in the case of reprographic reproduction in accordance with the terms of licenses issued by the Copyright Licensing Agency. Enquiries concerning reproduction outside those terms should be sent to the publishers. The use of registered names, trademarks, etc., in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant laws and regulations and therefore free for general use. The publisher makes no representation, express or implied, with regard to the accuracy of the information contained in this book and cannot accept any legal responsibility or liability for any errors or omissions that may be made. Cover design: Boekhorst Design BV Printed on acid-free paper Springer is part of Springer Science+Business Media (www.springer.com) This book is affectionately dedicated to my family: Annie, Samantha, Anthony, Genny, Peter, Megan, Mia, Lucie and my dog Monty. Preface In my first book on geometric algebra in 2007 the preface described how I had been completely surprised by the existence of geometric algebra, especially after having recently completed a book on vector analysis where it was not even mentioned! So why am I writing a second book on the same subject?Well it’snot because I have nothing better to do with my time. There are many more books I have to write before going to the great library in the sky! When I started writing Geometric Algebra for Computer Graphics Iknewverylittleaboutthe subject and had to understand the concepts as I went along—which was extremely difficult. In retrospect, the year spent writing that book was like climbing a mountain, and after completing the chapter on conformal geometry I had effectively reached the summit and, in terms of my understanding, the view was compelling. But having reached the summit I then had to race down with my manuscript and send it to Springer. In the following weeks it was difficult to forget the previous year’s journey. Had I really under- stood geometric algebra? Had I really laid out the subject in a way that anyone could understand? Such questions bothered me on a daily basis, especially when walking my dog Monty. Such moments gave me the time to reflect upon what was really behind the algebra and what had gone on between Hamilton, Grassmann and Gibbs when thefoundationsofvectoranalysiswerebeing established a hundred and fifty years ago. Back in my office I started to explore vector products from a symbolic standpoint and realized that if two vectors are expanded algebraically,fourtermsresultfromtwo2Dvectorsandnine terms from two 3D vectors. Nothing new, or earth shattering. However, if these terms are divided into two sets, they give rise to the inner and outer products: ab a b a b = · + ∧ which is Clifford’s original geometric product. Ialsofoundthatwhensuchproductsareexpandedintabularform,andcolourisusedto highlight the inner and outer product terms, the difference between the two sets became strikingly obvious. I immediately asked Springer for permission to use colour throughout a new book on geometric algebra, which would hopefully would open up the subject to a wider audience. vii viii Preface Icontinuedtoapplythesamealgebraictreatmenttovectors,bivectorsandtrivectorsandthen discovered that I had been using something called dyads,whichhadbeenemployedbyGibbs in his work on vectors. Far from being disappointed, I continued in the knowledge that I was probably on the right track. The book’s structure emerged without too much effort: The first chapter, which was the last to be written, briefly explores the important role that axioms play in mathematics and how we have struggled during previous centuries to accept non-sensical ideas such as intersecting parallel lines, infinite sets and imaginary numbers. This is to prepare the reader for ideas such as multiplying a line by an area, squaring an area, or adding scalars, lines, areas and volumes to create a multivector. Itremindsmeof thetimeIwrotesomecodetoaddtheshapesof anelephantandseahorsetogether, or divide a circle by a triangle. Totally non-sensical, but very useful! The second chapter reviews the products of real algebra, complex numbers and quaternions using the same tables employed later for geometric algebra. The third chapter is on vector products and reviews the traditional scalar and vector products in tabular form. Dyadics are then introduced and lead onto a description of the outer product in 2D and 3D. Chapter four introduces the geometric product as the sum of the inner and outer products. Blades are defined and the chapter concludes by exploring the geometric product of various types of vectors. Having laid the foundations for geometric algebra in the first four chapters, chapter five describes features such as grades, pseudoscalars, multivectors, reversion, inversion, duality and the imaginary and rotational properties of bivectors. Next,chapter six coversall the possible products between vectors and bivectors in 2D. Similarly, chapter seven covers all the possible products between vectors, bivectors and trivectors in 3D. Tables and colour play an important role in revealing the natural patterns that result from these products. Chapter eight shows how powerful geometric algebra is when handling reflections and rotations, and at this point we discover that quaternions are a natural feature of geometric algebra. Chapter nine explores a wide range geometric problems encountered in computer games and computer animation problems. It is far from exhaustive, but provides strategies that can be employed in all sorts of similar problems. Finally, chapter ten draws the book to a conclusion. Having written these ten chapters I hope that I have finally found a straightforward way of describing geometric algebra that will enable it to be used by anyone working in computer graphics. Ishouldsaysomethingaboutthenotationemployedinthebook.Vectorsarenormallyshown in a bold typeface, to distinguish them from scalar quantities. But as virtually every equation refer- ences vectors, I have followed Chris Doran and Anthony Lasenby’s lead and left them untouched. There is no confusion between vectors and scalars, as you will discover. IwouldliketoacknowledgethatIcouldnothavewrittenthisbookwithouttheexistenceof Geometric Algebra for Physicists written by Chris Doran and Anthony Lasenby. It provides the most lucid introduction to geometric algebra. Similarly, Michael Crowe’s AHistoryofVectorAnalysisis the best book on the subject. Preface ix Once again, I am indebted to Beverley Ford, General Manager, Springer UK, and Helen Desmond, Assistant Editor for Computer Science, for their continual support throughout the development of this manuscript. Idohopeyouenjoyreadinganddiscoveringsomethingnewfromthisbook. Ringwood John Vince Contents Preface.............................................................................. vii Symbolsandnotation .............................................................. xvii 1Introduction.....................................................................1 1.1 Senseandnonsense.................................................................... 1 1.2 Geometricalgebra...................................................................... 2 2Products.........................................................................5 2.1 Introduction ............................................................................. 5 2.2 Realproducts............................................................................ 5 2.3 Complexproducts ...................................................................... 7 2.4 Quaternionproducts ................................................................... 8 2.5 Summary ................................................................................ 11 3VectorProducts.................................................................13 3.1 Introduction ............................................................................. 13 3.2 Thescalarproduct ...................................................................... 13 3.3 Thevectorproduct...................................................................... 14 3.4 Dyadics................................................................................... 16 3.5 Theouterproduct....................................................................... 20 3.5.1 Originsoftheouterproduct.................................................. 20 3.5.2 The geometric meaning of the outer product in 2D . 21 xi xii Contents 3.5.3 The geometric meaning of the outer product in 3D . 25 3.6 Summary ...............................................................................
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]
  • Vectors and Beyond: Geometric Algebra and Its Philosophical
    dialectica Vol. 63, N° 4 (2010), pp. 381–395 DOI: 10.1111/j.1746-8361.2009.01214.x Vectors and Beyond: Geometric Algebra and its Philosophical Significancedltc_1214 381..396 Peter Simons† In mathematics, like in everything else, it is the Darwinian struggle for life of ideas that leads to the survival of the concepts which we actually use, often believed to have come to us fully armed with goodness from some mysterious Platonic repository of truths. Simon Altmann 1. Introduction The purpose of this paper is to draw the attention of philosophers and others interested in the applicability of mathematics to a quiet revolution that is taking place around the theory of vectors and their application. It is not that new math- ematics is being invented – on the contrary, the basic concepts are over a century old – but rather that this old theory, having languished for many decades as a quaint backwater, is being rediscovered and properly applied for the first time. The philosophical importance of this quiet revolution is not that new applications for old mathematics are being found. That presumably happens much of the time. Rather it is that this new range of applications affords us a novel insight into the reasons why vectors and their mathematical kin find application at all in the real world. Indirectly, it tells us something general but interesting about the nature of the spatiotemporal world we all inhabit, and that is of philosophical significance. Quite what this significance amounts to is not yet clear. I should stress that nothing here is original: the history is quite accessible from several sources, and the mathematics is commonplace to those who know it.
    [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]
  • S-96.510 Advanced Field Theory Course for Graduate Students Lecture Viewgraphs, Fall Term 2004
    S-96.510 Advanced Field Theory Course for graduate students Lecture viewgraphs, fall term 2004 I.V.Lindell Helsinki University of Technology Electromagnetics Laboratory Espoo, Finland I.V.Lindell: Advanced Field Theory, 2004 Helsinki University of Technology 00.01 1 Contents [01] Complex Vectors and Dyadics [02] Dyadic Algebra [03] Basic Electromagnetic Equations [04] Conditions for Fields and Media [05] Duality Transformation [06] Affine Transformation [07] Electromagnetic Field Solutions [08] Singularities and Complex Sources [09] Plane Waves [10] Source Equivalence [11] Huygens’ Principle [12] Field Decompositions Vector Formulas, Dyadic Identites as an appendix I.V.Lindell: Advanced Field Theory, 2004 Helsinki University of Technology 00.02 2 Foreword This lecture material contains all viewgraphs associated with the gradu- ate course S-96.510 Advanced Field Theory given at the Department of Electrical and Communications Engineering, fall 2004. The course is based on Chapters 1–6 of the book Methods for Electromagnetic Field Analysis (Oxford University Press 1992, 2nd edition IEEE Press, 1995, 3rd printing Wiley 2002) by this author. The figures drawn by hand on the blackboard could not be added to the present material. Otaniemi, September 13 2004 I.V. Lindell I.V.Lindell: Advanced Field Theory, 2004 Helsinki University of Technology 00.03 3 I.V.Lindell: Advanced Field Theory, 2004 Helsinki University of Technology 00.04 4 S-96.510 Advanced Field Theory 1. Complex Vectors and Dyadics I.V.Lindell I.V.Lindell: Advanced Field Theory, 2004
    [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]
  • Recent Books on Vector Analysis. 463
    1921.] RECENT BOOKS ON VECTOR ANALYSIS. 463 RECENT BOOKS ON VECTOR ANALYSIS. Einführung in die Vehtoranalysis, mit Anwendungen auf die mathematische Physik. By R. Gans. 4th edition. Leip­ zig and Berlin, Teubner, 1921. 118 pp. Elements of Vector Algebra. By L. Silberstein. New York, Longmans, Green, and Company, 1919. 42 pp. Vehtor analysis. By C. Runge. Vol. I. Die Vektoranalysis des dreidimensionalen Raumes. Leipzig, Hirzel, 1919. viii + 195 pp. Précis de Calcul géométrique. By R. Leveugle. Preface by H. Fehr. Paris, Gauthier-Villars, 1920. lvi + 400 pp. The first of these books is for the most part a reprint of the third edition, which has been reviewed in this BULLETIN (vol. 21 (1915), p. 360). Some small condensation of results has been accomplished by making deductions by purely vector methods. The author still clings to the rather common idea that a vector is a certain triple on a certain set of coordinate axes, so that his development is rather that of a shorthand than of a study of expressions which are not dependent upon axes. The second book is a quite brief exposition of the bare fundamentals of vector algebra, the notation being that of Heaviside, which Silberstein has used before. It is designed primarily to satisfy the needs of those studying geometric optics. However the author goes so far as to mention a linear vector operator and the notion of dyad. The exposition is very simple and could be followed by high school students who had had trigonometry. The third of the books mentioned is an elementary exposition of vectors from the standpoint of Grassmann.
    [Show full text]
  • Geometric-Algebra Adaptive Filters Wilder B
    1 Geometric-Algebra Adaptive Filters Wilder B. Lopes∗, Member, IEEE, Cassio G. Lopesy, Senior Member, IEEE Abstract—This paper presents a new class of adaptive filters, namely Geometric-Algebra Adaptive Filters (GAAFs). They are Faces generated by formulating the underlying minimization problem (a deterministic cost function) from the perspective of Geometric Algebra (GA), a comprehensive mathematical language well- Edges suited for the description of geometric transformations. Also, (directed lines) differently from standard adaptive-filtering theory, Geometric Calculus (the extension of GA to differential calculus) allows Fig. 1. A polyhedron (3-dimensional polytope) can be completely described for applying the same derivation techniques regardless of the by the geometric multiplication of its edges (oriented lines, vectors), which type (subalgebra) of the data, i.e., real, complex numbers, generate the faces and hypersurfaces (in the case of a general n-dimensional quaternions, etc. Relying on those characteristics (among others), polytope). a deterministic quadratic cost function is posed, from which the GAAFs are devised, providing a generalization of regular adaptive filters to subalgebras of GA. From the obtained update rule, it is shown how to recover the following least-mean squares perform calculus with hypercomplex quantities, i.e., elements (LMS) adaptive filter variants: real-entries LMS, complex LMS, that generalize complex numbers for higher dimensions [2]– and quaternions LMS. Mean-square analysis and simulations in [10]. a system identification scenario are provided, showing very good agreement for different levels of measurement noise. GA-based AFs were first introduced in [11], [12], where they were successfully employed to estimate the geometric Index Terms—Adaptive filtering, geometric algebra, quater- transformation (rotation and translation) that aligns a pair of nions.
    [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]
  • Josiah Willard Gibbs
    GENERAL ARTICLE Josiah Willard Gibbs V Kumaran The foundations of classical thermodynamics, as taught in V Kumaran is a professor textbooks today, were laid down in nearly complete form by of chemical engineering at the Indian Institute of Josiah Willard Gibbs more than a century ago. This article Science, Bangalore. His presentsaportraitofGibbs,aquietandmodestmanwhowas research interests include responsible for some of the most important advances in the statistical mechanics and history of science. fluid mechanics. Thermodynamics, the science of the interconversion of heat and work, originated from the necessity of designing efficient engines in the late 18th and early 19th centuries. Engines are machines that convert heat energy obtained by combustion of coal, wood or other types of fuel into useful work for running trains, ships, etc. The efficiency of an engine is determined by the amount of useful work obtained for a given amount of heat input. There are two laws related to the efficiency of an engine. The first law of thermodynamics states that heat and work are inter-convertible, and it is not possible to obtain more work than the amount of heat input into the machine. The formulation of this law can be traced back to the work of Leibniz, Dalton, Joule, Clausius, and a host of other scientists in the late 17th and early 18th century. The more subtle second law of thermodynamics states that it is not possible to convert all heat into work; all engines have to ‘waste’ some of the heat input by transferring it to a heat sink. The second law also established the minimum amount of heat that has to be wasted based on the absolute temperatures of the heat source and the heat sink.
    [Show full text]
  • Concept of a Dyad and Dyadic: Consider Two Vectors a and B Dyad: It Consists of a Pair of Vectors a B for Two Vectors a a N D B
    1/11/2010 CHAPTER 1 Introductory Concepts • Elements of Vector Analysis • Newton’s Laws • Units • The basis of Newtonian Mechanics • D’Alembert’s Principle 1 Science of Mechanics: It is concerned with the motion of material bodies. • Bodies have different scales: Microscropic, macroscopic and astronomic scales. In mechanics - mostly macroscopic bodies are considered. • Speed of motion - serves as another important variable - small and high (approaching speed of light). 2 1 1/11/2010 • In Newtonian mechanics - study motion of bodies much bigger than particles at atomic scale, and moving at relative motions (speeds) much smaller than the speed of light. • Two general approaches: – Vectorial dynamics: uses Newton’s laws to write the equations of motion of a system, motion is described in physical coordinates and their derivatives; – Analytical dynamics: uses energy like quantities to define the equations of motion, uses the generalized coordinates to describe motion. 3 1.1 Vector Analysis: • Scalars, vectors, tensors: – Scalar: It is a quantity expressible by a single real number. Examples include: mass, time, temperature, energy, etc. – Vector: It is a quantity which needs both direction and magnitude for complete specification. – Actually (mathematically), it must also have certain transformation properties. 4 2 1/11/2010 These properties are: vector magnitude remains unchanged under rotation of axes. ex: force, moment of a force, velocity, acceleration, etc. – geometrically, vectors are shown or depicted as directed line segments of proper magnitude and direction. 5 e (unit vector) A A = A e – if we use a coordinate system, we define a basis set (iˆ , ˆj , k ˆ ): we can write A = Axi + Ay j + Azk Z or, we can also use the A three components and Y define X T {A}={Ax,Ay,Az} 6 3 1/11/2010 – The three components Ax , Ay , Az can be used as 3-dimensional vector elements to specify the vector.
    [Show full text]
  • Magnetic Potential Green's Dyadics of Multilayered
    Progress In Electromagnetics Research, PIER 38, 125–146, 2002 MAGNETIC POTENTIAL GREEN’S DYADICS OF MULTILAYERED WAVEGUIDE FOR SPATIAL POWER COMBINING APPLICATIONS M. V. Lukic and A. B. Yakovlev Department of Electrical Engineering The University of Mississippi University, MS 38677-1848, USA Abstract—Integral equation formulation and magnetic potential Green’s dyadics for multilayered rectangular waveguide are presented for modeling interacting printed antenna arrays used in waveguide- based spatial power combiners. Dyadic Green’s functions are obtained as a partial eigenfunction expansion in the form of a double series over the complete system of eigenfunctions of transverse Laplacian operator. In this expansion, one-dimensional characteristic Green’s functions along a multilayered waveguide are derived in closed form as the solution of a Sturm-Liouville boundary value problem with appropriate boundary and continuity conditions. A method introduced here is based on the transmission matrix approach, wherein the amplitude coefficients of forward and backward traveling waves in the scattered Green’s function in different dielectric layers are obtained as a product of transmission matrices of corresponding layers. Convergence of Green’s function components in the source region is illustrated for a specific example of a two-layered, terminated rectangular waveguide. 1 Introduction 2 Integral Equation Formulation 3 Magnetic Potential Green’s Dyadics for a Semi-Infinite Multilayered Rectangular Waveguide 4 Numerical Results and Discussion 5 Conclusion Appendix A. Magnetic Potential Green’s Dyadics for a Semi-infinite Multilayered Rectangular Waveguide Used in the Magnetic-field Integral Equation Formu- lation 126 Lukic and Yakovlev Appendix B. Characteristic Green’s Functions for a Two- layered, Terminated Rectangular Waveguide References 1.
    [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]