いわゆる志賀多様体における多様体の埋め込み定理のための次元論的な補題の証明

数学 距離空間 位相空間 次元論 多様体論