generated at
位相多様体
位相空間に座標の概念を追加したもの