리치 미적분학

수학에서 **리치 미적분학**은 미분 다양체의 계량 텐서 또는 접속에 관계없이 텐서 및 텐서장에 대한 첨자 표기 및 조작 규칙을 구성한다. 이는 이탈리아 수학자 그레고리오 리치쿠르바스트로가 1887~1896년에 개발한 **절대 미분학**이라고 불리는 것에 대한 현대적인 이름이기도 하다. 이후 1900년에 그의 제자 툴리오 레비치비타 와 함께 쓴 논문에서 대중화되었다. Jan Arnoldus Schouten은 이를 위한 현대적 표기법과 형식론을 개발했다.

텐서의 성분은 텐서 공간의 기저 원소의 계수로 사용되는 실수이다. 텐서는 해당 성분과 해당 기저 원소의 곱들의 합이다. 텐서와 텐서장은 해당 성분의 관점에서 표현될 수 있으며, 텐서 및 텐서장의 연산은 해당 성분의 연산으로 표현될 수 있다. 텐서장에 대한 설명과 그 성분에 대한 연산은 리치 미적분학의 초점이다. 이 표기법을 사용하면 이러한 텐서장 및 연산을 효율적으로 표현할 수 있다. 대부분의 표기법은 모든 텐서에 적용될 수 있지만 미분 구조와 관련된 작업은 텐서장에만 적용 가능하다. 필요한 경우 표기법은 비텐서 성분, 특히 다차원 배열로 확장된다.

텐서는 벡터와 여벡터 기저 원소의 텐서곱의 선형 결합으로 표현될 수 있다. 결과 텐서 성분은 기저 첨자로 이름표이 지정된다. 각 첨자는 기본 벡터 공간의 차원 당 하나의 가능한 값을 갖는다. 첨자 수는 텐서의 차수와 같다.

간결성과 편의성을 위해 리치 미적분학에 자주 등장하는 합을 간략화한 합 표기법이 포함되어 있다. 이는 용어 내에서 반복되는 첨자에 대한 합과 자유 첨자에 대한 보편적 양화사를 의미한다. 리치 미적분학 표기법의 표현은 일반적으로 성분을 다양체에 대한 함수로, 일반적으로 보다 구체적으로 다양체에 대한 좌표의 함수와 관련된 일련의 연립 방정식으로 해석할 수 있다. 이를 통해 몇 가지 규칙들만 숙지하여 표현식을 직관적으로 조작할 수 있다.

## 첨자 표기법

### 기저 관련 구별법

#### 좌표 및 첨자 표기
저자는 일반적으로 아래 첨자가 첨자으로 의도된 것인지 아니면 이름표로 의도된 것인지 명확하게 표시한다.

예를 들어, 3차원 유클리드 공간에서 데카르트 좌표를 사용하는 경우이다. 좌표 벡터  아래 첨자 1, 2, 3과 이름표 , ,  사이의 직접적인 대응을 보여준다. 표현식 에서 는 값 1, 2, 3에 대한 첨자로 해석되는 반면 , ,  첨자는 변수가 아닌 이름표일 뿐이다.

#### 기저에 대한 참조
첨자 자체는 다음과 같이 모자(ˆ), 막대 (̅), 물결표 (~) 또는 프라임(′)와 같은 발음 구별 기호를 사용하여 *이름표을 지정할* 수 있다.

