Elementary Calculus: An Infinitesimal Approach

H. J. キースラー（英語版）著 Elementary Calculus: An Infinitesimal approach（『無限小解析の基礎―微積分の新手法』）は、大学初年度級向けの初等解析学（微分積分学）用の教科書として書かれた。副題は An approach using infinitesimals とされることもあり、アブラハム・ロビンソンの超実数の意味での無限小の利用を仄めかすものになっている。本書は、著者による無償オンライン版（CC BY-NC-SA）と、ドーヴァー出版からの書籍版が、利用可能である。 当教科書は、ロビンソンによる超実数の構成に基礎をおくものである。キースラーはより深く基本資料をカバーする指導者向けに傍用図書として Foundations of Infinitesimal Calculus（「無限小解析の基礎」）も著している。 連続性、微分、積分などの初等解析学における基本概念が、無限小をもとに定義される。ε–δ を用いてこれらを定義する通常の手法も第5章の最後に書かれているので、これら定石に則ったアプローチへの読み替えも可能である。 本書においてキースラーは、互いに無限に近い超実数を区別することを視覚的に表すために、教育学的手段として「無限に拡大できる顕微鏡」を用いた。同様に、無限大超実数を表すのに「無限に解像度のある望遠鏡」を用いている。 曲線（具体的には函数 f のグラフ）を拡大鏡を通して調べるとき曲率がレンズの倍率に比例して減少するように、「無限に拡大できる顕微鏡」は f のグラフの無限に小さい弧を（無限に小さい誤差を除いて）直線にする（実際に視覚化できるのは非常に高解像度の「顕微鏡」ということにはなるが）。そうして f の微分（微分係数）はそうやって得られた直線の傾き（の標準部分（英語版））を言うのであった。 つまり、この「顕微鏡」は微分の説明のための道具として用いられたわけである。 本書を最初にレビューしたのは、構成的数学における業績で知られるエレット・ビショップ（英語版）であった。ビショップのレビューは甚く批判的である（超準解析への批判（英語版）の項へ譲る）。すぐ後に、マーチン・デイヴィス（英語版）とハウスナーが好意的な詳細レビューを著し、アンドレアス・ブラス（英語版）やキース・ストロイヤン（英語版）も同様に好意的であった。キースラーに師事していた キャスリーン・サリバンは自身の博士論文の一部として、5つの学校を対象とする対照実験を行い、本書 Elementary Calculus が微分積分学の標準的な指導方法と比べて優位な点を発見した。サリバンによって述べられた利点があるにも拘らず、非常に大多数の数学者は、その教育において無限小に基づく手法を適当としなかった。近年では、Katz & Katz (2010) がキースラーの著書に基づく微分積分学の教程について肯定的な扱いをしている。オドンヴァンも微積分を無限小を用いて教えた経験を記述しており、最初は肯定的であったが、のちには本書（あるいは別の本での）超準的微分積分学へアプローチすることの教育学的困難を発見している。 G. R. Blackley は Prindle, Weber & Schmidt への書簡で、本書 Elementary Calculus: An Approach Using Infinitesimals について "Such problems as might arise with the book will be political. It is revolutionary. Revolutions are seldom welcomed by the established party, although revolutionaries often are."（試訳:「この本から生じるかもしれないそのような問題というのは、政治的なものであるのでしょう。それは革命的です。革命的なものは数あれど、それが既得権益に歓迎されることなどめったにない。」）と所見を述べた。 Hrbacek は、ε–δ 論法なしに超準的微分積分学がなされるという希望は完全には実現できないと主張することで、連続性、微分、積分の定義が—定義に超準的入力値を含めるように拡張するために—ロビンソンの理論的枠組みにおける ε–δ 論法に暗黙的に従わざるを得ないと記した。 Błaszczyk らは、一様連続性の透明性の高い定義を展開する中で、microcontinuity（英語版）の有効性を詳述し、Hrbacek の批判を「疑わしき嘆き」("dubious lament") と位置付けた。 本書第一版と第二版の間で、超準解析の理論的下地を含む理論的資料の大部分が第一章から巻末の最終章へ移された。 第二版においてキースラーは、延長原理 (extension principle) および移行原理 (transfer principle) を以下のような形で導入した: Every real statement that holds for one or more particular real functions holds for the hyperreal natural extensions of these functions.（試訳: ひとつまたはそれ以上の特定の実函数に対して成立する実数に関する任意の主張は、それら函数の超実数への自然延長に対しても成立する。） そしてこの原理を適用できる「実数に関する主張」のいくつかの例を与えた: 加法が閉じていること: 任意の x, y に対し、和 x + y が定義される。 加法の交換法則: x + y = y + x. 大小関係の逆数法則: 0 < x < y ならば 0 < 1/y < 1/x. 零除算の除外: x/0 は定義されない（英語版） 代数的な恒等式: ( x − y ) 2 = x 2 − 2 x y + y 2 {\textstyle (x-y)^{2}=x^{2}-2xy+y^{2}} . 三角恒等式: sin 2 ⁡ x + cos 2 ⁡ x = 1 {\textstyle \sin ^{2}x+\cos ^{2}x=1} . 対数法則: x > 0 かつ y > 0 ならば log 10 ⁡ ( x y ) = log 10 ⁡ x + log 10 ⁡ y {\textstyle \log _{10}(xy)=\log _{10}x+\log _{10}y} . 超準解析批判（英語版） 超準解析の影響（英語版） 超準的微分積分学（英語版） 増分定理 [脚注の使い方] ^ Keisler 2012. ^ Davis & Hausner 1978. ^ Blass 1978. ^ Madison & Stroyan 1977. ^ http://www.math.wisc.edu/oldhome/directories/alumni/1974.htm ^ Keisler 2011. ^ Sullivan 1976. ^ Tall 1980. ^ O'Donovan & Kimber 2006. ^ O'Donovan 2007. ^ Sullivan, Kathleen (1976). “Mathematical Education: The Teaching of Elementary Calculus Using the Nonstandard Analysis Approach”. Amer. Math. Monthly 83 (5): 370–375. doi:10.2307/2318657.  ^ Hrbacek 2007. ^ Błaszczyk, Piotr; Katz, Mikhail; Sherry, David (2012), “Ten misconceptions from the history of analysis and their debunking”, Foundations of Science 18: 43–74, arXiv:1202.4153, doi:10.1007/s10699-012-9285-8  初版: Keisler, H. Jerome (1976), Elementary Calculus: An Approach Using Infinitesimals, Prindle Weber & Schmidt  傍用モノグラフ: Keisler, H. Jerome (1976), Foundations of Infinitesimal Calculus, Prindle Weber & Schmidt, ISBN 978-0871502155, http://www.math.wisc.edu/~keisler/foundations.html 10 January 2007閲覧。  第二版: Keisler, H. Jerome (1986), Elementary Calculus: An Infinitesimal Approach, Prindle Weber & Schmidt, http://www.math.wisc.edu/~keisler/calc.html  第三版: Keisler, H. Jerome (2012), Elementary Calculus: An Infinitesimal Approach (2nd ed.), New York: Dover Publications, ISBN 978-0-486-48452-5  初版・第二版は絶版であり、第二版が絶版となった折に著作権は著作者であるキースラーに戻され、キースラーは自サイト http://www.math.wisc.edu/~keisler/calc.html において第二版（修正オンライン版）の公開を行っている (PDFフォーマットでダウンロード可能)。本書はすでに第三版が出ているが、出版社との合意のもとオンライン版の公開は継続されているとの説明が当該サイトに書かれている。傍用のモノグラフについても同様にオンライン版が http://www.math.wisc.edu/~keisler/foundations.html に公開中である。 日本語訳本: キースラー 著、斎藤正彦 訳『無限小解析の基礎––微積分の新手法』（新装）東京図書、1986年（原著1979年）。ISBN 978-4489001826。https://iss.ndl.go.jp/books/R100000002-I000001407989-00。 （傍用モノグラフの翻訳） Bishop, Errett (1977), “Review: H. Jerome Keisler, Elementary calculus”, Bull. Amer. Math. Soc. 83: 205–208, doi:10.1090/s0002-9904-1977-14264-x, http://projecteuclid.org/euclid.bams/1183538669  Blass, Andreas (1978), “Review: Martin Davis, Applied nonstandard analysis, and K. D. Stroyan and W. A. J. Luxemburg, Introduction to the theory of infinitesimals, and H. Jerome Keisler, Foundations of infinitesimal calculus”, Bull. Amer. Math. Soc. 84 (1): 34–41, doi:10.1090/S0002-9904-1978-14401-2, http://www.ams.org/journals/bull/1978-84-01/S0002-9904-1978-14401-2/home.html  Davis, Martin (1977), “Review: J. Donald Monk, Mathematical logic”, Bull. Amer. Math. Soc. 83: 1007–1011, doi:10.1090/S0002-9904-1977-14357-7, http://projecteuclid.org/euclid.bams/1183539465  Davis, M.; Hausner, M (1978), “Book review. The Joy of Infinitesimals. J. Keisler's Elementary Calculus”, Mathematical Intelligencer 1: 168–170, doi:10.1007/bf03023265, http://www.springerlink.com/content/d9u46n637vrtr875/fulltext.pdf . Hrbacek, K.; Lessmann, O.; O’Donovan, R. (November 2010), “Analysis with Ultrasmall Numbers”, American Mathematical Monthly 117 (9): 801–816, doi:10.4169/000298910x521661  Hrbacek, K. (2007), “Stratified Analysis?”, in Van Den Berg, I.; Neves, V., The Strength of Nonstandard Analysis, Springer  Katz, Karin Usadi; Katz, Mikhail G. (2010), “When is .999... less than 1?”, The Montana Mathematics Enthusiast 7 (1): 3–30, arXiv:1007.3018, Bibcode: 2010arXiv1007.3018U, オリジナルの20 July 2011時点におけるアーカイブ。, https://web.archive.org/web/20110720095125/http://www.math.umt.edu/TMME/vol7no1/  Madison, E. W.; Stroyan, K. D. (Jun–Jul 1977), “Elementary Calculus. by H. Jerome Keisler”, The American Mathematical Monthly 84 (6): 496–500, doi:10.2307/2321930, JSTOR 2321930, https://jstor.org/stable/2321930  O'Donovan, R. (2007), “Pre-University Analysis”, in Van Den Berg, I.; Neves, V., The Strength of Nonstandard Analysis, Springer  O'Donovan, R.; Kimber, J. (2006), “Nonstandard analysis at pre-university level: Naive magnitude analysis”, in Cultand, N; Di Nasso, M.; Ross, Nonstandard Methods and Applications in Mathematics, Lecture Notes in Logic, 25  Stolzenberg, G. (June 1978), “Letter to the Editor”, Notices of the American Mathematical Society 25 (4): 242  Sullivan, Kathleen (1976), “The Teaching of Elementary Calculus Using the Nonstandard Analysis Approach”, The American Mathematical Monthly (Mathematical Association of America) 83 (5): 370–375, doi:10.2307/2318657, JSTOR 2318657, https://jstor.org/stable/2318657  Tall, David (1980), Intuitive infinitesimals in the calculus (poster), Fourth International Congress on Mathematics Education, Berkeley, http://www.warwick.ac.uk/staff/David.Tall/pdfs/dot1980c-intuitive-infls.pdf  ^ Blass writes: "I suspect that many mathematicians harbor, somewhere in the back of their minds, the formula ∫ ( d x ) 2 + ( d y ) 2 {\displaystyle \int {\sqrt {(dx)^{2}+(dy)^{2}}}} for arc length (and quickly factor out dx before writing it down)" (p. 35). "Often, as in the examples above, the nonstandard definition of a concept is simpler than the standard definition (both intuitively simpler and simpler in a technical sense, such as quantifiers over lower types or fewer alternations of quantifiers)" (p. 37). "The relative simplicity of the nonstandard definitions of some concepts of elementary analysis suggests a pedagogical application in freshman calculus. One could make use of the students' intuitive ideas about infinitesimals (which are usually very vague, but so are their ideas about real numbers) to develop calculus on a nonstandard basis" (p. 38).