（二十七）张量表示定理 —— Cauchy 基本表示定理

1. 与证明相关的引理

引理 若向量组 { v ⃗ 1 , v ⃗ 2 , … , v ⃗ m } 、 { u ⃗ 1 , u ⃗ 2 , … , u ⃗ m } ( u ⃗ i , v ⃗ i ∈ R n ) \{\vec{v}_1,\vec{v}_2,\dots,\vec{v}_m\}、\{\vec{u}_1,\vec{u}_2,\dots,\vec{u}_m\}(\vec{u}_i,\vec{v}_i\in R^n) {v 1​,v 2​,…,v m​}、{u 1​,u 2​,…,u m​}(u i​,v i​∈Rn) 之间满足：
$${\vec{u}}_i\cdot {\vec{u}}_j={\vec{v}}_i\cdot {\vec{v}}_j(i,j=1,2,\dots ,m)$$
则有：

(1) 若 { v ⃗ 1 , v ⃗ 2 , … , v ⃗ m } \{\vec{v}_1,\vec{v}_2,\dots,\vec{v}_m\} {v 1​,v 2​,…,v m​} 的极大线性无关组为:
{ v ⃗ l 1 , v ⃗ l 2 , … , v ⃗ l k }  其中， l 1 , l 2 , … , l k ∈ { 1 , 2 , … , m } ; k = r a n k ( { v ⃗ i } ) \{\vec{v}_{l_1},\vec{v}_{l_2},\dots,\vec{v}_{l_k}\}\ 其中，l_1,l_2,\dots,l_k\in\{1,2,\dots,m\};k=rank(\{\vec{v}_i\}) {v l1​​,v l2​​,…,v lk​​} 其中，l1​,l2​,…,lk​∈{1,2,…,m};k=rank({v i​})
那么，对应的
{ u ⃗ l 1 , u ⃗ l 2 , … , u ⃗ l k } \{\vec{u}_{l_1},\vec{u}_{l_2},\dots,\vec{u}_{l_k}\} {u l1​​,u l2​​,…,u lk​​}
为 { u ⃗ 1 , u ⃗ 2 , … , u ⃗ m } \{\vec{u}_1,\vec{u}_2,\dots,\vec{u}_m\} {u 1​,u 2​,…,u m​} 的极大线性无关组。

(2) $$\exists \mathbf{Q}\in {\mathcal{O}}_3，s.t.{\vec{v}}_i={\vec{u}}_i\cdot \mathbf{Q}(i=1,2,\dots ,m)$$
证明如下：

