直线公理的内容是经过两点只有⼀条直线或者两点确定⼀条直线；两条直线相交只有⼀个交点。因为直线是不定义的名词，对直线概念的理解往往靠上述的基本性质。
直线的相关公理
直线的相关公理——阿基⽶德公理
在抽象代数和分析学中，以古希腊数学家阿基⽶德命名的阿基⽶德公理（⼜称阿基⽶德性质），是⼀些赋范的、域和代数结构具有的⼀个性质。粗略地讲，它是指没有⽆穷⼤或⽆穷⼩的元素的性质。由于它出现在阿基⽶德的《论球体和圆柱体》的公理五，1883年，奥地利数学家Otto Stolz赋予它这个名字。
这个概念源于古希腊对量的理论；如⼤卫·希尔伯特的⼏何公理，有序、有序域和局部域的理论在现代数学中仍然起着重要的作⽤。什么是自然数
阿基⽶德公理可表述为如下的现代记法：对于任何实数，存在⾃然数有n<x。
在现代实分析中，这不是⼀个公理。它退却为实数具完备性的结果。基于这理由，常以阿基⽶德性质的叫法取⽽代之。
简单地说，阿基⽶德性质可以认为以下⼆句叙述的任⼀句：给出任何数，你总能够挑选出⼀个整数⼤过原来的数。给出任何正数，你总能够挑选出⼀个整数其倒数⼩过原来的数。
发布评论