[論文レビュー] Hyperintegers and Nonstandard Techniques in Combinatorics of Numbers

Lorenzo Luperi Baglini|arXiv (Cornell University)|Dec 10, 2012

Mathematical and Theoretical Analysis被引用数 10

ひとこと要約

本稿は、自然数の部分集合の組合せ的性質、特に多項式の分割正則性を研究するために、超整数と超フィルターを組み合わせた非標準的手法を提案する。特別な超拡張 ${}^\bullet\mathbb{N}$ におけるモノイドを用いて超フィルターの生成子を定義することで、超フィルターのテンソル積を構成するための構成的手段を確立し、ラドの定理などの古典的結果の非標準的証明を可能にするとともに、非線形多項式への分割正則性の拡張を実現する。

ABSTRACT

In literature, many important combinatorial properties of subsets of N have been studied both with nonstandard techniques and from the point of view of N. In this thesis we mix these two different approaches in a technique that, at the same time, incorporates nonstandard tools and ultrafilters.

研究の動機と目的

• 非標準解析と超フィルター理論を組み合わせ、組合せ的数論の研究に統合すること。
• 超フィルターのテンソル積の生成子を構成するという未解決問題に取り組むこと。
• 非線形の場合を含む多項式の分割正則性を証明するための非標準的枠組みを提供すること。
• 有限埋め込み、関数的準順序、および超拡張における非標準的構造の間の関係を調査すること。

提案手法

• ${}^\bullet\mathbb{N}$ 超拡張を導入し、反復スター作用を可能にすることで、テンソル積の生成子の構成を可能にする。
• 超フィルター $\mathcal{U}$ のモノイド $\mu(\mathcal{U})$ を、$\mathfrak{U}_\alpha = \mathcal{U}$ を満たす超自然数 $\alpha$ の集合として定義する。ここで $\mathfrak{U}_\alpha$ は $\alpha$ によって生成される超フィルターである。
• 超フィルターの性質と ${}^\bullet\mathbb{N}$ 内の非標準的点との間の橋渡しを果たすブリッジ定理を確立し、組合せ的性質を非有限項に翻訳可能にする。
• $\sim_u$-保存性を用いて、$\mathbb{N}^k$ から $^*\mathbb{N}^k$ への関数の拡張を可能にし、超フィルター構造を保存する。
• ${}^\bullet\mathbb{N}$ 内のテンソル $k$-対を用いて超フィルターの積をモデル化し、$({}^*\beta)$-反復を用いて生成子を導出する。
• 非標準的閉包を用いて、有限埋め込みと関数的準順序を $^*\mathbb{N}$ および $^{**}\mathbb{N}$ で特徴づけ、それらをプリッツおよびルーディン＝キーラー準順序と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 非標準的手法を用いて、超フィルターのテンソル積の生成子を効果的に構成できるか。
• RQ2 超フィルターと非標準解析を用いて、非線形多項式の分割正則性をどのように特徴づけられるか。
• RQ3 プリッツ準順序、ルーディン＝キーラー準順序、および $\mathcal{F}$-有限埋め込みの関係は、超拡張においてどのように特定されるか。
• RQ4 古典的ラマヌジャン的結果が、生成子に基づく非標準的技法を用いてどの程度再証明可能か。
• RQ5 超拡張上の関数的準順序は、超フィルター構造および有限埋め込みとどのように関係するか。

主な発見

• 定理 2.5.16 は、$\alpha$ が $\mathcal{U}$ の生成子で $\beta$ が $\mathcal{V}$ の生成子であるとき、ペア $({}^*\beta, \alpha)$ が $\mathcal{U} \otimes \mathcal{V}$ を生成することを示し、テンソル積の生成子を構成するという未解決問題を解決する。
• 本稿は、係数の和がゼロである線形多項式に対して、イデムポテン $\varphi$-超フィルターを用いてラドの定理の非標準的証明を提供する。
• 定理 3.5.13 は、任意の多項式 $P(x_1,\dots,x_k) = \sum_{i=1}^k a_i x_i$ が $\sum a_i = 0$ かつ単射的分割正則性を満たすならば、分割正則であることを証明し、既知の結果を拡張する。
• $\mathcal{M}_{fe}$ である有限埋め込みに関して閉じた超フィルターの集合が、$K(\beta\mathbb{N}, \oplus)$ の閉包に等しいことが示され、非標準的特徴づけが得られる。
• 超フィルター上の関係 $\trianglelefteq_{\mathcal{F}}$ は、非標準的用語で $\alpha \trianglelefteq_{\mathcal{F}} \beta \Leftrightarrow \beta \in \overline{\{ {}^*\varphi(\alpha) \mid \varphi \in \overline{{}^*\mathcal{F}} \}} \cap {}^*\mathbb{N}$ として特徴づけられ、S位相において成り立つ。
• 本稿は、プリッツ準順序によるルーディン＝キーラー準順序の精錬を確立し、$\alpha \leq_P \beta$ ならば $\mathfrak{U}_\alpha \leq_{RK} \mathfrak{U}_\beta$ であるが、逆は成り立たないことを示し、より深い非標準的構造の存在を強調する。