基本介紹
- 中文名：晶體學限制定理
- 外文名：Crystallographic restriction theorem
- 分類：代數定理
二維和三維,晶格證明,三角學證明,簡短的三角學證明,矩陣證明,參見,
二維和三維
二維（平面群）和三維（空間群）的特殊情況在實際套用中最為常用，在這裡我們把他們放在一起分析。
晶格證明
2維或3維中的旋轉的對稱性需要將一個格點移動到同一平面的另一個格點的接續（succession），產生一個包含共面格點的正多邊形。這裡，我們把注意力集中到對稱的作用平面上，藉助右圖中的晶格矢量來說明。
晶格限制多邊形
兼容:6重對稱（3重對稱），4重對稱（2重對稱）
不兼容:8重對稱，5重對稱
兼容:6重對稱（3重對稱），4重對稱（2重對稱）
不兼容:8重對稱，5重對稱
現在我們來考慮一個8重旋轉，及其多邊形相鄰點之間的位移矢量。若任意兩個陣點間存在位移，則相同的位移會在晶格中反覆到處出現。將所有邊上的位移矢量集結起來，並使它們都選取同一個格點作為起點。邊矢量就變成了徑向矢量，且他們的8重對稱意味著集合點周圍的格點是一個正八邊形。但這是不可能的，因為新八邊形的大小大約只是原來的80%。這種縮小論證的重點在於，這樣的操作是沒有限制的。我們可以對新的八邊形重複同樣的構造，多次重複直到格點間的距離小到任意我們想要的值；因此，沒有任何離散的晶格可以具有8重對稱。同樣的論點適用於任何k（k > 6）重旋轉。
這個“縮小”的論證方式也排除了5重對稱的可能性。考慮一個正五邊形晶格點陣。如果這種點陣存在，那么我們可以每隔一個地選取邊位移矢量，並（頭到尾）地組裝一個五角星，且使最後的邊位移矢量指向起點。這個五角星的頂點正對應著原來的正五邊形，但面積要比原來的小大約60%。
準晶和彭羅斯密鋪的存在表明線性平移的假設是必要的。 彭羅斯密鋪可以有五重的旋轉對稱性且是離散的，同時在此密鋪中，任何局部鄰域都重複出現無窮多次。然而，作為一個整體，此密鋪沒有線性平移性。即便沒有晶格離散的假設，上述構造中不但沒有矛盾，而且還會產生一個（非離散）的反例。因此在缺失任意一個上述假設的情況下，5重旋轉對稱的可能性是無法被排除的。全平面（無限平面）上的彭羅斯密鋪對於單獨一點只能有確定的（關於整個密鋪的）5重旋轉對稱，而4重和6重對稱晶格則具有無窮多的旋轉對稱中心。
三角學證明
考慮晶格中的兩個格點A和B，由平移矢量r分隔。取角α，使得對於任意格點作α度旋轉為此晶格的一個對稱操作。若關於點B旋轉α度，點A將會被映射到一個新的點A'。同樣，若關於點A旋轉α度，點B將會被映射到一個新的點B'。由於以上兩個旋轉均為對稱操作，A'和B'必須同時為格點。由於晶格的周期性，連結A'和B'的新矢量r'必須等於r乘上一個整數：
其中，是整數。這四個平移矢量，三個的長度
，剩下的一個連結A'和B'，長度為
，構成了一個不等邊四邊形。所以，r'同時又可以通過下式給出：
聯立兩式可得：
其中
為整數。由於
，我們可以得到
，於是
在0°到180°範圍的解只有0°，60°，90°，120°，以及180°。在弧度表示下，唯一可行的的和晶格相符的旋轉可寫為2π/n，其中n= 1，2，3，4，6——這分別對應著1，2，3，4，以及6重對稱；5重或大於6重的對稱因此被排除了。
簡短的三角學證明
考慮共線的一行原子A-O-B，相互間隔為a。將整行原子（藍色）關於點O旋轉θ = +2π/n得到黃色原子鏈；旋轉θ = −2π/n得到綠色原子鏈，如圖所示。由於晶格周期性（平移對稱性）的假設，同一行的黃色原子與綠色原子的間距必須為r=ma，其中m為整數。而通過幾何推導，我們知道這些點之間的間距為：
聯立上述兩式，我們可以得到
於是，只有n= 1，2，3，4，6滿足條件。
矩陣證明
另一種證明方式是考慮變換矩陣的性質。矩陣中對角線上元素的和被稱作矩陣的跡。在二維和三維下，所有的旋轉操作都是面旋轉，所以旋轉矩陣的跡是一個只和角度相關的函式。對於二維平面上的旋轉，跡等於2 cos θ；對於三維空間的旋轉，跡等於1 + 2 cos θ.
例子
- 考慮一個二維情況下的關於一個標準正交基的60°（6重）旋轉矩陣。
它的跡等於1，是一個整數。
- 考慮一個45°（8重）旋轉矩陣。
它的跡等於
，不是一個整數。
對於一個晶格的基底，我們只能保證它們相互的獨立性；其正交性，以及它們是否為單位矢量是無法確定的。然而，對於“任意”基底，它們的跡是相同的（跡的相似不變性）。在晶格中，由於旋轉變換必須將一個格點映射到另一個格點，每一個矩陣元必為整數——所以矩陣的跡也必須是整數。因此，壁紙和晶體中無法具有像上述例子提到的8重這樣的旋轉對稱性（8重旋轉矩陣的跡不是一個整數）。可能的旋轉只有60°，90°，120°和180°的倍數，分別對應6，4，3和2重旋轉。
例子
- 在一個等邊三角形密鋪中考慮一個關於斜基底的60°（360°/6）旋轉矩陣。
矩陣的跡仍然為1。行列式的值（對於旋轉總是等於+1）也滿足條件。
這種晶體學上對旋轉操作普遍的限制是不保證一種旋轉總可以與一種特定的晶格相容的。例如，60°旋轉操作在正方形晶格中就行不通；90°旋轉在長方形晶格中也是同理。
