23/04/18 23:28:38.25 ROqvqI7Q.net
>>225のワードプレスの記事、斜め読みしていましたｗ
証明は、十分分かったと言えないが、帰納法を使ってますね
取りあえず貼ります
URLﾘﾝｸ(yamyamtopo.wordpress.com)
yamyamtopo
長い半直線 \mathbb{L}_+ は、単に長い直線を途中で切ってできるものです。つまり、\mathbb{L} から一点を除いたもののそれぞれの連結成分が \mathbb{L}_+（と同相な空間）です。\mathbb{L}_+ は一方の端には可算列で到達でき、もう一方の端には可算列で到達できないという非対称性をもちます。
最近ではこの制約を課さない、したがって長い直線も含んだ多様体の研究も行われています。2015 年に出版された Non-metrisable Manifolds という本は、この分野でのはじめての専門書です。
この「分類定理」はある程度は良く知られた事実と思われ、志賀浩二「多様体論」ではそれを示すことが演習問題になっています。しかし、この本には詳しい解答はないようです。
URLﾘﾝｸ(yamyamtopo.files.wordpress.com)
投稿日: 2015年9月17日
追記（2020年6月10日）：補題 2.2 の証明を修正しました。誤記を直し、また説明が不十分であった点をより詳しく書き直しました。
1 次元多様体の分類
yamyamtopo
概要
1次元多様体の分類定理を証明する。
すなわち、距離化可能性を仮定しない
連結1次元多様体は、円周 S1，実数直線 R，開いた長い半直線 L+，長い直線 L のいずれ
かと同相になることを証明する。
URLﾘﾝｸ(ja.wikipedia.org)
位相多様体
多様体の分類
曲線（1次元多様体）
詳細は「1次元多様体」を参照
任意の空でないパラコンパクト連結1次元多様体は R か円周に同相である。連結でないものは単にこれらの直和である。
URLﾘﾝｸ(ja.wikipedia.org)
曲線 （1次元多様体から転送）
URLﾘﾝｸ(en.wikipedia.org)
Curve
Topological curve
If the domain of a topological curve is a closed and bounded interval
I=[a,b], the curve is called a path, also known as topological arc (or just arc).