我是一名数学家,就像刘易斯·卡罗尔的《白兔》一样,我倾向于从头开始。 结果是12 绘制社区地图 员额,2013年6月24日至2015年7月3日。 显然,我刚刚开始,但不清楚这些帖子有多有用。 如果有一个有效的评论功能,博客往往会发挥最好的作用。 评论很快就被垃圾邮件淹没了,大多数人都不愿意让评论得到缓和。
我倾向于继续偶尔发布社区地图,除非有人要求我停止。 我不确定速度会如何。但我怀疑更多的主题帖子可能更有用。 IUCr网站管理员非常友好地安装了一个 阿斯基米特 过滤器(使用 Captcha公司 )在评论部分,我已经启用了评论。 因此,您可以输入注释,键入Askimet生成的短语,它就会出现。 我们将了解其工作原理:在上的“评论”部分工作了四周后,Askimet屏蔽了5108个垃圾邮件,将17个垃圾邮件放入垃圾邮件队列供我查看,并接受了两个(已发布)。
给定一个平面,穿过该平面的反射是等距的。 给定两个平面,如果它们平行,则两个反射的合成是平移; 如果它们不平行,则构成是围绕相交线的旋转。 给定三个平面,如果它们都在一点相交,这就是旋转反射:绕第一个平面到平面的相交线旋转,然后在第三个平面上反射。 如果前两个平行,这是一个滑动反射:通过平行镜子的平移和通过第三个镜子的反射。 给定四个平面,前两个平面相交于垂直于后两个平面的平行直线上,这是一个螺钉。
如果f有四个不动点,而不是全部在一个平面上,那么不动点集必须是整个空间,f是恒等式。 如果f有三个不动点,不是全部在一条线上,但f不是恒等式,则不动点集必须是平面。 对于任何 x ,如果 年 是定点平面上最靠近 x ,线穿过 x 和 年 垂直于该平面。 因为f不是恒等式,f必须保持 x 平面上的所有点,f( x )必须是距离线上的点| 年 – x |来自 年 但恰恰相反 x .为所有人重复 x ,f必须是一个反射,固定点的平面必须是它的镜子。 如果f有两个不动点,并且不是一个反射或恒等式,那么它的不动点集就是一条线。 选择一个点 x 不要排队,让 年 =(f( x ) + x )/2. 设P是包含f不动点的平面 年 ,让r是穿过P的反射,那么r°f是固定P的等距,正如我们已经看到的,r°f就是一个反射,称之为h -1 °h是两个反射的组合,因此平移时的旋转没有固定点。 如果f只有一个不动点 第页 ,选择 x ≠ 第页 ,并让 年 =(f( x ) + x )/2,让P是通过的平面 第页 和 年 垂直于通过f的线( x )和 x 设r是P上的反射。那么h=r°f是等距固定 第页 和 x ,因此是恒等式、反射或旋转。 所以f=r -1 °h是反射、旋转或旋转反射; 因为它只有一个固定点,所以它必须是一个旋转反射。 如果f没有固定点,请选择任意一个 第页 让g作为翻译 x → x + ( 第页 –f( 第页 )). 然后 第页 是h=g°f的一个不动点,我们有四个子集。 如果h有四个不动点,而不是全部在一条线上,那么h是恒等式,f=g -1 °h是翻译。 如果h有一个不动点平面,但不是恒等式,则f=g -1 °h是平移和反射的组合,是反射(如果三个反射镜都平行)或滑动反射。 如果h有一条不动点线,但没有一个平面,那么f=g -1 °h是平移和旋转的组合,是旋转(如果两个镜子重合)或螺旋旋转。 如果h只有一个固定点 第页 ,则f=g -1 °h是平移和旋转反演的组合,是滑动反射、旋转反演或反射。
从晶体中的任何原子来看,晶体都是一样的。 任何两个原子之间的距离都是最小的。 对于空间中的任何平面,平面的两侧都有原子。
对于某些(或任何-量词都可以)点 第页 ,我们看轨道 G公司 ( 第页 )如下… 对于任意两个不同的点g,有一个数ε>0( 第页 ),小时( 第页 ) ∈ G公司 ,|g( 第页 )–小时( 第页 )| > ε. 此属性称为 一致离散性 . 对于任何 超平面 (2空间中的线,3空间中的平面),有点 G公司 ( 第页 )在超平面的两侧。
群G是晶体 d日 -空间当且仅当其平移子群T由 d日 平移,G/T是有限的(参见 2015年1月20日发布 对于商组)。 对于任意两个晶体群G和H,如果G与H同构,那么对于某些仿射函数f,H=f∘G \8728;f -1 . 对于每个 d日 ,上有有限多个晶体学群的同构类 d日 -空间。