[논문 리뷰] Zooming in on infinitesimal 1-.9.. in a post-triumvirate era

Karin U. Katz, Mikhail G. Katz|arXiv (Cornell University)|2010. 03. 07.

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

한 줄 요약

이 논문은 비표준 해석학의 시각에서 $.999\ldots = 1$의 항등식을 재고하며, 무한소를 포함한 수 체계가 $[0,1)$ 내에서 소수 전개에 무한히 많은 9가 존재하는 양을 허용함으로써, $.999\ldots$의 단일 값 평가가 엄밀히 1이 아니라는 도전을 제기한다. '일반적 극한'이라는 인지 개념과 초실수 해석학을 적용하여, 이러한 무한소 양이 표준 극한과 공존할 수 있음을 보이며, 위어슈트라스의 에프실론-델타 프레임워크에 대한 교육적으로 직관적인 대안을 제시한다.

ABSTRACT

The view of infinity as a metaphor, a basic premise of modern cognitive theory of embodied knowledge, suggests in particular that there may be alternative ways in which one could formalize mathematical ideas about infinity. We discuss the key ideas about infinitesimals via a proceptual analysis of the meaning of the ellipsis"..." in the real formula .999... = 1. Infinitesimal-enriched number systems accomodate quantities in the half-open interval [0,1) whose extended decimal expansion starts with an unlimited number of repeated digits 9. Do such quantities pose a challenge to the unital evaluation of the symbol ".999..."? We present some non-standard thoughts on the ambiguity of the ellipsis, in the context of the cognitive concept of generic limit of B. Cornu and D. Tall. We analyze the vigorous debates among mathematicians concerning the idea of infinitesimals.

연구 동기 및 목표

• 현대 해석학의 기초 맥락에서 $.999\ldots = 1$의 단일 평가가 유일한 수학적이고 인지적으로 타당한 해석인지 조사하기.
• 무한소를 포함한 수 체계를 사용하여 '일반적 극한' 개념—값에 도달하지는 않지만 그에 가까이 가는 과정의 정신적 이미지—를 수학적으로 형식화할 수 있는지 탐색하기.
• 위어슈트라스의 에프실론-델타 접근 방식이 극한을 가르치는 데 지배적인 데에 비해, 무한소를 더 직관적인 대안으로 제안함으로써 그 지배성을 도전하기.
• 코우런트, 라카토스, 비숍, 하이팅이 제기한 무한소에 대한 역사적·철학적 비판을 분석하고, 현대 수학 교육에서의 관련성을 평가하기.
• 특정 극한을 계산할 때 계산기가 '999...'를 반환하는 현상을 설명하는 초계산기 모델을 제안하며, 계산 기술적 오류와 비표준 해석학을 연결하기.

제안 방법

• $.999\ldots$의 생략호 '...'를 정적 극한이 아니라 동적 과정으로 해석하기 위해 프로세프투얼 분석을 사용하기.
• 초실수 수 체계를 적용하여 소수 전개에 무한히 많은 9가 존재하는 $[0,1)$ 내의 수를 구성함으로써, '1에 무한소로 가까이 다가가지만 도달하지는 않는다'는 인지 직관을 수학적으로 형식화하기.
• 케이슬러와 톨이 제안한 무한 확대 현미경을 활용하여 $x=1$에서 $f(x) = x^2$의 국소 선형성을 시각화하고, 초실수 프레임워크 내에서 $f'(1)$을 비표준적으로 계산하기.
• 코른과 톨이 제안한 '일반적 극한' 개념을 초실수 해석학과 융합하여, 학생들이 무한소를 수학적으로 일관되게 이해할 수 있도록 모델링하기.
• 유한하지만 초유한 소수 전개를 사용하는 초계산기 모델을 구성하여 계산기 동작을 시뮬레이션함으로써, '999...'가 정수 대신 나타나는 현상을 설명하기.
• 로빈슨의 수학적 무한대를 세부적 참조 없이 메타포로 보는 시각을 활용하여, 칸토어 집합론 외의 대안적 기초 체계—특히 무한소를 포함한 연속체—의 정당성을 주장하기.

실험 결과

연구 질문

• RQ1 무한소를 사용하여 '1에 도달하지는 않지만 가까이 다가가는' 인지 직관을 수학적으로 일관성 있게 형식화할 수 있는가?
• RQ2 소수 전개에 무한히 많은 9가 존재하는 초실수 수의 존재가, $.999\ldots = 1$의 유일성에 도전하는가?
• RQ3 '일반적 극한' 개념이 미적분학에서 극한을 가르치는 비표준 접근의 기초로 얼마나 유용한가?
• RQ4 코우런트, 라카토스, 비숍, 하이팅이 제기한 무한소에 대한 역사적 비판은 현대 교육적·기초적 논의에 얼마나 관련이 있는가?
• RQ5 초계산기 모델은 계산기가 정수 대신 '999...'를 반환하는 현상을 설명할 수 있으며, 이는 비표준 모델이 수치 계산 이해에 어떤 역할을 하는지 시사하는가?

주요 결과

• 소수 전개에 무한히 많은 9가 존재하는 초실수 수가 $[0,1)$ 내에 존재하며, 이는 '1보다 무한소로 작다'는 인지적 이미지를 수학적으로 실현한다.
• 생략호를 동적이고 프로세프투얼한 과정으로 이해할 경우, $.999\ldots = 1$는 유일한 가능한 해석이 아니며, 초실수 수 체계 내에서 다른 해석이 존재한다.
• 일반적 극한 개념—시퀀스가 어떤 값에 도달하지는 않지만 그에 가까이 가는 것으로 정신적으로 인식되는 것—은 초실수 수 체계를 통해, 특히 초자연수 인덱스의 사용을 통해 수학적으로 실현될 수 있다.
• 초실수 프레임워크 내에서 무한 확대 현미경을 활용하여 $f(x) = x^2$의 $f'(1)$을 계산할 수 있으며, 이는 비표준 해석학의 교육적 유용성을 보여준다.
• 계산기가 정수 대신 '999...'를 반환하는 현상은, 초유한 유한 소수 전개를 사용하는 초계산기 모델로 모델링할 수 있으며, 이는 일반적인 계산 기술적 오류에 대한 비표준 해석을 제공한다.
• 로빈슨의 수학적 무한대를 세부적 참조 없이 메타포로 보는 시각은, 칸토어 집합론 외의 대안적 기초 체계—특히 무한소를 포함한 연속체—의 정당성을 뒷받침한다.