"접속 (connection)"의 두 판 사이의 차이

2011년 4월 14일 (목) 04:45 판

방향미분의 일반화
벡터장 \({\mathbf v}\)와 벡터장 \( {\mathbf Y}\)에 대해서 정의되며, 또다른 벡터장 \(\nabla_{\mathbf v} {\mathbf Y}\) 을 얻는다

벡터장 \({\mathbf X},{\mathbf Y}\)와 함수 f에 대하여 다음 성질을 만족시킨다
\(\begin{align}&\nabla_X(Y_1 + Y_2) = \nabla_XY_1 + \nabla_XY_2\\ &\nabla_{X_1 + X_2}Y = \nabla_{X_1}Y + \nabla_{X_2}Y\\ &\nabla_{X}(fY) = f\nabla_XY + X(f)Y\\ &\nabla_{fX}Y = f\nabla_XY\end{align}\)

frame \(\{X_i\}\)에 대하여, 적당한 1-form \(A_{ij}\)에 대하여, 다음과 같이 표현할수 있다
\(\nabla X_i = \sum_{j=1}^{2} A_{ij}\otimes X_j= A_{i}^{j}\otimes X_j\)
\(A_{ij}= A_{i}^{j}\) 로 두었다
여기서 1-form \(A_{ij}\)는 벡터장 \({\mathbf v}\)에 대하여 다음을 만족시킴
\(\nabla_{\mathbf v} X_i = (\nabla X_i)({\mathbf v})= \sum_{j=1}^{2} A_{ij}({\mathbf v}) X_j\)
이때의 \(A=(A_{ij})\) 를 접속 1형식(1-form)이라고 부른다

리만다양체에 정의되는 접속
frame \(\mathbf{e}=\{e_i\}\)
접속형식 \(A=(A_{ij})\)을 통해서는 다음과 같이 표현할 수 있다
\(\nabla_{e_i} e_j =\sum_{k=1}^{n} A_{jk}(e_i) e_k\)
즉 \( A_{jk}(e_i)={\Gamma^k}_{ij}\)
크리스토펠 기호를 통해 표현할수 있다
\(\nabla_{e_i}e_j = \sum_{k=1}^n\Gamma_{ij}^ke_k\)

@@ 1번째 줄: / 1번째 줄: @@
 <h5 style="margin: 0px; line-height: 3.428em; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">이 항목의 스프링노트 원문주소</h5>
-*
+* [[접속 (connection)]]
@@ 46번째 줄: / 48번째 줄: @@
 *  접속형식 <math>A=(A_{ij})</math>을 통해서는 다음과 같이 표현할 수 있다<br><math>\nabla_{e_i} e_j =\sum_{k=1}^{n} A_{jk}(e_i) e_k</math><br> 즉 <math> A_{jk}(e_i)={\Gamma^k}_{ij}</math><br>
 * [[크리스토펠 기호]]를 통해 표현할수 있다<br><math>\nabla_{e_i}e_j = \sum_{k=1}^n\Gamma_{ij}^ke_k</math><br>
+<h5 style="margin: 0px; line-height: 2em;">Cartan structural equation</h5>
+*  Curvature form of Cartan connections<br>