"리만 곡률 텐서"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
 
(사용자 2명의 중간 판 29개는 보이지 않습니다)
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)]] <math>\nabla</math>을 생각하자
 +
* 세 개의 벡터장 <math>X,Y,Z</math>가 주어지면, 새로운 벡터장 <math>R(X,Y)Z</math>를 다음과 같이 얻는다
 +
:<math>R(X,Y)Z=\nabla_X\nabla_YZ-\nabla_Y\nabla_XZ-\nabla_{[X,Y]}Z</math>
  
 
 
 
 
 
 
<h5>개요</h5>
 
 
* [[접속 (connection)]]<math>\nabla</math>이 정의되어 있다고 하자
 
*  세 개의 벡터장 X,Y,Z 가 주어지면, 새로운 벡터장 R(X,Y)Z 를 얻는다<br><math>R(X,Y)Z=\nabla_X\nabla_YZ-\nabla_Y\nabla_XZ-\nabla_{[X,Y]}Z</math><br>
 
* covariant tensor
 
 
 
 
 
 
 
 
<h5>성분</h5>
 
  
 +
==리만 곡률 텐서==
 +
===성분===
 
* <math>{R^\rho}_{\sigma\mu\nu} = dx^\rho(R(\partial_{\mu},\partial_{\nu})\partial_{\sigma})</math>
 
* <math>{R^\rho}_{\sigma\mu\nu} = dx^\rho(R(\partial_{\mu},\partial_{\nu})\partial_{\sigma})</math>
*  텐서 표현 <br><math>R(\partial_{i},\partial_{j})={R^l}_{kij} dx^{k}\otimes \frac{\partial}{\partial x^{l}}</math><br>
+
* [[크리스토펠 기호]] 를 이용한 성분의 계산
* [[크리스토펠 기호]] 를 이용한 성분의 계산<br><math>{R^\rho}_{\sigma\mu\nu} = \partial_\mu\Gamma^\rho_{\nu\sigma}     - \partial_\nu\Gamma^\rho_{\mu\sigma}     + \Gamma^\rho_{\mu\lambda}\Gamma^\lambda_{\nu\sigma}     - \Gamma^\rho_{\nu\lambda}\Gamma^\lambda_{\mu\sigma}</math><br><math>{R^l}_{kij} = \partial_i\Gamma^l_{jk} - \partial_j\Gamma^l_{ik} + \Gamma^l_{is}\Gamma^s_{jk} - \Gamma^l_{js}\Gamma^s_{ik}</math><br><math>R_{\rho\sigma\mu\nu} = g_{\rho \zeta} {R^\zeta}_{\sigma\mu\nu} .</math><br>
+
:<math>{R^\rho}_{\sigma\mu\nu} = \partial_\mu\Gamma^\rho_{\nu\sigma}-\partial_\nu\Gamma^\rho_{\mu\sigma}+ \Gamma^\rho_{\mu\lambda}\Gamma^\lambda_{\nu\sigma}- \Gamma^\rho_{\nu\lambda}\Gamma^\lambda_{\mu\sigma}</math>
 
+
:<math>{R^l}_{kij} = \partial_i\Gamma^l_{jk} - \partial_j\Gamma^l_{ik} + \Gamma^l_{is}\Gamma^s_{jk} - \Gamma^l_{js}\Gamma^s_{ik}</math>
 
+
:<math>R_{\rho\sigma\mu\nu} = g_{\rho \zeta} {R^\zeta}_{\sigma\mu\nu} .</math>
 
 
 
 
 
 
<h5 style="margin: 0px; line-height: 2em;">곡률 2-form</h5>
 
 
 
<math>R(X,Y)\partial_{j}=\Omega_{j}^{s}(X,Y)\partial_s</math>
 
  
<math>\Omega_i^j =\frac{1}{2} R_{kli}^j \phi^k \wedge \phi^l  </math>
+
 +
===성질===
 +
* 리만 곡률 텐서는 다음의 대칭성을 갖는다
 +
# <math>R_{ijkl}=-R_{jikl}=-R_{ijlk}</math>
 +
# <math>R_{ijkl}=R_{klij}</math>
 +
