>
举例证明:
这里我们取两个互相平行的向量a和b,即a和b的夹角为0°,则a×b=0;同理,再取一个向量c,让c=(d+λb);则a×c=a×(d+λb)=a×d+a×λb,因为a×b=0,所以a×c=a×(d+λb)=a×d+0=a×d,即=c,已知λ可以取任意值,那么向量c依然不是唯一确定的.
综上所述,运用乘法的逆运算进行计算所得到的结果均是不确定的,因此向量的除法是不存在的.有人又产生了这样的疑问,不确定的结果为什么就不能作为商呢?下面从数学推理和函数的角度来说明这个问题.
三、数学的确定性
1.数学推理的确定性
正确的推理加上正确的前提条件可以使人们做出正确的判断,得到正确的结论.数学推理往往从一些不证自明的定理出发推出其他定理的正确性,这表明演绎推理的前提条件是确定的,那么由此推导出的结论必然具有确定性[4].
数学家S.T.Sanders的研究表明:目前普遍认可的数学特征是:推理的确定性和结论的一致性.很显然,只有存在数学的确定性,才意味着根据此结论推导出来的其他结论也是确定的.他认为,在推理过程中只要具备以下几个条件就可以说明推理的过程和结论具有确定性.
(1)每一个被应用的元素(数、量或者运算),有且只有一个确定的值;
(2)这些符号所代表的值是被普遍接受的;
(3)每一个运算符号都有唯一确定的意义;
(4)这些运算符号的意义也被普遍接受;
(5)模糊的或者不确定的元素不能出现在推理过程中.
如果忽视这些因素或者不承认这些因素,那么整个推理过程就不存在确定性.从古至今演绎推理(也称三段论法)是人们进行逻辑推理的基础,在演绎推理过程中出现丝毫的不确定,数学家们都将致力修正.现在用三段论法进行推理,检验向量的除法能否存在.
三段论的推理模式为:
(1)大前提
(2)小前提
(3)结论
人们都认可的一个大前提是:如果两个除法算式的被除数和除数都相等,那么算式的商也相等.
对于向量的除法小前提可以分为两种情况,第一种:被除数为实数,第二种:被除数为向量.
在这个推理过程中,由同一个假设得到了两个结论,违背了运算结果的唯一性原则,导致数学推理的不确定性,因此向量除法是不能存在的.
2.函数的确定性
从函数的角度也可以说明这个问题,先看一下函数的定义:
函数的传统定义:在某一个变化过程中有两个变量x和y,如果对于在某一个范围内的任一个x的值,都有唯一的y值与它对应,则称y是x的函数,x叫做自变量,y叫做因变量.
近代定义:给定两个集合A和B,若对于A中的每一个元素x,按照某一对应关系f,在B中都有唯一确定的一个元素y与之对应,则称f为集合A上的一个函数,记作f:A→B.集合A为函数的定义域,与A中元素对应的B中元素y构成的集合成为函数的值域.
函数的两个定义本质上是一致的,传统定义是从运动变化的观点出发,而近代定义是在从集合的观点出发,其实质都是从非空集合A到非空集合B的一个特殊的对应.对于非空集合A中每一个确定的值,非空集合B中都有唯一确定的值与之对应.自变量和因变量只能是一对一的关系或者多对一的关系,不可能是一对多的关系,这是因为函数的概念是从运动的研究中产生的,每个时刻只能对应一种运动状态,不可能对应多种状态,所以函数具有唯一确定性.
这里可把除法运算看作一个函数,若m÷a=x,把商看作函数值,那么商是由被除数和除数这两个自变量所唯一确定的,由两个数确定一个数,是二元函数.只要被除数和除数发生改变,那么会对应得到另一个唯一确定的商.如果把被除数和除数中的一个固定了,那么可以把除法的运算看作一元函数,商就被另一个数所确定.可是在这两种情况下,向量的除法均得不到唯一确定的函数值,上一页 [1] [2] [3] 下一页
|
