>>667>>669
等長変換群と言うからにはリーマン計量がないことには意味がない。
その計量を少し変形する。toiukoto.