「滑らかな曲線」はこの項目へ転送されています。代数幾何学における同値な概念については「代数多様体の特異点」をご覧ください。
地球の座標近傍の微分可能でないアトラス。アトラスが微分可能でないとき微積分の結果は座標近傍間で両立可能とは限らない。北回帰線は真ん中の座標近傍では滑らかな曲線であるが、一方左の座標近傍では鋭い角を持つ。可微分多様体の概念は座標近傍の間の変換をする関数が微分可能であることを要求することによって多様体の概念を洗練する。
数学において、可微分多様体(かびぶんたようたい、英: differentiable manifold)、あるいは微分可能多様体(びぶんかのうたようたい)は、局所的に十分線型空間に似ており微積分ができるような多様体である。任意の多様体は、チャート(座標近傍、局所座標)の集まり、アトラス(座標近傍系、局所座標系)、によって記述することができる。各座標近傍は微積分の通常のルールが適用する線型空間の中にあるから、各々のチャートの中で考えるときには微積分学のアイデアを適用できる。チャートが適切に両立可能であれば(すなわち1つのチャートから別のチャートへの変換が微分可能であれば)、1つのチャートでなされた計算は任意の他の微分可能なチャートにおいても有効である。
フォーマルに言えば、可微分多様体は大域的に定義された可微分構造
(英語版)を持つ位相多様体である。任意の位相多様体にはアトラスの同相写像と線型空間上の標準的な微分構造を用いて局所的に微分構造を与えることができる。同相写像によって誘導された局所座標系上の大域的な微分構造を誘導するためには、アトラスのチャートの共通部分上での合成が対応する線型空間上の微分可能な関数でなければならない。言い換えると、チャートの定義域が重なっているところでは、各チャートによって定義された座標はアトラスのすべてのチャートによって定義された座標に関して微分可能であることが要求される。様々なチャートによって定義された座標を互いに結びつける写像を変換関数 (transition map/遷移写像/座標変換) と呼ぶ。微分可能性は文脈によって連続微分可能、k 回微分可能、滑らか、正則といった異なる意味を持つ。さらに、抽象的な空間にそのような可微分構造を誘導できることによって微分可能性の定義を大域的な座標系なしの空間に拡張することができる。微分構造によって大域的に微分可能な接空間、微分可能な関数、微分可能なテンソル場やベクトル場を定義することができる。可微分多様体は物理においても非常に重要である。特別な種類の可微分多様体は古典力学、一般相対論、ヤン・ミルズ理論といった物理理論の基礎をなす。可微分多様体に対して微積分を展開することが可能である。これによって exterior calculus (外微分法/外微分学)のような数学的機構が導かれる。可微分多様体上の微積分の研究は微分幾何学と呼ばれる。
目次
1 歴史
2 定義
2.1 アトラス
2.2 両立するアトラス
3 別の定義
3.1 擬群
3.2 構造層
3.2.1 局所環の層
4 微分可能な関数
4.1 関数の微分
4.1.1 方向微分
4.1.2 接ベクトルと微分
4.2 1の分割
4.3 多様体間の写像の微分可能性
4.4 スカラーの多元環
5 束
5.1 接束
5.2 余接束
5.3 テンソル束
5.4 枠束
5.5 ジェット束
6 多様体上の微積分
6.1 写像の微分
6.2 リー微分
6.3 外微分法
6.3.1 外微分