集合论 第章 映射.ppt

第三节 映射的一般性质(导出函数、一般性质) 3.1 导出函数（象、原象的概念） 定义1 设f:X?Y，A?X，由 f 和Ａ可以唯一的确定Ｙ中的一个子 集，记为 f(A)，于是，f (A)={f (x)?x?A}。称f(A)为集合Ａ在 f 下的象集（象）。 说明：利用这种方法，由 f 可以确定一个从2X到2Ｙ的映射，仍 记为f。显然。 定义2 设f:X?Y，B?Y，则由 f 和Ｂ可以唯一确定X上的一个子 集记为：f -1(B) ，即f -1(B) ={x?f (x)?B，x?X} 。 称f -1(B) 为 f 在B下的原象。 在这里： f的定义域dom(f)=A，f的值域ran(f) ?B； g的定义域dom(g)=B，g的值域ran(g) ?C ； h的定义域dom(h)=A，h的值域ran(h)={h(x)?x?A}?C ； 4.例 设A={a，b，c}，B={0，1}，C={2，3}。 f:A?B，f(a)=f(b)=0，f (c) =1；g:B?C，g(0)=2，g(1)=3， 则 gf:A ?C 且 故 gf= {(a,2),(b,2),(c,3)} ，但 f g 无定义。 f与g合成如图所示。