离散数学 第o4章 关系.pptVIP

* 定理4.2 设F, G, H是任意的关系, 则 (1) (F°G)°H=F°(G°H) (2) (F°G)?1= G?1°F?1 证 (1) 任取x,y,  x, y?(F°G)°H ? ?t (x, t∈F°G∧t, y∈H) ? ?t (?s (x, s∈F∧s, t∈G)∧t, y∈H) ? ?t ?s (x, s∈F∧s, t∈G∧t, y∈H) ? ?s (x, s∈F∧?t (s, t∈G∧t, y∈H)) ? ?s (x, s∈F∧s, y∈G°H) ? x, y∈F°(G°H) 所以 (F°G)°H = F°(G°H) 基本运算的性质（续） * (2) 任取x, y,  x, y∈(F°G)?1  ? y, x∈F°G ? ?t (y, t∈F∧(t, x)∈G) ? ?t (x, t∈G?1∧(t, y)∈F?1) ? x, y∈G?1°F?1 所以 (F°G)?1 = G?1°F?1 基本运算的性质（续） * 定理4.3 设 R 为 A上的关系, 则  R°IA= IA°R = R 证明任取x, y x, y∈R°IA ? ?t (x, t∈R∧t, y∈IA)