新书推介：《语义网技术体系》
作者：瞿裕忠，胡伟，程龚
   XML论坛     W3CHINA.ORG讨论区     >>计算机科学论坛<<     SOAChina论坛     Blog     开放翻译计划     新浪微博  
 
  • 首页
  • 登录
  • 注册
  • 软件下载
  • 资料下载
  • 核心成员
  • 帮助
    		•   Add to Google

    >> 研友的交流园地，讨论关于计算机考研的方方面面。
    [返回] 计算机科学论坛 → 计算机理论与工程 → 『 计算机考研交流 』 → [讨论][离散]关于几个基本概念的辨析 ◇查看新帖 ◇ 用户列表 ◇

      发表一个新主题  发表一个新投票  回复主题  (订阅本版) 您是本帖的第 12144 个阅读者浏览上一篇主题  刷新本主题   树形显示贴子　浏览下一篇主题
     * 贴子主题： [讨论][离散]关于几个基本概念的辨析 举报  打印  推荐  IE收藏夹 
       本主题类别:     
     Smilingface 帅哥哟，离线，有人找我吗？
      
      
      等级：大三(要不要学学XML呢?)
      文章：84
      积分：577
      门派：XML.ORG.CN
      注册：2006/3/31

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给Smilingface发送一个短消息 把Smilingface加入好友 查看Smilingface的个人资料 搜索Smilingface在『 计算机考研交流 』 的所有贴子 引用回复这个贴子 回复这个贴子 查看Smilingface的博客楼主
    发贴心情 [讨论][离散]关于几个基本概念的辨析

    在代数系统的定义中提到了代数常数这一概念，google之我得到的结论是代数常数一词与特异元素是等价的。http://cise.sdkd.net.cn/lssx/7StressResolve/cha5/52.htm

    但是根据北大离散讲义代数结构与组合数学部分P14对特异元素的解释（特异元素为二元运算上的单位元，零元，幂等元，可逆元，逆元），又否定了这一结论（可以看到上述网址认为代数系统即特异元素仅包括单位元和零元）

    同时在Abel大佬的解答15.15题中，坚持了代数常数即是特异元素这一论断，然而却又认为代数常数即特异元素仅仅指的是单位元。

    如此种种不同的阐述，令我甚为迷惑，朋友你是如何理解的呢？


       收藏   分享  
    顶(0)
      




    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/8/19 16:46:00
     
     Logician 帅哥哟，离线，有人找我吗？天蝎座1984-10-28
      
      
      威望：9
      头衔：逻辑爱好者
      等级：研三(收到IBM CRL的Offer了)(版主)
      文章：1219
      积分：10357
      门派：IEEE.ORG.CN
      注册：2005/3/12

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给Logician发送一个短消息 把Logician加入好友 查看Logician的个人资料 搜索Logician在『 计算机考研交流 』 的所有贴子 点击这里发送电邮给Logician  访问Logician的主页 引用回复这个贴子 回复这个贴子 查看Logician的博客第2楼
    发贴心情 
    首先，你给的网页中对“代数常数”的定义似乎与北大教材中的有出入（依我看来，那个网页中对代数常数的叙述有不太清楚。他没有说明，按他的定义<Z,+>和<Z,+,0>到底是同一个代数系统还是两个不同的代数系统）。

    其次，从教材中关于“代数系统”的定义（定义15.9）中我们可以看到，一个代数系统被定义为一个“三元组”V=<A,Ω,K>。这就是说，即使两个代数系统的“载体”A和“运算集合”Ω都相同，只要它们各自的“代数常数”集合K不同，那么这两个代数系统就是不同的。这就是说，<Z,+>、<Z,+,0>是两个不同的代数系统。

    这一观点，在教材例15.13(2)中有清晰的描述：

    A={(a 0\\0 0) | a∈R}，则是<A,·>是<M_2(R),·>的真子代数。其中·为矩阵乘法。M_2(R)中关于·的运算的单位元是(1 0\\0 1)，若把乘法单位元看作M_2(R)中的零元运算，那么<A,·,(1 0\\0 0)>不是<M_2(R),·,(1 0\\0 1)}>的子代数，因为A对<M_2(R),·,(1 0\\0 1)>中的零元运算不封闭。

    这清楚地说明：是否把某个元素（如单位元）看作代数常数（零元运算）是我们在定义代数系统是自行确定的。<M_2(R),·,(1 0\\0 1)}>和<M_2(R),·>不是同一个代数系统。前者有一个零元运算（即代数常元）：(1 0\\0 1)，而后者没有代数常元。

    以上内容说明：一个代数系统中的“代数常元”集合K是我们在定义代数系统时“指定”的，而不是根据某些运算性质“计算”出来的。

    这就是我做习题15.15时的依据。题中写了V_1有且仅有一个代数常元，即“1”，V_2有且仅有一个代数常元，即“6”。那么，它们的子代数必须对这两个“零元运算”封闭（参见前面提到的教材例15.13(2)）。

    进一步地说，所有关于“代数常元”的描述中，都没有限定“代数常元”必须满足哪些性质。为此，有理由认为（虽然我没有看到在教材上看到这样的例子），<Z,+,5>也是一个代数系统，其中5是该系统中唯一的代数常元。也就是说，“代数常元”的集合K只要满足性质“K≤A”，是可以任意指定的。

    ----------------------------------------------
    Three passions, simple but overwhelmingly strong, 
    have governed my life: the longing for love, the
    search for knowledge, and unbearable pity for the
    suffering of mankind.
                                - Bertrand Russell

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/8/19 19:16:00
     
     Smilingface 帅哥哟，离线，有人找我吗？
      
      
      等级：大三(要不要学学XML呢?)
      文章：84
      积分：577
      门派：XML.ORG.CN
      注册：2006/3/31

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给Smilingface发送一个短消息 把Smilingface加入好友 查看Smilingface的个人资料 搜索Smilingface在『 计算机考研交流 』 的所有贴子 引用回复这个贴子 回复这个贴子 查看Smilingface的博客第3楼
    发贴心情 
    首先，对于15.15题而言，题目问的是给出特异元素，根据北大离散讲义代数结构与组合数学部分P14对特异元素的明确解释（特异元素为二元运算上的单位元，零元，幂等元，可逆元，逆元），解答中应该使用特异元素一词，并将幂等元〈1，5〉，〈2，5〉，〈3，5〉，〈1，6〉，〈2，6〉，〈3，6〉即全部元素纳入特异元素的范畴。

    然后，我的迷惑在于如何理解零元运算呢？为什么说例15.13(2)中A对<M_2(R),·,(1 0\\0 1)>中的零元运算不封闭呢？

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/8/20 11:59:00
     
     Smilingface 帅哥哟，离线，有人找我吗？
      
      
      等级：大三(要不要学学XML呢?)
      文章：84
      积分：577
      门派：XML.ORG.CN
      注册：2006/3/31

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给Smilingface发送一个短消息 把Smilingface加入好友 查看Smilingface的个人资料 搜索Smilingface在『 计算机考研交流 』 的所有贴子 引用回复这个贴子 回复这个贴子 查看Smilingface的博客第4楼
    发贴心情 
    又想到一个问题，如何说明17.13（3）题，当N为偶数时，运算是封闭的呢？
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/8/20 14:08:00
     
     datoubaicai 帅哥哟，离线，有人找我吗？
      
      威望：5
      等级：大一(高数修炼中)
      文章：181
      积分：2214
      门派：XML.ORG.CN
      注册：2006/3/28

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给datoubaicai发送一个短消息 把datoubaicai加入好友 查看datoubaicai的个人资料 搜索datoubaicai在『 计算机考研交流 』 的所有贴子 引用回复这个贴子 回复这个贴子 查看datoubaicai的博客第5楼
    发贴心情 
    1) 15.15中特异元素的确应该将幂等元,零元,单位元,和逆元都写上.
    2) 零元运算即代数常数,载体A中的任何一个元素都可以做为零元运算,而零元运算一般要在代数系统中明确指出才算.书上给出的代数系统经常把特异元素(单位元,零元)做为零元运算给出,让人产生零元运算就是特异元素的误解,实则不然.
    例15.13中,<M_2(R),·,(1 0\\0 1)>中的零元运算即(1 0\\0 1)显然它不属于A,所以不封闭.
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/8/20 16:05:00
     
     Logician 帅哥哟，离线，有人找我吗？天蝎座1984-10-28
      
      
      威望：9
      头衔：逻辑爱好者
      等级：研三(收到IBM CRL的Offer了)(版主)
      文章：1219
      积分：10357
      门派：IEEE.ORG.CN
      注册：2005/3/12

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给Logician发送一个短消息 把Logician加入好友 查看Logician的个人资料 搜索Logician在『 计算机考研交流 』 的所有贴子 点击这里发送电邮给Logician  访问Logician的主页 引用回复这个贴子 回复这个贴子 查看Logician的博客第6楼
    发贴心情 
    17.13(3)？
    对矩阵A、B而言，|A+B| = |A|+|B|。
    因此，如果|A|≥0且|B|≥0，自然有 |A+B| = |A|+|B|≥0。

    ----------------------------------------------
    Three passions, simple but overwhelmingly strong, 
    have governed my life: the longing for love, the
    search for knowledge, and unbearable pity for the
    suffering of mankind.
                                - Bertrand Russell

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/8/20 22:59:00
     
     Logician 帅哥哟，离线，有人找我吗？天蝎座1984-10-28
      
      
      威望：9
      头衔：逻辑爱好者
      等级：研三(收到IBM CRL的Offer了)(版主)
      文章：1219
      积分：10357
      门派：IEEE.ORG.CN
      注册：2005/3/12

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给Logician发送一个短消息 把Logician加入好友 查看Logician的个人资料 搜索Logician在『 计算机考研交流 』 的所有贴子 点击这里发送电邮给Logician  访问Logician的主页 引用回复这个贴子 回复这个贴子 查看Logician的博客第7楼
    发贴心情 
    以下是引用Smilingface在2006-8-20 11:59:00的发言：
    首先，对于15.15题而言，题目问的是给出特异元素，根据北大离散讲义代数结构与组合数学部分P14对特异元素的明确解释（特异元素为二元运算上的单位元，零元，幂等元，可逆元，逆元），解答中应该使用特异元素一词，并将幂等元〈1，5〉，〈2，5〉，〈3，5〉，〈1，6〉，〈2，6〉，〈3，6〉即全部元素纳入特异元素的范畴。

    然后，我的迷惑在于如何理解零元运算呢？为什么说例15.13(2)中A对<M_2(R),·,(1 0\\0 1)>中的零元运算不封闭呢？



    1、嗯。你说的没错。我没注意到讲义上关于“特异元素”的定义。@_@
    2、“零元运算”就是不需要“运算数”，它的值恒等于某个特定的值。比如我定义运算*，规定*=1。那么“运算*”就是零元运算，它的值总是1。如果把它加在一个代数系统里，这个代数系统的所有子代数都必须含有元素1，否则它就对“运算*”不封闭了。

    ----------------------------------------------
    Three passions, simple but overwhelmingly strong, 
    have governed my life: the longing for love, the
    search for knowledge, and unbearable pity for the
    suffering of mankind.
                                - Bertrand Russell

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/8/20 23:09:00
     
     Smilingface 帅哥哟，离线，有人找我吗？
      
      
      等级：大三(要不要学学XML呢?)
      文章：84
      积分：577
      门派：XML.ORG.CN
      注册：2006/3/31

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给Smilingface发送一个短消息 把Smilingface加入好友 查看Smilingface的个人资料 搜索Smilingface在『 计算机考研交流 』 的所有贴子 引用回复这个贴子 回复这个贴子 查看Smilingface的博客第8楼
    发贴心情 
    恩。我搞懂代数常数，特异元素，零元运算这几个概念了。
    那麽可以得到这样一个结论：<M_2(R),·>不是<M_2(R),·,(1 0\\0 1)>的子代数，因为前者不含零元运算，对吧？
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/8/21 10:23:00
     
     Smilingface 帅哥哟，离线，有人找我吗？
      
      
      等级：大三(要不要学学XML呢?)
      文章：84
      积分：577
      门派：XML.ORG.CN
      注册：2006/3/31

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给Smilingface发送一个短消息 把Smilingface加入好友 查看Smilingface的个人资料 搜索Smilingface在『 计算机考研交流 』 的所有贴子 引用回复这个贴子 回复这个贴子 查看Smilingface的博客第9楼
    发贴心情 
    以下是引用Logician在2006-8-20 22:59:00的发言：
    17.13(3)？
    对矩阵A、B而言，|A+B| = |A|+|B|。
    因此，如果|A|≥0且|B|≥0，自然有 |A+B| = |A|+|B|≥0。

    |A+B| = |A|+|B|这个公式是不成立的，反例：10=-2+12=|5,4\\3,2|+|3,2\\3,6|不等于|5+3, 4+2\\3+3,2+6|=|8,6\\6,8|=28

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/8/21 10:41:00
     
     Logician 帅哥哟，离线，有人找我吗？天蝎座1984-10-28
      
      
      威望：9
      头衔：逻辑爱好者
      等级：研三(收到IBM CRL的Offer了)(版主)
      文章：1219
      积分：10357
      门派：IEEE.ORG.CN
      注册：2005/3/12

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给Logician发送一个短消息 把Logician加入好友 查看Logician的个人资料 搜索Logician在『 计算机考研交流 』 的所有贴子 点击这里发送电邮给Logician  访问Logician的主页 引用回复这个贴子 回复这个贴子 查看Logician的博客第10楼
    发贴心情 
    晕。我弱了……
    线代没学好……：（
    等我想想……

    ----------------------------------------------
    Three passions, simple but overwhelmingly strong, 
    have governed my life: the longing for love, the
    search for knowledge, and unbearable pity for the
    suffering of mankind.
                                - Bertrand Russell

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/8/21 18:49:00
     
     GoogleAdSense天蝎座1984-10-28
      
      
      等级：大一新生
      文章：1
      积分：50
      门派：无门无派
      院校：未填写
      注册：2007-01-01
    给Google AdSense发送一个短消息 把Google AdSense加入好友 查看Google AdSense的个人资料 搜索Google AdSense在『 计算机考研交流 』 的所有贴子 点击这里发送电邮给Google AdSense  访问Google AdSense的主页 引用回复这个贴子 回复这个贴子 查看Google AdSense的博客广告
    2024/4/19 20:42:59

    本主题贴数16，分页： [1] [2]

    管理选项： 修改tag | 锁定 | 解锁 | 提升 | 删除 | 移动 | 固顶 | 总固顶 | 奖励 | 惩罚 | 发布公告
    W3C Contributing Supporter! W 3 C h i n a ( since 2003 ) 旗 下 站 点
    苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
    		 140.625ms