케일리-멩거 행렬식(Cayley–Menger determinant)은 유클리드 거리 공간에서 주어진 점들의 쌍거리만으로 그 점들이 이루는 심플렉스(simplex)의 부피를 구하기 위해 사용되는 대수적 도구이다.
정의
$n+1$개의 점 $P_0, P_1, \dots , P_n$이 $n$-차원 유클리드 공간 $\mathbb{R}^n$에 존재한다 가정하고, 각 점 사이의 거리 $d_{ij}= |P_i-P_j|$를 알 때, 다음과 같은 $(n+2)\times(n+2)$ 행렬을 만든다.
$$ \mathbf{M}= \begin{pmatrix} 0 & 1 & 1 & \cdots & 1 \ 1 & 0 & d_{01}^{2} & \cdots & d_{0n}^{2} \ 1 & d_{01}^{2} & 0 & \cdots & d_{1n}^{2} \ \vdots & \vdots & \vdots & \ddots & \vdots \ 1 & d_{0n}^{2} & d_{1n}^{2} & \cdots & 0 \end{pmatrix} $$
이 행렬의 행렬식 $\det(\mathbf{M})$을 케일리-멩거 행렬식이라 하며, 다음 관계가 성립한다.
$$ \operatorname{Vol}_n(P_0,\dots ,P_n)^2 = \frac{(-1)^{,n+1}}{2^{,n},(n!)^{2}} , \det(\mathbf{M}), $$
여기서 $\operatorname{Vol}_n$은 $n$-차원 심플렉스의 부피이다.
주요 특성
- 양의 정의: 점들이 일반위치(generic position)에 있으면 $\det(\mathbf{M})$은 양수이며, 이는 실제 부피가 양수임을 의미한다.
- 공변성: 거리만을 사용하므로 좌표계 변환(회전, 평행이동, 대칭)에도 불변이다.
- 차원 일반화: $n=2$일 때는 삼각형의 면적을, $n=3$일 때는 tetrahedron(사면체)의 부피를 구하는 공식으로 특별히 알려져 있다.
활용 분야
- 거리 기하학: 거리만으로 점 집합이 유클리드 공간에 임베드 가능한지를 판단하는 기준으로 사용된다.
- 컴퓨터 그래픽스 및 물리 시뮬레이션: 삼각형·사면체의 면적·부피 계산에 적용된다.
- 분자 구조 분석: 원자 사이 거리 정보로부터 분자 구성을 추정할 때, 내부 좌표를 검증하는 도구로 활용된다.
- 통계학·머신러닝: 다변량 거리 행렬을 기반으로 한 차원 축소 기법(예: 다중 차원 척도법)에서 유사성 판단에 이용될 수 있다.
역사적 배경
- 아서 켈리(Arthur Cayley, 1841): 초기 형태의 거리 행렬을 제시함.
- 카를 멩거(Karl Menger, 1928): 거리 공간 이론에서 위 행렬식을 체계화하고 부피와 연결함으로써 현재의 형태를 확립하였다.
한국어 명칭
한국어 문헌에서는 위 행렬식을 “케일리‑멩거 행렬식” 또는 “케일리‑멩거 식”이라고 번역한다.
본 내용은 기존의 수학·공학 교과서 및 논문에 기반한 객관적 설명이며, 확인되지 않은 추가 정보는 포함하지 않는다.
