Zmn-1445 薛问天: 严格论述【函数关系】和【一一对应关系】的数学定义。评师教民先生的《1443》的部分论述。

【编者按。下面是薛问天先生的文章，是对师教民先生的《Zmn-1443》一文部分的评论。现在发布如下，供网友们共享。请大家关注并积极评论。另外本《专栏》重申，这里纯属学术讨论，所有发布的各种意见仅代表作者本人，不代表本《专栏》编辑部的意见。《专栏》中有些文章发扬了啄木鸟精神，对一些错误的观点和言论进行了说理的批评。但请大家注意，也有些有严重错误的文章在这里发布，就是为了引起和得到广大网友们的评论。不要以为在这里发布的文章都是正确无误的。】

严格论述【函数关系】和【一一对应关系】的数学定义

评师教民先生的《1443》的部分论述

薛问天

xuewentian2006@sina.cn

师教民先生作为一名数学教授，竟然不知函数关系与一一对应关系的不同，在这么低级的基本概念上犯错误，真是不可想像。

师先生在《1443》中的3中引用了函数的定义后，竟然说【 由该定义知，函数的自变量 x 和因变量（即函数）y 是按照一定的法则有确定的数值相对应的．对于一元单值函数，因为 x 和 y 的值是单值，所以 x 和 y 的关系是单值对应即一一对应．因此，“一元单值函数的自变量(定义域)和因变量(函数)的数值是一一对应关系，】竟然把：【单值函数关系】同【一一对应关系】混为一谈。

为此，我请AI作了回答，回答得相当好。特推荐给大家共享。下面是原文。

问:

请严格论述【函数关系】和【一一对应关系】的数学定义。为保证论述的严格和准确，请直接引用知名《高等数学》教材的原始定义原文。引用时请注明引自哪个版本的哪页。

並请对师教民先生的下述说法给出评论:

【由该定义知，函数的自变量 x 和因变量（即函数）y 是按照一定的法则有确定的数值相对应的．对于一元单值函数，因为 x 和 y 的值是单值，所以 x 和 y 的关系是单值对应即一一对应．因此，[一元单值函数的自变量(定义域)和因变量(函数)的数值是一一对 应关系，]】

AI的回答:

一、函数关系的数学定义

1. 同济大学《高等数学》（第四版）中的定义

“设x、y是两个变量，D是给定的数集，如果对于每个x∈D，变量y按照一定法则总有确定的数值和它对应，则称y是x的函数，记作y=f(x)。”

——同济大学数学教研室主编《高等数学》上册（第四版）第6页

2. 同济大学《高等数学》（第七版）中的定义

“设数集D⊂R，则称映射f：D→R为定义在D上的函数，通常简记为 y=f(x)，x∈D，其中x称为自变量，y称为因变量，D称为定义域……函数的定义中，对每个x∈D，按对应法则f，总有唯一确定的值y与之对应，这个值称为函数f在x处的函数值，记作f(x)，即y=f(x)。因变量y与自变量x之间的这种依赖关系，通常称为函数关系。”

——同济大学数学系《高等数学》（第七版）上册第一章“函数与极限”

3. 函数关系的核心要点

综合上述定义，函数关系的本质特征是：

· 定义域D中的每一个x，都有且唯一确定的y值与之对应；

· 函数关系允许定义域中不同的x对应同一个y值（即多对一）；

· 函数关系不允许同一个x对应多个不同的y值（即一对多）。

二、一一对应关系的数学定义

“设f是两个非空集合A到B的映射，若在这个映射下，集合A中的不同元素在集合B中有不同的像，而且B中每一个元素都有原像，则这个映射称为从A到B的一一映射，也称为A与B之间的一一对应。”

——吴赣昌《高等数学》（高职高专版）

用映射的语言表述：一一对应（亦称双射或一一映射）必须同时满足：

一一对应与函数关系的本质区别

函数关系只要求：每个输入x有唯一输出y（允许不同x→相同y）。

一一对应要求：每个输入x有唯一输出y 且 每个输出y有唯一输入x（既不允许不同x→相同y，也不允许无原像的y）。

三、对师教民先生说法的评论

师教民先生说：

“由该定义知，函数的自变量x和因变量（即函数）y是按照一定的法则有确定的数值相对应的。对于一元单值函数，因为x和y的值是单值，所以x和y的关系是单值对应即一一对应。因此，[一元单值函数的自变量(定义域)和因变量(函数)的数值是一一对应关系]。”

错误一：将“单值对应”等同于“一一对应”

师先生将“单值对应”与“一一对应”混为一谈，这是根本性的概念错误。

· 单值对应（即函数关系）只要求每个x对应唯一的y——这是单向的约束；

· 一一对应除了要求每个x对应唯一的y外，还要求每个y也只能对应唯一的x，且值域中的每个元素都必须有原像——这是双向的约束。

单值对应 ≠ 一一对应。一一对应是单值对应的真子集——它比单值对应严格得多。

错误二：以“x和y的值是单值”推出“一一对应”，逻辑不成立

函数关系中，x的值是唯一的（定义域中每个元素当然只有一个），y的值也是唯一的（由函数定义保证）——但这绝不意味着不同x不能对应同一个y。

反例：函数 y = x²（定义域为R）。

· 对于每个x，有唯一的y值与之对应——满足函数定义；

· 但x=1和x=-1都对应y=1，定义域中不同元素对应了同一个值域元素；

· 因此y=x²不是一一对应，尽管它完全满足“x和y的值是单值”。

这一反例直接证伪了师先生的推理。

错误三：“一一对应”偷换了“单值对应”的概念

函数定义中明确写的是“总有确定的数值和它对应”或“唯一确定的值y与之对应”——这说的是对应规则的单值性（每个x只有一个y），而不是映射的双射性（一一对应）。

师先生把“每个x对应唯一的y”偷换成了“x和y一一对应”，这是对函数定义严重的误读。

四、总结

概念核心要求： 是否允许【不同x→相同y】

函数关系： 每个x有唯一y，允许【不同x→相同y】

一一对应： 每个x有唯一y 且 每个y有唯一x， 不允许【不同x→相同y】

师教民先生的错误在于：将函数定义中的“单值性”错误地等同于“一一对应”，忽视了“一一对应”还要求单射（不同x对应不同y）和满射（值域全覆盖）两个额外条件。这个错误在逻辑上是将必要条件当成了充分条件——单值对应是一一对应的必要条件（一一对应必定是单值对应），但单值对应远远不是一一对应的充分条件。

函数关系是“多对一或一对一”的对应，而一一对应只能是“一对一”的对应。将函数关系等同于一一对应，在数学上是完全错误的。

【编者注。读者可点击頁面最上面的〖博文〗这个选項，来查找本《专栏》的其它文章。】

支持单位：