리 미분

미분기하학에서 **리 미분**(Lie微分, Lie derivative)은 매끄러운 다양체 위에서 아핀 접속 없이 정의될 수 있는, 텐서장의 미분 연산이다.언어=en 기호는 \mathcal L. 함수, 텐서장, 형식은 벡터장와 관련하여 구별될 수 있다. T가 텐서장이고 X가 벡터장인 경우 X에 대한 T의 리 미분은 \mathcal{L}_X T과 같이 표시된다. 미분 연산자 T \mapsto \mathcal{L}_X T는 기본 다양체의 텐서장 대수의 미분이다. 리 미분은 축약과 미분 형식에 대한 외미분과 교환한다. 미분 기하학에서 미분을 취하는 많은 개념이 있지만 미분 되는 표현이 함수 또는 스칼라장일 때 모두 같다. 따라서 이 경우 "리"이라는 단어는 삭제되고 단순히 함수의 미분에 대해 말한다. 다른 벡터장 *X*에 대한 벡터장 *Y*의 리 미분은 *X*와 *Y*의 "리괄호"로 알려져 있으며 종종 \mathcal{L}_X Y 대신 *[X,Y]*로 표시된다. 벡터장의 공간은 이 리 괄호와 관련하여 리 대수를 형성한다. 리 미분은 항등식으로 인해 이 리 대수의 무한 차원 리 대수 표현을 구성한다. : \mathcal{L}_{[X,Y]} T = \mathcal{L}_X \mathcal{L}_{Y} T - \mathcal{L}_Y \mathcal{L}_X T 이는 모든 벡터장 X, *Y*와 모든 텐서장 T에 유효하다. 벡터장를 *M*에서 흐름의 무한소 생성원들 (즉, 1차원 미분동형사상 군)으로 고려할 때, 리 미분은 군 표현과 관련된 무한소 표현으로서의 리 대수 표현과 비슷하게 텐서장에서 미분동형사상 군 표현의 미분이다. 리 군론. 스피너 장, 접속이 있는 올다발과 벡터 값 미분 형식에 대한 일반화가 존재한다.
# 도입
벡터장에 대한 텐서장의 미분을 정의하려는 '순진한' 시도는 각 점에서 벡터장에 대한 텐서장의 성분 함수의 방향 도함수를 취하는 것이다. 그러나 이 정의는 좌표 조각의 선택에 따라 달라지기 때문에 바람직하지 않다. 예를 들어 극좌표 또는 구면 좌표로 표현된 순진한 도함수는 데카르트 좌표의 구성 요소의 순진한 도함수와 다르다. 추상적 다양체에서 그러한 정의는 무의미하고 잘못 정의된다. 미분기하학에는 텐서장의 미분에 대한 세 가지 주요한 좌표 독립 개념이 있다: 리 미분, 접속에 의한 미분 그리고 완전 반대칭 공변 텐서, 즉, 미분 형식의 외미분. 리 미분과 달리 접속에 의한 미분은 접벡터에 대한 텐서장의 미분이 해당 접벡터를 벡터장으로 확장하는 방법이 지정되지 않은 경우에도 잘 정의된다는 것이다. 그러나 다양체에서 접속이라는 기하학적 구조를 추가로 선택해야 한다. 이에 반해 리 미분을 취하는 경우에는 다양체에 추가적인 구조가 필요하지 않다. 하지만, 접벡터 하나에 대한 텐서장의 리 미분에 대해 말하는 것이 불가능하다. 왜냐하면, *p*에서 벡터장 *X*에 대한 텐서장의 리 도함수의 값은 *p*의 근방에 있는 *X*의 값에 의존하기 때문이다. 마지막으로, 미분 형식의 외미분은 추가 선택이 필요하지 않으며 잘 정의된 미분 형식(함수 포함)의 미분일 뿐이다.
# 정의
리 미분은 임의의 텐서장 T\in\Gamma\left((\mathrm TM)^{\otimes p}\otimes(\mathrm T^*M)^{\otimes q}\right)을, 임의의 벡터장 방향으로 미분하는 연산이다. 이는 추상적으로 일련의 공리들을 통해 정의될 수 있으며, 또 대신 구체적으로 국소 좌표계를 통해 정의될 수도 있다.
## 공리적 정의
매끄러운 다양체 M 위에 매끄러운 벡터장 X\in\Gamma(\mathrm TM)가 주어졌다고 하자. 그렇다면 X방향으로의 **리 미분** :\mathcal L\colon \Gamma(\mathrm TM)\otimes_{\mathbb R} \Gamma\left((\mathrm TM)^{\otimes p}\otimes_{\mathbb R}(\mathrm T^*M)^{\otimes q}\right) \to\Gamma\left((\mathrm TM)^{\otimes p}\otimes_{\mathbb R}(\mathrm T^*M)^{\otimes q}\right) :\mathcal L\colon X\otimes T\mapsto\mathcal L_XT 은 임의의 매끄러운 (p,q)차 텐서장 T에 대하여 작용하여 매끄러운 (p,q)차 텐서장 \mathcal L_XT를 만드는 선형 변환이며, 다음 공리들을 만족시키는 유일한 연산이다. * (함수의 리 미분) 함수((0,0)차 텐서) f\in\mathcal C^\infty(M;\mathbb R)에 대하여, 리 미분은 벡터장의 1차 미분 연산자로의 작용과 같다. *:\mathcal L_Xf=Xf * (함수 외미분과의 호환) 함수 f에 대하여, 리 미분은 외미분과 가환한다. *:\mathcal L_X(\mathrm df)=\mathrm d(\mathcal L_Xf) * (텐서곱과의 호환) 리 미분은 텐서곱에 대하여 곱 규칙을 따른다. *:\mathcal L_X(T_1\otimes T_2)=(\mathcal L_XT_1)\otimes T_2+T_1\otimes(\mathcal L_XT_2) * (축약과의 호환) 리 미분은 축약에 대하여 곱 규칙을 따른다. 즉, 임의의 벡터장 Y와 (p,q)차 텐서장 T에 대하여 (q>0), *:\mathcal L_X(T(Y,-))=(\mathcal L_XT)(Y,-)+T(\mathcal L_XY,-)
## 좌표 표현
아인슈타인 표기법을 사용하자. 국소 좌표계 x^\mu를 잡았을 때, 벡터 X=X^\mu\partial_\mu 방향의, (p,q)차 텐서 T^{\mu_1\mu_2\cdots\mu_p}_{\nu_1\nu_2\dots\nu_q}의 **리 미분**은 다음과 같다. :\mathcal L_XT^{\mu_1\cdots\mu_p}_{\nu_1\dots\nu_q}=X^\rho\partial_\rho T^{\mu_1\cdots\mu_p}_{\nu_1\dots\nu_q}-(\partial_\rho X^{\mu_1})T^{\rho\mu_2\cdots\mu_p}_{\nu_1\dots\nu_q} -\cdots-(\partial_\rho X^{\mu_p})T^{\mu_1\cdots\mu_{p-1}\rho}_{\nu_1\dots\nu_q} +(\partial_{\nu_1}X^\rho)T^{\mu_1\cdots\mu_p}_{\rho\nu_2\dots\nu_q} +\cdots+(\partial_{\nu_q}X^\rho)T^{\mu_1\cdots\mu_p}_{\nu_1\dots\nu_{q-1}\rho} 또한, 비틀림이 없는 아핀 접속 \nabla의 경우, 위의 편미분을 공변 미분으로 치환하여도 상관없다. 리 미분은 아핀 접속에 의존하지 않는다. :\mathcal L_XT^{\mu_1\cdots\mu_p}_{\nu_1\dots\nu_q}=X^\rho\nabla_\rho T^{\mu_1\cdots\mu_p}_{\nu_1\dots\nu_q}-(\nabla_\rho X^{\mu_1})T^{\rho\mu_2\cdots\mu_p}_{\nu_1\dots\nu_q} -\cdots-(\nabla_\rho X^{\mu_p})T^{\mu_1\cdots\mu_{p-1}\rho}_{\nu_1\dots\nu_q} +(\nabla_{\nu_1}X^\rho)T^{\mu_1\cdots\mu_p}_{\rho\nu_2\dots\nu_q} +\cdots+(\nabla_{\nu_q}X^\rho)T^{\mu_1\cdots\mu_p}_{\nu_1\dots\nu_{q-1}\rho}
## 스피너장의 리 미분
스핀 구조를 갖는 리만 다양체 (M,g)가 주어졌다고 하자. 그 위의 스피너 다발 \mathrm SM은 복소수 2^{\lfloor \dim M/2\rfloor}차원의 벡터 다발이다. 그렇다면, 스피너장 \psi\in\Gamma(\mathrm SM)의 **리 미분**은 다음과 같다. :\mathcal L_X\psi=\nabla_X\psi-\frac14(\mathrm dX^\flat)\cdot\psi 여기서 * X^\flat=g(X,-)는 벡터장(=(1,0)차 텐서장) X에 대응하는 1차 미분 형식(=(0,1)차 텐서장)이다. * \mathrm d는 1차 미분 형식의 외미분이다. * \cdot은 클리퍼드 대수의 곱이다. 국소 좌표계로 표기하면 이는 다음과 같다. :(\mathcal L_X\psi)^i = X^\mu\nabla_\mu\psi^i - \frac1{16} \left(\nabla_\mu X_\nu - \nabla_\nu X_\mu\right) \left(\gamma^{\mu i}{}_j\gamma^{\nu j}{}_k-\gamma^{\nu i}{}_j\gamma^{\mu j}{}_k\right)\psi^k 여기서 * \mu,\nu\in\\{1,\dots,\dim M\\}는 접다발 \mathrm TM의 지표이다. * i,j,k\in\\{1,\dots,2^{\lfloor\dim M/2\rfloor}\\}는 스피너 다발 \mathrm SM의 (복소수 성분) 지표이다. * \gamma^{\mu i}{}_j는 디랙 행렬이다. 스피너장의 리 미분은 리만 다양체의 리만 계량에 의존하지 않는다. 만약 X가 킬링 벡터장이라면 (즉, \nabla_\mu X_\nu = -\nabla_\nu X_\mu), 이는 다음과 같이 더 간단해진다. :(\mathcal L_X\psi)^i = X^\mu\nabla_\mu\psi^i - \frac14(\nabla_\mu X_\nu)\gamma^{\mu i}{}_j\gamma^{\nu j}{}_k\psi^k
# 일반화 리 미분
다음 데이터가 주어졌다고 하자. * 매끄러운 다양체 B와 E 및 그 접다발 \pi_{\mathrm TB}\colon\mathrm TB\twoheadrightarrow B, \pi_{\mathrm TE}\colon \mathrm TE\twoheadrightarrow E * 매끄러운 함수 s\colon B\to E * B 위의 벡터장 X\in\Gamma(\mathrm TB) * E 위의 벡터장 Y\in\Gamma(\mathrm TE) 그렇다면, s의, (X,Y) 방향의 **일반화 리 미분**은 다음과 같은 매끄러운 함수이다.url-status=dead377, §47.4 :\tilde{\mathcal L}_{X,Y}f\colon B\to \mathrm TE :\tilde{\mathcal L}_{X,Y}f=\mathrm Tf\circ X-Y\circ f 이는 다음 조건을 만족시킨다. :\tilde{\mathcal L}_{tX,tY}s=t\tilde{\mathcal L}_{X,Y}s\qquad\forall t\in\mathbb R :\pi_{\mathrm TE}\circ\mathcal L_{X,Y}s=s 즉, 다음과 같은 가환 그림이 성립한다. :\begin{matrix} B&\xrightarrow{\tilde{\mathcal L}_{X,Y}s}&\mathrm TE\\\ &{_{\\!\\!\\!\\!s\\!\\!\searrow\\!\\!{\color{White}\scriptstyle s\\!\\!\\!\\!}&{\scriptstyle\color{White}{\pi_{\mathrm TE}\\!\\!\\!\\!\\!\\!\downarrow\scriptstyle\pi_{\mathrm TE}\\!\\!\\!\\!\\!\\!\\\ &&E; \end{matrix} 만약 X와 Y의 흐름이 각각 :\phi_X\colon (-\epsilon,\epsilon)\times B\to B :\phi_X\colon(t,b)\mapsto\phi_{X,t}(b) :\phi_Y\colon (-\epsilon,\epsilon)\times E\to E :\phi_Y\colon(t,e)\mapsto\phi_{Y,t}(e) 라면, 다음이 성립한다.377, §47.4 :\mathcal L_{X,Y}s=\left.\frac{\mathrm d}{\mathrm dt}(\phi_{Y,-t}\circ s\circ\phi_{X,t})\right|_{t=0}
## 올다발의 경우
특히, 올다발 \pi_E\colon E\twoheadrightarrow B가 주어졌으며, B와 E가 둘 다 매끄러운 다양체이며, \pi_E는 매끄러운 함수이며, 그 모든 올들이 서로 미분 동형인 매끄러운 다양체라고 하자. 또한, 그 단면 s\in\Gamma_B(E)이 주어졌다고 하자. 또한, 벡터장 X\in\Gamma_B(\mathrm TB)와 Y\in\Gamma_E(\mathrm TE)가 주어졌다고 하자. 그렇다면, 리 미분 :\mathcal L_{X,Y}s\colon B\to\mathrm TE 를 정의할 수 있으며, 이는 올다발 \pi_E\circ\pi_{\mathrm TE}\colon \mathrm TE\to B의 단면이다. 추가로, 만약 다음이 성립한다고 하자. :\mathrm T\pi_E\circ Y=X\circ \pi_E 즉, 다음 가환 그림이 성립한다고 하자. :\begin{matrix} E&\xrightarrow{\pi_E}&B;\\\ {\scriptstyle Y}\downarrow{\scriptstyle\color{White}Y}&&{\scriptstyle\color{White}X}\downarrow\scriptstyle X\\\ \mathrm TE&\xrightarrow[\mathrm T\pi_E]{}&\mathrm TB \end{matrix} 이 조건이 성립하는 벡터장 Y를 **사영 가능 벡터장**(projectable vector field)이라고 한다.언어=en§2 이러한 Y가 주어지면 X는 :X^i|_{\pi(e)}=(\mathrm T\pi)_I^i|_{e,\pi(e)}Y^I|_e\qquad(e\in E) 로 재구성할 수 있다. 따라서, 이 경우 \mathcal L_{X,Y}를 \mathcal L_Y로 표기할 수 있다. 그렇다면, \tilde{\mathcal L}_Ys는 사실 수직 벡터 다발 \mathrm VE\subseteq\mathrm TE에 속함을 보일 수 있다. :\tilde{\mathcal L}_Ys\colon B\to \mathrm VE
## 벡터 다발의 경우
특히, 위 경우에서 \pi_E\colon E\twoheadrightarrow B가 벡터 다발이라고 하자. 그렇다면, 그 수직 벡터 다발은 :\mathrm VE=E\times_BE 이며, 이 경우 :\tilde{\mathcal L}_Ys=(s,\mathcal L_Ys) 의 꼴이다. 이 경우, \mathcal L_Ys\colon B\to E는 E의 단면이며, 이를 s의 **리 미분**이라고 한다.378, §47.5Proposition 5.4
# 성질

## 미분 동형 사상과의 관계
리 미분의 개념은 벡터장을 무한소 미분 동형 사상으로 간주하여 유도할 수 있다. 구체적으로, 매끄러운 다양체 위에 리 군 \mathbb R가 매끄럽게 작용한다고 하자. :f\colon\mathbb R\times M\to M :f\colon(t,x)\mapsto f_t(x) :f_0(x)=x\qquad\forall x\in M :f_{s+t}(x)=f_s(f_t(x))\qquad\forall s,t\in\mathbb R,\;x\in M 그렇다면, 벡터장 X^i\in\Gamma(\mathrm TM)를 다음과 같이 정의할 수 있다. :f_t(x)=x^i+tX^i(x)+O(t^2) :(\mathrm Df)^i_j=\delta^i_j+t\partial_jX^i 이제, 임의의 벡터장 T^i 및 매끄러운 함수 g\colon M\to M에 대하여 밂 : (g_*T)^i|_{g(x)}=(\mathrm Dg|_x)_j^i(T^j|_x) 를 정의할 수 있다. 이 경우, 다음과 같은 극한을 계산할 수 있다. :\lim_{t\to0}\left.\frac{(f_{-t}{}_*T)^i-T^i}t\right|_x ::=\lim_{t\to0}\frac{(\delta^i_j-t\partial_jX^i)|_xT^j|_{f_t(x)}-T^i|_x}t ::=\lim_{t\to0}\frac{(\delta^i_j-t\partial_jX^i)|_x( T^j|_x+tX^k\partial_kT^j|_x) -T^i|_x}t ::= \left(X^k\partial_kT^i \- (\partial_jX^i)T^j \right)|_x=-(\mathcal L_XT)^i|_x 마찬가지로, 임의의 1차 미분 형식 V_i에 대하여, 당김 : (g^*V)_i|_x=(\mathrm Dg|_x)_i^j(V_j|_{g(x)}) 을 정의할 수 있으며, 다음과 같은 극한을 계산할 수 있다. :\lim_{t\to0}\left.\frac{(f_t^*V)_i-V_i}t\right|_x ::=\lim_{t\to0}\frac{(\delta_i^j+t\mathrm Df)_i^j|xV_j|_{f_t(x)}-V_i|_x}t ::=\lim_{t\to0}\frac{\left(\delta_i^j+t\partial_iX^j|_x\right)(V_j|_x+tX^k\partial_kV_j)-V_i|_x}t ::=(\partial_iX^j)V^j+X^k\partial_kV_i=(\mathcal L_XV)_i
## 함수의 리 미분
결론적으로, 함수 f에 대하여, 리 미분은 그냥 단순한 미분이다. 즉, :\mathcal L_Xf=Xf=X^\mu\partial_\mu f 이다. 다양체에서 함수 f\colon M \to {\mathbb R} 의 도함수 개념은 x+h가 정의되지 않아서 차이의 몫 \textstyle (f(x+h)-f(x))/h 이 정의 될 수 없기 때문에 문제가 된다. 점 p \in M에서 벡터장 X에 대해 함수 f\colon M\to {\mathbb R}의 리 미분은 다음 함수이다: : (\mathcal{L}_X f) (p) = {d \over dt} \biggr|_{t=0} \bigl(f \circ \Phi^t_X\bigr)(p) = \lim_{t\to 0} \frac{f\bigl(\Phi^t_X(p)\bigr) - f\bigl(p\bigr)}{t} 여기서 \Phi^t_X(p)는 벡터장 X에 의해 정의된 흐름이 t에서 점 p를 사상하는 점이다. t=0 근방에서, \Phi^t_X(p)는 t에 독립인 1차 연립 미분 방정식 : \frac{d}{dt}\biggr|_t \Phi^t_X(p) = X\bigl(\Phi^t_X(p)\bigr) 의 유일한 해이다. 여기서, \Phi^0_X(p) = p. \mathcal{L}_X f = \nabla_X f로 놓으면 방향 도함수로 함수의 리 미분을 식별한다
## 벡터의 리 미분
벡터장의 경우, 리 미분은 리 괄호가 된다. :\mathcal L_XY=[X,Y] 이 경우, 야코비 항등식에 따라 리 미분은 리 괄호에 대해 곱 규칙을 따른다. :\mathcal L_X[Y,Z]=[\mathcal L_XY,Z]+[Y,\mathcal L_XZ] : :리괄호는 다음과 같이 두 가지 방식으로 정의 된다:만약 X와 Y가 두 번째 정의에 따라 다양체 M의 벡터장이라면, 연산자 \mathcal{L}_X Y = [X,Y]은 다음 공식으로 정의된다 : [X,Y]: C^\infty(M) \rightarrow C^\infty(M) : [X,Y](f) = X(Y(f)) - Y(X(f) 이 연산자는 두 번째 정의에 따른 벡터장이며, M의 매끄러운 함수들의 차수 0의 도함수이다.
## 텐서장의 리 미분

### 흐름 측면에서의 정의
리 미분은 흐름으로 인해 공간이 바뀌면서 텐서장이 바뀌는 비율이다. 공식적으로, 매끄러운 다양체 M에 미분 가능한(시간 독립적인) 벡터장 X이 주어져 있고 \Phi^t_X : M \to M 가 해당 국소 흐름이라 하자. \Phi^t_X가 각 t에 대한 국소 미분동형사상이므로, 이는 텐서장의 당김을 발생시킨다. 공변 텐서의 경우 당김 사상의 다중 선형 확장일 뿐이다. : \left(\Phi^t_X\right)^*_p : T^*_{\Phi^t_X(p)}M \to T^*_{p}M, \qquad \left(\Phi^t_X\right)^*_p \alpha (X) = \alpha\bigl(T_p \Phi^t_X(X)\bigr), \quad \alpha \in T^*_{\Phi^t_X(p)}M, X \in T_{p}M 반공변 텐서의 경우 미분 T_p\Phi^t_X 의 역함수를 확장한다. : \left(T_p\Phi^t_X\right)^{-1} : T_{\Phi^t_X(p)}M \to T_{p}M 모든 t에 대해, 결과적으로 T들과 같은 종류인 텐서장 (\Phi^t_X)^* T가 있다. 만약에 Y가 (r,0) 또는 (0,s)-형 텐서장이면, 벡터장 X를 따른 Y의 리 미분 {\cal L}_XY은 점 p \in M에서 다음과 같이 되도록 정의된다: : {\cal L}_X T(p) = \frac{d}{dt}\biggl|_{t=0} \left(\bigl(\Phi^t_X\bigr)^* T\right)_p = \frac{d}{dt}\biggl|_{t=0}\bigl(\Phi^t_X\bigr)^*_p T_{\Phi^t_X(p)} = \lim_{t \to 0}\frac{\bigl(\Phi^t_X\bigr)^*T_{\Phi^t_X(p)} - T_p}{t}. 결과 텐서장 {\cal L}_X T은 T들와 같은 유형이다. 더 일반적으로, {d \over dt}\biggr|_{t=0} \Phi_t = X \circ \Phi_0 라는 의미에서 벡터장 X 를 적분하는 미분동형사상들의 모든 매끄러운 1-매개변수 족 \Phi_t 에 대해\mathcal{L}_X T = \bigl(\Phi_0^{-1}\bigr)^* {d \over dt}\biggr|_{t=0} \Phi_t^* T = - {d \over dt}\biggr|_{t=0} \bigl(\Phi_t^{-1}\bigr)^* \Phi_0^* T \, .
## 미분 형식의 리 미분
n차 미분 형식 \omega는 (0,n)차 텐서로 보고 그 리 미분을 정의할 수 있다. 이 경우, 리 미분은 다음과 같이 주어진다. 이 공식을 **카르탕 마법 공식**(Cartan魔法公式, Cartan’s magic formula)이라고 한다. :\mathcal L_X\omega=X\lrcorner d\omega+d(X\lrcorner\omega) 여기서 \lrcorner는 내부곱(interior product)을 나타낸다. :(X_1\lrcorner\omega)(X_2,\dots,X_n)=\omega(X_1,X_2,\dots,X_n) 미분 형식에 대하여, 리 미분은 다음과 같은 항등식들을 만족시킨다. :\mathcal L_X(\alpha\wedge\beta)=\mathcal L_X\alpha\wedge\beta+\alpha\wedge\mathcal L_X\beta :[\mathcal L_X,\mathcal L_Y]\alpha=\mathcal L_{[X,Y]}\alpha :[\mathcal L_X,Y\lrcorner]\alpha=[X\lrcorner,\mathcal L_Y]\alpha=[X,Y]\lrcorner\alpha
## 대칭 (0,2)차 텐서장
대칭 (0,2)차 텐서장 g_{\mu\nu} (예를 들어, 리만 계량)의 경우, :(\mathcal L_Xg)_{\mu\nu}=X^\rho\partial_\rho g_{\mu\nu}+ g_{\mu\rho}\partial_\nu X^\rho+g_{\nu\rho}\partial_\mu X^\rho 이다. 특히, 만약 리만 계량 g로 유도되는 아핀 접속을 사용할 경우, \nabla_\mu g_{\rho\sigma}=0이며, 따라서 :(\mathcal L_Xg)_{\mu\nu}=\nabla_\nu X_\mu+\nabla_\mu X_\nu 이다. 위 표현이 0이 되게 하는 벡터장 X를 g의 킬링 벡터장이라고 한다.
# 역사
1931년에 폴란드의 수학자 브와디스와프 실레보진스키가 도입하였다.언어=frurl-status=dead 다비트 판 단지흐(David van Danzig, 1900~1959)가 1932년에 소푸스 리의 이름을 따 이 연산을 "리 미분"(Liesche Ableitung)이라고 명명하였다.언어=de536, §3 판 단치흐는 이 연산을 \underset DL로 표기하였다. 이와 독자적으로, 벨기에의 물리학자 레옹 로젠펠드(Léon Rosenfeld, 1904~1974)는 일반 상대성이론을 다루는 동안 이와 유사한 연산을 도입하였다.언어=fr 로젠펠드는 이를 "국소 변화"(variation locale)이라고 불렀으며, \delta^*로 표기하였는데, 이는 오늘날의 -\mathcal L_X와 사실상 같다.§3 1963년에 앙드레 리크네로비츠(André Lichnerowicz)가 스피너장의, 킬링 벡터장 방향의 리 미분을 정의하였고,언어=fr 이후 1972년에 이베트 코스만슈와르즈바크(Yvette Kosmann-Schwarzbach)가 이를 임의의 벡터장 방향에 대하여 일반화하였다.언어=fr