이곳은 개발을 위한 베타 사이트 입니다.
기여내역은 언제든 초기화될 수 있으며, 예기치 못한 오류가 발생할 수 있습니다.
기여내역은 언제든 초기화될 수 있으며, 예기치 못한 오류가 발생할 수 있습니다.
정다포체
덤프버전 :
분류
1. 개요[편집]
정다포체(正多胞體)는 군의 작용에 대해 추이적인 다포체이다. 유클리드 군 [math(\mathbb{E}\left(n\right))]의 부분군에 의한 작용일 경우, 특히 [math(n = 2)]의 경우 정다각형, [math(n = 3)]의 경우 정다면체이다. 특히, 정다포체가 볼록인 경우 볼록 정다포체라 한다.
2. 유클리드 다포체[편집]
2.1. 볼록 정다포체[편집]
유클리드 공간(일상적인 공간)에서 정의되는, 볼록한 정다포체를 의미한다.
4종 이상의 유클리드 정다포체가 존재하는 차원은 2~4차원 까지이며, 5차원 이후부터는 오직 단체, 초입방체, 정축체 3종만 존재한다.
- 0차원: 점 - 1종 (점만 존재한다.)
- 1차원: 선분 - 1종 (선분만 존재한다.)
- 2차원: 정다각형 - 무수히 많음
- 3차원: 정다면체 - 5종
- 4차원: 4차원 정다포체 6종
- 5차원 이상: 각 차원마다 3종
[math(n)]차원에 존재하는 볼록 정다포체의 가짓수를 [math(N_n)]이라고 하면, [math(N_n)]은 다음과 같은 유명한 수열이 된다. 수열이 1로 시작해 갑자기 [math(n=2)]에서 무한대로 치솟았다가, 바로 다음 뜬금없이 5, 6이 되고, 갑자기 3으로 내려가버리므로, [math(n=6)]부터 다음 항을 예측하라고 하면 많은 사람들이 복잡한 문제인 줄 알고 답하지 못한다. 그러나 [math(n \ge 5)]일 때 모든 값이 3인 단순한 수열이다.
[math(N_n = \begin{cases}1\left(n=0\ \mathrm{or}\ n=1\right) \\ \infty\left(n=2\right) \\ 5\left(n=3\right) \\ 6\left(n=4\right) \\ 3\left(n\ge5\right)\end{cases})]
원소나열법으로 표현하면 [math(N_n = \left\{1,\ 1,\ ∞,\ 5,\ 6,\ 3,\ 3,\ 3,\ \cdots \right\} )]이다.
2.1.1. 대칭[편집]
2차원 유클리드 평면에는 무수히 많은 볼록 정다각형이 존재하며, 모든 차원의 유클리드 초공간에는 항상 단체, 정축체, 초입방체가 존재한다. 군론적 측면에서 보면 이들의 대칭은 다음과 같다.
이들에 속하지 않는 정다포체는 오직 3차원과 4차원에서만 각각 2개, 3개씩 존재하며, 군론적 측면에서 보면 이들의 대칭은 다음과 같은 콕서터 군에 해당한다.
2.2. 오목 정다포체[편집]
유클리드 공간에서 정의되는, 오목한 정다포체를 의미한다. 그 형태 때문에 별 정다포체(star polytope)라고도 불리며, 3차원인 오목 정다면체는 케플러-푸앵소 다면체(Kepler-poinsot polyhedron)라고 불린다.
볼록 정다포체가 오직 자연수로만 표기되는 것에 반해, 오목 정다포체의 슐레플리 부호는 정수가 아닌 유리수가 하나 이상 포함된다.
오직 2~4차원까지에서만 정의된다. 5차원 이상의 오목 정다포체는 존재하지 않는다.[증명]
- 2차원: 정다각별 - 무수히 많음
- 3차원: 케플러-푸앵소 다면체 - 4종
- 케플러 다면체: 작은 별모양 십이면체(small stellated dodecahedron)[math(\left\{ 5/2,\ 5 \right\})], 큰 별모양 십이면체(great stellated dodecahedron)[math(\left\{ 5/2,\ 3 \right\})]
- 푸앵소 다면체: 큰 십이면체(great dodecahedron)[math(\left\{ 5,\ 5/2 \right\})], 큰 이십면체(great icosahedron)[math(\left\{ 3,\ 5/2 \right\})]
- 4차원: 4차원 정다포체 10종
icosahedral 120-cell [math(\left\{ 3,\ 5,\ 5/2 \right\})]
small stellated 120-cell [math(\left\{ 5/2,\ 5,\ 3 \right\})]
great 120-cell [math(\left\{ 5,\ 5/2,\ 5 \right\})]
grand 120-cell [math(\left\{ 5,\ 3,\ 5/2 \right\})]
great stellated 120-cell [math(\left\{ 5/2,\ 3,\ 5 \right\})]
grand stellated 120-cell [math(\left\{ 5/2,\ 5,\ 5/2 \right\})]
great grand 120-cell [math(\left\{ 5,\ 5/2,\ 3 \right\})]
great icosahedral 120-cell [math(\left\{ 3,\ 5/2,\ 5 \right\})]
grand 600-cell [math(\left\{ 3,\ 3,\ 5/2 \right\})]
great grand stellated 120-cell [math(\left\{ 5/2,\ 3,\ 3 \right\})]
small stellated 120-cell [math(\left\{ 5/2,\ 5,\ 3 \right\})]
great 120-cell [math(\left\{ 5,\ 5/2,\ 5 \right\})]
grand 120-cell [math(\left\{ 5,\ 3,\ 5/2 \right\})]
great stellated 120-cell [math(\left\{ 5/2,\ 3,\ 5 \right\})]
grand stellated 120-cell [math(\left\{ 5/2,\ 5,\ 5/2 \right\})]
great grand 120-cell [math(\left\{ 5,\ 5/2,\ 3 \right\})]
great icosahedral 120-cell [math(\left\{ 3,\ 5/2,\ 5 \right\})]
grand 600-cell [math(\left\{ 3,\ 3,\ 5/2 \right\})]
great grand stellated 120-cell [math(\left\{ 5/2,\ 3,\ 3 \right\})]
3. 관련 문서[편집]
[Cox] A B 콕서터 표기법(Coxeter notation)[증명] 이에 대한 증명은 간단하다. 유클리드 공간에서 (볼록이든 오목이든) 정다포체 꼭지점의 좌표는 그 정의상 반드시 해당 차원의 정다포체 대칭성을 가질 수밖에 없다. 따라서 오목 정다포체는 해당 차원의 볼록 정다포체와 꼭지점을 공유하는 것 외에는 존재하지 않는다. 그런데 5차원 이상의 정다포체는 오직 단체, 초입방체, 정축체만 존재하며, 오각 또는 그 이상의 대칭이 존재하지 않는다. 따라서 별 형태를 만들 수 없으므로, 5차원 이상의 유클리드 오목 정다포체는 존재하지 않는다.