UntiCST（Convergence Structure Theory）によるコラッツ予想の完全証明候補：理論的課題最小化版
Abstract
本稿では、自然数に定義されるコラッツ写像に対し、筆者が導入する CST（Convergence Structure Theory：収束構造理論） と位相空間的連結成分理論、UDブロック構造解析を組み合わせ、操作系列の構造的解析に基づき、すべての初期値が既知周期に収束することを示す完全証明候補を提示する。さらに、連結成分の clopen 集合による分類を導入することで、理論的に残る課題を最小化した。 本稿は形式化チェックリストを付しており、Lean / Coq などの形式証明システムによる検証を通じて、正式な完全証明への移行が可能であることを意図している。査読・学術共有向けに整理された完全証明候補として、研究コミュニティによる検証とフィードバックを得ることを目的とする。
Fields of Study & Subjects
Image Retrieval and Classification Techniques
Handwritten Text Recognition Techniques
Medical Image Segmentation Techniques
Publication details
- Journal / source
- Figshare
- Publication date
- 8 January 2026
- Document type
- Preprint