>>418 閉区間が多様体になるというのは
境界のある多様対の定義をきちんと知っていれば、確かに1秒で理解できます。

私が使っている境界のある多様体の定義は、

m次元多様体Mの中の、互いに交わらないm−1次元部分多様体L1、、 Lk
でで区切られた部分Nを境界のあるm次元多様体という。というものです。


これを閉区間に置き換えて考えてみると、閉区間abは0次元多様体aとbによって区切られた
部分なのか?そもそも一点って多様体なのかな?

一点集合ってハウスドルフ空間なのかな?とかって思ってごちゃごちゃしてめんどくさくなっただけです。
今ここまで書いて閉区間を境界のある多様体と考えるためにはどうすればよいのでしょう?