多元函数第四:欧式几何(2)直线,超平面,半空间,球体,球面

直线

欧式几何中一个最基本的公理是两点确定一条直线。我们都知道,这条公理对于2维和3维空间成立。n维空间中的直线,也可以用两点x1x_1x2x_2完全确定。一般地,过x1x_1x2x_2的直线是由集合
{x=tx1+(1t)x2:tR} \{x=tx_1+(1-t)x_2: t\in\mathbb{R}\}
中的点构成。特别地,当t=1t=1时,x=x1x=x_1;当t=0t=0x=x2x=x_2。若0<t<10<t<1,则xx落在x1x_1x2x_2之间。若t<0t<0t>1t>1,则xx落在x1x_1x2x_2之外,如下图。

多元函数第四:欧式几何(2)直线,超平面,半空间,球体,球面

由上图不难看到,集合
{x=tx1+(1t)x2:0t1} \{x=tx_1+(1-t)x_2: 0\leq t \leq 1\}
是端点为x1x_1x2x_2的线段。为了简便,我们通常记作
[x1,x2]={x=tx1+(1t)x2:0t1}. [x_1, x_2]=\{x=tx_1+(1-t)x_2: 0\leq t \leq 1\}.
这当然是区间符号在n维空间的拓展。类似地,我们还可以定义开区间和半开半闭区间。另外,集合
{x=tx1+(1t)x2:t0} \{x=tx_1+(1-t)x_2: t\geq 0\}
是以x2x_2为起点,过x1x_1的一条射线。这个结论在1维空间中很容易验证。因为当x1<x2x_1<x_2
{x=tx1+(1t)x2:t0}={x:xx2} \{x=tx_1+(1-t)x_2: t\geq 0\}=\{x: x \leq x_2\};
x1>x2x_1>x_2时,有
{x=tx1+(1t)x2:t0}={x:xx2}. \{x=tx_1+(1-t)x_2: t\geq 0\}=\{x: x \geq x_2\}.

超平面

有了直线的概念,超平面的概念也可以从立体集合中平面的概念推广而来。一般地,一个超平面是垂直于某条直线的直线构成的集合。我们说超平面SS与直线ll垂直,当且仅当SS中的任意直线都与直线ll垂直。我们都知道,在立体集合中,与一条直线垂直的平面有无穷多个。这些平面之间彼此平行。为了唯一地确定这个平面,需要固定平面上的一个点。nn维空间的超平面,也是用相同的方法确定的。

具体来说,设ll是过点x1x_1x2x_2的直线,超平面SSll垂直。同时,我们假设SS过点x2x_2,那么我们有
S={xRn:(x1x2)T(xx2)=0}. S=\{x\in\mathbb{R}^n: (x_1-x_2)^T(x-x_2)=0\}.
如果我们令x1x2=ax1-x_2=aaTx2=ca^Tx_2=c,那么
S={xRn:aTx=c}. S=\{x\in\mathbb{R}^n: a^Tx=c\}.
这就是超平面的标准形式。向量aa是超平面SS的法向量,因为S中的任何直线都与向量aa垂直。

特别地当c=0c=0时,SS过原点,此时SS是一个n1n-1维的子空间。当c0c\neq0时,SS是一个n1n-1维子空间的平移,我们称之为仿射。有代数基础的同学都知道,仿射与子空间的关系,其本质是陪集与子群的关系。一般来说,若S0S_0是一个子空间,那么与之平行的仿射SS可以表示成
S={x0+y:yS0}. S=\{x_0+y: y\in S_0\}.
这里x0x_0SS中的任意元素。当x0S0x_0\in S_0时有S=S0S=S_0。关于仿射的其他性质,完全可以由陪集的性质迁移而来。例如设
S={x0+y:yS0}, S=\{x_0+y: y\in S_0\},
S={x1+y:yS0}. S'=\{x_1+y: y\in S_0\}.
那么当x0Sx_0\in S'时有S=SS=S'。再如,若SS是一个仿射,那么集合
S0={xx0:xS} S_0=\{x-x_0: x\in S\}
是一个子空间,这里x0x_0SS中的任意元素。

半空间

一个超平面,将一个n维空间分割成了两部分。即
H+={xRn:aTx>c}. H_+=\{x\in\mathbb{R}^n: a^Tx>c\}.

H={xRn:aTx<c}. H_-=\{x\in\mathbb{R}^n: a^Tx<c\}.
很显然,H+H_+HH_-都不再是线性空间了。因为若xH+x\in H_+xH+-x\notin H_+。通常,我们将H+H_+HH_-称为半空间。另外,由于H+H_+HH_-是开集,所以叫做开半空间。类似地,由于集合
H+={xRn:aTxc}. H_+=\{x\in\mathbb{R}^n: a^Tx\geq c\}.

H={xRn:aTxc}. H_-=\{x\in\mathbb{R}^n: a^Tx\leq c\}.
是闭集,我们称为闭半空间。

关于开集和闭集的概念,会在拓扑中着重介绍。

球体和球面

三维空间中,一个球体是到球心的距离不大于半径的点的集合。这个概念推而广之,便是n维空间中球体的概念。对于任意的xRnx\in \mathbb{R}^n, rRr\in\mathbb{R}, 记
B(x0,r)={x:xx<r} B(x_0, r) = \{x: |x-x|<r\}
为以xx为圆心,rr为半径的开球。记
B(x0,r)={x:xxr} B^*(x_0, r) = \{x: |x-x|\leq r\}
为以xx为圆心,rr为半径的闭球。而一个球体的球面,是集合
S(x0,r)={x:xx=r}. S(x_0, r) = \{x: |x-x|= r\}.
这与三维球体的球面概念类似。