點陣是規則間隔排列的點陣列。
在平面中,可以構建具有正方形、矩形、六邊形等形狀的晶胞的點陣。除非另有說明,否則點陣可以指正方形陣列中的點,即座標為 的點,其中
、
、... 是 整數。 這種陣列通常被稱為 網格 或 網狀結構。
點陣通常簡稱為“格子”,但這不幸地與應用於 格理論 中處理的有序集的同一術語相沖突。每個“點陣”都是在從平面繼承的排序下的格,儘管點陣可能不是平面的子格,因為平面中的下確界運算不需要與點陣中的下確界運算一致。另一方面,許多格不是點陣。
格的屬性在 Wolfram 語言 中實現為LatticeData[lattice, prop].
形式上,假設一個格包含原點,則它是 歐幾里得空間 的 離散 子群。 也就是說,一個格在加法和逆運算下是封閉的,並且每個點都有一個鄰域,其中它是唯一的格點。 常見的例子是 和
。 通常,格被定義為具有滿秩,即
中的格是 子群
|
(1)
|
其中 是整數,
是 線性無關 的向量。 請注意,一個格最多需要
個元素來生成它。 例如,子群
需要兩個生成元,但不是 離散 的,也不是格。 上圖說明了由 1 和
生成的子群不是格,透過顯示連續的
,其中
。
從 原點 可見 的格點 比例,如 Castellanos(1988,第 155-156 頁)推導的那樣,是
|
(2)
| |||
|
(3)
| |||
|
(4)
|
因此,這也是兩個隨機選擇的整數彼此 互質 的機率。
對於 ,可以選擇
個格點,其中
,使得沒有三個點在一條直 線 上。 對於
,3,... 的不同解(不包括反射和旋轉)的數量為 1, 1, 4, 5, 11, 22, 57, 51, 156 ... (OEIS A000769)。 對於大的
,據推測,最多隻能選擇
個格點,且沒有三個點 共線,其中
|
(5)
|
(Guy 和 Kelly 1968;Guy 1994,第 242 頁)。 個格點
中,可以選擇沒有四個點 共圓 的點數為
(Guy 1994,第 241 頁)。
在格子上,其中兩個對邊長度均為 1 的任何 平行四邊形 都具有單位面積(Hilbert 和 Cohn-Vossen 1999,第 33-34 頁)。
在規則格子上定義的一組特殊的 多邊形 是 golygons。 線性變換將格變換為自身的 必要 和 充分 條件是它是 單模 的。 M. Ajtai 已經證明,除非存在用於所有生成向量的有效演算法(目前尚不知道),否則沒有有效的 演算法 可以找到格子中一組生成向量的任何一部分,使其具有最短的長度。 這一結果對密碼學和身份驗證具有潛在的應用(Cipra 1996)。