張量

數學物件

張量(英語:Tensor)在數學中是一個代數對象,描述了與向量空間相關的代數對象集之間的多重線性映射。張量可以作為不同的對象之間的映射,例如向量純量,甚至其他張量。張量有很多種類型,包括純量和向量、對偶向量向量空間之間的多重線性映射,甚至還有一些運算,例如點積。張量的定義獨立於任何,儘管它們通常由與特定坐標系相關的基中的分量來表示;這些分量形成一個數組,可以將其視為高維矩陣維空間上的階張量有個分量,也稱為該張量的(與矩陣的秩和階均無關係)。

同構的意義下,第零階張量()為純量,第一階張量()為向量, 第二階張量()則成為矩陣。例如,對於3維空間,時的張量為此向量:。張量不僅僅是由一定數量的分量組成的數組,在坐標變換時,張量的分量也依照某些規則作線性變換。由於變換方式的不同,張量分成「協變張量」(指標在下者)、「逆變張量」(指標在上者)、「混合張量」(指標在上和指標在下兩者都有)三類。張量的抽象理論是線性代數分支,現在叫做多重線性代數

張量在物理工程學中很重要。例如在擴散張量成像中,表達器官對於水的在各個方向的微分透性的張量可以用來產生大腦的掃描圖。工程上的例子有應力張量應變張量,它們都是二階張量,對於一般線性材料他們之間的關係由一個四階彈性張量來決定。

張量在物理學中提供了一個簡明的數學框架用來描述和解決力學(應力、彈性、流體力學慣性矩等)、電動力學(電磁張量、麥克斯韋張量、介電常數磁化率等)、廣義相對論(應力-能量張量、曲率張量等)物理問題。在應用中,數學家通常會研究在物體的不同點之間的張量變化。例如,一個物體內的應力可能因位置不同而改變。這就引出了張量場的概念。在某些領域,張量場十分普遍以至於它們通常被簡稱為「張量」。

歷史背景

編輯

「張量」一詞最初由威廉·羅恩·哈密頓在1846年引入,但他把這個詞用於指代現在稱為的對象。該詞的現代意義是沃爾德馬爾·福格特在1899年開始使用的。

這個概念由格雷戈里奧·里奇-庫爾巴斯托羅在1890年在《絕對微分幾何》的標題下發展出來,隨着1900年列維-奇維塔的經典文章《絕對微分》(意大利文,隨後出版了其他譯本)的出版而為許多數學家所知。隨着1915年左右愛因斯坦廣義相對論的引入,張量微積分獲得了更廣泛的承認。廣義相對論完全由張量語言表述,愛因斯坦從列維-奇維塔本人那裏學了很多張量語言(其實是Marcel Grossman,他是愛因斯坦在蘇黎世聯邦理工學院的同學,一個幾何學家,也是愛因斯坦在張量語言方面的良師益友 - 參看Abraham Pais所著《上帝是微妙的(Subtle is the Lord)》),並學得很艱苦。但張量也用於其它領域,例如連續力學,譬如應變張量(參看線性彈性)。

注意「張量」一詞經常用作張量場的簡寫,而張量場是對流形的每一點給定一個張量值。要更好的理解張量場,必須首先理解張量的基本思想。

定義

編輯

