几何度量
D.希尔伯特建立的欧几里得几何的公理体系
几何度量是在D.希尔伯特建立的欧几里得几何的公理体系(见欧几里得几何学)的基础上,线段度量的理论安排在连续公理之后,是以结合公理、顺序公理、合同公理、连续公理等四组公理为理论基础而进行论述的。
公理体系
在D.希尔伯特建立的欧几里得几何的公理体系(见)
此数列的极限为0。因而前两数列有相同的极限。这样,就以此极限定义为矩形的面积。依此可证矩形的面积等于其两邻边长度之积。
关于圆周长度与圆面积,在初等几何中是这样来定义的:由于一个圆的内接正n边形和外切正n边形,当边数无限倍增时,一系列的内接正多边形的周的长度构成一无穷递增数列,一系列的外切正多边形的周的长度构成一无穷递缩数列,这两数列有相同的极限。这样,就以此极限定义为圆周长度。
同样,两系列的多边形的面积也分别构成一无穷递增数列和一无穷递缩数列。这两数列也有相同极限。这样,就以此极限定义为圆的面积。
根据上述定义,可证明圆周长度C=2πr;圆面积S =πr,式中r为圆的半径;π为圆周率。
关于简单多面体体积的论述,均仿简单多边形面积的论述。
关于球的表面积和体积的论述,均仿圆周长度和面积的论述。
参考资料
最新修订时间:2023-10-19 21:49
目录
概述
参考资料