数学与物理学中,潘洛斯图形符号(英语:Penrose graphical notation)或称张量图符号(tensor diagram notation)是多线性函数或张量的一种图形表示法,由罗杰·潘洛斯所提出。[1]
这样的图有多种几何图案,之间由线段相连。Predrag Cvitanović曾深入研究此方法,将之用在古典李群的分类上。[2]
诠释
在多重线性代数的语言中,这每一个图形都代表一个多线性函数。接在图形上的线代表了函数的输入与输出,而把图形连结起来就相当于函数的复合。
在张量代数的语言中,每个特定的张量都由一个特定的图形表示,而往上下延伸的线段则分别对应张量的上下指标。把两个图形以线段连结则对应于张量缩并。
这种标记方式的一大优点就是不需要为了新的指标而发明更多新的符号,并且这种方式还是完全无关于基底的。[3]
特殊张量表象
度规张量由U形或倒U形的循环所表示,正U或倒U由张量类型决定。
列维-奇维塔反对称张量由粗的水平横杆来表示,其上有朝上或朝下的小棍,由张量类型所决定。
李代数的结构常数()由一带有一条朝上线、两条朝下线的小三角形所表示。
张量运算
指标进行张量缩并可由指标线相连来表示。
指标的对称化由水平穿越指标线的粗锯齿状横杆来表示。
指标的反对称化是由水平穿越指标线的粗直线来表示。
行列式
行列式透过指标的反对称化而形成。
协变导数()是由一围绕待运算之张量的圆圈所表示,另有一条朝下的线连接圆圈表示导数的下标。
张量操作
图形符号法在张量代数的操作中颇有用处。这些操作通常牵涉到一些与张量有关的恒等式。
举例来说,一个常见的恒等式:
- ,
其中n是维度。
使用黎曼曲率张量所描述的里奇恒等式与比安基恒等式,可展示出潘洛斯图形符号的威力。
扩充
相关条目
参考文献
外部链接
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.