"3차원 유한회전군의 분류"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
19번째 줄: 19번째 줄:
 
** <math>\{\pm 1,\pm i,\pm j,\pm k,\tfrac{1}{2}(\pm 1 \pm i \pm j \pm k)\}</math>
 
** <math>\{\pm 1,\pm i,\pm j,\pm k,\tfrac{1}{2}(\pm 1 \pm i \pm j \pm k)\}</math>
 
** group of order 24
 
** group of order 24
−
*  
+
 
 +
 
 +
 
 +
 
 +
 
 +
 
 +
 
 +
<h5 style="line-height: 3.428em; margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; color: rgb(34, 61, 103); font-family: 'malgun gothic', dotum, gulim, sans-serif; font-size: 1.166em; background-image: ; background-color: initial; background-position: 0px 100%;">간단한 소개</h5>
 +
 
 +
 
 +
 
 +
* 3차원 유한회전군은 다섯 가지로 분류된다.<br>
 +
** [[순환군]] <math>C_n</math><br>
 +
**  이면군 <math>D_n</math><br>
 +
**  정사면체의 대칭군 <math>T</math><br>
 +
**  정팔면체(정육면체)의 대칭군 <math>O</math><br>
 +
**  정이십면체(정십이면체)의 대칭군 <math>I</math><br>
 +
 
 +
 
 +
 
 +
 
 +
 
 +
<h5 style="line-height: 2em; margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; color: rgb(34, 61, 103); font-family: 'malgun gothic', dotum, gulim, sans-serif; font-size: 1.166em; background-image: ; background-color: initial; background-position: 0px 100%;">분류 정리의 증명</h5>
 +
 
 +
 
 +
 
 +
<math>\Gamma</math> 를 크기가 n인 3차원 회전군이라 하고, 정다면체의 꼭지점들은 단위구 위에 놓여있다고 가정하자.
 +
 
 +
각각의 원소에 대하여, 회전축상에 놓인 구면위의 두 점을 극점이라고 부르자.
 +
 
 +
각 극점 p에 대하여, p를 고정하는 부동부분군은 크기가 <math>v_p\geq 2</math>인 순환군이 된다.
 +
 
 +
<math>\Gamma</math>에 의한 p의 궤도의 집합을 <math>C_p</math>라 하면, <math>|C_p|=\frac{n}{v_p}</math>가 된다.
 +
 
 +
이제 집합 <math>S=\{(g,p)|g\neq 1\in \Gamma, gp=p\}</math> 의 원소의 개수를 두 가지 방법으로 센다.
 +
 
 +
1) 항등원이 아닌 각각의 원소는 두 개의 극점을 가지므로, <math>|S|=2(n-1)</math>
 +
 
 +
2) 각각의 극점 p에 대하여, p를 고정하는 항등원이 아닌 원소의 개수는 <math>v_p-1</math> 이므로, <math>|S|=\sum_{p}(v_p-1)</math>
 +
 
 +
극점들을 움직이는 <math>\Gamma</math>에 의한 궤도 <math>C</math>의 크기를 <math>n_{C}</math>라 하면, 위에서 얻은 두 식을 다음과 같이 쓸 수 있다.
 +
 
 +
<math>2(n-1)=\sum_{C}n_{C}(v_{C}-1)</math>
 +
 
 +
여기서 <math>v_C</math>는 궤도 <math>C</math>의 원소 <math>p</math>에 대하여 <math>v_p</math>를 뜻하고, 이는 궤도 안의 모든 점에 대하여 같은 값을 가지므로 잘 정의되어 있다.
 +
 
 +
위 식의 양변을 <math>n</math>으로 나누면, 다음을 얻는다.
 +
 
 +
<math>2-\frac{2}{n}=\sum_{C}(1-\frac{1}{v_{C}})</math>
 +
 
 +
<math>n\geq 2</math> 이고, <math>1\leq 2-\frac{2}{n}< 2</math>,  <math>\frac{1}{2}\leq (1-\frac{1}{v_{C}}) < 1</math> 이므로,  총 궤도의 개수는 2 또는 3이 된다. 
 +
 
 +
궤도가 2개인 경우
 +
 
 +
<math>\frac{2}{n}=\frac{1}{v_{1}}+\frac{1}{v_{2}} \iff 2=\frac{n}{v_{1}}+\frac{n}{v_{2}}=n_1+n_2</math>
 +
 
 +
따라서 <math>n_1=n_2=1</math> 을 얻고, 이 경우 <math>\Gamma</math>는 크기가 n인 순환군이다.
 +
 
 +
 
 +
 
 +
궤도가 3개인 경우
 +
 
 +
<math>\frac{2}{n}=\frac{1}{v_{1}}+\frac{1}{v_{2}}+\frac{1}{v_{3}}</math>
 +
 
 +
<math>(v_1,v_2,v_3)=(2,2,\frac{2}{n}), (2,3,3), (2,3,4), (2,3,5)</math> 를 얻는다.
 +
 
 +
각각의 경우
 +
 
 +
 
 +
 
 +
 
  
 
 
 
 
92번째 줄: 162번째 줄:
 
*  http://en.wikipedia.org/wiki/<br>
 
*  http://en.wikipedia.org/wiki/<br>
 
