流形上的散度公式证明-关于抽象向量场,和式极限,积分以及Riemann和的讨论[2016版].pdf

关于抽象向量场、和式极限、积分 以及Riemann 和的讨论 杨科,2014 年12月,2016年5 月于成都,电子科技大学 流形上的散度公式和式极限证明过程中,求积分向量场在抽象单连通可定向闭合曲面 每一分割单元的个别对应值固然是一种理想状态,但是其前提条件是积分向量场必须事先 给定(即积分向量场必须为形如[x,x*z,y^2]之类的有具体表达式的函数). 在积分向量场未被给定(即积分向量场为形如[P(x,y,z),Q(x,y,z),R(x,y,z)]的 抽象函数)的情况下,其在抽象单连通可定向闭合曲面每一分割单元的个别对应值在数值上 是不存在的; 固然,在积分向量场未被给定的情况下,可以通过设置变量下标的方法(即设置 [P(x ,y ,z ),Q(x ,y ,z ),R(x ,y ,z )] , 1 1 1 1 1 1 1 1 1 [P(x , y ,z ),Q(x , y ,z ),R(x , y ,z )] , 2 2 2 2 2 2 2 2 2 ... [P(x , y ,z ),Q(x , y ,z ),R(x , y ,z )] ) n n n n n n n n n 获得其在抽象单连通可定向闭合曲面每一分割单元的个别对应值. 但是上述对象只是一种人为的设定(甚至可以被理解为无中生有的设定). 因为,公式证明的已知条件,只有积分曲面表达式:   [a sin(u)cos(v),b sin(u)sin(v),c cos(u)], u[0, ], [0,2 ] 和积分向量场表达式: [P(x,y,z), Q(x,y,z), R(x,y,z)] 也就是说,在证明的已知条件(即逻辑推导运算的起始点)中没有向量场的带变量下标 的被分割值,在证明的逻辑推导运算中也没有直接衍生出 量场的带变量下标的被分割值 [P(x ,y ,z ),Q(x ,y ,z ),R(x ,y ,z )] , 1 1 1 1 1 1 1 1 1 [P(x , y ,z ),Q(x , y ,z ),R(x , y ,z )] , 2 2 2 2 2 2 2 2 2 ... [P(x , y ,z ),Q(x , y ,z ),R(x , y ,z )] n n n n n n n n n 也就是说,上述表达式只是人为设定的数据格式,而不是真正的运算值. 如果将这种人为设定的数据格式作为继续逻辑推导运算的依据,则整个逻辑推导运算 过程必然陷入混乱状态,导致不能运算、无结果值的情况[例如,可用“积分几何与场论 (5)15”的 Waterloo Maple 程序模板验证]. 也就是说,上述人为设定的数据格式并没有与证明过程的逻辑上下文形成因果关系链, 从而与整个公式证明的逻辑推导运算过程无关. 正如前述,在积分向量场本身未被给定的情况下,积分向量场在抽象单连通可定向闭合 曲面每一分割单元的个别对应值在数值上是不存在的. 附带地说明,积分向量场本身未被给定,并不影响积分公式的证明.例如,在传统的直角 坐标系Остроградский-Gauss 公式证明中,积分向量场同样未被给定. 也就是说,在抽象单连通可定向闭合曲面每一分割单元,抽象向量场 [P(x,y,z), Q(x,y,z),R(x,y,z)]只具有形式逻辑的意义,只具有连接逻辑上下文的意义,而没有 数值的意义. 而在形式逻辑的意义上,抽象向量场[P(x,y,z),Q(x,y,z),R(x,y,z)]在其抽象 单连通可定向闭合曲面定义域,局部表达式(在定义域某一分割单元的表达式)与整体 表达式是一致的. 形象的比喻,世界的东方有一片土