发一道题目吧,谁能做出来我觉得他的数学修养不错

申一言 · 发表于 2008-10-1 01:13

看来simpley 的师娘没来!
   那就由你师爹 chinaunix证明!
      1
P×--- =1
      P
            证明对了,我就出国旅游,不在上网!

chinaunix · 发表于 2008-10-1 01:14

我来证明一遍吧:
看不懂不是我的问题:
第一道:
对于某个a
存在
ae=a
则对于任意b
存在c使得ca=b
则be=cae=c(ae)=ca=b(交换律)
也就是对于任意b,有be=b
并且,对于任意b,存在b';,使得bb';=e
并且该代数系统是半群
根据某判定定理,这个代数系统是群.
第二道:
对于任意a,b
(ab)*(ab)=e
(ab)*(ab)=a*(ba)*b
e=e*e=(aa)*(bb)=a*(ab)*b
所以有
a*(ba)*b=a*(ab)*b
两边前乘a后乘b
aababb=aaabbb
于是ba=ab
所以是交换群

chinaunix · 发表于 2008-10-1 01:17

傻了你,1/p是由方程
P*x=1
构造出来了,这叫分式域
用乘法构造了除法,这是定义,还证明个鸟

申一言 · 发表于 2008-10-1 01:20

好!
证明的好!
         祖国的希望!
         数学的脊梁!
                        向你学习!向你致敬!

simpley · 发表于 2008-10-1 01:25

下面引用由申一言在 2008/10/01 01:20am 发表的内容：
好!
证明的好!
祖国的希望!
数学的脊梁!
...

神经蛋!

申一言 · 发表于 2008-10-1 01:26

[这个贴子最后由申一言在 2008/10/01 01:28am 第 1 次编辑]

啊!chinaunix
你原来是个懵士?
你把你的老师请来吧!
不说你!
恐怕世界目前也没有能正确证明的!
      P×1/P=1 ?
  不是绝顶大师休想证明!
                                    您休息吧!

simpley · 发表于 2008-10-1 01:31

对于某个a
存在
ae=a
则对于任意b
存在c使得ca=b
则be=cae=c(ae)=ca=b(交换律)
也就是对于任意b,有be=b
并且,对于任意b,存在b';,使得bb';=e
并且该代数系统是半群
证明的不完全,怎么没有证明对于任意b,存在b';,使得bb';=e

chinaunix · 发表于 2008-10-1 01:34

因为bx=e
该方程有解(题目中说了)

chinaunix · 发表于 2008-10-1 01:37

不懂数学是如何建造的,就不要跟我扯淡[br][br]-=-=-=-=- 以下内容由 chinaunix 在时添加 -=-=-=-=-
这个申一言,如果想学数学,就好好的给我看书,不要还没到半瓶子醋,就开始晃荡了.数学的结构是如何一步步的搭的,我看你什么都不懂

chinaunix · 发表于 2008-10-1 01:41

simpley至少可能还知道我在证明什么.

		自动登录	找回密码
密码			注册