Bourbaki

Proposition 2

Tag 0BW8, permanent. Cite it as [Bourbaki, Tag 0BW8].

General Topology, chapter VI, § 1. Real number space R^n

Every pp-dimensional linear affine variety in Rn\mathbf{R}^n is a closed subset of Rn\mathbf{R}^n, homeomorphic to Rp\mathbf{R}^p.

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 n≥1n \geq 1, the affine linear varieties of n−1n - 1 dimensions of Rn\mathbf{R}^n are called hyperplanes (loc. cit.).

The nn one-dimensional coordinate varieties, that is to say the nn lines passing through 00 and the nn points eie_i respectively, are called the coordinate axes. For n=2n = 2 the axis through e1e_1 is sometimes called the axis of abscissas and the axis through e2e_2 is called the axis of ordinates; the first coordinate of a point x∈R2x \in \mathbf{R}^2 is called its abscissa, the second coordinate its ordinate.

Every line DD passing through a point aa has a parametric representation t→a+tbt \to a + tb, where tt runs through R\mathbf{R} and b≠0b \neq 0; this mapping is a homeomorphism of R\mathbf{R} onto DD. The vector bb is called a direction vector of D, and its components bi(1≤i≤n)b_i (1 \leq i \leq n) are called direction ratios of D. If b′b' is another direction vector of D, there exists h≠0h \neq 0 in R\mathbf{R} such that b′=hbb' = hb.

The set of points a+tba + tb, where tt runs through the set of real numbers ≥0\geq 0, is called the closed ray (or simply ray, or half-line) with origin aa and direction vector bb (or with direction ratios bib_i). It is a closed subset of Rn\mathbf{R}^n, homeomorphic to the interval [0,+∞[[0, +\infty[ of R\mathbf{R}, and therefore connected. The line D is the union of the two rays with origin aa and direction vectors bb and −b-b respectively; these rays are said to be opposite.

By abuse of language, the set of points a+tba + tb, where tt runs through the set of real numbers >0> 0, is called the open ray with origin aa and direction vector bb; it is homeomorphic to the interval ]0,+∞[0, +\infty[ (and therefore homeomorphic to R\mathbf{R}), but is not open in Rn\mathbf{R}^n if n>1n > 1, although it is open in the line which contains it.

A line passing through two distinct points xx and yy also has a parametric representation (u,v)→ux+vy(u, v) \to ux + vy, where (u,v)(u, v) runs through the set of pairs of real numbers such that u+v=1u + v = 1. Given any two points x,yx, y (distinct or not) the set of points ux+uyux + uy, where (u,v)(u, v) runs through the set of pairs of real numbers such that u≥0,v≥0u \geq 0, v \geq 0 and u+v=1u + v = 1, is called the closed segment (or simply segment) with end-points x,yx, y. A closed segment is compact and connected, for if its end-points are distinct it is homeomorphic to the interval [0,1][0, 1] of R\mathbf{R}.

If x≠yx \neq y, the set of points ux+vyux + vy such that u>0,v>0u > 0, v > 0 and u+v=1u + v = 1 is called (by abuse of language) the open segment with end-points x,yx, y; it is homeomorphic to the open interval ]0,1[0, 1[ (and hence also homeomorphic to R\mathbf{R}). Finally the union of {y}\{y\} and the open segment with end-points x,yx, y is sometimes called the segment open at xx and closed at yy; it is homeomorphic to the interval [0,1[[0, 1[. All the segments with xx and yy 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.

Transcribed from the printed volume. Not translated.