"3차원 공간의 회전과 SO(3)"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
 
(사용자 2명의 중간 판 28개는 보이지 않습니다)
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>
+
==개요==
 +
* <math>SO(3)</math> 3차원의 회전변환들이 이루는 군으로 리 군(Lie group)의 예
 +
* 정다면체의 분류 문제는 유한회전군 분류 문제에 해당
 +
* 무한소 회전과 리대수 구조
 +
* 유한차원 표현론
  
* [[3차원 공간의 회전과 SO(3)]]
 
  
 
 
  
 
+
==3차원 유한회전군==
 +
* 3차원의 유한회전군을 분류하는 문제는 정다면체의 분류 문제와 밀접한 관계
 +
* [[3차원 유한회전군의 분류]] 항목 참조
 +
  
<h5>개요</h5>
+
==로드리게스 공식==
  
 
+
*  3차원에서 단위벡터 <math>(\omega _x,\omega _y,\omega _z)</math> 를 축으로 하여 <math>\theta</math> 만큼 회전시키는 변환의 행렬표현
 +
:<math>\left( \begin{array}{ccc}  \cos (\theta )-(\cos (\theta )-1) \omega _x^2 & (1-\cos (\theta )) \omega _x \omega _y-\sin (\theta ) \omega _z & \sin (\theta ) \omega _y-(\cos (\theta )-1) \omega _x \omega _z \\  (1-\cos (\theta )) \omega _x \omega _y+\sin (\theta ) \omega _z & \cos (\theta )-(\cos (\theta )-1) \omega _y^2 & -\sin (\theta ) \omega _x-(\cos (\theta )-1) \omega _y \omega _z \\  -\sin (\theta ) \omega _y-(\cos (\theta )-1) \omega _x \omega _z & \sin (\theta ) \omega _x-(\cos (\theta )-1) \omega _y \omega _z & \cos (\theta )-(\cos (\theta )-1) \omega _z^2 \end{array} \right)</math>
 +
