最近一直在看Galois理论,似乎有点魔怔了。我总觉得有一个地方非常的跳跃,很不自然,似乎是一种人为的定义,而这种定义还能有别的形式。

简单的说,我觉得根式的存在非常诡异,到底是根式先存在,还是对称性先存在?为什么根式就是这种形式呢,它为什么就是对称的呢?

如果说我们先定义了根式的存在,那么整个Galois理论就是在附和根式的存在形式。然而Galois理论确描述了某种更基本的存在,他不应该和根式绑定在一起,这毫无道理可言。你不能说,就是为了把求根公式用我们规定的某种形式的被称为根式的表达式表达出来,我就强行要求群必须满足交换律。

一种更合理的解释应该是,我们有很多种表达根式的方法,我们目前所见到的只是根式宇宙中的一种!而这种根式的存在正好对应了阿贝尔群这种对称性,然而阿贝尔群所描述的对称性只是对称性宇宙中的沧海一粟!我们因为直觉而选择了目前所用的根式表达式,因为它最简洁,因为它在复平面里面是一个完美的圆,具有最基础的对称性。然而,也正是因为如此,它的表达能力才是有限的,所以我们无法描述一般五次多项式的求根公式!

我强烈的感觉我们的数学误入歧途了,我们忽视了某种别的代数形式的存在,我们天真的以为加减乘除以及平方求根都是可以混为一谈的,实际上确不是的!就如同在解决计算机中的搜索问题一样,我们依据最简单的直觉贪心的选择了最直观简单的路径,确忽视了别的路径的存在。我们将目前的代数运算称为公理,确从未真正的思考过它为何是今天这个样子的。

从最简单的加法入手,我们将乘法定义在加法之上,但实际上是为某种递归运算定义了一个参数。比如说,1+1+1=3,我们执行了两次加法运算,所以将乘法定义为F(n=1,d=3)=ite(d>3,n,n+F(n,d+1)). 这毫无问题,问题出现在我们试图去求逆运算时,我们的认知总是会被打破,一定会出现扩域,也就是新的存在。那么为什么逆运算的形式是唯一的?我只要保证它不破坏原有的域的运算结果就可以了,至于在新的域里面,它们要满足什么运算规则,那完全随便了,所以为什么要a/b+c/d=(ad+cb)/bd?这是谁规定的?要我说,a/b,c/d如果都不在原来的域里面,那a/b+c/d的运算方式就是未定义的,你怎么就一定要是(ad+cb)/bd这种形式呢?到底是一种什么样的法则让我们觉得a/b+c/d=(ad+cb)/bd是必须的且唯一的?

如果乘法的逆运算不足以让我觉得诧异,那乘方的逆运算就已经开始让事情看上去不正常了。乘方可以看做是定义在乘法之上的递归运算。当我们求n次方根的时候,我们实际上是想找一个表达式去表示所有的x^n=1的根。一共有n个根,但是为什么我们一定要求这n个根满足某种对称性呢,为啥它们非要整齐的排列在复平面里的一个圆上面呢?

Galois理论说是为了展现出根与根之间的关系,更确切的说,我们似乎在追求一种代数关系,使得自同构可以被表达成某种已知的代数运算。啊!这就是原因了。因为我们想把根与根之间的自同构表示成加减乘除这种简单的运算,所以我们要求这些根必须排列在一个圆上面。我们无法接受抽象的自同构,无法接受无法用已有的代数表达出来的关系。这一切的一切,形成了一个逻辑闭环,锁死了我们的思维,将我们的代数困在了阿贝尔群上面!

所以,难怪当我问别人,为什么方程根式可解的充要条件和阿贝尔群有关?为什么我们一定要将正规子群定义在交换律上面。得到的答案都是为了满足根式的代数性质。所以实际上我们为了根式是这样而把根式定义成了这样!而我所发现的,是根式和群不应该耦合在一起。根式只是某种表达式,而群是更基础的存在。我们选择了现在这种根式,所以我们被导向了阿贝尔群,所以我们发现5次以及以上方程无法表达出来。这都是我们自己选择的结果。而事实上,布灵根式的存在说明不同的选择将会给出完全不同的结果。我们不应该拘泥于阿贝尔群,不应该被交换律所约束!

我相信,一定存在某个宇宙,在那里5-3=2,但是3-5!=-2,他们把运算和逆运算分开来对待,他们甚至把加法和乘法分开来对待。在那个宇宙里1+1=2,2*3=6,但是(1+1)+(2*3)确不是8,因为运算的类型不同,1+1=2是加类,而2*3是乘类,类型不同运算规则是未定义的,你怎么就能随便把两个数相加呢?这就像把整数和字符串相加一样的疯狂!

