有界擬順序集合上の準重なり関数を構成・分類
Quasi-overlap and quasi-grouping functions on bounded pseudo-ordered sets
この論文をやさしく読む
ひとことで言うと
通常の順序より一般化された関係を持つ集合の上で、重なりやグルーピングを表す関数を定義し、性質と作り方を調べています。抽象的な順序構造と関数の研究です。
何に役立つ？
このような集合上の集約関数を扱う理論で、どの操作が性質を保ち、どう関数を構成できるかを整理できます。要旨は具体的な実務データへの適用を示していません。
この研究の面白いところ
性質を列挙するだけでなく、重み付けや自己同型での不変性、商集合への誘導、二通りの構成法までを結び付けています。準グルーピング関数にも対応する結果が成り立ちます。
どこまで分かった？
対象は有界擬順序集合や有界トレリスなど、指定された構造です。境界忠実写像、推移的端点などの定義や各性質間の具体的な含意は要旨には示されていません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
本論文では、まず有界擬順序集合上に準重なり関数と準グルーピング関数をそれぞれ導入し、各々の基本的な構成と、商半順序集合上に誘導される準重なり関数を与える。続いて、重み付けと自己同型の下での不変性を調べる。また、準重なり関数の移行性、斉次性、冪等性、消去法則、アルキメデス性、極限に関する性質を導入し、それらの関係を議論する。 最後に、準重なり関数の二つの構成方法を提示する。一方は有界擬順序集合上の境界忠実写像と随伴に基づき、もう一方は有界トレリスの推移的端点に基づく。対応する主張は、準グルーピング関数についても成立する。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-21（UTC）
- 最新改訂
- 2026-09-21 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-21 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
In this article, we first introduce quasi-overlap and quasi-grouping functions on bounded pseudo-ordered sets, respectively, and give their respective preliminary constructions and the induced quasi-overlap functions on quotient posets.. We then explore the invariant properties under weighting and automorphisms. We also introduce the migrativity, the homogeneity, the idempotency, the cancellation law, the Archimedean and limiting properties of quasi-overlap functions and discuss their relations. We finally present two constructing methods of quasi-overlap functions, which are based on boundary-faithful mappings and adjunctions on bounded psosets and the transitive-endpoints of a bounded trellis, respectively. The corresponding statements are valid for quasi-grouping functions as well.
著者のコメント
36
arXiv ID: 2609.23987 ／ 要約の誤りについて