数学理論に対する個別超準化法I

スポンサーリンク

概要

• 論文の詳細を見る

• 超準解析( Nonstandard Analysis )はAbraham Robinsonの考案になる画期的な解析法であるが、一面、かなりの程度わかりにくい理論でもあると見なされてきた。事実、創始以来ほぼ半世紀を迎えようとする今日なお、この理論が広く普及しているようには見えない。本論において我々は、`数学理論の記述に関する新たな枠組み'を用いることによって、超準解析の分かりやすい導入を試みた。ここで述べる個別超準化法の特徴は、つぎのような点にある。(1)それぞれの数学理論を、定義・公理・命題・条件その他さまざまな種類の記述の集まりととらえる。(2)これらの記述を、おのおの"数学的対象"と"記述形式"とに分解する。(3)そこで用いられている数学的対象のそれぞれを-せいに超準化し、そのあと、それに合わせて各記述形式を超準化する。なお、ここで"記述形式"と呼ぶのは、それを記述するのに用いられた不定の数学的対象のそれぞれに具体的な対象を代入したとき、何らかの意味をもつ命題-と変わり、その真偽が定まるような記述のことである。その際、記述形式の構成のしかたや記述された命題の具体的意味、さらにその真偽などは、それぞれの数学理論に属することがらであり、超準化法はそこに立ち入らない。個別超準化法が前提とするのは、自然数や実数についての通常の知識のほかは、無限集合における超フィルターの存在だけである。それも、 Zornの補題を用いて簡単に証明されるので、本論が述べるのは、予備知識を必要としない超準解析導入の方法といえよう。このように、 ZFC (Zermelo-Fraenkelの集合論に選択公理をあわせたもの)の知識を求められない点は、個別超準化法の学びやすさにつながるものと思われる。

• 2008-09-30

著者

• 西山 龍吉

  龍谷大学文学部

関連論文

• 超準解析による実数論
• 数学理論に対する個別超準化法I
• 数学理論に対する個別超準化II
• 数学理論に対する個別超準化法III
• 数学理論の帰納的超準化法 : 超準解析理論の新たな構成法(?)
• 数学理論の帰納的超準化法 : 超準解析理論の新たな構成法(1)
• 無限小領域における特異現象の解析に威力を発揮する超準解析学
• ノンスタンダード・アナリシス(Nonstandard Analysis)

スポンサーリンク