Proposition 2
Tag 0BW8, permanent. Cite it as [Bourbaki, Tag 0BW8].
General Topology, chapter VI, § 1. Real number space R^n
Every -dimensional linear affine variety in is a closed subset of , homeomorphic to .
It is this result which is the origin of the names line and plane given to affine linear varieties of one and two dimensions in a vector space over an arbitrary division ring. We recall also that, for , the affine linear varieties of dimensions of are called hyperplanes (loc. cit.).
The one-dimensional coordinate varieties, that is to say the lines passing through and the points respectively, are called the coordinate axes. For the axis through is sometimes called the axis of abscissas and the axis through is called the axis of ordinates; the first coordinate of a point is called its abscissa, the second coordinate its ordinate.
Every line passing through a point has a parametric representation , where runs through and ; this mapping is a homeomorphism of onto . The vector is called a direction vector of D, and its components are called direction ratios of D. If is another direction vector of D, there exists in such that .
The set of points , where runs through the set of real numbers , is called the closed ray (or simply ray, or half-line) with origin and direction vector (or with direction ratios ). It is a closed subset of , homeomorphic to the interval of , and therefore connected. The line D is the union of the two rays with origin and direction vectors and respectively; these rays are said to be opposite.
By abuse of language, the set of points , where runs through the set of real numbers , is called the open ray with origin and direction vector ; it is homeomorphic to the interval ] (and therefore homeomorphic to ), but is not open in if , although it is open in the line which contains it.
A line passing through two distinct points and also has a parametric representation , where runs through the set of pairs of real numbers such that . Given any two points (distinct or not) the set of points , where runs through the set of pairs of real numbers such that and , is called the closed segment (or simply segment) with end-points . A closed segment is compact and connected, for if its end-points are distinct it is homeomorphic to the interval of .
If , the set of points such that and is called (by abuse of language) the open segment with end-points ; it is homeomorphic to the open interval ] (and hence also homeomorphic to ). Finally the union of and the open segment with end-points is sometimes called the segment open at and closed at ; it is homeomorphic to the interval . All the segments with and as end-points are connected, and the closure of each of them is the closed segment with the same end-points.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.