2009 Fiscal Year Final Research Report
Research on computable structures of continuous spaces like the real number through representation in bottomed sequences
| Project/Area Number |
18500013
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Fundamental theory of informatics
|
|---|
| Research Institution | Kyoto University |
|---|
Principal Investigator |
TSUIKI Hideki Kyoto University, 人間・環境学研究科, 准教授 (10211377)
|
|---|
| Research Collaborator |
服部 泰直 島根大学, 総合理工学部, 教授
大田 春外 静岡大学, 教育学部, 教授
山田 修司 京都産業大学, 理学部, 教授
八杉 真理子 京都産業大学, 名誉教授
辻井 芳樹 京都産業大学, 理学部, 教授
森 隆一 京都産業大学, 理学部, 教授
|
|---|
| Project Period (FY) |
2006 – 2009
|
| Keywords | 実数計算 / グレイコード / ドメイン理論 / 位相空間論 / 不定元 / 双曲位相 / Lawson位相 |
|---|
| Research Abstract |
The computational structure of the reals and other topological spaces are studied mainly with the method of embedding a space into the set of infinite sequences with bottoms. Some computationally natural properties of an embedding, such as the recursiveness of the definition and the non-redundancy of each digit in a code sequence, are investigated through their characterization in general topological terms, and some characterizations of spaces with such an embedding are given. Other topics such as constant time computability preserving conversions, and the relation between the Lawson topology of the space of formal balls and the hyperbolic topology of a metric space, are also investigated.
|
