[논문 리뷰] Approaches to analysis with infinitesimals following Robinson, Nelson, and others

Peter Fletcher, Karel Hrbáček외 4명|arXiv (Cornell University)|2017. 03. 01.

Mathematical and Theoretical Analysis참고 문헌 142인용 수 11

한 줄 요약

이 논문은 로빈슨의 비표준 해석학, 넬슨의 내부 집합론 및 관련 프레임워크에 뿌리를 두고 있는 무한소의 여러 기초적 접근 방식을 조사하며, 분석학, 물리학 및 기초 수학 분야에서의 유용성을 입증한다. 논문은 무한소를 수학 교육과 연구의 표준 도구로 통합할 것을 주장하며, 르베그 측도, 미분기하학 및 양자 기반 모델링에서의 적용 사례를 강조한다.

ABSTRACT

This is a survey of several approaches to the framework for working with infinitesimals and infinite numbers, originally developed by Abraham Robinson in the 1960s, and their constructive engagement with the Cantor-Dedekind postulate and the Intended Interpretation hypothesis. We highlight some applications including (1) Loeb's approach to the Lebesgue measure, (2) a radically elementary approach to the vibrating string, (3) true infinitesimal differential geometry. We explore the relation of Robinson's and related frameworks to the multiverse view as developed by Hamkins. Keywords: axiomatisations, infinitesimal, nonstandard analysis, ultraproducts, superstructure, set-theoretic foundations, multiverse, naive integers, intuitionism, soritical properties, ideal elements, protozoa.

연구 동기 및 목표

• 로빈슨의 비표준 해석학과 넬슨의 내부 집합론을 포함한 무한소에 대한 기초적 접근 방식을 종합적으로 조사하는 것.
• 고전적 에프실론-델타 분석과 미적분학 및 물리학에서의 직관적 무한소 사용 간의 역사적·철학적 갈등을 다루는 것.
• 무한소 방법이 주류 수학 교육과 연구에 통합될 것을 주장하며, 실용적이고 기초적인 이점들을 고려한 것.
• 무한소 프레임워크와 더 넓은 기초적 관점(예: 집합론에서의 다중우주 관점 및 양자 기반 물리 모델링) 간의 연결 고리를 탐색하는 것.
• 비표준 해석학의 구성적이고 공리적 기초, 즉 전이 원리, 포화성 및 초수체의 역할을 다루는 것.

제안 방법

• 실수의 비표준 모델을 구축하기 위해 초수체 구축법을 사용하여, 표준 해석학을 무한소와 무한대 수를 포함하는 더 풍부한 구조 안에 통합한다.
• 전이 원리를 적용하여 일阶 논리 성질을 표준 모델에서 비표준 모델으로 확장함으로써 논리적 일관성과 해석 가능성 보장.
• 초구조 프레임워크를 사용하여 비표준 해석학을 집합론적 기초 위에 체계화함으로써, 초유한 근사에 의한 루브 측도와 같은 구성 가능성을 가능하게 한다.
• 베른스타인–로빈슨–사라온의 공리계 BST와 넬슨의 IST(내부 집합론)를 도입하고 분석하며, 표준 원소와 비표준 원소를 구분하는 데서의 역할을 강조한다.
• 초유한 이산 근사에 기반한 극단적으로 원초적인 방법을 적용하여 진동하는 줄과 브라운 운동과 같은 물리 시스템을 모델링한다.
• 메타포(예: '원생물' 메타포)와 '칸토어–디데킨트 + 의도된 해석' 사고 방식의 비판을 통해 철학적·기초적 논의에 참여한다.

실험 결과

연구 질문

• RQ1 무한소 방법을 엄밀함을 흔들지 않으면서 분석의 기초적 프레임워크에 체계적으로 통합할 수 있는 방법은 무엇인가?
• RQ2 로빈슨의 비표준 해석학, 넬슨의 내부 집합론 및 다른 현대적 무한소 접근 방식 간의 주요 차이점과 연결 고리는 무엇인가?
• RQ3 무한소 프레임워크는 측도 이론, 미분기하학 및 물리학 분야의 고전적 결과를 어떻게 향상하거나 명확히 하는가?
• RQ4 '직관적 자연수'와 '이상한 간섭자' 개념은 고전적 자연수 개념을 어떻게 도전하고, 더 풍부한 산술적 구조를 지원하는가?
• RQ5 무한소 추론은 직관주의적 및 양자 기반 수학적 직관과 어느 정도 조화를 이룰 수 있는가?

주요 결과

• 루브의 초유한 분할을 이용한 르베그 측도 구축은 고전적 측도 이론에 대한 엄밀하고 구성적인 대안을 제공한다.
• 진동하는 줄과 초유한 브라운 운동에 대한 극단적으로 원초적인 모델링은 물리 시스템이 이산적·무한소 스케일 근사에 의해 정확하게 모델링될 수 있음을 보여준다.
• 넬슨의 내부 집합론은 분리 공리 위반을 보이는 술어를 통해 표준 수와 비표준 수 사이의 문법적 구분을 가능하게 하여 분석의 새로운 기초를 제공한다.
• 이 프레임워크는 여러 비표준 모델이 공존하는 '다중우주' 관점을 지지하며, 함킨스의 기초적 다원주의 비전을 반영한다.
• 무한소 방법은 제네바의 사례 및 400명 이상의 신입생이 케이슬러의 교재를 사용한 사례를 통해 학부 및 고등학교 수준에서 효과적으로 교육될 수 있다.
• 논문은 에프실론-델타 방법을 선호함으로써 무한소를 배제하는 경향이 오래된 '의도된 해석' 사고 방식을 반영하며, 철학적으로나 수학적으로나 제한적인 것으로 주장한다.