格子 (数学)のソースを表示

{{翻訳中途|[[:en:Lattice (group)]] 07:41, 23 August 2011|date=2011年8月}}
[[File:Equilateral Triangle Lattice.svg|thumb|right|250px|[[ユークリッド平面]]上の格子]]
{{Groups}}
[[数学]]における、特に[[初等幾何学]]および[[群論]]における、''n''-次元空間 '''R'''<sup>''n''</sup> 内の'''格子'''（こうし、{{lang-en-short|''lattice''}}）とは、[[実数|実]][[ベクトル空間]] '''R'''<sup>''n''</sup> を[[線型結合|生成する]]ような '''R'''<sup>''n''</sup> の[[離散部分群]]をいう。すなわち、'''R'''<sup>''n''</sup> の任意の格子は、ベクトル空間としての[[基底 (線型代数学)|基底]]から、その[[整数]]係数[[線型結合]]の全体として得られる。ひとつの格子は、その[[基本領域]]あるいは{{仮リンク|原始胞体|en|primitive cell}}による正多面体[[空間充填]] (regular tiling) と見ることもできる。

格子には多くの顕著な応用があり、純粋数学では特に[[リー環論]]、[[数論]]および[[群論]]に関係がある。[[応用数学]]でいえば、まず[[暗号理論]]において、いくつかの[[格子問題]]の計算が困難であることに起因する[[符号理論]]に関連する。また、[[物理科学]]においてもいくつかのやり方で応用があり、例えば[[物質科学]]および[[固体物理学]]では、「格子」は[[結晶構造]]の「枠組み」の同義語であり、[[結晶]]において[[原子]]や[[分子]]が隣接して占める正多面体状の三次元的な空間配列を意味する。より一般に、[[物理学]]において[[格子モデル (物理学)|格子モデル]]が（しばしば[[計算物理]]の手法を用いて）研究される。



== 対称性としての解釈と例 ==
格子は ''n'' 種類の方向への[[並進対称性|平行移動対称性]]の成す離散的[[対称変換群]]である。この平行移動対称性の格子のパターンは、もっと多くの対称性を含みうるが、格子自身の持つ対称変換より対称性が少なくなることはない。

3-次元の正多面体空間充填の意味での格子（例えば[[結晶]]における[[原子]]や[[分子]]の位置や、もっと一般に平行移動対称性としての[[群作用|群の作用]]の軌道）は平行移動の成す格子に翻訳することができる。平行移動に関する[[剰余類|コセット]]は必ずしも原点を含むことは必要ではないので、冒頭で述べた意味では格子でない。
 
