接続 (微分幾何学)とは - わかりやすく解説 Weblio辞書

接続 (微分幾何学)

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/12/18 09:18 UTC 版)

微分幾何学において接続（せつぞく、英: connection）とは、多様体のファイバーバンドル上に平行移動の概念を定義する事ができる数学的構造である。ただし数学的な取り扱いを容易にするため、平行移動の概念で直接的に接続を定義するのではなく、実質的に等価な別概念を用いて接続を定義する。

注

出典

^ C.G. Ricci, T. Levi=Civita (1901), Méthodes de calcul differéntiel absolu et leurs applications （絶対微分学の方法とその応用）矢野(1971) 和訳pp.17-95
^ 板場綾子「自己移入的Koszul多元環に対する有限条件(Fg) (有限群のコホモロジー論とその周辺)」『数理解析研究所講究録』第2061巻、京都大学数理解析研究所、2018年4月、33頁、CRID 1050001202603941760、hdl:2433/241849、ISSN 1880-2818、NAID 120006645349。
^ “Koszul duality for factorization algebras and extended topological field theories”. 2023年10月19日閲覧。
^ “2020年度幾何学 B アインシュタイン計量の幾何学 -リーマン幾何学入門とアインシュタイン計量の幾何学への応用-” (PDF). p. 75. 2023年10月19日閲覧。
^ #Spivak p.251. 「this possibility of comparing, or "connecting", tangent spaces at different points gives rise to the term "connection".」
^ #Andrews Lecture 10, p.2.
^ #Tu p.45.
^ #Andrews Lecture 8 p.74, Lecture 10 p.98.
^ #新井 p.304.
^ #Tu p.45.
^ #Spivak p.241.
^ José Figueroa-O'Farrill. “Lecture 5: Connections on principal and vector bundles”. PG course on Spin Geometry. p. 40. 2023年1月12日閲覧。
^ #森田 p.213.
^ #Tu p.72.
^ #小林 p.76.
^ #Tu p.75.
^ ^a ^b #Tu p.263.
^ #Tu p.113.
^ #Tu p.263.
^ #Spivak p.251.
^ #小林 p.38.
^ #Tu p.80.
^ #Spivak p.251.
^ #Tu p.256.
^ #Wendl3 p.73.
^ ^a ^b ^c ^d #Wendl3 p.74.
^ 「エーレスマン接続」という訳語は#佐古を参考にした。#佐古に目次にこの名称が確認できる。
^ #Epstein p.95.
^ #Tu p.256.
^ “Ehresmann connection”. nLab. 2023年8月30日閲覧。
^ #Kolar p.80.
^ #Kolar p.99.
^ #Kolar p.81.
^ #Tuynman p.345.
^ #Wendl3 p.75.
^ #Wendl3 pp.76-78.
^ #Kolar p.110.
^ #Wendl3 p.78.
^ #Wendl3 p.89.
^ #Tu p.247.
^ #Wendl3 p.89.
^ #Kolar p.100.
^ #Tu pp.255-256
^ #小林 p.61.
^ #Wendl3 p.90.なお本文献のみ「 $(R_{g})^{*}\omega _{p}$ 」ではなく「 $(R_{g})_{*}\omega _{p}$ 」になっているが、前後関係から「 $(R_{g})^{*}\omega _{p}$ 」の誤記と判断。
^ #Tu p.123.
^ #Salamon p.5.
^ #Wendl3 p.83.
^ #Pasquotto p.84.にこの定理のアフィン接続が述べられており、Koszul接続の場合も同様である旨が書いてある。このKoszul接続の場合は他の文献の記述からも従う。実際、 $G=\mathrm {GL} _{n}(\mathbb {R} )$ の場合に1:1対応する事は#森田 pp.319-321従い、この場合に ${\hat {\omega }}_{e}=e^{*}(\omega )$ となる事は#Tu p.268から従う。そして $G$ が $\mathrm {GL} _{n}(\mathbb {R} )$ の部分リー群である場合に関しては#Kobayashi-Nomizu1 p.83のRemarkより $\mathrm {GL} _{n}(\mathbb {R} )$ -主バンドル $F_{\mathrm {GL} _{n}(\mathbb {R} )}(E)$ 上の接続形式が $G$ -主バンドル $F_{G}(E)$ にreduceする必要十分条件は $ω$ が $G$ のリー代数に値を取る事であるので、上記の事実から従う。
^ #Kobayashi-Nomizu-1 p.127.
^ ^a ^b #Wendl5 p.121.
^ #Kolar p.77.
^ #Tu p.49
^ #Tu p.56,58
^ #Wendl5 pp.119,121.
^ ^a ^b #Kolar pp.100-101.
^ #Tu p.270
^ ^a ^b #森田 p.302.
^ #小林 p.43.
^ #小林 p.43.
^ #Tu p.80
^ #Wendl5 p.123.
^ #Tu p.270.
^ ^a ^b ^c ^d ^e ^f #Kolar pp.82-83.
^ Freeman 2011.
^ 日本数学会編 2007.
^ Christoffel 1869.
^ Levi-Civita 1900.
^ Levi-Civita 1916.
^ Weyl 1918.
^ Cartan 1926.
^ Ehresmann 1950.
^ Koszul 1950.

