무한 바 조인트 프레임워크의 강성·유연성 이론과 케임프 연계

본 논문은 무한 바-조인트 프레임워크의 강성 및 유연성 이론을 체계적으로 전개한다. 먼저, 프레임워크를 그래프 G 와 점 배열 p 의 쌍으로 정의하고, 등가성(equivalence)과 동형(congruence)을 명확히 구분한다. 이후 ε‑강성, 교란 강성(perturbational rigidity), 무한소 변형(infinitesimal flex), 연속 강성(continuous rigidity) 등 세 가지 강성 개념을 도입하고, 이들 사이의 관계를 유한 프레임워크와 대비한다. 특히, 무한 프레임워크에서는 ε‑강성(Gluck의 정의를 확장)과 교란 강성이 서로 다를 수 있음을 강조한다. 다음으로 다양한 예시를 통해 무한 프레임워크의 복잡성을 보여준다. 1차원 무한 선형 프레임워크에서는 각 간격을 ±1로 선택해 무수히 많은 비동형 등가 프레임워크를 만들 수 있음을 보이며, 이는 ε‑강성의 한계를 드러낸다. ‘감소 직사각형’ 예시에서는 무한히 작은 직사각형들이 연속적으로 접히면서 전체 구조는 사실상 강성을 갖지만, 각 부분의 플렉스가 점점 사라지는 현상을 설명한다. ‘다이아딕 코브웹’은 모든 유한 부분프레임워크가 플렉스 가능하지만 전체는 강성을 유지하는 역설적 구조로, 지역적인 컴팩트성(함수공간에서의 아스콜리 정리)과 전역 강성 사이의 미묘한 관계를 보여준다. ‘와인랙’ 예시에서는 무한히 연결된 ‘트위저’ 요소들을 이용해 무한 자유도를 갖는 구조를 만들고, 이 구조는 변위가 무한히 커지는 ‘비유계’ 플렉스를 허용한다. 또한 ‘칸토어 트리’와 같은 프레임워크는 위상적 경계가 칸토어 집합인 경우, 복잡한 동적 거동을 보인다. 강성 행렬 R(G,p) 을 무한 차원의 선형 연산자로 해석하고, ℓ^∞ 공간에서의 유계성, ℓ² 공간에서의 제곱합 가능성 등 다양한 함수공간에 대한 조건을 제시한다. 정규(framework regular) 프레임워크는 모든 변위가 유계이며, 강성 행렬이 전사적(isostatic)일 때 ‘강하게 강성(strongly rigid)’이라고 정의한다. 반면, 에지 길이가 사라지는(edge‑vanishing) 혹은 무한히 큰(edge‑unbounded) 경우에는 지역적인 스케일 m_i, M_i 을 도입해 ‘상대적 ε‑강성(relative ε‑rigidity)’을 정의한다. 이는 작은 변위가 로컬 스케일에 비해 충분히 작을 때만 동형임을 보장한다. 논문의 핵심 두 결과는 다음과 같다. 첫 번째 정리는 ‘위상적 컴팩트성’을 이용해, 모든 유한 부분프레임워크가 플렉스 가능하고, 각 부분의 플렉스가 점점 작아지는 경우(예: 감소 직사각형) 전체 무한 프레임워크가 비자명한 연속 플렉스를 갖는 충분조건을 제시한다. 이는 함수공간에서의 아스콜리 정리를 적용해, 무한히 많은 연속 함수들의 점별 수렴을 확보함으로써 증명된다. 두 번째 결과는 케임프(Kempe)의 1876년 링크리지 설계를 무한히 반복해 ‘무한 케임프 링크리지’를 구성하고, 이를 통해 평면상의 임의 연속 경로를 오차 없이 시뮬레이션할 수 있음을 보인다. 즉, 무한 프레임워크는 유한 차원의 기구학적 제한을 초월해 모든 연속 함수를 구현할 수 있는 ‘보편적 기구학적 컴퓨터’ 역할을 할 수 있다. 이러한 결과는 재료 과학에서 무한 주기 구조의 강성 해석, 로봇공학에서 무한 자유도 메커니즘 설계, 그리고 수학적 위상·함수해석 분야에 새로운 연구 방향을 제시한다.