[論文レビュー] Nonstandard Graphs

A. H. Zemanian|arXiv (Cornell University)|Aug 22, 2002

Mathematical and Theoretical Analysis参考文献 3被引用数 1

ひとこと要約

本稿では、有限または無限グラフの列から、超限的積に類似した構成を用いて非標準的グラフを導入し、転送原理を用いて古典的グラフ理論的概念を非標準的設定へと拡張する。主な結果には、非標準的オイラーおよびハミルトングラフ、インシデント公式、および非標準的彩色定理が含まれる。

ABSTRACT

From any given sequence of finite or infinite graphs, a nonstandard graph is constructed. The procedure is similar to an ultrapower construction of an internal set from a sequence of subsets of the real line, but now the individual entities are the vertices of the graphs instead of real numbers. The transfer principle is then invoked to extend several graph-theoretic results to the nonstandard case. After incidences and adjacencies between nonstandard vertices are defined, several formulas regarding numbers of vertices and edges, and nonstandard versions of Eulerian graphs, Hamiltonian graphs, and a coloring theorem are established for these nonstandard graphs.

研究の動機と目的

• 非標準解析における超限的積に類似した構成を用いて、有限および無限グラフの非標準的拡張を構築すること。
• 転送原理を適用して、標準的グラフ理論的性質および定理を非標準的領域に拡張すること。
• 構造的解析のため、非標準的頂点間の非標準的接続関係およびインシデント関係を定義すること。
• オイラーおよびハミルトングラフなどの基本的グラフ概念の非標準的類似物を確立すること。
• 非標準的頂点および辺の数に関する公式を導出し、グラフ彩色定理の非標準的版を証明すること。

提案手法

• 頂点を実数ではなく基本的実体として扱う、超限的積に類似した方法により、グラフの列から非標準的グラフを構成する。
• 非標準解析における転送原理を適用して、一階論理的グラフ性質および関係を非標準的設定に拡張する。
• 超被積分構成を通じて、非標準的頂点間の非標準的隣接関係およびインシデント関係を定義する。
• 内部集合論の原則を用いて、標準的グラフ理論的結果が非標準的領域に正しく持ち上げられることを保証する。
• 元の列に基づいて、非標準的頂点および辺の数に関する公式を導出する。
• 非標準的モデルにおける必要な条件を満たすことで、オイラーおよびハミルトングラフの性質の非標準的版を確立する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、超限的積に類似した方法を用いて、標準的グラフの列から非標準的グラフを体系的に構成できるか？
• RQ2 転送原理は、どのようにして古典的グラフ理論的結果を非標準的グラフに拡張することができるか？
• RQ3 オイラーおよびハミルトングラフの非標準的類似物は何か、それらは標準的対応物とどのように異なるか？
• RQ4 非標準的頂点および辺の数は、元のグラフ列とどのように関係しているか？
• RQ5 この枠組み内で、グラフ彩色定理の非標準的版を確立できるか？

主な発見

• 非標準的グラフは、グラフの列に超限的積法を適用することで構成され、頂点が主たる実体である。
• 転送原理により、標準的グラフ理論的結果が非標準的設定にうまく拡張され、論理的整合性が保たれる。
• オイラーおよびハミルトングラフの非標準的版は、標準的ケースから持ち上げられた条件を用いて定義され、特徴づけられる。
• 超被積分構成および元の列の性質に基づいて、非標準的頂点および辺の数に関する公式が導出される。
• 非標準的彩色定理が確立され、標準的グラフ彩色結果が非標準的領域へ一般化される。
• 非標準的頂点間のインシデントおよび隣接関係が形式的に定義され、非標準的モデルにおける構造的解析が可能になる。