stanford-oval/wikipedia huggingface dataset:
KNN (放送局)
送信所・中継局一覧 > デジタルテレビ

リモコンキーID：6-1
呼出符号（コールサイン）：HLDG-DTV
| 送信所 | 物理チャンネル | 空中線電力 |
| --- | --- | --- |
| 荒嶺山 | K-15ch | 2.5kW |
| 鼎冠 | K-20ch | 50W |
| 機張 | K-33ch | 90W |
| 大辺港 | K-33ch | 0.05W |
| 長山 | K-30ch | 20W |
| 万徳 | K-40ch | 20W |
| 東三 | K-15ch | 0.05W |
| 天馬山 | K-50ch | 20W |
| 菉山 | K-24ch | 90W |
| 梁山タワー | K-36ch | 90W |
| 仏母山 | K-33ch | 2.5kW |
| 龍嶝 | K-20ch | 5W |
| 望鎮山 | K-19ch | 1kW |
| 玉宗 | K-19ch | 0.05W |
| 紺岳山 | K-36ch | 1kW |
送信所・中継局一覧 > アナログテレビ

呼出符号：HLDG-TV
| 送信所 | チャンネル | 空中線電力 |
| --- | --- | --- |
| 荒嶺山 | K-19ch | 30kW |
| 鼎冠 | K-37ch | 50W |
| 機張 | K-31ch | 100W |
| 長山 | K-46ch | 100W |
| 万徳 | K-51ch | 100W |
| 天馬山 | K-44ch | 100W |
| 仏母山 | K-64ch | 10kW |
| 菉山 | K-34ch | 500W |
| 龍嶝 | K-21ch | 10W |
| 望鎮山 | K-62ch | 5kW |
| 紺岳山 | K-68ch | 5kW |
送信所・中継局一覧 > ラジオ

| 送信所 | 周波数 | 空中線電力 | 呼出符号 |
| --- | --- | --- | --- |
| 荒嶺山 | FM 105.7MHz | 1kW | HLDG-2FM |
| 梁山 | FM 88.5MHz | 20W | HLDG-2FM |
| 鼎冠 | FM 89.3MHz | 20W | HLDG-2FM |
| 機張 | FM 89.3MHz | 20W | HLDG-2FM |
| 仏母山 | FM 90.9MHz | 1kW | HLDG-2FM |
| 望镇山 | FM 98.7MHz | 1kW | HLDG-2FM |
| 送信所 | 周波数 | 空中線電力 | 呼出符号 |
| --- | --- | --- | --- |
| 荒嶺山 | FM 99.9MHz | 5kW | HLDG-FM |
| 鼎冠 | FM 96.3MHz | 20W | HLDG-FM |
| 機張 | FM 96.3MHz | 20W | HLDG-FM |
| 梁山 | FM 96.3MHz |  | HLDG-FM |
| 仏母山 | FM 102.5MHz | 1kW | HLDG-FM |
| 将軍台山 | FM 105.5MHz | 1kW | HLDG-FM |
| 紺岳山 | FM 106.7MHz |  | HLDG-FM |
送信所・中継局一覧 > 地上波DMB

呼出符号：HLDG-TDMB
蔚山放送(ubc)と共同運営。
| 送信所 | 物理チャンネル（周波数） | 空中線電力 |
| --- | --- | --- |
| 荒嶺山 | K-12Cch (208.736MHz) | 2kW |
| 梁山タワー | K-12Cch (208.736MHz) | 90W |
| 機張 | K-12Cch (208.736MHz) | 90W |
| 鼎冠 | K-12Cch (208.736MHz) | 90W |
| 舞龍山 | K-12Cch (208.736MHz) | 2kW |
| 尾浦 | K-12Cch (208.736MHz) | 90W |
| 文殊山 | K-12Cch (208.736MHz) | 90W |
| 仏母山 | K-12Cch (208.736MHz) | 2kW |
| 統営 | K-12Cch (208.736MHz) | 90W |
| 将軍台山 | K-9Cch (190.736MHz) | 2kW |
| 紺岳山 | K-9Cch (190.736MHz) | 2kW |
海外提携局

日本 テレビ西日本
日本 エフエム青森
中国 天津電視台
中国 青島電視台
レバー

レバー
肝臓
レバー (食材)
てこ
レバー (操作機具)
三田育雄

三田育雄（みた いくお、1939年 - ）は、日本の造園家。環境デザイナー。観光コンサルタント。観光学者。東北芸術工科大学名誉教授。長野大学教授、株式会社田園プラザ川場会長。
大学院時代から全国各地で地域振興計画・観光地活性化計画づくり等をてがけ、観光施設の基本計画づくりと経営指導、観光客実態志向調査のほか、地域間交流・観光を生かしたまちづくり及びむらづくりを手がけてきた。関東富士百景選定委員会委員、上田市観光ビジョン策定委員会委員などを歴任。専門は地域計画と農村計画、観光論。東京都生まれ。
経歴

1962年、東京大学農学部林学科卒業
1964年、東京大学生物系大学院修士課程林学専攻修了
1964年-1966年、V.H.ピンクニーJr.設計事務所に勤務
1966年-1968年、北海道庁勤務
1969年、株式会社ラック計画研究所設立
1993年、東北芸術工科大学デザイン工学部環境デザイン学科教授
1993年、田園プラザ川場代表取締役
2006年、長野大学環境ツーリズム学部環境ツーリズム学科教授
2013年、長野大学選択定年退職
主な業績

三井物産相模湖ピクニックランド開発
道の駅「田園プラザ川場」計画・経営の実践
群馬県川場村における地域間交流からのむらづくりの企画と実践/村づくりアドバイザー(昭和58年度日本造園学会賞調査・計画部門)
川場村/世田谷区との交流事業プロモーション
大学教育における山形県上山市茂吉の里づくり・総合計画策定委員会委員長
大学教育における山形県八幡町体験交流型さとづくり
山形県西川町美しいまちづくり調査及び診断とイベント支援
水源の森林保育・保全計画
観光研究学会でのゆたかな旅と観光地研究
著書

観光レクレーション計画論（共著）技報堂
地方都市創造への挑戦（共著）八朔社
農村と都市の交流（共著）ぎょうせい出版
環境を創造する（共著）日本放送協会出版会
住蓮

住蓮（じゅうれん、生年不詳 - 建永2年2月9日（1207年3月9日））は、平安時代末期から鎌倉時代初期にかけての法然門下の浄土宗の僧。大和源氏の流れを汲む東大寺の僧実遍を父として生まれる。
人物略歴

