| 研究課題/領域番号 |
04F04301
|
|---|
| 研究種目 |
特別研究員奨励費
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 外国 |
|---|
| 研究分野 |
数学一般(含確率論・統計数学)
|
|---|
| 研究機関 | 神戸大学 |
|---|
| 受入研究者 |
BRENDLE Jorg (2005-2006) 神戸大学, 大学院自然科学研究科, 助教授
BRENDLE JORG (2004) 神戸大学, 大学院・自然科学研究科, 助教授
|
|---|
| 外国人特別研究員 |
HIRSCHORN James 神戸大学, 大学院自然科学研究科, 外国人特別研究員
HIRSCHORN JAMES 神戸大学, 大学院・自然科学研究科, 外国人特別研究員
|
|---|
| 研究期間 (年度) |
2004 – 2006
|
| 研究課題ステータス |
完了 (2006年度)
|
| 配分額 *注記 |
2,400千円 (直接経費: 2,400千円)
2006年度: 700千円 (直接経費: 700千円)
2005年度: 1,200千円 (直接経費: 1,200千円)
2004年度: 500千円 (直接経費: 500千円)
|
|---|
| キーワード | 集合論 / 測度論 / 順序の理論 / トポロジー / 強制法 / 無限組合せ論 / 強制法の理論 / 無限組み合わせ論 / 連続体の基数不変量 |
|---|
| 研究概要 |
本研究では、主に実数上の組合せ論とその強制法理論との関係を調べた。特に、無限組合せ論や測度論や順序に関する理論などから得られたアイディアと技法を用いて基数不変量やランダム強制法による拡大について焦点を絞って研究を行った。
(1)Eventual dominance ordering on the Baire space N^N.
準順序に重点を置きながら、線形性の一般化などのようないくつかの関係の性質を調べ、また、与えられた関係からある性質を満たす関係に拡大するaugmentation(または、ある性質を満たす関係に縮小するdiminishment)をそれぞれの性質に標準的に対応させた。特に、自然数NからNへの関数からなるベール空間N^N上の積順序【less than or equal】とeventual dominance準順序【less than or equal】^*を区別する性質についての研究を行い、(N^N,【less than or equal】)のaugmentationと(N,【less than or equal】^*)のdiminishmentについていくつかの結果を得た。例えば、【less than or equal】^*を【less than or equal】のある性質に対応するaugmentationとして特徴づけた。この研究に基づいて、反復強制法における保存定理の技法をさらに深く発展させることによって、s_<Cohen><min{s, add(M)}の無矛盾性を得ることができると予想している。
(2)Random trees under CH.
Shelahによって開発された実数を付加しない反復強制法をさらに発展させて、Todorcevicによる組合せ論的原理(*)の変形と連続体仮説CHとの無矛盾性を証明し、「CHかつ任意のランダム代数による強制拡大において全てのAronszajn木が特殊である」という主張の無矛盾性を得た。この結果は、外国人特別研究員によって既に示された「CHかつ任意のランダム代数による強制拡大においてSuslin木が存在しない」ことの無矛盾性を強めたものである。
|