注釈

^ ^a ^b 人名「Koszul」を「コシュール」と訳している文献^[2]^[3]^[4]があるため、「コシュール接続」と読むと思われるが、「コシュール接続」と訳した文献を発見できなかったので本項では「Koszul接続」と表記した。なお、Wikipediaの英語版には「フランス語: [kɔsyl]」とある。
^ 接続 $\nabla$ は $M$ の全域で定義されたベクトル場と切断に関するものなので、このような局所的に定義された座標で表示できるか否かは非自明である。しかし $\nabla$ が「局所演算子」という性質を満たすことにより、局所的な座標で表示可能な事を示すことができる。詳細は接続 (ベクトル束)の項目を参照されたい。
^ 成分 $\omega ^{i}{}_{j}$ 接続形式といい、 $ω$ を接続行列（英: connection matrix）と呼ぶ場合もある^[22]。
^ 厳密には以下の通りである。 $M$ の曲線 $c(t)$ に沿って定義された局所的な基底 $e(t)=(e_{1}(t),\ldots ,e_{n}(t))$ を考え、 $e(0)$ を $c(t)$ に沿って平行移動したものを ${\bar {e}}(t)=({\bar {e}}_{1}(t),\ldots ,{\bar {e}}_{n}(t))$ として行列 $A(t)$ を $e(t)={\bar {e}}(t)A(t)$ により定義すると、接続形式の定義より、 $e(0)\omega \left({dc \over dt}(0)\right)$ $=\left.{\nabla \over dt}e(t)\right|_{t=0}$ $=\left.{\nabla \over dt}{\bar {e}}(t)A(t)\right|_{t=0}$ $={\bar {e}}(0){dA \over dt}(0)$ $=e(0){dA \over dt}(0)$ が成立する。ここで ${\nabla \over dt}e(t)$ は成分ごとの微分 $\left({\nabla \over dt}e_{1}(t),\ldots ,{\nabla \over dt}e_{n}(t)\right)$ の事である。 $\nabla$ が計量と両立すれば、 ${\bar {e}}(t)$ は正規直交基底である。よって $e(t)$ が正規直交基底であれば、 $e(t)={\bar {e}}(t)A(t)$ より $A(t)$ は回転変換であり、 $A(t)$ の微分は歪対称行列である。
^ ここで $T_{e}(E_{\pi (e)})$ は $π (e)$ のファイバー $E_{\pi (e)}$ の点 $e$ における接空間であり、包含写像 $E_{\pi (e)}\subset E$ が誘導する写像 $T_{e}E_{\pi (e)}\hookrightarrow T_{e}E$ により $T_{e}E_{\pi (e)}$ を $T e E$ の部分空間とみなしている。
^ ^a ^b この「 ${\mathcal {H}}_{e}$ は $e$ に関して $C \infty$ 級である」というのを厳密に定式化する方法は（同値な方法が）いくつかあるが、一つの方法は ${\mathcal {H}}=\cup _{e\in E}{\mathcal {H}}_{e}$ を ${\mathcal {H}}_{e}$ を $e\in E$ 上のファイバーとする $TE$ の部分ベクトルバンドルとみなし、 ${\mathcal {H}}$ が $TE$ の $C \infty$ 級の部分ベクトルバンドルである事を要請するというものである。
^ 垂直部分空間の定義より ${\mathcal {V}}_{e}=T_{e}E_{\pi (e)}$ であるが、 $E_{\pi (e)}$ はベクトル空間なので、 $E_{\pi (e)}$ と接空間 $T_{e}E_{\pi (e)}$ と $E_{\pi (e)}$ は自然に同一視できる。
^ なお、#Salamonでは $\mathbb {R} ^{n}$ の（標準的とは限らない）基底 $(f_{1},\ldots ,f_{n})$ を $\mathbb {R} ^{n}$ から $\mathbb {R} ^{n}$ への線形写像 $f$ と自然に同一視し、各 $u\in M$ に対し、
$\mathbb {R} ^{n}{\overset {f}{\to }}E_{x}{\overset {\varphi _{\alpha }}{\to }}\{u\}\times \mathbb {R} ^{n}\approx \mathbb {R} ^{n}$
が $G$ に属する事を持って $G$ -フレームを定義しているが、この定義は本項で述べたものと同値である。
^ #Wendl3の定義は若干曖昧で単に「十分短い曲線」（sufficiently short path）に沿った平行移動が $G$ と両立する自明化（ $G$ -compatible connection） $v\to g(t)v$ for $g(t)\in G$ を持つとしか言っていないが、局所自明化可能な領域内の曲線がこのように書ければ十分なので、ここではそのように定義した。
^ ^a ^b ここで $\Omega (\xi ,\eta )$ が $C^{\infty }(E)$ -線形であるとは、通常の線形性を満たすのみならず関数 $f$ に対して $f\cdot \Omega (\xi ,\eta )$ $=\Omega (f\cdot \xi ,\eta )$ $=\Omega (\xi ,f\cdot \eta )$ を満たす事を指す^[53]。 $C^{\infty }(E)$ -線形である事は、 $\Omega (\xi ,\eta )$ の各点 $e\in E$ における値が $ξ$ 、 $η$ の点 $e$ における値 $ξ e$ 、 $η e$ のみで決まること、すなわち $Ω$ が各点における双線形写像のテンソル場とみなせる事と同値である事が知られている^[54]。
^ #Kolarにおける曲率の定義はここに書いたものと符号が反対だが、#Kolar p.73.にあるように#Kolarの定義だと「通常の曲率と符号が反対」になるので、#Wendl5 p.121の方の符号を採用した。
^ #Kolar p.100-101.のみ右辺第二項は ${\tfrac {1}{2}}[\omega ,\omega ]_{\wedge }=[\omega ,\omega ]$ となっているが、これは#Kolarの間違いであると判断した。実際#Kolar p.100の一番下にある $[\cdot ,\cdot ]_{\wedge }$ の定義式に $p=q=1$ を代入すると $[\omega ,\omega ]_{\wedge }=[\omega ,\omega ]$ となり、 ${\tfrac {1}{2}}[\omega ,\omega ]_{\wedge }=[\omega ,\omega ]$ とはならない。またこの#Kolar p.100の一番下の係数 ${\tfrac {1}{p!q!}}$ は#森田の1巻のp.95.では ${\tfrac {1}{(p+q)!}}$ になっているため、#Kolarが $[\cdot ,\cdot ]_{\wedge }$ の定義式を間違えた可能性が高い。#Tu p.285も参照。
^ これはFreeman^[65]の立場。ほかには、たとえば岩波数学辞典は後出のレヴィ＝チヴィタによる平行移動の発見を接続の概念のはじまりとしている^[66]。
^ 正確には、現在の言葉でいう捩れのないアフィン接続。

