任意のn次元多様体*1が、2n+1次元ユークリッド空間の閉集合として埋め込めることの証明を読みました。思ったより簡単でした。 *1:ぼくは多様体といったら第二可算公理をみたすことを仮定しています

自虐ともネガキャンともつかないネタツイートとおぼしきもの(毒舌妹的なやつです)、マジで苦手なのでつらいなーと思いました。