비틀림 텐서

testwiki
둘러보기로 이동 검색으로 이동

틀:위키데이터 속성 추적 틀:다른 뜻 미분기하학에서 비틀림 텐서(틀:Llang)는 주다발코쥘 접속레비치비타 접속에서 얼마나 벗어나는지를 측정하는, (1,2)차 텐서장이다.

정의

다음이 주어졌다고 하자.

그렇다면, 비틀림 텐서는 다음과 같은 (1,2)-텐서장 (TM값 이차 형식)

TΓ(TMT*MT*M)

이다.

T(X,Y)=XYYX[X,Y](X,YΓ(TM))

여기서

성분으로 적으면 다음과 같다. 우선, 코쥘 접속의 성분이

(μX)ν=μXν+ΓμρνXρ

라고 하자. 또한, 국소적으로 (홀로노믹) 좌표를 잡자. 그렇다면,

T(X,Y)ν=TνμρXμYρ
Tνμρ=ΓμρνΓρμν=2Γ[μρ]ν

이다.

보다 일반적으로, 임의의 필바인

e1μ,enμΓ(TM)

을 잡자. 그렇다면, 다음을 정의할 수 있다.

[ea,eb]μ=γabcecμ
eaμ(μeb)ν=ωbaceνc

여기서 ω스핀 접속이다.

그렇다면, 이 기저에서 비틀림 텐서는 다음과 같다.

Tcab=ωabcωbacγabc

성질

비틀림 텐서는 (1,2)차 텐서장이며, 그 두 개의 아래 지표는 서로 반대칭이다. 즉, TM의 2차 미분 형식을 이룬다.

Tijk=Tikj

즉, n차원의 다양체에서 그 성분은 총 n×n×(n1)/2개이다. 특히, 1차원 이하의 경우 비틀림 텐서는 항상 0이다. (2차원 이상의 경우 비틀림이 ≠0일 수 있다.)

비안키 항등식

아핀 다양체 (M,)리만 곡률

R(X,Y)Z=[X,Y]Z[X,Y]Z

을 생각하자. 그렇다면, 다음과 같은 두 비안키 항등식(Bianchi恒等式, 틀:Llang)이 성립한다.

CycX,Y,Z[R(X,Y)ZT(T(X,Y),Z)(XT)(Y,Z)]=0
CycX,Y,Z[(XR)(Y,Z)+R(T(X,Y),Z)]=0

여기서

CycX,Y,Z[XYZ]=XYZ+YZX+ZXY

(X,Y,Z)를 순환에 따라 치환한 합을 뜻한다.

준 리만 다양체 (M,g)레비치비타 접속의 비틀림은 0이다.

같이 보기

외부 링크

틀:전거 통제