: X_{\hat{\phi}}\,, Y_{\bar{\lambda}}\,, Z_{\tilde{\eta}}\,, T_{\mu'} 

해당 첨자에 대해 다른 기저를 나타낼 수 있음을 나타낸다. 이는 스피너의 키랄성을 반영하기 위해 첨자에 모자와 윗점을 사용하는 스피너에 대한 판데르바르던 표기법과 혼동되어서는 안 된다.

### 위 첨자와 아래 첨자
리치 미적분학 및 보다 일반적으로 첨자 표기법은 아래 첨자와 위 첨자를 구별한다. 후자는 수학의 다른 부분에만 익숙한 독자에게는 첨자*가 아닌* 것처럼 보일 수 있다.

계량 텐서가 모든 곳에서 단위 행렬과 동일한 특별한 경우에는 위 및 아래 첨자의 구분을 없애고 모든 첨자를 아래 위치에 쓸 수 있다.  a_{ij} b_{jk} 과 같은 선형 대수학의 좌표 공식 행렬의 곱이 이에 대한 예가 될 수 있다. 그러나 일반적으로 위 첨자와 아래 첨자의 구분은 유지되어야 한다.

#### 첨자 올리기와 내리기
계량 텐서와 함께 텐서를 축약하면 텐서의 종류가 바뀔 수 있고 위 첨자가 아래로 내려가거나 아래 첨자가 위로 올라 갈 수 있다.

B^{\gamma}{}_{\beta\cdots} = g^{\gamma\alpha}A_{\alpha\beta\cdots} \quad \text{and} \quad A_{\alpha\beta\cdots} = g_{\alpha\gamma}B^{\gamma}{}_{\beta\cdots}

: 
 A_{|\alpha \beta \gamma| \cdots} B^{\alpha\beta\gamma \cdots} =
 A_{\alpha \beta \gamma \cdots} B^
     C^{\mu\nu\cdots \zeta} \\[3pt]
 ={} &\sum_{\alpha 

다중 첨자 표기법을 사용하는 경우 첨자 블록 아래에 아래 화살표가 배치된다.

: 
 A_{\underset{\rightharpoondown}{P}}{}^{\underset{\rightharpoondown}{Q}} B^P{}_{Q\underset{\rightharpoondown}{R}} C^R =
 \sum_\underset{\rightharpoondown}{P} \sum_\underset{\rightharpoondown}{Q} \sum_\underset{\rightharpoondown}{R} A_{P}{}^{Q} B^P{}_{QR} C^R 

여기서,

: 
  \underset{\rightharpoondown}{P} = |\alpha \beta\gamma|\,,\quad
  \underset{\rightharpoondown}{Q} = |\delta\epsilon\cdots\lambda|\,,\quad
  \underset{\rightharpoondown}{R} = |\mu \nu \cdots\zeta|


#### 첨자 올리기 및 내리기
비특이 계량 텐서로 첨자를 축약하면 텐서의 유형이 변경되어 아래 첨자를 위 첨자로 또는 그 반대로 변환할 수 있다.

: A^{\alpha}{}_{\beta\gamma} = B^{\alpha}{}_{\beta\gamma}

많은 경우에 기저 기호는 유지되며, 모호성이 없는 경우 첨자 위치를 변경하면 이 작업을 암시할 수 있다.

### 첨자 위치와 불변성 사이의 상관관계
이 표는 첫 번째 열에 반영된 다른 기준으로 설정된 각 기준의 성분을 사용하여 기저 끼리의 암묵적 변환에서 공변 및 반변 첨자의 조작이 어떻게 불변성과 일치하는지 요약한다. 막대로 표시된 첨자는 변환 후 최종 좌표계를 나타낸다.

크로네커 델타가 사용된다. 아래 참조.

## 첨자 표기 및 연산에 대한 일반 개요
두 텐서는 모든 성분이 동일한 경우에만 동일하다. 즉, 텐서 와 텐서 가 같음은

: A^{\alpha}{}_{\beta\gamma} = B^{\alpha}{}_{\beta\gamma}

임과 동치이다. 모든  에 대해. 결과적으로 방정식이 의미가 있는지 확인하는 데 유용한 표기법의 측면이 있다.

### [[아인슈타인 표기법|자유 및 헛첨자]]
축약에 관여하지 않는 첨자를 *자유 첨자*라고 한다. 축약에 사용되는 첨자를 *헛첨자* 또는 *합 첨자*라고 한다.

### 텐서 방정식은 많은 일반(실수) 방정식을 나타낸다.
텐서의 성분(예: ,  등)는 그냥 실수일 뿐이다. 첨자는 텐서의 특정 성분을 선택하기 위해 다양한 정수 값을 사용하므로 단일 텐서 방정식은 많은 일반 방정식을 나타낸다. 텐서 등식이 자유 첨자 개를 갖고 기본 벡터 공간의 차원이 인 경우 등식은 개의 방정식을 나타낸다. 각 첨자는 특정 값 집합의 모든 값을 취한다.

예를 들어, 만약

: A^\alpha B_\beta{}^\gamma C_{\gamma\delta} + D^\alpha{}_\beta{} E_\delta \nrightarrow A^\lambda B_\beta{}^\gamma C_{\mu\delta} + D^\alpha{}_\beta{} E_\delta 

가 4차원에 있다면(즉, 각 첨자는 0에서 3까지 또는 1에서 4까지 실행된다), 3개의 자유 첨자(  )가 있으므로 4 3 = 64개의 방정식이 있다. 그 중 세 가지는 다음과 같다.

: \begin{align}
 A^0 B_1{}^0 C_{00} + A^0 B_1{}^1 C_{10} + A^0 B_1{}^2 C_{20} + A^0 B_1{}^3 C_{30} + D^0{}_1{} E_0 &= T^0{}_1{}_0 \\
 A^1 B_0{}^0 C_{00} + A^1 B_0{}^1 C_{10} + A^1 B_0{}^2 C_{20} + A^1 B_0{}^3 C_{30} + D^1{}_0{} E_0 &= T^1{}_0{}_0 \\
 A^1 B_2{}^0 C_{02} + A^1 B_2{}^1 C_{12} + A^1 B_2{}^2 C_{22} + A^1 B_2{}^3 C_{32} + D^1{}_2{} E_2 &= T^1{}_2{}_2.
\end{align}

이는 첨자 표기법 사용의 간결성과 효율성을 보여준다. 비슷한 구조를 공유하는 많은 방정식들을 간단한 텐서 방정식 하나로 표현 할 수 있다.

### 첨자는 교체 가능한 이름표이다.
첨자 기호 전체를 다른 기호로 바꾸면 텐서 방정식이 변경되지 않는다(이미 사용된 다른 기호와 충돌이 없는 경우). 이는 첨자 표기법을 사용하여 벡터 미적분학 항등식 또는 크로네커 델타 및 레비치비타 기호의 항등식을 확인하는 등 첨자를 조작할 때 유용할 수 있다(아래 참조). 올바른 변경의 예는 다음과 같다.

: A^\alpha B_\beta{}^\gamma C_{\gamma\delta} + D^\alpha{}_\delta E_\beta = T^\alpha{}_\beta{}_\delta 

잘못된 변경은 다음과 같다.

: A^\alpha B_\beta{}^\gamma C_{\gamma\delta} + D^\alpha{}_\beta{} E_\delta \nrightarrow A^\lambda B_\beta{}^\gamma C_{\mu\delta} + D^\alpha{}_\beta{} E_\delta \,.

첫 번째 대체에서 는 를 대체하고 는 *모든 곳에서* 를 대체하므로 표현은 여전히 동일한 의미를 갖는다. 두 번째에서, 는 를 완전히 대체하지 않았고, 는 를 완전히 대체하지 못했다(덧붙여서 첨자 의 축약은 텐서 곱이 되었다). 이는 다음에 표시된 이유로 완전히 일치하지 않는다.

### 첨자는 매 항마다 동일함
텐서 표현식의 자유 첨자는 모든 항에서 항상 동일한(위 또는 아래) 위치에 나타나며, 텐서 방정식에서 자유 첨자는 양쪽에서 동일하다. 합 첨자(해당 첨자에 대한 합을 의미)는 동일할 필요가 없다. 예를 들면 다음과 같다.

: A^\alpha B_\beta{}^\gamma C_{\gamma\delta} + D^\alpha{}_\delta E_\beta = T^\alpha{}_\beta{}_\delta 

잘못된 표현은 다음과 같다.

: A^\alpha B_\beta{}^\gamma C_{\gamma\delta} + D_\alpha{}_\beta{}^\gamma E^\delta. 

즉, 반복되지 않는 첨자는 방정식의 모든 항에서 동일한 유형이어야 한다. 위 항등식에서  전체적으로 일직선이고  축약으로 인해 한 항에 2번(위 첨자로 1회, 아래 첨자로 1회) 발생하므로 유효한 표현이다. 유효하지 않은 표현에서 는 정렬되지만  와 는 정렬되지 않으며 는 한 항(축약)에 두 번 나타나고 다른 항에 한 번 *나타나* 일관성이 없다.

### 암시된 경우 대괄호와 구두점을 한 번 사용함
여러 첨자(미분, 대칭 등, 다음에 표시됨)에 규칙을 적용할 때 규칙을 나타내는 대괄호 또는 구두점 기호는 해당 규칙이 적용되는 첨자의 한 묶음에만 표시된다.

괄호가 *공변 첨자를* 묶는 경우 - 규칙은 *괄호 안에 있는 모든 공변 첨자* 에만 적용되며, 괄호 사이 중간에 배치되는 반공변 첨자에는 적용되지 않는다.

마찬가지로 대괄호가 *반공변 첨자를* 묶는 경우 규칙은 중간에 배치된 공변 첨자가 아닌 *모든 묶인 반공변 첨자*에만 적용된다.

## 대칭 및 반대칭 부분들

### 텐서의 대칭 부분
여러 첨자 주변의 대괄호 [ ]는 텐서의 대칭이 *반대*인 부분을 나타낸다.  반대칭 첨자의 경우 – 해당 첨자의 순열에 대한 합 에 순열의 부호  곱한 다음 순열 수로 나눈다.

: 
 A_{(\alpha_1\alpha_2\cdots\alpha_p)\alpha_{p + 1}\cdots\alpha_q} =
 \dfrac{1}{p!} \sum_{\sigma} A_{\alpha_{\sigma(1)}\cdots\alpha_{\sigma(p)}\alpha_{p + 1}\cdots\alpha_{q}} \,.


예를 들어 두 개의 대칭 첨자는 순열 및 합에 대한 두 개의 첨자가 있음을 의미한다.

: A_{(\alpha\beta)\gamma\cdots} = \dfrac{1}{2!} \left(A_{\alpha\beta\gamma\cdots} + A_{\beta\alpha\gamma\cdots} \right)

3개의 대칭 첨자의 경우 합하고 배열할 3개의 첨자가 있다.

: A_{[\alpha\beta]\gamma\cdots} = \dfrac{1}{2!} \left(A_{\alpha\beta\gamma\cdots} - A_{\beta\alpha\gamma\cdots} \right)

대칭화는 덧셈에 대해 분배적이다.

: 
 0 = F_{[\alpha\beta, \gamma]} = \dfrac{1}{3!} \left(
  F_{\alpha\beta,\gamma}
  + F_{\gamma\alpha,\beta}
  + F_{\beta\gamma,\alpha}
  - F_{\beta\alpha,\gamma}
  - F_{\alpha\gamma,\beta}
  - F_{\gamma\beta,\alpha}
 \right) \,


첨자는 다음과 같은 경우 대칭화의 일부가 아니다.

* 예를 들어 같은 수준이 아니다.
*: A_{(\alpha}B^{\beta}{}_{\gamma)} = \dfrac{1}{2!} \left(A_{\alpha}B^{\beta}{}_{\gamma} + A_{\gamma}B^{\beta}{}_{\alpha} \right)
* 괄호 안과 수직 막대 사이(예: |⋅⋅⋅|),
*: A_{(\alpha}B_{}_{\gamma)} = \dfrac{1}{2!} \left(A_{\alpha}B_{\beta \gamma} + A_{\gamma}B_{\beta \alpha} \right)

여기서  와  첨자는 대칭이지만  는 대칭이 아니다.

### 텐서의 [[반대칭 텐서|반대칭]] 또는 교대 부분
여러 첨자 주변 괄호 ( )는 텐서의 대칭 부분을 나타낸다.  사용하여  첨자를 대칭화할 때 숫자 1에서 까지의 순열 범위에 대해  에 대한 해당 첨자 의 순열에 대한 합을 구한다. , 순열 수로 나눈다.

: \begin{align}
   & A_{[\alpha_1\cdots\alpha_p]\alpha_{p+1}\cdots\alpha_q} \\[3pt]
 ={} & \dfrac{1}{p!} \sum_{\sigma}\sgn(\sigma) A_{\alpha_{\sigma(1)}\cdots\alpha_{\sigma(p)}\alpha_{p+1}\cdots\alpha_{q}} \\
 ={} & \delta_{\alpha_1 \cdots \alpha_p}^{\beta_1 \dots \beta_p} A_{\beta_1 \cdots \beta_p\alpha_{p+1}\cdots\alpha_q} \\
\end{align} 

여기서 는 아래 정의된 스케일링을 사용하여  차의 일반화된 크로네커 델타이다.

예를 들어, 두 개의 반대칭 첨자는 다음을 의미한다.

: 
 A_{[\alpha} \left(B_{\beta]\gamma\cdots} + C_{\beta]\gamma\cdots} \right) =
 A_{[\alpha}B_{\beta]\gamma\cdots} + A_{[\alpha}C_{\beta]\gamma\cdots}


세 가지 반대칭 첨자는 다음을 의미한다.

: 
 0 = F_{[\alpha\beta, \gamma]} = \dfrac{1}{3!} \left(
  F_{\alpha\beta,\gamma}
  + F_{\gamma\alpha,\beta}
  + F_{\beta\gamma,\alpha}
  - F_{\beta\alpha,\gamma}
  - F_{\alpha\gamma,\beta}
  - F_{\gamma\beta,\alpha}
 \right) \,


예를 들어, 가 전자기 텐서를 나타낸다면 방정식

: f_{;\beta} = f_{,\beta}
: A^{\alpha}{}_{;\beta} = A^{\alpha}{}_{,\beta} + \Gamma^{\alpha} {}_{\gamma\beta}A^\gamma
: A_{\alpha ;\beta} = A_{\alpha,\beta} - \Gamma^{\gamma} {}_{\alpha\beta}A_\gamma \,,

는 자기에 대한 가우스의 법칙과 패러데이의 유도 법칙을 나타낸다.

이전과 마찬가지로 반대칭화는 덧셈에 대해 분배적이다.

: A_{\alpha\beta\gamma\cdots} = A_{(\alpha\beta)\gamma\cdots}+A_{[\alpha\beta]\gamma\cdots}

대칭화와 마찬가지로 첨자는 다음과 같은 경우 반대칭화되지 않는다.

* 예를 들어 같은 수준이 아니다.
*: 
 A_{[\alpha}B^{\beta}{}_{\gamma]} =
 \dfrac{1}{2!} \left(A_{\alpha}B^{\beta}{}_{\gamma} - A_{\gamma}B^{\beta}{}_{\alpha} \right)

* 대괄호 안과 수직 막대 사이(예: |⋅⋅⋅|)
*: 
 A_{[\alpha}B_{}_{\gamma]} =
 \dfrac{1}{2!} \left(A_{\alpha}B_{\beta \gamma} - A_{\gamma}B_{\beta \alpha} \right)


여기서 첨자  및 는 비대칭이고 는 그렇지 않는다.

### 대칭 부분과 반대칭 부분의 합
모든 텐서는 두 첨자의 대칭 부분과 반대칭 부분의 합으로 작성될 수 있다.

: A_{\alpha\beta\gamma\cdots} = A_{(\alpha\beta)\gamma\cdots}+A_{[\alpha\beta]\gamma\cdots}

 및 에 대해 위의 표현식을 추가하면 알 수 있다. 이는 두 개의 첨자 이외의 경우에는 적용되지 않는다.

## 미분
간결성을 위해 도함수는 쉼표나 쌍반점 뒤에 첨자를 추가하여 표시할 수 있다.

### [[편미분|편도함수]]
대부분의 리치 미적분학 표현식은 임의의 기저에 유효하지만, 좌표에 대한 텐서 성분의 부분 도함수와 관련된 표현식은 좌표 기반 표현에만 적용된다. 기저는 좌표에 대한 미분을 통해 정의된다. 좌표는 일반적으로 x^\mu로 표시되지만 일반적으로 벡터의 성분을 형성하지는 않는다. 다양체 및 좌표계 선택에 대한 동일한 제약 조건을 사용하여 좌표에 대한 편도함수는 효과적으로 공변적인 결과를 생성한다. 이 특수한 경우에 사용하는 것 외에도 텐서 성분의 편미분은 일반적으로 공변적으로 변환되지 않지만 공변적 표현식과 같이 편미분이 명시적으로 사용되는 경우 여전히 좌표 기반 표현을 사용하더라도 공변적 표현식을 작성하는 데 유용하다. 외미분과 리 미분은 아래에 있다.

좌표 변수 x^\gamma에 대한 텐서장 성분의 편미분을 나타내기 위해 좌표 변수의 추가된 아래 첨자 앞에 *[[쉼표 (문장 부호)|쉼표]]가* 배치된다.

: A_{\alpha\beta\cdots,\gamma} = \dfrac{\partial}{\partial x^\gamma} A_{\alpha\beta\cdots}

이 작업은 반복될 수 있다(쉼표를 추가하지 않고).

: 
 A_{\alpha_1\alpha_2\cdots\alpha_p\,,\,\alpha_{p+1}\cdots\alpha_q} =
 \dfrac{\partial}{\partial x^{\alpha_q}}\cdots\dfrac{\partial}{\partial x^{\alpha_{p+2}}}\dfrac{\partial}{\partial x^{\alpha_{p+1}}} A_{\alpha_1\alpha_2\cdots\alpha_p}.


이러한 성분은 미분되는 표현식이 스칼라가 아닌 한 공변적으로 변환되지 *않는다*. 이 도함수은 곱 규칙과 좌표들의 도함수로 특징지어 진다.

: x^{\alpha}{}_{, \gamma} = \delta^{\alpha}_\gamma ,

여기서  는 크로네커 델타이다.

### 공변 도함수
공변 도함수는 오직 접속이 주어진 경우에만 정의된다. 임의의 텐서장에 대해, 아래 첨자(공변 첨자) 앞에 있는 *[[쌍반점]]* ()은 공변 미분을 나타낸다. 쌍반점 대신에 *[[빗금]]* ()이나 막대 ()를 쓰는 저자도 있다.

스칼라 함수, 반공변 벡터 및 공변 벡터의 공변 도함수는 다음과 같다.

: (A^{\alpha}{}_{\beta\cdots}B^{\gamma}{}_{\delta\cdots})_{;\epsilon} = A^{\alpha}{}_{\beta\cdots;\epsilon}B^{\gamma}{}_{\delta\cdots} + A^{\alpha}{}_{\beta\cdots}B^{\gamma}{}_{\delta\cdots;\epsilon} \,.

여기서 는 접속 계수이다.

임의의 텐서의 경우:

:  \begin{align}
  T^{\alpha_1 \cdots \alpha_r}{}_{\beta_1 \cdots \beta_s ; \gamma}
   & \\
 = T^{\alpha_1 \cdots \alpha_r}{}_{\beta_1 \cdots \beta_s, \gamma}
   &+ \, \Gamma^{\alpha_1}{}_{\delta \gamma} T^{\delta \alpha_2 \cdots \alpha_r}{}_{\beta_1 \cdots \beta_s} + \cdots + \Gamma^{\alpha_r}{}_{\delta \gamma} T^{\alpha_1 \cdots \alpha_{r-1} \delta}{}_{\beta_1 \cdots \beta_s} \\
   &- \, \Gamma^\delta{}_{\beta_1 \gamma} T^{\alpha_1 \cdots \alpha_r}{}_{\delta \beta_2 \cdots \beta_s} - \cdots - \Gamma^\delta{}_{\beta_s \gamma} T^{\alpha_1 \cdots \alpha_r}{}_{\beta_1 \cdots \beta_{s-1} \delta}\,.
\end{align}

모든 텐서의 공변 도함수에 대한 대체 표기법은 첨자 nabla 기호 이다. 벡터장  의 경우:

: \nabla_\beta A^\alpha = A^\alpha{}_{;\beta} \,.

벡터 를 따라 임의의 텐서장의 방향 도함수에 대한 공변 공식화는 공변 도함수와의 축약으로 표현될 수 있다. 예:

: v^\gamma A_{\alpha ;\gamma} \,.

텐서장의 이 도함수의 성분은 공변적으로 변환되므로 아래 표현식(편도함수 및 접속 계수)이 별도로 공변적으로 변환되지 않음에도 불구하고 다른 텐서장를 형성한다.

이 도함수의 특징은 다음과 같다.

: (A^{\alpha}{}_{\beta\cdots}B^{\gamma}{}_{\delta\cdots})_{;\epsilon} = A^{\alpha}{}_{\beta\cdots;\epsilon}B^{\gamma}{}_{\delta\cdots} + A^{\alpha}{}_{\beta\cdots}B^{\gamma}{}_{\delta\cdots;\epsilon} \,.

#### 접속의 종류들
미분 다양체의 접다발에 대한 코쥘 접속을 아핀 접속이라고 한다.

계량 텐서의 공변 미분이 사라지는 접속은 계량 접속이다.

: g_{\mu \nu ; \xi} = 0 \,.

계량 접속이기도 한 아핀 접속을 리만 접속이라고 한다. 비틀림이 없는(즉, 비틀림 텐서가 사라지는:  ) 리만 접속은 레비치비타 접속이다.

좌표 기반 표현에서 레비치비타 접속에 대한 기호  를 제2종 크리스토펠 기호 라고 한다.

### 외미분
성분  ( 미분 형식이라고도 함)가 있는 완전 반대칭 유형  텐서장의 외미분은 기저 변환에서 공변인 미분이다. 이는 계량 텐서나 접속이 필요 없으며 미분 다양체의 구조만 필요하다. 좌표 기반 표현에서는 텐서 성분의 편도함수에 대한 반대칭으로 표현될 수 있다. 

: (\mathrm{d}A)_{\gamma\alpha_1\cdots\alpha_s} = \frac{\partial}{\partial x^{[\gamma}} A_{\alpha_1\cdots\alpha_s]} = A_{[\alpha_1\cdots\alpha_s,\gamma]} .

이 도함수는 반공변 첨자가 있거나 완전 반대칭이 아닌 텐서장에서는 정의되지 않는다. 등급화된 곱 규칙이 특징이다.

### [[리 미분]]
리 도함수는 기저 변환에서 공변인 또 다른 도함수이다. 외미분와 마찬가지로 계량 텐서나 접속에 의존하지 않는다. 반공변 벡터장 X^\rho(의 흐름)에 따른 -텐서장 의 리 미분은 좌표 기반 표현을 사용하여  다음과 같이 표현될 수 있다 .

:  \begin{align}
 (\mathcal{L}_X T)^{\alpha_1 \cdots \alpha_r}{}_{\beta_1 \cdots \beta_s}
  & \\
 = X^\gamma T^{\alpha_1 \cdots \alpha_r}{}_{\beta_1 \cdots \beta_s, \gamma}
  & - \, X^{\alpha_1}{}_{, \gamma} T^{\gamma \alpha_2 \cdots \alpha_r}{}_{\beta_1 \cdots \beta_s} - \cdots - X^{\alpha_r}{}_{, \gamma} T^{\alpha_1 \cdots \alpha_{r-1} \gamma}{}_{\beta_1 \cdots \beta_s} \\
  & + \, X^{\gamma}{}_{, \beta_1} T^{\alpha_1 \cdots \alpha_r}{}_{\gamma \beta_2 \cdots \beta_s} + \cdots + X^{\gamma}{}_{, \beta_s} T^{\alpha_1 \cdots \alpha_r}{}_{\beta_1 \cdots \beta_{s-1} \gamma} \,.
\end{align}

이 미분은 곱 규칙과 반공변 벡터장의 리 미분 자체가 0이라는 사실이 특징이다.

: (\mathcal{L}_X X)^{\alpha} = X^\gamma X^\alpha{}_{,\gamma} - X^\alpha{}_{,\gamma} X^\gamma = 0 \,.

## 주목할만한 텐서

### [[크로체네커 델타]]
크로네커 델타는 곱하고 축약할 때 단위 행렬과 같다.

: \begin{align}
 \delta^{\alpha}_{\beta} \, A^{\beta} &= A^{\alpha} \\
     \delta^{\mu}_{\nu} \, B_{\mu} &= B_{\nu} .
\end{align}

성분 는 모든 기저에서 동일하며 형 불변 텐서, 즉 기저 다양체의 항등 사상에 대한 접다발의 항등원을 형성하므로 그 대각합은 불변이다. 이 대각합은 다양체의 차원이다.

이 크로네커 델타는 일반화된 크로네커 델타 계열 중 하나이다. 일반화된   차 크로네커 델타는 다음과 같이 크로네커 델타로 정의될 수 있다(일반적인 정의에는 오른쪽에 의 추가 승수가 포함된다).

: \delta^{\alpha_1 \cdots \alpha_p}_{\beta_1 \cdots \beta_p} = \delta^{[\alpha_1}_{\beta_1} \cdots \delta^{\alpha_p]}_{\beta_p} ,

첨자 에 대해 반대칭화로 작용한다.

: \delta^{\alpha_1 \cdots \alpha_p}_{\beta_1 \cdots \beta_p} \, A^{\beta_1 \cdots \beta_p} = A^{[\alpha_1 \cdots \alpha_p]} .

### [[비틀림 텐서]]
아핀 접속에는 비틀림 텐서 가 있다.

:  T^\alpha{}_{\beta\gamma} = \Gamma^\alpha{}_{\beta\gamma} - \Gamma^\alpha{}_{\gamma\beta} - \gamma^\alpha{}_{\beta\gamma} ,

여기서 는 국소 기저의 리 괄호 성분로 주어지며, 이는 좌표 기반 표현일 때 사라진다.

레비치비타 접속의 경우 이 텐서는 0으로 정의되며 좌표 기반 표현의 경우 다음 방정식을 제공한다.

:  \Gamma^\alpha{}_{\beta\gamma} = \Gamma^\alpha{}_{\gamma\beta}.

### [[리만 곡률 텐서]]
이 텐서가 다음과 같이 정의되면

: R^\rho{}_{\sigma\mu\nu} = \Gamma^\rho{}_{\nu\sigma,\mu}
  - \Gamma^\rho{}_{\mu\sigma,\nu}
  + \Gamma^\rho{}_{\mu\lambda}\Gamma^\lambda{}_{\nu\sigma}
  - \Gamma^\rho{}_{\nu\lambda}\Gamma^\lambda{}_{\mu\sigma} \,,


그러면 그것은 그 자체로 공변 도함수의 교환자이다:

: A_{\nu ; \rho \sigma} - A_{\nu ; \sigma \rho} = A_{\beta} R^{\beta}{}_{\nu \rho \sigma} \,,

접속은 비틀림이 없기 때문에 비틀림 텐서가 사라진다는 의미이다.

이는 다음과 같이 임의의 텐서의 두 공변 도함수에 대한 교환자를 얻기 위해 일반화될 수 있다.

: \begin{align}
   T^{\alpha_1 \cdots \alpha_r}{}_{\beta_1 \cdots \beta_s ; \gamma \delta}&
  - T^{\alpha_1 \cdots \alpha_r}{}_{\beta_1 \cdots \beta_s ; \delta \gamma} \\
 &\!\!\!\!\!\!\!\!\!\!= - R^{\alpha_1}{}_{\rho \gamma \delta} T^{\rho \alpha_2 \cdots \alpha_r}{}_{\beta_1 \cdots \beta_s}
  - \cdots
  - R^{\alpha_r}{}_{\rho \gamma \delta} T^{\alpha_1 \cdots \alpha_{r-1} \rho}{}_{\beta_1 \cdots \beta_s} \\
 &+ R^\sigma{}_{\beta_1 \gamma \delta} T^{\alpha_1 \cdots \alpha_r}{}_{\sigma \beta_2 \cdots \beta_s}
  + \cdots
  + R^\sigma{}_{\beta_s \gamma \delta} T^{\alpha_1 \cdots \alpha_r}{}_{\beta_1 \cdots \beta_{s-1} \sigma} \,
\end{align}

이는 종종 *리치 항등식*으로 불린다.

### 계량 텐서
계량 텐서 는 접공간에 내적을 나타낸다. 첨자를 낮추는 데 사용되며 곡선의 길이를 제공한다.

계량 텐서의 역행렬 은 첨자를 높이는 데 사용되는 또 다른 중요한 텐서이다.

:  g^{\alpha \beta} g_{\beta \gamma} = \delta^{\alpha}_{\gamma} \,.

## 같이 보기

* 추상 첨자 기호
* 접속
* 외대수
* 미분 형식
* 호지 별 연산자
* 계량 텐서
* 펜로즈 그림 기호
* 레게 미적분학
* 리치 분해
* 텐서 (내재적 정의)
* 텐서 미적분학
* 텐서장

## 각주


## 메모

## 참고 문헌
* 
* 
* 
* 
* 
* 
* 
* 
* 

분류:미적분학
분류:미분 기하학