§5.1 函数的定义和性质.pptVIP

* §5.1 函数的定义和性质 高等数学课程中详细研究了函数的概念和性质，但这些函数概念一般不好直接应用地计算机科学。如数据结构，开关理论，自动机等。计算机科学要求推广以往的函数概念。 函数：设F为二元关系， 如 F1 = {x1,y1, x2,y1, x3,y2}是函数 F2 = {x1,y1, x1,y2, x2,y1, x3,y2}不是函数 若对任意的x?domF都存在唯一的y?ranF，使得xFy成立，则F为函数，y是F在x的函数值。 从A到B的函数：设A、B是集合， 如果函数f 满足以下条件 (1) domf = A (2) ranf ? B 则称 f 是从A到B的函数，记作：f：A?B 集A 在 f 下的象：设 f ：A?B，A?A， 则f [A]是A在f 下的象。 则 f (A) = {f (x) | x?A}= f [A]， ? 设函数 f：A?B (1) 若ranf = B，则说f 具有满射性； (2) 若对于任何x1, x2?A，x1?x2都有 f (x1)?f (x2)，则说f具有单射性； (3) 若f 既具有满射性，又具有单射性，则说f 具有双射性。 函数的性质 例5.1 判断以下函数的单射、满射和双射性。 (1) f：R?R? R?R，R为实数集 f (x,y) = x+y, x?y? 解： (1) 先说f 是单射的。 这要证明对任取x,y，