一個 (p,q)型的張量 T 被定義為一個多重線性映射(英語:multilinear map[1]

 

其中 V向量空間V 是其對偶空間

方法的選擇

編輯

有兩種定義張量的方法:

  • 通常定義張量的物理學或傳統數學方法,是把張量看成一個多維數組,當變換座標或變換基底時,其分量會按照一定變換的規則,這些規則有兩種:即協變逆變轉換。
  • 通常現代數學中的方法,是把張量定義成某個向量空間或其對偶空間上的多重線性映射,這向量空間在需要引入基底之前不固定任何坐標系統。例如協變向量,可以描述為1-形式,或者作為逆變向量的對偶空間的元素。

但物理學家和工程師是首先識別出向量和張量作為實體具有物理上的意義的,它超越了它們的分量所被表述的(經常是任意的)坐標系。同樣,數學家發現有一些張量關係在坐標表示中更容易推導。

例子

編輯

張量可以表述為一個值的序列,用一個向量值的定義域和一個純量值的值域的函數表示。這些定義域中的向量是自然數的向量,而這些數字稱為指標。例如,取一3階張量尺寸為2x5x7。這裏,指標的範圍從<1,1,1>到<2,5,7>。張量可以在指標為<1,1,1>有一個值,在指標為<1,1,2>有另一個值,等等一共70個值。 (類似的,向量可以表示為一個值的序列,用一個純量值的定義域和一個純量值的值域的函數表示,定義域中的數字是自然數,稱為指標,不同的指標的個數有時稱為向量的維度。)

一個張量是在歐幾里得空間中的每一點都給定一個張量值。這樣不是像上面的例子中簡單的有70個值,對於一個3階張量,維度為<2,5,7>,空間中的每一個點有70個值和它相關。換句話說,張量場表示某個張量值的函數,其定義域為歐幾里得空間。不是所有的函數都行—更多關於這些要求的細節參看張量場

不是所有自然中的關係都是線性的,但是很多是可微的因而可以局部的用多線性映射來局部的逼近。這樣多數物理學中的量都可以用張量表示。

作為一個簡單的例子,考慮水中的船。我們要描述它對受力的反應。力是一個向量,而船的反應是一個加速度,它也是一個向量。通常加速度不是和受力的方向相同,因為船體的特定形狀。但是,這個力和加速之間的關係實際上是線性的。這樣一個關係可以用一個(1,1)類型(也就是說,它把一個向量變成另一個向量)的張量表示。這個張量可以用矩陣表示,當它乘以一個向量時就得到另一個作為結果。坐標系改變的時候,表示一個向量的數字會改變,同樣,表示這個張量的矩陣中的數字也會改變。

工程上,剛體流體內的應力也用一個張量表示;"張量"一詞的拉丁語就表示引起張力的某種拉伸。如果材料內的一個特定的表面元素被選出來,在表面一側的材料會對另一側的施加一個力。通常,該力不和表面正交,但是它將線性的依賴於表面的朝向。這可以精確用(2,0)類型的張量精確的描述,或者更精確地說,是用一個類型為(2,0)的張量來表示,因為張量可能在每一個不同。

另外一些著名的幾何中張量的例子有二次型,以及曲率張量。物理張量的例子有能動張量慣量極化張量

幾何和物理的量可以通過考慮它們的表述內在的自由度來分類。純量是那些可以用一個數表示的 --- 速率質量溫度,等等。有一些向量類型的量,例如,它需要一個數字的列表來表述。最後,像二次型這樣的量需要用多維數組來表示。後面這些量只能視為張量。

實際上,張量的概念相當廣泛,可以用於上面所有的例子;純量和向量是張量的特殊情況。區別純量和向量以及區別這兩者和更一般的張量的特徵是表示它們的數組的指標的個數。這個個數稱為張量的。這樣,純量是0階張量(不需要任何指標),而向量是一階張量。

張量的另外一個例子是廣義相對論中的黎曼曲率張量,它是維度為<4,4,4,4>(3個空間維度 +時間維度 = 4個維度)的4階張量。它可以當作256個分量(256 = 4×4×4×4)的矩陣(或者向量,其實是個4維數組)。只有20個分量是互相獨立的,這個事實可以大大簡化它的實際表達。

方法細節

編輯

有幾種想像和操作張量的等價方法;只有熟悉這個課題,才能了解其內容是等價的。

經典的方法把張量視為多維數組,它們是純量,1維向量和2維矩陣n維推廣。張量的"分量"是數組中的值。這個思想可以進一步推廣到張量場,那裏張量的元素是函數,甚至微分
張量場理論在這個方法中大致可以視為雅可比矩陣的思想的推廣。
現代(無分量)方法把張量首先視為抽象對象,表達了多線性概念的某種確定類型。其著名的性質可以從其定義導出,作為線性映射或者更一般的情況;而操作張量的規則作為從線性代數多重線性代數的推廣出現。這個處理方法在高等的研究中大量的取代了基於分量的方法,其方式是更現代的無分量向量方法在基於分量的方法用於給出向量概念的基本引例之後就取代傳統的基於分量的方法。可以說,口號就是「張量是某個張量空間的元素」。

最終,同樣的計算內容被表達出來,兩種方式都可以。技術性術語列表請參看張量理論詞彙

張量密度

編輯

張量場也可有一個「密度」。密度為r的張量和普通張量一樣坐標變換,但是它還要乘以雅可比矩陣的行列式值的第r次冪。這個的最佳解釋可能是使用向量叢:其中,切叢的行列式叢是一個線叢,可以用來'扭轉'其它叢r次。

張量階

編輯
等級 別名 記號 一般變換 張量密度變換方式*
0 標量 S S'=S S'=|a|S
1 (餘)向量 Vi V'i=aijVj V'i=|a|aijVj
2 (共變)矩陣 Mij M'ij=aikajlMkl M'ij=|a|aikajlMkl
3 (共變)3階張量 Tijk T'ijk=ailajsakmTlsm T'ijk=|a|ailajsakmTlsm

其中,aij是坐標變換的雅可比矩陣。這裏所有的分量假定為共變,反變的張量變換要用a的逆矩陣。注意這裏是用愛因斯坦記號

* |a|是aij的行列式。

參閱

編輯

記法常規

編輯

基礎

編輯

應用

編輯

參考資料

編輯
  1. ^ Lee, J.M. Riemannian Manifolds. Springer. 1997: 12. ISBN 0387983228. 

參考書籍

編輯
  • Tensors, Differential Forms, and Variational Principles (1989) David Lovelock, Hanno Rund
  • Tensor Analysis on Manifolds (1981) Richard L Bishop, Samuel I. Goldberg
  • Introduction to Tensor Calculus, Relativity and Cosmology (2003) D. F. Lawden
  • Tensor Analysis (2003) L.P. Lebedev, Michael J. Cloud
  • Calculus of Variations (2000) S. V. Fomin, I. M. Gelfand

外部連結

編輯

張量軟件

編輯