在數學裡,張量是一種幾何实体,或者说廣義上的「數量」。

来源: 2010-01-04 15:26:01 [博客] [旧帖] [给我悄悄话] 本文已被阅读:

[隱藏] 維基百科創辦人
吉米·威爾斯的致謝辭
張量
维基百科,自由的百科全书
(重定向自张量)
跳转到: 导航, 搜索
張量 (Tensor) 是 n 維空間內,有 nr個分量的一種量, 其中每個分量都是坐標的函數, 而在坐標變換時,這些分量也依照某些規則作線性變換。 r 稱為該張量的秩 (Rank)。

第零階張量 (r = 0) 為純量 (Scalar),第一階張量 (r = 1) 為向量 (Vector), 第二階張量 (r = 2) 則成為矩陣 (Matrix)。 例如,对于3维空间,r=1时的张量为此向量:(x,y,z)T。由於變換方式的不同,張量分成協變張量 (Covariant Tensor,指標在下者)、逆變張量 (Contravariant Tensor,指標在上者)、 混合張量 (指標在上和指標在下兩者都有) 三類。

在數學裡,張量是一種幾何实体,或者说廣義上的「數量」。張量概念包括純量、向量和線性算子。張量可以用坐標系統来表达,记作純量的数组,但它是定义为「不依赖于参照系的选择的」。張量在物理和工程學中很重要。例如在扩散张量成像中,表达器官对于水的在各个方向的微分透性的张量可以用来产生大脑的扫描图。可能最重要的工程上的例子就是应力张量和应变张量了,它们都是二阶张量,对于一般线性材料他们之间的关系由一个四阶弹性张量来决定。

虽然張量可以用分量的多维数组来表示,張量理論存在的意义在于進一步说明把一个數量称为張量的涵義,而不仅仅是说它需要一定数量的有指标索引的分量。特别是,在坐標轉換時,張量的分量值遵守一定的变换法则。張量的抽象理論是線性代數分支,現在叫做多重線性代數。

本条目试图给出张量思想的非技术性介绍,并给出对描述不同的、互补的张量理论的细节的那些文章的一个简介。

目录 [隐藏]
1 背景知识
2 方法的选择
3 例子
4 方法细节
5 张量密度
6 張量阶
7 参看
7.1 记法常规
7.2 基础
7.3 应用
8 外部链接
9 參考書籍
10 张量软件


[编辑] 背景知识
“张量”一词最初由哈密顿在1846年引入,但他把这个词用于指代现在称为模的对象。该词的现代意义是Woldemar Voigt在1899年开始使用的。

这个概念由Gregorio Ricci-Curbastro在1890年在《绝对微分几何》的标题下发展出来,随着1900年列维-奇维塔的经典文章《绝对微分》(意大利文,随后出版了其他译本)的出版而为许多数学家所知。随着1915年左右爱因斯坦的广义相对论的引入,张量微积分获得了更广泛的承认。广义相对论完全由张量语言表述,爱因斯坦从列维-奇维塔本人那里学了很多张量语言(其实是Marcel Grossman,他是爱因斯坦在苏黎世联邦理工学院的同学,一个几何学家,也是爱因斯坦在张量语言方面的良师益友 - 参看Abraham Pais所著《上帝是微妙的(Subtle is the Lord)》),并学得很艰苦。但张量也用于其它领域,例如连续力学,譬如应变张量(参看线性弹性)。

注意“张量”一词经常用作张量场的简写,而张量场是对流形的每一点给定一个张量值。要更好的理解张量场,必须首先理解张量的基本思想。

[编辑] 方法的选择
有两种定义张量的方法:

通常定义张量的物理学方法,采用其分量按照一定法则变换的对象,并通过引入协变或逆变变换的思想。
通常数学中的方法,涉及定义特定的向量空间并在需要引入基之前不固定任何坐标系统。例如协变向量,可以描述为1-形式,或者作为逆变向量的对偶空间的元素。
但物理学家和工程师是首先识别出向量和张量作为实体具有物理上的意义的,它超越了它们的分量所被表述的(经常是任意的)坐标系。同样,数学家发现有一些张量关系在坐标表示中更容易推导。

