メンガー・ロスバーガーゲームの仮定を減らす証明
Primeless proofs of the Menger and Rothberger games
この論文をやさしく読む
ひとことで言うと
選択原理を特徴付ける二つのゲームについて、必要な仮定や反例の規模を調べた数学研究。
何に役立つ？
位相空間論や順序集合論で、選択原理とゲームの関係を厳密に整理する際に役立つ。
この研究の面白いところ
束の仮定を外したUfinの特徴付けと、選択原理とゲームが一致しない完全分配束を示した。
どこまで分かった？
要旨は理論的な証明と反例の下界を報告する。反例の最小サイズそのものを決定したとは述べていない。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
本研究はarXiv:2102.12901で始めた、束上のメンガーゲームとロスバーガーゲームの研究を続ける。今回は、不要であると分かったいくつかの仮定を外して以前の結果を拡張し、ストーン双対性を使って、稠密開集合族について知られているゲームによる特徴付けを再び導く。また、部分順序集合に対してUfinの定式化を与え、束であるという仮定なしにそのゲームによる特徴付けを証明する。さらに、概交差しない集合族から、選択原理と対応するゲームが異なる完全分配束を構成する。そのような反例の最小の大きさについて、cov(M)と支配数dを下界として得る。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-23（UTC）
- 最新改訂
- 2026-09-23 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-23 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We continue the study of the Menger and Rothberger games on lattices initiated in arXiv:2102.12901. This time, we extend the earlier results by dropping some hypotheses that turned out to be unnecessary, and use Stone duality to recover known game characterizations for dense open families. We also give a formulation of Ufin for partially ordered sets and prove its game characterization without any lattice assumption. Finally, almost disjoint families give complete distributive lattices on which the selection principles and the corresponding games differ. We obtain lower bounds $\operatorname{cov}(\mathcal M)$ and $\mathfrak d$ for the least sizes of such counterexamples.
著者のコメント
14 pages, 1 figure
arXiv ID: 2609.28780 ／ 要約の誤りについて