离散数学DiscreteMathematics.pptVIP

Discrete Math. , huang liujia 离散数学 Discrete Mathematics 定义8.4 所有从 A 到 B 的函数的集合记作 BA，即 BA={f | f: A→B}. 注：1. 若 |A|=m, |B|=n, 则 | BA| = nm; 2. ΦΦ ={Φ }, BΦ={Φ}, ΦA=Φ. 函数的复合也就是关系的右复合。 定理8.1设F,G是函数，则F。G也是函数，且满足 (1) dom(F。G)={x| x∈domF ∧ F(x) ∈domG} (2) ?x∈dom(F 。G) 有F 。G(x)=G(F(x)) （2）对于?x, x∈dom(F。G) = ? t ? y(x, t ∈F∧t , y∈G) = ? t (x ∈ dom(F)∧t=F(x) ∧t ∈ dom( G)) = x ∈ {x| x ∈ dom(F) ∧ F(x) ∈ dom( G)} 对于?x,x ∈ dom(F)∧F(x)∈dom( G) = x,F(x)∈F∧F(x),G(F(x))∈ G = x, G(F(x))∈F。G = x ∈ dom(F) ∧F。G(x)=G(F(x)) 推论1 设F,G,H为函数，则(F。G) 。H和F。(G 。H)都是函数，