以文本方式查看主题

-  中文XML论坛 - 专业的XML技术讨论区  (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=65963)


--  作者:cpkug
--  发布时间:8/16/2008 11:29:00 AM

--  [原创]离散,关于反函数
离散大本, P64   3.4  反函数

希望得到确证的地方:

“任给一个集合A,A中可能有有序对作为元素,也可能没有,但无论有无有序对作为元素,A的逆A^-1一定是二元关系(当然可能是空关系)”
能不能这样理解,A中如果有元素的话,只能是有序对,而不能是其它的,也就是说A本身一定得是二元关系,否则上面的描述不成立;
或者是有其它的理解;

请说说各自的看法吧,谢谢了!


--  作者:forandom2
--  发布时间:8/16/2008 12:56:00 PM

--  
A中的元素可以是有序对,也可以不是有序对。
A^-1是去除A中所有不是有序对的元素,然后对每个有序对取反得到的集合。
所以A^-1里面要么为空,要么全是有序对,不会有不是有序对的元素。
--  作者:forandom2
--  发布时间:8/16/2008 1:01:00 PM

--  
可以看p27,定义2.8的(1)
F是集合,可以含序偶元素,也可含非序偶元素。例如p27最上面的集合R2
F^-1={<x,y>|<y,x>属于F}.
F^-1只把F中的序偶抽取出来。


--  作者:cpkug
--  发布时间:8/16/2008 2:06:00 PM

--  
好的,明白了,非常感谢指点!
W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
62.500ms