美声の持ち主で、唱導を能くし、法然の専修念仏を広めることに尽力した。各所の別時念仏で六時礼讃をおこない、僧俗の帰依を受けた。
法然の浄土教教団が独自に発展するにつれ旧仏教勢力からの浄土教教団に対する弾圧も強まり、住蓮は『興福寺奏状』が朝廷に出されたあとの建永元年（1206年）12月、安楽房遵西とともに後鳥羽上皇の女房たちと密通をはたらいたとの嫌疑をかけられ、翌建永2年/承元元年（1207年）には近江国馬淵荘で弟子の僧と共に斬首の刑に処せられた。この事件は、法然の讃岐への流罪、親鸞の越後への流罪などとあわせて、承元の法難と呼ばれている。
レヴィ・チヴィタ接続

数学 > 幾何学 > 多様体論 > 微分幾何学 > 接続 > ベクトルバンドルの接続 > アフィン接続 > レヴィ・チヴィタ接続
数学 > 幾何学 > 多様体論 > 微分幾何学 > リーマン幾何学 > レヴィ・チヴィタ接続
レヴィ-チヴィタ接続（レヴィ-チヴィタせつぞく、英: Levi-Civita connection）とは、リーマン多様体M上に共変微分という概念を定める微分演算子で、Mがユークリッド空間 \mathbb {R} ^{n}の部分多様体の場合は、 \mathbb {R} ^{n}における（通常の意味の）微分をMに射影したものが共変微分に一致する。
レヴィ-チヴィタ接続は擬リーマン多様体においても定義でき、一般相対性理論に応用を持つ。
レヴィ-チヴィタ「接続」という名称はより一般的なファイバーバンドルの接続概念の特殊な場合になっている事により、接続概念から定義される「平行移動」（後述）を用いる事で、M上の相異なる2点を「接続」してこれら2点における接ベクトルを比較可能になる。
レヴィ-チヴィタ接続において定義される概念の多くは一般のファイバーバンドルの接続に対しても定義できる。
レヴィ-チヴィタ接続の名称はイタリア出身の数学者トゥーリオ・レヴィ＝チヴィタによる。
モチベーション

M を \mathbb {R} ^{N}の部分多様体、 c(t)をM上の曲線、さらに v(t)を c(t)上定義されたM のベクトル場（すなわち各時刻tに対し、 v(t)は v(t)\in T_{c(t)}Mを満たす）とし、
と定義する。ここでPrはMの点c(t)における \mathbb {R} ^{n}内の接平面（と自然に同一視可能なTc(t)M ）への射影である。またX、YをM上のベクトル場とするとき、
と定義する。ここで \exp(tX)(P)は時刻0に点 P\in Mを通るXの積分曲線である。実はこれらの量はMの内在的な量である事、すなわち \mathbb {R} ^{n}からMに誘導されるリーマン計量（とその偏微分）のみから計算できる事が知られている。具体的には以下の通りである：
定理 ― Mに局所座標 (x^{1},\ldots ,x^{m})を取るとき、以下が成立する（アインシュタインの縮約で表記）：
ここで v(t)=v^{i}(t){\tfrac {\partial }{\partial x^{i}}}であり、 (g^{i\ell })_{i\ell }は (g_{\ell j})_{\ell j}の逆行列である。すなわち \delta ^{i}{}_{j}をクロネッカーのデルタとするとき、 g^{i\ell }g_{\ell j}=\delta ^{i}{}_{j}である。
\mathbb {R} ^{n}の元を成分で {\vec {y}}=(y^{1},\ldots ,y^{n})と表し、局所座標が (x^{1},\ldots ,x^{m})で表せるMの元の \mathbb {R} ^{n}における成分表示を
と表すと、
である。 {\tfrac {\partial {\vec {y}}}{\partial x^{k}}}(x(t))はMの {\vec {y}}(x(t))における接平面に属しているので、
が成立する。よって後は \mathrm {Pr} _{c(0)}\left({\tfrac {\partial ^{2}{\vec {y}}}{\partial x^{j}\partial x^{k}}}(x(t))\right)の具体的な形を決定すれば良い。そのためには成分で
と書いて係数の a_{jk}^{i}(t)を決定すればよい。以下記号を簡単にするため「 a_{jk}^{i}(t)」を単に「 a_{jk}^{i}」と書き、偏微分から「 x(t)」を省略する。すると、
であるので、
である。一方ライプニッツ・ルールより
であるので、添字をサイクリックに回すと、
である。これを解いて、
よって \Gamma _{jk}^{i}の定義と(C)より、
が結論付けられる。よって(A)、(B)、(C)から
同様に X=X^{i}{\tfrac {\partial }{\partial x^{i}}}、 Y=Y^{i}{\tfrac {\partial }{\partial x^{i}}}とすると、以下が成立する：
定理 ―
定義と特徴づけ

前節で述べたように {\tfrac {\nabla }{dt}}v(t)や∇XYはMに内在的な量なので、一般のリーマン多様体に対しても、(1)、(2)、(3)式をもってこれらの量を定義できる：
定義 (レヴィ-チヴィタ接続) ―  (M,g)をリーマン多様体とする。Mのベクトル場X、Yに対し、(2)、(3)式のように定義された \nabla _{X}Yを対応させる演算子∇を (M,g)のレヴィ-チヴィタ接続（英: Levi-Civita connection）と呼びといい、 \nabla _{X}Yを∇XYをYのX方向の共変微分（英: covariant derivative）という。
定義 ―  c(t)をM上の曲線、 v(t)を c(t)上定義されたMのベクトル場とするとき、(1)式のように定義された {\tfrac {\nabla }{dt}}v(t)を曲線 c(t)に沿ったYの共変微分（英: covariant derivative）という。
レヴィ-チヴィタ接続の定義は(1)、(2)、(3)式に登場する局所座標 (x^{1},\ldots ,x^{m})に依存しているが、局所座標によらずwell-definedである事を証明できる。
レヴィ・チヴィタ接続の事をリーマン接続（英: Riemannian connection）もしくはリーマン・レヴィ-チヴィタ接続（英: Riemann Levi-Civita connection）とも呼ぶ。
レヴィ-チヴィタ接続を局所座標 (x^{1},\ldots ,x^{m})で表したとき、(2)式で定義される \Gamma ^{i}{}_{jk}を局所座標 (x^{1},\ldots ,x^{m})に関するクリストッフェル記号という。
定義と特徴づけ > リーマン幾何学の基本定理

