偏極

定義 3.3（「重力波」§3）

TT ゲージの振幅 $A_+$ 、 $A_\times$ を用いて

h^{\mathrm{TT}}_{ij}(t,z)=\bigl(A_+e^{+}_{ij}+A_\times e^{\times}_{ij}\bigr)\cos\omega\Bigl(t-\frac zc\Bigr),\qquad e^+=\begin{pmatrix}1&0\\0&-1\end{pmatrix},\ \ e^\times=\begin{pmatrix}0&1\\1&0\end{pmatrix}

（ $i,j=1,2$ ）と書く。 $A_+$ の成分をプラス偏極、 $A_\times$ の成分をクロス偏極という。

閉包の状態

定義

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

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

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