야코비 항등식(Jacobi identity)은 수학, 특히 추상대수학에서 특정한 이항 연산(보통 '괄호' 또는 '리 괄호'라고 불림)이 만족해야 하는 항등식이다. 이는 리 대수(Lie algebra)의 정의를 이루는 핵심적인 공리 중 하나로, 대수적 구조가 일관성을 갖도록 보장한다.
정의 벡터 공간 $V$ 위에 정의된 이항 연산 $[ , ] : V \times V \to V$ (리 괄호)가 있을 때, 다음 조건을 만족하면 야코비 항등식을 만족한다고 한다. $V$의 모든 원소 $x, y, z$에 대하여: $$ [[x, y], z] + [[y, z], x] + [[z, x], y] = 0 $$ 이 항등식은 종종 다음의 동등한 형태로도 표현된다: $$ [x, [y, z]] + [y, [z, x]] + [z, [x, y]] = 0 $$ 두 형태 모두 원소 $x, y, z$를 순환적으로 치환하면서 괄호 연산을 적용한 결과들의 합이 0이 됨을 나타낸다.
배경 및 중요성 야코비 항등식은 주로 다음과 같은 대수적 구조에서 나타나며, 각각의 맥락에서 중요한 의미를 지닌다.
-
리 대수: 리 대수는 벡터 공간 $L$과 리 괄호 연산 $[ , ]$로 구성되며, 이 연산은 다음 세 가지 공리를 만족해야 한다:
- 쌍선형성 (Bilinearity): $[ax+by, z] = a[x,z] + b[y,z]$ 이고 $[x, ay+bz] = a[x,y] + b[x,z]$
- 반교환성 (Anticommutativity): $[x, y] = -[y, x]$
- 야코비 항등식: $[[x, y], z] + [[y, z], x] + [[z, x], y] = 0$ 야코비 항등식은 리 대수의 연산이 특정 종류의 '연관성'을 가지도록 보장하며, 리 군(Lie group)의 접공간에 정의된 리 괄호의 대수적 특성을 반영한다. 이는 사실상 '미분 연산자의 미분'과 유사한 성질을 부여한다.
-
푸아송 괄호 (Poisson Bracket): 고전 역학의 해밀턴 역학에서 사용되는 푸아송 괄호는 두 함수의 괄호 연산으로, 해밀턴 방정식과 운동 상수를 표현하는 데 핵심적인 역할을 한다. 푸아송 괄호는 반교환성과 야코비 항등식을 만족하여 푸아송 대수(Poisson algebra)의 구조를 이룬다. 이는 양자 역학으로의 양자화 과정에서 교환자(commutator)의 역할과 밀접하게 연관된다.
-
결합 대수에서의 교환자: 임의의 결합 대수(associative algebra) $A$ (예: 행렬 대수)에서, 두 원소 $a, b$에 대한 교환자 $[a, b] = ab - ba$를 정의할 수 있다. 이 교환자 연산은 항상 야코비 항등식을 만족한다. 즉, 임의의 $a, b, c \in A$에 대해 $$ [[a, b], c] + [[b, c], a] + [[c, a], b] = 0 $$ 이 성질은 일반적인 리 대수가 결합 대수의 부분 집합으로서 교환자 연산을 통해 나타날 수 있음을 보여준다. (아도 정리, Ado's Theorem)
의미 야코비 항등식은 이항 연산이 '미분'과 유사한 행동을 할 수 있도록 하는 핵심적인 조건이다. 구체적으로, 리 대수에서 원소 $x$에 의한 내적 미분(adjoint derivation) $ad_x(y) = [x, y]$는 라이프니츠 규칙과 유사한 성질을 만족한다: $$ ad_x([y, z]) = [ad_x(y), z] + [y, ad_x(z)] $$ 이 식은 야코비 항등식과 동등하며, $ad_x$가 리 대수의 괄호 연산에 대한 미분(derivation)임을 의미한다. 이러한 성질은 리 대수 및 리 군 이론의 전개에 필수적이다.