Sakaé Fuchino 研究室

本研究室では、集合論における基本的な公理体系と、その帰結となる数学的対象の性質との相互関係を調べています。特に、無限個の集合を扱うときに必要となる選択公理やその弱い変種と、トポロジーなどの古典的な定理との結びつきを検討しています。また、強大な性質を持つ無限基数（超越的な大きさをもつ数学的対象）が、異なる公理系の下でどのように振る舞うかを解析しています。 研究の主要な手法は、強制法と呼ばれる集合論の技法を用いた論理的な構成です。この手法により、与えられた公理系に新しい性質を付け加えたモデルを作成し、そこで成り立つ定理や矛盾を調べることで、元の公理系の限界や可能性を明らかにしています。例えば、連鎖条件という特定の条件下での強制において、大きな基数がどのような性質を保持するかを検証しています。 これらの研究を通じて、数学の基礎となる公理と、トポロジーや順序論などの様々な分野の定理がどのように相互に依存しているかが明らかになります。集合論は数学全体の土台であるため、その構造を深く理解することは、数学全体の可能性と限界を把握する上で重要な役割を果たしています。