查看“︁晶体学限制定理”︁的源代码

{{NoteTA|G1=P}}
'''晶体学限制定理'''的基本形式是基于对[[晶体]]的[[旋转对称性]]通常被限制为2重，3重，4重，6重的观察后得出的。然而，[[准晶体]]中可能存在着其他种类的衍射对称性，例如5重对称；这种晶体是由[[丹·谢赫特曼]]于1984年发现的<ref>Shechtman et al (1982)</ref>，他也凭此获得了2011年[[诺贝尔化学奖]]。

晶体模型是由离散的[[晶格]]通过一系列[[線性無關|独立]]有限的[[平移]]建立的<ref>Coxeter, H. S. M. (1989)</ref>。因为离散性要求格点间的间距有一个下限值，所以该晶格对于空间中任意一点的旋转对称[[群]]必须是[[有限群]]。这个理论的重点在于，'''并不是所有的'''有限群都能兼容一个离散的晶格；在任何一个维度上，可兼容群的数量都是有限的。

== 二维和三维 ==
二维（{{le|平面群|wallpaper group}}）和三维（[[空间群]]）的特殊情况在实际应用中最为常用，在这里我们把他们放在一起分析。

=== 晶格证明 ===
2维或3维中的旋转的对称性需要将一个格点移动到同一平面的另一个格点的接续（succession），产生一个包含共面格点的[[正多边形]]。这里，我们把注意力集中到对称的作用平面上<ref>Harv Scherrer(1946)</ref>，借助右图中的晶格向量来说明。
[[File:Crystallographic_restriction_polygons.png|右|缩略图|280x280像素|晶格限制多边形<br>
&nbsp;'''兼容''':6重对称（3重对称），4重对称（2重对称）<br>
&nbsp;'''不兼容''':8重对称，5重对称]]
现在我们来考虑一个8重旋转，及其多边形相邻点之间的位移矢量。若任意两个阵点间存在位移，则相同的位移会在晶格中反复到处出现。将所有边上的位移向量集结起来，并使它们都选取同一个格点作为起点。边矢量就变成了径向矢量，且他们的8重对称意味着集合点周围的格点是一个正八边形。但这是'''不可能的'''，因为新八边形的大小大约只是原来的80%。这种缩小论证的重点在于，这样的操作是没有限制的。我们可以对新的八边形重复同样的构造，多次重复直到格点间的距离小到任意我们想要的值；因此，没有任何'''离散的晶格'''可以具有8重对称。同样的论点适用于任何''k''（k > 6）重旋转。

这个“缩小”的论证方式也排除了5重对称的可能性。考虑一个正五边形晶格点阵。如果这种点阵存在，那么我们可以每隔一个地选取边位移矢量，并（头到尾）地组装一个五角星，且使最后的边位移向量指向起点。这个[[五角星]]的[[頂點 (幾何)|顶点]]正对应着原来的[[正五边形]]，但面积要比原来的小大约60％。

准晶和{{le|彭罗斯密铺|Penrose tiling}}的存在表明线性平移的假设是必要的。 彭罗斯密铺可以有五重的[[旋转对称性]]且是离散的，同时在此密铺中，任何局部邻域都重复出现无穷多次。然而，作为一个整体，此密铺没有线性平移性。即便没有晶格离散的假设，上述构造中不但没有矛盾，而且还会产生一个（非离散）的反例。因此在缺失任意一个上述假设的情况下，5重旋转对称的可能性是无法被排除的。全平面（无限平面）上的彭罗斯密铺对于单独一点只能有确定的（关于整个密铺的）5重旋转对称，而4重和6重对称晶格则具有无穷多的旋转对称中心。

=== 三角学证明 ===

考虑晶格中的两个格点A和B，由平移向量'''''r''''' 分隔。取角α，使得对于任意格点作α度旋转为此晶格的一个对称操作。若关于点B旋转α度，点A将会被映射到一个新的点A'。同样，若关于点A旋转α度，点B将会被映射到一个新的点B'。由于以上两个旋转均为对称操作，A'和B'必须同时为格点。由于晶格的周期性，连结A'和B'的新向量'''''r'''''' 必须等于'''''r''''' 乘上一个整数：

: <math> \mathbf{r}' = m\mathbf{r} \, </math>

其中，<math>m</math>是整数。这四个平移向量，三个的长度<math>r=|\mathbf{r}|</math>，剩下的一个连结A'和B'，长度为<math>r'=|\mathbf{r}'|</math>，构成了一个不等边四边形。所以，'''''r'''''' 同时又可以通过下式给出：

: <math> r' = 2r\cos\alpha - r </math>

联立两式可得：

: <math> \cos\alpha = \frac{m+1}{2} = \frac{M}{2}  </math>

