콘웨이 다면체 표기법

콘웨이 다면체 표기법은 존 호턴 콘웨이가 개발한 다면체의 표기법이다.

기하학에서, 존 호튼 콘웨이가 발명하고 조지 W. 하트가 장려한 콘웨이 다면체 표기법은 다양한 접두사 연산에 의해 수정된 씨앗 다면체에 기초한 다면체를 묘사하기 위해 사용된다.

콘웨이와 하트는 케플러가 정의한 절단 연산자를 사용하여 동일한 대칭의 관련 다면체를 만드는 아이디어를 확장했다. 예를 들어 tC는 잘린 큐브를 나타내고 taC는 다음과 같이 구문 분석한다.

스타일 T(aC)를 표시한다.}, 는 (위상적으로) 깎은 정육면체이다. 가장 간단한 연산자 이중 꼭지점과 면 요소를 바꾼다. 예를 들어, 이중 큐브는 8면체이다. dC=O. 이러한 연산자는 직렬로 적용되어 많은 고차 다면체가 생성될 수 있다. Hart가 r과 p를 더하는 동안 Conway는 연산자 abdegjkmost를 정의했다. 이후 구현에서는 추가 연산자를 명명하며, 이를 "확장" 연산자라고도 한다. 콘웨이의 기본 연산은 플라톤의 다면체에서 아르키메데스 다면체와 카탈루냐 다면체를 생성하기에 충분하다. 예를 들어, 두 번 적용되는 앰보는 확장 연산인 aa = e인 반면, 앰보 후 잘라내면 베벨(ta = b)이 생성된다.

다면체는 그들의 꼭짓점, 모서리, 면이 어떻게 서로 연결되는지를 위상적으로 연구하거나 공간에서의 요소 배치의 관점에서 기하학적으로 연구할 수 있다. 이러한 연산자의 다른 구현은 기하학적으로 다르지만 위상적으로 동일한 다면체를 생성할 수 있다. 이러한 위상적으로 동등한 다면체는 구에 다면체 그래프를 많이 내장하는 것으로 생각할 수 있다. 달리 명시되지 않은 한, 본 문서(및 Conway 연산자에 대한 일반적인 문헌)에서는 토폴로지가 주요 관심사이다. 속이 0인 다면체는 모호함을 피하기 위해 종종 정식 형태로 놓이다.

엄정한 활동

시드(S), 니들(n), zip(z)은 엄밀히 말하면 존 호턴 콘웨이에서 포함하지 않았지만, 원래 존 호턴 콘웨이 작업과 이중성으로 관련되어 있으므로 여기에 포함된다.

지금부터, 큐브 표면에 그려진 큐브 씨에 대한 작업이 시각화된다. 파란색 면은 씨앗의 가장자리를 가로지르고 분홍색 면은 씨앗의 꼭짓점 위에 놓여 있다. 특히 키랄 연산자의 경우 정점을 정확하게 배치할 때 유연성이 있다.

에지벡터	Matrix $\mathbf {M} _{x}$	x	xd	dx	dxd	적용
1	${\begin{bmatrix}1&0&0\\0&1&0\\0&0&1\end{bmatrix}}$	Seed: S	Dual: d		Seed: dd = S	이중은 각 면을 정점으로, 각 정점을 면으로 바꾼다.
2	${\begin{bmatrix}1&0&1\\0&2&0\\0&1&0\end{bmatrix}}$	Join: j		Ambo: a		결합은 사각형 면을 작성한다. 앰보는 4도 정점을 만들고, 그래프 이론에서 정류 또는 중간 그래프라고도 불린다.
3	${\begin{bmatrix}1&0&1\\0&3&0\\0&2&0\end{bmatrix}}$	Kis: k	Needle: n	Zip: z	Truncate: t	키스는 각 면에 피라미드를 올리고, 아키케이션, 클리토프, 누적, 강착 또는 피라미드 증축이라고도 불린다. 정점에서 다면체를 잘라내지만 원래 모서리의 일부는 그대로 둔다. Zip은 비트런케이션이라고도 한다.
4	${\begin{bmatrix}1&1&1\\0&4&0\\0&2&0\end{bmatrix}}$	Ortho: o = jj		Expand: e = aa
5	${\begin{bmatrix}1&2&1\\0&5&0\\0&2&0\end{bmatrix}}$	Gyro: g	gd = rgr	sd = rsr	Snub: s	카이랄 연산자이다. 스너브(기하학)를 참조할 것. 하트와 반대로, gd는 g와 같지 않다: 그것은 그것의 키랄 쌍이다.
6	${\begin{bmatrix}1&1&1\\0&6&0\\0&4&0\end{bmatrix}}$	Meta: m = kj		Bevel: b = ta

