レヴィ-チヴィタ接続（レヴィ-チヴィタせつぞく、）は、幾何学領域で使われる微分演算子であり、リーマン多様体上に共変微分という操作を定め、記号ナブラで表される事が多い。レヴィ-チヴィタ「接続」という名称はより一般的なファイバーバンドルの接続概念の特殊な場合になっている事により、接続概念から定義される「平行移動」（後述）を用いる事で、上の相異なる2点を「接続」してこれら2点における接ベクトルを比較可能になる。レヴィ-チヴィタ接続において定義される概念の多くは一般のファイバーバンドルの接続に対しても定義できる。レヴィ-チヴィタ接続の名称はイタリア出身の数学者トゥーリオ・レヴィ-チヴィタによる。
リーマン計量を持たない多様体において、上で定義された曲線の一階微分は接ベクトル空間の元として定義する事ができるが、二階微分はそのように定義する事はできない。レヴィ-チヴィタ接続は、がリーマン多様体である場合に対し、などの接ベクトルをさらに微分する「共変微分」という手段を与える。
リーマン多様体がユークリッド空間の部分多様体の場合は、における（通常の意味の）微分をに射影したものを考える事ができるが、実はこのように定義した共変微分はの内在的な量である事、すなわちすなわちからに誘導されるリーマン計量とその偏微分のみで記述可能である事が知られている。このための部分空間とは限らない一般のリーマン多様体に対しても、リーマン計量とその偏微分を用いて微分概念を定義する事が可能であり、これがにおける共変微分である。
以上の議論により、リーマン多様体がユークリッド空間の部分多様体の場合において、（上でニュートン力学が成立しているとすれば）、の共変微分の直観的意味は、 の鉛直方向に無限に大きい束縛力が働いているための鉛直方向の加速度がキャンセルされる状況下におけるの加速度を表している。 一方、一般相対性理論では がリーマン多様体ではなく擬リーマン多様体（の特集ケースであるローレンツ多様体）である場合において、共変微分に対してこれとは別の物理的解釈を与えている。以下、本稿で特に断りなく「物理的に」と言った場合はニュートン力学の方の物理的解釈を意味するものとするが、必要に応じて一般相対性理論の方の解釈についても触れる。
これまでの共変微分を考えてきたが、より一般に、を上定義された のベクトル場（すなわち各時刻に対し、はを満たす。例えば）とするとき、レヴィ-チヴィタ接続は共変微分を定義可能である。さらにこれを自然に一般化する事により、２つのベクトル場、に対し、の方向の共変微分を定義できる。
がの部分リーマン多様体である場合の共変微分 本節ではの部分リーマン多様体に対す共変微分を定義し、次節でそれを一般のリーマン多様体に拡張する。 をの部分リーマン多様体、を上の曲線、さらにを上定義された のベクトル場（すなわち各時刻に対し、はを満たす。例えばはの微分）とする。このとき
をのに沿った共変微分という。ここでは点におけるに対する接空間（と自然に同一視可能な ）への射影をとる操作である。
また、を上のベクトル場とするとき、
と定義し、の方向の共変微分を定義できる。ここでは時刻に点を通るの積分曲線である。
上に定義した２つの量はの内在的な量である事、すなわちからに誘導されるリーマン計量（とその偏微分）のみから得られる事が言える：ここでであり、であり、はの逆行列である。すなわちをクロネッカーのデルタとするとき、である。
同様に、とすると、以下が成立する：
一般のリーマン多様体における共変微分とその特徴づけ
定義 前節で述べたようにやはに内在的な量なので、一般のリーマン多様体に対しても、()、()、()式をもってこれらの量を定義できる：
レヴィ-チヴィタ接続の定義は()、()、()式に登場する局所座標に依存しているが、局所座標によらずwell-definedである事を証明できる。
レヴィ・チヴィタ接続の事をリーマン接続（）もしくはリーマン・レヴィ-チヴィタ接続（）とも呼ぶ#Andrews Lecture 8 p.74, Lecture 10 p.98.#新井 p.304.#Tu p.45.。
レヴィ-チヴィタ接続の定義から明らかに以下の事実が従う：
すなわち、共変微分、はユークリッド空間における微分概念、を一般のリーマン多様体に拡張したものである。
クリストッフェル記号 レヴィ-チヴィタ接続を局所座標で表したとき、()式で定義されるを局所座標に関するクリストッフェル記号という。クリストッフェル記号は
を満たす係数である。
クリストッフェル記号は以下の座標変換則を満たす：
証明からわかるように、この変換則はライプニッツ則から従っている。また、上の定理から特に、クリストッフェル記号は（物理学用語の意味での）テンソルではない。
リーマン幾何学の基本定理 レヴィ-チヴィタ接続は以下の性質により特徴づけられる：ここで、、は上の任意の可微分なベクトル場であり、、は上定義された任意の実数値級関数であり、、は任意の実数であり、は点においてとなるベクトル場であり、はの方向微分であり、はである。すなわち、
定義に関していくつか注釈を述べる。第一に、条件1のように、任意の級関数に対して線形性が成り立つことを-線形であるという#Tu p.49. 。一般に-線形な汎関数は、一点の値のみでその値が決まる事が知られている#Tu pp.56-58.。例えばレヴィ-チヴィタ接続の場合、点におけるの値はのみに依存し以外の点におけるの値には依存しない。
第二に、5番目の条件は後述するテンソル積の共変微分を用いると、
とも書ける。
最後に、上に挙げた5つの条件のうち、最初の3つを満たす微分演算子をアフィン接続といい、レヴィ-チヴィタ接続を一般化した概念として知られている。
Koszulの公式
上述した特徴づけを使うと、レヴィ-チヴィタ接続の成分によらない具体的な表記を得る事ができる。
二階共変微分 、、を上の３つのベクトル場とする二階共変微分とは、ライプニッツ則が成立するようにに補正を加えたものである。すなわち、が「部分を共変微分したもの」と「それ以外の部分を共変微分したもの」の和になるように二階共変微分を定義する。ここではによりを共変微分したの事である。 上述の定義に対して２つ注意を述べる。第一に、三階以上の共変微分も原理的にはライプニッツ則により同様に定義可能であるものの、定義が煩雑になる。そこで後の章で一般のテンソルに対する二階以上の共変微分を定義する際にはテンソル代数を使う事により、前述した「それ以外の部分の共変微分」という直観をより直接的に定義し、その定義が上述の定義と一致する事を見る。
第二に、がユークリッド空間の場合はであった（前述）ので、ユークリッド空間においてはももに等しく、したがって二階共変微分はとなる。よって二階共変微分はユークリッド空間ではない一般のリーマン多様体において初めて意味を持つ概念である。
規約 本項では文献#Viaclovsky p. 23.#Parker p.7.#Taylor p.92.に従い二階共変微分を「」と書いたが、文献ではこれと同じ物を「」のように、を逆順に表記している。また、我々は文献に従い、「」という記号を使ったが、文献によっては「」の事を「」と書くものもある。この値はに、を順に作用させたとは異なるので注意されたい。
略記法
文章の前後関係から局所座標が分かるときはの事を 、 等と略記し、の事を 、 と略記する。さらにをの成分表示
により定義する#Kobayashi-Nomizu-1 p.144.。一方、関数の偏微分は
と「,」をつけて略記する。したがってとすれば、
が成立する。なお、
はの番目の係数ではなく、上述した二階共変微分の番目の係数を意味するので注意されたい。
フレーム|球面上の平行移動。大円で囲まれた三角形上でベクトルを一周平行移動すると、もとに戻ってきたときに元のベクトルには戻らない。
定義 リーマン多様体上の曲線上定義された上のベクトル場が
を恒等的に満たすとき、は上平行であるという#Tu p.263.。また、上の接ベクトルと上の接ベクトルに対し、、を満たす上の平行なベクトル場が存在するとき、はをに沿って平行移動（ ）した接ベクトルであるという。
ユークリッド空間の平行移動と異なる点として、どの経路に沿って平行移動したかによって結果が異なる事があげられる。この現象を（）という#Tu p.113.。
右図はホロノミーの具体例であり、接ベクトルを大円で囲まれた三角形に沿って一周したものを図示しているが、一周すると元のベクトルと90度ずれてしまっている事が分かる。
性質 に沿ってをまで平行移動したベクトルをとするとは線形変換であり、しかも計量を保つ。すなわち以下が成立する：
実は平行移動の概念によってレヴィ-チヴィタ接続を特徴づける事ができる：
ホロノミー群 とくに点から自身までの上の閉曲線に沿って一周する場合、接ベクトルを平行移動した元をと書くことにすると、 はから自身までの区分的になめらかな閉曲線 は（合成関数で積を定義するとき）上の直交群の（閉とは限らない）部分リー群になる#小林 p.72.。をレヴィ-チヴィタ接続に関する（）という。が弧状連結であればは点によらず同型である。
右|サムネイル|滑りとねじれのない転がし※図の記号は本文とは違い、本文の、がそれぞれ図の、である。 をユークリッド空間の次元部分多様体とし、上に曲線を取り（図の青の線）、に沿ってを次元平面上「滑ったり」「ねじれたり」することなく転がしたなお、捩率テンソルの事を「捩れテンソル」ともいうが、英語では、「捩れテンソル」はtorsion tensor、「ねじれのない転がし」の「ねじれ」はtwistであり、両者は無関係な概念である。ときにできる曲線の軌跡をとする（図の紫の線）。
を転がすと、時刻にがに接した瞬間にがに重なるので、自然に写像
が定義できる。この写像を使うと、のレヴィ・チヴィタ接続の幾何学的意味を述べることができる：すなわち、曲線に沿ったの共変微分をに移したものは、をに移したものを通常の意味で微分したものに一致する。この事実から特に、レヴィ-チヴィタ接続による平行移動とにおける通常の意味での平行移動の関係を示すことができる：
接続形式 をの接バンドルの局所的な基底とし、、を上のベクトル場とし、とすると、レヴィ-チヴィタ接続の定義から
である。この式は、共変微分にライプニッツ則を適用して成分部分の微分と基底部分の微分の和として表現したものと解釈できる。
そこで以下のような定義をする：
定義から明らかに
が成立する。
接続概念において重要な役割を果たす平行移動の概念は接続形式と強く関係しており、底空間の曲線に沿って定義された局所的な基底をで微分したものが接続形式に一致する。
レヴィ・チヴィタ接続による平行移動は回転変換、すなわちの元なので、その微分である接続形式はのリー代数の元、すなわち歪対称行列である厳密には以下の通りである。の曲線に沿って定義された局所的な基底を考え、をに沿って平行移動したものをとして行列を により定義すると、接続形式の定義より、 が成立する。ここでは成分ごとの微分の事である。 が計量と両立すれば、は正規直交基底である。よって が正規直交基底であれば、よりは回転変換であり、の微分は歪対称行列である。：
このように接続形式を用いるとベクトルバンドルの構造群（上の例では）が接続形式の構造をリー群・リー代数対応により支配している事が見えやすくなる。
上では回転群の場合を説明したが、（レヴィ-チヴィタ接続とは限らない）一般の接続概念に対し、物理学で重要な他の群、例えばシンプレクティック群やスピン群に対して同種の性質が証明でき、接続形式がリー群・リー代数対応により支配されている事がわかる。
こうした事実は接続概念を直接リー群と接続形式とで記述する方が数学的に自然である事を示唆する。リー群の主バンドルの接続はこのアイデアを定式化したもので、主バンドルの接続は接続形式に相当するものを使って定義される。詳細は接続 (ファイバー束)の項目を参照されたい。
測地線
定義 リーマン多様体上の曲線で測地線方程式
を恒等的に満たすものを測地線という#Tu p.103.。2階微分は物理的には加速度であるので、測地線とは加速度が恒等的にである曲線、すなわちユークリッド空間における直線を一般化した概念であるとみなせる。
リーマン多様体上の曲線の、弧長パラメータによる「二階微分」の長さ
をにおけるの測地線曲率（#Tu p.138.）、あるいは単に曲率（）という。よって測地線は、曲率がの曲線と言い換える事ができる。
存在性と一意性 常微分方程式の局所的な解の存在一意性から、点における接ベクトルに対し、あるが存在し、 、
を満たす測地線が上で一意に存在する。この測地線を
と書く。
しかし測地線は任意の長さに延長できるとは限らない。たとえば（に通常のユークリッド空間としての計量を入れた空間）において、測地線はまでしか延長できない。任意の測地線がいくらでも延長できるとき、リーマン多様体は測地線完備であるという#Tu p.130.。
測地線が全域に拡張できるか否かに関して以下の定理が知られている。
特徴づけ 測地線の概念を全く違った角度から特徴づける事ができる。
弧長の停留曲線 このことを示すため、いくつか記号を導入する。をリーマン多様体とし、を上のレヴィ-チヴィタ接続とする。 をの局所座標とし、を成分でと表す。
上の滑らかな曲線を考え、を局所座標で表したものをとする。さらに を滑らかな写像でとなるものとし、に対して曲線
を考える。ここで和や定数倍は、をの元と見たときの和や定数倍である。
そして、
と定義し弧長積分
を考える。「停留曲線」は直観的には滑らかな曲線全体の空間での「微分」がになるという事である。
変分法の一般論から次が成立する：曲線の弧長
によってをパラメトライズする事を弧長パラメーター表示という。実は次が成立する：
エネルギーの停留曲線 上では測地線が
に対して停留曲線になる事を示したが、エネルギー
から得られる
に対しても停留曲線は測地線になっている事が知られている。
しかもこの事実はが正定値や非退化でなくても成立する：この事実は擬リーマン多様体を基礎に置く一般相対性理論では、運動エネルギーを最小にする曲線、すなわち自由落下曲線が測地線になる事を含意する。
正規座標 測地線の局所的存在性から、点における接ベクトル空間の原点の近傍の任意の元に対し、測地線が存在する。必要ならを小さく取り直す事で写像
が中への同型になるようにする事ができる。ベクトル空間の開集合からへの中への同型なので、をの点の周りの局所座標と見なす事ができる。この局所座標をの点における（）という#Tu p.118.。
において、の方向の方向微分は
である。正規座標において、共変微分は方向微分と一致する：
なお、後述するテンソルの共変微分に関しても、正規座標においては方向微分に一致する。
曲率
動機 レヴィ-チヴィタ接続を成分で書いた
より、であれば、すなわちMが「平たい」空間であれば、クリストッフェル記号は全てになる。
この「平たい」空間とのズレを測るのが曲率である。ただしクリストッフェル記号は局所座標の取り方に依存しているため、クリストッフェル記号自身を用いるのではなく、別の方法で「平たい」空間とのズレを測る。
ズレを測るため、クリストッフェル記号が全てであれば、
となる事に着目する。この事実から「平たい」空間では、
が常に成立する事を示せる。そこで
と定義すると、はが「平たい」ときには恒等的にゼロになり、この意味においてはの「曲がり具合」を表している考えられる。
定義と性質
定義
ここではである。 は、、のいずれに関しても-線形である事が知られており、したがって、各に対し、
というテンソルとみなせる。
前述した二階共変微分を使うと曲率テンソルは以下のように書ける事も知られている：
すなわち、曲率テンソルは二階共変微分の非可換度合いとして特徴づけられる。
規約 一部の文献#Gallier p.394.では符号を反転したを曲率と呼んでいるので注意されたい。
本項の規約では後述する断面曲率の定義において分子をのように不自然な順番で、を並べる必要があるが、文献の規約であればと自然な順番で並べられるので有利である。
性質 次の事実が知られている：
ここではが3つの接ベクトル、、を引数にとって1つの接ベクトルを返す事から、をテンソル積の元とみなしたときの共変微分である。テンソル積に対する共変微分の定義は後述する。
成分表示 曲率はクリストッフェル記号を用いて以下のように表すことができる： 以下のようにも成分表示できる：
ここでは下記のKulkarni–Nomizu積である：
特徴づけ 点を原点とする正規座標を使うと曲率は以下のように特徴づけられる：ここでである。
また、
を任意のなめらかな関数とし、
、
とし、、に沿った平行移動を
、
とすると、曲率を以下のように特徴づけられる#Prasolov p.203.#Rani p.22.：この定理は一般のベクトルバンドルに対する接続においても成立する。
断面曲率、リッチ曲率、スカラー曲率 をリーマン多様体のレヴィ-チヴィタ接続とし、をの点とし、とし、さらにをの基底とする。なお、書籍によっては本項のリッチ曲率、スカラー曲率をそれぞれ倍、倍したものをリッチ曲率、スカラー曲率と呼んでいるものもある#Carmo p.97.ので注意されたい。 また断面曲率はという記号で表記する文献も多いが、後述するガウス曲率と区別するため、本稿ではという表記を採用した。
定義から明らかなように、以下が成立する：実は断面曲率は曲率テンソルを特徴づける：
部分リーマン多様体における断面曲率
次元リーマン多様体が別のリーマン多様体の余次元の部分リーマン多様体、すなわち、の場合は、以下が成立する#Carmo p.131.：ここでは点における主方向でを対応する主曲率であり、はのにおける断面曲率であり、はのにおける断面曲率である。
よって特にが2次元リーマン多様体でがの場合はの断面曲率はガウス曲率に一致する：
定曲率空間 定曲率空間では曲率が下記のように書ける：上記の定理より、必要ならリーマン計量を倍する事で、任意の定曲率空間は、曲率が、、もしくはの定曲率空間と「相似」である事がわかる。
曲率が、、の定曲率空間については以下の事実が知られている：よって被覆空間の一般論から以下の系が従う：
本節ではテンソルに対する共変微分を定義する。
1-形式の共変微分 はリーマン多様体なので、の接ベクトル空間と余接ベクトル空間は自然に同一視できる。この同型写像を
と書くことにする（Musical isomorphism）。
ここでは上のベクトル場である。すると上のベクトル場に対しライプニッツ則
が成り立ち、局所座標で書けば、
-テンソル場の共変微分
定義 より一般に、を上の-テンソル場の共変微分はライプニッツ則により定義する。
また微分形式に関しては
と見なすことによりテンソル積の共変微分を用いて微分形式の共変微分を定義できる。
具体例 上の-形式、すなわち上の関数の共変微分は
である。またを-形式とし、をを満たす曲線とすると、は通常の微分
にほかならない#Berger p.705.。
定義 を上の-テンソル場とし、ベクトル場にの-テンソル場としての共変微分を対応させる写像を
と書くと、は-テンソル場とみなせる。同様にを-テンソル場とし、ベクトル場にの-テンソル場としての共変微分を対応させる写像をとする。-テンソル場全体の集合をと書き、合成
により定義される写像を
と書き、をの二階共変微分（）#Viaclovsky pp.23, 25, 26.という。三階以上の共変微分も同様に定義できる。
二階共変微分で１つ目に増えた引数にベクトル場、２つ目に増えた引数にベクトル場を代入した-テンソル場を
と書く。
性質 定義から明らかなようには双線形性
を満たす。このことからも分かるようにとは別の値であり、両者は
という関係を満たす。すなわち、本章で定義した二階共変微分は前の章で書いた二階共変微分の別定義を満たす。
リッチの公式
なお、と定義すれば#Parker p.13.、最後の式は
と書ける。
一般の-テンソルの場合の公式は上記の公式にライプニッツ則を適用する事で得られる。例えば-テンソルに対しては、
であるし#Viaclovsky p.15.、-テンソルに対しては、下記のとおりである：
リーマン多様体上のベクトル解析 本節では勾配、発散、ラプラシアンという、ユークリッド空間におけるベクトル解析で定義されている演算子をリーマン多様体上でも定義する。
ホッジ作用素、余微分
リーマン多様体上のベクトル解析を展開するための準備としてホッジ作用素と余微分を定義する。をの次元とする。が向き付け可能なとき、上にリーマン計量から定まる体積形式をとする。を微分形式とするとき
が任意のに対して成立するようなが存在する。をのホッジ双対といい、にを対応させる作用素
をホッジ作用素という#Gallier p.100.。
さらにの余微分を
により定義する#Gallier p.375.。ここでは外微分であり、をの次元である。外微分および余微分はレヴィ-チヴィタ接続による共変微分と以下の関係を満たす： ここではによる
である。
勾配 上の関数に対し、fの勾配を以下のように定義する。
ここではの外微分であり、「」は計量によるとの同型写像であり、は関数の-テンソルとみなしてテンソル場の共変微分を考え、前節のようにを定義したものであり、は局所座標におけるリーマン軽量の成分表示である。
発散 上のベクトル場の発散を以下のように定義する：
ここでは余微分であり、「」は計量によるとの同型写像であり、は局所座標におけるリーマン軽量の成分表示をとしたときの行列の行列式である。
発散のマイナスの符号は規約の問題で、ここに述べたものからマイナスの符号を取ったものを発散と呼ぶこともある。
ヘッシアン 上の関数に対し、前節のようにを定義すると、である。前節同様2階共変微分 を定義する。
ヘッシアンは
を満たすことを証明できるので、ヘッシアンは対称2次形式である。
ラプラシアン これまで同様に記号を取るとき、リーマン多様体上の関数のラプラシアンを以下のように定義する：
発散の定義でマイナスの符号がつく規約を採用した関係で、通常のラプラシアンとは符号が反対になっている事に注意されたい（この章で後述する他のラプラシアンも同様）。
上述したラプラシアンの定義を微分形式に拡張する事ができるが、拡張方法は（同値ではない）２通りの方法がある。
ホッジ・ラプラシアン 関数に対するラプラシアンがと書けていた事に着目し、微分形式に対し、以下のようにラプラシアンを定義する：
なお、２つ目の等号はを使った。が0次の微分形式、すなわち上の関数の場合はなので、関数の場合に対するホッジ・ラプラシアンはラプラス・ベルトラミ作用素に一致する。
ボホナー・ラプラシアン
関数に対するラプラシアンがと書けることに着目し、微分形式のもう一つのラプラシアンを以下のように定義する：
ここでは接ベクトル空間の局所的な正規直交基底である。とするとき、余ベクトル空間の内積が誘導する写像を考え、合成
と書く。ここではに値を取るテンソル場の集合である。すると
が成立する#Parker p.15, #Gallier pp.392.。
ヴァイツェンベック・ボホナーの公式
２つのラプラシアンは以下の関係を満たす：
ここでは曲率テンソルであり、である。
上記の公式をヴァイツェンベック・ボホナーの公式（#Gallier pp.396.）あるいはヴァイツェンベックの公式（）という。
特にが1-形式であれば、以下が成立する：
ここではリッチ曲率を使って
により定義される1-形式であり、「」は計量によるとの同型写像である。
擬リーマン多様体のレヴィ-チヴィタ接続 最後に一般相対性理論で重要な擬リーマン多様体のレヴィ-チヴィタ接続について述べる。ここで擬リーマン多様体とはリーマン多様体と同様、各点に対してに関してなめらかで非退化な二次形式を対応させるが、に正定値性を要求しないものである#新井 p.281.。このようなを擬リーマン計量という。の次元をとするとき、擬リーマン多様体で特にの行列としての符号数がになるものを特にローレンツ多様体と呼び、一般相対性理論で時空間はの場合のローレンツ多様体として定式化される。
擬リーマン多様体の場合もが正定値とは限らないだけで、リーマン多様体の場合と同じ式でレヴィ-チヴィタ接続を定義できる#新井 pp.300-302.。またリーマン多様体の場合と同じ公理によってレヴィ-チヴィタ接続を特徴づける事も可能である。
平行移動、共変微分、測地線、正規座標、曲率といった概念も同様に定義でき、平行移動はを保つ線形写像となる。
一方、リーマン多様体のものとの違いとしては、Hopf-Rinowの定理が成り立たない事が挙げられる。リーマン多様体の場合、がコンパクトであればは距離空間として完備なのでHopf-Rinowの定理からは測地線完備になる。しかしがコンパクトであっても、上の擬リーマン計量が定めるレヴィ-チビタ接続は測地線完備になるとは限らず、反例としてが知られている。
また擬リーマン多様体ではが定義できるとは限らないので、測地線を長さの停留曲線として特徴づける事はできない。しかしエネルギーは擬リーマン多様体でも定義でき、測地線をエネルギーの停留曲線として特徴づけられる#新井 pp.329-331.。一般相対性理論においては、これはエネルギーを極小にする曲線が自由落下の軌道である事を意味する。
歴史 レヴィ・チヴィタ接続は、トゥーリオ・レヴィ＝チヴィタ(Tullio Levi-Civita)の名前に因んでいるが、接続に相当する概念はエルヴィン・クリストッフェル(Elwin Bruno Christoffel)によってそれ以前に導入されていた。レヴィ・チヴィタはSee Levi-Civita (1917)、(Gregorio Ricci-Curbastro)とともに、クリストッフェルの記号See Christoffel (1869)を用いて平行移動の概念を定義し、平行移動と曲率との関係を研究した。それによってホロノミーの現代的定式化を開発したSee Spivak (1999) Volume II, page 238。
レヴィ・チヴィタによる曲線に沿ったベクトルの平行移動や内在的微分という概念は、元々 という特別な埋め込みに対して考えられた。しかし、実際にはそれらは抽象的なリーマン多様体にたいしても意味をなす概念である。何故ならば、クリストッフェルの記号は任意のリーマン多様体上で意味を持つからである。
1869年、クリストッフェルは、ベクトルの内在的微分の各成分は反変ベクトルと同様な変換にしたがうことを発見した。この発見はテンソル解析の真の始まりである。1917年になって初めて、レヴィ・チヴィタによって、アフィン空間に埋め込まれた曲面の内在的微分が、周囲のアフィン空間での通常の微分の接方向成分として解釈された。
注 出典
注釈
文献
参考文献
歴史的な文献
関連項目
部分リーマン多様体の接続と曲率 (Weitzenböck connection)
外部リンク
MathWorld: Levi-Civita Connection PlanetMath: Levi-Civita Connection Levi-Civita connection at the Manifold Atlas