|
|
本帖最后由 195912 于 2017-4-6 04:38 编辑
"初等几何的实践性公理体系"点评
本帖作者通过360导航发现"第九章 初等几何的实践性公理体系,作者zvckjz",感觉稀奇,特与大家一起分享 .以下的定义,公理是原著的复制,粘贴 .
定义1 只有位置而没有大小的点叫做理想点. 满足一定“误差界要求”的有大小但其大小可以忽略不计的点叫做近似点. 设{ε_n=1/10^n } 为以0 为极限的误差界序列,我们称:随着这个序列逐步得到的、能近似表达一个理想点位置的近似点序列为全能近似点列(简称为全能近似点)。
点评 :
— . 定义必须遵守的规则:
1. 定义必须是相应 、相称的 。
2. 不能循环定义 。
这里 "定义1"没有严格遵守"定义规则2",
二 。“设{ε_n=1/10^n } 为以0 为极限的误差界序列”
而 ”{ε_n=1/10^n }“的上确界为 :
ε_0=1/10^0=1
这与原著 关于自然数的定义相悖 .
所以,"定义 1"是没有理论依据的。
公理1 随着误差界趋向于零,全能近似点列的极限是一个唯一的理想点。
点评:
因为定义1没有理论根据,"理想点"没有意义,所以"公理1"没有理论根据。
定义2 对于一个给定的判断线段粗细和长度最短(即最直、没有弯曲)的误差界ε和两个理想点,通过表达这两个理想点的两个近似点之间的拉得足够紧(即足够直)和足够细的线或发散角足够小的光束叫做连接这两点的足够准近似现实直线段;其中长度大于足够大数n的足够长的近似现实直线段叫做为近似直线。对于以0 为极限的误差界序列 和对于无限大序列 的无限远离着的两个理想点,随着这个序列逐步得到的后一个直线段含有前两个理想点的后一个比前一个更细、更长、拉得更紧的近似现实直线段序列叫做全能近似直线列。其中经过任意两个确定的理想点之间的近似直线段序列叫做全能近似直线段列。
点评:
作者zvckjz想定义什么?因为定义1没有理论根据,"理想点"没有意义,所以"定义2"没有理论根据。
公理2 全能近似直线序列的极限是一条唯一的理想直线。其中理想直线上任意两个不同的理想点之间的部分叫做理想直线段。理想直线的长度是一个与无穷集合元素个数类似的,与延长方法有关的非正常实数+∞,它不能被看作是“非标准分析”中的实无穷大数。
点评:
因为"理想点"没有意义,定义2没有意义 , 所以"公理2"没有理论根据 .
定义3 若以理想点A、B为端点的近似直线段与以理想点C、D为端点的近似直线段在某个误差界ε之下,经过近似的刚体移动后可以近似地叠合,则称:理想线段AB与理想线段CD是近似合同的,记作 。AB≅CD
点评:
因为"理想点"没有意义,定义 3 根据没有意义的概念来定义理想线段,这样理想线段 AB也没有意义,所以定义 3 没有意义。
定义4 设 {ε_n }是“以零为极限”的误差界序列,对{ε_n } 中的任一误差界 ε_n,在理想直线上做出与理想线段CD近似合同的近似线段 A_nB_n,若{ A_n}、{B_n} 的极限分别为理想点A、B则称近似线段序列{A_nB_n} 的极限线段AB为与理想线段CD是理想合同的理想线段. 记作:AB≡CD。
点评:
因为定义 3 没有意义,即理想线段 AB没有意义,所以定义 4没有意义。
|
|