In mathematics and physics, Penrose graphical notation or tensor diagram notation is a (usually handwritten) visual depiction of multilinear functions or tensors proposed by Roger Penrose. A diagram in the notation consists of several shapes linked together by lines, much like tinker toys. The notation has been studied extensively by Predrag Cvitanović, who used it to classify the classical Lie groups [1]. It has also been generalized using representation theory to spin networks in physics, and with the presence of matrix groups to trace diagrams in linear algebra.
Contents |
Interpretations
Multilinear algebra
In the language of multilinear algebra, each shape represents a multilinear function. The lines attached to shapes represent the inputs or outputs of a function, and attaching shapes together in some way is essentially the composition of functions.
Tensors
In the language of tensor algebra, a particular tensor is associated with a particular shape with many lines projecting upwards and downwards, corresponding to abstract upper and lower indices of tensors respectively. Connecting lines between two shapes corresponds to contraction of indices. One advantage of this notation is that one does not have to invent new letters for new indices. This notation is also explicitly basis-independent.[2]
Matrices
Each shape represents a matrix, and you do tensor multiplying horizontally, and you do matrix multiplying vertically.
Examples
The identity function on a vector space is a vertical line.
Representation of special tensors
Metric tensor
The metric tensor is represented by a U-shaped loop or an upside-down U-shaped loop, depending on the type of tensor that is used.
| metric tensor gab | metric tensor gab |
Levi-Civita tensor
The Levi-Civita antisymmetric tensor is represented by a thick horizontal bar with sticks pointing downwards or upwards, depending on the type of tensor that is used.
| = n! |
Structure constant
The structure constant () is represented by a small triangle with one line pointing upwards and two lines pointing downwards.
| structure constant |
Tensor operations
Contraction of indices
Contraction of indices is conveniently represented by joining the index lines together.
Symmetrization
Symmetrization of indices is represented by a thick straight line crossing horizontally across the index lines. (Note that Roger Penrose, in Road to Reality (see page 242), uses opposite notation, with a straight line representing antisymmetrization and a squiggly line representing symmetrization.)
| Symmetrization (with ) |
Antisymmetrization
Antisymmetrization of indices is represented by a thick zig-zag or wavy bar crossing horizontally across the index lines.
| Antisymmetrization (with ) |
Covariant derivative
The covariant derivative () is represented by a circle around the tensor(s) to be differentiated and a line joined from the circle pointing downwards to represent the lower index of the derivative.
| covariant derivative |
Tensor manipulation
The diagrammatic notation is very useful in manipulating tensor algebra. It usually involves a few simple "identities" of tensor manipulations.
For example, , where n is the number of dimensions, is a common "identity".
See also
Notes
- ^ Predrag Cvitanović (2008). Group Theory: Birdtracks, Lie's, and Exceptional Groups. Princeton University Press. http://birdtracks.eu/.
- ^ Roger Penrose, The Road to Reality: A Complete Guide to the Laws of the Universe, 2005, ISBN 0-099-44068-7, Chapter Manifolds of n dimensions.
External links
- An example can be found at [1]
Categories: Tensors | Theoretical physics | Mathematical notation | Diagram algebras
|
194px x 208px | 21.80kB
[source page]
An example can be found at 1
Dmitry Vostokov
Sat, 23 May 2009 21:53:48 GM
Inspired by . Penrose. tensor . notation. encountered in The Road to Reality book and Feynman diagrams I'd like to introduce Visual Dump Objects (VDO) . graphical notation. to depict and communicate memory dump analysis patterns, ...
