DOCSLIB.ORG

Chapter 2 Differential Geometry

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Chapter 2 Differential Geometry Chapter 2 Differential geometry 2.1 Lengths and angles 2.1.1 Abstract index notation The notation ~v, !, . works well for multivectors and differential forms but is inadequate for more general tensors. Instead, we will use the abstract index notation in which a a vector ~v is written v and a covector ! is written !a a ~v $ v ;! $ !a (2.1.1) The abstract index a denotes the tensorial nature of the quantity by its position and does not take specific values. A contraction is denoted by repeated indices a ! · ~v $ !av (2.1.2) ab··· A tensor can have an arbitrary number of vector and covector indices Tcd··· and is expressed in components as ab··· αβ··· a b γ δ Tcd··· = Tγδ··· eαeβ : : : eced ::: (2.1.3) Note the difference between the two index notations. The abstract indices denote the ab··· αβ··· tensorial nature of Tcd··· , while the component indices label the components Tγδ··· and γ basis vectors ~eα and covectors e , and are summed over in the above equation. A tensor Tab can be decomposed into symmetric and antisymmetric parts Tab = T(ab) + T[ab] (2.1.4) where round brackets denote the symmetric part 1 T = (T + T ) (2.1.5) (ab) 2 ab ba and square brackets denote the antisymmetric part 1 T = (T − T ) (2.1.6) [ab] 2 ab ba 24 PH211 Physical Mathematics Fall 2019 An n-vector is an antisymmetric tensor with n vector indices and an n-form is an antisymmetric tensor with n covector indices, for example ~ [ab] ~v $ v ;! $ ![ab] (2.1.7) A differential form can be expressed in components as a general tensor α1 αn ![a1···an] = !α1···αn ea1 : : : ean (2.1.8) but is more naturally expressed in terms of a differential form basis 1 ! = ! eα1 ^ ::: ^ eαn (2.1.9) [a1···an] n! α1···αn a1 an and similarly for multivectors. The contraction of a differential form with a multivector is 1 1 ! · ~v~ $ ! v[ab] ;! · ~v~ $ ! v[bc] 2! [ab] 2! [abc] (2.1.10) ~ 1 ~ 1 ! · ~v~ $ ! v[abc] ;! · ~v~ $ ! v[abc] 2! [ab] 3! [abc] and more generally the contraction of an m-form ! with an n-vector v is 8 1 [b1···bmam+1···an] > ![b1···bm]v for m ≤ n < m! ! · v $ (2.1.11) 1 :> ! v[b1···bn] for m ≥ n n! [an+1···amb1···bn] The divergence of a multivector follows the same pattern [ba2···an] r · v $ rbv (2.1.12) The exterior product of differential forms is ! ^ σ $ !aσb − !bσa (2.1.13) ! ^ σ $ !aσ[bc] + !bσ[ca] + !cσ[ab] (2.1.14) and more generally the exterior product of an m-form ! with an n-form σ is (m + n)! ! ^ σ $ ! σ (2.1.15) m! n! [a1···am b1···bn] and similarly for multivectors. The exterior derivative follows the same pattern r ^ φ $ raφ (2.1.16) r ^ ! $ ra!b − rb!a (2.1.17) r ^ ! $ ra![bc] + rb![ca] + rc![ab] (2.1.18) and more generally the exterior derivative of a n-form ! is r ^ ! $ (n + 1)r[a!b1···bn] (2.1.19) Ewan Stewart 25 2019/11/21 PH211 Physical Mathematics Fall 2019 2.1.2 Metric ab The metric gab and inverse metric g define lengths and angles in a space. They are symmetric tensors ab ba gab = gba ; g = g (2.1.20) and related by ab a g gbc = δc (2.1.21) a where the identity tensor δb has the property a b a b δbv = v ; δa !b = !a (2.1.22) and similarly for other tensors. The metric gives the inner product of vectors and covectors a b ab ~u · ~v = gabu v ;! · σ = g !aσb (2.1.23) and more generally of n-forms 1 ! · σ = ga1b1 : : : ganbn ! σ (2.1.24) n! [a1···an] [b1···bn] and similarly for n-vectors. Note that these inner products depend on the metric, in contrast to the contraction of an n-vector with an n-form. The inner product of two n-vectors or n-forms can be expressed as u · v = juj jvj cos θ (2.1.25) where θ is the angle between u and v. The metric induces a metric duality between vectors and covectors b a ab va = gabv ; v = g vb (2.1.26) a ab b ! = g !b ;!a = gab! and more generally n-vectors and n-forms [b1···bn] v[a1···an] = ga1b1 : : : ganbn v (2.1.27) [a1···an] a1b1 anbn ! = g : : : g ![b1···bn] (2.1.28) For example, the traditional vector representation E~ of the electric field E is a ab E = g Eb (2.1.29) More generally, the metric can raise or lower indices on any tensor 1 a ac T b = gbcT (2.1.30) 1It is important to maintain the horizontal position of the indices if the tensor is not symmetric a ac ca a ac ca since T b = gbcT 6= gbcT = T b if T 6= T . Ewan Stewart 26 2019/11/21 PH211 Physical Mathematics Fall 2019 The inner product of basis vectors is a b ~eα · ~eβ = gabeαeβ = gαβ (2.1.31) α An orthonormal basis has metric components gαβ = δαβ. In a coordinate system x , the length ds of an infinitesimal displacement dxa can be expressed as 2 a b α β ds = gabdx dx = gαβdx dx (2.1.32) For example, in Cartesian coordinates in two dimensional Euclidean space ds2 = dx2 + dy2 (2.1.33) and so the components of the metric are gxx = gyy = 1 and gxy = 0. In polar coordinates ds2 = dr2 + r2dθ2 (2.1.34) 2 and so grr = 1, gθθ = r and grθ = 0. Cartesian bases are the only orthonormal coordinate bases and they exist only in flat spaces. The identity tensor on the space of n-forms and n-vectors δ[a1···an] = n! δ[a1 : : : δan] (2.1.35) [b1···bn] [b1 bn] has the property 1 1 [a1···an] [b1···bn] [a1···an] [b1···bn] δ v = v ; δ ![b ···b ] = ![a ···a ] (2.1.36) n! [b1···bn] n! [a1···an] 1 n 1 n and can be expressed in components as δ[a1···an] = δα1···αn ea1 : : : ean eβ1 : : : eβn (2.1.37) [b1···bn] β1···βn α1 αn b1 bn 1 = δα1···αn ea1 ^ ::: ^ ean eβ1 ^ ::: ^ eβn (2.1.38) (n!)2 β1···βn α1 αn b1 bn 1 = ea1 ^ ::: ^ ean eα1 ^ ::: ^ eαn (2.1.39) n! α1 αn b1 bn The metric on the space of n-forms and n-vectors is g = g : : : g δ[b1···bn] (2.1.40) [a1···an][c1···cn] a1b1 anbn [c1···cn] The metric and inverse metric are related by 1 [a1···an][b1···bn] [a1···an] g g[b ···b ][c ···c ] = δ (2.1.41) n! 1 n 1 n [c1···cn] The inner product of two n-forms is 1 ! · σ = g[a1···an][b1···bn]! σ (2.1.42) (n!)2 [a1···an] [b1···bn] and similarly for n-vectors, and metric duality between n-vectors and n-forms is 1 v = g v[b1···bn] (2.1.43) [a1···an] n! [a1···an][b1···bn] 1 ![a1···an] = g[a1···an][b1···bn]! (2.1.44) n! [b1···bn] Ewan Stewart 27 2019/11/21 PH211 Physical Mathematics Fall 2019 2.1.3 Metric and volume form The volume form determines volumes and orientations but not lengths or angles, while the metric determines lengths and angles, and hence volumes, but not orientations. Thus the volume form is determined up to its orientation by the metric. Explicitly, Eq. (1.4.1) generalizes to −1[a1···aN] = δ[a1···aN] (2.1.45) [b1···bN] [b1···bN] and lowering indices gives −1 = g (2.1.46) [a1···aN] [b1···bN] [a1···aN][b1···bN] therefore [a1···aN][b1···bN] = ( · ) g[a1···aN][b1···bN] (2.1.47) where · = ±1 is needed because of sign differences between and −1 [a1···aN] [a1···aN] that can arise in spacetimes. Now, taking components of Eqs. (2.1.40) and (2.1.47), the determinant of the metric components 2 g = g = 1···N (2.1.48) 1···N1···N · and so · = sgn g (2.1.49) and p 1···N = jgj (2.1.50) Contracting Eq. (2.1.45) gives 1 −1[a1···ancn+1···cN] [a1···an] [b ···b c ···c ] = δ (2.1.51) (N − n)! 1 n n+1 N [b1···bn] corresponding to the Levi-Civita Kronecker delta relation. Hodge duality Combining metric duality between n-forms and n-vectors with volume duality ? be- tween n-vectors and (N − n)-forms, see Section 1.4.1, gives a mapping between n-forms and (N − n)-forms called the Hodge dual ∗ = ? (2.1.52) ~ −1 For example, the tensors ~"0 and ~µ0 in Eqs. (1.3.2) and (1.3.3) are c dc "0[ab] = "0[abd]g (2.1.53) −1[bc] −1 db ec µ0 a = µ0 [ade]g g (2.1.54) Ewan Stewart 28 2019/11/21 PH211 Physical Mathematics Fall 2019 −1 so, in natural units in which "0 = µ0 = 1, Eqs. (1.3.2) and (1.3.3) become D = ∗E + P (2.1.55) H = ∗B − M (2.1.56) Also, following Eq. (1.4.7), the divergence of an n-form ! is 2 r · ! = r · ! = (−1)n−1 ∗−1 r ^ ∗! (2.1.57) In three dimensions, the volume ?, metric and Hodge ∗ dualities can be used to map any antisymmetric tensor into either a scalar or a vector, see Figure 2.1.1.
Load more

