[논문 리뷰] Abstract factorials of arbitrary sets of integers

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

semigroups and automata theory참고 문헌 3인용 수 3

한 줄 요약

이 논문은 정수의 임의의 부분집합에 대해 추상적 계승함수를 도입하며, 이러한 함수가 독립적으로 적용될 수 있는 관련 집합을 정의한다. 모든 무한한 정수 부분집합에 대해 그 추상적 계승의 역수 합 series 는 항상 무리수임을 증명하며, 일반화된 계승 체계에서 새로운 산술적 구조를 드러낸다.

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의 임의의 부분집합에 대해 추상적 계승함수를 정의하는 것.
• 한 개 이상의 독립적인 추상적 계승함수를 지지할 수 있는 관련 집합을 구성하는 것.
• 산술과 급수 분석을 사용하여 추상적 계승의 역수 합의 성질을 검토하는 것.
• 수론 기법을 적용하여 무한한 부분집합에 대해 역수 합의 무리수성을 증명하는 것.
• 동일한 집합 위에서 다수의 계승함수 간의 독립성과 구조적 관계를 확립하는 것.
• 기존의 급수의 무리수성에 대한 결과를 일반화된 계승 체계로 확장하는 것.

실험 결과

연구 질문

• RQ1 정수의 임의의 부분집합에서 계승함수를 일관되게 정의할 수 있는 방법은 무엇인가?
• RQ2 추상 계승함수가 정의되는 관련 집합에서 어떤 산술적 구조가 나타나는가?
• RQ3 동일한 집합 위에서 다수의 독립적인 추상 계승함수가 공존할 수 있으며, 그들 간의 관계는 어떻게 되는가?
• RQ4 정수의 무한한 부분집합에 대해 추상 계승의 역수로 이루어진 급수의 성격은 무엇인가?
• RQ5 추상 계승의 역수 합이 언제 무리수가 되는가?

주요 결과

• 모든 무한한 정수 부분집합에 대해 그 추상 계승의 역수로 이루어진 급수는 항상 무리수이다.
• 임의의 Z 부분집합에서 유도된 관련 집합 위에서 추상 계승함수를 독립적으로 정의할 수 있다.
• 관련 집합의 구성은 동일한 정의도메인 위에서 일반적으로 독립적인 다수의 추상 계승함수의 존재를 가능하게 한다.
• 원래 집합의 원소들과 그 관련 구조 사이에 새로운 산술적 관계가 드러난다.
• 이 프레임워크는 고전적 계승 성질을 임의의 정수 부분집합으로 일반화하면서도 깊이 있는 수론적 행동을 유지한다.
• 무리수성 결과는 모든 무한한 부분집합에 대해 일반적으로 성립하므로, 일반화된 계승 체계에서 기본적인 산술적 제약을 시사한다.