クリストッフェル記号

リーマン幾何学において、クリストッフェル記号（クリストッフェルきごう、英: Christoffel symbols）またはクリストッフェルの三添字記号（クリストッフェルのさんそえじきごう、英: Christoffel three index symbols）とは、測地線の微分方程式を表すにあたってブルーノ・クリストッフェル (1829–1900) によって導入された記号を言う^[1]。

クリストッフェル記号には第一種記号 ${\displaystyle \left[j\;k,a\right]}$ と第二種記号 ${\displaystyle \left\{{{i} \atop {j\;k}}\right\}}$ の二種類がある^[2]が、基本的には第二種記号のことを意味する。

リーマン幾何学においては、n 次元多様体と呼ばれる空間上にある曲線

x^h = x^h (t), t₁ ≦ t ≦ t₂

の長さを、積分

${\displaystyle I=\int _{t_{1}}^{t_{2}}{\sqrt {\sum _{i,j}g_{ij}(x){\frac {\mathrm {d} x^{i}}{\mathrm {d} t}}{\frac {\mathrm {d} x^{j}}{\mathrm {d} t}}}}\,\mathrm {d} t}$

で計算できるように、各座標近傍内に

g_ij(x) = g_ji(x)

という関数（基本計量テンソルと呼ばれる）が与えられている。この積分の第一変分 δI を 0 とおくことで得られるオイラー・ラグランジュの微分方程式は、測地線に沿っての孤の長さを媒介変数にとれば、

${\displaystyle {\frac {\mathrm {d} ^{2}x^{h}}{\mathrm {d} s^{2}}}+\sum _{j,i}\left\{{{h} \atop {j\;i}}\right\}{\frac {\mathrm {d} x^{j}}{\mathrm {d} s}}{\frac {\mathrm {d} x^{i}}{\mathrm {d} s}}=0}$

となる^{[注釈 1]}。これを測地線の微分方程式と呼ぶ。なお、ここで

${\displaystyle \left\{{{h} \atop {j\;i}}\right\}=\sum _{a}{\frac {1}{2}}g^{ha}\left({\frac {\partial g_{ia}}{\partial x^{j}}}+{\frac {\partial g_{ja}}{\partial x^{i}}}-{\frac {\partial g_{ji}}{\partial x^{a}}}\right)}$

であり、これを（第二種）クリストッフェル記号（Christoffel symbol (of the second kind)）と呼ぶ。

クリストッフェル記号は、計量テンソルから導かれたレヴィ・チヴィタ接続に対する、座標空間での表示式である^{[注釈 2][注釈 3][注釈 4][注釈 5]}。

n次元微分多様体 M 上の各点近傍に定まる座標系を x^h (h = 1, 2, ..., n) とする。さらに各座標近傍内に基本計量テンソル^{[注釈 6]}

${\displaystyle g_{ij}(x)=g_{ji}(x)}$

が与えられているものとする^{[注釈 7]}。

なお以下においては、アインシュタインの和の規約を用いる。

第一種クリストッフェル記号は基本計量テンソルから

${\displaystyle \left[j\;k,a\right]={\frac {1}{2}}\left({\frac {\partial g_{ja}}{\partial x^{k}}}+{\frac {\partial g_{ka}}{\partial x^{j}}}-{\frac {\partial g_{jk}}{\partial x^{a}}}\right)}$

と定義される。

第二種クリストッフェル記号は同じく基本計量テンソルまたは第一種クリストッフェル記号から

${\displaystyle \left\{{{i} \atop {j\;k}}\right\}={\frac {1}{2}}g^{ia}\left({\frac {\partial g_{ja}}{\partial x^{k}}}+{\frac {\partial g_{ka}}{\partial x^{j}}}-{\frac {\partial g_{jk}}{\partial x^{a}}}\right)=g^{ia}\left[j\;k,a\right]}$

と定義される。

第二種クリストッフェル記号が定義されていない代わりに、接続の記号 Γ^k_ij とともに共変微分が定義されている場合^{[注釈 8]}、接続の記号としてクリストッフェル記号を得ることができる^{[注釈 9]}。

二階共変テンソル S_ij の共変微分は定義より、

${\displaystyle \nabla _{j}S_{ik}={\frac {\partial S_{ik}}{\partial x^{j}}}-\Gamma _{ji}^{a}S_{ak}-\Gamma _{jk}^{a}S_{ia}}$（２階共変テンソルの共変微分）

