这个概念非常重要,因为如果你想这样做数学 严格你只能使用你拥有的术语证明d定义明确。具有讽刺意味的是这个学期很难定义,因为任何这样做的尝试都会显得愚蠢和同义反复。以下是我的尝试:A类财产定义明确,如果定义是足够的来确定它独特的利。
听起来很明显,也没有什么信息,不是吗?也许一些例子会有所帮助。
我们可能想定义一个半方形功能学生:问->问,即一个需要理性的并返回一个有理数。我们将S(x)定义为:“将x写成p/q,其中p,q为整数s.则s(x)=p2/q”。
这个运算没有什么意义,例如取x=2。那么x=2/1,那么S(2)=4。但我们也可以写x=4/2,得出S(2)=8。这表明,S的定义不足以唯一地确定S(x)。S的定义不明确,因此写S(x)是没有意义的。
我们当然想为理性定义的一个属性是总和对于有理数x,y定义x+y如下:“写x=a/b,y=c/d,其中a,b,c,d是整数。然后x+y=(ad+bc)/bd”。(此定义是整数的加法和乘法。)
这似乎是完全合理的,但在我们可以用“和”这个词来表示理性之前,我们必须确保属性确实定义得很好。
假设a/b=a'/b',c/d=c'/d'。然后
(a'd'+b'c')*bd=a'b'd+b'bc'd=ab'd+b'bcd'=(ad+bc)*b'd'=>(a'd+b'c')/b'd'=
这表明两个有理数之和为独立的其中代表我们选择整数。因此,我们对两个理性之和的定义是明确的(前提是我们已经确保整数的和和和乘积是明确的)。所以我们可以高兴地添加两半和季度不用担心我们这样做会意外证明0=1。