[编辑] 例子
张量可以表述为一个值的序列,用一个向量值的定义域和一个标量值的值域的函数表示。这些定义域中的向量是自然数的向量,而这些数字称为指标。例如,3阶张量可以有尺寸2、5和7。这里,指标的范围是从到。张量可以在指标为有一个值,在指标为有另一个值,等等一共70个值。 (类似的,向量可以表示为一个值的序列,用一个标量值的定义域和一个标量值的值域的函数表示,定义域中的数字是自然数,称为指标,不同的指标的个数有时称为向量的维度。)

一个张量场是在欧几里得空间中的每一点都给定一个张量值。这样不是像上面的例子中简单的有70个值,对于一个3阶张量,维度为,空间中的每一个点有70个值和它相关。换句话说,张量场表示某个张量值的函数,其定义域为欧几里得空间。不是所有的函数都行 -- 更多关于这些要求的细节参看张量场。

不是所有自然中的关系都是线形的,但是很多是可微的因而可以局部的用多线性映射来局部的逼近。这样多数物理学中的量都可以用张量表示。

作为一个简单的例子,考虑水中的船。我们要描述它对受力的反应。力是一个向量,而船的反应是一个加速度,它也是一个向量。通常加速度不是和受力的方向相同,因为船体的特定形状。但是,这个力和加速之间的关系实际上是线性的。这样一个关系可以用一个(1,1)类型(也就是说,它把一个向量变成另一个向量)的张量表示。这个张量可以用矩阵表示,当它乘以一个向量时就得到另一个作为结果。坐标系改变的时候,表示一个向量的数字会改变,同样,表示这个张量的矩阵中的数字也会改变。

工程上,刚体或流体内的应力也用一个张量表示;"张量"一词的拉丁语就表示引起张力的某种拉伸。如果材料内的一个特定的表面元素被选出来,在表面一侧的材料会对另一侧的施加一个力。通常,该力不和表面正交,但是它将线性的依赖于表面的朝向。这可以精确用(2,0)类型的张量精确的描述,或者更精确地说,是用一个类型为(2,0)的张量场来表示,因为张量可能在每一个不同。

另外一些著名的几何中张量的例子有二次型,以及曲率张量。物理张量的例子有能动张量,惯量和极化张量。

几何和物理的量可以通过考虑它们的表述内在的自由度来分类。标量是那些可以用一个数表示的 --- 速率, 质量, 温度,等等。有一些向量类型的量,例如力,它需要一个数字的列表来表述。最后,象二次型这样的量需要用多维数组来表示。后面这些量只能视为张量。

实际上,张量的概念相当广泛,可以用于上面所有的例子;标量和向量是张量的特殊情况。区别标量和向量以及区别这两者和更一般的张量的特征是表示它们的数组的指标的个数。这个个数称为张量的阶。这样,标量是0阶张量(不需要任何指标),而向量是一阶张量。

张量的另外一个例子是广义相对论中的黎曼曲率张量,它是维度为(3个空间维度 + 时间维度 = 4个维度)的4阶张量。它可以当作256个分量(256 = 4 × 4 × 4 × 4)的矩阵(或者向量,其实是个4维数组)。只有20个分量是互相独立的,这个事实可以大大简化它的实际表达。

[编辑] 方法细节
有几种想象和操作张量的等价方法;只有熟悉了这个课题,其内容是等价的这个事实才会变得明显。

