[논문 리뷰] Integration on the Surreals: a Conjecture of Conway, Kruskal and Norton

Ovidiu Costin, Philip Ehrlich외 1명|arXiv (Cornell University)|2015. 05. 11.

Advanced Topology and Set Theory참고 문헌 21인용 수 15

한 줄 요약

이 논문은 콘웨이, 크루스칼, 노튼이 제기한 오랜 추측을 해결한다. 이는 순수 수 체계에서 적분을 다루는 것으로, 에클레-보렐 전시열(Écalle-Borel transseries)이 대부분의 고전적 특수함수를 포함하고 있음을 증명함으로써, 잘 정의된 적분을 갖는 순수 수로 자연스럽게 확장될 수 있음을 보여준다. 또한, 더 넓은 함수 클래스로의 적분 확장을 위한 기본적인 논리적 장애물을 규명하여, NBG 집합론 내에서 심지어 전체 실수 함수에 대해서도 정의 가능한 적분 연산자가 기본 성질을 만족시킬 수 없음을 입증한다.

ABSTRACT

In his monograph On Numbers and Games, J. H. Conway introduced a real-closed field No of surreal numbers containing the reals and the ordinals, as well as a vast array of less familiar numbers. A longstanding aim has been to develop analysis on No as a powerful extension of ordinary analysis on the reals. This entails finding a natural way of extending important functions f from the reals to the reals to functions f* from the surreals to the surreals, and naturally defining integration on the f*. The usual square root, log, and exp were naturally extended to No by Bach, Conway, Kruskal, and Norton, retaining their usual properties. Later Norton also proposed a treatment of integration, but Kruskal discovered it has flaws. In his recent survey [2, p. 438], Siegel characterizes the question of the existence of a reasonable definition of surreal integration as "perhaps the most important open problem in the theory of surreal numbers." This paper addresses this and related unresolved issues with positive and negative results. In the positive direction, we show that semi-algebraic, semi-analytic, analytic, meromorphic, or more generally Écalle-Borel transseriable functions extend naturally to No, and an integral with good properties exists on them. In the negative direction, we show there is a fundamental set-theoretic obstruction to naturally extending many larger families of functions.

연구 동기 및 목표

• 콘웨이, 크루스칼, 노튼이 제기한 순수 수 체계에서 자연스러운 적분에 관한 오랜 추측을 해결하기 위해.
• 지수, 로그, 고전적 특수함수와 같은 함수들이 ℝ에서 No로 자연스럽게 확장될 수 있으며, 그 분석적 성질이 유지되는지 확인하기 위해.
• 실수 함수의 순수 수 확장에서 정의 가능하고 성질을 유지하는 적분 연산자가 존재하는지 조사하기 위해.
• 일반적인 순수 수 적분 이론을 제한된 함수 클래스를 초월해 확장하는 데 방해가 되는 기본적인 논리적 및 구조적 장애물을 규명하기 위해.
• NBG 집합론이 순수 수 함수와 그 적분을 다룰 때 기초적인 역할을 하는 방식을 명확히 하기 위해, 특히 고유 클래스와 고차원 클래스 구성에 관해.

제안 방법

• 저자들은 에클레-보렐 전시열(Écalle-Borel transseries)을 정의하고 분석한다. 이는 복합함수와 미분에 대해 닫혀 있으며, 반대칭 대수적, 반대칭 해석적 함수, 그리고 비정상 특이점을 갖는 미분방정식의 해를 포함한다.
• 무한대에서 EB-합계 전시열을 갖는 함수에 대해 콘웨이의 순수 수적 절대수렴 개념을 사용하여 유전적 구성법을 통해 순수 수 확장을 정의한다.
• 논문은 발산하는 점근적 급수에 대해 유한한 순수 수 값을 부여하기 위해 보렐 합계 기법을 활용하며, 이는 모든 x > ∞ 에서 수렴 가능하게 한다.
• 전시열 전개를 통해 구해진 원시함수를 기반으로 순수 수 적분을 정의하여, ℝ에서의 고전적 적분과의 호환성을 확보한다.
• 저자들은 NBG에서 기술적 집합론과 클래스 이론 기법을 사용하여 양의 집합을 분석하고, 일반적인 적분 연산자의 존재 불가를 입증한다.
• 형식적 순수 수 함수 정의에서 '직접적'과 '클래스' 접근 방식을 구분하며, 무한 기수의 추가 가정 없이 NBG는 전체 일반성에 부적합함을 보여준다.

실험 결과

연구 질문

• RQ1 에클레-보렐 전시열, 즉 감마 함수, 베셀 함수 등 고전적 특수함수를 포함하여, 잘 정의된 적분을 갖는 순수 수로 자연스럽게 확장될 수 있는가?
• RQ2 NBG 집합론 내에서 실수 함수의 순수 수 확장에 대해 정의 가능하고 성질을 유지하는 적분 연산자가 존재하는가?
• RQ3 실수 전체 함수와 같은 더 넓은 함수 클래스로의 적분을 확장하는 데 있어, 순수 수 프레임워크 내에서 기본적인 논리적 장애는 무엇인가?
• RQ4 비정상 특이점을 갖는 미분방정식의 해에서 유도되는 발산 점근 급수, 예를 들어 스타링의 공식 등은 순수 수 체계에서 의미 있게 합계될 수 있는가?
• RQ5 순수 수 체계 구성의 핵심이 되는 유전적 정의 방법이 No에서 적분과 그 원시함수를 정의하는 데까지 얼마나 넓게 확장될 수 있는가?

주요 결과

• 에클레-보렐 전시열은 에어리, 베셀, Ei, erf, 감마 함수 등 모든 고전적 특수함수를 포함하며, 순수 수로 자연스럽게 확장되며 양호한 수렴성과 대수적 성질을 갖는 적분을 갖는다.
• No에서 모든 x > ∞ 에서, 스타링의 공식과 같은 발산 점근 급수는 순수 수적 절대수렴을 보이며, 무한한 값으로의 확장이 타당함을 입증한다.
• 정의 가능한 적분 연산자가 실수 전체 함수의 클래스에 대해서조차 기본 성질(예: 선형성, 미적분학의 기본정리)을 만족시킬 수 없으며, NBG 집합론 내에서 이를 증명할 수 없다.
• 그러한 연산자의 존재는 논리적으로 방해받는다: 심지어 매우 제한된 함수 가족에 대해서도 그러한 연산자가 존재한다는 것을 NBG 내에서 증명할 수 없다.
• 무한대에서 EB-합계 전시열을 갖는 함수의 순수 수 적분은 잘 정의되어 있으며, ℝ에서의 고전적 적분과 일치하며, 무한대 및 무한소 값으로 자연스럽게 확장된다.
• 논문은 전시열 합계를 통한 로그 적분 및 관련 함수(예: Ei, Erfi, 감마)의 순수 수 확장이 모든 순수 수 영역에서 일관되고 수렴하는 결과를 낳는다는 것을 입증한다.