[논문 리뷰] The Transform of a line of Desargues Affine Plane in an additive Group of its Points

Orgest Zaka, Kristaq Filipi|arXiv (Cornell University)|2016. 08. 20.

Mathematics and Applications인용 수 15

한 줄 요약

이 논문은 작은 파푸스 정리를 활용하여 디제르그 아핀 평면의 직선 위 점들에 덧셈 연산을 정의함으로써 그 점들에 군 구조를 수립한다. 이 연산에 따라 그러한 평면의 임의의 직선 위 점들은 아벨 군을 이룬다는 것을 증명하며, 이는 인cidense 기하학에서 덧셈 군 구조의 기하적 실현이다.

ABSTRACT

In this paper we present a set transformation of points in a line of the Desargues affine plane in a additive group. For this, the first stop on the meaning of the Desargues affine plane, formulating first axiom of his that show proposition D1. Afterwards we show that little Pappus theorem, which we use in the construction of group proofs in additions of points on a line on desargues plane, also applies in the Desargues affine plane.

연구 동기 및 목표

• 디제르그 아핀 평면의 직선 위 점들에 대해 기하학적 방법으로 덧셈 군 구조를 수립하는 것.
• 작은 파푸스 정리가 디제르그 아핀 평면에서 성립함을 보여주고, 이를 통해 군 연산을 정의할 수 있음을 보여주는 것.
• 직선 위 점들에 정의된 군 연산이 결합법칙, 교환법칙, 항등원 및 역원을 만족함을 보여주는 것.
• 합성 기하학 기법을 통해 인cidense 기하학에서 덧셈 구조를 이해하는 기초를 마련하는 것.
• 디제르그 기하학적 평면가 직선 위에 자연스러운 아벨 군 연산을 지닐 수 있음을 보여주어 인cidense 기하학과 군론을 연결하는 것.

제안 방법

• 디제르그 아핀 평면의 첫 번째 공리를 활용하여 기하학적 틀을 정의한다.
• 작은 파푸스 정리를 핵심 도구로 사용하여 직선 위 점들에 대한 군 연산을 정의하고 검증한다.
• 평행선과 교점들을 포함하는 기하학적 구성 방법을 통해 직선 위 두 점의 덧셈을 정의한다.
• 인치던스 및 공선성 성질을 이용하여 군 공리(결합법칙, 교환법칙, 항등원, 역원)를 검증한다.
• 좌표 기반 대수학을 사용하지 않고 순수하게 합성 기하학 기법에 의존하여 군 구조를 유도한다.
• 유도된 연산이 닫혀 있으며, 교환법칙이 성립하고, 정의된 규칙에 따라 아벨 군을 이룬다는 것을 확립한다.

실험 결과

연구 질문

• RQ1 디제르그 아핀 평면의 직선 위 점들에 자연스러운 덧셈 군 구조를 부여할 수 있는가?
• RQ2 작은 파푸스 정리는 디제르그 아핀 평면에서 성립하는가? 그리고 이를 통해 일관된 군 연산을 정의할 수 있는가?
• RQ3 디제르그 평면의 직선 위 점들에 정의된 군 연산은 결합법칙과 교환법칙을 만족하는가?
• RQ4 정의된 덧셈 연산 하에서 항등원과 역원이 존재하도록 보장하는 기하학적 성질은 무엇인가?
• RQ5 직선 위의 군 구조는 디제르그 아핀 평면의 기본 인치던스 공리와 어떻게 관련이 있는가?

주요 결과

• 디제르그 아핀 평면의 임의의 직선 위 점들은 기하학적으로 정의된 덧셈 연산에 대해 아벨 군을 이룬다.
• 작은 파푸스 정리는 디제르그 아핀 평면에서 성립하며, 군 연산의 결합법칙을 증명하는 데 핵심적인 역할을 한다.
• 군 연산은 교환법칙을 만족하며, 항등원은 기하학적 대칭성과 교점 성질로부터 유도된다.
• 직선 위의 각 점은 유일한 역원 점을 가지며, 이들의 합은 항등원이 된다.
• 이 구성은 순수하게 합성 기하학적 방법에 의존하며, 좌표계 없이 인치던스와 평행성 공리만을 사용한다.
• 유도된 군은 표준적인 아벨 군과 동형이며, 이는 기하적 구조의 일관성과 대수적 풍부성을 확인한다.