[논문 리뷰] Fermat Reals - Nilpotent Infinitesimals and Infinite Dimensional Spaces

Paolo Giordano|ArXiv.org|2009. 07. 10.

Mathematical and Theoretical Analysis참고 문헌 1인용 수 17

한 줄 요약

이 논문은 비표준 해석학이나 직관주의 논리에 의존하지 않고도 부드러운 미적분학을 위한 엄밀하고 직관적인 프레임워크를 제공하는 실제 무한소를 기반으로 한 새로운 이론인 페르마 실수(Fermat reals)를 소개한다. 주요 기여는 유한차원 및 무한차원 다양체 위에서 닐포텐트 무한소를 사용하여 미분기하학을 가능하게 하는 카테고리적 구조를 제공하는 페르마 공간의 구성이다.

ABSTRACT

F.: Good morning Hermann, I would like to talk with you about infinitesimals. G.: Tell me Pierre. F.: I'm fed up of all these slanders about my attitude to be non rigorous, so I've started to study nonstandard analysis (NSA) and synthetic differential geometry (SDG). G.: Yes, I've read something ... F.: Ok, no problem about their rigour. But, when I've seen that the sine of an infinite in NSA is infinitely near to a real number I was astonished: what is the intuitive meaning of this number, if any? Then, I've seen that to work in SDG I must learn to work in intuitionistic logic ... You know, I love margins of books, and I don't want to loose too much time, I have many things to do ... G.: In SDG they also say that every infinitesimal is at the same time positive and negative, what is the meaning of all these? And why does the square of a first order infinitesimal equal zero, whereas the product of two first order infinitesimals is not necessarily zero? And do you know that from any single infinitesimal in NSA is possible to construct a non measurable set? Without using the axiom of choice! F.: Yes, I know, I know ... Ok, listen: why cannot we start from standard real functions of one real variable and use ... This work is the ideal continuation of this dialogue: a theory of actual infinitesimals that do not need a background of formal logic to be understood, with a clear intuitive meaning and with non trivial applications to differential geometry of both finite and infinite dimensional spaces.

연구 동기 및 목표

• 비표준 해석학과 합성 미분기하학의 기초적 복잡성들을 피하는 실제 무한소 이론을 개발하는 것.
• 형식 논리나 직관주의 추론에 대한 지식 없이도 무한소, 특히 닐포텐트 무한소에 대한 명확한 직관적 의미를 제공하는 것.
• 페르마 실수에 기반한 카테고리적 프레임워크를 통해 부드러운 미분기하학을 무한차원 공간으로 확장하는 것.
• 계산적으로 구현 가능한 구조를 통해 미적분학, 자동 미분, 변분법 등의 실용적 응용을 가능하게 하는 것.
• 페르마 함자(functor)에 대한 전이 원리와 논리적 일관성을 확립하여 표준 부드러운 함수와 다양체와의 호환성을 보장하는 것.

제안 방법

• 작은 오( little-oh ) 다항식의 동치류로 페르마 실수를 구성하며, 여기서 무한소는 $ h \to 0 $ 형태의 항들로 표현되며, 어떤 $ k $ 에 대해 $ h^k = 0 $ 이 되도록 하여 이상 $ D_k $ 를 형성한다.
• 무한소의 $ k $-차수까지의 등가성을 $ f =_k g $ 관계로 정의하여, $ k $-차수까지의 타일러 근사가 가능한 방식으로 표현함으로써, 무한소 영역 위에서 정밀한 미적분학을 가능하게 한다.
• 각 부드러운 다양체 $ X $ 에 대해 닐포텐트 무한소 방향을 포함한 새로운 공간 $ {}^\bullet X $ 를 부여하는 페르마 함자 $ {}^\bullet $ 를 도입한다. 이는 곱과 부드러운 구조를 유지한다.
• 카테고리적 프레임워크를 개발하여 $ {}^\bullet\boldsymbol{/mathcal{C}}^\nu $ 가 카르테시안 닫힘(closed)임을 보장함으로써, 무한소 매개변수를 가진 일반화된 함수로서의 부드러운 사상들을 다룰 수 있도록 한다.
• 도함수의 미분 공식 $ f(x+h) = f(x) + f'(x)h + o(h) $ 을 기초 도구로 사용하여, 페르마 실수 설정에서 도함수와 고차 미분 전개를 계산하는 데 활용한다.
• 무한차원 공간에 이론을 적용하기 위해 $ \boldsymbol{/mathcal{C}}^n $ 카테고리에 기반하여 부드러운 함수와 다양체의 개념을 확장함으로써, 부드러운 경로와 임펄스의 다양체 위에서의 미분기하학을 가능하게 한다.

실험 결과

연구 질문

• RQ1 비표준 해석학이나 비아르키메데스 체에 의존하지 않고도 수학적으로 엄밀하면서도 직관적으로 접근 가능한 실제 무한소 이론을 구성할 수 있는가?
• RQ2 널포텐트 무한소를 체계적으로 사용하여 도함수, 타일러 전개, 미분형식을 정의할 수 있으며, 이는 무한차원 공간으로 일반화될 수 있는가?
• RQ3 부드러운 다양체에 무한소 방향을 포함시키기 위한 카테고리적 및 함자적 구조는 무엇이며, 이는 기하학적·대수적 성질을 어떻게 유지하는가?
• RQ4 페르마 실수 프레임워크는 자동 미분과 변분법과 같은 실용적 응용을 지원할 수 있으며, 레비-치비타 체나 COSY INFINITY 와 비교해 볼 때 어떤가?
• RQ5 표준 부드러운 함수와 그 페르마 확장 간의 관계를 지배하는 논리적 원리와 전이 원리는 무엇이며, 이는 핵심 분석 결과를 유지하는 방식으로 형식화될 수 있는가?

주요 결과

• 페르마 실수는 닐포텐트 원소를 포함하는 링을 형성하며, $ h \to 0 $ 이면 $ h^k = 0 $ 이므로 $ k $-차 무한소를 자연스럽게 표현할 수 있고, 정밀한 타일러 유사 전개를 가능하게 한다.
• $ f =_k g $ 관계는 $ k $-차수까지의 일치를 포착하며, 이 관계는 부드러운 연산에 대해 유지되어 무한소 영역 위에서 일반화된 미적분학의 기초가 된다.
• 페르마 함자 $ {}^\bullet $ 는 부드러운 다양체를 무한소 방향을 포함한 공간으로 매핑하며, 곱을 유지하므로 확장된 설정에서 접선다발과 벡터장 정의에 적합하다.
• 표준 부분 함자(standard part functor)는 페르마 프레임워크에서 존재할 수 없다. $ {}^\bullet\boldsymbol{/mathcal{C}}^\nu $ 의 구조는 본질적으로 비표준적이며 비아르키메데스적이며, 닐포텐트의 존재를 반영한다.
• 이론은 일반화된 타일러 공식을 지원한다: $ f(x+h) = \text{차수 } k \text{인 } h \text{의 다항식} $, 계수는 도함수와 관련되어 있으며, 이는 모든 부드러운 함수에 대해 성립한다.
• 이 프레임워크는 무한소 경로와 일반화된 함수를 통해 자동 미분과 변분법을 가능하게 하며, 무한차원 공간과 부드러운 함수형에의 응용이 가능하다.