离散数学 42复合函数与逆函数.pptVIP

复习 定义 4-1.1 设 X ， Y 为任何两个集合，如果 f 为 X 到 Y 的关系（ f ? X ? Y ），且对每一 x ? X ，都有唯一的 y ? Y ， 使 x , y ? f 。则称 f 是 X 到 Y 的 函数 （ functions ），记 为 f ： X → Y ， 当 X=X 1 ? … ? X n 时，称 f 为 n 元函数。函数也称 映射 （ mapping ）或 变换 ( transformation ）。 若 x , y ? f ，则 x 称为自变元， y 称为在 f 作用下 x 的 象， x , y ? f 记作 y=f(x) 。 由所有 x ? X 的象构成的象集合称为函数的值域 ran f ， 即 ran f=f(X)={f(x)|x ? X} ? Y 前域（定义域） dom X ，值域 ( 象集合 )ran f ， 陪域（共域） Y 由函数的 定义可知，函数是特殊的关系，特殊点有 以下两点： （ 1 ） 函数的定义域是 X ，而不是 X 的真子集。即任 意 x ? X 都有象 y ? Y 存在（象存在性）。 （ 2 ） 一个 x 只能对应唯一的一个 y