리만 다양체
콤팩트 리만 다양체 formula_29가 주어졌을 때, 곱공간