On the structure of computability on metric spaces, dimension and the complexities of descriptive set theory
| Project/Area Number |
19540086
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Geometry
|
|---|
| Research Institution | Shimane University |
|---|
Principal Investigator |
HATTORI Yasunao Shimane University, 総合理工学部, 教授 (20144553)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
TSUIKI Hideki 京都大学, 大学院・人間・環境学研究科, 准教授 (10211377)
YOKOI Katsuya 東京慈恵会医科大学, 医学部, 教授 (90240184)
MAEDA Sadahiro 佐賀大学, 理工学部, 教授 (40181581)
KIMURA Makoto 島根大学, 総合理工学部, 教授 (30186332)
NOGURA Tsugunori 愛媛大学, 大学院・理工学研究科, 教授 (00036419)
FURUMOCHI Tetsuo 島根大学, 総合理工学部, 教授 (40039128)
YAMAUCHI Takamitsu 島根大学, 総合理工学部, 講師 (00403444)
|
|---|
| Project Period (FY) |
2007 – 2009
|
| Project Status |
Completed (Fiscal Year 2009)
|
| Budget Amount *help |
¥3,250,000 (Direct Cost: ¥2,500,000、Indirect Cost: ¥750,000)
Fiscal Year 2009: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2008: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2007: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
|
|---|
| Keywords | トポロジー / 情報基礎 / 距離空間 / ドメイン / 次元 / 超限次元 / ボレルクラス / 双曲型位相 / 形式的球体 / ノルム空間 / 超空間位相 / ボレル集合 / 位相次元 / 計算可能性 |
|---|
| Research Abstract |
We studied about the computability of metric spaces from the topological point of view. We also studied on set-theoretic topology and dimension theory of topological spaces. In particular, we studied the relations between the order and topological structures on the domains of the formal balls of metric spaces. Concerning dimension theory, we investigated the inductive dimension modulo absolute multiplicative class M(α) and additive class A(α), and constructed the examples which show the differences of the values of these dimensions. We also improved the additive theorem and the product theorem for the inductive dimensions. We also considered the spaces which are finite union of locally compact subspaces and gave a characterization of strong paracompactness by means of the selection of multi-valued mappings
|
Report
(4 results)
Research Products
(43 results)