[続きの解説]

「接続 (微分幾何学)」の続きの解説一覧

Weblio日本語例文用例辞書

索引トップランキング

「接続 (微分幾何学)」の例文・使い方・用例・文例

Weblio日本語例文用例辞書はプログラムで機械的に例文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。

接続 (微分幾何学)のページへのリンク


	All text is available under the terms of the GNU Free Documentation License. この記事は、ウィキペディアの接続 (微分幾何学) (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
TANAKA Corpus	Tanaka Corpusのコンテンツは、特に明示されている場合を除いて、次のライセンスに従います： Creative Commons Attribution (CC-BY) 2.0 France.
京大-NICT 日英中基本文データ	この対訳データはCreative Commons Attribution 3.0 Unportedでライセンスされています。
	Copyright © 1995-2024 Hamajima Shoten, Publishers. All rights reserved.
	Copyright © Benesse Holdings, Inc. All rights reserved.
	Copyright (c) 1995-2024 Kenkyusha Co., Ltd. All rights reserved.
	日本語ワードネット1.1版 (C) 情報通信研究機構, 2009-2010 License All rights reserved. WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved. License
	Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved. 「斎藤和英大辞典」斎藤秀三郎著、日外アソシエーツ辞書編集部編
	This page uses the JMdict dictionary files. These files are the property of the Electronic Dictionary Research and Development Group, and are used in conformance with the Group's licence.

接続 (微分幾何学)とは？わかりやすく解説

接続 (微分幾何学)

出典

注釈

「接続 (微分幾何学)」の例文・使い方・用例・文例

「接続 (微分幾何学)」の関連用語

接続 (微分幾何学)とは？ わかりやすく解説

接続 (微分幾何学)

出典

注釈

「接続 (微分幾何学)」の例文・使い方・用例・文例

「接続 (微分幾何学)」の関連用語

接続 (微分幾何学)とは？わかりやすく解説