[論文レビュー] Lattices, interpolation, and set theory

Martin Goldstern|ArXiv.org|Apr 8, 2000

Advanced Algebra and Logic参考文献 5被引用数 4

ひとこと要約

この論文は、ラティス理論、単調関数、集合論的技法の相乗作用を調査し、濃度と余帰納性の制約により、無限ラティスは順序多項式的完全でないことを示している。σ多項式は、無限ラティスにおける単調関数を補間する多項式の一般化として導入され、任意の正規ラティス上の関数は、より大きな正規ラティスにおける正規多項式によって表現可能であることが証明されており、代数的構造と集合論的構成技法の強い関係が確立されている。

ABSTRACT

We review a few results concerning interpolation of monotone functions on infinite lattices, emphasizing the role of set-theoretic considerations. We also discuss a few open problems.

研究の動機と目的

• 無限ラティス上の単調関数の代数的表現の限界を理解すること。
• 無限ラティス上の単調関数が多項式によって表現可能かどうかを調査し、不可能な場合には何の一般化が必要かを検討すること。
• 濃度と余帰納性を含む集合論的概念が、ラティス理論における代数的問題の解決に果たす役割を調査すること。
• 超限構成を用いて、ラティスからの補間結果を正規ラティスへ拡張すること。
• すべての単調関数がσ多項式によって表現可能なラティスを特徴付けること。

提案手法

• 濃度の議論を用いて、無限ラティス上の単調関数の数が多項式の数を上回ることを示し、無限ラティスが順序多項式的完全でないことを証明する。
• σ多項式は、増加する有限部分ラティス上の多項式列の極限として定義され、単調関数の補間を可能にする。
• 超限反復とラティス拡張を用いて、補間が可能なより大きなラティスへ与えられたラティスを埋め込む。
• 任意関数の多項式表現を含めるように繰り返しラティスを拡張することで、σ-IPを有する正規ラティスを構成する。
• 反鎖と単調拡張の概念を用いて、関数補間を支援する中間構造を構築する。
• 部分ラティスから完備部分ラティスへの任意の単調関数は上界を用いて拡張可能であり、再帰的構成が可能になることを利用している。

実験結果

リサーチクエスチョン

• RQ1 すべての単調関数が多項式によって表現可能な無限ラティスは存在するか？
• RQ2 無限ラティス上の単調関数は、σ多項式のような多項式の一般化を用いて補間可能か？
• RQ3 濃度や余帰納性といった集合論的概念は、ラティス上の単調関数の表現可能性にどのように寄与するか？
• RQ4 任意の正規ラティス上の関数は、そのラティスの拡張内での正規多項式によって表現可能か？
• RQ5 すべての関数がσ多項式によって補間可能なラティス（すなわちσ-IPを有するラティス）の必要十分条件は何か？

主な発見

• 濃度の制約により、単調関数の数が多項式の数を上回るため、無限ラティスは順序多項式的完全（o.p.c.）なものは存在しない。
• 任意のラティス L と単調関数 f: L → L に対して、有限部分ラティスの列を極限として構成し、多項式表現可能性が増加するようにラティスを構築すれば、f と一致するσ多項式が存在する。
• 任意のラティス上の関数は、適切な拡張ラティス内でのσ多項式によって表現可能であり、σ多項式が普遍的な補間機構を提供することを示している。
• 任意の正規ラティスは、σ-IPを有するより大きな正規ラティスに埋め込むことができる。これは、元のラティス上のすべての関数が拡張内での正規多項式によって表現可能であることを意味する。
• このような拡張の構成は超限反復と反鎖の使用に依存しており、集合論的手法が特定の代数的補間問題の解決に不可欠であることを示している。
• すべての単調関数がσ多項式によって表現可能なラティスの存在は、その濃度と閉包性質がまだ完全に特徴付けられていない、豊かな構造のクラスを示唆している。