格子_(数学)とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > 格子_(数学)の意味・解説 

格子 (数学)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/08/01 08:05 UTC 版)

ユークリッド平面上の格子

数学における、特に初等幾何学および群論における、n-次元空間 Rn 内の格子(こうし、: lattice)とは、ベクトル空間 Rn生成するような Rn離散部分群をいう。すなわち、Rn の任意の格子は、ベクトル空間としての基底から、その整数係数線型結合の全体として得られる。ひとつの格子は、その基本領域あるいは原始胞体英語版による正多面体空間充填 (regular tiling) と見ることもできる。

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


対称性としての解釈と例

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

3-次元の正多面体空間充填の意味での格子(例えば結晶における原子分子の位置や、もっと一般に平行移動対称性としての群の作用の軌道)は平行移動の成す格子に翻訳することができる。平行移動に関するコセットは必ずしも原点を含むことは必要ではないので、冒頭で述べた意味では格子でない。

格子の簡単な例として、Rn の部分群としての Zn が挙げられる。少し込み入った例では、R24 におけるリーチ格子がある。また、19世紀数学で発展した楕円函数の研究で中心的な役割を果たす R2 の周期格子が挙げられる。これはアーベル函数論においてさらに高次元へ一般化される。

格子による空間分割

典型的な Rn の格子 Λ は

斜方格子菱形格子中心矩形格子二等辺三角格子 (cmm): 均等な間隔で並べられた列の上に均等な間隔で点が並ぶ、かつ、各列は配置間隔の半分ずつ互い違いにずれている(対称的にジグザグ)

  • 六角格子正三角格子 (p6m)

  • 正方格子 (p4m)

  • 矩形格子原始矩形格子 (pmm)

  • 平行体格子歪斜格子 (p2): (非対称なジグザグ)

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

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

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

    周期格子の基本領域。画像の各「曲線三角形」は各平面格子のタイプに対してひとつの複素数を含む。グレーで塗られた部分は自然な表現で、格子上の二点 0, 1 が互いに最も近い位置にある場合に対応する(各領域の重複を避けるために境界は半分だけ含むものとする)。斜方格子はその境界上の点によって、六角格子は頂点として、正方格子は i によって、矩形格子は虚軸としてそれぞれ表現される。そして残りの部分は平行体格子を表し、その平行体の鏡像は虚軸における鏡像によって表現される。

    ベクトル p および q は複素数として表現することができる。大きさと向きの違いを除けば、このような対をそれらの商として表せる。幾何学的に表示すれば、格子上の二点を 0 および 1 とし、格子上の第三点の位置を考えるのである。同じ格子を生成するという意味での同値性はモジュラー群によって表される。

    が表すのは、同じグリッドの第三点を取り替えることであり、

    は三角形の基準とする辺 01 を別の辺に取り替えることを表す。これは一般に、格子のスケールを変えたり回転したりすることを含意する。

    空間格子

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

    複素空間における格子

    Cn における格子は Cn の離散部分群で、実ベクトル空間として 2n-次元の実ベクトル空間 Cn を生成するものである。例えば、ガウスの整数環C における格子を成す。

    Rn における任意の格子は、階数 n自由アーベル群であり、同様に Cn における格子は階数 2n の自由アーベル群である。

    リー群における格子

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

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

    一般のベクトル空間上の格子

    通常は RnZ-格子を考える一方で、この概念は任意の上の任意の有限次元ベクトル空間に対して一般化することができる。それは以下のような内容である。

    K を体、Vn-次元 K-ベクトル空間とし、

    VK 上の基底とする。さらに、RK に含まれるとすれば、V において B の生成する R-格子

    で与えられる。一般に異なる基底は異なる格子を生成するが、それらの基底の間に R一般線型群 GLn(R) に属する遷移行列 T があれば(つまり、T の全ての成分は R に属し、T−1 の全ての成分が再び R に属す。これは T行列式R× に属するといってもよい。ただし R×R の乗法可逆元全体の成す単元群である)、それらの基底の生成する格子は同型になる。これは遷移行列 T が二つの格子の間の同型写像を誘導するからである。

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

    もしベクトル空間がさらに内積空間となっているならば、上記の格子に対してその双対格子と呼ばれる格子が

    によって与えられる。

    関連項目

    参考文献


    「格子 (数学)」の例文・使い方・用例・文例

    Weblio日本語例文用例辞書はプログラムで機械的に例文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。


    英和和英テキスト翻訳>> Weblio翻訳
    英語⇒日本語日本語⇒英語
      

    辞書ショートカット

    すべての辞書の索引

    「格子_(数学)」の関連用語









    9
    50% |||||


    格子_(数学)のお隣キーワード
    検索ランキング

       

    英語⇒日本語
    日本語⇒英語
       



    格子_(数学)のページの著作権
    Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

       
    ウィキペディアウィキペディア
    All text is available under the terms of the GNU Free Documentation License.
    この記事は、ウィキペディアの格子 (数学) (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
    Tanaka Corpusのコンテンツは、特に明示されている場合を除いて、次のライセンスに従います:
     Creative Commons Attribution (CC-BY) 2.0 France.
    この対訳データはCreative Commons Attribution 3.0 Unportedでライセンスされています。
    浜島書店 Catch a Wave
    Copyright © 1995-2025 Hamajima Shoten, Publishers. All rights reserved.
    株式会社ベネッセコーポレーション株式会社ベネッセコーポレーション
    Copyright © Benesse Holdings, Inc. All rights reserved.
    研究社研究社
    Copyright (c) 1995-2025 Kenkyusha Co., Ltd. All rights reserved.
    日本語WordNet日本語WordNet
    日本語ワードネット1.1版 (C) 情報通信研究機構, 2009-2010 License All rights reserved.
    WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved. License
    日外アソシエーツ株式会社日外アソシエーツ株式会社
    Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.
    「斎藤和英大辞典」斎藤秀三郎著、日外アソシエーツ辞書編集部編
    EDRDGEDRDG
    This page uses the JMdict dictionary files. These files are the property of the Electronic Dictionary Research and Development Group, and are used in conformance with the Group's licence.

    ©2025 GRAS Group, Inc.RSS