# <math>R_{ijkl}+R_{iklj}+R_{iljk}=0</math>, 비앙키 항등식
  
<math>\Omega_i^j = d\omega_i^j - \omega_i^k \wedge \omega_k^j  </math>
+
===선형 독립인 항의 개수===
 +
* 리만다양체의 차원이 <math>n</math>이라 하자
 +
* 리만 곡률 텐서의 대칭성으로 인하여 선형 독립인 리만 곡률 텐서의 성분의 개수는 <math>n^2(n^2-1)/12</math>이 된다
 +
* <math>n=2</math>일 때, 모든 성분은 0 또는 <math>\pm R_{1212}</math>
 +
* <math>n=3</math>일 때, 모든 성분은 0 또는 <math>\pm R_{1212},\pm R_{1213},\pm R_{1223},\pm R_{1313},\pm R_{1323},\pm R_{2323}</math>
 +
* <math>n=4</math>일 때, 모든 성분은 0 또는
 +
:<math>
 +
\pm R_{1212},\pm R_{1213},\pm R_{1214},\pm R_{1223},\pm R_{1224},\\
 +
\pm R_{1234},\pm R_{1313},\pm R_{1314},\pm R_{1323},\pm R_{1324},\\
 +
\pm R_{1334},\pm R_{1414},\pm R_{1423},\pm R_{1424},\pm R_{1434},\\
 +
\pm R_{2323},\pm R_{2324},\pm R_{2334},\pm R_{2424},\pm R_{2434},\\
 +
\pm R_{3434}
 +
</math>이며, 여기서 <math>R_{1234}-R_{1324}+R_{1423}=0</math>가 성립
  
 
 
  
 
+
==곡률 2형식==
  
<h5 style="margin: 0px; line-height: 2em;">rhr</h5>
+
* <math>R(X,Y)\partial_{j}=\Omega_{j}^{s}(X,Y)\partial_s</math>
 +
* <math>\,\Omega=d\omega +\frac{1}{2}[\omega,\omega]=d\omega +\omega\wedge \omega</math>
 +
* <math>\Omega^i_{j}=d\omega^i_{j} +\sum_k \omega^i_{k}\wedge\omega^k_{j}</math>
  
 
 
  
 
+
  
 
+
==곡면의 경우==
  
<h5 style="margin: 0px; line-height: 2em;">Ricci tensor &Ricci scalar</h5>
+
*  제1기본형식이 <math>E=e(u,v),F=0,G=g(u,v)</math> 로 주어진 경우, 리만 곡률 텐서는 다음과 같다 (이외의 <math> R_{jkl}^i</math>는 0이다):<math> R_{212}^1 = \frac{e(u,v) \left(e^{(0,1)}(u,v) g^{(0,1)}(u,v)+g^{(1,0)}(u,v)^2\right)+g(u,v) \left(e^{(1,0)}(u,v) g^{(1,0)}(u,v)-2 e(u,v) \left(e^{(0,2)}(u,v)+g^{(2,0)}(u,v)\right)+e^{(0,1)}(u,v)^2\right)}{4 e(u,v)^2 g(u,v)}</math>:<math>R_{112}^2 = -\frac{e(u,v) \left(e^{(0,1)}(u,v) g^{(0,1)}(u,v)+g^{(1,0)}(u,v)^2\right)+g(u,v) \left(e^{(1,0)}(u,v) g^{(1,0)}(u,v)-2 e(u,v) \left(e^{(0,2)}(u,v)+g^{(2,0)}(u,v)\right)+e^{(0,1)}(u,v)^2\right)}{4 e(u,v) g(u,v)^2}</math>:<math>R_{221}^1 = -\frac{e(u,v) \left(e^{(0,1)}(u,v) g^{(0,1)}(u,v)+g^{(1,0)}(u,v)^2\right)+g(u,v) \left(e^{(1,0)}(u,v) g^{(1,0)}(u,v)-2 e(u,v) \left(e^{(0,2)}(u,v)+g^{(2,0)}(u,v)\right)+e^{(0,1)}(u,v)^2\right)}{4 e(u,v)^2 g(u,v)}</math>:<math>R_{121}^2 = \frac{e(u,v) \left(e^{(0,1)}(u,v) g^{(0,1)}(u,v)+g^{(1,0)}(u,v)^2\right)+g(u,v) \left(e^{(1,0)}(u,v) g^{(1,0)}(u,v)-2 e(u,v) \left(e^{(0,2)}(u,v)+g^{(2,0)}(u,v)\right)+e^{(0,1)}(u,v)^2\right)}{4 e(u,v) g(u,v)^2}</math>
  
 
+
  
 
+
  
 
+
==역사==
  
