微分小

初等解析学（微分積分学）において微分小（びぶんしょう、英: 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. 線型写像として: これは全微分および微分幾何学における外微分の定義を下敷きにしたものである。
2. 可換環の冪零元として: この方法は代数幾何学ではよく用いられる。
3. 直観主義論理の枠組みで: この方法は綜合微分幾何学や滑らかな無限小解析といわれるもので、冪零無限小が導入されるという点では代数幾何学的な方法と近いが、そうなるメカニズムは全く異なりトポス理論からくる。
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 to SIA.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 .

関連項目

• 無限小解析
• 微分方程式
• 微分形式
• 函数の微分

外部リンク

• 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