| 研究課題/領域番号 |
12J08528
|
|---|
| 研究種目 |
特別研究員奨励費
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 国内 |
|---|
| 研究分野 |
数学一般(含確率論・統計数学)
|
|---|
| 研究機関 | 北陸先端科学技術大学院大学 |
|---|
研究代表者 |
木原 貴行 北陸先端科学技術大学院大学, 情報科学研究科, 特別研究員(PD)
|
|---|
| 研究期間 (年度) |
2012-04-01 – 2015-03-31
|
| 研究課題ステータス |
完了 (2014年度)
|
| 配分額 *注記 |
3,630千円 (直接経費: 3,300千円、間接経費: 330千円)
2014年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
2013年度: 1,100千円 (直接経費: 1,100千円)
2012年度: 1,100千円 (直接経費: 1,100千円)
|
|---|
| キーワード | 記述集合論 / 無限次元トポロジー / チューリング次数 / 強制法 / 関数解析 / バナッハ空間 / 計算理論 / 弱無限次元空間 / ランダム性 / コルモゴロフ複雑性 / 実解析学 / ボレル階層 / マルチンゲール / フラクタル / 実数上の集合論 / ベール函数 |
|---|
| 研究実績の概要 |
H25年度に引き続き，H26年度も，ボレル可測函数の構造解析および無限次元ポーランド空間の分類研究を推し進めた．本研究の主要成果は，記述集合論，無限次元トポロジー，そしてベール函数環の構造解析に跨る，計算可能性理論の新たな応用の道を切り開いたことである．
1. 近年，記述集合論で中心的問題とされているボレル可測函数の分解への応用を目的として，チューリング次数に関するShore-Slaman和定理を無限次元空間上に拡張することに成功した．この定理を応用することにより，連続函数環の理論におけるゲルファント-コルモゴロフの定理の類似物として，ポーランド空間上の神託付チューリング次数構造が，その上の有限級ベール函数環の構造によって決定されることを示した．
2. 第2級ボレル同型の不変量として，チューリング次数の理論を用いた余次数スペクトルの概念を導入し，Haverの性質Cを持つ無限次元カントール多様体の連続体濃度の族で，それぞれの各有限級ボレル構造がいずれも非同型であるものを構成した．これは有限級ベール函数のなすバナッハ環の線型等長（環同型）に関するMotto Rosの問題を解決するのみならず，Roman PolによるAlexandov問題の解決を初めとする，無限次元トポロジーの既存の様々な定理を拡張するものである．
3. その他，Sacks強制法から得られる逆系の逆極限による空間の構成手法を導入し，Gregoriadesの問題を解決し，ボレル同型の理論においては非可算解析空間が弱余ススリン-F-同型の下で2種類しか存在しないことと，任意の実数に対するシャープが存在することがZFC上同値であることを示した．他には，KP集合論の(Σ1-projectumがωであるような)ω-モデル上の強制法について，クリーチャー強制法およびイデアル商強制法の理論の観点に基づいた再整備を行った．
|
| 現在までの達成度 (段落) |
26年度が最終年度であるため、記入しない。
|
| 今後の研究の推進方策 |
26年度が最終年度であるため、記入しない。
|
