逆格子

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

Bravais 格子 $\Lambda$ に対し、

\Lambda^{*} = \left\{ \boldsymbol{G}\in\mathbb{R}^3 \ \middle|\ e^{i\boldsymbol{G}\cdot\boldsymbol{R}} = 1\ \ (\forall \boldsymbol{R}\in\Lambda) \right\} = \left\{ \boldsymbol{G} \ \middle|\ \boldsymbol{G}\cdot\boldsymbol{R}\in 2\pi\mathbb{Z}\ \ (\forall \boldsymbol{R}\in\Lambda)\right\}

を逆格子と呼ぶ。

閉包の状態

定義

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

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