直线和平面的良定义
数学吧
全部回复
仅看楼主
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
神圣之神1
@💦水火之容🔥
按你的定义,实心的正方形也是曲线哦(见皮亚诺曲线)
2026年08月06日 09点08分
神圣之神1
我认为,同胚于联通的一维流形的点集就是一条曲线
2026年08月06日 09点08分
💦水火之容🔥
@神圣之神1
那就是应该定义为有序点集。
2026年08月06日 09点08分
法尔廷斯P
@神圣之神1
那一维奇异单形呢
2026年08月07日 05点08分
level 9
苦咖啡敏cP
见Hilbert的几何公理化体系
2026年08月06日 07点08分
7
苦咖啡敏cP
@💦水火之容🔥
你说的良定义是什么意思,满足某些性质的对象存在且唯一?那一般得构造才能证明存在性。直线的存在等价于实数系的存在,Hilbert是给过一个定义的(戴德金完备的阿基米德有序域,定义为直线或者实数),他证明了这是唯一的(如果存在),但是他不能证明存在性。事实上哥德尔证明了这是不可能的(第二不完备定理),hilbert的设想是不可能实现的
2026年08月06日 08点08分
💦水火之容🔥
希尔伯特没有给出良定义。
2026年08月06日 07点08分
苦咖啡敏cP
@💦水火之容🔥
当然,如果你愿意考虑更大的公理体系(比如ZFC),这是容易的,从有理数出发做一个戴德金分割/cauchy列都可以
2026年08月06日 08点08分
神圣之神1
@苦咖啡敏cP
应该就是zfc
2026年08月06日 08点08分
level 6
神圣之神1
平面上角的定义和性质
2026年08月06日 09点08分
9
神圣之神1
首先说明,角是定义在两个单位向量之间的,并且是有向的,顺时针为正,逆时针为负,相差2pi的两个角度认为是相同的。为什么要定义有向角呢?这样如果角1是单位向量1到2的有向角,角2是向量2到3的有向角,角1加角2就是向量1到3的有向角,不用考虑向量2在1和3之间还是之外
2026年08月06日 09点08分
神圣之神1
@神圣之神1
反了,逆时针为正
2026年08月06日 09点08分
level 13
plu_icesheep
放弃吧,没必要。有直观就好了,严格的定义还是得回归集合论和分析先整出实数域来,再整出内积空间来,最后整出仿射空间来。
2026年08月06日 12点08分
10
1