数学において、可微分多様体（かびぶんたようたい、）、あるいは微分可能多様体（びぶんかのうたようたい）は、局所的に十分線型空間に似ており微積分ができるような多様体である。任意の多様体は、チャート（座標近傍、局所座標）の集まり、アトラス（座標近傍系、局所座標系）、によって記述することができる。各チャートは多様体の一部を微積分の通常のルールが適用されるユークリッド空間の開部分集合へと写すため、各々のチャートの中で考えるときには微積分学のアイデアを適用できる。チャートが適切に両立可能であれば（すなわち1つのチャートから別のチャートへの変換が微分可能であれば）、1つのチャートでなされた計算は任意の他の微分可能なチャートにおいても有効である。
フォーマルに言えば、可微分多様体は大域的に定義されたを持つ位相多様体である。任意の位相多様体にはアトラスの同相写像とユークリッド空間上の標準的な微分構造を用いて局所的に微分構造を与えることができる。同相写像によって誘導された局所座標系から大域的な微分構造を誘導するためには、アトラスのチャートの共通部分上での合成が対応するユークリッド空間上の微分可能な関数でなければならない。言い換えると、チャートの定義域が重なっているところでは、各チャートによって定義された座標はアトラスのすべてのチャートによって定義された座標に関して微分可能であることが要求される。様々なチャートによって定義された座標を互いに結びつける写像を変換関数 (transition map/遷移写像/座標変換) と呼ぶ。
微分可能性は文脈によって連続微分可能、k 回微分可能、滑らか、正則といった異なる意味を持つ。さらに、抽象的な空間にそのような可微分構造を誘導できることによって微分可能性の定義を大域的な座標系なしの空間に拡張することができる。微分構造によって大域的に微分可能な接空間、微分可能な関数、微分可能なテンソル場やベクトル場を定義することができる。可微分多様体は物理においても非常に重要である。特別な種類の可微分多様体は古典力学、一般相対論、ヤン・ミルズ理論といった物理理論の基礎をなす。可微分多様体に対して微積分を展開することが可能である。これによってexterior calculus（外微分法/外微分学）のような数学的機構が導かれる。可微分多様体上の微積分の研究は微分幾何学と呼ばれる。
可微分多様体には接束や余接束、テンソル束といった様々なファイバー束の構造を付随させることができ、これらを用いて方向微分や微分形式、リー微分などの微積分の概念が多様体上に拡張される。さらに、可微分多様体にリーマン計量やシンプレクティック形式などの追加構造を与えることで、リーマン多様体やシンプレクティック多様体、リー群といった対象が定義される。次元が低い場合（3次元以下）には位相多様体と可微分多様体の概念はほぼ一致するが、高次元（4次元以上）では両者は本質的に異なる概念となることが知られている。
歴史
はっきりした分野としての微分幾何学の出現は一般にカール・フリードリヒ・ガウスとベルンハルト・リーマンによるものとされている。リーマンはゲッティンゲン大学の有名な教授就任講演B. Riemann (1867).で初めて多様体を記述した。彼は多様体のアイデアを与えられた対象を新しい方向に変える直観的な過程によって動機付け、続くフォーマルな発展において座標系とチャートの役割を記述した： 「n次元多様体の概念を構築し、その真の性質が、そこでの位置の決定をn個の大きさの決定に帰着させ得るという特性にあることを見出した上で、…」 Having constructed the notion of a manifoldness of n dimensions, and found that its true character consists in the property that the determination of position in it may be reduced to n determinations of magnitude, ...– B. Riemann
ジェームズ・クラーク・マクスウェルマクスウェル自身はテンソルよりもむしろ四元数で研究したが、電磁気学の彼の方程式はテンソルのフォーマリズムの初期の例として使われた。次を参照 .のような物理学者と数学者グレゴリオ・リッチ＝クルバストロ (Gregorio Ricci-Curbastro) とトゥーリオ・レヴィ＝チヴィタ (Tullio Levi-Civita)See G. Ricci (1888), G. Ricci and T. Levi-Civita (1901), T. Levi-Civita (1927). の仕事はテンソル解析の発展と内在的な幾何学的性質を座標変換で不変な性質と同一視する共変性(:en:general covariance)の概念に導いた。これらのアイデアはアインシュタインの一般相対性理論とその根本にある等価原理に重要な応用を見つけた。2次元多様体の現代的な定義はヘルマン・ワイル (Hermann Weyl) によってリーマン面に関する 1913 年の本において与えられたSee H. Weyl (1955).。アトラスのことばによる多様体の広く受け入れられている一般的な定義はハスラー・ホイットニーによるH. Whitney (1936).。
定義 位相多様体とは、チャートと呼ばれる同相写像の集まりアトラス によって線型空間に局所的に同相な第二可算ハウスドルフ空間である。1 つのチャートの、別のチャートの逆写像との合成は、変換関数と呼ばれる関数であり、線型空間の開部分集合から線型空間の別の開部分集合の上への同相写像を定義する。これによって「空間の断片を貼り合わせて多様体を作る」という概念が定義される――作られた多様体はまたどのように貼り合わせられたかのデータも持っている。しかしながら、異なるアトラス（貼り合わせ）から「同じ」多様体が構成されることもある。多様体には、特定の標準的なアトラスがアプリオリに与えられているわけではない。したがって、位相多様体はアトラスの同値類を備えた上のような空間として定義される。
変換関数にどれだけの微分可能性を要求するかに従って可微分多様体の異なるタイプがある。以下はいくつかの一般的な例である。
可微分多様体 (differentiable manifold) とは、変換関数がすべて微分可能なアトラスの同値類を伴った位相多様体である。より広いことばでは、Ck 級多様体 (Ck-manifold) は変換関数がすべて k 回連続微分可能なアトラスを持つ位相多様体である。 滑らかな多様体 (smooth manifold) あるいは C∞ 級多様体 (C∞-manifold) とは、すべての変換関数が滑らかな可微分多様体である。つまり、すべての階数の微分が存在する。したがって、滑らかな多様体はすべての k に対して Ck 級多様体である。そのようなアトラスの同値類はと呼ばれる。 解析的多様体 (analytic manifold) あるいは Cω 級多様体 (Cω-manifold) とは、各変換関数が解析的という追加の条件を持った滑らかな多様体である。つまり、各変換関数のテイラー展開がある開球上絶対収束しその関数に等しい。 複素多様体 (complex manifold) は複素数体上のユークリッド空間をモデルにしすべての変換関数が正則な位相空間である。
これらの定義に該当する具体例として、通常のユークリッド空間 Rn 自身、単位球面 Sn、トーラス、射影空間、およびリー群（後述）などが挙げられる。
Ck アトラスの有意義な概念はあるが、C0 （連続写像： 位相多様体）と C∞ （滑らかな写像： 滑らかな多様体）より他に Ck 多様体の異なる概念は存在しない、なぜならば k > 0 のすべての Ck 構造に対して、Ck 同値な C∞ 構造が一意的に存在する（すべての Ck 構造は C∞ 構造に一意的に滑らかにできる）からである。これはホイットニー (Whitney)の結果である。実は、すべての Ck 構造は Cω 構造に一意的に滑らか化できる。さらに、1つの C∞ アトラスに同値な 2 つの Ck アトラスは Ck アトラスとして同値なので、2 つの相異なる Ck アトラスは衝突しない。詳細は Differential structure: Existence and uniqueness theorems を参照。したがって「可微分多様体」と「滑らかな多様体」という用語を入れ替え可能な同義語として使う。これは異なる k に対して意味のある違いのある Ck 写像とは非常に対照的である。例えば、ナッシュの埋め込み定理は任意の多様体はユークリッド空間 RN に等長埋め込みできると述べている。ここで N は、任意の 1 ≤ k ≤ ∞ に対して十分大きい N が存在するのであるが、N は k に依存する。
一方、複素多様体は著しい制限を受けている。例として、周の定理は任意の射影複素多様体は実は射影代数多様体であると述べている。代数的な構造を持っているのである。
アトラス
位相空間 X 上のアトラスはチャートと呼ばれる対の集まり である、ここで Uα は X を覆う開集合であり、各添え字 α に対して
は Uα から n 次元実空間の開部分集合への同相写像である。アトラスの変換関数 (transition map) は関数
である。
すべての位相多様体はアトラスを持つ。Ck アトラスは変換関数が Ck 級のアトラスである。位相多様体は C0 アトラスを持ち、一般に Ck 級多様体は Ck 級アトラスを持つ。連続アトラスとは C0 アトラスであり、滑らかなアトラスは C∞ アトラスであり、解析的アトラスは Cω アトラスである。アトラスが少なくとも C1 であれば、微分構造 (differential structure) あるいは可微分構造 (differentiable structure) とも呼ばれる。正則アトラス (holomorphic atlas) は台となるユークリッド空間が複素数体上定義されていて変換関数が双正則なアトラスである。
両立するアトラス 異なるアトラスが本質的に同じ多様体を生じることがある。円を2つの座標チャートによって写すことができるが、これらのチャートの定義域をわずかに変えると同じ多様体に対する異なるアトラスが得られる。これらの異なるアトラスはより大きいアトラスに統合することができる。そのような統合されたアトラスの変換関数が構成成分のアトラスの変換関数ほど滑らかでないということが起こり得る。Ck アトラスを Ck アトラスを構成するために統合できれば、両立できる (compatible) という。アトラスの両立可能性は同値関係である。ある同値類のすべてのアトラスを統合することによって極大アトラス (maximal atlas) を構成できる。各 Ck アトラスはある一意的な極大 Ck アトラスに属する。
別の定義
擬群 擬群の概念Kobayashi and Nomizu (1963), Volume 1.は様々な異なる構造を統一的な方法で多様体に定義できるようにするためにアトラスの柔軟な一般化を提供する。擬群 (pseudogroup) は位相空間 S 集合 Γ からなる。Γ は S の開部分集合から S の他の開部分集合への同相写像で以下を満たすものからなる f ∈ Γ で U が f の定義域の開部分集合であれば、制限 f|U も Γ に入る。 f が S の開部分集合の合併 から S の開部分集合への同相写像であれば、すべての i に対して であれば f ∈ Γ となる。 すべての開集合 U ⊂ S に対して、U の恒等変換は Γ に入る。 f ∈ Γ であれば、f−1 ∈ Γ である。 Γ の 2 つの元の合成は Γ の元である。 最後の3つの条件は群の定義と類似している。関数は S 上大域的に定義されていないから Γ が群であるとは限らないことに注意しよう。例えば、Rn 上のすべての局所的な Ck 級微分同相写像からなる集まりは擬群をなす。Cn の開集合の間のすべての双正則写像は擬群をなす。さらなる例： Rn の向きを保つ写像、シンプレクティック同相写像、メビウス変換、アフィン変換、など。したがって多種多様な関数のクラスが擬群をなす。
Ui ⊂ M から位相空間 S の開部分集合への同相写像 φi のアトラス (Ui, φi) が擬群 Γ と両立可能 (compatible) であるとは、変換関数 φj o φi−1: φi(Ui ∩ Uj) → φj(Ui ∩ Uj) がすべて Γ に入っていることをいう。
すると可微分多様体は Rn 上の Ck 級関数の擬群と両立可能なアトラスである。複素多様体は Cn の開集合上の双正則写像と両立可能なアトラスである。などなど。したがって擬群は微分幾何学や位相幾何学に重要な多様体の多くの構造を記述する1つだけの枠組みを提供する。
構造層 多様体に Ck 構造を与える別のアプローチを使うことが便利なことがある。ここで k は 1, 2, ..., ∞, あるいは実解析的多様体に対して ω, である。座標チャートを考える代わりに、多様体自身の上に定義された関数から始めることができる。M の構造層、Ck と表記する、は、各開集合 U ⊂ M に対して連続関数 U → R の代数 Ck(U) を定義する関手の一種である。構造層 Ck が n 次元 Ck 級多様体の構造を M に与えるとは、任意の p ∈ M に対して、p の近傍 U と n 個の関数 x1, ..., xn ∈ Ck(U) が存在して、写像 f = (x1, ..., xn): U → Rn が Rn の開集合の上への同相写像で、Ck|U が Rn 上の k 回連続微分可能な関数のとなることをいうこの定義は MacLane and Moerdijk (1992) にある。同値な ad hoc な定義は、Sternberg (1964) Chapter II を参照。。
とくに、この後者の条件が意味するのは、V に対して任意の関数 h ∈ Ck(V) は h(x) = H(x1(x),...,xn(x)), ただし H は f(V)（Rn の開集合）上の k 回微分可能な関数、と一意的に書けるということである。したがって、層論的な視点は、可微分多様体上の関数は局所座標において Rn 上の微分可能な関数として表現でき、a fortiori にこれは多様体上の微分構造を特徴づけるのに十分であるということである。
局所環の層 可微分多様体を定義する同様だがより技術的なアプローチは環付き空間の概念を用いて定式化できる。このアプローチは代数幾何学のスキームの理論に強く影響を受けているが、微分可能な関数の芽の局所環を用いる。これは複素多様体の文脈で特にポピュラーである。
Rn 上の基本的な構造層を記述することから始める。U が Rn の開集合のとき、 O(U) = Ck(U, R) を U 上のすべての実数値 k 回連続微分可能な関数からなるとしよう。U が変化すると、これは Rn 上の環の層を決定する。p ∈ Rn に対する茎 Op は p の近くの関数の芽からなり、R 上の代数である。とくに、これは一意的な極大イデアルが p で消える関数からなる局所環である。対 (Rn, O) は局所環付き空間の例である：各茎が局所環である層を伴った位相空間である。
（Ck 級の）微分可能多様体は対 (M, OM) からなる。ここで M は第二可算ハウスドルフ空間であり、OM は M 上定義された局所 R-代数の層であって、局所環付き空間 (M, OM) が (Rn, O) に局所同型なものである。このようにして、可微分多様体は Rn をモデルとしたスキームと考えることができる。これが意味するのはHartshorne (1997)、各点 p ∈ M に対して、p の近傍 U と関数の対 (f, f#) で次のようなものが存在するということである： f: U → f(U) ⊂ Rn は Rn の開集合の上への同相 f#: O|f(U) → f* (OM|U) は層の同型 f# の局所化は局所環の同型 f#f(p): Of(p) → OM, p.
この抽象的な枠組みで可微分多様体を研究する重要な動機付けがいくつかある。まず、モデル空間が Rn である必要性の a priori な理由はない。例えば（とくに代数幾何学において）これを正則関数の層（したがって複素解析幾何の空間に辿り着く）あるいは多項式の層（したがって複素代数幾何において興味の持たれる空間に到達する）を伴った複素数の空間 Cn にとることができる。おおまかには、このコンセプトはスキームの任意の適切な概念に適合できる（トポス論を参照）。第二に、座標は構成にもはや明示的に必要でない。座標系の類似物は対 (f, f#) であるが、これらは（チャートやアトラスのように）議論の中心にあるのではなく単に局所同型のアイデアを定めているだけである。第三に、層 OM は明らかに関数の層では全くない。むしろ、（局所環の極大イデアルによる商による）構成の結果として関数の層としてそれが出現する。したがってそれは構造のより原始的な定義である（の項を参照）。
このアプローチの最後の利点は微分幾何と位相幾何の研究の基本的な対象の多くの自然な直接的記述ができることである。 ある点での余接空間は Ip/Ip2 である、ただし Ip は茎 OM, p の極大イデアルである。 一般に、全余接束は関連したテクニックにより得ることができる（詳細は余接束を参照）。 テイラー級数（および）は OM, p 上の Ip-進フィルトレーションを用いて座標と独立にアプローチできる。 接束（あるいはより正確には断面の層）は OM から二重数の環への射の層と同一視できる。
微分可能な関数 n 次元可微分多様体 M 上の実数値関数 f が点 p ∈ M において微分可能 (differentiable) であるとは、p のまわりで定義された任意の1つの座標チャートにおいて微分可能であることをいう。より正確に言えば、(U, φ) がチャートで U を p を含む M の 開集合で φ: U → Rn をチャートを定義している写像とすると、f が微分可能であることと
が φ(p) において微分可能であることが同値である。一般に利用可能なチャートはたくさんあるが、微分可能性の定義は p でのチャートの取り方に依らない。チェーンルールをチャート間の変換関数に適用すると f が p での任意の特定のチャートで微分可能であれば p でのすべてのチャートで微分可能であることが従う。類似の考察を Ck 級関数、滑らかな関数、解析的関数、の定義に使える。
関数の微分 可微分多様体上の関数の微分を定義する様々な方法があるが、最も基本的なのは方向微分である。方向微分の定義は多様体がベクトルを定義する適切なアフィン構造を欠いているという事実によって複雑である。したがって方向微分はベクトルの代わりに多様体内の曲線を見る。
方向微分 m 次元可微分多様体 M 上の実数値関数 f が与えられると、M の点 p における f の方向微分は以下のように定義される。γ(t) を M 内の曲線で γ(0) = p で、任意の1つのチャートのとの合成が Rm 内の微分可能な曲線であるという意味で微分可能なものとする。すると γ に沿った p での f の方向微分 (directional derivative) は
である。γ1 と γ2 が2つの曲線で γ1(0) = γ2(0) = p であり任意の座標チャート φ において
であるとすると、チェーンルールによって、f の p での γ1 に沿った方向微分と γ2 に沿った方向微分は同じである。これは方向微分は p での曲線の接ベクトルのみに依存することを意味する。したがって可微分多様体の場合に適合した方向微分のより抽象的な定義はアフィン空間における方向微分の直感的な性質を究極的に捉えている。
接ベクトルと微分 での接ベクトルは なる微分可能曲線 を、曲線の間に定まる接する（一次の接触を持つ）という同値関係で割った、同値類である。したがってすべての座標チャート において
である。したがって同値類は において定められた速度ベクトルを持つような を通る曲線たちである。 におけるすべての接ベクトルの集まりはベクトル空間をなす。これが における の接空間 である。
が での接ベクトルであり、 が の近くで定義された微分可能な関数であれば、 を定義する同値類の任意の曲線に沿って を微分することは に沿った well-defined な方向微分を与える：
再び、チェーンルールによってこれは同値類からの の選び方に依らないことが示せる、なぜならば において互いに一次の接触を持つ任意の曲線は同じ方向微分を生み出すからである。
関数 を固定すると、写像
は接空間上の線型汎関数である。この線型汎関数はしばしば df(p) と表記され、 の での微分 (differential) と呼ばれる：
1の分割 可微分多様体上の微分可能な関数の層のトポロジカルな特色の1つは1の分割を持つことである。これは一般には1の分割を持つことができない（解析的構造や正則構造のような）より強い構造から多様体上の可微分構造を区別する。
M を Ck 級多様体、ただし 0 ≤ k ≤ ∞, とする。{Uα} を M の開被覆とする。このとき被覆 {Uα} に従属する1の分割 (partition of unity) とは以下の条件を満たす M 上の実数値 Ck 級関数 φi の集まりである： φi の台はコンパクトかつ； φi の台はある α に対し Uα に完全に含まれる； M の各点において φi の和は 1 である：
（φi の台の局所有限性によってこの最後の条件は実は各点で有限和であることに注意。）
Ck 級多様体 M のすべての開被覆は Ck 級の 1 の分割を持つ。これによって Rn 上の Ck 級関数のトポロジーからの構成を可微分多様体の圏に持ち越すことができる。とくに、ある特定の座標アトラスに従属する 1 の分割を選び Rn の各チャートでの積分を実行することによって積分を議論することが可能である。したがって 1 の分割によって考えるべき他の種類の関数空間ができる。例えば、Lp 空間、ソボレフ空間、積分を要求する他の種類の空間。
多様体間の写像の微分可能性 M と N を次元がそれぞれ m と n の可微分多様体とし、f を M から N への写像とする。可微分多様体は位相空間であるから f が連続であるとはどういう意味かを知っている。しかし k ≥ 1 に対して「f は Ck(M, N) である」とはどういう意味であろうか？f がユークリッド空間の間の関数のときにはそれがどういう意味か知っているので、 f を M のチャートと N のチャートと合成してユークリッド空間から M へ行き N へ行きユークリッド空間へ行く写像を得ると、その写像が Ck(Rm, Rn) であるということの意味を知っている。「f は Ck(M, N) である」ということを f のチャートとのすべてのそのような合成が Ck(Rm, Rn) であるいうことだと定義する。再びチェーンルールにより微分可能性のアイデアが M と N のアトラスのどのチャートが選ばれたかに依らないことが保証される。しかしながら、微分そのものの定義はより微妙である。M あるいは N がそれ自身既にユークリッド空間であれば、それをユークリッド空間に写すチャートは必要ない。
スカラーの多元環 Ck 級多様体 M に対し、多様体上の実数値 Ck 級関数全体の集合は点ごとの和と積によって多元環をなし、スカラー場代数 (algebra of scalar fields) あるいは単に the algebra of scalars と呼ばれる。この多元環は乗法単位元として定数関数 1 を持ち、代数幾何学における正則関数の環の微分可能な類似物である。
多様体をその algebra of scalars から再構成することができる。まずは集合として、しかし位相空間としても。これはの応用であり、よりフォーマルにはとして知られている。まず、M の点と多元環準同型 φ: Ck(M) → R の間には1対1の対応がある。準同型 φ は Ck(M) の余次元 1 のイデアル（すなわち φ の核）と対応する。これは極大イデアルでなければならない。逆に、この多元環のすべての極大イデアルはある1点で消える関数のイデアルであり、これは Ck(M) の MSpec が M を点集合として修復すること、実は M を位相空間として修復するのであるが、を証明している。
様々な幾何学的構造を algebra of scalars のことばで代数的に定義することができ、これらの定義はしばしば代数幾何学（環を幾何学的に解釈して）や作用素論（バナッハ空間を幾何学的に解釈して）に一般化する。例えば、M の接束は M 上の滑らかな関数の多元環の微分として定義できる。
多様体のこの「代数化」(algebraization) （幾何学的な対象を多元環に置き換えること）はC*-環の概念を導き――可換 C*-環はバナッハ・ストーンによってちょうど多様体の ring of scalars であり――非可換 C*-環を多様体の非可換の一般化と考えることができる。これは非可換幾何学の分野の基礎である。
束
接束
ある点の接空間はその点におけるあらゆる方向微分からなり、多様体と同じ次元 n を持つ。その点に局所的な（非特異）座標 xk の集合に対して、座標微分 は一般にその接空間の基底を定義する。すべての点における接空間の集まりに多様体の構造を入れることができ、接束 (tangent bundle) と呼ばれ、次元は 2n である。接束は接ベクトルが住んでいるところで、それ自身可微分多様体である。ラグランジアンは接束上の関数である。接束を R （実数直線）から M への 1- の束として定義することもできる。
Uα × Rn, ただし Uα は M のアトラスのチャートの1つを表す、に基づいたチャートからなる接束のアトラスを構成できる。これらの新しいチャートの各々はチャート Uα の接束である。このアトラスの変換関数はもとの多様体上の変換関数から定義され、もとの微分可能性のクラスを保つ。
余接束
ベクトル空間の双対空間はベクトル空間上の実数値線型写像の集合である。ある点での余接空間はその点での接空間の双対であり、余接束はすべての余接空間の集まりである。
接束と同様余接束は再び可微分多様体である。ハミルトニアンは余接束上のスカラーである。余接束の全空間はシンプレクティック多様体の構造を持つ。余接ベクトルを「余ベクトル」(covector) と呼ぶことがある。余接束を から への関数の 1-jet の束として定義することもできる。
余接空間の元を無限小の変位と考えることができる。 が微分可能な関数であれば、各点 において余接ベクトル を定義することができる。これは接ベクトル を に伴う の微分に送る。しかしながら、すべての余ベクトル場がこのように表現できるわけではない。そのようにできるものを完全微分形と呼ぶ。与えられた局所座標 の集合に対し、微分 は における余接空間の基底を成す。
テンソル束 テンソル束は接束と余接束のすべてのテンソル積のである。テンソル束の各元はテンソル場であり、ベクトル場上、あるいは他のテンソル場上、多重線型作用素として作用することができる。