[논문 리뷰] Constructive aspects of Riemann's permutation theorem for series

Josef Berger, Douglas Bridges외 2명|arXiv (Cornell University)|2013. 03. 28.

Computability, Logic, AI Algorithms참고 문헌 12인용 수 3

한 줄 요약

이 논문은 비숍 스타일의 구조적 수학(BISH) 내에서 급수에 대한 리만의 순열 정리의 구성적 버전을 조사한다. 약한순열수렴의 개념을 도입하고, BISH에서 모든 약한순열수렴 급수가 절대수렴하면 이시하라의 원칙 BD-ℕ이 성립함을 증명한다. 반면, 순열수렴이 절대수렴을 유도하기 위해서는 BD-ℕ을 가정해야 한다. 주요 기여는 약한순열수렴 급수의 절대수렴성과 BD-ℕ 사이의 구성적 동치성을 확립하며, 구성적 맥락에서 약한순열수렴이 순열수렴보다 엄밀히 약한 것을 보여준다.

ABSTRACT

The notions of permutable and weak-permutable convergence of a series $\sum_{n=1}^{\infty}a_{n}$ of real numbers are introduced. Classically, these two notions are equivalent, and, by Riemann's two main theorems on the convergence of series, a convergent series is permutably convergent if and only if it is absolutely convergent. Working within Bishop-style constructive mathematics, we prove that Ishihara's principle \BDN implies that every permutably convergent series is absolutely convergent. Since there are models of constructive mathematics in which the Riemann permutation theorem for series holds but \BDN does not, the best we can hope for as a partial converse to our first theorem is that the absolute convergence of series with a permutability property classically equivalent to that of Riemann implies \BDN. We show that this is the case when the property is weak-permutable convergence.

연구 동기 및 목표

• 비숍 스타일의 구성수학(BISH) 내에서 급수에 대한 리만의 순열 정리의 구성적 논리적 강도를 조사하는 것.
• 약한순열수렴의 개념을 도입하고 분석하여 순열수렴의 구성적 대안으로서의 가능성을 탐색하는 것.
• 약한순열수렴 급수의 절대수렴이 이시하라의 원칙 BD-ℕ을 함의하는지 여부를 규명하는 것.
• 구성수학적 분석에서 순열수렴, 약한순열수렴, 절대수렴, BD-ℕ 간의 논리적 관계를 명확히 하는 것.

제안 방법

• 엄격히 증가하는 함수 f에 의해 정의된 급수의 블록화(blocking) 개념을 도입하고, 블록 합 b_k = ∑_{i=f(k)}^{f(k+1)-1} a_i로 정의한다.
• 원래 급수가 수렴하고, 모든 순열에 대해 수렴하는 블록화가 존재하는 경우를 약한순열수렴으로 정의한다.
• 모순에 의한 귀납적 증명을 사용하여, 만약 급수가 약한순열수렴이면서 어떤 순열이 다른 합을 유도한다면, 발산하는 부분급수를 구성할 수 있음을 보인다.
• 비어 있지 않은 가산적이고 의사유계인 부분집합 S ⊆ ℕ로부터, 수렴성과 부분합의 제어를 보장하는 성질을 갖는 유리수의 수열 (a_n)을 구성한다.
• 만약 이러한 급수 ∑a_n 가 약한순열수렴한다면, S는 유계이어야 하며, 이는 BD-ℕ을 함의한다.
• 디엔너-루바르스키 모델을 사용하여, 역방향 함의가 성립하지 않음을 보여주며, 원칙들 사이의 엄밀한 논리적 분리를 확립한다.

실험 결과

연구 질문

• RQ1 BISH 내에서 모든 순열수렴 급수가 절대수렴하면 이시하라의 원칙 BD-ℕ이 성립하는가?
• RQ2 약한순열수렴은 구성적으로 순열수렴과 동치인가, 아니면 엄밀히 더 약한가?
• RQ3 구성적 프레임워크 내에서 약한순열수렴 급수의 절대수렴이 BD-ℕ을 함의함을 보일 수 있는가?
• RQ4 구성수학적 분석에서 약한순열수렴의 논리적 강도는 BD-ℕ과 절대수렴에 비해 어떠한가?
• RQ5 BD-ℕ을 피하는 구성적 증명을 통해 리만의 순열 정리를 증명할 수 있는가, 아니면 이러한 결과를 위해 BD-ℕ이 필수적인가?

주요 결과

• BISH에 BD-ℕ을 추가하면, 모든 순열수렴 급수는 절대수렴한다.
• 모든 약한순열수렴 급수의 절대수렴은 BD-ℕ을 함의하며, 이는 이 수렴 성질과 원칙 BD-ℕ 사이의 구성적 동치성을 확립한다.
• 구성수학에서 약한순열수렴은 순열수렴보다 엄밀히 약하다. 이는 일부 모델에서 약한순열수렴은 성립하지만 BD-ℕ는 성립하지 않는 경우를 통해 입증된다.
• 비어 있지 않은 의사유계적 가산 부분집합 S ⊆ ℕ에 대해, 관련된 약한순열수렴 급수가 순열수렴함을 보장하는 알고리즘이 존재하지 않는다.
• 고전적으로는 순열수렴과 약한순열수렴이 동치이지만, 구성적으로는 그렇지 않다. 순열수렴은 BD-ℕ을 함의하지만, 약한순열수렴은 그렇지 않다.
• 디엔너-루바르스키 모델은 약한순열수렴 급수의 절대수렴이 BD-ℕ을 함의하는 함의 관계를 역으로 뒤집을 수 없음을 보여주며, 원칙들 간의 논리적 독립성을 확인한다.