** http://en.wikipedia.org/wiki/Binary_polyhedral_group#Binary_polyhedral_groups
 
** http://en.wikipedia.org/wiki/Binary_polyhedral_group#Binary_polyhedral_groups
−
**  
+
** http://en.wikipedia.org/wiki/Binary_cyclic_group
 +
** http://en.wikipedia.org/wiki/Binary_dihedral_group
 
** http://en.wikipedia.org/wiki/Binary_tetrahedral_group
 
** http://en.wikipedia.org/wiki/Binary_tetrahedral_group
 +
** http://en.wikipedia.org/wiki/Binary_octahedral_group
 +
** http://en.wikipedia.org/wiki/Binary_icosahedral_group
 
* http://viswiki.com/en/
 
* http://viswiki.com/en/
 
* http://front.math.ucdavis.edu/search?a=&t=&c=&n=40&s=Listings&q=
 
* http://front.math.ucdavis.edu/search?a=&t=&c=&n=40&s=Listings&q=

2009년 8월 21일 (금) 17:16 판

간단한 소개
  • SO(3) =  2차원 구면의 회전변환으로 이루어진 군
  • SO(3)의 유한부분군의 분류 문제
    • Cyclic group
    • Dihedral group
    • A4
    • S4
    • A5

 

 

SU(2)의 유한부분군
  • binary polyhedral groups
  • binary Tetrahedral groups
    • \(\{\pm 1,\pm i,\pm j,\pm k,\tfrac{1}{2}(\pm 1 \pm i \pm j \pm k)\}\)
    • group of order 24

 

 

 

간단한 소개

 

  • 3차원 유한회전군은 다섯 가지로 분류된다.
    • 순환군 \(C_n\)
    • 이면군 \(D_n\)
    • 정사면체의 대칭군 \(T\)
    • 정팔면체(정육면체)의 대칭군 \(O\)
    • 정이십면체(정십이면체)의 대칭군 \(I\)

 

 

분류 정리의 증명

 

\(\Gamma\) 를 크기가 n인 3차원 회전군이라 하고, 정다면체의 꼭지점들은 단위구 위에 놓여있다고 가정하자.

각각의 원소에 대하여, 회전축상에 놓인 구면위의 두 점을 극점이라고 부르자.

각 극점 p에 대하여, p를 고정하는 부동부분군은 크기가 \(v_p\geq 2\)인 순환군이 된다.

\(\Gamma\)에 의한 p의 궤도의 집합을 \(C_p\)라 하면, \(|C_p|=\frac{n}{v_p}\)가 된다.

이제 집합 \(S=\{(g,p)|g\neq 1\in \Gamma, gp=p\}\) 의 원소의 개수를 두 가지 방법으로 센다.

1) 항등원이 아닌 각각의 원소는 두 개의 극점을 가지므로, \(|S|=2(n-1)\)

2) 각각의 극점 p에 대하여, p를 고정하는 항등원이 아닌 원소의 개수는 \(v_p-1\) 이므로, \(|S|=\sum_{p}(v_p-1)\)

극점들을 움직이는 \(\Gamma\)에 의한 궤도 \(C\)의 크기를 \(n_{C}\)라 하면, 위에서 얻은 두 식을 다음과 같이 쓸 수 있다.

\(2(n-1)=\sum_{C}n_{C}(v_{C}-1)\)

여기서 \(v_C\)는 궤도 \(C\)의 원소 \(p\)에 대하여 \(v_p\)를 뜻하고, 이는 궤도 안의 모든 점에 대하여 같은 값을 가지므로 잘 정의되어 있다.

위 식의 양변을 \(n\)으로 나누면, 다음을 얻는다.

\(2-\frac{2}{n}=\sum_{C}(1-\frac{1}{v_{C}})\)

\(n\geq 2\) 이고, \(1\leq 2-\frac{2}{n}< 2\),  \(\frac{1}{2}\leq (1-\frac{1}{v_{C}}) < 1\) 이므로,  총 궤도의 개수는 2 또는 3이 된다. 

궤도가 2개인 경우

\(\frac{2}{n}=\frac{1}{v_{1}}+\frac{1}{v_{2}} \iff 2=\frac{n}{v_{1}}+\frac{n}{v_{2}}=n_1+n_2\)

따라서 \(n_1=n_2=1\) 을 얻고, 이 경우 \(\Gamma\)는 크기가 n인 순환군이다.

 

궤도가 3개인 경우

\(\frac{2}{n}=\frac{1}{v_{1}}+\frac{1}{v_{2}}+\frac{1}{v_{3}}\)

\((v_1,v_2,v_3)=(2,2,\frac{2}{n}), (2,3,3), (2,3,4), (2,3,5)\) 를 얻는다.

각각의 경우

 

 

 

 

하위주제들

 

 

 

하위페이지

 

 

재미있는 사실

 

 

관련된 단원

 

 

많이 나오는 질문

 

관련된 고교수학 또는 대학수학

 

 

관련된 다른 주제들

 

관련도서 및 추천도서

 

참고할만한 자료

 

관련기사

네이버 뉴스 검색 (키워드 수정)

 

 

블로그

 

이미지 검색

 

동영상
원본 주소 "https://wiki.mathnt.net/index.php?title=3차원_유한회전군의_분류&oldid=1208"