不可旋动尘埃与 Div H=0

对于不可旋动尘埃，若且仅若磁场 Weyl 张量的散度消失：$div~H = 0$，其剪切张量才能与其共变时间导数一致地对角化：$\sigma_{ab}=0=\dot{\sigma}_{ab},\; a\neq b$。我们在此证明，在这种情况下，Ricci 约束的一致性要求磁场 Weyl 张量本身也消失：$H_{ab}=0$。