盆暗の学習記録
最近なんとなく気になって微分積分の数学史を調べたのでメモします。 古代 アルキメデスの求積法 古代ギリシャ人の考え方 中世 16～17世紀前半 ケプラー（Kepler, 1571-1630） カヴァリエリ（Cavalieri, 1598-1647） トリチェッリ（Torricelli, 1608-1647） 17世紀前半までの積分まとめ 17世紀後半：微分積分の基本定理の発見 この頃の社会的背景 ロベルヴァル（Roberval, 1602-1675） 接線問題 ニュートン（Newton, 1643-1727） ライプニッツ（Leibniz, 1646-1716） 18世紀：「無限」を使う微積分…
データサイエンス 、ソフトウェア開発、ビジネスについて日々学んだことの備忘録としていく予定です。初心者であり独学なので内容には誤りが含まれる可能性が大いにあります。
微分積分学の歴史
最近なんとなく気になって微分積分の数学史を調べたのでメモします。 古代 アルキメデスの求積法 古代ギリシャ人の考え方 中世 16～17世紀前半 ケプラー（Kepler, 1571-1630） カヴァリエリ（Cavalieri, 1598-1647） トリチェッリ（Torricelli, 1608-1647） 17世紀前半までの積分まとめ 17世紀後半：微分積分の基本定理の発見 この頃の社会的背景 ロベルヴァル（Roberval, 1602-1675） 接線問題 ニュートン（Newton, 1643-1727） ライプニッツ（Leibniz, 1646-1716） 18世紀：「無限」を使う微積分…
- 古代
- アルキメデスの求積法
- 古代ギリシャ人の考え方
- ケプラー（Kepler, 1571-1630）
- カヴァリエリ（Cavalieri, 1598-1647）
- トリチェッリ（Torricelli, 1608-1647）
- 17世紀前半までの積分まとめ
- この頃の社会的背景
- ロベルヴァル（Roberval, 1602-1675）
- 接線問題
- ニュートン（Newton, 1643-1727）
- ライプニッツ（Leibniz, 1646-1716）
- その後はライプニッツの後継者が微積分を洗練させた
- バークリ（Berkeley, 1685-1753）
- マクローリン（Maclaurin, 1698-1746）
- オイラー（Euler, 1707-1783）
- ラグランジュ（Lagrange, 1736-1813）
- コーシー（Cauchy, 1789-1857）
古代
アルキメデスの求積法取り尽くし法
古代ギリシャ人の考え方中世
- 数学的発展はなし
- 12世紀ルネッサンスで古代ギリシャ・古代ローマの学問をアラビア世界から輸入
16～17世紀前半
ケプラー（Kepler, 1571-1630）- ドイツの天文学者
- 天体の運動に関するケプラーの法則を発見 （地動説の精緻化＋太陽と惑星の間に磁力のような引き合う働きを発見，などの功績）
- 「ケプラーの第2法則」（惑星と太陽とを結ぶ線分が単位時間に描く面積（面積速度）は一定である）で扇形の面積を，アルキメデスのように無限に小さな三角形に分けて足し合わせることで計算
- 『葡萄酒樽の新立体幾何学』（1615）
- 樽に入ったワインの体積を，「無限に薄い円盤の集まりと見なす」ことで計算
- ガリレオの弟子
- ケプラー『葡萄酒樽の新立体幾何学』にヒントを得て，「面を無限に小さく分割すると線になり，立体を無限に小さく分割すると面になる」と発想（カヴァリエリの原理）
- ガリレオの弟子
- 最も有名な業績は実験により「真空」を発見したこと
- アリストテレスは自然界に真空はないと考えていて（「自然は真空を嫌う」），17世紀もその考えが根強く信じられていた。 （とはいえ，ポンプで汲み上げられる高さに限界があることなど，真空を認めなければ説明できない事象が多くなっていた）
- アルキメデスの時代から，円や放物線などの「特定の曲線に関する求積法」は見つかってきたが，「どんな曲線にも対応できる一般的な求積法」はまだ見つかっていなかった
17世紀後半：微分積分の基本定理の発見
この頃の社会的背景- 「砲弾の弾道計算をしたい」というニーズがあった
- 重力に従って次第に落ちていき，刻々と進行方向を変化させる弾道を捉える方法がなかった → 変化を計算する新しい数学（のちの微分法）が求められた
- 「運動する物体の軌跡（曲線）の接線が，その瞬間のその物体の進行方向を示す」ことを明らかにした
- → 正確に接線を引くには，接線をどう引いたらいいのか？という問題が生じた
- デカルトやフェルマーなど多くの数学者が「接線をどう引くか」という問題に取り組んだ
- 特定の曲線に対する接線の引き方は考案されたが，どの曲線にも使える一般的な方法が見つからなかった
- フェルマーは一般的な計算方法に最も迫っており，ニュートンもフェルマーを参考にした
- 主な功績
- 万有引力の法則の発見とニュートン力学の創始（1687『プリンキピア』）
- 微分積分の基本定理（「微分と積分が互いに逆の操作・演算である」）を発見
- 1665年5月ごろまでには微積分の基本定理を認識していたとされているが，本としては出版したのは『求積論』（1704）
- そのため後にライプニッツと先取権争いが起こった
- 「紙の上に書かれた曲線は，時間とともに動く小さな点が動いた軌跡である」という考え方
- 動く点の進行方向を計算することで，接線の傾きを求める
- ニュートンは点の動く速度を「流率」と呼び，動く線が作る面積を「流量」と呼んだ
- ニュートンは後に記号を変更している
- 接線の傾きを表す記号は から に， は に， は にした。
- 多方面で才能を発揮した人
- 手回し計算機の発明，二進法の考案，哲学での単子論の提唱，物理学での現代のエネルギーに近い概念の考案…
- 接線の傾きは
- 積分は
- 先取権争いは負けたが，記法はライプニッツが勝った
18世紀：「無限」を使う微積分の厳密性が問われる
その後はライプニッツの後継者が微積分を洗練させた- ベルヌーイ兄弟，ロピタル，ラグランジュ，フーリエ達が洗練させて後世に伝えて普及させた
- 現在の「積分（calculus）」という呼び方もライプニッツの呼び方が元
- ニュートンは「流率（fluxionum）」と呼んだ
- 哲学者。
- 1734『解析家―不信心な数学者へ向けての論説』
- 微積分は「無限に小さい」という，0に等しいような，等しくないような存在を使っての議論であるため，微積分の基礎に関して厳密性が欠けていることを批判
- ”はじめは「 」として議論をはじめ，最後には「 」とするのはおかしい”
- ニュートンの弟子
- 1742『流率論考』
- 「無限小」はニュートンが微積分法の証明を簡略化するために使った考え方
- 無限小を使わずとも，アルキメデスの厳密な論証法と運動学的な直観に基づく方法によって微積分学の基礎づけは可能であると主張
- この考えはイギリスの多くの数学者に受け入れられたものの，論争の完全解決にはならず
- 1744『極大または極小の性質を持つ曲線を見出す方法，あるいは最広義での等周問題の解法』
- 微分方程式に関連する「変分法」という学問の確立を目指して書かれた
- 解析の教科書
- 1696年にロピタル・ベルヌーイが書いた無限解析の教科書とは異なり，オイラーは関数（functio）の定義から始めている（関数を重要視）
- 関数（functio）という用語は，「曲線に対する接線と関連する量」といった意味でライプニッツによって使用されていたが，「解析的表示」として関数の概念を明確に規定したのはオイラーが最初
- オイラーの後継者
- 関数の概念を考察
- 1797『解析関数論』
- 任意の関数 がテイラー級数 に展開できることを純粋に代数的な方法で立証
- すべての関数 は級数に展開できることを前提に とおき， に依存しない の関数 を計算してテイラー級数展開を導いた。
- 一番目の関数 は から「導かれた」関数で， と表した。→「導関数」
- この証明の利点の一つは，無限小を巡る基礎の問題に関する不確実性から微積分が開放されたかもしれないということ。
- それは微積分学が幾何ではなく代数として確立されることを保証するものだった
- 関数と導関数だけに焦点をあわせればよい
- ラグランジュの証明は不完全だったが，微積分学を新たな段階へ進めた
- ラグランジュの考えに沿って，幾何学的な直観に依存しない厳密性を代数解析に持ち込むという「代数解析の厳密化」を推し進めた一人
- 1821『王立エコール・ポリテクニクの解析学教程―第一部 代数解析』（通称『解析教程』）
- 「極限」をかなめとした基礎づけ
- 無限小量を，極限が0となる変量と定義
- そこから連続関数を定義
- コーシーの極限概念として有名な「ε―δ論法」が登場
- この論証法により，「限りなく」や「近づく」といったあいまいな用語の使用を回避して導関数を厳密に定義することに成功
scipy.optimize.approx_fprime 先日、フィッシャー情報量を対数…
「自分で数式をコードに落としていって動かす」という作業は非…
「イノベーターのジレンマ」の経済学的解明作者: 伊神満出版社/…
- 「極限」をかなめとした基礎づけ