其中<math>M=m+1</math>为整数。由于<math>|\cos\alpha|\le 1</math>，我们可以得到<math>M\in\{-2,-1,0,1,2\}</math>，于是<math>\alpha</math>在0°到180°范围的解只有0°，60°，90°，120°，以及180°。在弧度表示下，唯一可行的的和晶格相符的旋转可写为2π/''n''，其中''n'' = 1，2，3，4，6——这分别对应着1，2，3，4，以及6重对称；5重或大于6重的对称因此被排除了。

=== 简短的三角学证明 ===
[[Image:Crystallographic restriction.png|thumb|right]]
[[Image:Crystallographic restriction 2.png|thumb|right]]

考虑共线的一行原子''A-O-B''，相互间隔为''a''。将整行原子（蓝色）关于点''O'' 旋转θ = +2π/''n'' 得到黄色原子链；旋转θ = −2π/''n'' 得到绿色原子链，如图所示。由于晶格周期性（平移对称性）的假设，同一行的黄色原子与绿色原子的间距必须为''r'' = ''ma''，其中''m''为整数。而通过几何推导，我们知道这些点之间的间距为：

: <math>2a\cos{\theta} = 2a\cos{\frac{2\pi}{n}}</math> 

联立上述两式，我们可以得到 

: <math>2\cos{\frac{2\pi}{n}}=m</math>

于是，只有''n'' = 1，2，3，4，6满足条件。

=== 矩阵证明 ===

另一种证明方式是考虑[[变换矩阵]]的性质。矩阵中对角线上元素的和被称作矩阵的[[迹]]。在二维和三维下，所有的旋转操作都是面旋转，所以[[旋转矩阵]]的迹是一个只和角度相关的函数。对于二维平面上的旋转，迹等于2 cos θ；对于三维空间的旋转，迹等于1 + 2 cos θ.

'''例子'''
*考虑一个二维情况下的关于一个[[标准正交基]]的60°（6重）旋转矩阵。
::<math>\begin{bmatrix} {1/2} & -{\sqrt{3}/2} \\ {\sqrt{3}/2} & {1/2} \end{bmatrix}</math>
:它的迹等于1，是一个整数。
*考虑一个45°（8重）旋转矩阵。
::<math>\begin{bmatrix} {1/\sqrt{2}} & -{1/\sqrt{2}} \\ {1/\sqrt{2}} & {1/\sqrt{2}} \end{bmatrix}</math>
:它的迹等于<math>{2/\sqrt{2}}</math>，不是一个整数。

对于一个晶格的基底，我们只能保证它们相互的独立性；其正交性，以及它们是否为单位向量是无法确定的。然而，对于“任意”基底，它们的迹是相同的（迹的{{le|相似不变性|similarity invariance}}）。在晶格中，{{fact|由于旋转变换必须将一个格点映射到另一个格点，每一个矩阵元必为整数}}——所以矩阵的迹也必须是整数。因此，壁纸和晶体中无法具有像上述例子提到的8重这样的旋转对称性（8重旋转矩阵的迹不是一个整数）。可能的旋转只有60°，90°，120°和180°的倍数，分别对应6，4，3和2重旋转。

'''例子'''
*在一个等边三角形密铺中考虑一个关于斜基底的60°（360°/6）旋转矩阵。
::<math>\begin{bmatrix} 0 & -1 \\ 1 & 1 \end{bmatrix}</math>
:矩阵的迹仍然为1。[[行列式]]的值（对于旋转总是等于+1）也满足条件。

这种晶体学上对旋转操作普遍的限制是'''不保证'''一种旋转总可以与一种特定的晶格相容的。例如，60°旋转操作在正方形晶格中就行不通；90°旋转在长方形晶格中也是同理。

<!--
== 更高维度的情况 ==

== 通过等距同构公式化 ==
-->

== 参见 ==
* [[晶体学点群]]
* [[晶体学]]

== 注释 ==
<references />

