|
以文本方式查看主题 - 计算机科学论坛 (http://bbs.xml.org.cn/index.asp) -- 『 计算机考研交流 』 (http://bbs.xml.org.cn/list.asp?boardid=67) ---- 几个离散小问题求助 (http://bbs.xml.org.cn/dispbbs.asp?boardid=67&rootid=&id=53729) |
|
-- 作者：47404239 -- 发布时间：10/13/2007 3:50:00 PM -- 几个离散小问题求助 Ｒ１，Ｒ２是传递的，Ｒ１＊Ｒ２是传递的吗？ R是Ａ上自反对称的二元关系，怎么证：Ｔ（Ｒ）是Ａ上的等价关系 ｜Ａ｜＝｜Ｃ｜，｜Ｂ｜＝｜Ｄ｜，ＡＢＣＤ是４个集合，证明｜Ａ＊Ｂ｜＝｜Ｃ＊Ｄ｜ 第２个这样证是否对：假设｜Ａ＊Ｂ｜＞｜Ｃ＊Ｄ｜，则由轮换可得 ｜Ａ＊Ｂ｜＜｜Ｃ＊Ｄ｜矛盾，同理｜Ａ＊Ｂ｜＜｜Ｃ＊Ｄ｜也一样得出矛盾，可否？ |
|
-- 作者：47404239 -- 发布时间：10/14/2007 10:24:00 AM -- 顶上去 |
|
-- 作者：47404239 -- 发布时间：10/14/2007 5:56:00 PM -- 有人帮忙吗 |
|
-- 作者：Logician -- 发布时间：10/14/2007 8:05:00 PM -- 1、Ｒ１＊Ｒ２，这个*是什么运算？ 2、只要证明t不破坏自反和对称性就是了，请你自己根据t的定义先试证一遍 3、这不是显然的吗？构造一个双射就可以了。 你的证法不对。你的证法只能说明“|A*B|>|C*D|”不是“永真”的（即，只能证明|A*B|>|C*D|并非对所有满足|A|=|C|,|B|=|D|的集合ABCD都成立），而不能证明“|A*B|>|C*D|”永假。 因为只有当某个式子对“任意（满足某种条件的）变量都成立”时，你才能对里面的变量做轮换。 |
|
-- 作者：47404239 -- 发布时间：10/15/2007 6:18:00 PM -- 我去试试 |
|
-- 作者：47404239 -- 发布时间：10/16/2007 8:35:00 PM -- 怎么构造双射啊，叉乘后是迪卡尔积，而只知道他们等势 |
|
-- 作者：Logician -- 发布时间：10/16/2007 10:31:00 PM -- 由等势定义和｜A｜＝｜C｜知，存在从A到C的双射f 又由等势定义和｜B｜＝｜D｜知，存在从B到D的双射g 做映射h : A×B → C×D，对任意<x,y>∈ A×B ，令h(<x,y>) = <f(x),g(y)> 下面证明h是双射就可以了（这个比较简单，你可以自己证一下）。 |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
42.969ms |