| 研究課題/領域番号 |
20K03721
|
|---|
| 研究機関 | 鹿児島大学 |
|---|
研究代表者 |
古澤 仁 鹿児島大学, 理工学域理学系, 教授 (00357930)
|
|---|
| 研究分担者 |
吉田 聡 公立鳥取環境大学, 人間形成教育センター, 准教授 (00455437)
|
|---|
| 研究期間 (年度) |
2020-04-01 – 2023-03-31
|
| キーワード | 関係 / 位相空間 / 各点連続 / 点列連続 / 構成的数学 |
|---|
| 研究実績の概要 |
本研究は，位相空間論における連続関係の基礎理論の構築を目的とする．関係の連続性の概念は分野ごとの利用目的に応じていくつも提案されてきているが，これらに関する一般の位相空間論的観点からの系統的な研究は，ごく一部の概念に関するものを除いてなされていない．ここでは，敢えて特定の目的によらず，中立的な観点から考えられる定義を形式的・機械的にすべて洗い出し，それぞれの分野に現れる連続性の概念を包含したより一般的な理論を構築することにより，関係の連続性の統一的で系統的な理解を目指す．
関係は非決定的振る舞いを数学的に取り扱うための最も基本的な道具である．関係の連続性の統一的で系統的な理解を目指す本研究は，位相空間の間の非決定性理論の基盤構築と位置づけられ，連続関係の概念を基礎とする数学の展開に繋がることが期待される．
研究全体をとおして，通常の数学と構成的数学の２つの立場から取り組む．構成的数学からの取り組みは通常の数学からの取り組みにより与えられる事実が構成的か非構成的かを明確にする．また，構成的数学は通常の数学の部分体系であるため，一般性の高い理論の構築が可能になる．
今年度は，研究代表者と研究分担者が2019年に共同で執筆した紀要論文 A note on continuity properties of relations (鹿児島大学理学部紀要第52号pp1-6) について構成的数学の立場から検討した．上記紀要論文では，一般の位相空間論の立場から関係の連続性に関する6つの条件を与え，これらが通常の数学においては同値であることを示した．今回の検討の結果，構成的数学においては同値性が崩れることがわかり，それを主要な結果とする論文を準備している．
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
4: 遅れている
理由
新型コロナウィルスの影響による．研究代表者も研究分担者も教務関連の業務に通常をはるかに超える時間を充てることになった．移動自粛のため対面での研究打合せができなかった．
|
| 今後の研究の推進方策 |
研究打合せについてはweb会議システムを上手に利用することで何とか対応したい．
|
| 次年度使用額が生じた理由 |
新型コロナウィルスの影響で人の往来が制限されたため．感染の広がり具合を見定めつつ，状況が許す範囲で海外の研究者との情報交換のために使用する予定である．
|