== 参考文献 ==
* <cite class="citation" id="CITEREFBambergCairnsKilminster2003">Bamberg, John; Cairns, Grant; Kilminster, Devin (March 2003), [http://www.latrobe.edu.au/mathstats/staff/cairns/papers/42.pdf "The crystallographic restriction, permutations, and Goldbach's conjecture"] (PDF), ''[[美國數學月刊|American Mathematical Monthly]]'' '''110''' (3): 202–209, [[DOI|doi]]:[[doi:10.2307/3647934|10.2307/3647934]], [[JSTOR]]&nbsp;[//www.jstor.org/stable/3647934 3647934]</cite><cite class="citation" id="CITEREFBambergCairnsKilminster2003"></cite><span class="Z3988" title="ctx_ver=Z39.88-2004&rfr_id=info%3Asid%2Fen.wikipedia.org%3ACrystallographic+restriction+theorem&rft.atitle=The+crystallographic+restriction%2C+permutations%2C+and+Goldbach%27s+conjecture&rft.au=Cairns%2C+Grant&rft.aufirst=John&rft.au=Kilminster%2C+Devin&rft.aulast=Bamberg&rft.date=2003-03&rft.genre=article&rft_id=%2F%2Fwww.jstor.org%2Fstable%2F3647934&rft_id=http%3A%2F%2Fwww.latrobe.edu.au%2Fmathstats%2Fstaff%2Fcairns%2Fpapers%2F42.pdf&rft_id=info%3Adoi%2F10.2307%2F3647934&rft.issue=3&rft.jtitle=American+Mathematical+Monthly&rft.pages=202-209&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.volume=110">&nbsp;</span>
* <cite class="citation" id="CITEREFElliott1998">Elliott, Stephen (1998), ''The Physics and Chemistry of Solids'', Wiley, [[国际标准书号|ISBN]]&nbsp;0-471-98194-X</cite><cite class="citation" id="CITEREFElliott1998"></cite><span class="Z3988" title="ctx_ver=Z39.88-2004&rfr_id=info%3Asid%2Fen.wikipedia.org%3ACrystallographic+restriction+theorem&rft.aufirst=Stephen&rft.aulast=Elliott&rft.btitle=The+Physics+and+Chemistry+of+Solids&rft.date=1998&rft.genre=book&rft.isbn=0-471-98194-X&rft.pub=Wiley&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook">&nbsp;</span>
* <cite class="citation" id="CITEREFCoxeter1989">[[哈罗德·斯科特·麦克唐纳·考克斯特|Coxeter, H. S. M.]] (1989), ''Introduction to Geometry'' (2nd ed.</cite><cite class="citation" id="CITEREFCoxeter1989">), Wiley, [[国际标准书号|ISBN]]&nbsp;978-0-471-50458-0</cite><cite class="citation" id="CITEREFCoxeter1989"></cite><span class="Z3988" title="ctx_ver=Z39.88-2004&rfr_id=info%3Asid%2Fen.wikipedia.org%3ACrystallographic+restriction+theorem&rft.aufirst=H.+S.+M.&rft.aulast=Coxeter&rft.btitle=Introduction+to+Geometry&rft.date=1989&rft.edition=2nd&rft.genre=book&rft.isbn=978-0-471-50458-0&rft.pub=Wiley&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook">&nbsp;</span>
* <cite class="citation" id="CITEREFScherrer1946">Scherrer, W. (1946), [http://www-gdz.sub.uni-goettingen.de/cgi-bin/digbib.cgi?PPN378850199_0001 "Die Einlagerung eines regulären Vielecks in ein Gitter"], ''Elemente der Mathematik'' '''1''' (6): 97–98</cite><span class="Z3988" title="ctx_ver=Z39.88-2004&rfr_id=info%3Asid%2Fen.wikipedia.org%3ACrystallographic+restriction+theorem&rft.atitle=Die+Einlagerung+eines+regul%C3%A4ren+Vielecks+in+ein+Gitter&rft.aufirst=W.&rft.aulast=Scherrer&rft.date=1946&rft.genre=article&rft_id=http%3A%2F%2Fwww-gdz.sub.uni-goettingen.de%2Fcgi-bin%2Fdigbib.cgi%3FPPN378850199_0001&rft.issue=6&rft.jtitle=Elemente+der+Mathematik&rft.pages=97-98&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.volume=1">&nbsp;</span>
* <cite class="citation" id="CITEREFShechtmanBlechGratiasCahn1984">Shechtman, D.; Blech, I.; Gratias, D.; Cahn, JW (1984), "Metallic phase with long-range orientational order and no translational symmetry", ''[[物理评论快报|Physical Review Letters]]'' '''53''' (20): 1951–1953, [[Bibcode]]:[[bibcode:1984PhRvL..53.1951S|1984PhRvL..53.1951S]], [[DOI|doi]]:[[doi:10.1103/PhysRevLett.53.1951|10.1103/PhysRevLett.53.1951]]</cite><cite class="citation" id="CITEREFShechtmanBlechGratiasCahn1984"></cite><span class="Z3988" title="ctx_ver=Z39.88-2004&rfr_id=info%3Asid%2Fen.wikipedia.org%3ACrystallographic+restriction+theorem&rft.atitle=Metallic+phase+with+long-range+orientational+order+and+no+translational+symmetry&rft.au=Blech%2C+I.&rft.au=Cahn%2C+JW&rft.aufirst=D.&rft.au=Gratias%2C+D.&rft.aulast=Shechtman&rft.date=1984&rft.genre=article&rft_id=info%3Abibcode%2F1984PhRvL..53.1951S&rft_id=info%3Adoi%2F10.1103%2FPhysRevLett.53.1951&rft.issue=20&rft.jtitle=Physical+Review+Letters&rft.pages=1951-1953&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.volume=53">&nbsp;</span>

== 外部链接 ==
* {{En}}[http://www-history.mcs.st-and.ac.uk/~john/geometry/Lectures/A2.html The crystallographic restriction] {{Wayback|url=http://www-history.mcs.st-and.ac.uk/~john/geometry/Lectures/A2.html |date=20161013211147 }}

[[Category:晶体学]]
[[Category:群论]]
[[Category:代数定理]]