关于实变量的所谓任意函数的解析可表示性.docxVIP

关于实变量的所谓任意函数的解析可表示性

K.Weierstrass

如果对于函数f(x)，每个自变量x的实数值都是明确定义的，并且f(x)是实数的连续函数，它的绝对值最终有一个上界，则众所周知，下列的等式成立。其中u表示第二个实变量，k表示独立于x和u的正量。

在这个等式中的非常明显的原理可以很容易的被推广。

假设任意一个和f(x)具有相同性质的函数Ψ(x)，其符号不变，且满足方程Ψ(-x)=Ψ(x)。此外还需满足该条件，即积分

必须有一个最终值，该最终值或许可以用ω来描述。然后我们可以设定

那么就有

在等式(1,3)的证明中，需要注意下面的内容：设a1,a2,b1,b2是正数，且b1a1,b2a2，那么就有

我用f(x1...x2)来表示f(x)在x=x1到x=x2的区间内假定的最小值和最大值之间的平均值。结合关于函数f(x)，Ψ(x)我们所做的假设，这个等式表明：如果给量x，k确定的值，并且让a1和a2彼此独立的变得无穷大，那么积分

逼近于一个确定的最终值，因此积分

是一个明确定义的值。

这确定了，若任取随意小的正数δ，则有

由此：

期中ε，ε1是正的，在0与1之间的值。

现在假设x1,x2是x的任意两个确定的值，G是f(x)的绝对值的上界，g1,g2是两个正的，可以被取的随意小的值。然后对于δ的大小，首先可以给出一个如此小的值，以至于当x在区间(x1…x2)里