である。また、二階共変テンソルであるリーマン多様体 M の基本計量テンソル g_ik の共変微分についてリッチの補定理

${\displaystyle \nabla _{j}g_{ik}=0,\;\;\nabla _{j}g^{ik}=0}$（リッチの補定理）

が一般の接続の記号 Γ^k_ij から定義される共変微分についてもそのまま成り立つものとされているとすると、

${\displaystyle \nabla _{j}g_{ik}={\frac {\partial g_{ik}}{\partial x^{j}}}-\Gamma _{ji}^{a}g_{ak}-\Gamma _{jk}^{a}g_{ia}=0}$

であり、添字を並べ替え、補うことにより、上式を計量テンソルの関数として接続の記号について陽に解いて

${\displaystyle \Gamma _{kj}^{l}={\frac {1}{2}}g^{lm}\left({\frac {\partial g_{mk}}{\partial x^{j}}}+{\frac {\partial g_{mj}}{\partial x^{k}}}-{\frac {\partial g_{kj}}{\partial x^{m}}}\right)=\left\{{{l} \atop {k\;j}}\right\}}$

と、接続の記号としてクリストッフェル記号を導出することができる^{[注釈 10]}。

定義から明らかに

${\displaystyle \left\{{{i} \atop {j\;k}}\right\}=\left\{{{i} \atop {k\;j}}\right\}}$

が成り立つ。

第二種クリストッフェル記号について、座標系 x^h から座標系 u^h (h = 1, 2, ..., n) への変数変換を行うと

${\displaystyle {\frac {\partial x^{i}}{\partial u^{a}}}\left\{{\overline {{a} \atop {b\;c}}}\right\}={\frac {\partial x^{j}}{\partial u^{b}}}{\frac {\partial x^{k}}{\partial u^{c}}}\left\{{{i} \atop {j\;k}}\right\}+{\frac {\partial ^{2}x^{i}}{\partial u^{b}\partial u^{c}}}}$

ここで、上線は u-座標系に関するクリストッフェル記号であることを表す。

となる。この式から第二種クリストッフェル記号はテンソルの成分ではないことが判る。

曲面上のすべての点でクリストッフェル記号が 0 となるような座標系が存在するならば、その曲面は伸縮することなく平面上に展開可能なものだけであり、それ以外の場合には、曲面上のすべての点で ${\displaystyle \left\{{{i} \atop {j\;k}}\right\}=0}$ となるような座標系は一般に存在しない^[3]。ただし、曲面上のある特定の一点 xⁱ₀ でならば ${\displaystyle \left\{{{i} \atop {j\;k}}\right\}_{0}=0}$ となるような座標系をとることができる^{[注釈 11]}。

ここで、

${\displaystyle x^{i}-x_{0}^{i}=u^{i}-{\frac {1}{2}}\left\{{{i} \atop {j\;k}}\right\}_{0}u^{j}u^{k}}$ ただし、${\displaystyle u_{0}^{i}=0}$

なる座標変換を行う。このとき、u^h で偏微分を行うと

${\displaystyle {\frac {\partial x^{i}}{\partial u^{h}}}=\delta _{h}^{i}-{\frac {1}{2}}\left({\frac {\partial \left\{{{i} \atop {j\;k}}\right\}_{0}}{\partial u^{h}}}u^{j}u^{k}+\left\{{{i} \atop {j\;k}}\right\}_{0}\delta _{h}^{j}u^{k}+\left\{{{i} \atop {j\;k}}\right\}_{0}u^{j}\delta _{h}^{k}\right)=\delta _{h}^{i}-{\frac {1}{2}}{\frac {\partial \left\{{{i} \atop {j\;k}}\right\}_{0}}{\partial u^{h}}}u^{j}u^{k}-\left\{{{i} \atop {h\;k}}\right\}_{0}u^{k}}$

となり、さらに u^l で偏微分を行うと

${\displaystyle {\frac {\partial ^{2}x^{i}}{\partial u^{l}\partial u^{h}}}=-{\frac {1}{2}}\left({\frac {\partial ^{2}\left\{{{i} \atop {j\;k}}\right\}_{0}}{\partial u^{l}\partial u^{h}}}u^{j}u^{k}+{\frac {\partial \left\{{{i} \atop {j\;k}}\right\}_{0}}{\partial u^{h}}}\delta _{l}^{j}u^{k}+{\frac {\partial \left\{{{i} \atop {j\;k}}\right\}_{0}}{\partial u^{h}}}u^{j}\delta _{l}^{k}\right)-{\frac {\partial \left\{{{i} \atop {h\;k}}\right\}_{0}}{\partial u^{l}}}u^{k}-\left\{{{i} \atop {h\;k}}\right\}_{0}\delta _{l}^{k}}$

