Notacija orbifold

Notacija orbifold je v geometriji sistem, ki pomaga prikazovati simetrijske grupe v dvorazsežnem prostoru, ki ima konstantno ukrivljenost. Prednost te vrste notacije je v tem, da opisuje te grupe na način, ki označuje mnoge značilnosti grup.

Notacijo je izumil ameriški matematik William Thurston (rojen 1946), populariziral pa jo je angleški matematik John Horton Conway (rojen 1937).

Definicija notacije

Naslednje vrste evklidskih transformacij so možne v grupi, ki jo opisuje notacija orbifold:

zrcaljenje preko premice (ali ravnine)
translacija s pomočjo vektorja
vrtenje končnega reda okoli točke
neskončno vrtenje okoli premice v trirazsežnem prostoru
zrcaljenje-drsenje (to je zrcaljenje, ki mu sledi translacija

Vse translacije, ki nastopajo, sestavljajo nezvezno podgrupo grup simetrije.

Vsaka grupa je v notaciji orbifold označena s končnim zaporedjem znakov, ki so lahko

pozitivna cela števila $1,2,3,\dots$
znak za neskončnost $\infty$
zvezdica, *
znak $o$
znak $x$

Znaki, zapisani v mastnem tisku predstavljajo simetrijsko grupo v evklidskem trirazsežnem prostoru.

Vsak znak pripada drugi transformaciji:

celo število n na levi strani zvezdice označuje vrtenje reda n okoli točke
celo število n desno od zvezdice je transformacija reda 2n , ki pomeni vrtenje okoli točke in zrcaljenje preko premice (ali ravnine)
x pomeni zrcaljenje z drsenjem
znak $\infty$ pomeni neskončno vrtilno simetrijo preko premice; pojavi se lahko samo za mastno zapisane grupe. Lahko rečemo, da so te grupe podgrupe simetrij v evklidski ravnini s samo eno neodvisno translacijo. Frizijske grupe nastopajo na ta način.
posebni znak o označuje, da sta natanko dve linearno neodvisni translaciji.

Kiralnost in akiralnost

Objekt je kiralen, če njegova grupa simetrije ne vsebuje zrcaljenja. V nasprotnem primeru je akiralen. Pripadajoči orbifold je orientabilen v primeru kiralnosti, sicer pa je neorientabilen.

Eulerjeva karakteristika

Eulerjeva karakteristika orbifolda se lahko prebere iz Conwayjevega simbola. Vsak znak ima svoj pomen :

n brez ali pred njo šteje kot ${\frac {n-1}{n}}$
n za zvezdico šteje kot ${\frac {n-1}{2n}}$
zvezdica in x šteje kot 1
$o$ šteje kot 2

Z odštevanjem vsote teh vrednosti od 2 dobimo Eulerjevo karakteristiko.

Če je vsota tega enaka 2, je red neskončen. To pa pomeni, da notacija predstavlja tapetno ali frizijsko grupo.

Enake grupe

Naslednje grupe so izomorfne:

1* in *11
22 in 221
*22 in *221
2* in 2*1

Drugi objekti

Simetrija dvorazsežnih objektov brez translacijske simetrije se lahko opiše z vrsto trirazsežne simetrije z dodajanjem tretje razsežnosti tako, da ne doda ali odstrani simetrijo.

Prava snežinka ima simetrijo *66.	petkotnik ima simetrijo *55, celotna slika s puščicami pa 55.	Zastava Hong Konga ima 5 kratno simetrijo vrtenja, 55.

Pripadajoče tabele

Sferni

Glavni članek: Seznam grup sferne simetrije.

grupe sferne simetrije: (n=3,4,..)^[1]
oznaka orbifold	Coxeter	Schönflies	Hermann–Mauguin	Order
poliederska grupa
*532	[3,5]	I_h	53m	120
532	[3,5]⁺	I	532	60
*432	[3,4]	O_h	m3m	48
432	[3,4]⁺	O	432	24
*332	[3,3]	T_d	43m	24
3*2	[3⁺,4]	T_h	m3	24
332	[3,3]⁺	T	23	12
diedrska in ciklične grupe: n=3,4,5...
*22n	[2,n]	D_nh	n/mmm ali 2nm2	4n
2*n	[2⁺,2n]	D_nd	2n2m ali nm	4n
22n	[2,n]⁺	D_n	n2	2n
*nn	[n]	C_nv	nm	2n
n*	[2,n⁺]	C_nh	n/m ali 2n	2n
nx	[2⁺,2n⁺]	S_2n	2n ali n	2n
nn	[n]⁺	C_n	n	n
posebni primeri
*222	[2,2]	D_2h	2/mmm ali 22m2	8
2*2	[2⁺,4]	D_2d	222m ali 2m	8
222	[2,2]⁺	D₂	22	4
*22	[2]	C_2v	2m	4
2*	[2,2⁺]	C_2h	2/m ali 22	4
2x	[2⁺,4⁺]	S₄	22 ali 2	4
22	[2]⁺	C₂	2	2
*221	[1,2]	D_1h	1/mmm ali 21m2	4
2*1	[2⁺,2]	D_1d	212m ali 1m	4
221	[1,2]⁺	D₁	12	2
*11	[ ]	C_1v	1m	2
1*	[2,1⁺]	C_1h	1/m ali 21	2
1x	[2⁺,2⁺]	S₂	21 ali 1	2
11	[ ]⁺	C₁	1	1

Evklidska ravnina

Glavni članek: Seznam grup ravninske simetrije.

Frizijske grupe

Frizijske grupe
notacije				opis	zgledi
IUC	orbifold	Coxeter	Schönflies^*	opis	zgledi
p1	∞∞	[∞,1]⁺	C_∞	Samo translacije. Ta grupa se generira posamezno, z generatorjem, ki je najmanjša razdalja v kateri se vzorec še ponavlja. Abstraktna grupa: Z, grupa celih števil pod seštevanjem.
p11g	∞x	[∞⁺,2⁺]	S_∞	Drsenje-zrcaljenje in translacije. Ta grupa se generira z drsnim zrcaljenjem skupaj s translacijami, ki so kombinacije dveh drsnih zrcaljenj. Abstraktna grupa: Z
p11m	∞*	[∞⁺,2]	C_∞h	Translacije v horizontalni smeri in drsno zrcaljenje. Ta grupa se generira s translacijo in zrcaljenjem v horizontalni osi. Abstraktna grupa: Z × Z₂
p1m1	*∞∞	[∞,1]	C_∞v	Translacije in zrcaljenje vzdolž vertikalnih črt. Ta grupa je ista kot netrivialna grupa v enorazsežnem primeru.Generirana je s translacijo in zrcaljenjem v vertikalni osi. Elementi v tej grupi odgovarjajo izometrijam (ali enakovredno bijektivnim afinim transformacijam) množice celih števil in je tako izomorfna množici polneposrednih produktov s celimi števili z Z₂. Abstraktna grupa: Dih_∞, neskončna diedrska grupa.
p2	22∞	[∞,2]⁺	D_∞	Translacije in vrtenja za 180°. Grupa se generira s translacijo in vrtenjem za 180° . Abstraktna grupa: Dih_∞
p2mg	2*∞	[∞,2⁺]	D_∞d	Zrcaljenje preko določenih vertikalnih črt, drsno zrcaljenje, translacije in vrtenja. Translacije v tem primeru nastanejo z drsnim zrcaljenjem. Ta grupa se generira z drsnim zrcaljenjem ali vrtenjem ali vertikalnim zrcaljenjem. Abstraktna grupa: Dih_∞
p2mm	*22∞	[∞,2]	D_∞h	Translacije, drsno zarcaljenje, zrcaljenje v obeh oseh in vrtenja za 180°. Ta grupa je "največja" frizijska grupa in potrebuje tri generatorje z eno skupino generatojev, ki so sestavljeni iz translacije in zrcaljenja v horizontalni osi in zrcaljenja preko vertikalne osi. Abstraktna grupa: Dih_∞ × Z₂
^*Schönfliesova notacija točkovne grupe je tukaj razširjena kot neskončni primer ekvivalenta diedrskih točkovnih simetrij.

Tapetne grupe

17 tapetnih grup^[2]
oznaka orbifold	Coxeter	Hermann–Mauguin	Speiser Niggli	Polya Guggenhein	Fejes Toth Cadwell
*632	[6,3]	p6m	C^(I)_6v	D₆	W¹₆
632	[6,3]⁺	p6	C^(I)₆	C₆	W₆
*442	[4,4]	p4m	C^(I)₄	D^*₄	W¹₄
4*2	[4⁺,4]	p4g	C^II_4v	D^o₄	W²₄
442	[4,4]⁺	p4	C^(I)₄	C₄	W₄
*333	[3^[3]]	p3m1	C^II_3v	D^*₃	W¹₃
3*3	[6,3⁺]	p31m	C^I_3v	D^o₄	W²₃
333	[3^[3]]⁺	p3	C^I₃	C₃	W₃
*2222	[∞,2,∞]	pmm	C^I_2v	D₂kkkk	W²₂
2*22	[∞,2⁺,∞]	cmm	C^IV_2v	D₂kgkg	W¹₂
22*	[(∞,2)⁺,∞]	pmg	C^III_2v	D₂kkgg	W³₂
22x	[∞⁺,2⁺,∞⁺]	pgg	C^II_2v	D₂gggg	W⁴₂
2222	[∞,2,∞]⁺	p2	C^(I)₂	C₂	W₂
**	[∞,2,∞⁺]	pm	C^I_s	D₁kk	W²₁
*x	[∞,2⁺,∞⁺]	cm	C^III_s	D₁kg	W¹₁
xx	[(∞,2)⁺,∞⁺]	pg	C^II₂	D₁gg	W³₁
o	[∞⁺,2,∞⁺]	p1	C^(I)₁	C₁	W₁

Hiperbolična ravnina

Prvih nekaj hiperboličnih grup, urejenih po njihovih orbifold značilnostih je:

Hiperbolične simetrijske grupe^[3]
(-1/znak)	orbifold	Coxeter
(84)	*237	[7,3]
(48)	*238	[8,3]
(42)	237	[7,3]⁺
(40)	*245	[5,4]
(24)	2.3.12, 246, 334, 34, 238	[12,3], [6,4], [(4,3,3)], [3⁺,8], [8,3]⁺
(20)	2.3.15, 255, 5*2, 245	[15,3], [5,5], [5⁺,4], [5,4]⁺
(18+2/3)	*247	[7,4]
(18)	*2.3.18, 239	[18,3], [9,3]⁺
(16)	2.3.24, 248	[24,3], [8,4]
(15)	2.3.30, 256, 335, 35, 2.3.10	[30,3], [6,5], [(5,3,3)], [3⁺,10], [10,3]⁺
(14+2/5)	2.3.36, 249	[36,3], [9,4]
(13+1/3)	2.3.60, 2.4.10	[60,3], [10,4]
(13+1/5)	*2.3.66, 2.3.11	[66,3], [11,3]⁺
(12+8/11)	2.3.105, 257	[105,3], [7,5]
(12+4/7)	2.3.132, 2.4.11 ... 23∞, 2.4.12, 266, 62	[132,3], [11,4], ..., [∞,3], [12,4], [6,6], [6⁺,4]
(12)	336, 36, 344, 43, 2223, 223, 2.3.12, 246, 334	[(6,3,3)], [3⁺,12], [(4,4,3)], [4⁺,6], ... [12,3]⁺, [6,4]⁺ [(4,3,3)]⁺
...

Opombe in sklici

↑ Symmetries of Things, Dodatek A, stran 416
↑ Symmetries of Things, dodatek A, stran 416
↑ Symmetries of Things, poglavje 18, More on Hyperbolic groups, Enumerating hyperbolic groups, stran 239

Zunanje povezave

Vodič po mnogoterostih (angleško)
2DTiler, program za prikazovanje dvorazsežnega tlakovanja v ravnini Arhivirano 2012-07-22 na Wayback Machine. (angleško)

[1] Symmetries of Things, Dodatek A, stran 416

[2] Symmetries of Things, dodatek A, stran 416

[3] Symmetries of Things, poglavje 18, More on Hyperbolic groups, Enumerating hyperbolic groups, stran 239

[1]

[2]

[3]