| Project/Area Number |
13J10114
|
|---|
| Research Category |
Grant-in-Aid for JSPS Fellows
|
| Allocation Type | Single-year Grants |
|---|
| Section | 国内 |
|---|
| Research Field |
General mathematics (including Probability theory/Statistical mathematics)
|
|---|
| Research Institution | Japan Advanced Institute of Science and Technology |
|---|
Principal Investigator |
河井 達治 北陸先端科学技術大学院大学, 情報科学研究科, 特別研究員(DC2)
|
|---|
| Project Period (FY) |
2013-04-01 – 2015-03-31
|
| Project Status |
Completed (Fiscal Year 2014)
|
| Budget Amount *help |
¥2,000,000 (Direct Cost: ¥2,000,000)
Fiscal Year 2014: ¥1,000,000 (Direct Cost: ¥1,000,000)
Fiscal Year 2013: ¥1,000,000 (Direct Cost: ¥1,000,000)
|
|---|
| Keywords | 構成的数学 / 位相空間論 / formal topology / コンパクト性 / Bishopの距離空間 / コンパクト距離空間 |
|---|
| Outline of Annual Research Achievements |
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の結果の拡張であることも同時に示された。
|
| Research Progress Status |
26年度が最終年度であるため、記入しない。
|
| Strategy for Future Research Activity |
26年度が最終年度であるため、記入しない。
|
Report
(2 results)
Research Products
(6 results)