となる。したがって、xⁱ = xⁱ₀ のとき uⁱ = 0 であることから、

${\displaystyle \left({\frac {\partial x^{i}}{\partial u^{h}}}\right)_{0}=\delta _{h}^{i},\;\;\;\left({\frac {\partial ^{2}x^{i}}{\partial u^{l}\partial u^{h}}}\right)_{0}=-\left\{{{i} \atop {hl}}\right\}_{0}}$

を得る。よって、ある一点 xⁱ₀ におけるクリストッフェル記号の変数変換式が

${\displaystyle \left({\frac {\partial x^{i}}{\partial u^{k}}}\right)_{0}\left\{{\overline {{k} \atop {h\;l}}}\right\}_{0}=\left({\frac {\partial x^{j}}{\partial u^{h}}}\right)_{0}\left({\frac {\partial x^{k}}{\partial u^{l}}}\right)_{0}\left\{{{i} \atop {j\;k}}\right\}_{0}+\left({\frac {\partial ^{2}x^{i}}{\partial u^{h}\partial u^{l}}}\right)_{0}=\delta _{h}^{j}\delta _{l}^{k}\left\{{{i} \atop {j\;k}}\right\}_{0}-\left\{{{i} \atop {h\;l}}\right\}_{0}=0}$

であることから、

${\displaystyle \delta _{k}^{i}\left\{{\overline {{k} \atop {h\;l}}}\right\}_{0}=\left\{{\overline {{i} \atop {h\;l}}}\right\}_{0}=0}$

すなわち、クリストッフェル記号はある一点 xⁱ₀ においては全て０となることが導かれる。

このような座標系を、点 u₀ = 0 を原点とする測地座標系（geodetic coordinate system）と呼ぶ。なお、測地座標の原点においては、テンソルの共変微分と通常の微分が一致する^[4]。

一階共変テンソルを w_i とするとき、その共変微分は

${\displaystyle \nabla _{j}w_{i}={\frac {\partial w_{i}}{\partial x^{j}}}-\left\{{{a} \atop {j\;i}}\right\}w_{a}}$

で定義される。座標系 (x^h) を測地座標系 (u^h) へ座標変換すると、その原点において ${\displaystyle \left\{{\overline {{i} \atop {h\;l}}}\right\}_{0}=0}$ となる。

したがって、w_i の共変微分は uⁱ = 0 において、

${\displaystyle \left(\nabla _{j}w_{i}\right)_{0}=\left({\frac {\partial w_{i}}{\partial u^{j}}}\right)_{0}}$

と、共変微分と通常の微分が一致する。

n 次元リーマン多様体の基本計量テンソル g_ij は n × nの正方行列であると見なせることからその行列式 g

${\displaystyle g=\det(g_{ij})=\left|{\begin{array}{ccc}g_{11}&g_{12}&\cdots \\g_{21}&g_{22}&\cdots \\\vdots &\vdots &\ddots \end{array}}\right|}$

を定義することができる。ここで、g_ij の余因子行列を G_ij とし、g を x^k で偏微分すると

${\displaystyle {\frac {\partial g}{\partial x^{k}}}={\frac {\partial g}{\partial g_{ij}}}{\frac {\partial g_{ij}}{\partial x^{k}}}=G_{ij}{\frac {\partial g_{ij}}{\partial x^{k}}}}$

となる^{[注釈 12]}。さらに余因子行列を行列式で割ったものは逆行列となるが、それは反変版の基本計量テンソルに他ならない。つまり、G_ij = gg^ij。よって

${\displaystyle {\begin{aligned}{\frac {\partial g}{\partial x^{k}}}&=gg^{ij}{\frac {\partial g_{ij}}{\partial x^{k}}}=gg^{ij}\left(g_{ia}\left\{{{a} \atop {j\;k}}\right\}+g_{aj}\left\{{{a} \atop {i\;k}}\right\}\right)\\&=g\left(\delta _{a}^{j}\left\{{{a} \atop {j\;k}}\right\}+\delta _{a}^{i}\left\{{{a} \atop {i\;k}}\right\}\right)=g\left(\left\{{{a} \atop {a\;k}}\right\}+\left\{{{a} \atop {a\;k}}\right\}\right)\\&=2g\left\{{{a} \atop {a\;k}}\right\}\end{aligned}}}$

