Bravais 格子

定義 2.1（「結晶構造と格子振動」§2）

3 次元空間 $\mathbb{R}^3$ の 1 次独立なベクトル $\boldsymbol{a}_1,\boldsymbol{a}_2,\boldsymbol{a}_3$ （基本並進ベクトル）に対し、

\Lambda = \left\{ \boldsymbol{R} = n_1\boldsymbol{a}_1 + n_2\boldsymbol{a}_2 + n_3\boldsymbol{a}_3 \ \middle|\ n_1,n_2,n_3\in\mathbb{Z} \right\}

を Bravais 格子と呼び、 $\boldsymbol{R}\in\Lambda$ を格子ベクトルという。 $\Lambda$ のどの点から見ても、周囲の点の配置は同じである。

閉包の状態

定義

定義は閉包の起点です（証明を要しません）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。

証明で明示的に参照している定理は、まだありません。