松島多様体で自明とあった補題．(前の記事参照→ Sardの定理 (続き) ) 反例らしきものが出来たので． まず多様体として というものを考える．ただし には通常の位相をいれ， は に離散位相を入れたものとし，多様体は直積位相をいれたものとする．座標近傍系 …