Calculating the natural density of Mersenne numbers using nonstandard mathematical analysis

핵심 질문: 메르센 수(Mersenne numbers)는 얼마나 "빽빽하게" 모여 있는가?

숫자 0, 1, 2, 3...과 같이 무한히 이어지는 사람들의 줄이 있다고 상상해 보세요. 이것은 모든 자연수의 집합입니다. 이제 이 줄에서 특정 그룹을 골라냅니다. 바로 메르센 수(0, 1, 3, 7, 15, 31...)입니다. 이 숫자들은 2의 거듭제곱보다 1이 작은 수들입니다.

수학자들은 오랫동안 궁금해했습니다. 만약 이 줄의 아주 거대한 구간을 본다면, 그중 메르센 수가 차지하는 비율은 얼마일까요?

• 50%일까요? (짝수처럼)
• 10%일까요?
• 아니면 너무나 작아서 사실상 0이라고 볼 수 있을까요?

오랫동안 이것은 풀리지 않은 미스터리였습니다. 이 논문은 **비표준 해석학(Nonstandard Analysis)**이라는 특별한 수학적 도구를 사용하여 이를 해결했다고 주장합니다.

도구: 거대한 스프레드시트 (행렬)

이를 해결하기 위해 저자는 단순히 숫자의 한 줄만을 보는 것이 아니라, 모든 자연수를 중복 없이 딱 한 번씩 포함하는 거대한 2차원 스프레드시트(행렬)를 만듭니다.

그는 숫자를 정리하기 위해 영리한 정렬 규칙(페피스-칼마르 쌍 함수, Pepis-Kalmar pairing function)을 사용합니다:

• 행 (가로): 단순한 산술 패턴을 가집니다. 어떤 행을 보더라도 숫자들은 일정한 간격으로 떨어져 있습니다.
• 열 (세로): 이 부분이 흥미로운 부분입니다. 각 열은 짝수(뿌리)로 시작하여 특정 규칙에 따라 다음 숫자를 생성합니다: 2를 곱하고 1을 더한다.
  • 예시: 0에서 시작합니다. 그다음은 $2(0)+1 = 1$. 그다음은 $2(1)+1 = 3$. 그다음은 $2(3)+1 = 7$.
  • 이것은 위로 자라나는 숫자의 "나무"를 만듭니다. 가장 첫 번째 열이 바로 메르센 수입니다. 그다음 열은 타빗 수(Thabit numbers)라고 불리는 유사한 가족이며, 그 뒤로도 계속 이어집니다.

"비표준"의 반전: 무한대와 무한소

표준 수학은 보통 극한(0에 가까워지는 것)을 다룹니다. 하지만 이 논문은 "무한히 작은" 수와 "무한히 큰" 수를 실제 존재하는 고정된 값으로 취급하는 비표준 해석학을 사용합니다.

이렇게 생각하면 쉽습니다:

• 무한히 큰 수 ($\omega$): 당신이 셀 수 있는 그 어떤 숫자보다도 더 큰 숫자를 상상해 보세요.
• 무한소 ($\epsilon$): 당신이 쓸 수 있는 그 어떤 분수보다도 더 작은 숫자이지만, 0은 아닌 숫자를 상상해 보세요. 그것은 숫자의 "유령" 같은 존재입니다.

계산: 방정식의 균형 맞추기

저자는 이 스프레드시트의 열(column)들이 얼마나 밀집되어 있는지(밀도)를 살펴봅니다.

1. 행은 쉽습니다: 행을 살펴보면 수학이 간단합니다. 첫 번째 행의 밀도는 1/2, 두 번째는 1/4, 세 번째는 1/8 식으로 나갑니다. 이들을 모두 더하면 ($1/2 + 1/4 + 1/8...$) 정확히 1이 됩니다. 이는 스프레드시트 전체가 모든 자연수의 100%를 나타낸다는 점에서 타당합니다.

2. 열은 까다롭습니다:

   • 첫 번째 열(메르센 수)은 너무 희박해서 그 밀도가 무한소입니다. 이 아주 작은 양을 $\epsilon$이라고 부릅시다.
   • 두 번째 열(타빗 수)은 훨씬 더 희박합니다. 그 밀도는 $\epsilon / 3$입니다.
   • 세 번째 열은 더 희박합니다: $\epsilon / 5$.
   • 네 번째 열은: $\epsilon / 7$.
   • 이런 식으로 영원히 계속됩니다.

저자는 만약 모든 열의 밀도를 다 더한다면, 반드시 다시 1이 되어야 한다고 주장합니다 (왜냐하면 열들이 모든 자연수를 다 채우고 있기 때문입니다).

그래서 그는 다음과 같은 방정식을 세웁니다:
$$1 = \epsilon + \frac{\epsilon}{3} + \frac{\epsilon}{5} + \frac{\epsilon}{7} + \dots$$

여기서 아주 작은 $\epsilon$을 밖으로 묶어내면 다음과 같습니다:
$$1 = \epsilon \times \left( 1 + \frac{1}{3} + \frac{1}{5} + \frac{1}{7} + \dots \right)$$

결론

괄호 안의 부분은 모든 홀수의 역수의 합($1 + 1/3 + 1/5...$)입니다. 표준 수학에서 이 합은 무한대로 발산합니다. 하지만 이 논문의 비표준적 관점에서 이 합은 저자가 $\omega$라고 부르는 무한히 큰 수입니다.

따라서 방정식은 다음과 같이 됩니다:
$$1 = \epsilon \times \omega$$

메르센 수의 밀도($\epsilon$)를 구하려면, 저 거대한 숫자로 1을 나누기만 하면 됩니다:
$$\epsilon = \frac{1}{\omega}$$

이것이 의미하는 바

이 논문은 두 가지 주요 사항을 주장합니다:

1. 밀도는 0이 아닙니다. $\epsilon$은 특정한, 0이 아닌 무한소이기 때문에, 메르센 수는 자연수의 집합 내에서 (비록 믿기 힘들 정도로 작지만) "양(+)의" 밀도를 가지고 존재합니다.
2. 정확한 값. 그 밀도는 정확히 모든 홀수의 역수의 합의 역수입니다.

단순히 말하자면: 저자는 숫자를 정리하기 위해 거대한 격자를 만들었습니다. 그는 메르센 수가 매우 드물다는 것(그 희귀함이 '무한소' 수준이라는 것)을 발견했지만, 그렇다고 해서 존재하지 않는 것은 아니라는 점도 찾아냈습니다. 그들의 "희귀함"은 모든 홀수 분수의 무한한 합과 수학적으로 균형을 이루어 정확히 1이 됩니다.

참고: 이 논문은 특정 비표준 수학 도구를 사용한 이론적 해결책을 제시합니다. 암호학이나 컴퓨터 과학에서의 실질적인 활용 방절을 다루지 않고, 순수하게 이 이론적인 정수론 문제를 해결하는 데 집중하고 있습니다.