经典方法
经典的方法把张量视为多维数组,它们是标量,1维向量和2维矩阵的n维推广。张量的"分量"是数组中的值。这个思想可以进一步推广到张量场,那里张量的元素是函数,甚至微分。
张量场理论在这个方法中大致可以视为雅可比矩阵的思想的推广。
现代方法
现代(无分量)方法把张量首先视为抽象对象,表达了多线性概念的某种确定类型。其著名的性质可以从其定义导出,作为线性映射或者更一般的情况;而操作张量的规则作为从线性代数到多重线性代数的推广出现。这个处理方法在高等的研究中大量的取代了基于分量的方法,其方式是更现代的无分量向量方法在基于分量的方法用于给出向量概念的基本引例之后就取代了传统的基于分量的方法。可以说,口号就是“张量是某个张量空间的元素”。
张量的中间处理条目试图为两个极端建立联系,并显示他们的关系。
最终,同样的计算内容被表达出来,两种方式都可以。技术性术语列表请参看张量理论词汇。

[编辑] 张量密度
张量场也可有一个“密度”。密度为 r 的张量和普通张量一样坐标变换,但是它还要乘以雅可比矩阵的行列式值的 rth 次幂。这个的最佳解释可能是使用向量丛:其中,切丛的行列式丛是一个线丛,可以用来'扭转'其它丛 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的行列式。

[编辑] 参看
张量理论词汇
[编辑] 记法常规
爱因斯坦记号
Voigt记号(福格特)
抽象指标记号
度量张量
[编辑] 基础
共变(协变)
反变(逆变)
1-形式
张量积
纤维丛
张量场
[编辑] 应用
张量导数
绝对微分
曲率
黎曼几何
张量理论在工程科学中的应用
张量理论在物理中的应用
[编辑] 外部链接
各种教授张量的方法的讨论,以及教科书的推荐
讨论基本和细节的定义以及例子的话题
张量微积分和连续力学简介
[编辑] 參考書籍
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
[编辑] 张量软件
GRTensorII 执行微分几何一般领域中的计算的计算机代数包。GRTensor II不是独立的软件包,该程序通过Maple 9.5和所有Maple V第3版的版本一起运行。一个受限版(GRTensorM)已经移植到Mathematica上。
MathTensor是写给Mathematica系统的张量分析系统。它提供了250个功能和对象,供基本和高级的用户使用。
maxima是一个GPL 计算机代数系统 自由软件,它可以用来做张量代数计算。
maxima中的张量
Ricci是用于Mathematica 2.x的一个系统,后来也用于基本的张量分析,可免费得到。
来自“http://zh.wikipedia.org/wiki/%E5%BC%B5%E9%87%8F”
3个分类: 张量 | 微分几何 | 基本物理概念查看条目 讨论 编辑本页 历史
不转换
简体
繁體
大陆简体 港澳繁體 马新简体 台灣正體 个人工具试用测试版 登录/创建账户 搜索
导航
首页
分類索引
特色内容
新闻动态
最近更改
随机条目
帮助
帮助
社区入口
方针与指引
互助客栈
询问处
字词转换
联系我们
关于维基百科
资助维基百科
工具
链入页面
链出更改
上传文件
特殊页面
打印页面
永久链接
引用此文
其他语言
1575;1604;1593;1585;1576;1610;1577;
Български
268;esky
Deutsch
English
1601;1575;1585;1587;1740;
Suomi
Français
Galego
1506;1489;1512;1497;1514;
Hrvatski
Magyar
Italiano
日本語
54620;44397;50612;
Nederlands
Polski
Português
Русский
Sloven269;ina
Sloven353;269;ina
Shqip
Српски / Srpski
Svenska
Укра1111;нська

本页面最后修订于2009年10月27日 (星期二) 13:10。 本站的全部文字在知识共享 署名-相同方式共享 3.0协议之条款下提供,附加条款亦可能应用。(请参阅使用条款)
Wikipedia®和维基百科标志是维基媒体基金会的注册商标;维基8482;是维基媒体基金会的商标。
维基媒体基金会是在美国佛罗里达州登记的501(c)(3)免税、非营利、慈善机构。
隐私政策 关于维基百科 免责声明