[논문 리뷰] Short introduction to Nonstandard Analysis

Elemér E Rosinger|ArXiv.org|2004. 07. 10.

Mathematical and Theoretical Analysis참고 문헌 19인용 수 10

한 줄 요약

이 논문은 초실수 체 $^*\mathbb{R}$ 를 초곱을 통해 구성하고 전이 원리(transfer principle)를 다루며, 엄밀한 무한소 미적분학을 가능하게 하는 비표준 해석학의 기초를 제공한다. 로브 적분을 완전한 측도론적 프레임워크로 정립하여 표준 적분을 확장하며, 확장된 적분 가능 함수에 대해 $I^\#_{1}f = J^\#f^+ - J^\#f^-$ 를 증명함으로써 비표준 및 표준 적분 이론을 통합한다.

ABSTRACT

These lecture notes, to be completed in a later version, offer a short and rigorous introduction to Nostandard Analysis, mainly aimed to reach to a presentation of the basics of Loeb integration, and in particular, Loeb measures. The Abraham Robinson version of Nostandard Analysis is pursued, with a respective incursion into Superstructures. Two formal languages are used, one simpler at first, and then later, one for the full blown theory. A number of detailed comments, not often found in textbooks, accompanies the text.

연구 동기 및 목표

• 수학적 논리에 익숙하지 않은 수학자들을 대상으로 논리적 부담을 최소화한 비표준 해석학의 기초적 소개를 제공한다.
• 비주어진 초필터와 극대 아이디얼을 사용하여 $^*\mathbb{R}$ 를 구성함으로써, $\mathbb{R}$ 를 확장하고 무한소와 무한대 수를 포함하도록 보장한다.
• 전이 원리를 체계화하여 표준 문장과 비표준 문장 간의 논리적 동치성을 보장한다.
• 로브 적분을 표준 적분의 완전한 측도론적 확장으로 개발하여 비표준 함수의 적분이 가능하도록 한다.
• 표준 및 비표준 해석학을 엄밀한 프레임워크에서 통합하며, $I^\#_{1}f = J^\#f^+ - J^\#f^-$ 를 통해 일관성과 완비성을 확보한다.

제안 방법

• 비주어진 초필터를 $\mathbb{N}$ 에서 사용하여 $\mathbb{R}$ 의 초곱으로서 $^*\mathbb{R}$ 를 구성함으로써, 체와 순서 성질이 유지되도록 보장한다.
• 로시의 정리를 통해 전이를 정의하여 초필터의 극한을 이용해 $\mathbb{R}$ 에서 $^*\mathbb{R}$ 로 관계와 함수를 확장한다.
• 표준 적분의 정의역이 되는 $\mathcal{F}^\#$ 를 $I^\#$ 가 유한한 함수들의 집합으로서 정의한다.
• $J^\#$ 를 $\mathcal{F}^\#$ 에 속하는 $h$ 에 대해 $I^\#(f \wedge h)$ 의 상한으로 정의하여, 음이 아닌 가측 함수로의 적분을 확장한다.
• $J^\#$ 에서 양의 부분과 음의 부분이 모두 유한한 함수들의 집합 $\mathcal{F}^\#_1$ 을 구성하고, $I^\#_1$ 을 이 두 부분의 차로 정의한다.
• 모노톤 증가 수열이 $\mathcal{F}^\#_1$ 에 속하고 적분이 유계이면, 그 수열이 $\mathcal{F}^\#_1$ 내에서 수렴하며 적분도 수렴함을 보여 적분 구조의 완비성을 증명한다.

실험 결과

연구 질문

• RQ1 어떻게 체계적 논리에 대한 강한 의존 없이 초필터와 아이디얼을 사용하여 초실수 체 $^*\mathbb{R}$ 를 구성할 수 있는가?
• RQ2 관계와 함수가 $\mathbb{R}$ 와 $^*\mathbb{R}$ 간에서 전이 원리가 성립하기 위한 조건은 무엇인가?
• RQ3 로브 구성법을 통해 어떻게 표준 적분을 비표준 함수로 확장할 수 있는가?
• RQ4 확장된 적분 $I^\#_1$ 이 표준 적분의 극한과 일치하는 조건은 무엇인가?
• RQ5 $J^\#$ 는 비표준 적분을 위한 완전한 측도론적 프레임워크를 정의하는 데 어떤 역할을 하는가?

주요 결과

• 초실수 체 $^*\mathbb{R}$ 는 비주어진 초필터를 사용한 $\mathbb{R}$ 의 초곱으로 구성되며, 이는 $\mathbb{R}$ 를 포함하고 무한소 및 무한대 원소를 포함함을 보장한다.
• 전이 원리는 모든 일阶 문장에 대해 성립하며, 어떤 문장이 $\mathbb{R}$ 에서 참이면 그 비표준 대응문장이 $^*\mathbb{R}$ 에서도 참임을 보장한다.
• 로브 적분 구조 $({\cal F}^\#_1, I^\#_1)$ 는 완비적이다: 만약 $f_n \nearrow f$ 이고 $I^\#_1 f_n$ 이 유계이면, $f \in \mathcal{F}^\#_1$ 이며 $I^\#_1 f_n \to I^\#_1 f$ 이다.
• 모든 $f \in \mathcal{F}^\#_1$ 에 대해 $I^\#_1 f = J^\# f^+ - J^\# f^-$ 를 만족하며, 여기서 $J^\#$ 는 표준 적분에 대한 상한을 통해 정의된다.
• $\mathcal{M}^\#_1$ 은 가측 함수의 집합으로서 $\mathcal{F}^\#_1$ 을 포함하고, $J^\#$ 는 $I^\#$ 를 더 넓은 함수 클래스로 확장하여 실수 범위의 적분을 허용한다.
• 만약 $f_n \in \mathcal{F}^\#$ 가 단조 증가하고 $I^\# f_n$ 이 유계이면, $f = \lim f_n$ 은 $\mathcal{F}^\#$ 에 속하며 $I^\# f = \lim I^\# f_n$ 이다. 이는 적분 구조의 완비성을 증명한다.