レヴィ-チヴィタ接続は以下の性質により特徴づけられる：
定理 (リーマン幾何学の基本定理) ― レヴィ-チヴィタ接続は以下の5つの性質を満たす。またM上のベクトル場の組にM上のベクトル場を対応させる汎関数で以下の5つの性質をすべて満たすものはレヴィ-チヴィタ接続に限られる：
\nabla _{fX+gY}Z=f\nabla _{X}Z+g\nabla _{Y}Z (関数に関する左線形性)
\nabla _{X}(aY+bZ)=a\nabla _{X}Y+b\nabla _{X}Z(実数に関する右線形性)
\nabla _{X}(fY)=X(f)Y+f\nabla _{X}Y　（ライプニッツ則）
\nabla _{X}Y-\nabla _{Y}X=[X,Y] (捻れなし）
Z(g(X,Y))=g(\nabla _{Z}X,Y)+g(X,\nabla _{Z}Y) （計量との両立）
ここでX、Y、ZはM上の任意の可微分なベクトル場であり、f、gはM上定義された任意の実数値C∞級関数であり、a、bは任意の実数であり、 fYは点 u\in Mにおいて f(u)Y_{u}となるベクトル場であり、 X(f)はfのX方向微分であり、 [X,Y]はリー括弧（英語版）である。すなわち、
条件1のように、任意のC∞級関数に対して線形性が成り立つことを C^{\infty }(M)-線形であるという。一般に C^{\infty }(M)-線形な汎関数は、一点の値のみでその値が決まる事が知られている。例えばレヴィ-チヴィタ接続の場合、点 P\in Mにおける \nabla _{X}Yの値はXPのみに依存しP以外の点QにおけるXの値XQには依存しない。
なお、5番目の条件は後述するテンソル積の共変微分を用いると、
とも書ける。
定義と特徴づけ > Koszulの公式

上述した特徴づけを使うと、レヴィ-チヴィタ接続の成分によらない具体的な表記を得る事ができる。
定理 (Koszulの公式) ― 
X、Y、Zをリーマン多様体M上の任意の可微分なベクトル場とするとき、以下が成立する：
定義と特徴づけ > 略記法

詳細は「」を参照
文章の前後関係から局所座標が分かるときは {\tfrac {\partial }{\partial x^{i}}}の事を
等と略記し、 \nabla _{\partial _{j}}Yの事を
と略記する。さらに Y^{i}{}_{;j}を \nabla _{j}Yの成分表示
により定義する。一方、関数fの偏微分 \partial _{j}fは
と「,」をつけて略記する。したがって Y=Y^{i}\partial _{i}とすれば、
が成立する。
なお、
は \nabla _{j}(\nabla _{k}Y)のi番目の係数ではなく、後述する二階共変微分 \nabla _{\partial _{j},\partial _{k}}Yのi番目の係数を意味するので注意されたい。
平行移動

詳細は「接続 (ベクトル束)#平行移動」を参照
平行移動 > 定義

リーマン多様体 (M,g)上の曲線 c(t)上定義されたM上のベクトル場 v(t)が
を恒等的に満たすとき、 v(t)は c(t)上平行であるという。また、 c(t_{0})上の接ベクトル w_{0}\in T_{c(t_{0})}Mと c(t_{1})上の接ベクトル w_{1}\in T_{c(t_{1})}Mに対し、 v(t_{0})=w_{0}、 v(t_{1})=w_{1}を満たす c(t)上の平行なベクトル場 v(t)が存在するとき、 w_{1}は w_{0}を c(t)に沿って平行移動（英: parallel transportation  along  c(t)）した接ベクトルであるという。
ユークリッド空間の平行移動と異なる点として、どの経路 c(t)に沿って平行移動したかによって結果が異なる事があげられる。この現象をホロノミー（英語版）（英: holonomy）という。
右図はホロノミーの具体例であり、接ベクトルを大円で囲まれた三角形に沿って一周したものを図示しているが、一周すると元のベクトルと90度ずれてしまっている事が分かる。
平行移動 > 性質

c(t)に沿って w_{0}\in T_{c(0)}Mを c(t)まで平行移動したベクトルを \varphi _{c,t}(v)\in T_{c(t)}Mとすると \varphi _{c,t}~:~T_{c(0)}M\to T_{c(t)}Mは線形変換であり、しかも計量を保つ。すなわち以下が成立する：
定理 (平行移動は計量を保つ) ―  g(\varphi _{c,t}(v),\varphi _{c,t}(w))=g(v,w)
実は平行移動の概念によってレヴィ-チヴィタ接続を特徴づける事ができる：
定理 (共変微分の平行移動による特徴づけ) ― 多様体M上の曲線 c(t)と c(t)上のベクトル場 v(t)に対し、 c(t)に沿った平行移動を \varphi _{c,t}(v)とすると、以下が成立する：
平行移動 > ホロノミー群

とくに点 u\in Mからu自身までのM上の閉曲線 c(t)に沿って一周する場合、接ベクトル v\in T_{u}Mを平行移動した元を \varphi _{c}(v)と書くことにすると、
は（合成関数で積を定義するとき） T_{u}M上の直交群の（閉とは限らない）部分リー群になる。 \mathrm {Hol} (\nabla ,P)をレヴィ-チヴィタ接続∇に関するホロノミー群（英語版）（英: holonomy group）という。Mが弧状連結であれば \mathrm {Hol} (\nabla ,P)は点Pによらず同型である。
幾何学的意味づけ

詳細は「滑りとねじれのない転がし」を参照
Mをユークリッド空間 \mathbb {R} ^{N}のn次元部分多様体とし、M上に曲線 c(t)を取り（図の青の線）、 c(t)に沿ってMをn次元平面 \mathbb {R} ^{n}\subset \mathbb {R} ^{N}上「滑ったり」「ねじれたり」することなく転がしたときにできる曲線の軌跡を {\tilde {c}}(t)とする（図の紫の線）。
Mを転がすと、時刻tに c(t)が \mathbb {R} ^{n}に接した瞬間に T_{c(t)}Mが \mathbb {R} ^{n}に重なるので、自然に写像
が定義できる。この写像を使うと、Mのレヴィ・チヴィタ接続∇の幾何学的意味を述べることができる：
定理 ―  v(t)\in T_{c(t)}Mを c(t)に沿ったM上のベクトル場とすると、以下が成立する：
すなわち、曲線 c(t)に沿った v(t)の共変微分を \mathbb {R} ^{n}に移したものは、 v(t)を \mathbb {R} ^{n}に移したものを通常の意味で微分したものに一致する。この事実から特に、レヴィ-チヴィタ接続による平行移動と \mathbb {R} ^{n}における通常の意味での平行移動の関係を示すことができる：
系 ―  c(a)における接ベクトル vをM上曲線 c(t)に沿って（レヴィ・チヴィタ接続の意味で）平行移動したものを v'とするとき、 {\tilde {c}}(a)におけるベクトル \varphi _{a}(v)を \mathbb {R} ^{n}上 {\tilde {c}}(b)まで通常の意味で平行移動したものは \varphi _{b}(v')に等しい。
接続形式

