1995 Fiscal Year Annual Research Report
| Project/Area Number |
07640277
|
|---|
| Research Institution | Tohoku University |
|---|
Principal Investigator |
田中 一之 東北大学, 大学院・理学研究科, 助教授 (70188291)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
長澤 壮之 東北大学, 大学院・理学研究科, 助教授 (70202223)
尾形 庄悦 東北大学, 大学院・理学研究科, 助教授 (90177113)
押切 源一 東北大学, 大学院・理学研究科, 助教授 (70133931)
中村 哲男 東北大学, 大学院・理学研究科, 教授 (90016147)
吉野 崇 東北大学, 大学院・理学研究科, 教授 (50005774)
|
|---|
| Keywords | 数学基礎論 / 2階算術 / 逆数学 / 超準的手法 |
|---|
| Research Abstract |
1.本研究のねらいは,数学のある定理を証明するのにどれだけの公理や前提が必要になるかを調べ,それによって様々な数学分野の様々な定理の間に成り立つ理論的関係を明らかにして行くことである。とくに2階算術と呼ばれる枠組みにおいて,ある定理を証明するのに必要かつ十分となる集合存在公理が何かを決定する数学基礎論の研究プログラムを「逆数学」といい,その研究成果として多くの重要定理が二分木に対するケ-ニヒの補題(WKL)と論理的に同値なることが知られている.
2.私(研究代表者)は,ケ-ニヒの補題(WKL)を主要公理とする2階算術の体系WKL_0のモデルに関して自分が得た結果を応用し,超準解析的な方法で常微分方程式の局所解の存在に関するペアノの定理や連続関数に関する様々な諸性質をWKL_0で証明した.また,WKL_0のモデルに関する別の新しい性質も発見し,その応用について現在考察を続けている.
3吉野崇氏は,様々な作用素について値域の包含関係を精密に分析した.中村哲男氏は,有限体上の形式群の特性多項式について研究した.押切源一氏は,有向グラフの議論を使うことで葉層構造のある性質についての特徴づけに成功した.尾形庄悦氏は,アーベル多様体の退化の指数不足数をエータ関数を計算した.長澤壮之氏は,双曲型方程式に対する様々な非線形問題に関して多くの結果を得た。
|
Research Products
(7 results)
-
[Publications] K. Tanaka: "A non-standard proof of the Reano existence theovem in WKLo" 京大数理解析研講究録. 912. 57-63 (1995)
-
[Publications] T. Yoshino: "Remark on the range inclusions of Toeplitz and Hankel operators" Proc. Japan Acad.71. 168-170 (1995)
-
[Publications] T. Nakamura: "On characteristic pdynomials of formal groups over finite fields" Math. Machrichten. (to appear). (1996)
-
[Publications] G. Oshikiri: "A remark on oriented graphs" Interdisciplinary Information Sciences. 2(to appear). (1996)
-
[Publications] S. Ogata: "Signatuve defects and etafunctions of degeneration of abelian varieties" J. Math. Soc. of Japan. (to appear). (1996)
-
[Publications] T. Nagasawa: "Weak soutions of a semilinear hyperbolic systems on a non-decreasing domain" Math. Methods in Appl. Sci.(to appear).
-
[Publications] 吉野崇: "(基礎課題)微分方程式" 培風館, 120 (1995)