작업의 확장

콘웨이의 원래 세트 이후에 생성된 작업이다. 여기에 작업이 없다고 해서 작업이 존재하지 않거나 LSP 또는 LOPSP가 아니라는 것을 의미하지는 않는다. 단순화하기 위해 이 목록에는 환원 불가능한 연산자만 포함되며 다른 연산자는 연산자를 함께 구성하여 생성할 수 있다.

엣지벡터	Matrix $\mathbf {M} _{x}$	x	xd	dx	dxd	적용
4	${\begin{bmatrix}1&2&0\\0&4&0\\0&1&1\end{bmatrix}}$	Chamfer: c	cd = du	dc = ud	Subdivide: u	챔퍼는 l의 결합 형태이다. 챔퍼(기하학)를 참조할 것.
5	${\begin{bmatrix}1&2&0\\0&5&0\\0&2&1\end{bmatrix}}$	Propeller: p	dp = pd		dpd = p	카이랄 연산자이다. 프로펠러 조작기는 조지 하트에 의해 개발되었다.
5	${\begin{bmatrix}1&2&0\\0&5&0\\0&2&1\end{bmatrix}}$	Loft: l	ld	dl	dld
6	${\begin{bmatrix}1&3&0\\0&6&0\\0&2&1\end{bmatrix}}$	Quinto: q	qd	dq	dqd	조인 표기법에 대한 설명은 아래를 참조할 것.
6	${\begin{bmatrix}1&2&0\\0&6&0\\0&3&1\end{bmatrix}}$	Join-lace: L₀	L₀d	dL₀	dL₀d	조인 표기법에 대한 설명은 아래를 참조할 것.
7	${\begin{bmatrix}1&2&0\\0&7&0\\0&4&1\end{bmatrix}}$	Lace: L	Ld	dL	dLd
7	${\begin{bmatrix}1&2&1\\0&7&0\\0&4&0\end{bmatrix}}$	Stake: K	Kd	dK	dKd
7	${\begin{bmatrix}1&4&0\\0&7&0\\0&2&1\end{bmatrix}}$	Whirl: w	wd = dv	vd = dw	Volute: v	카이랄 연산자이다.
8	${\begin{bmatrix}1&2&1\\0&8&0\\0&5&0\end{bmatrix}}$	Join-kis-kis: $(kk)_{0}$	$(kk)_{0}d$	$d(kk)_{0}$	$d(kk)_{0}d$	조인 표기법에 대한 설명은 아래를 참조할 것. 비결합 형태인 kk는 환원 불가능한 것이 아니다.
10	${\begin{bmatrix}1&3&1\\0&10&0\\0&6&0\end{bmatrix}}$	Cross: X	Xd	dX	dXd

인덱싱된 확장 작업

일부 기준에 따라 여러 연산자를 그룹화하거나 인덱스에 의해 동작이 수정될 수 있다. 이들은_n x라는 첨자로 연산자로 기록된다.

확대

증강 작업은 원래 가장자리를 유지한다. 그것들은 면의 어떤 독립적인 부분집합에 적용될 수도 있고, 원래의 가장자리를 제거하여 결합 형태로 변환될 수도 있다. 콘웨이 표기법은 이러한 연산자에 대한 선택적 지수를 지원한다. 즉, 결합 양식의 경우 0 또는 영향을 받는 면이 몇 개인지의 경우 3 이상이다. 예를 들어, kY₄₄=O: 정사각형 기반 피라미드를 취하고 다른 피라미드를 정사각형 베이스에 붙이면 8각형이 된다.

연산자	k	l	L	K	(kk)
x
x₀	k₀ = j	l₀ = c	L₀	K₀ = jk	$(kk)_{0}$
확대	피라미드	프리즘	향전신병

메타/비벨

메타는 가운데와 가장자리를 따라 정점을, 베벨은 가운데, 시드 정점, 가장자리를 따라 정점을 추가한다. 지수는 가장자리를 따라 정점 또는 면의 수를 더한 것이다. 메타(비인덱스 형태)는 캔트런지(cantitruncation) 또는 옴니트런지(hunitruncation)라고도 한다. 여기서 0은 확대 연산과 같은 것을 의미하지 않는다는 점에 유의할 것. 즉, 가장자리를 따라 정점(또는 면)이 0으로 추가된다는 것을 의미한다.

