[論文レビュー] Abstract factorials of arbitrary sets of integers

Angelo B. Mingarelli|arXiv (Cornell University)|May 29, 2007

semigroups and automata theory参考文献 3被引用数 3

ひとこと要約

本稿は、整数の任意の部分集合に対して抽象的階乗関数を導入し、これらの関数を独立に適用できる関連集合を定義する。任意の無限部分集合に対して、その抽象的階乗の逆数の級数は常に無理数であることが証明され、一般化された階乗系における新たな算術的構造が明らかにされる。

ABSTRACT

Given any subset of Z we associate to it another set on which we can define one or more (generally independent) abstract factorial functions. These associated sets are studied and arithmetic relations are revealed. In addition, we show that for an abstract factorial function of an infinite subset of Z the series of reciprocals of its factorials is always an irrational number.

研究の動機と目的

• 自然数を超えた抽象的階乗の概念を整数の任意の部分集合へ一般化すること。
• 抽象的階乗関数を独立に定義・研究できる関連集合を定義すること。
• これらの一般化された階乗系内の算術的性質および構造的関係を調査すること。
• 無限部分集合に対して抽象的階乗の逆数級数の無理数性に関する基本的結果を確立すること。

提案手法

• 組合せ論的および乗法的原理を拡張することで、整数の集合 Z の任意の部分集合に対して抽象的階乗関数を定義する。
• 1つ以上の独立な抽象的階乗関数をサポートする関連集合を構築する。
• 算術および級数解析を用いて、抽象的階乗の逆数和の性質を検討する。
• 数論的技法を適用して、無限部分集合に対する逆数級数の無理数性を証明する。
• 同一の集合上での複数の階乗関数間の独立性および構造的関係を確立する。
• 既知の級数の無理数性に関する結果を一般化された階乗系へ拡張する。

実験結果

リサーチクエスチョン

• RQ1 整数の任意の部分集合に対して、階乗関数を一貫して定義する方法は何か？
• RQ2 抽象的階乗が定義される関連集合において、どのような算術的構造が生じるか？
• RQ3 同一の集合上に複数の独立した抽象的階乗関数が共存可能か、それらの関係はいかなるものか？
• RQ4 整数の無限部分集合に対して、抽象的階乗の逆数によって形成される級数の性質は何か？
• RQ5 抽象的階乗の逆数級数が無理数となる条件は何か？

主な発見

• 任意の整数の無限部分集合に対して、その抽象的階乗の逆数によって形成される級数は常に無理数である。
• 抽象的階乗関数は、Z の任意の部分集合から導かれる関連集合上で独立に定義可能である。
• 関連集合の構築により、同一の定義域上に複数の一般に独立な抽象的階乗関数の存在が可能になる。
• 元の集合の要素とその関連構造との間に、新たな算術的関係が明らかにされる。
• この枠組みは、古典的階乗の性質を任意の整数部分集合へ一般化しつつ、深い数論的挙動を保持する。
• 無理数性の結果は、すべての無限部分集合に対して普遍的に成り立つため、一般化された階乗系における根本的な算術的制約を示している。