|
以文本方式查看主题 - 中文XML论坛 - 专业的XML技术讨论区 (http://bbs.xml.org.cn/index.asp) -- 『 计算机考研交流 』 (http://bbs.xml.org.cn/list.asp?boardid=67) ---- 课本15.32题的一点看法 (http://bbs.xml.org.cn/dispbbs.asp?boardid=67&rootid=&id=37391) |
|
-- 作者：zsmjlu -- 发布时间：8/29/2006 8:56:00 PM -- 课本15.32题的一点看法 由于V<a,b>,<c,d > 且<a,b>R<c,d ><==>a=c 故得出结论 V <a,b>属于V1*V2 则a=b 否则与<a,b>R<b,a><==>a=b矛盾 因此关系R满足等价关系 (V1*V2中元素皆为<a,a>形式) 然后证明是同余关系 也很简单 看了logician 的解法,很正规,不知我的想法是否正确? |
|
-- 作者：Logician -- 发布时间：8/29/2006 10:58:00 PM -- 你把“属于二元关系R”和“属于二元关系V_1*V_2”弄混了。 V_1*V_2，是积代数，它的载体是A和B的卡氏积A*B。对所有a∈A, b∈B，都有<a,b>∈A*B，从而属于V_1*V_2。而不存在什么“等价关系”的问题。 R是定义在V_1*V_2上的二元关系，也就是说，R是(V_1*V_2)*(V_1*V_2)的子集。R里的元素都是<<a,b>,<c,d>>这样的形式。显然，R不是你描述的那种全等关系。 |
|
-- 作者：zsmjlu -- 发布时间：8/29/2006 11:10:00 PM -- 明白了，看了例17.23然后和这个比较才发现我没理解对,让大虾见笑了``````````` |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
31.250ms |