메타/비벨 연산자
n	예지 계수	메트릭스 $\mathbf {M} _{x}$	x	xd	dx	dxd
0	3	${\begin{bmatrix}1&0&1\\0&3&0\\0&2&0\end{bmatrix}}$	k = m₀	n	z = b₀	t
1	6	${\begin{bmatrix}1&1&1\\0&6&0\\0&4&0\end{bmatrix}}$	m = m₁ = kj		b = b₁ = ta
2	9	${\begin{bmatrix}1&2&1\\0&9&0\\0&6&0\end{bmatrix}}$	m₂	m₂d	b₂	b₂d
3	12	${\begin{bmatrix}1&3&1\\0&12&0\\0&8&0\end{bmatrix}}$	m₃	m₃d	b₃	b₃d
n	3n+3	${\begin{bmatrix}1&n&1\\0&3n+3&0\\0&2n+2&0\end{bmatrix}}$	m_n	m_nd	b_n	b_nd

메디알

중심에서 각 시드 정점에 가장자리를 추가하지 않는다는 점을 제외하면 메디알은 메타와 같다. 지수 1 형태는 콘웨이의 정형외과와 확장 연산자와 동일하다. 확장(expansion)은 확장과 확장(cantellation)이라고도 한다. o와 e는 아래에 설명된 자체 인덱싱된 양식을 가지고 있다는 점에 유의할 것. 또한 일부 구현에서는 1이 아닌 0에서 인덱싱을 시작한다는 점에 유의할 것

중간 연산자
n	가장자리요소	메트릭스 $\mathbf {M} _{x}$	x	xd	dx	dxd
1	4	${\begin{bmatrix}1&1&1\\0&4&0\\0&2&0\end{bmatrix}}$	M₁ = o = jj		e = aa
2	7	${\begin{bmatrix}1&2&1\\0&7&0\\0&4&0\end{bmatrix}}$	Medial: M = M₂	Md	dM	dMd
n	3n+1	${\begin{bmatrix}1&n&1\\0&3n+1&0\\0&2n&0\end{bmatrix}}$	M_n	M_nd	dM_n	dM_nd

골드버그콕시터

골드버그-콕세터(GC) 콘웨이 운영자는 골드버그-콕세터 건설의 연장선인 두 무한 연산자 계열이다. GC 구조는 삼각 격자의 삼각형 부분 또는 사각 격자의 사각형 부분을 취하여 다면체의 각 면 위에 놓는 것으로 생각할 수 있다. 이 구조는 삼각형이나 사각형의 챔버("마스터 폴리곤")를 식별하여 어떤 면으로도 확장할 수 있다. 삼각형 계열의 연산자는 Goldberg Polyedra와 Geodesic Polyedra를 생산하는 데 사용될 수 있다: 공식은 Geodesic Polyedra와 Goldberg Polyedra 목록을 참조한다.

두 가문은 삼각형 GC 계열, c와_a,b u_a,b, 그리고 4각형 GC 계열, e와_a,b o이다_a,b. 두 GC 패밀리는 두 개의 정수로 지수화된다. 그리고그들은 많은 훌륭한 자질들을 가지고 있다.

그 가족의 지수는 복잡한 숫자에 걸쳐 특정한 유클리드 영역과 관계를 가진다: 삼각형 GC 계열의 아이젠슈타인 정수와 4각형 GC 계열의 가우스 정수.
같은 가족 내 xxd기둥과 dxd기둥의 운영자들이 서로 통근한다.

운영자는 3가지 등급으로 구분된다(예는 c로 작성되지만 4개 운영자 모두에게 적용).

클래스 I:. 아치랄, 원래 가장자리를 보존한다. 0 지수를 억제한 상태로 작성할 수 있다(예_a_,0: c = c_a).
클래스 II:. 또한 아치랄. c_a,a = cc로_a1,1 분해할 수 있음
클래스 III: 다른 모든 연산자. 이것들은 치랄이고, c와_a,b c는_b,a 서로 치랄 쌍이다.

원래 콘웨이 작전 중 GC 계열에 속하지 않는 것은 g와 s(자이로와 스너브)뿐이다. 메타(meta)와 베벨(m과 b)은 삼각형 계열의 연산자 1명과 사각형 계열의 연산자 1명으로 표현할 수 있다.

