[논문 리뷰] Finite precision measurement nullifies Euclid's postulates

Asher Peres|ArXiv.org|2003. 10. 06.

Advanced Measurement and Metrology Techniques인용 수 4

한 줄 요약

이 논문은 유한 정밀도 측정—특히 공간의 점을 유리수 좌표로 제한함—이 유니클리드 기하학의 기초를 뒤집는다는 점을 보여줌으로써, 유니클리드 기하학의 기초를 도전한다. 특히, 유리수 기하학 하에서 직선 x=y와 단위원 x²+y²=1이 교차하지 않는 것을 입증함으로써, 유한 정밀도와 고전적 유니클리드 공리계 사이에 근본적인 불일치가 있음을 드러낸다.

ABSTRACT

Following Meyer's argument (quant-ph/9905080) the set of all directions in space is replaced by the dense subset of rational directions. The result conflicts with Euclidean geometry.

연구 동기 및 목표

• 메이어가 제안한 바와 같이, 유한 정밀도 측정이 유니클리드 기하학의 타당성을 뒤엎는지 조사하기 위해.
• 기하학적 작도를 유리수 좌표를 가진 점들로 제한할 경우의 영향을 검토하기 위해.
• 유사한 제약 조건 하에서 유니클리드 기하학의 공리적 일관성이 붕괴되는지 테스트하기 위해.
• 유리수 기하학을 사용하여 유니클리드의 공리들에 대한 구체적 모순을 입증하기 위해.
• 유한 정밀도가 코헨-스피커 정리에 대한 물리학적 관련성을 없앤다는 주장을 도전하기 위해, 이 논의를 기하학으로 확장하기 위해.

제안 방법

• 메이어의 전제를 수용함: 유한 정밀도로는 유리수와 무리수를 구분할 수 없다.
• 모든 공간의 점을 유리수 좌표를 가진 점들로 제한하여 실수 평면의 밀도는 있지만 완비성은 없는 부분집합을 형성함.
• 유리수 좌표 기하학 하에서 직선 x=y와 단위원 x²+y²=1의 교차 여부를 평가함.
• 유니클리드의 공리를 유리수 좌표 모델에 적용하여 그 일관성 여부를 시험함.
• x=y와 x²+y²=1의 교차 없음을 유니클리드의 제5 공리 및 관련 공리에 대한 반례로 사용함.
• 유리수 점들의 밀도에도 불구하고 교차가 없음을 입증함으로써, 고전 기하학적 기대에 어긋남을 보임.

실험 결과

연구 질문

• RQ1 유한 정밀도 측정이 기하학을 유리수 좌표로 제한함으로써, 유니클리드의 공리를 무효화할 수 있는가?
• RQ2 유리수 좌표 하에서 직선 x=y가 단위원 x²+y²=1과 교차하지 않는다는 것은 유니클리드 기하학과 모순되는가?
• RQ3 유리수 점들의 밀도가 유니클리드 공리가 요구하는 위상적 및 기하적 성질을 유지하지 못하는 정도는 어느 정도인가?
• RQ4 유리수 좌표로 제한함으로써 고전 기하학적 작도와 공리의 타당성은 어떻게 영향을 받는가?
• RQ5 유한 정밀도가 기하학과 양자 문맥성 정리의 기초에 미치는 영향은 무엇인가?

주요 결과

• 유리수 좌표 기하학 하에서, 직선 x=y와 단위원 x²+y²=1은 실수 평면에 대해 밀도가 높음에도 불구하고 교차하지 않는다.
• 이 비교교차는 유니클리드 공리들이 그러한 교차가 존재한다고 가정한다는 점에서 직접적으로 유니클리드 공리들과 모순된다.
• 결과적으로, 유한 정밀도 측정이 유리수 좌표로 제한함으로써, 유니클리드 기하학의 핵심 가정들이 무효화됨을 보여준다.
• 모순은 완비성의 결여 때문이 아니라, 유리수 제약 조건 하에서 기하학적 닫힘 성질의 실패 때문임.
• 논문은 양자역학에서 코헨-스피커 정리를 무시하는 데 쓰이는 동일한 추론이 고전 기하학까지도 약화시킴을 입증한다.
• 유한 정밀도가 문맥성 정리의 관련성을 없앤다는 기초적 주장은, 이를 유클리드 기하학에 적용했을 때 일관성이 없음을 드러낸다.