[논문 리뷰] A Purely Algebraic Proof of the Fundamental Theorem of Algebra

Piotr Błaszczyk|arXiv (Cornell University)|2015. 04. 21.

Mathematical and Theoretical Analysis참고 문헌 12인용 수 6

한 줄 요약

이 논문은 초실수 체를 초월곱을 통해 구성하고, 유한한 초실수의 부분환과 그의 무한소 이상의 최대 이상을 이용하여 대수적 성질을 활용함으로써, 기본 대수학 정리의 순수 대수적 증명을 제시한다. 연속성이나 해석학에 의존하지 않고 실계수 다항식에 대한 중간값 정리를 확립함으로써, 기본 대수학 정리의 완전히 대수적 증명이 가능해진다.

ABSTRACT

Proofs of the fundamental theorem of algebra can be divided up into three groups according to the techniques involved: proofs that rely on real or complex analysis, algebraic proofs, and topological proofs. Algebraic proofs make use of the fact that odd-degree real polynomials have real roots. This assumption, however, requires analytic methods, namely, the intermediate value theorem for real continuous functions. In this paper, we develop the idea of algebraic proof further towards a purely algebraic proof of the intermediate value theorem for real polynomials. In our proof, we neither use the notion of continuous function nor refer to any theorem of real and complex analysis. Instead, we apply techniques of modern algebra: we extend the field of real numbers to the non-Archimedean field of hyperreals via an ultraproduct construction and explore some relationships between the subring of limited hyperreals, its maximal ideal of infinitesimals, and real numbers.

연구 동기 및 목표

• 기본 대수학 정리의 증명에서 분석적 방법—특히 중간값 정리—에 대한 의존도를 제거하기 위해.
• 비아르키메데스 체를 활용하여 중간값 정리의 대수적 기초를 마련하기 위해.
• 초실수 체 ℝ*가 실수적으로 닫혀 있고, ℝ*(√−1)가 대수적으로 닫혀 있음을 순수 대수적 기법을 통해 보여주기 위해.
• 기약수 차수를 가진 실계수 다항식의 근 존재성을 초월곱 구성에 의해 대수적으로 유도할 수 있는지 보여주기 위해.
• 위상적 또는 분석적 연속성 가정 없이, 기본 대수학 정리의 새로운 대수적 증명의 클래스를 제공하기 위해.

제안 방법

• 비주어진 초월필터를 사용하여 실수의 초월곱으로 초실수 체 ℝ*를 구성하기 위해.
• 유한한 초실수의 부분환과 그의 무한소 이상의 최대 이상을 정의하여 국소환을 형성하기 위해.
• 유한한 초실수의 부분환을 무한소 이상으로 나눈 몫이 ℝ와 동형이며, 대수적 구조를 유지함을 이용하기 위해.
• 실계수 다항식 f(x)를 실계수 다항식의 수열의 동치류 [fₙ]를 통해 초실수 다항식 f로 표현하기 위해.
• 초실수 환경에서의 대수적 중간값 정리를 적용하기 위해: ℝ*에서 f(a) < 0 이고 f(b) > 0 이면, f(c) = 0 인 c ∈ (a,b) 가 존재함을 보장하기 위해.
• Łoś 정리를 활용하여 초월곱에서 다항방정식의 진리가 초실수로 전이됨을 보장함으로써, 근의 존재를 확보하기 위해.

실험 결과

연구 질문

• RQ1 실계수 다항식에 대한 중간값 정리는 위상적 연속성에 의존하지 않고도 유도될 수 있는가?
• RQ2 기약수 차수를 가진 실계수 다항식의 실근 존재성을 오직 대수적 구조만을 이용해 도출할 수 있는가?
• RQ3 기본 대수학 정리는 분석적 또는 위상적 도구를 전혀 사용하지 않고, 순수하게 순서체의 대수적 성질에 의존하여 증명될 수 있는가?
• RQ4 초실수 체 ℝ*의 어떤 대수적 성질이 기본 대수학 정리의 순수 대수적 증명의 기초로 기능하는가?
• RQ5 ℝ*의 초월곱 구성은 실수 수열에서의 근 존재성을 초실수로 전이시키는 데 어떻게 기여하는가?

주요 결과

• 초실수 체 ℝ*는 실수적으로 닫혀 있으며, 이는 ℝ* 위의 모든 기약수 차수 다항식이 ℝ* 내에 근을 가짐을 의미한다.
• 체 ℝ*(√−1)는 대수적으로 닫혀 있으며, 이는 모든 비상수 복소계수 다항식이 ℂ 내에 근을 가짐을 의미하여 기본 대수학 정리를 증명한다.
• 이 증명은 연속성에 대한 언급 없이, 초실수의 대수적 성질과 초월곱을 이용하여 실계수 다항식에 대한 중간값 정리를 확립한다.
• 모든 실계수 다항식 f에 대해 f(a) < 0 이고 f(b) > 0 이면, 초실수 근 c ∈ (a,b) 가 존재하며, 이는 실근의 수열 (aₙ, bₙ) 에 대한 초월곱 구성에 의해 생성된다.
• fₙ(aₙ) < 0 이고 fₙ(bₙ) > 0 인 n의 코 final 집합에 대해 초월곱 c = [(cₙ)] 가 ℝ*에서 f(c) = 0 을 만족함을 보장한다.
• 결과적으로 ℝ*(√−1)의 대수적 닫힘은 ℝ*의 실수적 닫힘에서 유도되며, 이는 기본 대수학 정리에 대한 순수 대수적 접근을 제공한다.