>>16
>射影空間でどうなるか？
ダメに決まってんじゃん
[0,1]×[0,1]/(x,0)〜(1-x,1),(0,y)〜(1,1-y)
に
L={(t,1/2)}の左右は繋がってる
こっちは可縮じゃない
L'={(t,1/3),{t,2/3)}だと中と外に分かれる
こっちは可縮