(e_{1},\ldots ,e_{m})を接バンドル TMの局所的な基底とし、X、YをM上のベクトル場とし、 Y=Y^{j}e_{j}とすると、レヴィ-チヴィタ接続の定義から
である。この式は、共変微分 \nabla _{X}Y=\nabla _{X}(Y^{j}e_{j})にライプニッツ則を適用して成分部分の微分 X(Y^{j})e_{j}と基底部分の微分 Y^{j}\nabla _{X}e_{j}の和として表現したものと解釈できる。
そこで以下のような定義をする：
定義 (接続形式) ― 行列 \omega (X)を
により定義し、Xに \omega (X)を対応させる行列値の1-形式 \omega =(\omega ^{i}{}_{j})_{ij}を局所的な基底 (e_{1},\ldots ,e_{m})に関するレヴィ・チヴィタ接続∇の接続形式（英: connection form）という
定義から明らかに
が成立する。
接続概念において重要な役割を果たす平行移動の概念は接続形式ωと強く関係しており、底空間Mの曲線 c(t)に沿って定義された局所的な基底 (e_{1}(t),\ldots ,e_{m}(t))をtで微分したものが接続形式 \omega ({\tfrac {dc}{dt}}(0))に一致する。
よって特に（レヴィ・チヴィタ接続などの）∇がEの計量と両立する接続の場合、∇による平行移動は回転変換、すなわち SO(m)の元なので、その微分である接続形式ωは SO(m)のリー代数 {\mathfrak {so}}(m)の元、すなわち歪対称行列である：
定理 ― ∇がE上の計量と両立するとき、 (e_{1},\ldots ,e_{m})をEの局所的な正規直交基底とすると、 (e_{1},\ldots ,e_{m})に関する接続形式ωは {\mathfrak {so}}(m)の元である。すなわちωは歪対称行列である。
このように接続形式を用いるとベクトルバンドルの構造群（上の例では SO(m)）が接続形式の構造をリー群・リー代数対応により支配している事が見えやすくなる。
上では回転群 \mathrm {SO} (m)の場合を説明したが、物理学で重要な他の群、例えばシンプレクティック群やスピン群に対しても同種の性質が証明でき、接続形式がリー群・リー代数対応により支配されている事がわかる。
こうした事実は接続概念を直接リー群と接続形式とで記述する方が数学的に自然である事を示唆する。リー群の主バンドルの接続はこのアイデアを定式化したもので、主バンドルの接続は接続形式に相当するものを使って定義される。詳細は接続 (ファイバー束)の項目を参照されたい。
測地線

「接続 (ベクトル束)#測地線」も参照
測地線 > 定義

リーマン多様体 (M,g)上の曲線 c(t)で測地線方程式
を恒等的に満たすものを測地線という。2階微分は物理的には加速度であるので、測地線とは加速度が恒等的に0である曲線、すなわちユークリッド空間における直線を一般化した概念であるとみなせる。
リーマン多様体M上の曲線の、弧長パラメータによる「二階微分」の長さ
をMにおける c(s)の測地線曲率[訳語疑問点]（英: geodesic curvature）、あるいは単に曲率（英: curvature）という。よって測地線は、曲率が0の曲線と言い換える事ができる。
測地線 > 存在性と一意性

常微分方程式の局所的な解の存在一意性から、点 P\in Mにおける接ベクトル v\in T_{P}Mに対し、ある \varepsilon >0が存在し、
を満たす測地線 c(t)が (-\varepsilon ,\varepsilon )上で一意に存在する。この測地線を
と書く。
しかし測地線は任意の長さに延長できるとは限らない。たとえば \mathbb {R} ^{2}\setminus \{0\}（に通常のユークリッド空間としての計量を入れた空間）において、測地線 c(t)=(1-t,0)は t<1までしか延長できない。任意の測地線がいくらでも延長できるとき、リーマン多様体は測地線完備であるという。
測地線が \mathbb {R} 全域に拡張できるか否かに関して以下の定理が知られている。
定理 (Hopf-Rinowの定理（英語版）) ―  (M,g)を連結なリーマン多様体とし、 \nabla をM上のレヴィ-チヴィタ接続とする。このとき、以下の条件は互いに同値である：
(M,g)はgが定める距離に関し、距離空間として完備である。
(M,\nabla )は測地線完備である。
全ての点 P\in Mに対し、TPMの全ての元vに対し \mathrm {exp} _{P}(v)を定義できる。
ある点 P\in Mに対し、TPMの全ての元vに対し \mathrm {exp} _{P}(v)を定義できる。
M上の任意の2点P、Qに対し、PとQの両方を通る（ \nabla に関する）測地線が存在する。
gが定める距離に関し、Mの有界閉集合はコンパクトである。
測地線 > 特徴づけ

測地線の概念を全く違った角度から特徴づける事ができる。
測地線 > 特徴づけ > 弧長の停留曲線

このことを示すため、いくつか記号を導入する。 (M,g)をリーマン多様体とし、 \nabla を (M,g)上のレヴィ-チヴィタ接続とする。  U\subset M\to \mathbb {R} ^{m}をMの局所座標とする。以下、U上でのみ議論する。議論を簡単にするため、Uを \mathbb {R} ^{m}の部分集合と同一視する。
U上の滑らかな曲線 P(t)を考え、この曲線の座標表示を x~:~[a,b]\to U\subset \mathbb {R} ^{m}、 P(t)=x(t)=(x^{1}(t),\ldots ,x^{m}(t))とする。さらに  \eta ~:~[a,b]\to U\subset \mathbb {R} ^{m} を滑らかな写像で \eta (a)=\eta (b)=0となるものとし、 \varepsilon >0に対して曲線
を考える。ここで和や定数倍は x(t)、 \eta (t)を \mathbb {R} ^{m}の元と見たときの和や定数倍である。
そして、
と定義し弧長積分
を考える。
定義 ―  x~:~[a,b]\to \mathbb {R} ^{m}を滑らかな曲線とする。 \eta (a)=\eta (b)=0を満たす任意の滑らかな写像 \eta ~:~[a,b]\to U\subset \mathbb {R} ^{m}に対し、
が成立するとき、曲線 x(t)は弧長積分の停留曲線もしくは（ x(t)を曲線全体の空間上の「点」とみなし）停留点（英: critical point）という。
「停留曲線」は直観的には滑らかな曲線全体の空間での「微分」が0になるという事である。

