波尔查诺悖论破解.DOC

波尔查诺悖论破解 ——兼澄清值域概念和函数对应关系 张超回 （）摘　要：关键词： 波尔查诺0到5之间的实数通过公式y=12x/5可与0到12之间的实数构成一一对应波尔查诺波尔查诺波尔查诺的基础 值域对应悖论是映射对应悖论的雏形，它和伽利略线段对应悖论异曲同工，既是康托实数超限数的基础，又成为映射理论的基础。它们既是概念混淆的产物，又与实数理论的缺陷有关，本文以波尔查诺悖论为例，破解值域对应悖论，既推翻康托超限数理论，也为纠正实数理论做准备。 悖论破解——函数取值集合与函数取值域的混淆 取值与取值区间的混淆 为使问题形象和直观，可做微观图，即假设数轴相邻实数点间距为1；函数y=x/2的定义域是x轴上区间［0，6］，自变量取整数集{0,1,2,3,4,5,6}；值域是y轴上［0，3］，其上的整数集是{0,1,2,3}，如图1.2所示。按照波氏的分析，函数y=x/2的定义域［0，6］和值域［0，3］，因为函数关系是对应的；但是区间［0，6］和［0，3］显然是不对应的，所以这是悖论。其实这样分析过于抽象，将取值具体写出来才清楚，具体如下： ZCR的取值是：与自变量{0,1,2,3,4,5,6}对应的是函数值{0,1/2,1, 3/2,2, 5/2,3}，而不是{0,1,2,3}。这样，其关系就是：与自变量的取值集合{0,1,2,3,4,5,6}相对应的y轴上函数取值集合是{0,1/2,1, 3/2,2, 5/2,3}，前者在区间［0，6］上，而后者在区间［0，3］上；两个集合因函数关系是天生对应的，与其区间是否相等无关；两个区间因长度不同（但密度相同）所以不对应，定义域和值域就是这两个区间，所以也不对应；取值集合和区间都与函数有关，前者是取值不同但对应，后者是大小不同因而不对应。 这样问题就清楚了：波氏的函数取值集合是取值区间，所以不等的取值区间就因函数取值集合的对应而对应、相等了。而ZCR的取值集合不是取值区间，所以取值集合因函数的对应而对应、相等，取值区间则因不相等而不对应。换言之，波氏将不同概念的取值集合和区间混淆了。 值域定义的混淆 至今对于函数值域的定义，有函数所有可取值集合和函数取值范围两种定义，前者虽然说是取值集合，但实际上还是取值范围——最小值和最大值组成的区间。对于函数图像，就是纵轴的最小值和最大值组成的区间。它们的求法都一样，所以它们都称之为值域。也就是说，值域有两种不同的定义、概念，由于没有区分，本身就造成了混淆，这种混淆导致了悖论，即将对应的函数取值集合当成了取值范围内的数轴值的集合。 函数新认识 引入值集、值阵、定义集概念 为了清晰准确破解值域对应悖论，也为了完善函数理论，破解无穷难题，需要引入新的概念来描述函数关系。以相邻实数点间距为1的图1.2的函数y=x/2为例说明： 图1.2简化波尔查诺