*  유도 [http://www.cs.berkeley.edu/%7Eug/slide/pipeline/assignments/as5/rotation.html http:/][http://www.cs.berkeley.edu/%7Eug/slide/pipeline/assignments/as5/rotation.html /www.cs.berkeley.edu/~ug/slide/pipeline/assignments/as5/rotation.html]
 +
*  x,y,z 축을 중심으로 한 회전변환
 +
**  x 축:<math>\left( \begin{array}{ccc}  1 & 0 & 0 \\  0 & \cos (\theta ) & -\sin (\theta ) \\  0 & \sin (\theta ) & \cos (\theta ) \end{array} \right)=\left(
 +
\begin{array}{ccc}
 +
1 & 0 & 0 \\
 +
0 & 1 & 0 \\
 +
0 & 0 & 1
 +
\end{array}
 +
\right)+\left(
 +
\begin{array}{ccc}
 +
0 & 0 & 0 \\
 +
0 & 0 & -1 \\
 +
0 & 1 & 0
 +
\end{array}
 +
\right)\theta+O(\theta^2)</math>
 +
**  y 축:<math>\left( \begin{array}{ccc}  \cos (\theta ) & 0 & \sin (\theta ) \\  0 & 1 & 0 \\  -\sin (\theta ) & 0 & \cos (\theta ) \end{array} \right)
 +
=\left(
 +
\begin{array}{ccc}
 +
1 & 0 & 0 \\
 +
0 & 1 & 0 \\
 +
0 & 0 & 1
 +
\end{array}
 +
\right)+\left(
 +
\begin{array}{ccc}
 +
0 & 0 & 1 \\
 +
0 & 0 & 0 \\
 +
-1 & 0 & 0
 +
\end{array}
 +
\right)\theta+O(\theta^2)
 +
</math>
 +
**  z 축:<math>\left( \begin{array}{ccc}  \cos (\theta ) & -\sin (\theta ) & 0 \\  \sin (\theta ) & \cos (\theta ) & 0 \\  0 & 0 & 1 \end{array} \right)
 +
=\left(
 +
\begin{array}{ccc}
 +
1 & 0 & 0 \\
 +
0 & 1 & 0 \\
 +
0 & 0 & 1
 +
\end{array}
 +
\right)+\left(
 +
\begin{array}{ccc}
 +
0 & -1 & 0 \\
 +
1 & 0 & 0 \\
 +
0 & 0 & 0
 +
\end{array}
 +
\right)\theta+O(\theta^2)
 +
</math>
  
 
+
 +
==무한소 회전==
  
 
+
*  리대수의 생성원
 +
:<math>
 +
L_{1}=\left( \begin{array}{ccc}  0 & 0 & 0 \\  0 & 0 & -1 \\  0 & 1 & 0 \end{array} \right)</math>
 +
:<math>
 +
L_{2}=\left( \begin{array}{ccc}  0 & 0 & 1 \\  0 & 0 & 0 \\  -1 & 0 & 0 \end{array} \right)</math>
 +
:<math>
 +
L_{3}=\left( \begin{array}{ccc}  0 & -1 & 0 \\  1 & 0 & 0 \\  0 & 0 & 0 \end{array} \right)</math>
 +
* 교환자 관계식
 +
:<math>[L_{i},L_{j}]=\epsilon_{ijk}L_{k}</math> 
 +
풀어 쓰면,
 +
:<math>
 +
[L_1 , L_2 ] = L_3 \\
 +
[L_2 , L_3 ] = L_1 \\
 +
[L_3 , L_1 ] = L_2
 +
</math>
 +
* [[벡터의 외적(cross product)]]
  
<h5>로드리게스 공식</h5>
+
 +
==함수공간에서의 표현==
 +
* <math>L^2(\mathbb{R}^3)</math>에서 다음 정준교환자관계식(canonical commutation relation)이 성립한다
 +
:<math>
 +
[\hat{x}_k , \hat{p}_l ] =  \delta_{kl} \label{xp}
 +
</math>
 +
여기서 <math>\hat{x}_k</math>는 <math>x_k</math>를 곱하는 연산자, <math>\hat p_k</math>는 미분연산자 <math>\partial_k:=\partial_{x_k}</math>
 +
* 연산자 <math>L_j  =-\epsilon_{jkl} \hat{x}_k \hat{p}_l</math>를 생각하자. 즉,
 +
:<math>
 +
L_1  =\hat{x}_3 \partial_2-\hat{x}_2 \partial_3  \\
 +
L_2  =\hat{x}_1 \partial_3-\hat{x}_3 \partial_1  \\
 +
L_3  =\hat{x}_2 \partial_1-\hat{x}_1 \partial_2 
 +
</math>
 +
* 이들은 다음의 교환자 관계식을 만족한다
 +
:<math>[L_i , L_j ] = \epsilon_{ijk} L_k</math>
 +
* 리대수의 <math>L^2(\mathbb{R}^3)</math>에서의 표현을 얻는다
 +
* 이러한 표현은 [[각운동량의 양자 이론]] 에서 중요한 역할을 한다
  
*  3차원에서 단위벡터 <math>(\omega _x,\omega _y,\omega _z)</math> 를 축으로 하여 <math>\theta</math> 만큼 회전시키는 변환의 행렬표현<br><math>\left( \begin{array}{ccc}  \cos (\theta )-(\cos (\theta )-1) \omega _x^2 & (1-\cos (\theta )) \omega _x \omega _y-\sin (\theta ) \omega _z & \sin (\theta ) \omega _y-(\cos (\theta )-1) \omega _x \omega _z \\  (1-\cos (\theta )) \omega _x \omega _y+\sin (\theta ) \omega _z & \cos (\theta )-(\cos (\theta )-1) \omega _y^2 & -\sin (\theta ) \omega _x-(\cos (\theta )-1) \omega _y \omega _z \\  -\sin (\theta ) \omega _y-(\cos (\theta )-1) \omega _x \omega _z & \sin (\theta ) \omega _x-(\cos (\theta )-1) \omega _y \omega _z & \cos (\theta )-(\cos (\theta )-1) \omega _z^2 \end{array} \right)</math><br>
 
*  유도 [http://www.cs.berkeley.edu/%7Eug/slide/pipeline/assignments/as5/rotation.html http:/][http://www.cs.berkeley.edu/%7Eug/slide/pipeline/assignments/as5/rotation.html /www.cs.berkeley.edu/~ug/slide/pipeline/assignments/as5/rotation.html]<br>
 
*  x,y,<br>
 
  
 
 
  
 
+
==구면과 SO(3)==
 
 
<h5>구면과 SO(3)</h5>
 
  
 
* <math>S^2=SO(3)/SO(2)</math> homogeneous space
 
* <math>S^2=SO(3)/SO(2)</math> homogeneous space
31번째 줄: 108번째 줄:
 
* http://books.google.com/books?id=bNytaQ8eon4C&pg=PA76&dq=sphere+so%283%29+homogeneous+space&hl=ko&ei=e7XZTr78K-KXiAKrwoGUCg&sa=X&oi=book_result&ct=result&resnum=3&ved=0CDgQ6AEwAg#v=onepage&q=sphere%20so%283%29%20homogeneous%20space&f=false
 
* http://books.google.com/books?id=bNytaQ8eon4C&pg=PA76&dq=sphere+so%283%29+homogeneous+space&hl=ko&ei=e7XZTr78K-KXiAKrwoGUCg&sa=X&oi=book_result&ct=result&resnum=3&ved=0CDgQ6AEwAg#v=onepage&q=sphere%20so%283%29%20homogeneous%20space&f=false
  
 
+
 
+
==사영표현(projective representation)==
 
 
 
 
<h5>사영표현(projective representation)</h5>
 
 
 
*  단위구면의 회전으로부터 [[평사 투영(stereographic projection)|stereographic projection]] 을 통해 다음과 같은 [[뫼비우스 변환군과 기하학|뫼비우스 변환]] 을 얻을 수 있다<br><math>f(z)=\frac{\alpha z+\beta}{-\overline{\beta}z+\overline{\alpha}}</math><br> 여기서 <math>\alpha,\beta\in\mathbf{C}, |\alpha|^2 + |\beta|^2 = 1</math><br>
 
*  더 구체적으로 단위벡터 <math>(a,b,c)</math> 를 축으로 하여 <math>\theta</math> 만큼 회전시키는 변환은 다음 뫼비우스 변환에 대응된다<br><math>f(z)=\frac{z \left(\cos \left(\frac{\theta }{2}\right)+i c \sin \left(\frac{\theta }{2}\right)\right)+i a \sin \left(\frac{\theta }{2}\right)-b \sin \left(\frac{\theta }{2}\right)}{z \left(b \sin \left(\frac{\theta }{2}\right)+i a \sin \left(\frac{\theta }{2}\right)\right)-i c \sin \left(\frac{\theta }{2}\right)+\cos \left(\frac{\theta }{2}\right)}</math><br>
 
* 벡터공간이 아닌 1차원 복소사영평면에 정의되므로, 사영표현(projective representation) 이다
 
* 벡터공간에 정의되는 표현을 얻으려면, [[Spin(3)|Spin(3)와 파울리 행렬]] 의 도입이 필요하다
 
 
 
 
 
 
 
 
 
 
 
<h5>무한소 회전</h5>
 
 
 
*  리대수의 생성원<br><math>L_{x}=\left( \begin{array}{ccc}  0 & 0 & 0 \\  0 & 0 & -1 \\  0 & 1 & 0 \end{array} \right)</math><br><math>L_{y}=\left( \begin{array}{ccc}  0 & 0 & 1 \\  0 & 0 & 0 \\  -1 & 0 & 0 \end{array} \right)</math><br><math>L_{z}=\left( \begin{array}{ccc}  0 & -1 & 0 \\  1 & 0 & 0 \\  0 & 0 & 0 \end{array} \right)</math><br>
 
 
 
 
 
 
 
 
 
 
 
 
 
  
 
+
*  단위구면의 회전으로부터 [[입체사영 (stereographic projection)]] 을 통해 다음과 같은 [[뫼비우스 변환군과 기하학|뫼비우스 변환]] 을 얻을 수 있다
 +
:<math>f(z)=\frac{\alpha z+\beta}{-\overline{\beta}z+\overline{\alpha}}</math> 여기서 <math>\alpha,\beta\in\mathbf{C}, |\alpha|^2 + |\beta|^2 = 1</math>
 +
*  더 구체적으로 단위벡터 <math>(\omega _x,\omega _y,\omega _z)</math> 를 축으로 하여 <math>\theta</math> 만큼 회전시키는 3차원의 회전변환은 다음 뫼비우스 변환에 대응된다
 +
:<math>f(z)=\frac{z \left(\cos \left(\frac{\theta }{2}\right)+i \omega_z \sin \left(\frac{\theta }{2}\right)\right)+i \omega_x \sin \left(\frac{\theta }{2}\right)-\omega_y \sin \left(\frac{\theta }{2}\right)}{z \left(\omega_y \sin \left(\frac{\theta }{2}\right)+i \omega_x \sin \left(\frac{\theta }{2}\right)\right)-i \omega_z \sin \left(\frac{\theta }{2}\right)+\cos \left(\frac{\theta }{2}\right)}</math>
 +
* 벡터공간이 아닌 1차원 복소사영공간에 정의되므로, 사영표현(projective representation) 이다
 +
* 이는 [[Spin(3)|SU(2)]]의 2차원 표현에서 오는 것으로, 2:1인 함수 <math>SU(2)\to SO(3)</math>를 통해 이해할 수 있다
 +
:<math>
 +
\left(
 +
\begin{array}{cc}
 +
\cos \left(\frac{\theta }{2}\right)+i \sin \left(\frac{\theta }{2}\right) \omega _z & -\sin \left(\frac{\theta }{2}\right) \omega _y+i \sin \left(\frac{\theta }{2}\right) \omega _x \\
 +
\sin \left(\frac{\theta }{2}\right) \omega _y+i \sin \left(\frac{\theta }{2}\right) \omega _x & \cos \left(\frac{\theta }{2}\right)-i \sin \left(\frac{\theta }{2}\right) \omega _z
 +
\end{array}
 +
\right) \\
 +
\mapsto
 +
\left( \begin{array}{ccc}  \cos (\theta )-(\cos (\theta )-1) \omega _x^2 & (1-\cos (\theta )) \omega _x \omega _y-\sin (\theta ) \omega _z & \sin (\theta ) \omega _y-(\cos (\theta )-1) \omega _x \omega _z \\  (1-\cos (\theta )) \omega _x \omega _y+\sin (\theta ) \omega _z & \cos (\theta )-(\cos (\theta )-1) \omega _y^2 & -\sin (\theta ) \omega _x-(\cos (\theta )-1) \omega _y \omega _z \\  -\sin (\theta ) \omega _y-(\cos (\theta )-1) \omega _x \omega _z & \sin (\theta ) \omega _x-(\cos (\theta )-1) \omega _y \omega _z & \cos (\theta )-(\cos (\theta )-1) \omega _z^2 \end{array} \right)
 +
</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>
+
==메모==
  
 
* SO(3) 의 표현론
 
* SO(3) 의 표현론
 
* SO(3,1) 로렌츠 군의 표현론
 
* SO(3,1) 로렌츠 군의 표현론
* 파울리 행렬, 디랙 행렬
+
* 파울리 행렬, 디랙 행렬
 
* Math Overflow http://mathoverflow.net/search?q=
 
* Math Overflow http://mathoverflow.net/search?q=
  
 
+
  
 
+
  
<h5>관련된 항목들</h5>
+
==관련된 항목들==
  
 
* [[벡터의 외적(cross product)|벡터의 외적]]
 
* [[벡터의 외적(cross product)|벡터의 외적]]
86번째 줄: 156번째 줄:
 
* [[구면조화함수(spherical harmonics)]]
 
* [[구면조화함수(spherical harmonics)]]
  
 
+
  
 
+
  
<h5>매스매티카 파일 및 계산 리소스</h5>
+
==매스매티카 파일 및 계산 리소스==
  
 
* https://docs.google.com/leaf?id=0B8XXo8Tve1cxMGIxYzExNmUtODM5Yy00NTMyLTgwYzctNWI2NjJlNzZhMWM5&sort=name&layout=list&num=50
 
* https://docs.google.com/leaf?id=0B8XXo8Tve1cxMGIxYzExNmUtODM5Yy00NTMyLTgwYzctNWI2NjJlNzZhMWM5&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>
 
  
*  단어사전<br>
 
** http://translate.google.com/#en|ko|
 
** http://ko.wiktionary.org/wiki/
 
* 발음사전 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.kss.or.kr/pds/sec/dic.aspx 한국통계학회 통계학 용어 온라인 대조표]
 
* [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 대한수학회 수학용어한글화 게시판]
 
  
 
+
==수학용어번역==
 +
* {{학술용어집|url=회전}}
  
 
 
  
 
+
  
<h5>사전 형태의 자료</h5>
+
==사전 형태의 자료==
  
 
* http://ko.wikipedia.org/wiki/
 
* http://ko.wikipedia.org/wiki/
 
* [http://ko.wikipedia.org/wiki/%EC%98%A4%EC%9D%BC%EB%9F%AC_%EA%B0%81%EB%8F%84 http://ko.wikipedia.org/wiki/오일러_각도]
 
* [http://ko.wikipedia.org/wiki/%EC%98%A4%EC%9D%BC%EB%9F%AC_%EA%B0%81%EB%8F%84 http://ko.wikipedia.org/wiki/오일러_각도]
* [http://eom.springer.de/default.htm The Online Encyclopaedia of Mathematics]
+
* [http://dlmf.nist.gov/ NIST Digital Library of Mathematical Functions]
 
* [http://eqworld.ipmnet.ru/ The World of Mathematical Equations]
 
  
 
+
  
 
+
==리뷰, 에세이, 강의노트==
 +
* http://www.math.msu.edu/~shapiro/Pubvit/Downloads/RS_Rotation/rotation.pdf
 +
  
<h5>리뷰논문, 에세이, 강의노트</h5>
+
  
 
+
==관련도서==
  
 
+
* Harmonic analysis on commutative spaces
 +
* Groups and Symmetries http://www.springer.com/mathematics/algebra/book/978-0-387-78865-4
  
 
 
  
<h5>관련논문</h5>
+
==관련논문==
 +
* “[1508.03101] A Novel Sampling Theorem on the Rotation Group.” http://arxiv.org/abs/1508.03101.
  
* http://www.jstor.org/action/doBasicSearch?Query=
+
[[분류:리군과 리대수]]
* http://www.ams.org/mathscinet
+
[[분류:수리물리학]]
* http://dx.doi.org/
+
[[분류:구면기하학]]
 
 
 
 
 
 
 
 
 
 
<h5>관련도서</h5>
 
 
 
* Harmonic analysis on commutative spaces
 
* Groups and Symmetries http://www.springer.com/mathematics/algebra/book/978-0-387-78865-4
 
*  도서내검색<br>
 
** http://books.google.com/books?q=
 
** http://book.daum.net/search/contentSearch.do?query=
 

2020년 11월 16일 (월) 04:54 기준 최신판

개요

  • \(SO(3)\) 3차원의 회전변환들이 이루는 군으로 리 군(Lie group)의 예
  • 정다면체의 분류 문제는 유한회전군 분류 문제에 해당
  • 무한소 회전과 리대수 구조
  • 유한차원 표현론


3차원 유한회전군


로드리게스 공식

  • 3차원에서 단위벡터 \((\omega _x,\omega _y,\omega _z)\) 를 축으로 하여 \(\theta\) 만큼 회전시키는 변환의 행렬표현

\[\left( \begin{array}{ccc} \cos (\theta )-(\cos (\theta )-1) \omega _x^2 & (1-\cos (\theta )) \omega _x \omega _y-\sin (\theta ) \omega _z & \sin (\theta ) \omega _y-(\cos (\theta )-1) \omega _x \omega _z \\ (1-\cos (\theta )) \omega _x \omega _y+\sin (\theta ) \omega _z & \cos (\theta )-(\cos (\theta )-1) \omega _y^2 & -\sin (\theta ) \omega _x-(\cos (\theta )-1) \omega _y \omega _z \\ -\sin (\theta ) \omega _y-(\cos (\theta )-1) \omega _x \omega _z & \sin (\theta ) \omega _x-(\cos (\theta )-1) \omega _y \omega _z & \cos (\theta )-(\cos (\theta )-1) \omega _z^2 \end{array} \right)\]

  • 유도 http://www.cs.berkeley.edu/~ug/slide/pipeline/assignments/as5/rotation.html
  • x,y,z 축을 중심으로 한 회전변환
    • x 축\[\left( \begin{array}{ccc} 1 & 0 & 0 \\ 0 & \cos (\theta ) & -\sin (\theta ) \\ 0 & \sin (\theta ) & \cos (\theta ) \end{array} \right)=\left( \begin{array}{ccc} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{array} \right)+\left( \begin{array}{ccc} 0 & 0 & 0 \\ 0 & 0 & -1 \\ 0 & 1 & 0 \end{array} \right)\theta+O(\theta^2)\]
    • y 축\[\left( \begin{array}{ccc} \cos (\theta ) & 0 & \sin (\theta ) \\ 0 & 1 & 0 \\ -\sin (\theta ) & 0 & \cos (\theta ) \end{array} \right) =\left( \begin{array}{ccc} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{array} \right)+\left( \begin{array}{ccc} 0 & 0 & 1 \\ 0 & 0 & 0 \\ -1 & 0 & 0 \end{array} \right)\theta+O(\theta^2) \]
    • z 축\[\left( \begin{array}{ccc} \cos (\theta ) & -\sin (\theta ) & 0 \\ \sin (\theta ) & \cos (\theta ) & 0 \\ 0 & 0 & 1 \end{array} \right) =\left( \begin{array}{ccc} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{array} \right)+\left( \begin{array}{ccc} 0 & -1 & 0 \\ 1 & 0 & 0 \\ 0 & 0 & 0 \end{array} \right)\theta+O(\theta^2) \]


무한소 회전

  • 리대수의 생성원

\[ L_{1}=\left( \begin{array}{ccc} 0 & 0 & 0 \\ 0 & 0 & -1 \\ 0 & 1 & 0 \end{array} \right)\] \[ L_{2}=\left( \begin{array}{ccc} 0 & 0 & 1 \\ 0 & 0 & 0 \\ -1 & 0 & 0 \end{array} \right)\] \[ L_{3}=\left( \begin{array}{ccc} 0 & -1 & 0 \\ 1 & 0 & 0 \\ 0 & 0 & 0 \end{array} \right)\]

  • 교환자 관계식

\[[L_{i},L_{j}]=\epsilon_{ijk}L_{k}\] 풀어 쓰면, \[ [L_1 , L_2 ] = L_3 \\ [L_2 , L_3 ] = L_1 \\ [L_3 , L_1 ] = L_2 \]


함수공간에서의 표현

  • \(L^2(\mathbb{R}^3)\)에서 다음 정준교환자관계식(canonical commutation relation)이 성립한다

\[ [\hat{x}_k , \hat{p}_l ] = \delta_{kl} \label{xp} \] 여기서 \(\hat{x}_k\)는 \(x_k\)를 곱하는 연산자, \(\hat p_k\)는 미분연산자 \(\partial_k:=\partial_{x_k}\)

  • 연산자 \(L_j =-\epsilon_{jkl} \hat{x}_k \hat{p}_l\)를 생각하자. 즉,

\[ L_1 =\hat{x}_3 \partial_2-\hat{x}_2 \partial_3 \\ L_2 =\hat{x}_1 \partial_3-\hat{x}_3 \partial_1 \\ L_3 =\hat{x}_2 \partial_1-\hat{x}_1 \partial_2 \]

  • 이들은 다음의 교환자 관계식을 만족한다

\[[L_i , L_j ] = \epsilon_{ijk} L_k\]

  • 리대수의 \(L^2(\mathbb{R}^3)\)에서의 표현을 얻는다
  • 이러한 표현은 각운동량의 양자 이론 에서 중요한 역할을 한다


구면과 SO(3)


사영표현(projective representation)

\[f(z)=\frac{\alpha z+\beta}{-\overline{\beta}z+\overline{\alpha}}\] 여기서 \(\alpha,\beta\in\mathbf{C}, |\alpha|^2 + |\beta|^2 = 1\)

  • 더 구체적으로 단위벡터 \((\omega _x,\omega _y,\omega _z)\) 를 축으로 하여 \(\theta\) 만큼 회전시키는 3차원의 회전변환은 다음 뫼비우스 변환에 대응된다

\[f(z)=\frac{z \left(\cos \left(\frac{\theta }{2}\right)+i \omega_z \sin \left(\frac{\theta }{2}\right)\right)+i \omega_x \sin \left(\frac{\theta }{2}\right)-\omega_y \sin \left(\frac{\theta }{2}\right)}{z \left(\omega_y \sin \left(\frac{\theta }{2}\right)+i \omega_x \sin \left(\frac{\theta }{2}\right)\right)-i \omega_z \sin \left(\frac{\theta }{2}\right)+\cos \left(\frac{\theta }{2}\right)}\]

  • 벡터공간이 아닌 1차원 복소사영공간에 정의되므로, 사영표현(projective representation) 이다
  • 이는 SU(2)의 2차원 표현에서 오는 것으로, 2:1인 함수 \(SU(2)\to SO(3)\)를 통해 이해할 수 있다

\[ \left( \begin{array}{cc} \cos \left(\frac{\theta }{2}\right)+i \sin \left(\frac{\theta }{2}\right) \omega _z & -\sin \left(\frac{\theta }{2}\right) \omega _y+i \sin \left(\frac{\theta }{2}\right) \omega _x \\ \sin \left(\frac{\theta }{2}\right) \omega _y+i \sin \left(\frac{\theta }{2}\right) \omega _x & \cos \left(\frac{\theta }{2}\right)-i \sin \left(\frac{\theta }{2}\right) \omega _z \end{array} \right) \\ \mapsto \left( \begin{array}{ccc} \cos (\theta )-(\cos (\theta )-1) \omega _x^2 & (1-\cos (\theta )) \omega _x \omega _y-\sin (\theta ) \omega _z & \sin (\theta ) \omega _y-(\cos (\theta )-1) \omega _x \omega _z \\ (1-\cos (\theta )) \omega _x \omega _y+\sin (\theta ) \omega _z & \cos (\theta )-(\cos (\theta )-1) \omega _y^2 & -\sin (\theta ) \omega _x-(\cos (\theta )-1) \omega _y \omega _z \\ -\sin (\theta ) \omega _y-(\cos (\theta )-1) \omega _x \omega _z & \sin (\theta ) \omega _x-(\cos (\theta )-1) \omega _y \omega _z & \cos (\theta )-(\cos (\theta )-1) \omega _z^2 \end{array} \right) \]

역사



메모



관련된 항목들



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


수학용어번역

  • 회전 - 대한수학회 수학용어집



사전 형태의 자료



리뷰, 에세이, 강의노트



관련도서


관련논문