Penrose-Notation

Die penrosesche graphische Notation – auch als penrosesche diagrammatische Notation, Tensor-Diagramm-Notation oder auch einfach Penrose-Notation bezeichnet – ist eine von Roger Penrose vorgeschlagene Notation in der Physik und Mathematik, um eine (meist handschriftliche) visuelle Darstellung multilinearer Abbildungen oder Tensoren zu erhalten. Ein Diagramm besteht hierbei aus geschlossenen Formen, welche über Linien verbunden sind.

Die Notation wurde ausgiebig von Predrag Cvitanović erforscht, welcher diese Notation zur Einstufung klassischer Lie-Gruppen verwendet. Die Notation wurde generalisiert, um die Theorie zu Spin-Netzwerken in der Physik sowie die Präsenz von Matrix-Gruppen in der linearen Algebra darzustellen.

Multilineare Algebra

In der multilinearen Algebra entspricht jede Form einer multilinearen Funktion. Die Linien an Formen repräsentieren die Eingänge oder Ausgänge der Funktion. Die Verbindung dieser Ein- und Ausgänge entspricht der Komposition der jeweiligen Funktionen.

Tensoren

In der Tensoralgebra ist ein bestimmter Tensor als bestimmte Form dargestellt. Linien nach oben und unten abstrahieren obere und untere Indizes der jeweiligen Tensoren. Verbindungen zwischen zwei Formen entspricht der Kontraktion der Indizes. Ein Vorteil dieser Notation ist, dass man nicht neue Buchstaben für neue Indizes erfinden muss. Die Notation ist auch ausdrücklich basisunabhängig.

Beispiele

Vektor ξa	Vektor ηa	Vektor ζa	Vektor βa
$\lambda^a_{bcd}$	$D^{ab}_{cd}$	Kronecker-Delta $\delta^a_b$	$\beta_a\,\xi^a$
Metrischer Tensor gab	Metrischer Tensor gab	Asymmetrisierung $Q^{[ab\ldots n]}$ (mit ${}_{Q^{a\ldots n}}$${}_{= Q^{[a\ldots n]}}$${}_{+ Q^{(a\ldots n)}}$)	Symmetrisierung $E_{(ab\ldots n)}$ (mit ${}_{E_{a\ldots n}}$${}_{= E_{[a\ldots n]}}$${}_{+ E_{(a\ldots n)}}$)
Tensor $Q^{abc}_{fg}$	$Q^{abc}_{fg}-2\,Q^{bca}_{fg}$	$Q^{abc}_{fg}-2\,Q^{bca}_{gf}$	$\xi^a\,\lambda^{(d}_{ab[c}\,D^{e)b}_{fg]}$ (mit ${}_{\frac{1}{2!}\cdot\frac{1}{3!} = \frac{1}{12}}$)
$\varepsilon_{a\ldots n}$	$\epsilon^{a\ldots n}$	$\varepsilon_{a\ldots n}\,\epsilon^{a\ldots n} = n!$	$\det\mathbf{T} = \det\left(T^a_{\ b}\right)$
$\mathbf{T}^{-1} = \left(T^a_{\ b}\right)^{-1}$ (Inverse der ${}_{n\times n}$-Matrix ${}_\mathbf{T}$)	$\operatorname{Spur}\mathbf{T}=T^a_{\ a}$	Strukturkonstante $\gamma_{\alpha\beta}^\chi = -\gamma_{\beta\alpha}^\chi$	$\gamma_{[\alpha\beta}^\xi\,\gamma_{\chi]\xi}^\zeta=0$
$\gamma_{[\alpha\beta}^\xi\,\gamma_{\chi]\xi}^\zeta$$=\gamma_{\alpha\beta}^\xi\,\gamma_{\chi\xi}^\zeta$$-\gamma_{\alpha\beta}^\xi\,\gamma_{\xi\chi}^\zeta$$-\gamma_{\xi\beta}^{\zeta}\,\gamma_{\chi\alpha}^{\xi}$ = 0	Killing-Form καβ = κβα$=\gamma_{\alpha\zeta}^{\ \ \xi}\,\gamma_{\beta\xi}^{\ \ \zeta}$	Kovariante Ableitung $12\nabla_a\left\{ \xi^a\,\lambda^{(d}_{ab[c}\,D^{e)b}_{fg]} \right\}$	Riemannscher Krümmungstensor $R_{abc}^{\ \ \ d}$
Ricci-Identität $(\nabla_a\,\nabla_b -\nabla_b\,\nabla_a)\,\mathbf{\xi}^d$$= R_{abc}^{\ \ \ d}\,\mathbf{\xi}^d$	Ricci-Tensor $R_{ab} = R_{acb}^{\ \ \ c}$	Antisymmetrie des riemannschen Krümmungstensors $R_{abc}^{\ \ \ d} = -R_{bac}^{\ \ \ d}$	Bianchi-Symmetrie $R_{[abc]}^{\ \ \ d}$$=R_{abc}^{\ \ \ d}$$+R_{bca}^{\ \ \ d}$$+R_{cab}^{\ \ \ d}$ = 0
Bianchi-Identität $\nabla_{[a} R_{bc]d}^{\ \ \ e} = 0$	Penrose lie derivative of vector.svg Lie-Ableitung des Vektors $\mathbf\eta$. $\left(\boldsymbol{\mathcal{L}}_{\xi}\,\mathbf\eta \right)^a$$= \xi^a\,\nabla_a\,\eta^b$$- \eta^a\,\nabla_a\,\xi^b$	Penrose lie derivative of covector.svg Lie-Ableitung des Kovektors α. $\left(\boldsymbol{\mathcal{L}}_{\xi}\,\alpha \right)^a$$= \xi^a\,\nabla_a\,\alpha^b$$- \alpha^a\,\nabla_a\,\xi^b$	Penrose lie derivative of tensor.svg Lie-Ableitung eines Tensors $\mathbf Q$. $\boldsymbol{\mathcal{L}}_{\xi}\,\mathbf{Q}_{ab}^c$$= \xi^u\,\nabla_u\,\mathbf{Q}_{ab}^c$$+ \mathbf{Q}_{ub}^c\,\nabla_a\,\xi^u$$+ \mathbf{Q}_{au}^c\,\nabla_b\,\xi^u$$- \mathbf{Q}_{ab}^u\,\nabla_u\,\xi^c$

Literatur

• Roger Penrose: The Road to Reality: A Complete Guide to the Laws of the Universe. Jonathan Cape, 2004, ISBN 0224044478.

Siehe auch

• Spin-Netzwerk
• Spurdiagramm
• abstrakte Indexnotation