微積分ポータル
portalmathcalculuslecture
導入
このポータルの核心は、微積分を「変化を局所的に測定する理論」と「小さな量を累積する理論」として整理することにある。
微分は瞬間的な変化率を与え、積分は連続的に分布する量を総量へ変換する。極限はその二つを定義する基盤であり、微分積分学の基本定理は微分と積分が互いに逆向きの操作であることを保証する。
このポータルの責務
このポータルは、微積分の中核に集中する。主な対象は、一変数関数の極限、連続性、導関数、定積分、不定積分、基本定理、およびそれらの初歩的応用である。
微分方程式、多変数微積分、ベクトル解析は、このポータルから接続する独立トラックである。したがって、このポータルではそれらを詳細に展開しない。微分方程式の存在と一意性、解法診断、数値解法は微分方程式トラックで扱う。偏微分、重積分、Jacobianの体系的理論は多変数微積分トラックで扱う。線積分、面積分、Green・Gauss・Stokesの定理はベクトル解析トラックで扱う。
この責務分割により、微積分の基礎を圧縮しすぎず、発展分野を入口だけで済ませない構成にする。
最終形
微積分の基本は、次の対応で整理できる。
| 目的 | 中心となる概念 | 移行先 |
| 近くでどう変化するかを確認する | 微分 | 最適化、近似、微分方程式 |
| 関数の構造から導関数を計算する | 微分公式、連鎖律 | 多変数微積分、微分方程式 |
| 小さな寄与を累積する | 積分 | 面積、体積、仕事、確率 |
| 原始関数を構成する | 積分公式、置換積分、部分積分 | 変数分離、積分因子、重積分 |
| 微分と積分を接続する | 基本定理 | 解析学、微分方程式 |
| 複数の入力を扱う | 偏微分、重積分 | 多変数微積分 |
| 場の局所量と積分量を結ぶ | 線積分、面積分 | ベクトル解析 |
したがって、微積分ポータルでは基礎の役割を明確にし、発展トラックではそれぞれの理論を十分に展開する。この分担を保持することで、入口と専門内容の混同を避けられる。
変わるものと保存されるもの
微積分では、操作を公式として暗記するより、その操作が何を変え、何を保存するかを確認すると理解しやすい。
| 操作 | 変わるもの | 保存されるもの | 注意 |
| 極限 | 点そのものではなく近づき方を見る | 周辺の振舞い | 関数値が未定義でも極限は存在しうる |
| 微分 | 関数から局所変化率へ移る | 基準点での接線の情報 | 微分可能性は左右の傾きまで確認する |
| 局所線型近似 | 曲線を近くで直線へ置き換える | 基準点の値と傾き | 基準点から離れると誤差が大きくなる |
| 定積分 | 局所的な寄与を全体の累積量へ変える | 分割を細かくした極限の値 | 符号付き面積と実面積を区別する |
| 置換積分 | 変数と積分区間 | 積分値 | 端点も同時に変換する |
| 部分積分 | 微分する因子と積分する因子 | 元の積分と等価な式 | 複雑になる選択を避ける |
この表は後で詳しく扱う性質を先取りしている。どの公式も、目的は式を変形すること自体ではなく、見たい量を読みやすい形へ移すことである。