아인슈타인 표기법
정의
아인슈타인 표기법(Einstein notation, Einstein summation convention)은 텐서 계산에서 인덱스가 두 번 나타나는 경우 자동으로 그 인덱스에 대해 합을 수행한다는 규칙이다. 즉, 동일한 첨자(인덱스)가 위·아래(또는 같은 위치)에 한 번씩 나타나면 별도의 합 기호 없이도 그 첨자에 대해 모든 가능한 값에 대한 합을 의미한다.
기원
이 표기법은 알베르트 아인슈타인(Albert Einstein)이 1916년 일반 상대성 이론을 기술하면서 도입하였다. 텐서 방정식의 복잡성을 줄이고, 식을 간결하게 표현하기 위한 목적이었다.
주요 특징
| 특징 | 설명 |
|---|---|
| 자동 합 | 인덱스가 두 번 등장하면 자동으로 합산한다(예: $A_i B_i = \sum_{i} A_i B_i$). |
| 반복 인덱스 금지 | 동일한 인덱스가 세 번 이상 나타나면 규칙 위반으로 간주한다. |
| 위·아래 구분 | 일반 상대성 이론에서는 위첨자와 아래첨자를 구분해 상쇄(summation) 여부를 판단한다. 한국어·일반 수학 서적에서는 위·아래 구분 없이도 동일한 인덱스가 두 번 나타나면 합을 적용한다. |
| 축약 표현 | 텐서 식을 축약해 적을 수 있어, 복잡한 방정식의 가독성을 크게 향상시킨다. |
사용 분야
- 일반 상대성 이론: 곡률 텐서, 메트릭 텐서 등 복잡한 텐서 연산에 필수적으로 사용된다.
- 미분 기하학: 접공간, 코시-리만 곡률 텐서 등 다양한 텐서 연산에서 활용된다.
- 양자장론·입자물리학: 스피너와 게이지 필드의 연산에서 표기법이 자주 적용된다.
- 공학·컴퓨터 과학: 텐서 기반의 물리 시뮬레이션, 머신러닝(특히 딥러닝)에서 수학적 표현을 간결하게 하기 위해 차용되기도 한다.
예시
-
벡터 내적
$$ \mathbf{a}\cdot\mathbf{b}=a_i b_i $$
여기서 $i$는 1에서 차원 수 $n$까지 자동으로 합산된다. -
텐서 곱과 계약
$$ C_{ij}=A_{ik} B_{kj} $$
인덱스 $k$가 두 번 나타나므로 $\sum_k A_{ik} B_{kj}$와 동치이다. -
메트릭 텐서와 역메트릭
$$ g_{ij} g^{jk}= \delta_i^{;k} $$
여기서 $\delta_i^{;k}$는 크리네커 델타이며, $j$에 대해 합산한다.
주의점
- 자동 합 규칙은 인덱스의 위치(위·아래)에 따라 다르게 해석될 수 있다. 일반 상대성 이론 등에서는 위·아래 구분을 엄격히 유지한다.
- 프로그래밍 언어나 수치 계산 라이브러리에서는 명시적인 합 연산(예:
np.einsumin NumPy)으로 구현한다.
관련 용어
- 텐서(Tensor): 다중 인덱스를 갖는 다차원 배열 또는 다변량 함수.
- 크리네커 델타(Kronecker delta): $\delta_i^{;j}=1$ if $i=j$, else 0.
- 축약(Contraction): 텐서 연산에서 인덱스 두 개를 합쳐 스칼라 혹은 낮은 차원의 텐서를 만드는 과정.
아인슈타인 표기법은 텐서 수학을 효율적으로 다루기 위한 표준적인 도구로, 현대 물리학 및 수학 분야에서 널리 사용된다.