よって

${\displaystyle \left\{{{a} \atop {a\;k}}\right\}=\left\{{{a} \atop {k\;a}}\right\}={\frac {1}{2}}{\frac {1}{g}}{\frac {\partial g}{\partial x^{k}}}={\frac {\partial \log {\sqrt {g}}}{\partial x^{k}}}={\frac {1}{\sqrt {g}}}{\frac {\partial {\sqrt {g}}}{\partial x^{k}}}}$

が得られる。

クリストッフェル記号はアインシュタインの一般相対論において頻繁に用いられる。一般相対論は時空を、レヴィ-チヴィタ接続を備えた、湾曲した 4-次元ローレンツ多様体によって表現する。（物体の存在によって時空の形状を決定するという）アインシュタインの場の方程式はリッチテンソルを含み、クリストッフェル記号を計算することが本質的である。一旦形状が決定されたならば、粒子と光線の軌跡は（クリストッフェル記号が陽に現れる）測地的方程式を解くことによって計算できる。

• リーマン幾何学の公式一覧
• 可微分多様体
• アフィン接続

• リーマン、リッチ、レビ=チビタ、アインシュタイン、マイヤー 著、矢野健太郎 訳『リーマン幾何とその応用』共立出版〈現代数学の系譜 10〉、1971年。ISBN 4320011635。 
• アインシュタイン 著、矢野健太郎 訳『相対論の意味 附：非対称場の相対論』岩波書店、1958年。ISBN 400005600X。 
• 矢野 健太郎『微分幾何学』朝倉書店〈数学全書（第10巻）〉、1949年。ASIN B000JBII2W。 
• ガーレット・バーコフ、ソンダース・マクレーン 著、奥川光太郎 訳『現代代数学概論』（改訂第３版）白水社、1967年。ASIN B000JA7R8E。 

表 話 編 歴 テンソル
Glossary of tensor theory（英語版）
範囲 (Scope)	数学 座標 多重線型代数 ユークリッド幾何学 テンソル代数 微分幾何学 外微分 テンソル解析 物理学 • 工学 連続体力学 電磁気学 移動現象論 一般相対性理論 コンピュータビジョン
表記法 (Notation)	添字表記法 多重指数 アインシュタインの縮約記法 リッチ計算法（英語版） ペンローズのグラフ記法 フォークト表記 抽象添字記法 テトラド表記（英語版） ファン・デル・ヴェルデン表示
テンソルの定義	テンソル空間 テンソル場 テンソル密度（英語版） 曲線座標系におけるテンソル（英語版） 混テンソル（英語版） 反対称テンソル 対称テンソル テンソル作用素（英語版） テンソル束（英語版）
算法	テンソル積 楔積 テンソルの縮約 行列（2階テンソル）の転置 添字の上げ下げ（英語版） ホッジ双対 共変微分 外微分 共変外微分（英語版） リー微分
関連事項	次元 基底 ベクトル、ベクトル空間 多重ベクトル（英語版） ベクトルの共変性と反変性 線型写像 行列 スピノール カルタン形式 微分形式 接続形式 測地線 多様体 ファイバー束 曲率形式 レヴィ・チヴィタ接続 アフィン接続
有名なテンソル	数学 クロネッカーのデルタ エディントンのイプシロン 計量テンソル クリストッフェル記号 リッチテンソル リーマン曲率テンソル ワイルテンソル（英語版） 捩率テンソル 物理学 慣性モーメント 角運動量 応力テンソル エネルギー・運動量テンソル 電磁場テンソル グルーオン場の強度テンソル（英語版） アインシュタインテンソル 計量テンソル (一般相対論)（英語版）
数学者	レオンハルト・オイラー カール・フリードリヒ・ガウス オーギュスタン＝ルイ・コーシー ヘルマン・グラスマン グレゴリオ・リッチ＝クルバストロ トゥーリオ・レヴィ＝チヴィタ Jan Arnoldus Schouten（英語版） ベルンハルト・リーマン エルヴィン・クリストッフェル ヴォルデマール・フォークト エリ・カルタン ヘルマン・ワイル アルベルト・アインシュタイン
カテゴリ