定曲率3次元空間は共形平坦であることは簡単に証明できそうだが,球対称な3次元空間は必ず共形平坦か,証明できそうにない。どっかにそういう定理とか,ありますかねぇ。
例えば,球対称なシュバルツシルト計量の空間部分
は,(「場の古典論」など多くのテキストの練習問題にあるように)
とおけば
となる。この時の
で定義される等方デカルト座標(「場の古典論」では「等方的ガリレイ座標」と書いている)
となるだろう。
また,FLRW 計量の空間部分も球対称であり,
は,
とおけば
となる。
シュバルツシルト計量も FLRW 計量も,空間部分は共形平坦にできるので,何か,球対称=共形平坦みないな定理があってもよさそうなのだが,どうでしょうか。