一般相対性理論を一歩一歩数式で理解する（第３章　テンソルと直線座標のテンソル場）§ 7～12

-

   石井俊全「一般相対性理論を一歩一歩数式で理解する」ベレ出版　の読後行間補充メモ

（→　正誤表）
（→　事項索引）
 


§７　物理流のテンソルの定義 


p252　テンソル（物理流）
基底を明示しないが、座標系\(K\) には何らかの基底が存在しており、ベクトル \(\vec{x}\) について、成分\[x^i=\left(\begin{array}{c}x^1\\x^2\end{array}\right)\]による表現が可能である。
同様に、座標系\(K'\) にも何らかの基底が存在しており、同じベクトル \(\vec{x}\) について、成分\[x'^i=\left(\begin{array}{c}x'^1\\x'^2\end{array}\right)\]による表現が可能である。
両者間の関係を、縮約記法で、\[x'^i=b^i_{~j}x^j\]と表している。
これは、展開すると、\begin{eqnarray}\left(\begin{array}{c}x'^1\\x'^2\end{array}\right)&=&\left(\begin{array}{c}b^1_{~j}x^j\\b^2_{~j}x^j\end{array}\right)\nonumber\\&=&\left(\begin{array}{c}b^1_{~1}x^1+b^1_{~2}x^2\\b^2_{~1}x^1+b^2_{~2}x^2\end{array}\right)\nonumber\end{eqnarray}との内容を現している。

p253　\(b^i_{~j}a^j_{~k}=\delta^i_{~k}\)
\[A=\left(\begin{array}{c}a^1_{~1}&&a^1_{~2}\\a^2_{~1}&&a^2_{~2}\end{array}\right)\]
\[B=\left(\begin{array}{c}b^1_{~1}&&b^1_{~2}\\b^2_{~1}&&b^2_{~2}\end{array}\right)\]
について、行列\(A\) と行列\(B\) とが逆行列であることを示している（p121）。
p253　下付き添え字の場合　\(x_i\)
基底は明示されていないが、相対基底は存在しており、相対基底の成分\[x_i=\left(\begin{array}{c}x_1\\x_2\end{array}\right)\]による表現が可能である。
この相対基底の別座標系表示（ダッシュ付き）を考えると、元の座標系と別座標系間の成分の関係は、縮約記法で、\[x'_k=a^p_{~k}x_p\]となる。
通常の基底の場合\[x'^i=b^i_{~m}x^m\]とあわせて表現すると、\[x'^i_k=b^i_{~m}~a^p_{~k}~x^m_p\]と表される。

p253　数の組 \(S^{m~\cdots~n}_{~~~p~\cdots~q}\)
\[S^{\overbrace{m~\cdots~n}^{r個}}_{~~~~~\underbrace{p~\cdots~q}_{s個}}\]は、（\(r+s\)）次元の多次元配列。
例えば、２次元配列として、\[S^m_{~~p}=\left(\begin{array}{c}x^1_{~1}&&x^1_{~2}\\x^2_{~1}&&x^2_{~2}\end{array}\right)\]を考えると、\[S'~^i_{~k}=b^i_{~m}~a^p_{~k}~S^m_{~~p}\]は、縮約表記であり、行列形式で表現すると、\[\left(\begin{array}{c}S'~^1_{~1}&&S'~^1_{~2}\\S'~^2_{~1}&&S'~^2_{~2}\end{array}\right)=\left(\begin{array}{c}b^1_{~m}~a^p_{~1}~S^m_{~p}&&b^1_{~m}~a^p_{~2}~S^m_{~p}\\b^2_{~m}~a^p_{~1}~S^m_{~p}&&b^2_{~m}~a^p_{~2}~S^m_{~p}\end{array}\right)\]を示しており、例えば、１行２列目の要素についてみると、\begin{eqnarray}S'~^1_{~2}&=&b^1_{~m}~a^p_{~2}~S^m_{~p}\nonumber\\&=&b^1_{~1}~a^1_{~2}~S^1_{~1}+b^1_{~1}~a^2_{~2}~S^1_{~2}+b^1_{~2}~a^1_{~2}~S^2_{~1}+b^1_{~2}~a^2_{~2}~S^2_{~2}\nonumber\end{eqnarray}を示している。

p255　末尾９行目 \(\delta^v_{~m}\cdots T^{mn}_{~~vp}=\cdots T^{mn}_{~~mp}\)
\(v=1\) のときは、\begin{eqnarray}\delta^1_{~m}T^{mn}_{~~1p}&=&\delta^1_{~1}T^{1n}_{~~1p}+\delta^1_{~2}T^{2n}_{~~1p}\nonumber\\&=&1T^{1n}_{~~1p}+0T^{2n}_{~~1p}\nonumber\\&=&T^{1n}_{~~1p}\nonumber\end{eqnarray}他方で、\(v=2\) のときは、\begin{eqnarray}\delta^2_{~m}T^{mn}_{~~2p}&=&\delta^2_{~1}T^{1n}_{~~2p}+\delta^2_{~2}T^{2n}_{~~2p}\nonumber\\&=&0T^{1n}_{~~2p}+1T^{2n}_{~~2p}\nonumber\\&=&T^{2n}_{~~2p}\nonumber\end{eqnarray}よって、両場合をまとめると、\[\delta^v_{~m}T^{mn}_{~~vp}=T^{mn}_{~~mp}\]となることを式変形に用いている。


§８　テンソルの添え字の上げ下げ 


p258　６行目　\(x^k_{~l}=\delta^k_{~l}\)
題意の\(T\) は、その基底 \(\vec{e_k}\otimes \vec{f^l}\) のうち、\(k=l\) となる基底（\(\vec{e_1}\otimes \vec{f^1},~\vec{e_2}\otimes \vec{f^2} \) ）の係数が１で、その他の基底（\(\vec{e_1}\otimes \vec{f^2},~\vec{e_2}\otimes \vec{f^1} \) ）の係数は０であるため、その成分 \(x^k_{~l}\) は、 \begin{eqnarray}x^k_{~l}&=&\left(\begin{array}{c}1&&0\\0&&1\end{array}\right)\nonumber\\&=&\delta^k_{~l}\nonumber\end{eqnarray} と表すことができる。

p259　問題３．３６　赤色の \(\square\)
題意は、両基底のテンソル積を求め、そのうえで、赤色の \(\square\) について縮約を採れ、との趣旨である。

p259　赤字注　「最後の \(e\) を一番前に置くと」
成分添え字に対応する基底であることが基底添え字の表記から分かれば、基底の表記順序は固定されず、どこに置いても良いという表記ルール（p214）に従った。

p261　元 \(S,~g\) の縮合
先ず、元 \(S,~g\) のテンソル積を求めると（ベクトルの上矢印を省略）、\begin{eqnarray}S\otimes g&=&3\cdot 3e_1\otimes e_2\otimes f^2\otimes f^1\otimes f^1-3\cdot 5 e_1\otimes e_2\otimes f^2\otimes f^1\otimes f^2\cdots \nonumber\\&& \cdots -4\cdot(-1)e_2\otimes e_2\otimes f^1\otimes f^2\otimes f^1-4\cdot 2e_2\otimes e_2\otimes f^1\otimes f^2\otimes f^2\nonumber\end{eqnarray}この縮約（各項の最初の \(e\) の添え字と末尾２つめの\(f\) の添え字について）を採ると、（１）\(\cdots\) 部分（最初の \(e\) の添え字と末尾２つめの\(f\) の添え字が一致しない項）は消え、（２）残った項の最初の \(e\) と末尾２つめの\(f\) も消えるので、\begin{eqnarray}U&=&3\cdot 3 e_2\otimes f^2\otimes f^1-3\cdot 5 e_2\otimes f^2\otimes f^2 \nonumber\\&& -4\cdot(-1) e_2\otimes f^1\otimes f^1-4\cdot 2 e_2\otimes f^1\otimes f^2\nonumber\\&=&9 e_2\otimes f^2\otimes f^1-15 e_2\otimes f^2\otimes f^2 +4 e_2\otimes f^1\otimes f^1-8 e_2\otimes f^1\otimes f^2\nonumber\end{eqnarray}となる。
ここで、問題文の指示に従い、元\(g\) にあった基底\(f\) で縮合後もなお残っているもの（＝各項右端の\(f\)）を、元\(S\) に初めあった \(e\) の箇所（＝各項左端）に置きなおすと（基底順序を拘束しない表記ルール=p214 のため場所変更可）、\begin{eqnarray}U&=&9 f^1\otimes e_2\otimes f^2-15 f^2\otimes e_2\otimes f^2 +4 f^1\otimes e_2\otimes f^1-8 f^2\otimes e_2\otimes f^1\nonumber\end{eqnarray}が得られる。

p261　単位テンソル\(\vec{I}\)
\(\vec{S}\) と \(\vec{g}\) との縮合 \(\vec{U}\) を作る。
この \(\vec{U}\)  と \(\vec{h}~(=\vec{g^{-1}})\) との縮合は、\(\vec{S}\) に等しい。

\(\vec{g}\) と \(\vec{h}~(=\vec{g^{-1}})\) との縮合\(\vec{I}\) を作る。
この単位テンソル \(\vec{I}\)  と \(\vec{S}\) との縮合は、\(\vec{S}\) に等しい。

p262　\(g^{np}g_{pj}=\delta^n_{~j}\)
（\(n,~p\)）成分が\(g^{np}\) である行列\[\left(\begin{array}{c}a^{11}&&a^{12}\\a^{21}&&a^{22}\end{array}\right)\]と（\(p,~j\)）成分が\(g_{pj}\) である行列\[\left(\begin{array}{c}b_{11}&&b_{12}\\b_{21}&&b_{22}\end{array}\right)\]の積は、\begin{eqnarray}\left(\begin{array}{c}a^{11}&&a^{12}\\a^{21}&&a^{22}\end{array}\right)\left(\begin{array}{c}b_{11}&&b_{12}\\b_{21}&&b_{22}\end{array}\right)&=&\left(\begin{array}{c}a^{11}b_{11}+a^{12}b_{21}&&a^{11}b_{12}+a^{12}b_{22}\\a^{21}b_{11}+a^{22}b_{21}&&a^{21}b_{12}+a^{22}b_{22}\end{array}\right)\nonumber\\&=&\left(\begin{array}{c}a^{n1}b_{11}+a^{n2}b_{21}&&a^{n1}b_{12}+a^{n2}b_{22}\end{array}\right)\nonumber\\&=&a^{n1}b_{1j}+a^{n2}b_{2j}\nonumber\\&=&a^{np}b_{pj}\nonumber\end{eqnarray}と縮約表記できる（\(n,~j\) は止まった添え字［分割］、\(p\) は走る添え字［和］）。
上記２つの行列が互いに逆行列であるとき、その積は、\begin{eqnarray}\left(\begin{array}{c}1&&0\\0&&1\end{array}\right)&=&\delta^i_{~k}\nonumber\\&=&\delta^n_{~j}\nonumber\end{eqnarray}と縮約表記できる（\(i,~k\) は止まった添え字［分割］であり、任意の添え字に変更できる）。
従って、\[g^{np}g_{pj}=\delta^n_{~j}\]が成立する。

p262　\(\delta^n_{~j}A^{kj}_{~m}=A^{kn}_{~m}\)
\(A\) の走る添え字 \(j\) を\(\delta\) の止まった添え字 \(n\) に入れ替えた（p121）。

p262　対象テンソル　\(g_{ij}=g_{ji}\)
\(i\) 行 \(j\) 列目の要素が、\(j\) 行 \(i\) 列目の要素に等しいテンソル。
例えば、\[g_{ij}=\left(\begin{array}{c}a&&b&&c\\b&&d&&e\\c&&e&&f\end{array}\right)\]\[g_{ji}=\left(\begin{array}{c}a&&b&&c\\b&&d&&e\\c&&e&&f\end{array}\right)\]
の場合、\(g_{ij}\) の右添え字 \(j\) 列（例：３列目＝\(c,e,f\)）との縮合をとることは、左添え字 \(i\) 行（例：３行目＝\(c,e,f\)）との縮合をとることと同じ結果となる。

p263　転置行列　\(^tA\)
例えば、\[B=\left(\begin{array}{c}1&&2&&3\\4&&5&&6\\7&&8&&9\end{array}\right)\]の転置行列は、\[^tB=\left(\begin{array}{c}1&&4&&7\\2&&5&&8\\3&&6&&9\end{array}\right)\]この場合の行列と転置行列とは等しくない。\[B\neq~^tB\]
\(i\) 行 \(j\) 列目の要素が、\(j\) 行 \(i\) 列目の要素に等しい行列の場合は、その転置行列と等しい。
例えば、\[A=\left(\begin{array}{c}1&&2&&3\\2&&4&&5\\3&&5&&6\end{array}\right)\]
の転置行列\[^tA=\left(\begin{array}{c}1&&2&&3\\2&&4&&5\\3&&5&&6\end{array}\right)\]
は、元の行列と等しい（対称行列）。\[A=~^tA\]

p263　逆行列 \(A^{-1}\)
例えば、対称行列\[A=\left(\begin{array}{c}1&&2\\2&&3\end{array}\right)\]の逆行列は、\begin{eqnarray}A^{-1}&=&\frac{1}{1\cdot 3-2\cdot 2}\left(\begin{array}{c}3&&-2\\-2&&1\end{array}\right)\nonumber\\&=&\left(\begin{array}{c}-3&&2\\2&&-1\end{array}\right)\nonumber\end{eqnarray}である。
この\(i\) 行 \(j\) 列目の要素は、\(j\) 行 \(i\) 列目の要素に等しい（対称行列）。
\[A^{-1}=~^t\left(A^{-1}\right)\]

p263　３行目　\(^t\left(AA^{-1}\right)=~^t\left(A^{-1}\right)~^tA\)
公式（積の転置は、順番を交換した転置の積）\[^t(AB)=~^tB~~^tA\]を用いた。
（参考：転置行列の基本的な４つの性質と証明［高校数学の美しい物語］）

p263　\(V\) の次元が \(n\) 次元
\(V\) の次元が \(n\) 次元のとき
  • \(V^*\) の次元は \(n\) 次元
  • \(T^2_{~1}(V)=V\otimes V \otimes V^*\) の基底は \(n^3\) 個
  • \(T^2_{~1}(V)\) の元\(A\) の成分 \(A^{kj}_{~m}\) は \(n^3\) 次元配列

p263　縮合と情報量保存
縮合は、テンソル積を特定の添え字で縮約する演算なので、当然に情報量が保存されているわけではない。\(g\) と \(g^{-1}\) が逆行列であるため、結果的に、\(A^{kj}_{~m}\) に戻るに過ぎない。

p264　テンソル\(A\) の表し方
図表のどれを用いてもかまわない（\(\because\) \(g,~g^{-1}\) で変換できるため）

p265　７～８行目　\(g^{ki}g_{ij}=\delta^k_{^j}\)
\(g^{ki},~g_{ij}\) は逆行列であるため。

p265　９行目　\(\delta^k_{j}g^{lj}=g^{lk}\)
\(g\) の走る添え字 \(j\) を\(\delta\) の止まった添え字 \(k\) に入れ替えた（p121）。

§９　テンソル場のことはじめ 


p267　位置\(\vec{x}\) での 応力テンソル \(\tau_x\)
３行３列の行列たる応力テンソル\(\tau\) （p137）は、以下のとおり。\begin{eqnarray}\tau&=&\left(\begin{array}{c}\vec{\tau_x}\\ \vec{\tau_y} \\ \vec{\tau_z}\end{array}\right)\nonumber\\&=&\left(\begin{array}{c}\tau_{xx}&&\tau_{xy}&&\tau_{xz}\\\tau_{yx}&&\tau_{yy}&&\tau_{yz}\\\tau_{zx}&&\tau_{zy}&&\tau_{zz}\end{array}\right)\nonumber\end{eqnarray}
テンソル場は、テンソルの成分が座標 \(\vec{x}\) の関数となっている。
\[\tau_x=\left(\begin{array}{c}\tau_{xx}(\vec{x})&&\tau_{xy}(\vec{x})&&\tau_{xz}(\vec{x})\\\tau_{yx}(\vec{x})&&\tau_{yy}(\vec{x})&&\tau_{yz}(\vec{x})\\\tau_{zx}(\vec{x})&&\tau_{zy}(\vec{x})&&\tau_{zz}(\vec{x})\end{array}\right)\]

p267　\(\tau_x\vec{n_x}\) は、(1, 1) テンソルと (1, 0) テンソルの縮合
応力テンソル \(\tau_x\) は、行と列の２つの次元を有する。これを\(\vec{e}, \vec{f}\) の２つの基底に対応させると、(1, 1) テンソルとみなせる。
\(\vec{n_x}\) は、三次元ベクトルであり、\(\vec{e_i}\) という１つの基底で表わす（\(i=1,~2,~3\)）ことにすると、(1, 0) テンソルとみなせる。

p271　\(f=x^1+2x^2\)
\(x^1\) 軸（赤色）、\(x^2\) 軸（緑色）、\(f(x^1,~x^2)\) 軸（青色）とした場合のグラフは、以下のとおり。

p271　\(f=3x^1-2x^2\)
\(x^1\) 軸、\(x^2\) 軸、\(f(x^1,~x^2)\) 軸上のグラフは、以下のとおり。


小問（１）ダッシュ付き成分表示への変換則は、行列で与えられているので、\begin{eqnarray}\left(\begin{array}{c}x'^1\\x'^2\end{array}\right)&=&\left(\begin{array}{c}3&&-1\\5&&2\end{array}\right) \left(\begin{array}{c}x^1\\x^2\end{array}\right)\nonumber\\&=&\left(\begin{array}{c}3x^1-x^2\\-5x^1+2x^2\end{array}\right)\nonumber\end{eqnarray}これに、\[\left(\begin{array}{c}x^1\\x^2\end{array}\right)=\left(\begin{array}{c}1\\1\end{array}\right)\]を代入して、\begin{eqnarray}\left(\begin{array}{c}x'^1\\x'^2\end{array}\right)&=&\left(\begin{array}{c}3-1\\-5+2\end{array}\right)\nonumber\\&=&\left(\begin{array}{c}2\\-3\end{array}\right)\nonumber\end{eqnarray}

p272　スカラー場は、（0, 0）テンソル場
線形空間\(V\) での座標変換後も、スカラー場は同一点であれば同じ値となる。テンソル場\(T^0_{~0}(V)\) は、基底のない成分のみの多次元配列であり、これをスカラーとみなす（p225参照）。テンソル場\(T^0_{~0}(V)\) の元\(T\) の成分の書換則は、
\[T'(x')=T(x)\]と表記できる。
これは、定義３．３８によれば、\(a^i_{~j}\) が０個（\(s=0\)）、\(b^i_{~j}\) が０個（\(r=0\)）の、（0, 0）テンソル場と言える。

p273　\((x^1)^2, ~(x^2)^2\)
括弧の外の２は、２乗の趣旨か。

p274　ベクトル場は、（1, 0）テンソル場
線形空間\(V\) での座標変換により、テンソル場\(T^r_{~s}\)の元\(T\) の成分の書換則は、
\[T'^i(x')=b^i_{~j}T^j(x)\]と表記できる。
これは、定義３．３８によれば、\(a^i_{~j}\) が0個（\(s=0\)）、\(b^i_{~j}\) が1個（\(r=1\)）の、（1, 0）テンソル場と言える。

p274　表現行列 \(P'=A^{-1}PA\)
図左下から左上への基底変換 \(\vec{e}\longrightarrow \vec{e'}\) の取替行列を\(A\) とすると、
  • 図左下から左上への成分変換 \(\vec{x^i}\longrightarrow \vec{x'^i}\) の取替行列は\(A^{-1}\) 
  • 図左上から左下への成分変換 \(\vec{x'^i}\longrightarrow \vec{x^i}\) の取替行列は\(A\) 
  • 図右下から右上への成分変換 \(\vec{x^i}\longrightarrow \vec{x'^i}\) の取替行列は\(A^{-1}\)
である。
図左上から出発して、右上へ遷移する成分変換ルートは２つあり、
  • \(P'\) ルート　…　図左上→右上
  • \(A\rightarrow P\rightarrow A^{-1}\) ルート　…　図左上→左下→右下→右上
の２つである。
両者について、\[P'=A^{-1}PA\] が成立している。
同取替行列はいずれも左側方向から成分 \(x'^i\) に掛ける。右辺の場合、\(A,~P,~A^{-1}\) の順に掛ける。

p275　各点を１次変換する行列 \(T\) は、（1, 1）テンソル場
座標の１次変換の表現行列 \(T\) とダッシュ付き座標での１次変換の行列 \(T'\) との書換則は、
\[T'^k_{~l}(x')=b^k_{~i}~a^j_{~l}T^i_{~j}(x)\]と表記できる。
これは、定義３．３８によれば、\(a^i_{~j}\) が1個（\(s=1\)）、\(b^i_{~j}\) が1個（\(r=1\)）の、（1, 1）テンソル場と言える。

§１０　スカラー場の微分 


p276　２次元以上になると近づき方は無数
例えば、２次元（面）の場合、面上のある点に近づく方法は、当該点をとおる曲線や直線ごとに２つあり、そのような曲線等は無数に想定できる。

p276　スカラー場
例えば、\[f(x_1,~x_2)=\sqrt{x_1}+\frac{(x_2)^2}{5}-2\]のスカラー場の場合、立体グラフは、\(x_1\) を赤色軸、\(x_2\) を緑色軸、\(f(x_1,~x_2)\) を青色軸として、以下のように描画できる。


各座標にスカラー値が貼りついているイメージでは、以下のようになる。

曲線 \(C\) 上の各点にある値がスカラー場の値である。
パラメータ \(t\) により、曲線 \(C\) 上の座標 (\(c_1,~c_2\)) が定められ、同座標にあるスカラー値 \(f(c_1,~c_2)\) が一意に定まる。

p277　曲線 \(C\) に沿ったスカラー場 \(f\) の微分係数
パラメータ \(t\) を微小変化させたときのスカラー量 \(f\) の変化量のこと。
\begin{eqnarray}\frac{df}{dt}&=&\frac{\partial f}{\partial x_1}\frac{\partial x_1}{\partial t}+\frac{\partial f}{\partial x_2}\frac{\partial x_2}{\partial t}\nonumber\\&=&\frac{\partial f(c_1,~c_2)}{\partial x_1}\frac{\partial c_1}{\partial t}+\frac{\partial f(c_1,~c_2)}{\partial x_2}\frac{\partial c_2}{\partial t}\nonumber\\&=&\frac{\partial f(c_1(t),~c_2(t))}{\partial x_1}\frac{\partial c_1(t)}{\partial t}+\frac{\partial f(c_1(t),~c_2(t))}{\partial x_2}\frac{\partial c_2(t)}{\partial t}\nonumber\end{eqnarray}１行目で、２変数関数の合成関数の微分の公式（定理１．０７。p29）を用いた。
２行目で、\(f\) が (\(c_1,~c_2\)) の２変数関数であることを明示。\(x_i=c_i\) につき　\(x_i\) を \(c_i\) へ置き換え 。
３行目で、\(c_i\) が パラメータ \(t\) の関数であることを明示。

p277　曲線 \(C\) と曲線 \(D\)
曲線 \(C\) のパラメータ \(t=a\) における点 \(A\) の座標は、\[\left(\begin{array}{c}c_1(a)\\c_2(a)\end{array}\right)\]である。
また、曲線 \(D\) のパラメータ \(e=b\) における点 \(A\) の座標は、\[\left(\begin{array}{c}e_1(b)\\e_2(b)\end{array}\right)\]である。
両曲線がともに点 \(A\) を通る場合、 点 \(A\) の座標は一致するので、\[\left(\begin{array}{c}c_1(a)\\c_2(a)\end{array}\right)=\left(\begin{array}{c}e_1(b)\\e_2(b)\end{array}\right)\]が成立する。

また、点 \(A\) における曲線 \(C\) の接線ベクトルは、点 \(A\) での微分係数として、\[\left(\begin{array}{c}\frac{dc_1(a)}{dt}\\\frac{dc_2(a)}{dt}\end{array}\right)\]となる（ベクトル場 \(f\) の傾きではなく、曲線 \(C\) の傾き）。
また、曲線 \(D\) の接線ベクトルは、点 \(A\) での微分係数として、\[\left(\begin{array}{c}\frac{de_1(b)}{ds}\\\frac{de_2(b)}{ds}\end{array}\right)\]である。
これら接線ベクトルが一致するので、\[\left(\begin{array}{c}\frac{dc_1(a)}{dt}\\\frac{dc_2(a)}{dt}\end{array}\right)=\left(\begin{array}{c}\frac{de_1(b)}{ds}\\\frac{de_2(b)}{ds}\end{array}\right)\]が成立する。

p278　スカラー場 \(f\) の点 \(A\) での \((\eta,~\xi)\) 方向の方向微分
スカラー場 \(f\) の \((x_1,~x_2)\) での微分（位置 \(x_i\) 微小変化に伴うスカラー場 \(f\) の変化量）は、\[\left(\frac{\partial f(a_1,~a_2)}{\partial x_1},~\frac{\partial f(a_1,~a_2)}{\partial x_2}\right)\]である。
他方で、曲線上の点 \(A\) での接線ベクトルを、以下のように置くと（パラメータ \(t\) 微小変化に伴う位置の変化量）、\[\left(\begin{array}{c}\eta\\ \xi\end{array}\right)=\left(\begin{array}{c}\frac{dc_1(a)}{dt}\\ \frac{dc_2(a)}{dt}\end{array}\right)\]スカラー場 \(f\) の点 \(A\) での \((\eta,~\xi)\) 方向の方向微分は、以下のように、両者の内積として表現される。\[\left(\frac{\partial f(a_1,~a_2)}{\partial x_1},~\frac{\partial f(a_1,~a_2)}{\partial x_2}\right)\left(\begin{array}{c}\eta\\ \xi\end{array}\right)=\frac{\partial f(a_1,~a_2)}{\partial x_1}\eta+\frac{\partial f(a_1,~a_2)}{\partial x_2}\xi\]

p279　方向ベクトルの付与範囲（曲線上 \(\longrightarrow\)  平面全体）
点 \((x_1,~x_2)\) での方向ベクトル \((\eta,~\xi)\) を、ベクトル場 \(\vec{X}\) を用いて平面全体で与える。 \begin{eqnarray}\left(\begin{array}{c}\eta\\ \xi\end{array}\right)&=&\vec{X}\nonumber\\&=&\left(\begin{array}{c}X_1\\ X_2\end{array}\right)\nonumber\\&=&\left(\begin{array}{c}X_1(x_1,~x_2)\\ X_2(x_1,~x_2)\end{array}\right)\nonumber\end{eqnarray}
２行目・３行目の \(X_i\) は、\(X_i\) 軸方向の大きさを示す。
３行目は、\(X_i\) が位置の関数 (\(x_1,~x_2\) の２変数関数）であることを示す。

p280　スカラー場 \(f\) のベクトル場 \(\vec{X}\) に沿った微分係数
ベクトル場 \(\vec{X}\) を用いることで、以下のように、ベクトル場 \(\vec{X}\) 上の微小変化に伴うスカラー場 \(f\) の変化量が得られる。\[\frac{\partial f}{\partial x_1}X_1+\frac{\partial f}{\partial x_2}X_2\]

p281　\(f\) の偏微分の変換則
ダッシュ付き成分から通常成分への変換 \(\vec{x'^i}\longrightarrow \vec{x^i}\) の取替行列は\(A\) なので（p274）、\begin{eqnarray}\left(\begin{array}{c}x_1\\x_2\end{array}\right)&=&\left(\begin{array}{c}a^1_1&&a^1_2\\a^2_1&&a^2_2\end{array}\right)\left(\begin{array}{c}x'_1\\x'_2\end{array}\right)\nonumber\\&=&\left(\begin{array}{c}a^1_1x'_1+a^1_2x'_2\\a^2_1x'_1+a^2_2x'_2\end{array}\right)\nonumber\end{eqnarray}この１行目の要素を比較すると、\[x_1=a^1_1x'_1+a^1_2x'_2\]であり、この両辺を \(x'_1\) で偏微分すると、右辺の \(x'_2\) の項は、定数扱いとなるので、\begin{eqnarray}\frac{\partial x_1}{\partial x'_1}&=&\frac{\partial}{\partial x'_1}\left(a^1_1x'_1+a^1_2x'_2\right)\nonumber\\&=&\frac{\partial}{\partial x'_1}\left(a^1_1x'_1\right)\nonumber\\&=&a^1_1\nonumber\end{eqnarray}他の場合も同様に計算して、以下の４式が得られる。\[\left\{\begin{array}{l}\frac{\partial x_1}{\partial x'_1}= a^1_1\\ \frac{\partial x_1}{\partial x'_2}=a^1_2\\ \frac{\partial x_2}{\partial x'_1}= a^2_1 \\\frac{\partial x_2}{\partial x'_2}= a^2_2\end{array}\right.\]これらの式を用いて、\(f\) の偏微分を考える。
スカラー場 \(f\) は、座標（通常、ダッシュ付き）の採り方によらず、平面上のある点に対しては同じスカラー値を示すので（p272）、\[f(x_1,~x_2)=f(x'_1,~x'_2)\]である。
そうすると、２変数の連鎖律（p29）を用いて、\begin{eqnarray}\frac{\partial}{\partial x'_1}f(x'_1,~x'_2)&=&\frac{\partial f(x'_1,x'_2)}{\partial x_1}\frac{\partial x_1}{\partial x'_1}+\frac{\partial f(x'_1,x'_2)}{\partial x_2}\frac{\partial x_2}{\partial x'_1}\nonumber\\&=&\frac{\partial f(x_1,x_2)}{\partial x_1}\frac{\partial x_1}{\partial x'_1}+\frac{\partial f(x_1,x_2)}{\partial x_2}\frac{\partial x_2}{\partial x'_1}\nonumber\\&=&\frac{\partial f(x_1,x_2)}{\partial x_1}a^1_1+\frac{\partial f(x_1,x_2)}{\partial x_2}a^2_1\nonumber\\&=&\left(\frac{\partial f(x_1,x_2)}{\partial x_1},~\frac{\partial f(x_1,x_2)}{\partial x_2}\right)\left(\begin{array}{c}a^1_1\\a^2_1\end{array}\right)\nonumber\end{eqnarray}と変形できる。
同様に、\[\frac{\partial}{\partial x'_2}f(x'_1,~x'_2)=\left(\frac{\partial f(x_1,x_2)}{\partial x_1},~\frac{\partial f(x_1,x_2)}{\partial x_2}\right)\left(\begin{array}{c}a^1_2\\a^2_2\end{array}\right)\]も成立する。
両式をひとつの行列としてまとめると、\begin{eqnarray}\left(\frac{\partial}{\partial x'_1}f(x'_1,~x'_2),~\frac{\partial}{\partial x'_2}f(x'_1,~x'_2)\right)&=&\left(\frac{\partial f(x_1,x_2)}{\partial x_1},~\frac{\partial f(x_1,x_2)}{\partial x_2}\right)\left(\begin{array}{c}a^1_1&&a^1_2\\a^2_1&&a^2_2\end{array}\right)\nonumber\\\left(\frac{\partial f}{\partial x'_1},~\frac{\partial f}{\partial x'_2}\right)&=&\left(\frac{\partial f}{\partial x_1},~\frac{\partial f}{\partial x_2}\right)\left(\begin{array}{c}a^1_1&&a^1_2\\a^2_1&&a^2_2\end{array}\right)\nonumber\end{eqnarray}これを縮約表記を用いて簡略化すると、\begin{eqnarray}\frac{\partial f}{\partial x'_i}&=&\left(\frac{\partial f}{\partial x_1},~\frac{\partial f}{\partial x_2}\right) \left(\begin{array}{c}a^1_i\\a^2_i\end{array}\right)\nonumber\\&=&\frac{\partial f}{\partial x_j}a^j_i\nonumber\end{eqnarray}\(x\) の添え字について、反変を上付き・共変を下付きのルールで表示すると、\begin{eqnarray}\frac{\partial f}{\partial x'^i}&=&a^j_i\frac{\partial f}{\partial x^j}\nonumber\end{eqnarray}となる。
これは、定義３．３８（p270）によれば、\(a^j_{~i}\) が１個、\(b^j_{~i}\) が０個の、（0, 1）テンソル場と言える。

p282　スカラー場 \(f\) の \(C\) に沿った微分（\(x\) 座標と \(x'\) 座標）
座標を設定する以前から、スカラー場 \(f\) は実体として存在している。
よって、座標をどのように採っても、曲線 \(C\) に沿った \(f\) の変化度合いは、同じ。
問題３．４１の式変形では、\[\left\{\begin{array}{c}x^1=c^1(t)\\x^2=c^2(t)\end{array}\right.\]を前提に、２変数関数の連鎖律（p29）を用いている。
また、\(t\) での微分を\[\dot{c}^1(t)=\frac{d~c^1(t)}{d~t}\]と表記している（p280末尾３行目の表記ルール）。

p282　末尾４～３行目
\[\left(\frac{\partial f}{\partial x'^1},~\frac{\partial f}{\partial x'^2}\right)=\left(\frac{\partial f}{\partial x^1},~\frac{\partial f}{\partial x^2}\right)A\]の式変形は、p281 の式３．０８において、\[\left(\begin{array}{c}a^1_1&&a^1_2\\a^2_1&&a^2_2\end{array}\right)=A\]と表記したもの。

p283　１行目
座標の変換則（p280の式３．０７）を縮約記法で表わしたもの、
\begin{eqnarray}\dot{c}'^i(t)&=&b^i_{~j}~\dot{c}^j(t)\nonumber\\&=&b^i_{~k}~\dot{c}^k(t)\nonumber\end{eqnarray}を、スカラー場 \(f\) の変換則に掛けている。

p283　４行目
\[\delta^j_{~k}\dot{c}^k(t)=\dot{c}^j(t)\]
は、\(c\) の走る添え字 \(k\) を、\(\delta\) の止まった添え字 \(j\) に入れ替えた（p121）。

p283　ベクトル場 \(X\)
ベクトル場では、位置 \((x^1,~x^2)\) によって、ベクトルの矢印の向きと強度が異なる。
イメージ図は、p273 の赤色矢印群。そのうちの１つの矢印を取り出し（以下の図の緑色矢印）、\(\vec{e^1}\) 方向と \(\vec{e^2}\) 方向とに分解したときの係数（スカラー値）が、\(X^1\) や \(X^2\)。
\(X^1\) や \(X^2\) の値は、位置 \((x^1,~x^2)\) によって異なる。
すなわち、係数 \(X^1\) や \(X^2\) は、\((x^1,~x^2)\) の２変数関数。
  • \(X^1(x^1,~x^2)\)
  • \(X^2(x^1,~x^2)\)
緑色矢印は、座標を設定する以前から、実体として存在している。
よって、基底 \(\vec{e^1},~\vec{e^2}\) をどのように定めても（ダッシュ付き基底に変更しても）、同じベクトルを指していることになる。\[X^1\vec{e^1}+X^2\vec{e^2}=X'^1\vec{e'^1}+X'^2\vec{e'^2}\]係数 \(X^1\) や \(X^2\) が、\((x^1,~x^2)\) の２変数関数であることを明記すると、\[X^1(x^1,~x^2)~\vec{e^1}+X^2(x^1,~x^2)~\vec{e^2}=X'^1(x'^1,~x'^2)~\vec{e'^1}+X'^2(x'^1,~x'^2)\vec{e'^2}\]のような表記になる（p283 末尾から６行目の式）。

p284　\(\frac{\partial f}{\partial x^i}X^i\) は、（０，０）テンソル場
スカラー場 \(f\) の微分の変換則（p281）\[\frac{\partial f}{\partial  x'^i}=a^k_{~i}\frac{\partial f}{\partial x^k}\]とベクトル場 \(\vec{X}\) の変換則\[X'^j=b^j_{l}X^l\]の縮合（テンソル積\(\rightarrow (i=j)\) で縮約）をとると、\begin{eqnarray}\frac{\partial f}{\partial x'^i}X'^j&=&a^k_{~i}b^j_{~l}\frac{\partial f}{\partial x^k}X^l\nonumber\\\frac{\partial f}{\partial x'^i}X'^i&=&a^k_{~i}b^i_{l}\frac{\partial f}{\partial x^k}X^l\nonumber\\&=&\delta^k_{~l}\frac{\partial f}{\partial x^k}X^l\nonumber\\&=&\frac{\partial f}{\partial x^l}X^l\nonumber\end{eqnarray}となる。
これは、定義３．３８（p270）によれば、\(a^j_{~i}\) が０個、\(b^j_{~i}\) が０個の（0, ０）テンソル場である（p231の \((r,~s)\) 増減法則にも合致）。
すなわち、スカラー場 \(f\) のベクトル場 \(\vec{X}\) に沿った微分は、スカラー場になることが計算式上も示された。

§１１　テンソル場の変換則 


p285　問題３．４２
無印４つが \(D\)、ダッシュ付き４つが \(D'\) と、p286 で定義されている。

p286　行列のトレース　\(tr~A\)
正方行列 \(A\) について、\[A=\left(\begin{array}{c}a&&b&&c\\d&&e&&f\\g&&h&&i\end{array}\right)\]そのトレース \(tr~A\) は、
\[tr ~A=a+e+i\]行列 \(A\) と行列 \(B\)の積 \(AB\) について、以下の交換則が成り立つ。\[tr(AB)=tr(BA)\]例えば、\[A=\left(\begin{array}{c}a&&b\\c&&d\end{array}\right)\]\[B=\left(\begin{array}{c}e&&f\\g&&h\end{array}\right)\]の場合、\begin{eqnarray}tr(AB)&=&tr\left\{\left(\begin{array}{c}a&&b\\c&&d\end{array}\right)\left(\begin{array}{c}e&&f\\g&&h\end{array}\right)\right\}\nonumber\\&=&tr\left(\begin{array}{c}ae+bg&&af+bh\\ce+dg&&cf+dh\end{array}\right)\nonumber\\&=&ae+bg+cf+dh\nonumber\end{eqnarray}であり、他方で、\begin{eqnarray}tr(BA)&=&tr\left\{\left(\begin{array}{c}e&&f\\g&&h\end{array}\right)\left(\begin{array}{c}a&&b\\c&&d\end{array}\right)\right\}\nonumber\\&=&tr\left(\begin{array}{c}ea+fc&&eb+fd\\ga+hc&&gb+hd\end{array}\right)\nonumber\\&=&ea+fc+gb+hd\nonumber\\&=&ea+gb+fc+hd\nonumber\\&=&ae+bg+cf+dh\nonumber\end{eqnarray}となっており、確かに一致する。

p286　\[tr(BDB^{-1})=tr(B^{-1}BD)\]
トレース内において、行列 \(BD\) と 行列\(B^{-1}\) とを交換している。

p286　成分計算
\begin{eqnarray}tr(D')&=&tr(D)\nonumber\\tr\left(\begin{array}{c}\frac{\partial f}{\partial x'^1}X'^1&&\frac{\partial f}{\partial x'^2}X'^1\\ \frac{\partial f}{\partial x'^1}X'^2&&\frac{\partial f}{\partial x'^2}X'^2\end{array}\right)&=&tr\left(\begin{array}{c}\frac{\partial f}{\partial x^1}X^1&&\frac{\partial f}{\partial x^2}X^1\\ \frac{\partial f}{\partial x^1}X^2&&\frac{\partial f}{\partial x^2}X^2\end{array}\right)\nonumber\\\frac{\partial f}{\partial x'^1}X'^1+\frac{\partial f}{\partial x'^2}X'^2&=&\frac{\partial f}{\partial x^1}X^1+\frac{\partial f}{\partial x^2}X^2\nonumber\\\frac{\partial f}{\partial x'^i}X'^i&=&\frac{\partial f}{\partial x^i}X^i\nonumber\end{eqnarray}

p287　スカラー場 \(f\) の２階偏微分の変換則
２行目の\[\frac{\partial f}{\partial x'^1}=a^1_{~1}\frac{\partial f}{\partial x^1}+a^2_{~1}\frac{\partial f}{\partial x^2}\]
の部分は、p281 の中程の計算を用いている。
２行目から３行目の部分は、２変数の連鎖律（p29）を用いて、式変形をしている。
赤字注の\[\frac{\partial x^1}{\partial x'^2}=a^1_{~2}\]等は、p281 の中程の計算を用いている。
その結果、\(a\) の下付き添え字が、\(a^{\Box}_{~2}a^{\Box}_{~1}\frac{\partial^2~f}{\partial x^{\Box}~\partial x^{\Box}}\) の形の項からなる計算式に整理されたので、縮約記法を用い（\(k,~l\) は走る添え字［和］）、
\begin{eqnarray}\frac{\partial}{\partial x'^2}\frac{\partial}{\partial x'^1}&=&a^k_{~2}a^l_{~1}\frac{\partial^2~f}{\partial x^k~\partial x^l}\nonumber\end{eqnarray}とまとめられる。
他の場合も、同様に計算すると、
  • \(\frac{\partial}{\partial x'^1}\frac{\partial}{\partial x'^1}=a^k_{~1}a^l_{~1}\frac{\partial^2~f}{\partial x^k~\partial x^l}\)
  • \(\frac{\partial}{\partial x'^1}\frac{\partial}{\partial x'^2}=a^k_{~1}a^l_{~2}\frac{\partial^2~f}{\partial x^k~\partial x^l}\)
  • \(\frac{\partial}{\partial x'^2}\frac{\partial}{\partial x'^1}=a^k_{~2}a^l_{~1}\frac{\partial^2~f}{\partial x^k~\partial x^l}\)
  • \(\frac{\partial}{\partial x'^2}\frac{\partial}{\partial x'^2}=a^k_{~2}a^l_{~2}\frac{\partial^2~f}{\partial x^k~\partial x^l}\)
となる。
これら４式を、縮約記法で表現すると（\(i,~j\) は止まった添え字［分割］）、\[\frac{\partial}{\partial x'^i}\frac{\partial}{\partial x'^j}=a^k_{~i}a^l_{~j}\frac{\partial^2~f}{\partial x^k~\partial x^l}\]となり、\(f\) の２階微分どおしの変換則が得られた。

p288　ベクトル場の曲線に沿った微分

p288　曲線 \(C\) に沿った微分
\[\left(\begin{array}{c}Y^1\\Y^2\end{array}\right)\]を各成分について、\(t\) に関して微分する。
\(Y^1\) の微分は、
\begin{eqnarray}\frac{\partial Y^1}{\partial t}&=&\frac{\partial Y^1}{\partial x^1}\frac{\partial x^1}{\partial t}+\frac{\partial Y^1}{\partial x^2}\frac{\partial x^2}{\partial t}\nonumber\\&=&\frac{\partial Y^1}{\partial x^1}\frac{\partial c^1(t)}{\partial t}+\frac{\partial Y^1}{\partial x^2}\frac{\partial c^2(t)}{\partial t}\nonumber\\&=&\frac{\partial Y^1}{\partial x^1}\dot{c}^1(t)+\frac{\partial Y^1}{\partial x^2}\dot{c}^2(t)\nonumber\end{eqnarray}となる。
１行目は、二変数の連鎖律（定理１．０７）を用いた。
２行目は、\(x^i=c^i(t)\) を用いた。
３行目は、p280 の表記法を用いた。
\(Y^2\) の微分も、同様に計算できる。\[\frac{\partial Y^2}{\partial t}=\frac{\partial Y^2}{\partial x^1}\dot{c}^1(t)+\frac{\partial Y^2}{\partial x^2}\dot{c}^2(t)\]よって、ベクトル場 \(Y\) の曲線 \(C\) に沿った微分は、\[\left(\begin{array}{c}\frac{\partial Y^1}{\partial t}\\ \frac{\partial Y^2}{\partial t}\end{array}\right)=\left(\begin{array}{c}\frac{\partial Y^1}{\partial x^1}\dot{c}^1(t)+\frac{\partial Y^1}{\partial x^2}\dot{c}^2(t)\\\frac{\partial Y^2}{\partial x^1}\dot{c}^1(t)+\frac{\partial Y^2}{\partial x^2}\dot{c}^2(t)\end{array}\right)\]となる。

p289　ベクトル場に沿った微分
各点での方向が与えられれば、ベクトル場 \(Y\) の方向微分が計算できるところ、各点 \((x^1,~x^2)\) での方向ベクトルをベクトル場 \[X=\left(\begin{array}{c}X^1(x^1,~x^2)\\X^2(x^1,~x^2)\end{array}\right)\]と与えれば、ベクトル場 \(Y\) の \(Y^1\) 成分について、\(X=\left(\begin{array}{c}X^1\\X^2\end{array}\right)\) 方向の微分係数は、p279～280 と同様に、以下のように表現できる。\[\frac{\partial Y^1}{\partial x^1}X^1+\frac{\partial Y^1}{\partial x^2}X^2\]同様に、ベクトル場 \(Y\) の \(Y^2\) 成分についても、\[\frac{\partial Y^2}{\partial x^1}X^1+\frac{\partial Y^2}{\partial x^2}X^2\]と表現できる。
この２つをまとめると、ベクトル場 \(X\) に沿ったベクトル場 \(Y\) の微分は、\[\left(\begin{array}{c}\frac{\partial Y^1}{\partial x^1}X^1+\frac{\partial Y^1}{\partial x^2}X^2\\ \frac{\partial Y^2}{\partial x^1}X^1+\frac{\partial Y^2}{\partial x^2}X^2\end{array}\right)\]と表される。

p289～290　ベクトル場 \(Y\) の微分（ただの微分）の変換則
  • 物理的な意味は？
  • 「\(Y^i\) はベクトル場」…\(Y^i\) 方向に向きが限定されたベクトル？
  • \(\frac{\partial x^l}{\partial x'^k}=a^l_{^k}\) は、p281参照。

p290　ベクトル場 \(Y\) をベクトル場 \(X\) に沿って微分した式
止まった添え字 \(i\) で分割し、走る添え字 \(j\) で和をとると、\begin{eqnarray}\frac{\partial Y^i}{\partial x^j}X^j&=&\left(\begin{array}{c}\frac{\partial Y^1}{\partial x^j}X^j\\\frac{\partial Y^2}{\partial x^j}X^j\end{array}\right)\nonumber\\&=&\left(\begin{array}{c}\frac{\partial Y^1}{\partial x^1}X^1+\frac{\partial Y^1}{\partial x^2}X^2\\\frac{\partial Y^2}{\partial x^1}X^1+\frac{\partial Y^2}{\partial x^2}X^2\end{array}\right)\nonumber\end{eqnarray}となるので、確かに、p289 のベクトル場 \(X\) に沿った微分の式を表している。

p290　問題３．４４
前提 \[X'^k=b^k_{~m}X^m\]は、p283 の結果（縮約記法で赤色注）を用いている。
\(x'\) の添え字と \(X'\) の添え字が、共通の\(k\) であるので、\(k=k\) で縮約した計算となっている。

p290　縮合
  • ベクトル場\(Y\)…変換則の \(b\) が１個（p283赤字注）\(\rightarrow\)（１，０）テンソル場
  • ベクトル場\(Y\) の微分…変換則の \(b\) と\(a\)が各１個（p290の４行目）\(\rightarrow\)（１，１）テンソル場
  • ベクトル場\(Y\) のベクトル場 \(X\) に沿った微分…変換則の \(b\) が１個（p290）\(\rightarrow\)（１，０）テンソル場

§１２　テンソル場の変換則　まとめ 


p291　（’有り）と（’無し）との間の変換則
変換則の右辺にある \(a,~b\) の個数により、定義３．２８（p252）により、どの \((r,~s)\) テンソル場かが定まる。
（ア）…p272
（イ）…p283　赤注記
（ウ）…p281　式３．０８
（エ）…p286～288
（オ）…p290
（カ）…p285　式３．０９
（キ）…p299　問題３．４４


p292　テンソル演算と階数
テンソル場のテンソル積、縮約、縮合に伴う \((r,~s)\) の変化は、p231 のとおり。


p292　微分すると共変次数 \(s\) が１増える
\((0,~0)\rightarrow (0,~1)\)　…（ア）と（ウ）を比較
\((0,~1)\rightarrow (0,~2)\)　…（ウ）と（エ）を比較
\((1,~0)\rightarrow (1,~1)\)　…（イ）と（オ）を比較


p292　\(f\longrightarrow \frac{\partial f}{\partial x^i}\longrightarrow \frac{\partial f}{\partial x^i}X^i \)
（ア）と（ウ）と（カ）の特殊形態（\(i=j\)）を比較。
（カ）で（\(i=j\)）とすると、p284 の計算と同様に、\begin{eqnarray}\frac{\partial f}{\partial x'^i}X'^j&=&a^k_{~i}b^j_{~l}\frac{\partial f}{\partial x^k}X^l\nonumber\\\frac{\partial f}{\partial x'^i}X'^i&=&a^k_{~i}b^i_{l}\frac{\partial f}{\partial x^k}X^l\nonumber\\&=&\delta^k_{~l}\frac{\partial f}{\partial x^k}X^l\nonumber\\&=&\frac{\partial f}{\partial x^l}X^l\nonumber\end{eqnarray}となる。
これは、定義３．３８（p270）によれば、\(a^j_{~i}\) が０個、\(b^j_{~i}\) が０個の（0, ０）テンソル場である。


p293　\(Y^i\longrightarrow \frac{\partial Y^i}{\partial x^i}\longrightarrow \frac{\partial Y^i}{\partial x^i}X^i \)
（イ）と（オ）と（キ）を比較。


p293　定理３．４５
\[X^m\frac{\partial}{\partial x^m}T^{\cdots}_{~~~\cdots}\]は、p293 の１行目の表記順で表わせば、\[\frac{\partial T^{\cdots}_{~~~\cdots}}{\partial x^m}X^m\]のこと。


p293　（１，０）テンソル場の発散 \(\mathrm{div}\) は、スカラー場
\(i=1,2,3~~~~j=1,2,3\) の場合がある添え字を用いた
\[\frac{\partial A^i(x)}{\partial x^j}=\left\{\begin{array}{c}\frac{\partial A^1(x)}{\partial x^1}&&\frac{\partial A^1(x)}{\partial x^2}&&\frac{\partial A^1(x)}{\partial x^3}\\\frac{\partial A^2(x)}{\partial x^1}&&\frac{\partial A^2(x)}{\partial x^2}&&\frac{\partial A^2(x)}{\partial x^3}\\\frac{\partial A^3(x)}{\partial x^1}&&\frac{\partial A^3(x)}{\partial x^2}&&\frac{\partial A^3(x)}{\partial x^3}\end{array}\right.\]は、\(3\times 3=9\)個の場合分けを示しているが、これを \(i=j\) で縮約すると（p227）、\(i=j\) の項である３個の項のみの和となるので（基底は非表示のまま）、\(j\) も \(i\) と表記し、\[\frac{\partial A^i(x)}{\partial x^i}=\frac{\partial A^1(x)}{\partial x^1}+\frac{\partial A^2(x)}{\partial x^2}+\frac{\partial A^3(x)}{\partial x^3}\]となる。
これは、発散 \(\mathrm{div}\) の定義であるから（p41）、\[\frac{\partial A^i(x)}{\partial x^i}=\mathrm{div}A(x)\]である。
左辺 \(\frac{\partial A^i(x)}{\partial x^i}\) は、変換則（オ）（p291）で、\(i=k\) とした場合に得られる式を用いて、以下のように、\(a\) も \(b\) も含まない変換則を導けるから、（０，０）テンソル場、すなわちスカラー場である。\begin{eqnarray}\frac{\partial A^i(x)}{\partial x^i}&=&b^i_{~j}a^l_{~i}\frac{\partial A^j(x)}{\partial x^l}\nonumber\\&=&a^l_{~i}b^i_{~j}\frac{\partial A^j(x)}{\partial x^l}\nonumber\\&=&\delta^l_{~j}\frac{\partial A^j(x)}{\partial x^l}\nonumber\\&=&\frac{\partial A^j(x)}{\partial x^j}\nonumber\end{eqnarray}よって、（１，０）テンソル場 \(A^i(x)\) の発散\[\mathrm{div}A(x)\] は、スカラー場である。

p294　（０，１）テンソル場
共変ベクトル場\[T^0_{~1}(V)=V^*\]の成分\(A_i(x)\)を想定。

p294　\(A\) が（１，０）テンソル場のとき、\(\mathrm{rot}A\) は（１，１）テンソル場
\(\mathrm{rot}\) は、p60 のとおり、\(x^i\) で１階微分の形のため、共変成分が１増加する。

p294　\(\mathrm{rot}\) は、（１，０）テンソル場の変換則を持つ。
要確認。

p294　\(\mathrm{rot}\) が座標に拠らないことの証明
\(\longrightarrow\) p55

p295　ラプラシアン \(\Delta\)
中央辺の \[\sum^n_{i=1}\frac{\partial ^2~f}{\partial x^i~\partial x^i}\]の \(i\) は、代数であり、１から\(n\) まで入力された各項を合計するとの趣旨。
\(n=3\) の場合が、p61 のラプラシアン。
右辺の\[\frac{\partial^2 ~f}{\partial x^i~\partial x^i}\]の \(i\) は、縮約記法の走る添え字であり、\(i=1,2,\cdots ,n\) の各項を合計するとの趣旨。

p295　正規直交基底なので、\(A\) は直交行列になり、\(^tAA=E\)
未証明（p248 でも未証明）。むしろ、p249 では、本書では直交基底でない場合の変換則を考えるとしていた。