変分法の一般論から次が成立する：
定理 ― 曲線 x(t)が弧長積分の停留曲線である必要十分条件は x(t)が下記の方程式（弧長積分に関するオイラー・ラグランジュ方程式）を満たす事である：
曲線 x(t)の弧長
によって x(t)をパラメトライズする事を弧長パラメーター表示という。実は次が成立する：
定理 ― 滑らかな曲線 P(t)が弧長積分に関するオイラー・ラグランジュ方程式を満たす必要十分条件は、 P(t)を弧長パラメーターsに変換した P(s)が測地線方程式
を満たす事である。
であるので、オイラー・ラグランジュ方程式の左辺は
より、
である。一方右辺は
である。よって両辺を見比べることで、
左辺第一項の添字のiをkに代えて整理する事で、
よって、
ここで \ell とkの添字の付け替えにより
なので、
となる。クリストッフェル記号の定義から定理は証明された。
測地線 > 特徴づけ > エネルギーの停留曲線

上では測地線が
に対して停留曲線になる事を示したが、エネルギー
から得られる
に対しても停留曲線は測地線になっている事が知られている。
しかもこの事実はgが正定値や非退化でなくても成立する：
定理 ― gを多様体M上定義された（正定値でも非退化でもないかもしれない）二次形式の可微分な場とするとき、 {\bar {L}}(x,v):=g_{x}(v,v)
の停留曲線は {\bar {L}}に関するオイラー・ラグランジュ方程式
を満たす。
定理 ― 上の定理と同じ条件下、gに対するレヴィ-チヴィタ接続を \nabla とすると、 {\bar {L}}に関するオイラー・ラグランジュ方程式は変数tに関する測地線方程式
に一致する。
この事実は擬リーマン多様体を基礎に置く一般相対性理論では、運動エネルギーを最小にする曲線、すなわち自由落下曲線が測地線になる事を含意する。
測地線 > 正規座標

測地線の局所的存在性から、点 P\in Mにおける接ベクトル空間TPMの原点の近傍 0_{P}\in U\subset T_{P}Mの任意の元 v\in Uに対し、測地線 \exp _{P}(tv)が存在する。必要ならUを小さく取り直す事で写像
が中への同型になるようにする事ができる。ベクトル空間TPMの開集合からMへの中への同型なので、 v\in U\mapsto \exp _{P}(v)\in MをMの点Pの周りの局所座標と見なす事ができる。この局所座標をMの点uにおける正規座標（英語版）（英: normal coordinate）という。
\mathbb {R} ^{n}において、 Y(x)=(Y^{1}(x),\ldots ,Y^{n}(x))の X=(X^{1},\ldots ,X^{n})方向の方向微分は
である。正規座標において、共変微分は方向微分と一致する：
定理 (正規座標における共変微分と方向微分の関係) ― :  \exp _{P}~:~U\subset T_{P}M\to M
をMのPにおける正規座標とし、 X=X^{i}\partial _{x^{i}}、 Y=Y^{j}\partial _{x^{j}}をM上の2つのベクトル場とする。このとき、以下が成立する：
なお、後述するテンソルの共変微分に関しても、正規座標においては方向微分に一致する。
曲率 > 動機

レヴィ-チヴィタ接続を成分で書いた
より、 M=\mathbb {R} ^{m}であれば、すなわちMが「平たい」空間であれば、クリストッフェル記号は全て0になる。よって
この「平たい」空間とのズレを測るのが曲率である。ただしクリストッフェル記号は局所座標の取り方に依存しているため、クリストッフェル記号自身を用いるのではなく、別の方法で「平たい」空間とのズレを測る。
ズレを測るため、クリストッフェル記号 \Gamma _{jk}^{i}が全て0であれば、
となる事に着目する。この事実から「平たい」空間では、
が常に成立する事を示せる。そこで
と定義すると、 R(X,Y)ZはMが「平たい」ときには恒等的にゼロになり、この意味において R(X,Y)ZはMの「曲がり具合」を表している考えられる。
曲率 > 定義と性質 > 定義

M上のベクトル場X、Y、Zに対し、
と定義し、Rを \nabla に関する曲率（英: curvature）もしくは曲率テンソル（英: curvature tensor）という。ここで [X,Y]はリー括弧（英語版）である。
RはX、Y、Zのいずれに関しても C^{\infty }(M)-線形である事が知られており、したがって、各 P\in Mに対し、
というテンソルとみなせる。
曲率 > 定義と性質 > 規約

一部の文献では符号を反転した R(X,Y)Z:=-(\nabla _{X}\nabla _{Y}Z-\nabla _{Y}\nabla _{X}Z-\nabla _{[X,Y]}Z)を曲率と呼んでいるので注意されたい。
本項の規約では後述する断面曲率の定義において分子を g_{P}(R_{P}(v,w)w,v)=-g_{P}(R_{P}(v,w)v,w)とせねばならずマイナスが出てしまうが、文献の規約であればマイナスが出ない点で有利である。
曲率 > 定義と性質 > 性質

次の事実が知られている：
定理 ― リーマン多様体 (M,g)のレヴィ-チヴィタ接続の曲率は以下を満たす：
g(R(X,Y)Z,W)=-g(R(X,Y)W,Z)
g(R(X,Y)Z,W)=g(R(Z,W)X,Y)
ビアンキの第一恒等式： R(X,Y)Z+R(Y,Z)X+R(Z,X)Y=0
ビアンキの第二恒等式： (\nabla _{X}R)(Y,Z)+(\nabla _{Y}R)(Z,X)+(\nabla _{Z}R)(X,Y)=0
ここで (\nabla _{X}R)はRが3つの接ベクトルX、Y、Wを引数にとって1つの接ベクトル R(X,Y)Wを返す事から、Rをテンソル積 T^{*}M\otimes T^{*}M\otimes T^{*}M\otimes TMの元とみなしたときの共変微分である。テンソル積に対する共変微分の定義は後述する。
曲率 > 定義と性質 > 成分表示