a	b	Class	Edge factor T = a² + ab + b²	메트릭스 $\mathbf {M} _{x}$	마스터 삼각형	x	xd	dx	dxd
1	0	I	1	${\begin{bmatrix}1&0&0\\0&1&0\\0&0&1\end{bmatrix}}$		u₁ = S	d		c₁ = S
2	0	I	4	${\begin{bmatrix}1&1&0\\0&4&0\\0&2&1\end{bmatrix}}$		u₂ = u	dc	du	c₂ = c
3	0	I	9	${\begin{bmatrix}1&2&1\\0&9&0\\0&6&0\end{bmatrix}}$		u₃ = nn	nk	zt	c₃ = zz
4	0	I	16	${\begin{bmatrix}1&5&0\\0&16&0\\0&10&1\end{bmatrix}}$		u₄ = uu	uud = dcc	duu = ccd	c₄ = cc
5	0	I	25	${\begin{bmatrix}1&8&0\\0&25&0\\0&16&1\end{bmatrix}}$		u₅	u₅d = dc₅	du₅ = c₅d	c₅
6	0	I	36	${\begin{bmatrix}1&11&1\\0&36&0\\0&24&0\end{bmatrix}}$		u₆ = unn	unk	czt	u₆ = czz
7	0	I	49	${\begin{bmatrix}1&16&0\\0&49&0\\0&32&1\end{bmatrix}}$		u₇ = u_2,1u_1,2 = vrv	vrvd = dwrw	dvrv = wrwd	c₇ = c_2,1c_1,2 = wrw
8	0	I	64	${\begin{bmatrix}1&21&0\\0&64&0\\0&42&1\end{bmatrix}}$		u₈ = u³	u³d = dc³	du³ = c³d	c₈ = c³
9	0	I	81	${\begin{bmatrix}1&26&1\\0&81&0\\0&54&0\end{bmatrix}}$		u₉ = n⁴	n³k = kz³	tn³ = z³t	c₉ = z⁴
1	1	II	3	${\begin{bmatrix}1&0&1\\0&3&0\\0&2&0\end{bmatrix}}$		u_1,1 = n	k	t	c_1,1 = z
2	1	III	7	${\begin{bmatrix}1&2&0\\0&7&0\\0&4&1\end{bmatrix}}$		v = u_2,1	vd = dw	dv = wd	w = c_2,1
3	1	III	13	${\begin{bmatrix}1&4&0\\0&13&0\\0&8&1\end{bmatrix}}$		u_3,1	u_3,1d = dc_3,1	du_3,1 = c_3,1d	c_3,1
3	2	III	19	${\begin{bmatrix}1&6&0\\0&19&0\\0&12&1\end{bmatrix}}$		u_3,2	u_3,2d = dc_3,2	du_3,2 = c_3,2d	c_3,2
4	3	III	37	${\begin{bmatrix}1&12&0\\0&37&0\\0&24&1\end{bmatrix}}$		u_4,3	u_4,3d = dc_4,3	du_4,3 = c_4,3d	c_4,3
5	4	III	61	${\begin{bmatrix}1&20&0\\0&61&0\\0&40&1\end{bmatrix}}$		u_5,4	u_5,4d = dc_5,4	du_5,4 = c_5,4d	c_5,4
6	5	III	91	${\begin{bmatrix}1&30&0\\0&91&0\\0&60&1\end{bmatrix}}$		u_6,5 = u_1,2u_1,3	u_6,5d = dc_6,5	du_6,5 = c_6,5d	c_6,5=c_1,2c_1,3
7	6	III	127	${\begin{bmatrix}1&42&0\\0&127&0\\0&84&1\end{bmatrix}}$		u_7,6	u_7,6d = dc_7,6	du_7,6 = c_7,6d	c_7,6
8	7	III	169	${\begin{bmatrix}1&56&0\\0&169&0\\0&112&1\end{bmatrix}}$		u_8,7 = u_3,1²	u_8,7d = dc_8,7	du_8,7 = c_8,7d	c_8,7 = c_3,1²
9	8	III	217	${\begin{bmatrix}1&72&0\\0&217&0\\0&144&1\end{bmatrix}}$		u_9,8 = u_2,1u_5,1	u_9,8d = dc_9,8	du_9,8 = c_9,8d	c_9,8 = c_2,1c_5,1
$a\equiv b$ $\ (\mathrm {mod} \ 3)$		I, II, or III	$T\equiv 0\$ $(\mathrm {mod} \ 3)$	${\begin{bmatrix}1&{\frac {T}{3}}-1&1\\0&T&0\\0&{\frac {2}{3}}T&0\end{bmatrix}}$	...	u_a,b	u_a,bd = dc_a,b	du_a,b = c_a,bd	c_a,b
$a\not \equiv b$ $\ (\mathrm {mod} \ 3)$		I or III	$T\equiv 1$ $\ (\mathrm {mod} \ 3)$	${\begin{bmatrix}1&{\frac {T-1}{3}}&0\\0&T&0\\0&2{\frac {T-1}{3}}&1\end{bmatrix}}$	...	u_a,b	u_a,bd = dc_a,b	du_a,b = c_a,bd	c_a,b

아르키메데스 다면체와 카탈루냐 다면체

tI=zD
atI
ttI
ztI
etI
btI
stI

Duals
nI=kD
jtI
ntI
ktI
otI
mtI
gtI

같이 보기

슐레플리 기호