数学联邦政治世界观
超小超大

伽罗瓦理论之美(二) (5-1)

比如,我们在有理数域Q上添加一个无理数√2 ,形成一个新的数域 Q(√2) ,则 Q(√2)/Q 就是Q上的一个扩域。由域的定义知道,这个形成的新域不只是包含 √2 ,还包含着任何通过有理数与 √2 进行加法和乘法得到的数。其实,除了加法和乘法,域里面还有着逆元,加法的逆元运算对应着减法,乘法的逆元运算对应着除法。也就是说,表面上域定义了加法和乘法,实质上确定了加减乘除四则运算。域是更高层次上抽象出来的结构,但是落实到我们日常的数字和运算上,与小学就开始学习的四则运算没有什么不同。

可以证明,任何可以表示为α+b · √2 (a,b ∈ Q)的数都属于Q(√2) 这个域,而这个域里面的任何数也都可以表示成为α+b · √2 (a,b ∈ Q)的形式。显然,这个 Q(√2) 就是一个范围大于Q但是小于R的数域。有了扩域这个工具,我们可以构造出无穷多个数域。

(2)之后伽罗瓦考虑的应该是如何定义方程的根式可解

因为在伽罗瓦从事数学研究的那5年,人们已经在开始猜测一般的一元五次方程不可根式求解。可是,到底什么是根式求解?字面意思很容易理解,就是一个一元高次方程的解如果可以使用方程的系数经过加减乘除和开方以及它们的组合运算表达出来,就是可以根式求解的;如果不能以这种方式表达,那就是不可以根式求解的。可这样的定义虽然从语言和表达的角度来说没有歧义,但是从数学的角度来说,还不够清晰。

伽罗瓦通过自己的深入思考,给出了根式可解的更优美的定义。在了解这个优美定义之前,需要思考以下一些毫无疑问是正确的结论:

(a)一个数域里面的任何数,都可以通过这个数域中的其它数的加减乘除运算组合表达出来;

(b)除了个别特殊情况外,一般来讲,数域中某个数的开方运算的结果是不属于这个数域的(类似于√2∉Q);

(c)把数域中某个数开方运算的结果扩张进来成为一个扩域后,扩域中的数都可以使用原来数域中的数和这个开方运算的结果的加减乘除运算组合来表达,或者说这种扩域中的数一定可以使用原来数域之内的数的加减乘除和开方运算进行根式表达;

明白了上面这3条结论,就可以知道,能否根式表达与上面说的这种把数域中某个数的开方运算的结果扩张进来形成的扩域有着密切关系。我们把这种扩域定义为纯扩域。

纯扩域:B/F为扩域,B=F(d) , d∈B , dᵐ∈F ,此时把B称为F的m型纯扩域。

显然,所谓m型纯扩域就是在域F中找一个数开m次方,然后把开方结果扩进来形成的扩域。可别小看这个纯扩域,根据前面的分析,纯扩域B中的任何数都可以通过域F中的数的加减乘除和开m次方运算得到。如果继续这样扩域下去,把F扩为F₁ ,把 F₁ 扩为 F₂ ,…,无论多少次这种扩域,只要是有限次,最终的扩域 Fₙ 中的数都可以由域F中的数经过加减乘除和开方运算得到。由此,引出一个新概念,根式塔。

根式塔:不断扩域形成的域列,F=F₁ ⊆ F₂ ⊆. . . ⊆ Fᵣ₊₁ ,如果每个扩域 Fᵢ₊₁/Fᵢ (i=1,2, …,r)都是一个纯扩域,则称此域列为一个根式塔。

于是,数域F中的数通过加减乘除和开方运算所能得到的数,一定包括在某个根式塔的Fᵣ₊₁ 之中。由此,伽罗瓦给出了根式可解的更清晰优美的定义。

数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。

相关小说

奇眠者 连载中
奇眠者
原野稳
写步临笺发现学校里的人一个一个的都失踪了,而他们的父母都没有他们的记忆,直到轮到自己也消失了,她发现自己被困在梦境里。无法走出来,有一天遇到......
1.3万字6个月前
错位秩序 连载中
错位秩序
思詩
『全文修改中』北斗联盟解散!苍龙星崛起!邪灵兽降临永恒的阴谋!转世归来,再见昔日的伙伴,竟以敌我对峙相见!苍龙!银河!永恒!我们的家园由我来......
14.6万字6个月前
凹凸:月凌星 连载中
凹凸:月凌星
芊玲一只玲
手底下oc的故事,更新随缘,主更另外两本以两个世界观写(省流:一刀一糖)一是凹凸大赛世界观。二是有创世神,没有大赛与残酷的世界观含梦设,但均......
0.2万字6个月前
洪荒之苍龙紫妖 连载中
洪荒之苍龙紫妖
梦里乘凉
敖紫妖,洪荒唯一的一尾苍龙,大道之女,生而为圣
26.0万字6个月前
花千骨穿越寻找前世之旅 连载中
花千骨穿越寻找前世之旅
该用户已注销
白子画刺死了花千骨,但花千骨并没有死,她转世成为了叶隐。。为了寻找花千骨,白子画、杀阡陌、单春秋、东方彧卿(带着糖宝)、落十一、笙箫默和十大......
0.8万字6个月前
凹凸:假卡 连载中
凹凸:假卡
卡卡不哭
-黑夜是属于我的-光明是来自你的-后悔方已晚,莫知乎……-失去本有的天真,只为你回眸一笑……『原名:《卡卡竟是腹黑小奶狗?!》绝对不会弃坑就......
0.8万字6个月前