Tra cứu

付き位相多様体）である。また、第一可算公理は満たすが、第二可算公理を満たさず、可分ではない（したがって、多様体の定義に可分性を課しているような文献であれば、長い直線は多様体とは言えない）。 長い直線と長い半直線は、（非可分な）可微分多様体（半直線の場合は境界付き可微分多様体の構造を持つこともできる。