原像 (几何)

本页使用了标题或全文手工转换
维基百科,自由的百科全书

几何学中,原像是一种变换术语,指一变换结果在变换之前的原始图形。例如,截角立方体立方体进行截角变换后的结果,而立方体就是截角立方体关于截角变换的原像。在多面体操作中,相较于镜像,原像是一个相反的概念,若一多面体无手性镜像,则其镜像将与原像完全相同。在施莱夫利符号中,原像以t0表示,有时则会省略不写[1]

多面体逆变换

在多面体变换中,原像若一个多面体经过一个变换后再经过另一个变换能回到原像,则这两个变换互为逆变换。所有正多面体都是阿基米德立体关于一种康威变换的原像[2][3][4][5]

例如:会合变换(join)与半变换互为逆操作,举例来说,立方体透过半变换,交错地截去顶点会变成正四面体,而正四面体透过会合变换,在每个面加入角锥直至交锥的三角形面与林面加入之角锥的三角形面共面为止,则变回了立方体,即回到原像。

对合变换

在多面体变换中,对合变换表示该变换的逆变换等于该变换本身,即该变换重复做两次会回到原像,例如镜像变换,两次镜像变换即回到原像。

不完全逆变换

不完全逆变换即两种变换要在特定条件下才会互为逆变换,例如,立方体透过截角变换会变成截角立方体,但不能够直接经过Kleetope变换回到立方体,而是要透过有条件的Kleetope变换——针对三角形面进行Kleetope变换才能回到立方体,因此不能称截角与Kleetope互为逆变换。

参见

参考文献

  1. ^ Coxeter, Harold Scott MacDonald. Regular Polytopes Third. Dover Publications. 1973: 14, 69, 149 [1948] [2016-01-20]. ISBN 0-486-61480-8. OCLC 798003. (原始内容存档于2016-07-29). 
  2. ^ Rigby, J. Kaleidoscopes: Selected Writings of H.S.M. Coxeter. The Mathematical Gazette. 1997 [2022-10-15]. doi:10.2307/3619234. (原始内容存档于2022-10-16). 
  3. ^ Coxeter, H. S. M. Regular and semi-regular polytopes. I. Mathematische Zeitschrift. 1940-12-01, 46 (1). ISSN 1432-1823. doi:10.1007/BF01181449 (英语). 
  4. ^ Coxeter, H. S. M. Regular and semi-regular polytopes. II. Mathematische Zeitschrift. 1985-12-01, 188 (4). ISSN 1432-1823. doi:10.1007/BF01161657 (英语). 
  5. ^ Coxeter, H. S. M. Regular and semi-regular polytopes. III. Mathematische Zeitschrift. 1988-03-01, 200 (1). ISSN 1432-1823. doi:10.1007/BF01161745 (英语). 
多面体变换
原像 截角 截半 过截角 对偶 扩展英语Expansion (geometry) 全截英语Omnitruncation 交错
半变换 扭棱
node_1 p node_n1 q node_n2  node_1 p node_1 q node  node p node_1 q node  node p node_1 q node_1  node p node q node_1  node_1 p node q node_1  node_1 p node_1 q node_1  node_h p node q node  node p node_h q node_h  node_h p node_h q node_h 
t0{p,q}
{p,q}
t01{p,q}英语Truncated polyhedron
t{p,q}
t1{p,q}
r{p,q}
t12{p,q}英语Bitruncated polyhedron
2t{p,q}
t2{p,q}
2r{p,q}
t02{p,q}英语Cantellated polyhedron
rr{p,q}
t012{p,q}英语Omnitruncated polyhedron
tr{p,q}
ht0{p,q}
h{q,p}
ht12{p,q}英语Snub polyhedron
s{q,p}
ht012{p,q}英语Snub polyhedron
sr{p,q}