Recommended publications
  • Abstract Tensor Systems and Diagrammatic Representations
    Abstract tensor systems and diagrammatic representations J¯anisLazovskis September 28, 2012 Abstract The diagrammatic tensor calculus used by Roger Penrose (most notably in [7]) is introduced without a solid mathematical grounding. We will attempt to derive the tools of such a system, but in a broader setting. We show that Penrose's work comes from the diagrammisation of the symmetric algebra. Lie algebra representations and their extensions to knot theory are also discussed. Contents 1 Abstract tensors and derived structures 2 1.1 Abstract tensor notation . 2 1.2 Some basic operations . 3 1.3 Tensor diagrams . 3 2 A diagrammised abstract tensor system 6 2.1 Generation . 6 2.2 Tensor concepts . 9 3 Representations of algebras 11 3.1 The symmetric algebra . 12 3.2 Lie algebras . 13 3.3 The tensor algebra T(g)....................................... 16 3.4 The symmetric Lie algebra S(g)................................... 17 3.5 The universal enveloping algebra U(g) ............................... 18 3.6 The metrized Lie algebra . 20 3.6.1 Diagrammisation with a bilinear form . 20 3.6.2 Diagrammisation with a symmetric bilinear form . 24 3.6.3 Diagrammisation with a symmetric bilinear form and an orthonormal basis . 24 3.6.4 Diagrammisation under ad-invariance . 29 3.7 The universal enveloping algebra U(g) for a metrized Lie algebra g . 30 4 Ensuing connections 32 A Appendix 35 Note: This work relies heavily upon the text of Chapter 12 of a draft of \An Introduction to Quantum and Vassiliev Invariants of Knots," by David M.R. Jackson and Iain Moffatt, a yet-unpublished book at the time of writing.
    [Show full text]
  • Arxiv:0911.0334V2 [Gr-Qc] 4 Jul 2020
    Classical Physics: Spacetime and Fields Nikodem Poplawski Department of Mathematics and Physics, University of New Haven, CT, USA Preface We present a self-contained introduction to the classical theory of spacetime and fields. This expo- sition is based on the most general principles: the principle of general covariance (relativity) and the principle of least action. The order of the exposition is: 1. Spacetime (principle of general covariance and tensors, affine connection, curvature, metric, tetrad and spin connection, Lorentz group, spinors); 2. Fields (principle of least action, action for gravitational field, matter, symmetries and conservation laws, gravitational field equations, spinor fields, electromagnetic field, action for particles). In this order, a particle is a special case of a field existing in spacetime, and classical mechanics can be derived from field theory. I dedicate this book to my Parents: Bo_zennaPop lawska and Janusz Pop lawski. I am also grateful to Chris Cox for inspiring this book. The Laws of Physics are simple, beautiful, and universal. arXiv:0911.0334v2 [gr-qc] 4 Jul 2020 1 Contents 1 Spacetime 5 1.1 Principle of general covariance and tensors . 5 1.1.1 Vectors . 5 1.1.2 Tensors . 6 1.1.3 Densities . 7 1.1.4 Contraction . 7 1.1.5 Kronecker and Levi-Civita symbols . 8 1.1.6 Dual densities . 8 1.1.7 Covariant integrals . 9 1.1.8 Antisymmetric derivatives . 9 1.2 Affine connection . 10 1.2.1 Covariant differentiation of tensors . 10 1.2.2 Parallel transport . 11 1.2.3 Torsion tensor . 11 1.2.4 Covariant differentiation of densities .
    [Show full text]
  • Multivector Differentiation and Linear Algebra 0.5Cm 17Th Santaló
    Multivector differentiation and Linear Algebra 17th Santalo´ Summer School 2016, Santander Joan Lasenby Signal Processing Group, Engineering Department, Cambridge, UK and Trinity College Cambridge [email protected], www-sigproc.eng.cam.ac.uk/ s jl 23 August 2016 1 / 78 Examples of differentiation wrt multivectors. Linear Algebra: matrices and tensors as linear functions mapping between elements of the algebra. Functional Differentiation: very briefly... Summary Overview The Multivector Derivative. 2 / 78 Linear Algebra: matrices and tensors as linear functions mapping between elements of the algebra. Functional Differentiation: very briefly... Summary Overview The Multivector Derivative. Examples of differentiation wrt multivectors. 3 / 78 Functional Differentiation: very briefly... Summary Overview The Multivector Derivative. Examples of differentiation wrt multivectors. Linear Algebra: matrices and tensors as linear functions mapping between elements of the algebra. 4 / 78 Summary Overview The Multivector Derivative. Examples of differentiation wrt multivectors. Linear Algebra: matrices and tensors as linear functions mapping between elements of the algebra. Functional Differentiation: very briefly... 5 / 78 Overview The Multivector Derivative. Examples of differentiation wrt multivectors. Linear Algebra: matrices and tensors as linear functions mapping between elements of the algebra. Functional Differentiation: very briefly... Summary 6 / 78 We now want to generalise this idea to enable us to find the derivative of F(X), in the A ‘direction’ – where X is a general mixed grade multivector (so F(X) is a general multivector valued function of X). Let us use ∗ to denote taking the scalar part, ie P ∗ Q ≡ hPQi. Then, provided A has same grades as X, it makes sense to define: F(X + tA) − F(X) A ∗ ¶XF(X) = lim t!0 t The Multivector Derivative Recall our definition of the directional derivative in the a direction F(x + ea) − F(x) a·r F(x) = lim e!0 e 7 / 78 Let us use ∗ to denote taking the scalar part, ie P ∗ Q ≡ hPQi.
    [Show full text]
  • Appendix A: Matrices and Tensors
    Appendix A: Matrices and Tensors A.1 Introduction and Rationale The purpose of this appendix is to present the notation and most of the mathematical techniques that will be used in the body of the text. The audience is assumed to have been through several years of college level mathematics that 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 undergraduate 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 products. The solutions to ordinary differential equations are reviewed in the last two sections. The notation, as far as possible, will be a matrix notation that is easily entered into existing symbolic computational programs like Maple, Mathematica, Matlab, and Mathcad etc. 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 represent these components in matrices of tensor components in six dimensions leads to the nontraditional 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 Sect. 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, S.C.
    [Show full text]
  • On the Representation of Symmetric and Antisymmetric Tensors
    Max-Planck-Institut fur¨ Mathematik in den Naturwissenschaften Leipzig On the Representation of Symmetric and Antisymmetric Tensors (revised version: April 2017) by Wolfgang Hackbusch Preprint no.: 72 2016 On the Representation of Symmetric and Antisymmetric Tensors Wolfgang Hackbusch Max-Planck-Institut Mathematik in den Naturwissenschaften Inselstr. 22–26, D-04103 Leipzig, Germany [email protected] Abstract Various tensor formats are used for the data-sparse representation of large-scale tensors. Here we investigate how symmetric or antiymmetric tensors can be represented. The analysis leads to several open questions. Mathematics Subject Classi…cation: 15A69, 65F99 Keywords: tensor representation, symmetric tensors, antisymmetric tensors, hierarchical tensor format 1 Introduction We consider tensor spaces of huge dimension exceeding the capacity of computers. Therefore the numerical treatment of such tensors requires a special representation technique which characterises the tensor by data of moderate size. These representations (or formats) should also support operations with tensors. Examples of operations are the addition, the scalar product, the componentwise product (Hadamard product), and the matrix-vector multiplication. In the latter case, the ‘matrix’belongs to the tensor space of Kronecker matrices, while the ‘vector’is a usual tensor. In certain applications the subspaces of symmetric or antisymmetric tensors are of interest. For instance, fermionic states in quantum chemistry require antisymmetry, whereas bosonic systems are described by symmetric tensors. The appropriate representation of (anti)symmetric tensors is seldom discussed in the literature. Of course, all formats are able to represent these tensors since they are particular examples of general tensors. However, the special (anti)symmetric format should exclusively produce (anti)symmetric tensors.
    [Show full text]
  • Geometric Algebra and Covariant Methods in Physics and Cosmology
    GEOMETRIC ALGEBRA AND COVARIANT METHODS IN PHYSICS AND COSMOLOGY Antony M Lewis Queens' College and Astrophysics Group, Cavendish Laboratory A dissertation submitted for the degree of Doctor of Philosophy in the University of Cambridge. September 2000 Updated 2005 with typo corrections Preface This dissertation is the result of work carried out in the Astrophysics Group of the Cavendish Laboratory, Cambridge, between October 1997 and September 2000. Except where explicit reference is made to the work of others, the work contained in this dissertation is my own, and is not the outcome of work done in collaboration. No part of this dissertation has been submitted for a degree, diploma or other quali¯cation at this or any other university. The total length of this dissertation does not exceed sixty thousand words. Antony Lewis September, 2000 iii Acknowledgements It is a pleasure to thank all those people who have helped me out during the last three years. I owe a great debt to Anthony Challinor and Chris Doran who provided a great deal of help and advice on both general and technical aspects of my work. I thank my supervisor Anthony Lasenby who provided much inspiration, guidance and encouragement without which most of this work would never have happened. I thank Sarah Bridle for organizing the useful lunchtime CMB discussion group from which I learnt a great deal, and the other members of the Cavendish Astrophysics Group for interesting discussions, in particular Pia Mukherjee, Carl Dolby, Will Grainger and Mike Hobson. I gratefully acknowledge ¯nancial support from PPARC. v Contents Preface iii Acknowledgements v 1 Introduction 1 2 Geometric Algebra 5 2.1 De¯nitions and basic properties .
    [Show full text]
  • Tensor Calculus and Differential Geometry
    Course Notes Tensor Calculus and Differential Geometry 2WAH0 Luc Florack March 10, 2021 Cover illustration: papyrus fragment from Euclid’s Elements of Geometry, Book II [8]. Contents Preface iii Notation 1 1 Prerequisites from Linear Algebra 3 2 Tensor Calculus 7 2.1 Vector Spaces and Bases . .7 2.2 Dual Vector Spaces and Dual Bases . .8 2.3 The Kronecker Tensor . 10 2.4 Inner Products . 11 2.5 Reciprocal Bases . 14 2.6 Bases, Dual Bases, Reciprocal Bases: Mutual Relations . 16 2.7 Examples of Vectors and Covectors . 17 2.8 Tensors . 18 2.8.1 Tensors in all Generality . 18 2.8.2 Tensors Subject to Symmetries . 22 2.8.3 Symmetry and Antisymmetry Preserving Product Operators . 24 2.8.4 Vector Spaces with an Oriented Volume . 31 2.8.5 Tensors on an Inner Product Space . 34 2.8.6 Tensor Transformations . 36 2.8.6.1 “Absolute Tensors” . 37 CONTENTS i 2.8.6.2 “Relative Tensors” . 38 2.8.6.3 “Pseudo Tensors” . 41 2.8.7 Contractions . 43 2.9 The Hodge Star Operator . 43 3 Differential Geometry 47 3.1 Euclidean Space: Cartesian and Curvilinear Coordinates . 47 3.2 Differentiable Manifolds . 48 3.3 Tangent Vectors . 49 3.4 Tangent and Cotangent Bundle . 50 3.5 Exterior Derivative . 51 3.6 Affine Connection . 52 3.7 Lie Derivative . 55 3.8 Torsion . 55 3.9 Levi-Civita Connection . 56 3.10 Geodesics . 57 3.11 Curvature . 58 3.12 Push-Forward and Pull-Back . 59 3.13 Examples . 60 3.13.1 Polar Coordinates in the Euclidean Plane .
    [Show full text]
  • The Language of Differential Forms
    Appendix A The Language of Differential Forms This appendix—with the only exception of Sect.A.4.2—does not contain any new physical notions with respect to the previous chapters, but has the purpose of deriving and rewriting some of the previous results using a different language: the language of the so-called differential (or exterior) forms. Thanks to this language we can rewrite all equations in a more compact form, where all tensor indices referred to the diffeomorphisms of the curved space–time are “hidden” inside the variables, with great formal simplifications and benefits (especially in the context of the variational computations). The matter of this appendix is not intended to provide a complete nor a rigorous introduction to this formalism: it should be regarded only as a first, intuitive and oper- ational approach to the calculus of differential forms (also called exterior calculus, or “Cartan calculus”). The main purpose is to quickly put the reader in the position of understanding, and also independently performing, various computations typical of a geometric model of gravity. The readers interested in a more rigorous discussion of differential forms are referred, for instance, to the book [22] of the bibliography. Let us finally notice that in this appendix we will follow the conventions introduced in Chap. 12, Sect. 12.1: latin letters a, b, c,...will denote Lorentz indices in the flat tangent space, Greek letters μ, ν, α,... tensor indices in the curved manifold. For the matter fields we will always use natural units = c = 1. Also, unless otherwise stated, in the first three Sects.
    [Show full text]
  • Semi-Classical Scalar Propagators in Curved Backgrounds: Formalism and Ambiguities
    Semi-classical scalar propagators in curved backgrounds : formalism and ambiguities J. Grain1,2 & A. Barrau1 1Laboratory for Subatomic Physics and Cosmology, Grenoble Universit´es, CNRS, IN2P3 53, avenue de Martyrs, 38026 Grenoble cedex, France 2AstroParticle & Cosmology, Universit´eParis 7, CNRS, IN2P3 10, rue Alice Domon et L´eonie Duquet, 75205 Paris cedex 13, France Abstract The phenomenology of quantum systems in curved space-times is among the most fascinating fields of physics, allowing –often at the gedankenexperiment level– constraints on tentative the- ories of quantum gravity. Determining the dynamics of fields in curved backgrounds remains however a complicated task because of the highly intricate partial differential equations in- volved, especially when the space metric exhibits no symmetry. In this article, we provide –in a pedagogical way– a general formalism to determine this dynamics at the semi-classical order. To this purpose, a generic expression for the semi-classical propagator is computed and the equation of motion for the probability four-current is derived. Those results underline a direct analogy between the computation of the propagator in general relativistic quantum mechanics and the computation of the propagator for stationary systems in non-relativistic quantum me- chanics. PACS numbers: 04.62.+v, 11.15.Kc arXiv:0705.4393v1 [hep-th] 30 May 2007 1 Introduction The dynamics of a scalar field propagating in a curved background is governed by partial differ- ential equations which, in most cases, have no analytical solution. Investigating the behavior of those fields in the semi-classical approximation is a promising alternative to numerical studies, allowing accurate predictions for many phenomena including the Hawking radiation process [1, 2, 3, 4] and the primordial power spectrum [5, 6].
    [Show full text]
  • Appendix a Multilinear Algebra and Index Notation
    Appendix A Multilinear algebra and index notation Contents A.1 Vector spaces . 164 A.2 Bases, indices and the summation convention 166 A.3 Dual spaces . 169 A.4 Inner products . 170 A.5 Direct sums . 174 A.6 Tensors and multilinear maps . 175 A.7 The tensor product . 179 A.8 Symmetric and exterior algebras . 182 A.9 Duality and the Hodge star . 188 A.10 Tensors on manifolds . 190 If linear algebra is the study of vector spaces and linear maps, then multilinear algebra is the study of tensor products and the natural gener- alizations of linear maps that arise from this construction. Such concepts are extremely useful in differential geometry but are essentially algebraic rather than geometric; we shall thus introduce them in this appendix us- ing only algebraic notions. We'll see finally in A.10 how to apply them to tangent spaces on manifolds and thus recoverx the usual formalism of tensor fields and differential forms. Along the way, we will explain the conventions of \upper" and \lower" index notation and the Einstein sum- mation convention, which are standard among physicists but less familiar in general to mathematicians. 163 164 APPENDIX A. MULTILINEAR ALGEBRA A.1 Vector spaces and linear maps We assume the reader is somewhat familiar with linear algebra, so at least most of this section should be review|its main purpose is to establish notation that is used in the rest of the notes, as well as to clarify the relationship between real and complex vector spaces. Throughout this appendix, let F denote either of the fields R or C; we will refer to elements of this field as scalars.
    [Show full text]
  • Vectors and Matrices Notes
    Vectors and Matrices Notes. Jonathan Coulthard [email protected] 1 Index Notation Index notation may seem quite intimidating at first, but once you get used to it, it will allow us to prove some very tricky vector and matrix identities with very little effort. As with most things, it will only become clearer with practice, and so it is a good idea to work through the examples for yourself, and try out some of the exercises. Example: Scalar Product Let's start off with the simplest possible example: the dot product. For real column vectors a and b, 0 1 b1 Bb2C a · b = aT b = a a a ··· B C = a b + a b + a b + ··· (1) 1 2 3 Bb3C 1 1 2 2 3 3 @ . A . or, written in a more compact notation X a · b = aibi; (2) i where the σ means that we sum over all values of i. Example: Matrix-Column Vector Product Now let's take matrix-column vector multiplication, Ax = b. 2 3 2 3 2 3 A11 A12 A23 ··· x1 b1 6A21 A22 A23 ··· 7 6x27 6b27 6 7 6 7 = 6 7 (3) 6A31 A32 A33 ···7 6x37 6b37 4 . 5 4 . 5 4 . 5 . .. You are probably used to multiplying matrices by visualising multiplying the elements high- lighted in the red boxes. Written out explicitly, this is b2 = A21x1 + A22x2 + A23x3 + ··· (4) If we were to shift the A box and the b box down one place, we would instead get b3 = A31x1 + A32x2 + A33x3 + ··· (5) 1 It should be clear then, that in general, for the ith element of b, we can write bi = Ai1x1 + Ai2x2 + Ai3x3 + ··· (6) Or, in our more compact notation, X bi = Aijxj: (7) j Note that if the matrix A had only one column, then i would take only one value (i = 1).
    [Show full text]
  • Appendix: an Index Notation for Multivariate Statistical Analysis
    19 : APPENDIX An Index Notation for Multivariate Analysis 1. Tensor Products and Formal Orderings The algebra of multivariate statistical analysis is, predominantly, the al- gebra of tensor products, of which the Kronecker product of matrices is a particular instance. The Kronecker product of the t × n matrix B =[blj] and the s × m matrix A =[aki] is defined as an ts×nm matrix B ⊗A =[bljA] whose ljth partition is bljA. In many statistical texts, this definition provides the basis for subsequent alge- braic developments. The disadvantage of using the definition without support from the theory of multilinear algebra is that the results which are generated often seem purely technical and lacking in intuitive appeal. Another approach to the algebra of tensor products relies upon the algebra of abstract vector spaces. Thus The tensor product U⊗Vof two finite-dimensional vector spaces U and V may be defined as the dual of the vector space of all bilinear functionals on U and V. This definition facilitates the development of a rigorous abstract theory. In particular, U⊗V, defined in this way, already has all the features of a vector space. However, the definition also leads to acute technical difficulties when we seek to represent the resulting algebra in terms of coordinate vectors and matrices. The approach which we shall adopt here is to define tensor products in terms of formal products. According to this approach, a definition of U⊗V may ⊗ be obtained by considering the set of all objects of the form i j xij(ui vj), where ui ⊗vj, which is described as an elementary or decomposable tensor prod- uct, comprises an ordered pair of elements taken from the two vector spaces.
    [Show full text]