仿射几何 编辑
几何上,仿射几何是不涉及任何原点、长度或者角度概念的几何,但是有两点相减得到一个向量的概念。
1
相关
完备性指公理数量不多不少正好可以推理出这门学科的全部结论;自洽性指公理系统内不存在悖论。比如仿射几何加上平行公设就成为欧几里得几何,或者加上第五公设的反命题就成为非欧几何之一,但后两者并不满足完备性要求,只有仿射几何学才是欧几里得几何类中的完备系统。一致性与哥德尔不完备定理并不矛盾,前者断言不存在既真又假的命题,而后者断言存在既不可证明又不可证伪的命题,就好比第五公设之于欧几里得几何,连续统假设之于公理化集合论,选择公理之于策梅洛-弗兰克尔集合论。
仿射空间 ,又称线性流形,是数学中的几何数学结构,这种结构是欧式空间的仿射几何特性的推广。在仿射空间中,点与点之间做差可以得到向量,点与向量做加法将得到另一个点,但是点与点之间不可以做加法。
在几何学中,平行六面体是由六个平行四边形所组成的三维立体,是一种平行多面体。它与平行四边形的关系,正如正方体与正方形之间的关系;在欧几里得几何中这四个概念都允许,但在仿射几何中只允许平行四边形和平行六面体。平行六面体的三个等价的定义为:
在几何学中,平行六面体是由六个平行四边形所组成的三维立体,是一种平行多面体。它与平行四边形的关系,正如正方体与正方形之间的关系;在欧几里得几何中这四个概念都允许,但在仿射几何中只允许平行四边形和平行六面体。平行六面体的三个等价的定义为:
完备性指公理数量不多不少正好可以推理出这门学科的全部结论;自洽性指公理系统内不存在悖论。比如仿射几何加上平行公设就成为欧几里得几何,或者加上第五公设的反命题就成为非欧几何之一,但后两者并不满足完备性要求,只有仿射几何学才是欧几里得几何类中的完备系统。一致性与哥德尔不完备定理并不矛盾,前者断言不存在既真又假的命题,而后者断言存在既不可证明又不可证伪的命题,就好比第五公设之于欧几里得几何,连续统假设之于公理化集合论,选择公理之于策梅洛-弗兰克尔集合论。
完备性指公理数量不多不少正好可以推理出这门学科的全部结论;自洽性指公理系统内不存在悖论。比如仿射几何加上平行公设就成为欧几里得几何,或者加上第五公设的反命题就成为非欧几何之一,但后两者并不满足完备性要求,只有仿射几何学才是欧几里得几何类中的完备系统。一致性与哥德尔不完备定理并不矛盾,前者断言不存在既真又假的命题,而后者断言存在既不可证明又不可证伪的命题,就好比第五公设之于欧几里得几何,连续统假设之于公理化集合论,选择公理之于策梅洛-弗兰克尔集合论。