以文本方式查看主题

-  中文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=54113)

--  作者：okdavinci
--  发布时间：10/20/2007 6:59:00 PM

--  离散+求同余关系和同余类
离散大本书P.236,例15.29

问题：
如何求f导出同余关系和同余类？
例如求f2导出同余关系：
fp=(px)mod6 (p=0,1,2,3,4,5)
当p = 2时
  f2 = (2x)mod6={<0,0>,<1,2>,<2,4>,<3,0>,<4,2>,<5,4>}那么f2的同余关系是什么？同余类又是怎么求出来呢？
等价关系～要对运算模n加法具有置换性质，怎么验证？
另外在课件上看到有：
例1  V=<Z4,@>, 有15个等价关系，采用对应的划分表示.
划分{0},{1,2,3} 对应的不是同余关系，
因为1～3，但是 1@3～3@3不成立  
=========其中@表示模n加法========
请问1和3有同余关系（1～3）是怎么回事？关系～的具体实现没有在题目中定义呀

--  作者：蝶影
--  发布时间：10/20/2007 8:20:00 PM

--  
1.求f导出的同余关系和同余类:在课本235页定理15.10的证明里有这样一句话:~是由f(用f代替,那个字打不出...)导出的等价关系,所以,对于任意x,y属于A,有x~y当且仅当f(x)=f(y),这个就可以当作是f导出的等价关系的定义,所以根据这个定义,f(x)相等的元素在一个等价类里.因此,f2的同余类是{1,4},{2,5},{3,0},同余关系~是I∪{<1,4>,<4,1>,<2,5>,<5,2>,<3,0>,<0,3>}
2.验证置换性质:例如上面的1,2,4,5,有1~4,2~5,那么1@4=(1+2)mod6=3,4@5=(4+5)mod6=3,所以有1@2~4@5
3.V=<Z4,@>的同余关系,跟上面的例子是一样的,即对于任意x,y属于A,有x~y当且仅当f(x)=f(y)

--  作者：okdavinci
--  发布时间：10/21/2007 6:30:00 PM

--  
搞了这么长时间，总有懂了。关键在x和y同余（x~y）的判断，即：
x～y当且仅当f(x)=f(y)
我以前在判断x，y是否为同余的时候是利用同余关系～对运算Oi具有置换性质来的。所以。。。

good
thanks


--  作者：蝶影
--  发布时间：10/21/2007 6:59:00 PM

--  
同余关系首先是等价关系
W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
 4,707.031ms