| 研究課題/領域番号 |
13J10114
|
|---|
| 研究種目 |
特別研究員奨励費
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 国内 |
|---|
| 研究分野 |
数学一般(含確率論・統計数学)
|
|---|
| 研究機関 | 北陸先端科学技術大学院大学 |
|---|
研究代表者 |
河井 達治 北陸先端科学技術大学院大学, 情報科学研究科, 特別研究員(DC2)
|
|---|
| 研究期間 (年度) |
2013-04-01 – 2015-03-31
|
| 研究課題ステータス |
完了 (2014年度)
|
| 配分額 *注記 |
2,000千円 (直接経費: 2,000千円)
2014年度: 1,000千円 (直接経費: 1,000千円)
2013年度: 1,000千円 (直接経費: 1,000千円)
|
|---|
| キーワード | 構成的数学 / 位相空間論 / formal topology / コンパクト性 / Bishopの距離空間 / コンパクト距離空間 |
|---|
| 研究実績の概要 |
Bishopの距離空間とformal topologyは構成的数学における主要な空間概念であり、両者の関係の解明は構成的位相空間論の重要な課題である。本研究の目的は、位相空間論において最も重要な概念であるコンパクト性について、Bishopの距離空間におけるコンパクト性と両立するようなformal topologyの概念を特徴付け、そのように特徴付けられたformal topologyのクラスが良い性質を持つことを示すことである。
本年度の主な結果は以下の２つである。
第一に、Bishopの局所コンパクト距離空間をformal topologyにより特徴付けた。その特徴付けは、よく知られた空間である局所コンパクト正則formal topologyの定義に加算条件を加えることにより得られる単純なものであり、Bishopの距離空間の理論とformal topologyの理論の親和性を示すものである。本結果により、局所コンパクト距離空間の一般論をformal topologyで扱うことが可能となった。また、本研究では、得られた特徴付けの応用として、Bishopの距離空間の理論において最も重要な定理の一つである「一点コンパクト化定理」をformal topologyにおいて証明した。
第二に、Palmgren(2007)による局所コンパクト距離空間のformal topologyへの埋め込みを、疑距離の族により定義される一様空間へと拡張した。さらに、前年度に得られた開被覆族により定義されるコンパクト一様空間のformal topologyへの埋込みが、疑距離の族により定義されるコンパクト一様空間の埋込みの拡張となっていることを示した。これにより、前年度の結果がPalmgrenの結果の拡張であることも同時に示された。
|
| 現在までの達成度 (段落) |
26年度が最終年度であるため、記入しない。
|
| 今後の研究の推進方策 |
26年度が最終年度であるため、記入しない。
|
