张量(Tensor),一个物理和力学中常用的对象。
何为张量?张量就是多重线性函数。
我们对r阶张量最朴素的看法就是,0阶张量是一个标量,1阶张量是一个向量,2阶张量是一个方阵。但是这里面的缘由是什么?我们在说“2阶张量是方阵”的时候,我们在说什么?
零、简单来说...
从现在开始,我们讨论的一切内容都发生在向量空间和它的衍生物之中。我们知道,这里所说的向量是广义的,可以是函数,欧式坐标,也可以是量子态,电磁场,还可以是随时随地发生在连续体中的应变,以及作用在它们之上的应力——一切“性质足够好”的东西都会囊括在这个体系中。这个性质有多好呢?好到都是线性的。所以我们接下来研究的内容,是一大类对象的普遍性质——只要是“线性”的对象,都会被抽象地概括进来,而不必考虑它们的具体形式。
回到开头的问题。
要解答它们,就要谈谈多重线性函数。
要说多重线性函数,就要先从线性函数说起。
线性函数是什么?
这里所说的一个函数,就是一个吃掉一个向量,产生一个数的机器。并且,如果这个机器的吃法是“线性的”,那这个机器就会被叫做线性函数。稍微数学一点的说法就是,线性函数是一个映射,将一个向量线性地映射到一个数。
这就是线性函数。很快我们就会意识到,虽然这是一个函数,但是它的地位事实上和自变量,也就是某个向量,是平等的。在这个意义上,我们回头考虑开头“一阶张量是一个向量”的论断。这个论断在一定程度上不假,因为在线性代数中,我们定义过一个概念,叫做内积。它的作用就是将两个向量搞在一起,产生一个数。如果我们认为向量和在对偶空间中的线性函数是平等的,那么求函数值的过程就如同求内积的过程一样:向量+对偶的向量=一个数。
更严格地说,逻辑上,这种平权性会引入对偶的概念,随之自然地产生内积。这种发生在向量和同它对偶的线性函数之间的内积运算的方式以及结果,和将这个函数直接作用在向量上没有什么区别,事实上是同一回事,二者互为表里。这一点我们以后会详细指出。
提出了线性函数的基本想法,我们要开始考虑多重线性函数。
非常类似地,多重线性函数,就是吃掉r个向量,变成一个数。更数学的说法是,一个r重线性函数,或者说r阶张量,本质上是一个映射,将r个向量线性地映射到一个数。
这就是多重线性函数。现在回过头来考虑文章开头提到的2阶张量,即2重线性函数,它将两个向量变成一个数。在这个意义上,我们需要回忆一下同济小紫书(《线性代数》,高等教育出版社,紫色封面)中关于二次型的内容。二次型是什么?如果不理会二次型中两个向量必须相同这一要求,二次型的行为和2重线性函数值几乎是相同的——对于二次型而言:现在,我有一个方阵,将两个向量与我相乘,会得到一个数。对于2重线性函数而言:现在我有一个二阶张量,如果你给我两个向量,我会得到一个数。这二者之间的关系也同线性函数作用在向量上和内积之间的关系一样,都是十分类似的。事实上,我们也很快会看到,这二者也是互为表里的。
下面,我们开始讨论严谨的数学。
一、对偶空间里的线性函数
现在,设有一个
采用求和约定,得
这里
下面给出线性函数的定义。
定义(线性函数)
例1.1 现有一向量空间
则这个函数是一个线性函数。
证明 要证原题,只要证