曲率はクリストッフェル記号 \Gamma ^{i}{}_{jk}を用いて以下のように表すことができる：
定理 ―  R({\tfrac {\partial }{\partial x^{k}}},{\tfrac {\partial }{\partial x^{\ell }}}){\tfrac {\partial }{\partial x^{j}}}=R^{i}{}_{jk\ell }{\tfrac {\partial }{\partial x^{i}}}と成分表示すると、以下が成立する：
以下のようにも成分表示できる：
定理 ― 
 R_{ijk\ell }:=g(R({\tfrac {\partial }{\partial x^{k}}},{\tfrac {\partial }{\partial x^{\ell }}}){\tfrac {\partial }{\partial x^{j}}},{\tfrac {\partial }{\partial x^{i}}})とすると、以下が成立する：
ここで {~\wedge \!\!\!\!\!\!\!\!\;\bigcirc ~}は下記のKulkarni–Nomizu積である：
曲率 > 定義と性質 > 特徴づけ

点 P\in Mを原点とする正規座標 (x^{1},...,x^{m})を使うと曲率は以下のように特徴づけられる：
定理 ― :  g_{k\ell }=\delta _{k\ell }+{1 \over 3}R_{jk\ell i}x^{i}x^{j}+O(|x|^{3})
ここで R_{ikj\ell }:=g(R({\tfrac {\partial }{\partial x^{k}}},{\tfrac {\partial }{\partial x^{\ell }}}){\tfrac {\partial }{\partial x^{j}}},{\tfrac {\partial }{\partial x^{i}}})である。
また、
を任意のなめらかな関数とし、
とし、 \varphi _{t}^{X}(Q):=\mathrm {exp} _{Q}(tX)、 \varphi _{t}^{Y}(Q):=\mathrm {exp} _{Q}(tY)に沿った平行移動を
とすると、曲率を以下のように特徴づけられる：
定理 ―
この定理は一般のベクトルバンドルに対する接続においても成立する。
曲率 > 断面曲率、リッチ曲率、スカラー曲率

\nabla をリーマン多様体 (M,g)のレヴィ-チヴィタ接続とし、PをMの点とし、 v,w\in T_{P}Mとし、さらに e_{1},\ldots ,e_{m}を T_{P}Mの基底とする。
定義 ―
\mathrm {Sec} _{P}(v,w):={g_{P}(R_{P}(v,w)w,v) \over g_{P}(v,v)g_{P}(w,w)-g_{P}(v,w)^{2}}を点Pにおける v,wに関する断面曲率（英: sectional curvature）という。
\mathrm {Ric} _{P}(v,w):=\sum _{i}g_{P}(R_{P}(e_{i},v)w,e_{i})を点Pにおける v,wに関するリッチ曲率（英: Ricci curvature）という。
S_{P}:=\sum _{i,j}g_{P}(R_{P}(e_{i},e_{j})e_{j},e_{i}) =\sum _{j}\mathrm {Ric} _{P}(e_{j},e_{j})を点Pにおけるスカラー曲率（英: scalar curvature）という。
なお、書籍によっては本項のリッチ曲率、スカラー曲率をそれぞれ {\tfrac {1}{n-1}}倍、 {\tfrac {1}{n(n-1)}}倍したものをリッチ曲率、スカラー曲率と呼んでいるものもあるので注意されたい。 また断面曲率は K_{P}(v,w)という記号で表記する文献も多いが、後述するガウス曲率と区別するため、本稿では \mathrm {Sec} _{P}(v,w)という表記を採用した。
定義から明らかなように、以下が成立する：
定理 ― 断面曲率は v,wが貼る平面のみに依存する。すなわち v,wと v',w'がTPM内の同一平面を貼れば以下が整理する：
定理 ― リッチ曲率は線形写像
のトレースに一致し、スカラー曲率は、
を満たす線形写像ρのトレースに一致する。
よって特にリッチ曲率、スカラー曲率の定義は基底 e_{1},\ldots ,e_{m}の取り方によらない。
実は断面曲率は曲率テンソルを特徴づける：
定理 ―  (V,g)を計量ベクトル空間とし、
を各成分に対して線形な2つの写像とする。このとき、線形独立な任意のベクトル v,wに対し、
であれば、RとR'は同一の写像である。
曲率 > 断面曲率、リッチ曲率、スカラー曲率 > 部分リーマン多様体における断面曲率

詳細は「部分リーマン多様体の接続と曲率」を参照
「Theorema Egregium」も参照
m次元リーマン多様体Mが別のリーマン多様体 {\bar {M}}の余次元1の部分リーマン多様体、すなわち M\subset {\bar {M}}、 \dim {\bar {M}}=\dim M+1の場合は、以下が成立する：
定理 ― i≠jを満たす任意のi, j ∈{1,...,m}に対し、
ここで e_{1},\ldots ,e_{m}は点 u\in Mにおける主方向で \kappa _{1},\ldots ,\kappa _{m}を対応する主曲率であり、 \mathrm {Sec} _{u}(X,Y)はMのuにおける断面曲率であり、 {\overline {\mathrm {Sec} }}_{u}(X,Y)は {\bar {M}}のuにおける断面曲率である。
よって特にMが2次元リーマン多様体で {\bar {M}}が \mathbb {R} ^{3}の場合はMの断面曲率 \mathrm {Sec} _{u}(X,Y)はガウス曲率κ1κ2に一致する（Theorema Egregium）。
曲率 > 定曲率空間

定義 (定曲率空間) ―  (M,g)をリーマン多様体とする。ある c\in \mathbb {R} が存在して、Mの任意の点PとTPMの任意の独立なベクトルv、wに対し、
が成立するとき、 (M,g)を曲率cの定曲率空間という。
定曲率空間では曲率が下記のように書ける：
定理 (定曲率空間における曲率の形) ―  (M,g)をリーマン多様体とし、 c\in \mathbb {R} とする。このときMが曲率cの定曲率空間である必要十分条件は、Mの任意の点PとTPMの任意のベクトルX、Y、Z、Wに対し、
が成立する事である。
上記の定理より、必要ならリーマン計量gを {\tfrac {1}{\sqrt {|c|}}}倍する事で、任意の定曲率空間は、曲率が0、1、もしくは-1の定曲率空間と「相似」である事がわかる。

