피보나치 수와 서로소 쌍에 대한 거리

초록

이 논문은 자연수의 서로소 쌍 X에 대하여, 각 쌍이 생성하는 정수군을 이용해 최소 ℓ¹‑노름을 정의하고, 그 값을 로그 변환한 dₐ를 거리 함수로 만든다. 피보나치 연속 쌍 {Fₙ, Fₙ₊₁}을 X에 매핑하면 (ℕ, 절대값)와 (X, d_φ) 사이에 (1, 1)‑준동형 사상이 존재함을 보인다. 또한 k‑피보나치와 ℓ‑원소 서로소 집합에 대한 일반화도 제시한다.

상세 분석

본 연구는 먼저 X = {{n₁,n₂}⊂ℕ | gcd(n₁,n₂)=1} 라는 집합에 새로운 거리 구조를 부여한다. 각 쌍 n={n₁,n₂}는 ℤ의 생성 집합이므로 임의의 m∈ℕ을 정수 계수 x,y에 대해 m=n₁x+n₂y 로 표현할 수 있다. 여기서 qₙ(m)=min{|x|+|y| | m=n₁x+n₂y} 를 정의하고, 두 쌍 m,n에 대해 qₙ(m)와 q_m(n) 중 큰 값을 취한 뒤 로그ₐ를 취하면 dₐ(m,n)=logₐ(max{qₙ(m),q_m(n)}) 가 된다. Lemma 2.1의 부곱성은 qₙ(k)≤q_m(k)·qₙ(m) 를 보이며, 이를 통해 삼각 부등식이 성립함을 확인한다. 또한 qₙ(m)=1 ⇔ m⊂n (즉, m이 n의 원소 집합에 포함) 임을 이용해 비퇴화성을 증명, 따라서 dₐ는 진정한 거리임을 보인다.

거리 정의는 Tsuboi의 메트릭을 ℤ에 제한한 형태와 동등함을 언급하며, a>1에 대해 서로 다른 a가 주어져도 (logₐ b) 배율 차이만 존재하므로 거리 공간의 준동형 클래스는 a에 무관함을 강조한다.

핵심 결과는 연속 피보나치 쌍 fₙ={Fₙ,Fₙ₊₁}을 이용한 (ℕ,|·|)와 (X,d_φ) 사이의 (1,1)‑준동형 임베딩이다. 이를 위해 q_{fₙ}(F_m) 를 정확히 추정한다. 하한은 Lemma 3.1에서 q_{fₙ}(F_m)≥F_m/F_{n+1} 로, 상한은 Lemma 3.2에서 q_{fₙ}(F_m)≤|F_{m-n-1}|+|F_{m-n}| 로 얻는다. 피보나치 수의 지수적 성장 Fₙ≈φⁿ (φ는 황금비) 을 이용하면 로그 변환 후 d(f_m,f_n)이 |m-n|±1 로 제한됨을 보인다. 따라서 거리 d는 정수 거리와 1의 오차만을 갖는 준동형 관계를 만족한다.

이후 논문은 두 가지 방향으로 일반화를 제시한다. 첫째, k‑피보나치 수열 F_{k,n} (재귀 F_{k,n+2}=kF_{k,n+1}+F_{k,n})에 대해 동일한 정의와 추정을 수행한다. k‑피보나치도 동일한 부곱성 및 성장 추정이 가능하므로, {F_{k,n},F_{k,n+1}} 역시 (ℕ,|·|)와 (X,d_{φ_k}) 사이에 (1,1)‑준동형을 이룬다. 둘째, ℓ‑원소 서로소 집합 X_ℓ={n₁,…,n_ℓ}에 대해 q_n(m) 를 ℓ 차원 ℓ¹‑노름으로 확장하고, d_ℓ을 정의한다. 연속 ℓ개의 피보나치 수 {F_n,…,F_{n+ℓ-1}} 를 매핑하면 역시 |m-n|±1 의 오차 범위 내에서 거리 차이가 유지되어 (1,1)‑준동형 임베딩이 성립한다.

전체적으로 이 논문은 정수론적 구조(서로소 쌍, 피보나치 연산)와 대규모 기하학(준동형) 사이의 교차점을 명확히 제시한다. 거리 정의가 단순하면서도 기존 연구와 연결되는 점, 그리고 피보나치 수열의 특수성을 활용해 정확한 상·하한을 얻은 방법이 특히 돋보인다.