<h5>역사</h5>
+
 
 
 
 
  
 
* http://www.google.com/search?hl=en&tbs=tl:1&q=
 
* http://www.google.com/search?hl=en&tbs=tl:1&q=
* [[수학사연표 (역사)|수학사연표]]
+
* [[수학사 연표]]
  
 
+
  
 
+
  
<h5>메모</h5>
+
==메모==
  
* http://www.zweigmedia.com/diff_geom/Sec10.html
 
* http://www.math.csusb.edu/faculty/dunn/lecture1.pdf
 
 
* [http://www.math.sunysb.edu/%7Ebrweber/401s09/coursefiles/Lecture24.pdf http://www.math.sunysb.edu/~brweber/401s09/coursefiles/Lecture24.pdf]
 
* [http://www.math.sunysb.edu/%7Ebrweber/401s09/coursefiles/Lecture24.pdf http://www.math.sunysb.edu/~brweber/401s09/coursefiles/Lecture24.pdf]
 
* http://users-phys.au.dk/fedorov/nucltheo/GTR/09/note6.pdf
 
* http://users-phys.au.dk/fedorov/nucltheo/GTR/09/note6.pdf
  
 
+
  
 
+
  
 
+
  
<h5>관련된 항목들</h5>
+
==관련된 항목들==
  
 
* [[접속 (connection)]]
 
* [[접속 (connection)]]
  
 
+
  
 
+
  
<h5>매스매티카 파일 및 계산 리소스</h5>
+
==매스매티카 파일 및 계산 리소스==
  
 
* https://docs.google.com/leaf?id=0B8XXo8Tve1cxN2ZmMGViMGQtMmI4Ny00MmI3LWE4ZTYtYmQyNjZiYWVhMTc5&sort=name&layout=list&num=50
 
* https://docs.google.com/leaf?id=0B8XXo8Tve1cxN2ZmMGViMGQtMmI4Ny00MmI3LWE4ZTYtYmQyNjZiYWVhMTc5&sort=name&layout=list&num=50
* http://www.wolframalpha.com/input/?i=
 
* http://functions.wolfram.com/
 
* [http://dlmf.nist.gov/ NIST Digital Library of Mathematical Functions]
 
* [http://people.math.sfu.ca/%7Ecbm/aands/toc.htm Abramowitz and Stegun Handbook of mathematical functions]
 
* [http://www.research.att.com/%7Enjas/sequences/index.html The On-Line Encyclopedia of Integer Sequences]
 
* [http://numbers.computation.free.fr/Constants/constants.html Numbers, constants and computation]
 
* [https://docs.google.com/open?id=0B8XXo8Tve1cxMWI0NzNjYWUtNmIwZi00YzhkLTkzNzQtMDMwYmVmYmIxNmIw 매스매티카 파일 목록]
 
 
 
 
 
 
 
 
 
 
 
<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>
 
 
* 단어사전 http://www.google.com/dictionary?langpair=en|ko&q=
 
* 발음사전 http://www.forvo.com/search/
 
* [http://mathnet.kaist.ac.kr/mathnet/math_list.php?mode=list&ftype=&fstr= 대한수학회 수학 학술 용어집]<br>
 
** http://mathnet.kaist.ac.kr/mathnet/math_list.php?mode=list&ftype=eng_term&fstr=
 
* [http://www.nktech.net/science/term/term_l.jsp?l_mode=cate&s_code_cd=MA 남·북한수학용어비교]
 
* [http://kms.or.kr/home/kor/board/bulletin_list_subject.asp?bulletinid=%7BD6048897-56F9-43D7-8BB6-50B362D1243A%7D&boardname=%BC%F6%C7%D0%BF%EB%BE%EE%C5%E4%B7%D0%B9%E6&globalmenu=7&localmenu=4 대한수학회 수학용어한글화 게시판]
 
 
 
 
 
 
 
  
 
+
  
<h5>사전 형태의 자료</h5>
+
==사전 형태의 자료==
  
 
* http://ko.wikipedia.org/wiki/
 
* http://ko.wikipedia.org/wiki/
 
* http://en.wikipedia.org/wiki/Riemann_curvature_tensor
 
* http://en.wikipedia.org/wiki/Riemann_curvature_tensor
* [http://eom.springer.de/default.htm The Online Encyclopaedia of Mathematics][http://dlmf.nist.gov/ ]
 
 
 
 
 
 
 
 
<h5>관련논문</h5>
 
 
* http://www.jstor.org/action/doBasicSearch?Query=
 
* http://www.ams.org/mathscinet
 
* http://dx.doi.org/
 
 
 
 
 
 
 
  
<h5>관련도서</h5>
 
  
* 도서내검색<br>
+
   
** http://books.google.com/books?q=
 
** http://book.daum.net/search/contentSearch.do?query=
 
  
 
+
==리뷰, 에세이, 강의노트==
 +
* Dunn, [http://www.math.csusb.edu/faculty/dunn/lecture1.pdf An Introduction to the Riemann Curvature Tensor and Differential Geometry]
 +
** 슬라이드
  
 
 
  
<h5>링크</h5>
+
[[분류:미분기하학]]
  
* [http://www.ams.org/news/math-in-the-media/mathdigest-index Summaries of Media Coverage of Math]
+
==메타데이터==
* 구글 블로그 검색<br>
+
===위키데이터===
** http://blogsearch.google.com/blogsearch?q=
+
* ID :  [https://www.wikidata.org/wiki/Q855112 Q855112]
 +
===Spacy 패턴 목록===
 +
* [{'LOWER': 'riemann'}, {'LOWER': 'curvature'}, {'LEMMA': 'tensor'}]
 +
* [{'LOWER': 'riemann'}, {'OP': '*'}, {'LOWER': 'christoffel'}, {'LEMMA': 'tensor'}]

2021년 2월 17일 (수) 05:41 기준 최신판

개요

  • 리만 다양체 위에 정의된 리만 접속 (connection) \(\nabla\)을 생각하자
  • 세 개의 벡터장 \(X,Y,Z\)가 주어지면, 새로운 벡터장 \(R(X,Y)Z\)를 다음과 같이 얻는다

\[R(X,Y)Z=\nabla_X\nabla_YZ-\nabla_Y\nabla_XZ-\nabla_{[X,Y]}Z\]


리만 곡률 텐서

성분

  • \({R^\rho}_{\sigma\mu\nu} = dx^\rho(R(\partial_{\mu},\partial_{\nu})\partial_{\sigma})\)
  • 크리스토펠 기호 를 이용한 성분의 계산

\[{R^\rho}_{\sigma\mu\nu} = \partial_\mu\Gamma^\rho_{\nu\sigma}-\partial_\nu\Gamma^\rho_{\mu\sigma}+ \Gamma^\rho_{\mu\lambda}\Gamma^\lambda_{\nu\sigma}- \Gamma^\rho_{\nu\lambda}\Gamma^\lambda_{\mu\sigma}\] \[{R^l}_{kij} = \partial_i\Gamma^l_{jk} - \partial_j\Gamma^l_{ik} + \Gamma^l_{is}\Gamma^s_{jk} - \Gamma^l_{js}\Gamma^s_{ik}\] \[R_{\rho\sigma\mu\nu} = g_{\rho \zeta} {R^\zeta}_{\sigma\mu\nu} .\]


성질

  • 리만 곡률 텐서는 다음의 대칭성을 갖는다
  1. \(R_{ijkl}=-R_{jikl}=-R_{ijlk}\)
  2. \(R_{ijkl}=R_{klij}\)
  3. \(R_{ijkl}+R_{iklj}+R_{iljk}=0\), 비앙키 항등식

선형 독립인 항의 개수

  • 리만다양체의 차원이 \(n\)이라 하자
  • 리만 곡률 텐서의 대칭성으로 인하여 선형 독립인 리만 곡률 텐서의 성분의 개수는 \(n^2(n^2-1)/12\)이 된다
  • \(n=2\)일 때, 모든 성분은 0 또는 \(\pm R_{1212}\)
  • \(n=3\)일 때, 모든 성분은 0 또는 \(\pm R_{1212},\pm R_{1213},\pm R_{1223},\pm R_{1313},\pm R_{1323},\pm R_{2323}\)
  • \(n=4\)일 때, 모든 성분은 0 또는

\[ \pm R_{1212},\pm R_{1213},\pm R_{1214},\pm R_{1223},\pm R_{1224},\\ \pm R_{1234},\pm R_{1313},\pm R_{1314},\pm R_{1323},\pm R_{1324},\\ \pm R_{1334},\pm R_{1414},\pm R_{1423},\pm R_{1424},\pm R_{1434},\\ \pm R_{2323},\pm R_{2324},\pm R_{2334},\pm R_{2424},\pm R_{2434},\\ \pm R_{3434} \]이며, 여기서 \(R_{1234}-R_{1324}+R_{1423}=0\)가 성립


곡률 2형식

  • \(R(X,Y)\partial_{j}=\Omega_{j}^{s}(X,Y)\partial_s\)
  • \(\,\Omega=d\omega +\frac{1}{2}[\omega,\omega]=d\omega +\omega\wedge \omega\)
  • \(\Omega^i_{j}=d\omega^i_{j} +\sum_k \omega^i_{k}\wedge\omega^k_{j}\)



곡면의 경우

  • 제1기본형식이 \(E=e(u,v),F=0,G=g(u,v)\) 로 주어진 경우, 리만 곡률 텐서는 다음과 같다 (이외의 \( R_{jkl}^i\)는 0이다)\[ R_{212}^1 = \frac{e(u,v) \left(e^{(0,1)}(u,v) g^{(0,1)}(u,v)+g^{(1,0)}(u,v)^2\right)+g(u,v) \left(e^{(1,0)}(u,v) g^{(1,0)}(u,v)-2 e(u,v) \left(e^{(0,2)}(u,v)+g^{(2,0)}(u,v)\right)+e^{(0,1)}(u,v)^2\right)}{4 e(u,v)^2 g(u,v)}\]\[R_{112}^2 = -\frac{e(u,v) \left(e^{(0,1)}(u,v) g^{(0,1)}(u,v)+g^{(1,0)}(u,v)^2\right)+g(u,v) \left(e^{(1,0)}(u,v) g^{(1,0)}(u,v)-2 e(u,v) \left(e^{(0,2)}(u,v)+g^{(2,0)}(u,v)\right)+e^{(0,1)}(u,v)^2\right)}{4 e(u,v) g(u,v)^2}\]\[R_{221}^1 = -\frac{e(u,v) \left(e^{(0,1)}(u,v) g^{(0,1)}(u,v)+g^{(1,0)}(u,v)^2\right)+g(u,v) \left(e^{(1,0)}(u,v) g^{(1,0)}(u,v)-2 e(u,v) \left(e^{(0,2)}(u,v)+g^{(2,0)}(u,v)\right)+e^{(0,1)}(u,v)^2\right)}{4 e(u,v)^2 g(u,v)}\]\[R_{121}^2 = \frac{e(u,v) \left(e^{(0,1)}(u,v) g^{(0,1)}(u,v)+g^{(1,0)}(u,v)^2\right)+g(u,v) \left(e^{(1,0)}(u,v) g^{(1,0)}(u,v)-2 e(u,v) \left(e^{(0,2)}(u,v)+g^{(2,0)}(u,v)\right)+e^{(0,1)}(u,v)^2\right)}{4 e(u,v) g(u,v)^2}\]



역사



메모




관련된 항목들



매스매티카 파일 및 계산 리소스


사전 형태의 자료



리뷰, 에세이, 강의노트

메타데이터

위키데이터

Spacy 패턴 목록

  • [{'LOWER': 'riemann'}, {'LOWER': 'curvature'}, {'LEMMA': 'tensor'}]
  • [{'LOWER': 'riemann'}, {'OP': '*'}, {'LOWER': 'christoffel'}, {'LEMMA': 'tensor'}]