2007-08-04

集合論問題

設A,B為兩集合,R,S分別為A,B上之等價關係。若f:A →B與R和S配合,及對所有A的元素a,a* ,有f(a)Sf(a*)當aRa*,證明:存在為一一個映射h:A/R→B/S 使得v。f=h。u,其中u:A→A/R 以及v:B→B/S為自然的滿射(即u(a)=[a]與v(b)=[b])
ps A/R={[a]a屬於A}就是將A上的等價關係所組成的集合

1 則留言:

Kyle 提到...

存在性: 令 h([a]) = [f(a)], 則

(v。f)(a)=[f(a)]=h([a])=(h。u)(a) for all a in A.

唯一性: 如果 g 也是這樣的 map, 因為

g([a])=(g。u)(a)=(v。f)(a)=[f(a)] for all a in A.

所以 g=h.