不定积分定义的相关问题探讨.docVIP

不定积分定义的相关问题探讨 　　摘 要：在当前的数学研究体系中，不定积分定义是相关专家学者普遍研究的一个问题，但现阶段所提出的定义，无论是“一个函数族”，还是“所有原函数”都无法将不定积分完整的表述清楚，在性质以及运算等方面，都存在一些不可避免的问题。本文便以不定积分定义为研究基础，从性质推证与运算过程等两个方面，研究不定积分定义的相关问题。 　　关键词：不定积分；定义；问题 　　在人们进行数学推理的过程中，需要以数学概念为依托，数学概念的合理性会在很大程度上对数学推理以及数学运算产生影响，从根本上讲，不定积分这一概念属于高等数学中不可或缺的概念之一，但当前的定义中存在一定程度上的缺陷，导致在进行性质推证与运算的过程中存在一些问题，不利于学习，因此，需要对这些问题进行深入探讨，并对当前不定积分定义进行恰当修正。 　　一、不定积分定义 　　现阶段，在很多教材中，不定积分定义主要来源于原函数及其结构，具体定义如下： 　　在区间Ⅰ中，f [（x）]的不定积分是这一区间中的所有原函数，将其表示成为[∫]f [（x）]dx。如果F [（x）]属于f [（x）]中的原函数之一，那么便有公式： 　　[∫]f [（x）]dx = [F（x）]+C 　　上式中，C表示的是随意一个常数。在上述定义的基础上，[∫]f [（x）]dx所表示的实际上是一个集合： 　　[∫]f [（x）]dx = { F [（x）]+c：F’ [（x）]=f [（x）]，x ∈Ⅰ} 　　通过上述定义方法，在对不定积分进行性质推证和运算的过程中，便会出现一些问题[1]。 　　二、性质推证问题 　　在进行性质推证的过程中，主要问题主要表现如下： 　　（[∫]f [（x）]dx ）’=f [（x）] 　　上述公式主要证明的是积分与求导两种运算相互可逆，另外，还可以对不定积分所呈现出来的最终运算结构进行有效验证。当前存在的问题是：（[∫]f [（x）]dx ）’ 究竟是什么意思？一种说法是对集合求导，而另一种说法是对函数求导[2]。 　　如果是前者，则缺少对集合导数相关概念的论述，求导更是无从谈起；如果是后者，虽然存在函数导数的相关概念，求导方法也可以运用，不过从定义中来看，[∫]f [（x）]dx实际上属于集合，并不属于函数，所以，不能通过函数求导所运用的相关公式和方法。 　　在这种条件下，一些教材中不得不将（[∫]f [（x）]dx）’ 定义成求导整个集合中的函数，这样才从一定程度上解决了这一问题，但从根本上讲，在推导不定积分性质时，还会面临相关问题。 　　除上述性质以外，不定积分还存在另一个性质： 　　[∫][f [（x）]±g [（x）]]dx = [∫]f [（x）]dx±[∫]g [（x）]dx 　　一般情况下，教材中只说明上述公式是成立的，但却缺乏对上述公式的证明，虽然一部分教材中提出了通过“集合相等”的方式，证明公式的左右两边存在包含关系，不过证明过程却没有明确给出。 　　从上文所述的定义中可以看出，如果运用“集合相等”的方式进行推证，是存在逻辑问题的。上式中的右半部分，可以表示两种意思：其一为两个集合进行相加或相减运算；其二为两个集合中的元素进行相加或相减运算[3]。 　　如果是前者，则只能够进行差运算，所以，两个集合之间存在包含关系，以如下公式为例： 　　[∫][f [（x）]±g [（x）]]dx ? [∫]f [（x）]dx±[∫]g [（x）]dx 　　假设 　　H [（x）]=[F（x）]±G [（x）]∈[∫][f [（x）]±g [（x）]]dx 　　那么，可以通过 　　H’ [（x）]=F’ [（x）]±G’ [（x）]=f [（x）]±g [（x）] （1） 　　得到 　　H [（x）]∈[∫]f [（x）]dx±[∫]g [（x）]dx 　　所以，需要证明下述两个公式中，有一个是成立的即可： 　　H [（x）]∈[∫]f [（x）]dx （2） 　　H [（x）]∈[∫]g [（x）]dx （3） 　　由于两者的推理方式基本相同，因此，本文以（2）式为例。如果假设公式（2）是成立的，便能够得出H’ [（x）]=f [（x）]，但其和公式（1）存在偏差；如果假设上述两个公式都成立，便能够得出H’ [（x）]=f（x）=g [（x）]，该结果也是不成立的，所以，无法得出命题开始提出的包含结论。 　　如果是后者，也同样不能进行相应的推证与运算。所以说，通过不定积分定义，是无法实现其性质推证的。现阶段，很多情况下都选择默认前者，但其在概念上并不合理，在理解过程中也存在一些问题。 　　三、运算过程问题 　　在对不定积分进行求解时，运用上述定义，也会产生一些运算方面的问题，比