微分積分学の基本定理
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2025/02/03 05:47 UTC 版)
 | この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 (2015年11月) |
微分積分学の基本定理（びぶんせきぶんがくのきほんていり、英: fundamental theorem of calculus）とは、「関数に対する微分と積分は互いの逆操作である」 ということを主張する解析学の定理である。微分積分法の基本定理ともいう。
微分積分学の基本定理は一変数の関数に対するものだが、多変数関数への拡張は、ストークスの定理として知られる。
微分積分学の基本定理の発見以前は、微分法（接線法）と積分法（求積法）は別個の問題と捉えられていた。微分積分学の基本定理はアイザック・ニュートンによって1665年頃、ゴットフリート・ライプニッツによって1675年頃に、それぞれ独立に発見されている。当初ニュートンはこの結果を発表せず、（ニュートンより後に発見した）ライプニッツが先に公表したために先取権を巡って論争となった。
定理
微分積分学の基本定理として知られる定理にはいくつか（等価でない）バリエーションがある。
連続関数の不定積分が微分可能であること
微分積分学の基本定理
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/07/08 02:35 UTC 版)
「函数の全微分」の記事における「微分積分学の基本定理」の解説
M = R において任意の 1-形式 A = f dx を考えるとき、次元の関係から必ず dA = 0 が成立する。従って R において可積分条件が成り立ち、適当な可微分函数 F が存在して dF = A, 即ち F' = f が成立する。これは一変数の場合の微分積分学の基本定理に他ならない。
※この「微分積分学の基本定理」の解説は、「函数の全微分」の解説の一部です。
「微分積分学の基本定理」を含む「函数の全微分」の記事については、「函数の全微分」の概要を参照ください。
固有名詞の分類
| 定理 |
アーベル-ルフィニの定理 パーセバルの定理 微分積分学の基本定理 ヘヴィサイドの展開定理 ビリアル定理 |
- 微分積分学の基本定理のページへのリンク
