以文本方式查看主题

-  W3CHINA.ORG讨论区 - 语义网·描述逻辑·本体·RDF·OWL  (http://bbs.xml.org.cn/index.asp)
--  『 理论计算机科学 』  (http://bbs.xml.org.cn/list.asp?boardid=64)
----  线序集与良序集[求助]  (http://bbs.xml.org.cn/dispbbs.asp?boardid=64&rootid=&id=32724)


--  作者:csxvssoyn
--  发布时间:5/19/2006 10:25:00 PM

--  线序集与良序集[求助]
帮忙给个是线序集而不是良序集的集合啊
先谢了


--  作者:Logician
--  发布时间:5/20/2006 5:13:00 AM

--  
整数集Z关于小于等于关系(有的书上定义的“线序”是“拟全序”,如果要求“拟全序”,就把“小于等于关系”改成“小于关系”)构成线序,但Z本身(以及Z的许多真子集,如3Z={3m|m∈Z}、奇数集={2n+1|n∈Z})没有最小元,从而不是良序集。
--  作者:csxvssoyn
--  发布时间:5/20/2006 8:59:00 PM

--  
以下是引用Logician在2006-5-20 5:13:00的发言:
整数集Z关于小于等于关系(有的书上定义的“线序”是“拟全序”,如果要求“拟全序”,就把“小于等于关系”改成“小于关系”)构成线序,但Z本身(以及Z的许多真子集,如3Z={3m|m∈Z}、奇数集={2n+1|n∈Z})没有最小元,从而不是良序集。

非常感谢


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