直线
欧式几何中一个最基本的公理是两点确定一条直线。我们都知道,这条公理对于2维和3维空间成立。n维空间中的直线,也可以用两点x1x_1x1和x2x_2x2完全确定。一般地,过x1x_1x1和x2x_2x2的直线是由集合
{
x=tx1+(1−t)x2:t∈R} \{x=tx_1+(1-t)x_2: t\in\mathbb{R}\} {
x=tx1+(1−t)x2:t∈R}
中的点构成。特别地,当t=1t=1t=1时,x=x1x=x_1x=x1;当t=0t=0t=0时x=x2x=x_2x=x2。若0<t<10<t<10<t<1,则xxx落在x1x_1x1和x2x_2x2之间。若t<0t<0t<0或t>1t>1t>1,则xxx落在x1x_1x1和x2x_2x2之外,如下图。
由上图不难看到,集合
{
x=tx1+(1−t)x2:0≤t≤1} \{x=tx_1+(1-t)x_2: 0\leq t \leq 1\} {
x=tx1+(1−t)x2:0≤t≤1}
是端点为x1x_1x1和x2x_2x2的线段。为了简便,我们通常记作
[x1,x2]={
x=tx1+(1−t)x2:0≤t≤1}. [x_1, x_2]=\{x=tx_1+(1-t)x_2: 0\leq t \leq 1\}. [x1,x2]={
x=tx