接続(微分幾何学)微分幾何学において接続(せつぞく、)とは、多様体のファイバーバンドル上に平行移動の概念を定義する事ができる数学的構造である。ただし数学的な取り扱いを容易にするため、平行移動の概念で直接的に接続を定義するのではなく、実質的に等価な別概念を用いて接続を定義する。以下、本項では特に断りがない限り、多様体、関数、バンドル等は全て級の場合を考える。よって紛れがなければ「級」を省略して単に多様体、関数、バンドル等という。また特に断りがない限りベクトル空間は実数体上のものを考える。概要.このように平行移動と共変微分は実質的に同値な概念であり、多様体のベクトル場に対して平行移動・共変微分を定義できる構造を多様体(の接バンドル)の接続という。上では接バンドルに対する接続を説明したが、より一般にベクトルバンドルの接続、あるいはさらに一般にファイバーバンドルの接続を考える事ができる。上述のように平行移動と共変微分は実質的に同値な概念なので、平行移動・共変微分のうち、定義しやすい方をもとにして接続概念を定義すればよい。そこでベクトルバンドルの場合は共変微分を、一般のファイバーバンドルの場合は平行移動をベースにして接続概念を定義する。ベクトルバンドルの接続.ベクトルバンドルの接続の定義.さらに以下の定義をする:曲線上の微分.平行移動.上述のように平行移動があれば共変微分が定義できるので、一般のファイバーバンドルではむしろ平行移動に基づいて接続概念を定義する。上に計量が定義されていてしかもが計量と両立しているとすると、以下が成立する:接続形式.本章では接続の「接続形式」という概念を述べる。本章で述べるように、むしろ接続形式から接続を定義したほうが数学的な構造を探る上で有利な点があり、このアイデアに沿って接続を定式化したのが後の章で述べる主バンドルの接続概念である。定義.により接続を再現できるので、この意味において接続形式は接続の情報をすべて含んでいる。性質.こうした事実は接続概念を直接リー群と接続形式とで記述する方が数学的に自然である事を示唆する。後で説明する、リー群の主バンドルに対する接続はこのアイデアを定式化したもので、主バンドルの接続は接続形式に相当するものを使って定義される。