| 研究課題/領域番号 |
15540120
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 一般 |
|---|
| 研究分野 |
数学一般(含確率論・統計数学)
|
|---|
| 研究機関 | 神戸大学 |
|---|
研究代表者 |
BRENDLE JORG 神戸大学, 大学院・自然科学研究科, 助教授 (70301851)
|
|---|
| 研究分担者 |
鈴木 晃 神戸大学, 大学院・自然科学研究科, 助手 (50330519)
渕野 昌 中部大学, 工学部, 教授 (30292098)
|
|---|
| 研究期間 (年度) |
2003 – 2004
|
| 研究課題ステータス |
完了 (2004年度)
|
| 配分額 *注記 |
3,700千円 (直接経費: 3,700千円)
2004年度: 1,800千円 (直接経費: 1,800千円)
2003年度: 1,900千円 (直接経費: 1,900千円)
|
|---|
| キーワード | 数学基礎論 / トポロジー / 集合論 / 強制法の理論 / 無限組合せ論 / 記述集合論 / 連続体の基数不変量 / 無限組み合わせ論 / 実数上の集合論 |
|---|
| 研究概要 |
強制法の理論とその実数の集合との関係に重点をおき、特に、連続体の基数不変量と記述集合論との関係に焦点を絞って研究を行った。
(1)Shattered iterations.本研究者によって開発された「shattered iteration」という技法をさらに深く発展させた。特に、反復の枠組みにHechler強制法を用いることによって、cov(Μ)=b=N_2とnon(Μ)=N_3が同時に成り立つことの無矛盾性を得た。
(2)Mixed support constructions.本研究では、◇を満たすモデル上mixed supportを用いてコーエン実数をκ個付け加えることによって、可算半順序に対するMartinの公理と任意の定常集合Sに対して〓_Sという組合せ論的原理が成り立つことの無矛盾性を証明し、渕野、ShelahとSoukupの問題を解決した。
(3)Cardinal invariants related to the rationals.古典的基数不変量ζに対応するDense(Q)/nwd(Q)の基数不変量をζ_Qで表すとき、S_Q【less than or equal】min{add(Μ), s}を証明した。また、η_Q<s_Qとη<η_Qそれぞれの無矛盾性を示すことによって、Balcar、HernandezとHrusakの問題を解いた。
(4)Cardinal invariants related to partitions of ω.自然数ωの分割(ω)を概細分で順序づけるとき、古典的基数不変量ζに対応する(ω)の基数不変量をζ_cで表すと、ζ=p,η,s, tに対して、ζ=ζ_cを得た。また、α_c=α_sを証明し、さらに、t_c=pを示した。
(5)Forcing indestructibility of mad families. HrusakとKurilicの研究を継続して、様々な強制法Pに対して、mad familiesのP-indestructibilityの組合せ論的特徴づけを得た。また、Martinの公理の断片を仮定するとき、いくつかの強制法の対(P, Q)に対して、P-indestructibleとQ-destructibleとなるmad familyを構成した。
(6)Silver measurability. Silver強制法と密接に関連している測度概念であるドーナツ性質について研究を行った。特に、全てのΔ^1_2集合がドーナツ性質を持つと全てのΣ^1_2集合がドーナツ性質を持つという命題が構成可能宇宙L上の超越命題として特徴づけられた。
|
