| Project/Area Number |
12440031
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (B)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
General mathematics (including Probability theory/Statistical mathematics)
|
|---|
| Research Institution | Kyoto Sangyo University |
|---|
Principal Investigator |
YASUGI Mariko Faculty of Science, Professor, 理学部, 教授 (90022277)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
HAYASHI Susumu Kobe University, Faculty of Engineering, Professor, 工学部, 教授 (40156443)
MORI Takakazu Faculty of Science, Associate Professor, 理学部, 助教授 (00065880)
TSUJII Yoshiki Faculty of Science, Professor, 理学部, 教授 (90065871)
YOSHIKAWA Aisushi Kyushu University, Graduate School of Mathematics, Professor, 大学院・数理学研究院, 教授 (80001866)
TSUIKI Hideki Kyoto University, Faculty of Integrated Human Studies, Associate Professor, 総合人間学部, 助教授 (10211377)
鷲原 雅子 京都産業大学, 理学部, 教授 (40065800)
小田 秀典 京都産業大学, 経済学部, 教授 (40224240)
|
|---|
| Project Period (FY) |
2000 – 2002
|
| Project Status |
Completed (Fiscal Year 2002)
|
| Budget Amount *help |
¥7,600,000 (Direct Cost: ¥7,600,000)
Fiscal Year 2002: ¥2,300,000 (Direct Cost: ¥2,300,000)
Fiscal Year 2001: ¥2,300,000 (Direct Cost: ¥2,300,000)
Fiscal Year 2000: ¥3,000,000 (Direct Cost: ¥3,000,000)
|
|---|
| Keywords | Computability structure / Effectivity / Piecewise continuous function / Uniform space / Limit computability / Domain theory / Linear operator / Constructive logic / 構成的理論 / 不連続関数 / 関数空間 / グレーコード / Σ^0_1-排中律 / 計算可能性 / 型2マシン / 連続体 / 排中律 |
|---|
| Research Abstract |
The purpose of this project is the computability structure on the continuum in Pour-E1 style; its extension, application, and formalization. Most of the objectives have been steadily achieved. We here report our results.
The major research target of this project is the computability problems of real discontinuous functions, especially piecewise continuous functions, that is, the foundations of computation of function values at discontinuous points.
1. Limit computation: This is a computation method by taking the limits of recursive functions. We have shown that many of piecewise continuous functions are computable with this method.
2. Effective uniform space: The theory of the computability structure on the uniform space obtained by isolating discontinuous points has been developed. Many of piecewise continuous functions have been shown to be computable in this theory. The equivalence of effective convergences of a function with regards to respectively uniformity and its metrization.
3. Limit computation and uniform space: Under a certain condition, sequential computabilities of a piecewise continuous function with regards to respectively limit computation and uniformity.
4. Method of Walsh analysis: The theory of representing computability notions in terms of Fine metric has been developed, and various notions of computability have been defined.
5. A formal system of limit computable mathematics: A formal system in which limiting computable mathematics can be executed has been defined, and its functional interpretation has been carried out.
6. Computability in functional analysis: Effectivity of solving the invisid partial differential equation and effectivity of some linear operators on the interpolation space have been solved affirmatively.
7. Theories of representing real numbers: Theories of representing a complete uniform space by a uniform domain, and representations of real numbers by respectively Gray codes and a certain category have been developed.
|