曲率が0、1、-1の定曲率空間については以下の事実が知られている：
定理 ― 曲率cのm次元定曲率空間 (M,g)が連結かつ単連結であり、しかも距離空間として完備であるとする。
このとき、次が成立する：
c=1であれば、 (M,g)はm次元ユークリッド空間とリーマン多様体として同型である。
c=0であれば、 (M,g)はm次元球面とリーマン多様体として同型である。
c=-1であれば、 (M,g)はm次元双曲空間（英語版）とリーマン多様体として同型である。
よって被覆空間の一般論から以下の系が従う：
系 ― 曲率が0、1、もしくは-1の連結かつ完備なm次元定曲率空間は、それぞれm次元ユークリッド空間、m次元球面、もしくはm次元双曲空間を普遍被覆空間に持つ。
テンソルの共変微分

本節ではテンソルに対する共変微分を定義する。
テンソルの共変微分 > 1-形式の共変微分

(M,g)はリーマン多様体なので、Mの接ベクトル空間と余接ベクトル空間は自然に同一視できる。この同型写像を
と書くことにする（Musical isomorphism）。
定義 ― 
M上の1-形式αの共変微分を以下のように定義する：
ここでXはM上のベクトル場である。するとM上のベクトル場Yに対しライプニッツ則
が成り立ち、局所座標 (x^{1},\ldots ,x^{m})で書けば、
\nabla _{X}\alpha を成分表示すると、
テンソルの共変微分 > (r,s)-テンソル場の共変微分 > 定義

より一般に、TをM上の(r,s)-テンソル場の共変微分はライプニッツ則により定義する。
定理・定義 ― TをM上の(r,s)-テンソル場とし、Tを写像
とみなす。このとき、M上の任意に1-形式 \alpha _{1},\ldots ,\alpha _{r}とM上の任意のベクトル場 X,Y_{1},\ldots ,Y_{s}に対し、
を満たす(r,s)-テンソル場 \nabla _{X}Tが存在する。 \nabla _{X}Tをベクトル場XによるTの共変微分という。
また微分形式に関しては
と見なすことによりテンソル積の共変微分を用いて微分形式の共変微分を定義できる。
テンソルの共変微分 > (r,s)-テンソル場の共変微分 > 具体例

M上の0-形式、すなわちM上の関数 f~:~M\to \mathbb {R} の共変微分は
である。またαをk-形式とし、 c(t)を {\tfrac {dc}{dt}}(0)=X_{c(0)}を満たす曲線とすると、 \nabla _{X}\alpha は通常の微分
にほかならない。
テンソルの共変微分 > 二階共変微分

「」も参照
テンソルの共変微分 > 二階共変微分 > 定義

TをM上の(r,s)-テンソル場とし、ベクトル場YにTの(r,s)-テンソル場としての共変微分∇YTを対応させる写像を
と書くと、 \nabla Tは(r,s+1)-テンソル場とみなせる。同様にT'を(r,s+1)-テンソル場とし、ベクトル場XにTの(r,s+2)-テンソル場としての共変微分∇YT'を対応させる写像を \nabla T'とする。(r,s)-テンソル場全体の集合を \Gamma (r,s)と書き、合成
により定義される写像を
と書き、 \nabla ^{2}TをTの二階共変微分（英: second covariant derivative）という。三階以上の共変微分も同様に定義できる。
二階共変微分 \Gamma (r,s){\overset {\nabla }{\to }}\Gamma (r,s+1){\overset {\nabla }{\to }}\Gamma (r,s+2)で１つ目に増えた引数にベクトル場Y、２つ目に増えた引数にベクトル場Xを代入した(r,s)-テンソル場を
と書く。
テンソルの共変微分 > 二階共変微分 > 性質

定義から明らかなように \nabla _{X,Y}^{2}Tは双線形性
を満たす。このことからも分かるように \nabla _{X,Y}^{2}Tと \nabla _{Y}(\nabla _{X}T)は別の値であり、両者は
という関係を満たす。
Zの共変微分 \nabla Zによって増えた引数にYを代入した値を \nabla Z(Y)と書くと、 \nabla Z(Y)=\nabla _{Y}Zであり
 \nabla _{X}\nabla _{Y}Z =\nabla _{X}(\nabla Z(Y)) =(\nabla ^{2}Z)(X,Y)+(\nabla Z)(\nabla _{X}Y) =\nabla _{X,Y}^{2}Z+\nabla _{\nabla _{X}Y}Z
テンソルの共変微分 > 二階共変微分 > 規約

\nabla _{X,Y}^{2}Tの２つの微分 \Gamma (r,s){\overset {\nabla }{\to }}\Gamma (r,s+1){\overset {\nabla }{\to }}\Gamma (r,s+2)で増えた２つの引数のうちどちらにXを入れ、どちらにYを入れるかは文献によって異なる。本項では文献に従い、先に増えた引数にY、後から増えた引数にXを入れたが、文献では逆に先に増えた引数にXを入れている。
また、我々は文献に従い、「 \nabla _{X,Y}^{2}T」という記号を使ったが、文献によっては「 \nabla _{X,Y}^{2}T」の事を \nabla _{X}\nabla _{Y}Tと書くものもある。この値はTに∇Y、∇Xを順に作用させた \nabla _{X}(\nabla _{Y}T)とは異なるので注意されたい。
テンソルの共変微分 > 二階共変微分 > リッチの公式

定理 (リッチの公式) ― 
X、YをM上のベクトル場とし、f、Z、αをそれぞれM上の実数値関数、ベクトル場、1-形式とする。このとき以下が成立する：
\nabla _{X,Y}^{2}f-\nabla _{Y,X}^{2}f=0
\nabla _{X,Y}^{2}Z-\nabla _{Y,X}^{2}Z=R(X,Y)Z
(\nabla _{X,Y}^{2}\alpha -\nabla _{Y,X}^{2}\alpha )Z=-\alpha (R(X,Y)Z)
なお、 (R(X,Y)\lrcorner \alpha )(Z):=\alpha (R(X,Y)Z)と定義すれば、最後の式は
と書ける。
一般の (r,s)-テンソルの場合の公式は上記の公式にライプニッツ則を適用する事で得られる。例えば (2,0)-テンソルに対しては、
であるし、 (1,1)-テンソルに対しては、下記のとおりである：
リーマン多様体上のベクトル解析

