函数概念及函数公理.pdfVIP

维普资讯 ， 暗尔癌师范大 学 自然科 学学报 Vo1．8．No．31992 第 8眷 第 3期 NATURAL SCIENCES J0URNAL OF HARBIN NORMAL UNrVERSIT ， ， ＼ D ／ 3 ) ， 函数概念及 函数公理 0f7 ． (暗尔瘴膏范大学) 【摘要 】本文提 出了函数关系的上定叉域 (Codomain)的概念，并详细论述 了 这一概念在函数定叉 中的作用 ．文 中还提 出了函数公理，同时证 明了我们绔 出的 改善 了的函数定叉符合 函数公理。 关键词：旦兰； ；弗雷德霍姆算子；兰苎l的塞圭苎 §1关于 函数的定义的历史与现状 文献… 是这样开 头的： 函数概念 在全部数学 中都是基本的 。十八世纪以来 ，这个概 念 的明确化及推广受到 了极大 的注意 ．继而，文 中列举 了数学史上 的一些伟大 的数学 家，诸如，L．Euler，J．L．Lagrange，A．Cauchy，B．Riemann，G．H．Hardy等都 曾为 函 数概念下过定义．当今颇具影 响的N．Bourbaki在 2【】中是这样 定义的 ：设 E和 ，是两 个集合 ，它们可以不同，也可以相 同，E中的每一个变元 x和 ，中的变元 Y之 间的一个关 系称为一个 函数关系，如果对每 一个 xeE，都存在唯一 的yeF，它满足跟 x的给定关系 。 (加重点是本文作者所加)． 上述定义 中的关系一词 的数学涵义是什么?没有说 明． 近时，在一些文献 (例如，3【】，4【])中，藉序对儿 (x，y)，或集合的笛卡尔乘积来严格定 义 了函数关系。扼要述之如下：设 和 y为非空集合 ，笛卡尔乘积 X×Y的任意子集 R呈 ×Y称一个关系．即，关系R=fx【，y)1P(x，y)}EXXY．集合dora )={xljY(x【，Y) ∈R)}E 称为关系R的定义域，集舍 ran(R)={yl3x((x，y)eR)}EY称为关系R的值 域 ． 一 个关系 RE ×Y，如果满足下述条件： VxV V x【，y)ER)八 (( z)eR)一 Y= 则称关系 R X×Y为一 函数．换言之 ，函数是一种特殊 的关系 ，是一种 单值 关系 ．对 于函数 ，兰X×Y，作为特种关系，dora 【厂)称为函数 ，的定义域，ran【厂)称为函数 ，的 收稿 日期 ： 1992—0l一23 维普资讯 暗尔滨师范大学 自恭科学学报 年 值 域 ． 为 了进一步研 究函数 的性质 ，又加述了： ，是一 函数并且 s与 s：分别 为二集合 时，记 号 ，： 一 表 示 。=dorac厂)，ranc厂)c l。这 样 ，在 形 式 上 又 回到 了 N．Bourbaki，内容上 的进步是说清 了关系 的数学定义是笛卡尔乘积 X×Y的一个子 集 。但是 ，关系式 ran )cs 中之集合 s：看来颇具随机性。对此 ，我们可以提 出两个 问 题 ，其一是集合 s：与 ，c ×Y中的集 y有什么关系?其二是 ，：s。一 s2与 ，：s一 ， 当ran )csc ，有什么不 同?要想完善函数 的定义，上述两个 问题是必须 回答 的．因 此 ，我们认为仅将 N．Bourbaki的函数定义 中的未明词：关系用 单值 关系 ，cX ×】，来 明确之，仍满足不了数学实践中有关函数性质的进一步研究之需 (在下一节 中我们将举例 说 明)。甚至 。产生 了像文献 5【1中那样 的认识 ：确定函数只需两个要素，并不存在第三 个 要素 。 §2 函数 的改进的定义 首先 ，我们改称 §1中的函