微分小

その他の用法については「微分 (曖昧さ回避)」をご覧ください。

下記テーマに関する記事の一部
解析学
基本定理 関数の極限 連続性 平均値の定理
微分法 定義 導関数 (一般化（英語版）) 微分 無限小 関数の 全 概念 微分の記法 二階導関数 三階導関数（英語版） 変数変換（英語版） 陰関数の微分 Related rates（英語版） テイラーの定理 法則と恒等式（英語版） 和（英語版） 積 合成 冪（英語版） 商 一般ライプニッツ ファー・ディ・ブルーノの公式（英語版）
積分法 積分一覧 定義 不定積分 積分 (広義) リーマン積分 ルベーグ積分 線積分 複素線積分 道具 部分 Discs（英語版） 円殻（バウムクーヘン） 置換 三角置換（英語版） 部分分数（英語版） 順序（英語版） 漸化式
級数 幾何 (算術幾何) 調和 交代 冪 二項 テイラー 収束判定法（英語版） 項の極限（項判定法）（英語版） 比 冪根 積分 比較 極限比較（英語版） 交代級数（英語版） 凝集 ディリクレ アーベル（英語版）
ベクトル 勾配 発散 回転 ラプラシアン 方向微分 公式（英語版） 定理 発散 勾配（英語版） グリーン ケルビン・ストークス
多変数 形式と枠組み 行列（英語版） テンソル 外 幾何学的（英語版） 定義 偏微分 多重積分 線積分 面積分 体積分 ヤコビアン ヘッセ行列
特殊化 分数階微積分 解析接続 マリアヴァン（英語版） 確率（英語版） 変分
その他 解析学記号
表 話 編 歴

初等解析学（微分積分学）において微分小（びぶんしょう^{[訳語疑問点]}、英: differential）の語は、適当な変量に関する無限小変分を指すために用いられる。例えば、変数 x に対してその増分（変分）はしばしば Δx と書かれるが、変数 x に関する無限に小さな増分を表すのに dx が用いられる。無限小変分（微分小）の概念は直観的な議論においてきわめて有効であり、またその数学的に意味のある定式化にはいくつもの方法が存在する。

初等解析学において、さまざまな変数に関する無限小変分の間の関係性を微分商を用いて述べることができる。y が x の函数であるとき、y の微分 dy は dx との間に等式

${\displaystyle {\mathit {dy}}={\frac {\mathit {dy}}{\mathit {dx}}}\,{\mathit {dx}}}$

を通じて関係を持つ。ここに dy⁄dx は y の x に関する微分商である。 この式は「x に関する y の微分商とは差分商 Δy⁄Δx の Δx を無限小に近づけた極限である」という直観的な考えをまとめたものである。

微分小量の概念を数学的に明確にする方法には、例えば以下のようなものが考えられる：

1. 線型写像として: これは全微分および微分幾何学における外微分の定義を下敷きにしたものである^[1]。
2. 可換環の冪零元として: この方法は代数幾何学ではよく用いられる^[2]。
3. 直観主義論理の枠組みで: この方法は綜合微分幾何学（英語版）や滑らかな無限小解析といわれるもので、冪零無限小が導入されるという点では代数幾何学的な方法と近いが、そうなるメカニズムは全く異なりトポス理論からくる^[3]。
4. 超実数の無限小元として: 超実数は可逆な無限小や無限大を含むような実数概念の拡張である。このような方法はアブラハム・ロビンソンの開拓した超準解析による^[4]。

これらのアプローチの各々は互いに非常に異なっているけれども、いずれも「定量的」な概念であることは共通している。つまりこれらの方法で定式化された微分は「無限に小さい」のではなく「どれほどでも（必要なだけ十分に）小さい」のである。

歴史と用例

線型主要部

代数幾何学

綜合微分幾何学

超準解析

注

注釈

出典

参考文献

• Apostol, Tom M. (1967), Calculus (2nd ed.), Wiley, ISBN 978-0-471-00005-1 .
• Bell, John L. (1998), Invitation to Smooth Infinitesimal Analysis, http://publish.uwo.ca/~jbell/invitation%20to%20SIA.pdf .
• Boyer, Carl B. (1991), “Archimedes of Syracuse”, A History of Mathematics (2nd ed.), John Wiley & Sons, Inc., ISBN 978-0-471-54397-8 .
• Darling, R. W. R. (1994), Differential forms and connections, Cambridge, UK: Cambridge University Press, ISBN 978-0-521-46800-8 .
• Eisenbud, David; Harris, Joe (1998), The Geometry of Schemes, Springer-Verlag, ISBN 978-0-387-98637-1 
• Keisler, H. Jerome (1986), Elementary Calculus: An Infinitesimal Approach (2nd ed.), http://www.math.wisc.edu/~keisler/calc.html .
• Kock, Anders (2006), Synthetic Differential Geometry (2nd ed.), Cambridge University Press, http://home.imf.au.dk/kock/sdg99.pdf .
• Lawvere, F.W. (1968), Outline of synthetic differential geometry (1998発行), http://www.acsu.buffalo.edu/~wlawvere/SDG_Outline.pdf .
• Moerdijk, I.; Reyes, G.E. (1991), Models for Smooth Infinitesimal Analysis, Springer-Verlag .
• Robinson, Abraham (1996), Non-standard analysis, Princeton University Press, ISBN 978-0-691-04490-3 .

関連項目

ポータル 数学

• 無限小解析（英語版）
• 微分方程式
• 微分形式
• 函数の微分

表 話 編 歴 無限小
歴史	擬等式（英語版） ライプニッツの記法 積分記号 超準解析への批判（英語版） The Analyst（英語版） 『方法』 カヴァリエリの原理（不可分の方法）
関連分野	超準解析 超準微積分学（英語版） 内的集合論（英語版） 綜合微分幾何学（英語版） 滑らかな無限小解析 構成的超準解析（英語版） 無限小応変理論（英語版）（物理学）
定式化	微分小 超実数 二重数 超現実数
個々の概念	標準部分（英語版） 移行原理（英語版） 超整数 増分定理 モナド 内的集合 レヴィ＝チヴィタ体 超有限集合（英語版） 連続の法則（英語版） 溢出（英語版） microcontinuity（英語版） 等質性の超越法則（英語版）
数学者	ゴットフリート・ライプニッツ アブラハム・ロビンソン ピエール・ド・フェルマー オーギュスタン＝ルイ・コーシー レオンハルト・オイラー
教科書	『無限小解析』 『無限小解析の基礎』 『解析教程』

外部リンク

• Weisstein, Eric W. "Differential". mathworld.wolfram.com (英語).
• differential in nLab
• differential - PlanetMath.（英語）
• Definition:Differential at ProofWiki
• Hazewinkel, Michiel, ed. (2001), “Differential”, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Differential