第4章函数精读.pptVIP

定义4.2―2 对函数f :X→Y, 如果存在y∈Y使对每一x∈X有f (x)=y, 即f (X)=｛y｝, 那么f 称为常函数. 定义4.2―3 如果函数f :X→X对一切x∈X有f (x)=x, 则称 f 为X上的恒等函数, 通常记为Ix. 恒等函数是双射函数. 定理4.2―3 设f :X→Y是函数, 那么, f =f · Ix = I Y· f . 定义4.2―5 设 U是全集合(论述域), 对每一A U, 函数ΨA:U→｛0, 1｝定义为 ΨA(x)= 1 如果 x∈A 0 如果 x∈A 称它是集合A的特征函数. 例5 (a) 设U=｛a, b, c, d｝, A=｛b, d｝, ΨA:U→｛0, 1｝ 则 ΨA(a)=0, ΨA(b)=1, ΨA(c)=0, ΨA(d)=1. (b) 设U=［0, 1］, A= [ ,1] , ΨA:U→｛0, 1｝ 则 ΨA(x)= 1 当 ≤x≤1时 0 当0≤x＜ 时 图 4.2―3 定理4.2―5 设A和B是全集合U的任意两个子集, 于是, 对所有x∈U, 下