根式为什么是根式?(我可能疯了?)相关推荐

  1. 计算机表格常用根式,excel怎么建立常用根式_在excel中怎样开根号�9�3

    EXCEL 如何开根号 用函数 =sqrt((C6-A6) (D6-B6)) excel表格中怎么开根号 1.在Excel中使用开根号,可以插入公式的方法实现.点入公式,选择根式即可. 2.操作如下. ...

  2. 叉乘点乘混合运算公式_初中数学根式运算法则公式

    2020-10-27 15:17:20文/樊越 很多同学都学习了根式,小编整理了一些根式运算法则,大家一起来看看吧. 根式运算法 根式开方法则是根式的运算法则之一,算术根开n次方,把根指数扩大n倍,被 ...

  3. 方根法公式_初中数学根式运算法则公式

    初中数学根式运算法则公式2020-10-27 15:17:20文/樊越 很多同学都学习了根式,小编整理了一些根式运算法则,大家一起来看看吧. 根式运算法 根式开方法则是根式的运算法则之一,算术根开n次 ...

  4. LaTeX 第五课:数学公式排版

    本期的主要内容是数学公式的排版,包含以下内容: 行内公式与行间公式 数学结构的输入 数学符号的输入 多行公式排版 数学公式的排版是 LaTeX 的看家本领,下面我们就来看看吧! --- 行内公式与行间 ...

  5. 一份其实很短的 LaTeX 入门文档

    一份其实很短的 LaTeX 入门文档 优雅的 LaTeX 有很多 Geeks 或者 LaTeX's Fanatical Fans 过分地强调了 LaTeX 的一些并非重点的特性,以至于很多初学者会觉得 ...

  6. c语言二维数组省略号,LaTex 常用语法

    公式显示位置 行内公式 在公式两边各自加上一个美元符号即使行内公式 1这是文本$a^2+b^2=c^2$这是文本 显示效果: 这是文本$a^2+b^2=c^2$这是文本 行间公式 在公式两边各自加上两 ...

  7. R循环有两个_循环子群

    近 世 代 数 系 列 6本期导言回顾下Galois的定理: 假设f(x)为有理系数多项式.f(x) = 0可以根式解当且仅当f(x)的Galois群是可解群.这告诉我们, 要判断f(x)是否可以根式 ...

  8. Markdown富文本编辑器(数学公式教程)

    Markdown富文本编辑器(数学公式教程) 简单分类 行内公式示例如下 行间公式实例如下 希腊字母 上标与下标 括号 小括号与方括号 大括号 尖括号 上取整 下取整 求和与积分 求和 积分 连乘 其 ...

  9. 使用 LaTeX 的笔记

    综合各路大神组成了这篇长博文,,, 1. 简介 维基百科 LaTeX 是一种基于TEX的排版系统,由美国电脑学家莱斯利·兰伯特在20世纪80年代初期开发,利用这种格式,即使用户没有排版和程序设计的知识 ...

最新文章

  1. maven 整体打包_Spirng boot maven多模块打包不踩坑(示例代码)
  2. php点链接直接现在文件吗,PHP实现点击a标签的href做链接时,直接保存文件(任何类型),而...
  3. accept 阻塞_TCP网络编程中connect()、listen()和accept()三者之间的关系
  4. 作为一个php程序员要学会的技能
  5. 用原生JS写PHP里的Ajax
  6. android jni示例_Android GridLayoutManager示例
  7. 2017年前端该学些什么(译)
  8. 自制游戏手柄joystick stm32 hal usb协议
  9. selenium 清空缓存
  10. windows10 LTSC转换成win10专业版
  11. 【花瓣网】花瓣网练习-首页的静态页
  12. 豌豆荚Hack Day:百宝袋负责人访谈
  13. 如何在Mac上创建水彩画?Art Text来告诉你!
  14. 一个简单的网页登陆(html)
  15. 移动端滑动事件---实战笔记
  16. hadoop101: Permission denied (publickey,gssapi-keyex,gssapi-with-mic,password).
  17. 用计算机发现计算规律,用计算器探索规律
  18. 一文了解linux 内核模块 强制卸载
  19. 液晶弹性自由能计算_液晶性能参数的测试方法及原理.ppt
  20. 知网CAJ文件内容复制小助手

热门文章

  1. 使用freesurfer和3Dslicer进行脑区分割和电极定点(日常记录)
  2. ubuntu下安装(二)印象笔记(中国版而不是国际版)
  3. STM32实现DAC功能输出音频波形
  4. ps 粗糙的练习磨皮小结实现的步骤---粗略的版本
  5. java pv uv_前端数据收集(pv/uv)
  6. iceoryx(冰羚)-IPC中间件交叉编译
  7. python打包程序在win10不能运行、点击无反应_win10双击安装包没反应,win10运行exe无反应...
  8. php.ini afm,nanoscope analysis(AFM数据处理软件) v1.5 官方安装免费版(附安装教程)
  9. 记录 - Dubbo使用Zookeeper为注册中心添加认证口令时,连接失败的故障
  10. filename=文件夹名+filename (单个文件夹下的+Python)