リッチテンソル
ビアンキ空間は、リッチテンソルが空間と座標に依存しない(basis vector)の積へ(separated)することが可能であるいう性質を持っている。