直线和平面的良定义
数学吧
全部回复
仅看楼主
level 12
在各级教材上,直线和平面一般来说都不是良定义的。我想了一个妙招来定义它,大家来看一下是不是良定义。
首先定义点:几何图形最基本的元素。这个没有良定义的好办法。
距离:表示点与点位置关系的数量。
球面:取一个几何图形上一点O,保持该点位置不变,让几何图形自由运动,图形上另一点A的轨迹,叫做球面。
公理1:两个球面的位置关系跟两个球心的距离有关,d<R-r内含,d=R-r内切,R-r<d<R+r相交,d=R+r外切,d>R+r外离。
先写这么多,大家看一下这些是不是良定义。
2026年08月04日 14点08分 1
level 12
佔楼。
2026年08月04日 14点08分 2
level 12
佔二楼。
2026年08月04日 14点08分 3
level 12
“距离表示位置关系”
2026年08月04日 14点08分 4
level 12
接着讲。
定义曲线:设L是一个点集,如果存在实数集上的一个连续区间I,可以建立映射l:I→L,这样点集L内的任意一点都可以表示为l(x),设X_0=l(x_0)是其中一点,引入函数ρ(x),表示点X=l(x)与X_0的距离,如果函数ρ(x)连续,那么这样的点集L叫做一条曲线。
大家再看一下这个定义是不是良定义?
2026年08月05日 10点08分 5
@💦水火之容🔥 按你的定义,实心的正方形也是曲线哦(见皮亚诺曲线)
2026年08月06日 09点08分
我认为,同胚于联通的一维流形的点集就是一条曲线
2026年08月06日 09点08分
@神圣之神1 那就是应该定义为有序点集。
2026年08月06日 09点08分
@神圣之神1 那一维奇异单形呢
2026年08月07日 05点08分
level 9
见Hilbert的几何公理化体系
2026年08月06日 07点08分 7
@💦水火之容🔥 你说的良定义是什么意思,满足某些性质的对象存在且唯一?那一般得构造才能证明存在性。直线的存在等价于实数系的存在,Hilbert是给过一个定义的(戴德金完备的阿基米德有序域,定义为直线或者实数),他证明了这是唯一的(如果存在),但是他不能证明存在性。事实上哥德尔证明了这是不可能的(第二不完备定理),hilbert的设想是不可能实现的
2026年08月06日 08点08分
希尔伯特没有给出良定义。
2026年08月06日 07点08分
@💦水火之容🔥 当然,如果你愿意考虑更大的公理体系(比如ZFC),这是容易的,从有理数出发做一个戴德金分割/cauchy列都可以
2026年08月06日 08点08分
@苦咖啡敏cP 应该就是zfc
2026年08月06日 08点08分
level 6
平面上角的定义和性质
2026年08月06日 09点08分 9
首先说明,角是定义在两个单位向量之间的,并且是有向的,顺时针为正,逆时针为负,相差2pi的两个角度认为是相同的。为什么要定义有向角呢?这样如果角1是单位向量1到2的有向角,角2是向量2到3的有向角,角1加角2就是向量1到3的有向角,不用考虑向量2在1和3之间还是之外
2026年08月06日 09点08分
@神圣之神1 反了,逆时针为正
2026年08月06日 09点08分
level 13
放弃吧,没必要。有直观就好了,严格的定义还是得回归集合论和分析先整出实数域来,再整出内积空间来,最后整出仿射空间来。
2026年08月06日 12点08分 10
1