數學與物理學中,潘洛斯圖形符號(英語:Penrose graphical notation)或稱張量圖符號(tensor diagram notation)是多線性函數或張量的一種圖形表示法,由羅傑·潘洛斯所提出。[1]
這樣的圖有多種幾何圖案,之間由線段相連。Predrag Cvitanović曾深入研究此方法,將之用在古典李群的分類上。[2]
透過表示論,此方法也被推廣至物理學中的自旋網路,以及線性代數中矩陣群相關的跡數圖。
多線性代數[編輯]
在多重線性代數的語言中,這每一個圖形都代表一個多線性函數。接在圖形上的線代表了函數的輸入與輸出,而把圖形連結起來就相當於函數的複合。
在張量代數的語言中,每個特定的張量都由一個特定的圖形表示,而往上下延伸的線段則分別對應張量的上下指標。把兩個圖形以線段連結則對應於張量縮併。
這種標記方式的一大優點就是不需要為了新的指標而發明更多新的符號,並且這種方式還是完全無關於基底的。[3]
每個圖形代表一個矩陣,張量積是直著做的,而矩陣乘法是橫著做的。
特殊張量表象[編輯]
度規張量[編輯]
度規張量由U形或倒U形的迴圈所表示,正U或倒U由張量類型決定。
度規張量
|
度規張量
|
列維-奇維塔張量[編輯]
列維-奇維塔反對稱張量由粗的水平橫桿來表示,其上有朝上或朝下的小棍,由張量類型所決定。
![](//upload.wikimedia.org/wikipedia/commons/thumb/b/ba/Penrose_varepsilon_a-n.svg/86px-Penrose_varepsilon_a-n.svg.png)
|
![](//upload.wikimedia.org/wikipedia/commons/thumb/1/1c/Penrose_epsilon%5Ea-n.svg/86px-Penrose_epsilon%5Ea-n.svg.png)
|
![](//upload.wikimedia.org/wikipedia/commons/thumb/9/9d/Penrose_varepsilon_a-n_epsilon%5Ea-n.svg/86px-Penrose_varepsilon_a-n_epsilon%5Ea-n.svg.png) ![{\displaystyle \varepsilon _{ab\ldots n}\,\epsilon ^{ab\ldots n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/58a53234da97231fdd1df662126a700f6a706c1b)
|
結構常數[編輯]
李代數的結構常數(
)由一帶有一條朝上線、兩條朝下線的小三角形所表示。
結構常數
|
張量運算[編輯]
指標縮併[編輯]
指標進行張量縮併可由指標線相連來表示。
克羅內克δ函數
|
點積
|
![](//upload.wikimedia.org/wikipedia/commons/thumb/5/5b/Penrose_g_ab_g%5Ebc-d%5Ec_a-g%5Ecb_g_ba.svg/257px-Penrose_g_ab_g%5Ebc-d%5Ec_a-g%5Ecb_g_ba.svg.png)
|
對稱化[編輯]
指標的對稱化由水平穿越指標線的粗鋸齒狀橫桿來表示。
對稱化
![{\displaystyle Q^{(ab\ldots n)}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fddb7cfe9e8f36061aa65acd92edded977b75ef3) (其中 )
|
反對稱化[編輯]
指標的反對稱化是由水平穿越指標線的粗直線來表示。
反對稱化
![{\displaystyle E_{[ab\ldots n]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/58adc5ba5ef08561356cd95bb5819fe124ee5f66) (其中 )
|
行列式[編輯]
行列式透過指標的反對稱化而形成。
行列式
|
逆矩陣
|
協變導數[編輯]
協變導數(
)是由一圍繞待運算之張量的圓圈所表示,另有一條朝下的線連接圓圈表示導數的下標。
協變導數
|
張量操作[編輯]
圖形符號法在張量代數的操作中頗有用處。這些操作通常牽涉到一些與張量有關的恆等式。
舉例來說,一個常見的恆等式:
,
其中n是維度。
黎曼曲率張量[編輯]
使用黎曼曲率張量所描述的里奇恆等式與比安基恆等式,可展示出潘洛斯圖形符號的威力。
黎曼曲率張量的符號
|
里奇張量
|
里奇恆等式![{\displaystyle (\nabla _{a}\,\nabla _{b}-\nabla _{b}\,\nabla _{a})\,\mathbf {\xi } ^{d}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ace99b9c640f86b632359814ecf29268755e7cad)
|
比安基恆等式
|
此符號標記法已擴充到旋量與扭量的使用。[4][5]
相關條目[編輯]
參考文獻[編輯]
- ^ see e.g. Quantum invariants of knots and 3-manifolds" by V. G. Turaev (1994), page 71
- ^ Predrag Cvitanović. Group Theory: Birdtracks, Lie's, and Exceptional Groups. Princeton University Press. 2008 [2015-05-23]. (原始內容存檔於2011-07-20).
- ^ Roger Penrose, The Road to Reality: A Complete Guide to the Laws of the Universe, 2005, ISBN 0-09-944068-7, Chapter Manifolds of n dimensions.
- ^ Penrose, R.; Rindler, W. Spinors and Space-Time: Vol I, Two-Spinor Calculus and Relativistic Fields. Cambridge University Press. 1984: 424–434 [2015-05-23]. ISBN 0-521-24527-3. (原始內容存檔於2014-01-03).
- ^ Penrose, R.; Rindler, W. Spinors and Space-Time: Vol. II, Spinor and Twistor Methods in Space-Time Geometry. Cambridge University Press. 1986 [2015-05-23]. ISBN 0-521-25267-9. (原始內容存檔於2014-01-03).
外部連結[編輯]