旧版关于一些教材勘误的讨论 （2003-12-3 17:19:00）
--------------------------------------------------------------------------------
一串重要问题的讨论。晓津和虫虫。|jinxbin|虫虫： 我先和你探讨一下.:)
（1）、在第18页，倒数第3行第2个式子应由\│PVQV\修改为“│PVQV│R”.
应该是倒数第8行，呵呵，害得我找了半天，算你行！:)))
（2）、P74的例2 :我认为“f 。g”和“g。f”中的元素整个颠倒了。
这个理解开始时我也像你一样，但是后来发现他是对的。f。g=f(g(x),你用x=1,2,3代入算一下，是不是符合他的结果? （3）、在P75的定理中的（1）应为“f^-1。f = Ix ”“f。f^-1 = Iy”，你可以结合P75的例3看一下！
你的意思是不是要将Ix和Iy换一下? 这个也一样，我开始时也这么理解，但是他是对的。
（4）、对于节的第3小题的第二个空我觉的答案应为（R是自反的）.
这个答案阮同学指出是因为A≠φ
（5）、对于节的第1小题、在证明S具有传递性质的时候，我决的这样证明比较合适： 设＜a，b＞，＜b，d＞∈S
则存在c使＜a，c＞，＜c，b＞，＜b，c＞，＜c，d＞∈R ∵R是传递的
有 ＜a，c＞ 、＜c，d＞∈R => ＜a，d＞∈R ∴＜a，d＞∈S 即:sS = {
*****我觉得你的证明没证到点子上，最后结结果就是把b换成了d,这也不用证呀，就算是正确吧，证出传递性后呢，怎么样? 还有自反和对称呀。:)******
(6)、 对于节的第8小题 ，你的答案有在 П1=П2 的情况下，它们能构成A的划分。
当П1-П2时，是个空集。空集是A的划分吗？
******你说得对，空集肯定不是划分，俺没辙啦，你的答案是。。。?****
（7）、 对于节的第2题，A的极大元集合应为{4，5，6}
同意你的观点。:)
（8）、 对于节的第4题， 我觉的（b）和（c）小题的断言是真的，因为它们之间是交集的关系
同意。你很酷！
(9)、 对于节的第4题，我觉的（c)不是函数，因为0不是自然数。同第1题的（g)道理一样。
哈哈，这道题你出问题啦，难道这两天没看论坛，自然数中的成员又添新丁，0已经挤入自然数家族啦。
（10）、对于节的第1题，这道题目让我们求X的覆盖，是不是让我们通过相容关系来确定覆盖，如果是这样
那我们可以利用书节的最后一端的“不同覆盖可以在A上构造相同的相容关系”来反向应用之“同一个
相容关系对应不同覆盖”随意给出一种符合覆盖定义的集合。如果不是这样，那我是不是就可以
给出一种符合覆盖定义的集合 ？
这个问题我和jhju也讨论过，因为覆盖有很多，根据一个相容关系不可能得到唯一的覆盖，所以我只随意给了一个。但是jhju说得根据相容关系来求，现在的问题是是不是所有的覆盖都能构成同一相相容关系? 如果你能给出所有的符合条件的覆盖，我想谁也不会说你错的
|4|一串重要问题的讨论。晓津和虫虫。|jinxbin|“0已经挤入自然数家族啦 ”。 这你没逗我玩吧？ 是不是官方消息？
我已经习惯0不是自然数十几年了？ 那我考试可就把0按照自然数对待了。
> （4）、对于节的第3小题的第二个空我觉的答案应为（R是自反的）. > 这个答案阮同学指出是因为A≠φ 对着定义你仔细体会一下 我觉的我的答案更有道理。
> （1）、在第18页，倒数第3行第2个式子应由\│PVQV\修改为“│PVQV│R”. > 应该是倒数第8行，呵呵，害得我找了半天，算你行！:))) 为了表示我的歉意，向你致敬并鞠躬（3个）。
> (5）、对于节的第1小题、在证明S具有传递性质的时候，我决的这样证明比较合适：
> 设＜a，b＞，＜b，d＞∈S 则存在c使＜a，c＞，＜c，b＞，＜b，c＞，＜c，d＞∈R
> ∵R是传递的
> 有 ＜a，c＞ 、＜c，d＞∈R => ＜a，d＞∈R > ∴＜a，d＞∈S 即:S = {
> 故， S具有传递性. >
> *****我觉得你的证明没证到点子上，最后结结果就是把b换成了d,这也不用证呀，就算是正确吧，证出传递性后呢，
> 怎么样? 还有自反和 对称呀。:)******
自反、对称我和你们的一样。我已经证明出了关键的并且是和条件相符 S = {
> （2）、P74的例2 :我认为“f 。g”和“g。f”中的元素整个颠倒了。 > 这个理解开始时我也像你一样，但是后来发现他是对的。
> f。g=f(g(x),你用x=1,2,3代入算一下，是不是符合他的结果? > （3）、在P75的定理中的（1）应为“f^-1。f = Ix ”“f。f^-1 = Iy”， > 你可以结合P75的例3看一下！
> 你的意思是不是要将Ix和Iy换一下? 这个也一样，我开始时也这么理解，但是他是对的。
这两道题目容我在细细体会一下！
|9|我也谈几点看法|ryzzpp|1、首先我要澄清的是在第3题的第二个空，我是填因为“a∈[a]r”
2、第1题
“设＜a，b＞，＜b，d＞∈S
则存在c使＜a，c＞，＜c，b＞，＜b，c＞，＜c，d＞∈R （这样的c一定存在吗？问题就在这里）
∵R是传递的
有 ＜a，c＞ 、＜c，d＞∈R => ＜a，d＞∈R
∴＜a，d＞∈S 即:sS = { │ 存在某个c,使 ＜a，c＞∈R且＜c，d＞∈R } 故， S具有传递性.”
3、至于P74页，P75页这些是没有问题的，之所以会在这个问题中混淆，不是我们的错，
自考 离散数学教材
