离散数学学习体会的.pdfVIP

我的离散数学学习心得 (1) -- 一类抽象代数题的解题思路 学习离散数学已经有一段时间了，书读了不少，题也做了一些。最近又常在群里和研友们讨论离散数学中 的问题。所以对离散数学也有了一些心得和体会。在今后的一段时间里，我会不定期的写一些小的经验总 结，以供后来人参考。：） 因为是“心得体会”，所以多半是想到什么写什么，组织和条理方面可能会比较差。还望各位看官多 多包涵。；） 这次我们来讨论一类代数问题的解题思路。 问题：设R为含幺环，求证：对任意a,b∈R，若1-ab 可逆，则1-ba 也可逆。 分析： 我们知道，证明问题的方法大致可以分为两类：构造性证明和存在性证明。前者要求给出一个切实的 方法，找出符合命题要求的元素（在这道题中，就是找到1-ba的逆元）。后者则只证明这样的元素必然存 在，但并不给出切实的寻找方法。反证法是存在性证明的基本方法。 无论打算采用是哪种证明方法，确认一下我们可以使用的前提条件总是必要的。 就这道题而言，我们可以使用这些前提： 1、R是含幺环。这就意味着R对加法构成Abel群（从而我们可以自由地使用加法交换律、加法消去 律、加法逆元等），R对乘法构成独异点（从而可以使用乘法单位元1），当然还有乘法对加法的分配律。 2、1-ab是可逆的，这就是说，存在c∈R，使得c(1-ab)=(1-ab)c=1。移项后得到：cab=abc=c-1。 需要注意的是： 1、在题设中没有假设R 的可换性（事实上，如果R 可换的话，整个问题就没有任何难度了），也没有 假设a、b是可逆的。所以，在解题时，不能使用乘法交换律，也不能随便使用a、b 的逆元（除非已经证 明了它们的存在性）。 2、如果没有1-ab可逆这个条件，肯定是推不出1-ba 可逆的（我们在环中可以找到太多的反例）。所 以，cab=abc=c-1将是解题的关键。观察这个式子，我们注意到，它提供了在c的参与下，移动和消去ab 的方法。 我们的目的是，证明存在这样的一个元素d∈R，满足(1-ba)d=d(1-ba)=1。 初看到这道题，我们并不知道使用构造性证明容易还是使用反证法容易。 不过推理一下我们可以发现，如果要使用反证法的话，我们需要反设1-ba不存在乘法逆元，然后由此 推出1-ab也不可能有逆元（或者推出R不是含幺环）。 但反设1-ba不存在乘法逆元后，我们到底能推出哪些结论来呢？似乎很少。我们甚至连“对任意x∈ R，必有x(1-ba)≠1”这样简单的情况都难以证明（因为我们只假设了1-ba没有“乘法逆元”，并不能由 此推出1-ba没有“乘法左逆元”）。 另一方面，利用等式cab=abc=c-1直接构造出一个1-ba的逆元应该一个比较有希望的方法。 这时，我们可以“取巧”了。注意到： 1、如果我们相信题目给的命题没有错的话，我们只要找到1-ba的左逆元（或者右逆元）就基本完成 任务了（虽然最终书写证明时，我们需要证明我们找到的元素既是左逆元又是右逆元）。因为如果一个元 素的左右逆元都存在的话，它的左右逆元是唯一且相等的（所以，1-ba确实可逆，而我们又找到了它的一 个左逆元x，那么这个x自然也是1-ba的右逆元）。 2、不要指望证明c本身也是1-ba的逆元。因为假如是这样的话，(1-ab)和(1-bc)就都是c的逆元， 由逆元的唯一性可知，1-ab=1-ba，利用消去律，我们可以得到ab=ba。这就说，在这个环里，只要1-ab 有逆元，a和 b 就是可换的。这个符合“含幺环R”的一般情况吗？显然不符合。比如，由所有实矩阵对矩 阵加法和矩阵乘法组成的环，它是含幺环。但只要|a|·|b|≠1，1-ab就可逆，但这样的矩阵都可换吗？ 显然不是的。这就说明，即使1-ab的逆元 c存在，1-ba 的逆元（如果存在的话）也未必是c。 3、我们前面看到，在这道题中，c的存在性是1-ba可逆的一个不可缺少的条件，但c本身并不一定 就是1-ba的逆元（仅当ab=ba时，c是1-ba的逆元）。那么，1-ba的逆元应该是一个与c有某种关系的 元素。 根据这些线索，我们来寻找1-ba的乘法逆元（不妨先寻找左逆元）。 前面已经提到，cab=abc=c-1应该是解题的一个关键。那么，如果要使用它，就得用一个式子（不妨 记为X）与(1-ba)相乘，使得它们的乘积中出现包含cab 或者a