贡献者: 待更新
(本文根据 CC-BY-SA 协议转载自原搜狗科学百科对英文维基百科的翻译)
在几何中,球极平面投影是一种将圆球面投影到平面上的特殊映射(函数)。该映射的定义域为除投影点外的整个球面。在定义域内,该映射具有光滑性、双射性和共形性。共形性意味着其为保持曲线相交角度不变的映射。但是,该映射既不保距离也不保面积:也就是说,其既不能维持映射后图形的距离不变,也不能维持映射后图形的面积不变。
直观地说,球极平面投影是一种用平面来描绘球面的方法,但该方法在图案品质方面,也包含一些不可避免的妥协。因为球面和平面出现于数学及其应用的诸多领域,所以球极平面投影也同样很常见。在各个领域,例如复分析、制图学、地质学、摄影等,球极平面投影都有广泛的应用。在实践中,球极平面投影通常是通过计算机或手工在一种称为立体球面投影网的特殊的方格纸上绘制完成,该立体球面投影网简称立体网,或乌尔夫网。
球极平面投影为希帕克斯(Hipparchus)、托勒密(Ptolemy),甚至可能更早期的古埃及人所知。其最初被称为 “平面天体投影”。[1] 托勒密的著作《平球论》(Planisphaerium)是现存最古老的描述球极平面投影的文献,其最重要的用途之一就是描绘天体图。[1] “平面天体投影” 这个术语仍然用于指代这样的图表。
在 16 世纪和 17 世纪,球极平面投影的赤道面通常被用于东半球和西半球地图上。通常认为,1507 年瓜尔特里厄斯·路德(Gualterius Lud)绘制的地图[2] 使用的就是球极平面投影,包括后来的让·罗兹(Jean Roze)(1542 年)、鲁莫尔德·墨卡托(Rumold Mercator)(1595 年),以及其他许多人绘制的地图。[3] 而在星图上,这个赤道面也已经被像托勒密这样的古代天文学家利用了。[4]
弗朗索瓦·德阿吉隆(François d'Aguilon)在他 1613 年的著作《光学六册:适用于哲学家和数学家》(Opticorum libri sex philosophis juxta ac mathematicis utiles)中给球极平面投影取了现在的名字。[5]
1695 年,在兴趣的驱使下,埃德蒙多·哈雷(Edmond Halley)发表了第一篇关于星图共形性的数学证明。[6] 在证明中,他使用了由他的朋友艾萨克·牛顿(Isaac Newton)在当时刚刚建立起来的微积分工具。
三维空间
对于
在笛卡尔坐标系中,球面上的坐标
一些作者[7] 将球极平面投影定义为从单位球面上的北极点 (0, 0, 1) 向 z = −1 平面的投影,该平面与单位球面的南极点(0, 0, −1) 相切。这种极点切面所得到的
还有其他一些作者[8] 使用半径为 12 的球面和 z = − 12 平面来定义球极平面投影。在这种情况下,计算公式为:
一般来说,可以用从球面上的任意一点
那么在这种情况下,对于球面上除
更一般地,球极平面投影可以应用于
前面部分定义的第一个球极平面投影方法是将单位球面的 “南极点”(0, 0, −1)映射到平面上的(0, 0)点,将赤道映射到平面上单位圆,南半球面映射到单位圆内区域,北半球面映射到单位圆外区域。
该投影方法在投影点
笛卡尔坐标中,对于球面上一个点
在坐标 (X, Y) 处给出的度量可以根据下式计算得到:
从球面到平面的映射不能既保角又保面积。如果要实现既保角又保面积,那么它将是一个局部等距图,并将保高斯曲率。而球面和平面有着不同的高斯曲率,所以球面到平面的映射不可能既保角又保面积。
球面上不通过投影点的圆被投影为平面上的圆。球面上通过投影点的圆被投影为平面上的直线。这些直线有时被认为是通过无穷远点的圆,或半径为无穷大的圆。
平面上的所有直线,通过球极平面投影的逆变换为球面上的圆后,都相交于投影点。平面内不相交的平行线则变换为在投影点处相切的圆。而平面内的相交线变换为球面上相交于两个点的圆,其中一个交点为投影点。(类似的结论也适用于实射影平面,但与那里的相交关系有所不同。)
球面上的恒向线映射到平面上所得到的曲线具有以下形式:
a 代表了恒向线的 “紧密度”。因此,球面上恒向线对应于平面上的对数螺线。这些螺旋与平面上的径向线等角相交,就像恒向线与球面上的经线等角相交一样。
球极平面投影以一种简单的对应方式与平面反演相关联。令球面上有
换句话说,如果:
那么称
球极平面投影图可以由计算机根据上面给出的显式公式进行绘制。然而,当手工绘制时,这些公式是不实用的。作为替代,通常是使用专门为这项任务设计的方格纸。这种特殊的方格纸被称为立体网或乌尔夫网,以俄罗斯矿物学家乔治(尤里·维克托罗维奇)伍尔夫(George (Yuri Viktorovich) Wulff)的名字命名。[11]
这里显示的乌尔夫网是以赤道上的点为中心的半球(如行星的东半球或西半球)纬线和经线网格的球极平面投影。
在图中,通过比较网格中心附近的网格扇区和最右边或最左边的网格扇区,可以看出球极平面投影的面积扭曲特性。这两个扇区在球面上有着相同的面积。但在平面上,后者的面积几乎是前者的四倍。如果网格变得更细,这个比例将收敛于 4。
在乌尔夫网,纬线和经线的图像以直角相交。这种正交性是立体投影的保角特性的结果。(然而,保角特性比该特性更强。并非所有保持纬线和经线正交性的投影都是保角的。)
举一个使用乌尔夫网的例子,想象两个薄纸上的乌尔夫网副本,一个在另一个上面,对齐并保证它们的共同中心始终重合。令
要绘制角度不是类似于 60°和 50°的整数的其他点,必须在最近的网格线之间进行可视化的插值。间距小于 10°的网将有助于这些点的寻找。2°的间距是很常见的。
要根据球面上两点的球极平面投影图找到球面上两点之间的中心角,需将该图覆盖在乌尔夫网上,并围绕中心旋转该图,直到这两点位于子午线上或附近。然后通过计算子午线上的网格线来测量它们之间的角度。
虽然任何体球极平面投影都会忽略球面上的一个点(投影点),但是可以使用来自不同投影点的两个投影来映射整个球面。换句话说,球面可以被平面上的两个球极平面投影参数化(投影的逆)覆盖。可以通过参数化在球面上诱导相同的方向。它们一起将球面描述为一个定向曲面(或二维流形)。
这种结构在复分析中具有特殊的意义。实平面上的点
三维空间中穿过原点的所有直线的集合形成了一个称为实射影平面的空间。这个空间很难想象,因为它不能嵌入到三维空间中。
然而,“几乎” 可以将其想象为一个圆盘。穿过原点的任何直线都与南半球面(
此外,通过原点的每个平面与单位球面相交于一个大圆,称为平面的 “迹”。这个圆在球极平面投影下映射成一个圆。所以投影让我们把平面想象成圆盘中的圆弧。在计算机出现之前,有大圆的球极平面投影通常要画出需要使用横杆圆规的大半径圆弧。而电脑的出现使这项任务变得容易了很多。
与每个平面进一步相关联的是一条独特的线,称为平面的极线,它穿过原点并垂直于平面。这条线可以像穿过原点的任何线一样绘制成圆盘上的一个点。所以球极平面投影也让我们把平面想象成圆盘上的点。对于涉及许多平面的图,绘制它们的极线能得到比绘制它们的迹更不混乱的图像。
如图所示,这种构造可用于可视化晶体学和地质学中的晶向数据。
球极平面投影也应用于多胞体的可视化。在施莱格尔图中,一个 n-维正多胞体在
在初等算术几何中,单位圆的球极平面投影提供了一种描述所有原始勾股数的方法。具体地说,从北极点
三角函数对
制图学的基本问题是从球面到平面的地图不能同时准确地表示角度和面积。一般来说,对于统计应用,优选保面积投影地图,而对于导航,优选保角(共形)投影地图。
球极平面投影属于第二类。当投影以地球的北极点或南极点为中心时,它有额外的理想属性:它将经线映射为从原点呈射线状发出的直线,并将纬线映射为以原点为中心的圆。
球极平面投影是唯一能将球面上的所有圆映射为平面上的圆的投影。这一特性在以环形山为典型特征的行星测绘中很有价值。通过投影点的圆的集合具有无穷大的半径,因此退化为直线。
在晶体学中,晶体轴和面在三维空间中的取向是一个中心几何问题,例如在解释
在电子衍射中,菊池线对表现为装饰晶格面迹线和埃瓦尔德球面之间交叉点的带,从而提供实验法获得晶体的球极平面投影的方法。菊池模型映射于互易空间中,[12]用于直接空间弯曲轮廓的条纹可见度图[13],从而在透射电镜中作为探索晶体取向空间的路线图。
出于多种原因,结构地质学的研究人员关注平面和直线的方向。岩石的叶状结构是一种平面特征,通常包含一种称为线理的线性特征。类似地,断层平面是一个平面特征,可能包含线性特征,如滑擦面。
可以使用上述线和平面可视化部分的方法绘制这些不同比例的线和平面的方向。如同在晶体学中一样,平面通常由它们的极点绘制。与晶体学不同的,通常用南半球来代替北半球(因为所讨论的地质特征位于地表之下)。在这种情况下,球极平面投影通常被称为等角下半球投影。也会使用由朗伯方位等面积投影定义的等面积下半球投影,特别是当该图要进行后续的统计分析时,如密度等值线。
一些鱼眼镜头使用球极平面投影来捕捉广角视图。[14]与使用等面积投影的更传统的鱼眼镜头相比,靠近边缘的区域保持它们的形状,直线不太弯曲。然而,使用球极平面投影的鱼眼镜头通常制造成本更高。[15]图像重映射软件,例如 Panotools,允许自动将照片从等面积鱼眼重映射到球极平面投影。
球极平面投影已经用于绘制球形全景图。这种效果也被称为 “Little planet” (当投影中心是最低点时)或 “Tube”(当投影中心是最高点时)。[16]
相较于其他方位投影方法,使用球极平面投影的全景图映射的流行是由于该投影方法的保形性所导致的。[16]
[1] ^Snyder (1993)..
[2] ^According to (Snyder 1993), although he acknowledges he did not personally see it.
[3] ^Snyder (1989)..
[4] ^Brown, Lloyd Arnold : The story of maps, p.59..
[5] ^According to (Elkins, 1988) who references Eckert, "Die Kartenwissenschaft", Berlin 1921, pp 121–123.
[6] ^Timothy Feeman. 2002. "Portraits of the Earth: A Mathematician Looks at Maps". American Mathematical Society..
[7] ^Cf. Apostol (1974) p. 17..
[8] ^Gelfand,Minlos & Shapiro(1963).
[9] ^Cf. Pedoe (1988)..
[10] ^Cf. Shafarevich (1995)..
[11] ^Wulff, George, Untersuchungen im Gebiete der optischen Eigenschaften isomorpher Kristalle: Zeits. Krist.,36, 1–28 (1902).
[12] ^M. von Heimendahl, W. Bell and G. Thomas (1964) Applications of Kikuchi line analyses in electron microscopy, J. Appl. Phys. 35:12, 3614–3616..
[13] ^P. Fraundorf, Wentao Qin, P. Moeck and Eric Mandell (2005) Making sense of nanocrystal lattice fringes, J. Appl. Phys. 98:114308..
[14] ^Samyang 8 mm f/3.5 Fisheye CS Archived 2011-06-29 at the Wayback Machine.
[15] ^"Samyang 8 mm f/3.5 Aspherical IF MC Fish-eye". lenstip.com. Retrieved 2011-07-07..
[16] ^German et al. (2007)..