計算可能性と粗いトポロジーに関する距離空間の次元様相
KAKEN 科学研究費助成事業データベース で見る研究課題番号 | KAKENHI-PROJECT-22540084 |
---|---|
研究種目 | 基盤研究(C) |
研究分野 | 理工系 数物系科学 数学 幾何学 |
研究機関 | 島根大学 |
代表研究者 | 服部 泰直 |
研究分担者 | 木村 真琴 |
研究分担者 | 山内 貴光 |
連携研究者 | 立木 秀樹 |
連携研究者 | 横井 勝弥 |
連携研究者 | 松橋 英市 |
研究協力者 | CHATYRKO Vitalij |
研究期間 開始年月日 | 2010/4/1 |
研究期間 終了年度 | 2013 |
研究ステータス | 完了 (2013/4/1) |
配分額(合計) | 3,900,000 (直接経費 :3,000,000、間接経費 :900,000) |
配分額(履歴) |
2013年度:910,000 (直接経費 :700,000、間接経費 :210,000) 2012年度:910,000 (直接経費 :700,000、間接経費 :210,000) 2011年度:910,000 (直接経費 :700,000、間接経費 :210,000) 2010年度:1,170,000 (直接経費 :900,000、間接経費 :270,000) |
キーワード | 距離空間 ドメイン 次元 分離次元 Martin位相 Sorgenfrey位相 形式的球体 小帰納次元 位相次元 計算可能性 Khalimsky 空間 Alexandroff 空間 Sorgenfrey型位相 半順序構造 粗いトポロジー 位相空間 超空間位相 半順序集合 Scott位相 コンパクト化 集合値関数 選択関数 被覆次元 帰納的次元 |