格子の簡単な例として、'''R'''<sup>''n''</sup> の部分群としての '''Z'''<sup>''n''</sup> が挙げられる。少し込み入った例では、'''R'''<sup>24</sup> における[[リーチ格子]]がある。また、19世紀数学で発展した[[楕円函数]]の研究で中心的な役割を果たす '''R'''<sup>2</sup> の[[周期格子]]が挙げられる。これは[[アーベル多様体#アーベル函数|アーベル函数]]論においてさらに高次元へ一般化される。

== 格子による空間分割 ==
典型的な '''R'''<sup>''n''</sup> の格子 &Lambda; は
:<math>
\Lambda = \left\{ \sum_{i=1}^n a_i v_i \; | \; a_i \in\mathbb{Z} \right\}
</math>
という形に書くことができる。ただし {''v''<sub>1</sub>, ..., ''v''<sub>''n''</sub>} は '''R'''<sup>''n''</sup> の基底である。異なる基底が同じ格子を生成することはありうるが、ベクトル ''v''<sub>''i''</sub> を並べた行列の[[行列式]]の絶対値は &Lambda; に対して一意に決まり、それを ''d''(Λ) で表す。格子を全空間 '''R'''<sup>''n''</sup> の同一の[[多面体]]（格子の'''[[基本領域]]'''と呼ばれる ''n''-次元平行多面体のコピー）による分割として見るならば、
''d''(Λ) はこの多面体の ''n''-次元[[体積]]である。このことから、''d''(&Lambda;) は、格子の'''余体積''' (''covolume'') と呼ばれることもある。

== 凸集合の格子点 ==
[[ミンコフスキーの定理]]は体積 ''d''(Λ) に関係するもので、対称[[凸集合]] ''S'' の体積と、''S'' に含まれる格子点の数の関係を述べたものである。[[多胞体]]に含まれる格子点の数、格子の元となっている全ての頂点が、多胞体の[[エルハート多項式]]によって記述される。この多項式のいくつかの係数に関する公式に ''d''(&Lambda;) が現れる。

Theorem: let P be the polytope: fundamental region of a basis which is a weighted square self-blocking clutter S.
then covolume(P) = k and P contains k - 1 integer interior points, where k is the wheight of the edges of S.

{{See also|多面体の整数点}}

== 格子による計算 ==
{{Main|格子基底縮小}}
'''格子基底縮小''' (''Lattice basis reduction'') とは、より小さくより近い直交格子基底を求める問題である。{{仮リンク|レンストラ＝レンストラ＝ロヴァッツの格子基底縮小アルゴリズム|en|Lenstra–Lenstra–Lovász lattice basis reduction algorithm}} (Lenstra-Lenstra-Lovász lattice basis reduction algorithm, '''LLL''') はそのような格子基底に[[多項式時間]]で近似する。これにはいくらかの応用があり、特に[[公開鍵暗号]]に利用されている。

== 平面格子 ==
二次元の格子は{{仮リンク|結晶構造制限定理|en|Crystallographic restriction theorem}}に示される5種類のタイプがある。平行移動対称性の格子を使った文様はさらに多くの対称性を持つかもしれないが、格子自体の対称性より少なくはならない。文様の対称性の群が ''n''-回回転を含むならば、''n'' が偶数のとき ''n''-回回転対称性、''n'' が奇数のとき 2''n''-回回転対称性を、もとの格子は持つ。 

以下では、格子の[[文様群|平面結晶群]]（文様群）としての記号を丸カッコ内に示した。
<gallery>
file:Rhombic Lattice.svg|'''斜方格子'''、'''菱形格子'''、'''中心矩形格子'''、'''二等辺三角格子''' (cmm): 均等な間隔で並べられた列の上に均等な間隔で点が並ぶ、かつ、各列は配置間隔の半分ずつ互い違いにずれている（対称的にジグザグ）
file:Equilateral Triangle Lattice.svg|'''六角格子'''、'''正三角格子''' (p6m)
file:SquareLattice.svg|'''[[正方格子]]''' (p4m)
file:Rectangular Lattice.svg|'''矩形格子'''、'''原始矩形格子''' (pmm)
file:Oblique Lattice.svg|'''平行体格子'''、'''歪斜格子''' (p2): （非対称なジグザグ）
</gallery>

与えられた格子の分類のため、ある一点から始めて次に最も近い点をとる。三つ目の点は、それが同一直線上にないなら、もとの二点との距離を考える。そして、それら二つの距離より距離が小さくなるような点たちのうち、この二つの距離のうち小さいほうが最小距離となるような点たちの中で、その二つの距離のうちの大きいほうが最小距離となるようなものを選ぶ（[[論理同値]]ではないが、今の場合は単に「その二つの距離のうちの大きいほうが最小距離となるようなものを選ぶ」と言っても結果としては同じである）。

格子の5つのタイプは、[[三角形]]が[[正三角形|等辺（正）]]、[[直角二等辺三角形|直角二等辺]]、[[直角三角形|直角]]、[[二等辺三角形|二等辺]]および[[不等辺三角形|不等辺]]となる各場合に対応する。斜方格子では、最短距離は菱形の対角線か辺のいずれかである。つまり、最初の二点を結ぶ線分は二等辺三角形の等辺になるかもしれないしならないかもしれない。これは菱形の小さいほうの角が 60° より小さいのか、60° と 90° の間になるのかに依存する。

一般の場合は[[周期格子]]として知られる。ベクトル '''p''' および '''q''' が格子を生成するとき、'''p''' と '''q''' の代わりに '''p''' および '''p''' &minus; '''q''' などを取っても同じ格子が生成される。平面では一般に、''ad'' &minus; ''bc'' = &plusmn;1 を満たす整数 ''a'', ''b'', ''c'', ''d'' を考えるとき、''a'''''p''' + ''b'''''q''' および ''c'''''p''' + ''d'''''q''' はもとと同じ格子を生成する。これは、'''p''', '''q''' 自身が他の二つのベクトルの整数係数線型結合となることをも保証する。どの対 '''p''', '''q''' も平行四辺形を定めるが、その面積は全て同じ値で、それらの対の[[ベクトル積]]の大きさになる。平行四辺形をひとつ決めれば、それによって平面全体を埋め尽くせる。追加の対称性を考えないならば、この平行四辺形は[[基本平行四辺形]]である。

[[File:ModularGroup-FundamentalDomain.svg|thumb|300px|right|[[周期格子]]の[[基本領域]]。画像の各「曲線三角形」は各平面格子のタイプに対してひとつの複素数を含む。グレーで塗られた部分は自然な表現で、格子上の二点 0, 1 が互いに最も近い位置にある場合に対応する（各領域の重複を避けるために境界は半分だけ含むものとする）。斜方格子はその境界上の点によって、六角格子は頂点として、正方格子は ''i'' によって、矩形格子は虚軸としてそれぞれ表現される。そして残りの部分は平行体格子を表し、その平行体の鏡像は虚軸における鏡像によって表現される。]]
ベクトル '''p''' および '''q''' は複素数として表現することができる。大きさと向きの違いを除けば、このような対をそれらの商として表せる。幾何学的に表示すれば、格子上の二点を 0 および 1 とし、格子上の第三点の位置を考えるのである。同じ格子を生成するという意味での同値性は[[モジュラー群]]によって表される。
: <math>T\colon z\mapsto z+1</math>
が表すのは、同じグリッドの第三点を取り替えることであり、
: <math>S\colon z\mapsto -1/z</math>
は三角形の基準とする辺 <span style="text-decoration:overline;">01</span> を別の辺に取り替えることを表す。これは一般に、格子のスケールを変えたり回転したりすることを含意する。
{{-}}

== 空間格子 ==
三次元空間の14種類の格子のタイプは '''[[ブラベー格子]]'''と呼ばれ、それらの[[空間群]]によって特徴付けられる。特定のタイプの平行移動対称性の三次元パターンは、より多くの対称性を持ちうるが、格子自身の持つ対称性より少なくはならない。

== 複素空間における格子 ==
'''C'''<sup>''n''</sup> における格子は '''C'''<sup>''n''</sup> の離散部分群で、実ベクトル空間として 2''n''-次元の実ベクトル空間 '''C'''<sup>''n''</sup> を生成するものである。例えば、[[ガウス整数|ガウスの整数環]]は '''C''' における格子を成す。

'''R'''<sup>''n''</sup> における任意の格子は、[[自由階数|階数]] ''n'' の[[自由アーベル群]]であり、同様に '''C'''<sup>''n''</sup> における格子は階数 2''n'' の自由アーベル群である。

== リー群における格子 ==
{{Main|局所コンパクト群における格子}}
より一般に、[[リー群]] ''G'' の格子 Γ は、[[剰余群|商]] ''G''/Γ が測度有限となるような[[離散的部分群]]である。ただし、測度は ''G'' 上の[[ハール測度]]から内在的に定まる測度とする（この格子の定義は、左不変でも右不変でも、ハール測度の選び方によらない）。''G''/Γ が[[コンパクト空間|コンパクト]]なときは明らかにこの要件が満たされるが、それは十分条件であって必要条件ではない。なんとなれば、[[SL2(R)|''SL''<sub>2</sub>('''R''')]] に含まれる[[モジュラー群]]の場合を見ればよい。この場合、モジュラー群は格子になっているが、商はコンパクトではない（尖点 (cusp) が存在する）。リー群に含まれる格子の存在については一般的な結果として述べることができる。

格子が'''一様'''または'''余コンパクト'''であるとは、''G''/Γ がコンパクトになることを言う。さもなくば格子は'''非一様'''である。

== 一般のベクトル空間上の格子 ==
通常は '''R'''<sup>''n''</sup> の '''Z'''-格子を考える一方で、この概念は任意の[[可換体|体]]上の任意の有限次元[[ベクトル空間]]に対して一般化することができる。それは以下のような内容である。

''K'' を体、''V'' を ''n''-次元 ''K''-ベクトル空間とし、
: <math>B = \{\mathbf{v}_1,\ldots, \mathbf{v}_n\}</math>
を ''V'' の ''K'' 上の[[基底 (線型代数学)|基底]]とする。さらに、''R'' を ''K'' に含まれる[[環 (数学)|環]]とすれば、''V'' において ''B'' の生成する ''R''-格子 <math>\mathcal{L}</math> は

:<math>
\mathcal{L} = \left\{\sum_{i=1}^{n} a_i \mathbf{v}_i \mid a_i \in R, \mathbf{v}_i \in B \right\}
</math>

で与えられる。一般に異なる基底は異なる格子を生成するが、それらの基底の間に ''R'' の[[一般線型群]] ''GL''<sub>''n''</sub>(''R'') に属する[[遷移行列]] ''T'' があれば（つまり、''T'' の全ての成分は ''R'' に属し、''T''<sup>&minus;1</sup> の全ての成分が再び ''R'' に属す。これは ''T'' の[[行列式]]が ''R''<sup>&times;</sup> に属するといってもよい。ただし ''R''<sup>&times;</sup> は ''R'' の乗法可逆元全体の成す[[単元群]]である）、それらの基底の生成する格子は同型になる。これは遷移行列 ''T'' が二つの格子の間の[[同型写像]]を誘導するからである。

このような格子で重要なものとして、''K'' として[[p進体| ''p''-進数体]]、''R'' として[[p進整数| ''p''-進整数環]]をとった数論における例が挙げられる。

もしベクトル空間がさらに[[内積空間]]となっているならば、上記の格子に対してその[[双対格子]]と呼ばれる格子が
:<math>\mathcal{L}^*
 = \{ \mathbf{v} \in V \mid \langle \mathbf{v},\mathbf{x} \rangle \in R, \forall \mathbf{x} \in \mathcal{L} \}
 = \{ \mathbf{v} \in V \mid \langle \mathbf{v},\mathbf{v}_i \rangle \in R \}
</math>
によって与えられる。

== 関連項目 ==
* [[逆格子]]
* [[単模格子]] (Unimodular lattice)
* [[結晶系]]
* [[マーラーのコンパクト性定理]] (Mahler's compactness theorem)
* [[格子グラフ]] (Lattice graph)
* [[Lattice-based cryptography]]
* [[Merkle-Hellmanナップサック暗号]]

== 参考文献 ==
* {{Citation | last1=Conway | first1=John Horton | author1-link=John Horton Conway | last2=Sloane | first2=Neil J. A. | author2-link=Neil Sloane | title=Sphere Packings, Lattices and Groups | publisher=[[Springer-Verlag]] | location=Berlin, New York | edition=3rd | series=Grundlehren der Mathematischen Wissenschaften | isbn=978-0-387-98585-5 | id={{MR|0920369}} | year=1999 | volume=290}}


{{DEFAULTSORT:こうし}}
[[Category:格子点|*]]
[[Category:離散群]]
[[Category:リー群論]]
[[Category:解析幾何学]]
[[Category:数学に関する記事]]