n维球面是普通的球面在任意维度的推广。它是(n + 1)维空间内的n流形。特别地,0维球面就是直线上的两个点,1维球面是平面上的,2维球面是三维空间内的普通球面。高于2维的球面有时称为超球面。中心位于原点且半径为单位长度的n维球面称为单位n维球面,记为Sn。用符号来表示,就是:

2维球面的正交投影
3维球面的平行线(红色)、 子午线(蓝色)以及超子午线(绿色)的立体投影法。 因为立体投影法的共形特性,这些曲线彼此在交点上彼此正交(图中黄色点),如同在四维空间中一样。所有曲线都是圆;交会在<0,0,0,1>的曲线具有无限大的半径(亦即直线)。

n维球面是(n + 1)维球体的表面或边界,是n维流形的一种。对于n ≥ 2,n维球面是单连通n维流形,其曲率为正的常数。

描述

对于任何自然数n半径rn维球面定义为(n + 1)维欧几里得空间中到某个定点的距离等于常数r的所有点的集合,其中r可以是任何正的实数。它是(n + 1)维空间内的n流形。特别地:

  • 0维球面是直线上的两个点{pr, p + r};
  • 1维球面是平面上的
  • 2维球面是三维空间内的普通球面;
  • 3维球面是四维空间内的球面。

(n + 1)维空间中的欧几里得坐标

(n + 1)维空间中的点(x1, x2, ..., xn+1)定义了一个n维球面(Sn(r)),由以下方程表示:

 

其中C是中心点,r是半径。

以上的n维球面在(n + 1)维空间中存在,是n维流形的一个例子。半径为 n维球面的体积形式ω由下式给出:

 

其中*是霍奇星算子(关于讨论和这个公式在r = 1的情形下的证明,请参见Flanders (1989,§6.1))。因此,

 

n维球体

n维球面所包围的体积,称为(n + 1)维球体。如果把球体的表面包括在内,则(n + 1)维球体是封闭的,否则是开放的。

特别地:

  • 1维球体,是一个线段,是0维球面的内部。
  • 2维球体,是一个圆盘,是圆(1维球面)的内部。
  • 3维球体,是一个普通的球体,是球面(2维球面)的内部。
  • 4维球体,是3维球面的内部。

n维球体的体积

 维球面所包围的体积( 维球体的体积)由以下公式给出:

 ,

其中 伽玛函数。对于偶数  ;对于奇数  ,其中 表示双阶乘

由此可以推出,对于给定的 ,常数 的值为:

 (对于偶数n=2k),
 (对于奇数n=2k+1)。

这个(n-1)维球面的表面积是:

 

n维球面的表面积和体积之间有以下的关系:

 
 

从此可以推导出递推关系:

 

这些公式也可以直接从n球坐标系中的积分推出(Stewart 2006,第881页)。

例子

对于较小的 ,半径为  维球体体积 为如下:

  =      
  =      
  =      
  =      
  =      
  =      
  =      
  =      
  =      

但当   趋于无穷大时,  趋于0。

如果维度n不限于整数,那么n维球面的体积就是n连续函数,它的极大值位于n = 5.2569464...,体积为5.277768...。当n = 0或n = 12.76405...时,体积为1。

单位n维球面的外切超正方体的边长为2,因此体积为2n;当维度增加时,n维球面的体积与外切于它的超正方体的体积之比单调减少。

超球坐标系

我们可以定义n维空间内的坐标系统,与3维空间内的球坐标系类似,由径向坐标  个角度坐标 组成。如果 是笛卡儿坐标系,那么我们可以定义:

 
 
 
 
 
 

从中可以推出逆变换的公式:

 
 
 
 

注意最后一个角 的值域为 ,而其它角的值域为 。这个值域覆盖了整个球面。

n维空间内的体积元素可以从变换的雅可比行列式得出:

 
 

以上n维球体的体积方程可以通过积分来重新得出:

 

(n-1)–维球面的体积元素是2维球面的面积元素的推广,由以下公式给出:

 

球极平面投影

就像三维空间中的二维球面可以通过球极平面投影映射到二维平面上一样,一个n维球面也可以通过球极平面投影的n维形式映射到n维超平面。例如,半径为1的二维球面上的点 映射到 平面上的点 。也就是说:

 

类似地,半径为1的n维球面 的球极平面投影映射到垂直于 轴的n-1维超平面 

 

参见

参考文献

外部链接