本節では勾配、発散、ラプラシアンという、ユークリッド空間におけるベクトル解析の演算子をリーマン多様体上で定義する。
リーマン多様体上のベクトル解析 > ホッジ作用素、余微分

詳細は「ホッジ双対」を参照
リーマン多様体上のベクトル解析を展開するための準備としてホッジ作用素と余微分を定義する。mをMの次元とする。Mが向き付け可能なとき、M上にリーマン計量gから定まる体積形式をdVとする。 \alpha \in \wedge ^{k}T^{*}Mを微分形式とするとき
が任意の \beta \in \wedge ^{m-k}T^{*}Mに対して成立するような *\alpha \in \wedge ^{m-k}T^{*}Mが存在する。 *\alpha をαのホッジ双対といい、αに *\alpha を対応させる作用素「 *」をホッジ作用素という。
さらにαの余微分を
により定義する。ここでdは外微分である。外微分および余微分はレヴィ-チヴィタ接続による共変微分と以下の関係を満たす：
定理 ―  e_{1},\ldots ,e_{m}をTMの局所的な正規直交基底とし、 \theta ^{1},\ldots ,\theta ^{m}をその双対基底とする。このときM上の任意の微分形式αに対し、以下が成立する：
d\alpha =\theta ^{i}\wedge \nabla _{e_{i}}\alpha
\delta \alpha =-\sum _{i}\iota _{e_{i}}\nabla _{e_{i}}\alpha
ここで \iota _{e_{i}}はeiによる内部積（英語版）
である。
リーマン多様体上のベクトル解析 > 勾配

M上の関数 f~:~M\to \mathbb {R} に対し、fの勾配を以下のように定義する。
定理・定義 ―
が成立する。この値を \mathrm {grad} fと書き、fの勾配（英: gradient）という。
ここでdfはfの外微分であり、「 {}^{\sharp }」は計量gによるT*MとTMの同型写像であり、 \nabla fは関数の (0,0)-テンソルとみなしてテンソル場の共変微分 \nabla _{X}f=Xfを考え、前節のように \nabla fを定義したものである。
リーマン多様体上のベクトル解析 > 発散

M上のベクトル場Xの発散を以下のように定義する：
定理・定義 ―
は
と等しい。この値を \mathrm {div} Xと書き、Xの発散（英: divergence）という。
ここでδは余微分であり、「 \flat 」は計量gによるTMとT*Mの同型写像である。
発散のマイナスの符号は規約の問題で、ここに述べたものからマイナスの符号を取ったものを発散と呼ぶこともある。
リーマン多様体上のベクトル解析 > ヘッシアン

M上の関数 f~:~M\to \mathbb {R} に対し、前節のように \nabla fを定義すると、 \nabla f=dfである。前節同様2階共変微分 \nabla _{X,Y}^{2}f
を定義する。
定義・定理 ―
が成立する。 \nabla _{X,Y}^{2}fをfのヘッシアン（英: Hessian）という。
ヘッシアンは
を満たすことを証明できるので、ヘッシアンは対称2次形式である。
リーマン多様体上のベクトル解析 > ラプラシアン

「」も参照
リーマン多様体上の関数fのラプラシアンを以下のように定義する：
定義 ― 
M上の関数 f~:~M\to \mathbb {R} に対し、
と定義し、Δをラプラス＝ベルトラミ作用素（英語版）（英: Laplace–Beltrami operator）、あるいは単にラプラシアンという。
発散の定義でマイナスの符号がつく規約を採用した関係で、通常のラプラシアンとは符号が反対になっている事に注意されたい（この章で後述する他のラプラシアンも同様）。
上述したラプラシアンの定義を微分形式に拡張する事ができるが、拡張方法は（同値ではない）２通りの方法がある。
リーマン多様体上のベクトル解析 > ラプラシアン > ホッジ・ラプラシアン

関数fに対するラプラシアンが \Delta f=\delta dfと書けていた事に着目し、微分形式αに対し、以下のようにラプラシアンを定義する：
定義 ―
αのホッジ・ラプラシアン（英: Hodge Laplacian）という。
なお、２つ目の等号は dd=\delta \delta =0を使った。αが0次の微分形式、すなわちM上の関数の場合は d\delta \alpha =0なので、関数の場合に対するホッジ・ラプラシアンはラプラス・ベルトラミ作用素に一致する。
リーマン多様体上のベクトル解析 > ラプラシアン > ボホナー・ラプラシアン

関数fに対するラプラシアンが -\mathrm {tr} (\nabla ^{2}f)と書けることに着目し、微分形式αのもう一つのラプラシアンを以下のように定義する：
定義 ―
をαのボホナー・ラプラシアン(英: Bochner Laplacian)、もしくはラフ・ラプラシアン（英: rough Raplacian）という。
ここで e_{1},\ldots ,e_{n}は接ベクトル空間の局所的な正規直交基底である。 E:=\wedge ^{k}T^{*}Mとするとき、余ベクトル空間の内積 g~:~T^{*}M\times T^{*}M\to \mathbb {R} が誘導する写像 g~:~T^{*}M\otimes T^{*}M\to \mathbb {R} を考え、合成
\nabla ^{*}と書く。ここで \Gamma (E)はEに値を取るテンソル場の集合である。すると
が成立する。
リーマン多様体上のベクトル解析 > ラプラシアン > ヴァイツェンベック・ボホナーの公式

詳細は「:en:Weitzenböck identity」を参照
２つのラプラシアンは以下の関係を満たす：
定理 ―  e_{1},\ldots ,e_{m}をTMの局所的な正規直交基底とし、 \theta ^{1},\ldots ,\theta ^{m}をその双対基底とし、さらにαをM上定義された微分形式とする。このとき以下が成立する：
ここでRは曲率テンソルであり、 (\iota _{e_{j}}R(e_{i},e_{j})\lrcorner \alpha )(X_{1},\ldots ,X_{n-1})=\alpha (R(e_{i},e_{j})e_{j},X_{1},\ldots ,X_{n-1})である。
上記の公式をヴァイツェンベック・ボホナーの公式（英: Weitzenböck–Bochner formula）あるいはヴァイツェンベックの公式（英: Weitzenböck formula）という。
特にαが1-形式であれば、以下が成立する：
ここで \mathrm {Ric} (\alpha )はリッチ曲率 \mathrm {Ric} (X,Y)を使って
により定義される1-形式であり、「 \sharp 」は計量gによるT*MとTMの同型写像である。