(1) 先证明 { u ⃗ l 1 , u ⃗ l 2 , … , u ⃗ l k } \{\vec{u}_{l_1},\vec{u}_{l_2},\dots,\vec{u}_{l_k}\} {u l1​​,u l2​​,…,u lk​​} 线性无关，令
$$a_{l_1}{\vec{u}}_{l_1}+a_{l_2}{\vec{u}}_{l_2}+\cdots +a_{l_k}{\vec{u}}_{l_k}=0$$
那么有：
$$\{\begin{array}{l}(a_{l_1}{\vec{u}}_{l_1}+a_{l_2}{\vec{u}}_{l_2}+\cdots +a_{l_k}{\vec{u}}_{l_k})\cdot (a_{l_1}{\vec{u}}_{l_1})=(a_{l_1}{\vec{v}}_{l_1}+a_{l_2}{\vec{v}}_{l_2}+\cdots +a_{l_k}{\vec{v}}_{l_k})\cdot (a_{l_1}{\vec{v}}_{l_1})=0\\ \\ (a_{l_1}{\vec{u}}_{l_1}+a_{l_2}{\vec{u}}_{l_2}+\cdots +a_{l_k}{\vec{u}}_{l_k})\cdot (a_{l_2}{\vec{u}}_{l_2})=(a_{l_1}{\vec{v}}_{l_1}+a_{l_2}{\vec{v}}_{l_2}+\cdots +a_{l_k}{\vec{v}}_{l_k})\cdot (a_{l_2}{\vec{v}}_{l_2})=0\\ \\ \dots \\ \\ (a_{l_1}{\vec{u}}_{l_1}+a_{l_2}{\vec{u}}_{l_2}+\cdots +a_{l_k}{\vec{u}}_{l_k})\cdot (a_{l_k}{\vec{u}}_{l_k})=(a_{l_1}{\vec{v}}_{l_1}+a_{l_2}{\vec{v}}_{l_2}+\cdots +a_{l_k}{\vec{v}}_{l_k})\cdot (a_{l_k}{\vec{v}}_{l_k})=0\end{array}$$
相加得到：
$$(a_{l_1}{\vec{v}}_{l_1}+a_{l_2}{\vec{v}}_{l_2}+\cdots +a_{l_k}{\vec{v}}_{l_k})\cdot (a_{l_1}{\vec{v}}_{l_1}+a_{l_2}{\vec{v}}_{l_2}+\cdots +a_{l_k}{\vec{v}}_{l_k})=0$$
即，
$$a_{l_1}{\vec{v}}_{l_1}+a_{l_2}{\vec{v}}_{l_2}+\cdots +a_{l_k}{\vec{v}}_{l_k}=0$$
由于 { v ⃗ l 1 , v ⃗ l 2 , … , v ⃗ l k } \{\vec{v}_{l_1},\vec{v}_{l_2},\dots,\vec{v}_{l_k}\} {v l1​​,v l2​​,…,v lk​​} 线性无关，
$$a_{l_1},a_{l_2},\dots ,a_{l_k}=0$$
则， { u ⃗ l 1 , u ⃗ l 2 , … , u ⃗ l k } \{\vec{u}_{l_1},\vec{u}_{l_2},\dots,\vec{u}_{l_k}\} {u l1​​,u l2​​,…,u lk​​} 线性无关。

采用反证法证明，线性无关的极大性，从向量组 { u ⃗ 1 , u ⃗ 2 , … , u ⃗ m } \{\vec{u}_1,\vec{u}_2,\dots,\vec{u}_m\} {u 1​,u 2​,…,u m​} 中任选一个除 { u ⃗ l 1 , u ⃗ l 2 , … , u ⃗ l k } \{\vec{u}_{l_1},\vec{u}_{l_2},\dots,\vec{u}_{l_k}\} {u l1​​,u l2​​,…,u lk​​} 外的其它向量 ${\vec{u}}_s$，构成新的向量组，若该向量组线性无关，即，当且仅当
$$b_{l_1}=b_{l_2}=\cdots =b_{l_k}=c_s=0$$时，方有：
$$b_{l_1}{\vec{u}}_{l_1}+b_{l_2}{\vec{u}}_{l_2}+\cdots +b_{l_k}{\vec{u}}_{l_k}+c_s{\vec{u}}_s=0（\ast ）$$
采用上文同样的处理方式，可由（*）得到：
$$b_{l_1}{\vec{v}}_{l_1}+b_{l_2}{\vec{v}}_{l_2}+\cdots +b_{l_k}{\vec{v}}_{l_k}+c_s{\vec{v}}_s=0$$
当且仅当 $b_{l_1}=b_{l_2}=\cdots =b_{l_k}=c_s=0$ 时成立。这与 { v ⃗ 1 , v ⃗ 2 , … , v ⃗ m } \{\vec{v}_1,\vec{v}_2,\dots,\vec{v}_m\} {v 1​,v 2​,…,v m​} 的极大线性无关组为 { v ⃗ l 1 , v ⃗ l 2 , … , v ⃗ l k } \{\vec{v}_{l_1},\vec{v}_{l_2},\dots,\vec{v}_{l_k}\} {v l1​​,v l2​​,…,v lk​​} 相矛盾。从而说明了向量组 { u ⃗ l 1 , u ⃗ l 2 , … , u ⃗ l k } \{\vec{u}_{l_1},\vec{u}_{l_2},\dots,\vec{u}_{l_k}\} {u l1​​,u l2​​,…,u lk​​} 线性无关的极大性，同时还可知道 两向量组中的序号相同的向量由各自极大线性无关组进行线性组合得到时，所采用的组合系数相同。（证毕）

(2) 若两个向量组的极大线性无关组间可通过正交变换一 一对应：
v ⃗ l i = u ⃗ l i ⋅ Q ( l 1 , … , l i , … , l k ∈ { 1 , 2 , … , m } ; k = r ( { v ⃗ i } ) ) \vec{v}_{l_i}=\vec{u}_{l_i}\cdot\bold Q\quad(l_1,\dots,l_i,\dots,l_k\in\{1,2,\dots,m\};k=r(\{\vec{v}_i\})) v li​​=u li​​⋅Q(l1​,…,li​,…,lk​∈{1,2,…,m};k=r({v i​}))
则，向量组外的其它向量也可通过正交变换一 一对应，即
$${\vec{v}}_s=\sum _{i=1}^k{a}_{l_i}{\vec{v}}_{l_i}=\sum _{pi=1}^k{a}_{l_i}{\vec{u}}_{l_i}\cdot \mathbf{Q}={\vec{u}}_s\cdot \mathbf{Q}(s=1,2,\dots ,m)$$
说明要证明命题（2）只需要证明两个向量组的极大线性无关组可通过正交变换一 一 对应。

利用 Schmidt 正交化、归一化将极大线性无关组转换为标准正交基：
$$\{\begin{array}{l}{\vec{u}}_{l_1}^{\prime }={\vec{u}}_{l_1}\\ \\ {\vec{u}}_{l_2}^{\prime }={\vec{u}}_{l_2}-\frac{{\vec{u}}_{l_1}^{\prime }\cdot {\vec{u}}_{l_2}}{{\vec{u}}_{l_1}^{\prime }\cdot {\vec{u}}_{l_1}^{\prime }}{\vec{u}}_{l_1}^{\prime }\\ \\ {\vec{u}}_{l_3}^{\prime }={\vec{u}}_{l_3}-\frac{{\vec{u}}_{l_1}^{\prime }\cdot {\vec{u}}_{l_3}}{{\vec{u}}_{l_1}^{\prime }\cdot {\vec{u}}_{l_1}^{\prime }}{\vec{u}}_{l_1}^{\prime }-\frac{{\vec{u}}_{l_2}^{\prime }\cdot {\vec{u}}_{l_3}}{{\vec{u}}_{l_2}^{\prime }\cdot {\vec{u}}_{l_2}^{\prime }}{\vec{u}}_{l_2}^{\prime }\\ \\ {\vec{u}}_{l_4}^{\prime }={\vec{u}}_{l_4}-\frac{{\vec{u}}_{l_1}^{\prime }\cdot {\vec{u}}_{l_4}}{{\vec{u}}_{l_1}^{\prime }\cdot {\vec{u}}_{l_1}^{\prime }}{\vec{u}}_{l_1}^{\prime }-\frac{{\vec{u}}_{l_2}^{\prime }\cdot {\vec{u}}_{l_4}}{{\vec{u}}_{l_2}^{\prime }\cdot {\vec{u}}_{l_2}^{\prime }}{\vec{u}}_{l_2}^{\prime }-\frac{{\vec{u}}_{l_3}^{\prime }\cdot {\vec{u}}_{l_4}}{{\vec{u}}_{l_3}^{\prime }\cdot {\vec{u}}_{l_3}^{\prime }}{\vec{u}}_{l_3}^{\prime }\\ \\ \dots \end{array}⟹\{\begin{array}{l}{\vec{u}}_{l_1}^{\prime \prime }=\frac{{\vec{u}}_{l_1}^{\prime }}{|{\vec{u}}_{l_1}^{\prime }|}\\ \\ {\vec{u}}_{l_2}^{\prime \prime }=\frac{{\vec{u}}_{l_2}^{\prime }}{|{\vec{u}}_{l_2}^{\prime }|}\\ \\ {\vec{u}}_{l_3}^{\prime \prime }=\frac{{\vec{u}}_{l_3}^{\prime }}{|{\vec{u}}_{l_3}^{\prime }|}\\ \\ {\vec{u}}_{l_4}^{\prime \prime }=\frac{{\vec{u}}_{l_4}^{\prime }}{|{\vec{u}}_{l_4}^{\prime }|}\\ \\ \dots \end{array}$$
向量组 { v ⃗ l i } ( i = 1 , 2 , … , k ) \{\vec{v}_{l_i}\}(i=1,2,\dots,k) {v li​​}(i=1,2,…,k)可进行同样的运算。上述正交化过程可以写作：
$$\begin{gathered} {\vec{u}}_{l_i}^{\prime }={\mathbf{T}}_i^u\cdot {\vec{u}}_{l_i}(i=1,2,\dots ,k) \\ {\vec{v}}_{l_i}^{\prime }={\mathbf{T}}_i^v\cdot {\vec{v}}_{l_i}(i=1,2,\dots ,k) \end{gathered}$$
其中，
$$\begin{array}{rl}& \{\begin{array}{l}{\mathbf{T}}_1^u=\mathbf{G}\\ \\ {\mathbf{T}}_i^u=\mathbf{G}-\sum _{j=1}^{i-1}\frac{{\vec{u}}_{l_j}^{\prime }\otimes {\vec{u}}_{l_j}^{\prime }}{|{\vec{u}}_{l_j}^{\prime }|\cdot |{\vec{u}}_{l_j}^{\prime }|}=\mathbf{G}-\sum _{j=1}^{i-1}{\vec{u}}_{l_j}^{\prime \prime }\otimes {\vec{u}}_{l_j}^{\prime \prime }(i>1)\end{array}\\ & \\ & \{\begin{array}{l}{\mathbf{T}}_1^v=\mathbf{G}\\ \\ {\mathbf{T}}_i^v=\mathbf{G}-\sum _{j=1}^{i-1}\frac{{\vec{v}}_{l_j}^{\prime }\otimes {\vec{v}}_{l_j}^{\prime }}{|{\vec{v}}_{l_j}^{\prime }|\cdot |{\vec{v}}_{l_j}^{\prime }|}=\mathbf{G}-\sum _{j=1}^{i-1}{\vec{v}}_{l_j}^{\prime \prime }\otimes {\vec{v}}_{l_j}^{\prime \prime }(i>1)\end{array}\end{array}$$

构造二阶张量：
$$\mathbf{Q}=\sum _{i=1}^n{\vec{u}}_{l_i}^{\prime \prime }\otimes {\vec{v}}_{l_i}^{\prime \prime }$$
注： { u ⃗ l 1 ′ ′ , … , u ⃗ l k ′ ′ } 、 { v ⃗ l 1 ′ ′ , … , v ⃗ l k ′ ′ } \{\vec{u}''_{l_1},\dots,\vec{u}''_{l_k}\}、\{\vec{v}''_{l_1},\dots,\vec{v}''_{l_k}\} {u l1​′′​,…,u lk​′′​}、{v l1​′′​,…,v lk​′′​}由正交化、归一化得到，而 { u ⃗ l k + 1 ′ ′ , … , u ⃗ l m ′ ′ } 、 { v ⃗ l k + 1 ′ ′ , … , v ⃗ l n ′ ′ } \{\vec{u}''_{l_k+1},\dots,\vec{u}''_{l_m}\}、\{\vec{v}''_{l_k+1},\dots,\vec{v}''_{l_n}\} {u lk​+1′′​,…,u lm​′′​}、{v lk​+1′′​,…,v ln​′′​}则是扩充至 ${\mathbb{R}}^n$ 所采用的额外的标准正交基（那么这样构造出来的 $\mathbf{Q}$ 显然不是唯一的）。由于
$$\mathbf{Q}\cdot {\mathbf{Q}}^T=\sum _{i=1}^n({\vec{u}}_{l_i}^{\prime \prime }\otimes {\vec{v}}_{l_i}^{\prime \prime })\cdot \sum _{j=1}^n({\vec{v}}_{l_j}^{\prime \prime }\otimes {\vec{u}}_{l_j}^{\prime \prime })=\sum _{i=1}^n{\vec{u}}_{l_i}^{\prime \prime }\otimes {\vec{u}}_{l_i}^{\prime \prime }=\mathbf{G}$$
故 $\mathbf{Q}$ 为正交仿射量，且有：
$$\begin{gathered} {\vec{u}}_{l_i}^{\prime \prime }=\mathbf{Q}\cdot {\vec{v}}_{l_i}^{\prime \prime }(i=1,2,\dots ,k) \\ \mathbf{Q}\cdot {\mathbf{T}}_i^v\cdot {\mathbf{Q}}^T={\mathbf{T}}_i^u(i=1,2,\dots ,k) \end{gathered}$$
那么，
$$\frac{1}{|{\vec{u}}_{l_i}^{\prime }|}{\mathbf{T}}_i^u\cdot {\vec{u}}_{l_i}=\mathbf{Q}\cdot \frac{1}{|{\vec{v}}_{l_i}^{\prime }|}{\mathbf{T}}_i^v\cdot {\vec{v}}_{l_i}=\frac{1}{|{\vec{v}}_{l_i}^{\prime }|}(\mathbf{Q}\cdot {\mathbf{T}}_i^v\cdot {\mathbf{Q}}^T)\cdot (\mathbf{Q}\cdot {\vec{v}}_{l_i})=\frac{1}{|{\vec{v}}_{l_i}^{\prime }|}\cdot {\mathbf{T}}_i^u\cdot (\mathbf{Q}\cdot {\vec{v}}_{l_i})(i=1,2,\dots ,k)(\ast \ast )$$
由于两向量组间满足：
$${\vec{u}}_i\cdot {\vec{u}}_j={\vec{v}}_i\cdot {\vec{v}}_j(i,j=1,2,\dots ,m)$$
并根据Schmidt 正交化的表达式与归纳假设的方法可以证明得到：
$$|{\vec{u}}_{l_i}^{\prime }|=|{\vec{v}}_{l_i}^{\prime }|(i=1,2,\dots ,k)$$
那么由$(\ast \ast )$式可得：
$${\mathbf{T}}_i^u\cdot ({\vec{u}}_{l_i}-\mathbf{Q}\cdot {\vec{v}}_{l_i})=0(i=1,2,\dots ,k)$$
上式中，只有 $\mathbf{Q}$ 是可变的，另外注意到
$$det({\mathbf{T}}_i^u)=det({\mathbf{T}}_i^v)=0(i=2,3,\dots ,k)$$
表明并不是所有构造出的正交张量均可以使得
$${\vec{u}}_{l_i}=\mathbf{Q}\cdot {\vec{v}}_{l_i}(i=1,2,\dots ,k)$$
但是，由于上述齐次线性方程组必定存在零解，即在我们所构造出的正交张量的集合中必定至少存在一个 $\hat{\mathbf{Q}}$ 使得
$${\vec{u}}_{l_i}=\hat{\mathbf{Q}}\cdot {\vec{v}}_{l_i}(i=1,2,\dots ,k)$$
成立。特别的，若问题所考虑的两个向量组是 $R^n$ 中满秩的，那么此时所能构造出的 $\mathbf{Q}$ 是唯一的，并且它必须满足命题的条件。（证毕）

2. Cauchy 基本表示定理

Cauchy 基本表示定理 以 $m$ 个向量 ${\vec{v}}_i（i=1,2,3,\dots ,m）$为变元的标量值函数
$$\phi =\phi ({\vec{v}}_1,{\vec{v}}_2,\dots ,{\vec{v}}_m)$$
是各向同性的充要条件是 $\phi$ 可表示为这些向量内积的函数：
$$\phi ={\phi }^{\ast }({\vec{v}}_i\cdot {\vec{v}}_j)（i,j=1,2,\dots ,m）$$

证明：（充分性）若以向量为自变量的函数 $\phi$ 可表示为向量内积的函数，即：
$$\phi =\phi ({\vec{v}}_1,{\vec{v}}_2,\dots ,{\vec{v}}_m)={\phi }^{\ast }({\vec{v}}_i\cdot {\vec{v}}_j)（i,j=1,2,\dots ,m）$$
由于
$$(\mathbf{Q}\cdot {\vec{v}}_i)\cdot (\mathbf{Q}\cdot {\vec{v}}_j)={\vec{v}}_i\cdot ({\mathbf{Q}}^T\cdot \mathbf{Q})\cdot {\vec{v}}_j={\vec{v}}_i\cdot {\vec{v}}_j（i,j=1,2,\dots ,m）$$
故 $\phi$ 为各向同性张量函数。

（必要性）若张量函数 $\phi$ 是各向同性的，任意选取另外一组向量 ${\vec{u}}_1,{\vec{u}}_2,\dots ,{\vec{u}}_m$ ，且满足：
$${\vec{u}}_i\cdot {\vec{u}}_j={\vec{v}}_i\cdot {\vec{v}}_j(i,j=1,2,\dots ,m)$$
若均有：
$$\phi ({\vec{v}}_1,{\vec{v}}_2,\dots ,{\vec{v}}_m)=\phi ({\vec{u}}_1,{\vec{u}}_2,\dots ,{\vec{u}}_m)$$
则说明该各向同性张量函数只与向量的内积相关，故可以表示为向量内积的函数：
$$\phi ={\phi }^{\ast }({\vec{v}}_i\cdot {\vec{v}}_j)（i,j=1,2,\dots ,m）$$
根据前述的引理：
$$\exists \mathbf{Q}\in {\mathcal{O}}_3，s.t.{\vec{v}}_i={\vec{u}}_i\cdot \mathbf{Q}(i=1,2,\dots ,m)$$
则
$$\phi ({\vec{v}}_1,{\vec{v}}_2,\dots ,{\vec{v}}_m)=\phi ({\vec{u}}_1\cdot \mathbf{Q},{\vec{u}}_2\cdot \mathbf{Q},\dots ,{\vec{u}}_m\cdot \mathbf{Q})=\phi ({\vec{u}}_1,{\vec{u}}_2,\dots ,{\vec{u}}_m)$$
上式第二个等号根据张量函数的各向同性得到。（证毕）