텐서 수식을 위한 새로운 OpenMath 콘텐츠 사전 “tensor1”

초록

본 논문은 기존 OpenMath이 가정하는 직교(카르테시안) 좌표 체계의 한계를 극복하고, 비직교 좌표와 텐서의 공변·반공변 인덱스를 명시적으로 표현할 수 있는 새로운 콘텐츠 사전 tensor1을 제안한다. 주요 기호로는 tuple, tuple‑selector, Cartesian, unitCartesian, Kronecker‑tensor, basis‑selector, tensor‑selector, contra‑index, covar‑index, metric‑tensor, Levi‑Civita 등이 있다. 이들 기호는 좌표 변환, 기저 선택, 텐서 성분 접근 등을 체계적으로 기술함으로써 물리·공학 분야에서 텐서 방정식을 기계적으로 교환·표현할 수 있게 한다.

상세 분석

논문은 먼저 현재 OpenMath이 제공하는 linalg1‑linalg6 사전이 행·열 벡터를 단순 전치 관계로만 다루며, 이를 “행‑벡터”와 “열‑벡터”라는 두 개의 동등한 표현으로 제한하고 있음을 지적한다. 이러한 설계는 기본적으로 유클리드 공간의 고정된 직교 기저, 즉 카르테시안 좌표계와 단순한 유클리드 메트릭 텐서 gᵢⱼ=δᵢⱼ에 의존한다. 그러나 물리학·공학에서 텐서는 좌표 변환에 따라 공변·반공변 성분이 서로 다른 방식으로 변환되는 다중선형 사상이며, 비직교 혹은 곡률이 있는 좌표계(예: 구면, 극좌표)에서는 기존 기호만으로는 텐서의 변환 법칙을 정확히 기술할 수 없다.

이를 해결하기 위해 저자는 “tuple”과 “tuple‑selector”를 도입해 순서가 있는 n‑튜플을 명시적으로 생성하고, 인덱스로 접근하도록 한다. 이는 좌표 자체를 벡터와 구분하고, 좌표를 단순히 “벡터 성분 선택자”로 처리하는 오류를 방지한다. 이어 “Cartesian(i)”와 “unitCartesian(i)” 기호를 정의해 카르테시안 좌표와 그 기저 벡터를 명시적으로 표현한다. 이렇게 하면 비카르테시안 좌표계와의 변환을 함수 형태로 기술할 때, 원래 카르테시안 기저와 새로운 기저 사이의 야코비안 ∂xⱼ/∂x′ᵢ를 명확히 드러낼 수 있다.

핵심적인 텐서 기호는 “contra‑index”와 “covar‑index”이다. 각각 상첨자와 하첨자를 의미하며, 인덱스가 변환될 때 반공변(기저 벡터)와 공변(기저 공변량) 중 어느 쪽에 해당하는지를 명시한다. “basis‑selector”는 (기저 튜플, 인덱스) 쌍을 받아 해당 기저 벡터 혹은 공변 벡터를 반환한다. “tensor‑selector”는 (텐서, 인덱스 튜플, 프레임) 세 인자를 받아 특정 성분을 스칼라 값으로 추출한다. 이때 인덱스 튜플은 반공변·공변 인덱스의 순서를 유지하며, 행‑우선(row‑major) 저장 규칙을 가정해 구현상의 모호성을 제거한다.

또한 “Kronecker‑tensor”(δᵢⱼ)와 “metric‑tensor”(gᵢⱼ) 기호를 제공해 내적·거리 정의를 일반화한다. 메트릭 텐서는 비유클리드 공간에서도 길이와 각도를 정의할 수 있게 하며, “Levi‑Civita” 기호는 차원 n 에 대한 완전 반대칭 텐서를 제공해 교차곱·컬과 같은 연산을 인덱스 형태로 기술한다.

전체적으로 저자는 새로운 기호 체계가 기존 OpenMath의 선형대수 기호와 최대한 호환되도록 설계했으며, 추가적인 기호 도입은 “필요성+편의성”이라는 실용적 기준에 따라 판단했다고 설명한다. 이는 텐서 수식을 기계적으로 교환·검증하고, 국제 표준(SI)과 연계된 수학적 표현을 확장하는 데 중요한 발판이 된다.