惯性聚合 高效追踪和阅读你感兴趣的博客、新闻、科技资讯
阅读原文 在惯性聚合中打开

推荐订阅源

G
Google Developers Blog
S
Schneier on Security
The Hacker News
The Hacker News
P
Proofpoint News Feed
Spread Privacy
Spread Privacy
L
LINUX DO - 热门话题
L
Lohrmann on Cybersecurity
I
Intezer
cs.AI updates on arXiv.org
cs.AI updates on arXiv.org
www.infosecurity-magazine.com
www.infosecurity-magazine.com
Schneier on Security
Schneier on Security
Security Latest
Security Latest
AWS News Blog
AWS News Blog
B
Blog RSS Feed
Microsoft Security Blog
Microsoft Security Blog
有赞技术团队
有赞技术团队
博客园 - 叶小钗
The Last Watchdog
The Last Watchdog
O
OpenAI News
月光博客
月光博客
Hacker News: Ask HN
Hacker News: Ask HN
阮一峰的网络日志
阮一峰的网络日志
S
Security @ Cisco Blogs
Google Online Security Blog
Google Online Security Blog
云风的 BLOG
云风的 BLOG
奇客Solidot–传递最新科技情报
奇客Solidot–传递最新科技情报
Latest news
Latest news
P
Palo Alto Networks Blog
Last Week in AI
Last Week in AI
M
MIT News - Artificial intelligence
Google DeepMind News
Google DeepMind News
P
Proofpoint News Feed
C
CERT Recently Published Vulnerability Notes
Apple Machine Learning Research
Apple Machine Learning Research
U
Unit 42
PCI Perspectives
PCI Perspectives
博客园 - 聂微东
SecWiki News
SecWiki News
宝玉的分享
宝玉的分享
Forbes - Security
Forbes - Security
H
Heimdal Security Blog
cs.CL updates on arXiv.org
cs.CL updates on arXiv.org
Hugging Face - Blog
Hugging Face - Blog
freeCodeCamp Programming Tutorials: Python, JavaScript, Git & More
T
Troy Hunt's Blog
博客园 - 三生石上(FineUI控件)
Application and Cybersecurity Blog
Application and Cybersecurity Blog
罗磊的独立博客
WordPress大学
WordPress大学
D
Darknet – Hacking Tools, Hacker News & Cyber Security

Posts on Changkun's Blog

Why High-Output Systems Are Often the First to Stop Growing Dark Forest Theory: A Formal Derivation Agents (or Humans) in Goal-Directed and Goalless Environments: On Pipelines, Priors, and the Rhythm Between Exploration and Exploitation At the Boundary of Self-Reference: From Stable Structures in Artificial Intelligence to the Self as a Recursive Model in an Open Dissipative System 2023 Reading List 2022 Reading List 2021 Reading List Are PSS/USS and RSS Actually the Same Thing? Performance Differences from Page Faults vs. Prefetching 2020 Year-End Review Migration with Zero Downtime 2020 Reading List The All in Go Stack Pointers Might Not Be Ideal for Parameters Eliminating A Source of Measurement Errors in Benchmarks Setup Wordpress in 10 Minutes 我为什么不再写博客了? 2019 年终总结 2018-2019 读书清单 Ten years of blogging Rethinking the Reflections on Communications and Trusts 2018 年终总结 Go source code study is open source Go source study: unsafe Pattern Go source study: sync.Pool Go runtime programming A Million WebSocket and Go Designing Asynchronous RESTful APIs 分布式杂谈01:CAP 理论的误解 Issues of Human-Bot Interaction 压缩法与深度网络的泛化性 Go in 1 Hour UMSLT04: The Past and Present of SGD UMSLT03: A Gentle Start of Learning Theory UMSLT02: A Breif History of Neural Networks UMSLT01: A Breif History of Regularization 不笑不足以为道 论文笔记:Generalization in Deep Learning 2017 年终总结 2017 读书清单 深度学习的泛化理论简介 删除 GitHub 上已经提交的敏感信息 硕士生涯的第一年就这样告一段落了 人肉计算(10): 系统参与激励 人肉计算(9): 陷阱的解法 别聊,一聊你就暴露 人肉计算(8): 人肉计算与数据科学中的陷阱 人肉计算(7): 社会行为分析 Hexo + GitHub + Travis CI + VPS 自动部署 人肉计算(6): 预测市场 人肉计算(5): 信用风险评级模型 读书与回报 瞎扯: 对现代企业理论与当下IT企业的商业模式和信息产业链的规律性的思考 人肉计算(4): 输入数据聚合与PageRank 又一次打整了一下博客 人肉计算(3): 输入数据聚合与链路预测 人肉计算(2): 意图博弈 GWAPs 人肉计算(1): 众包与群众智慧 对后辈同学在计算机专业上的答疑与解惑 在德国的医疗及住院体验 这可能不是一个技术博客了 实验楼楼赛第3期-Python-题解 迅速更换了 DISQUS Electron 深度实践总结 良好的编码体验的三个方面 2016 年终总结 2016 读书清单 最近在着手写的文章 微信小程序文档极致总结 谈谈过去三个月在实验楼的实习经历 Built a Desktop Client for My Blog Guacamole 源码分析与 VNC 中 RFB 协议的坑 《高速上手 C++11/14》正式发布 Docker 极速入门教程02 - 镜像与容器管理 Docker 极速入门教程01 - 基本概念和操作 阶段性沉默 ELK+Redis 最佳实践 终于全面启用了 HTTPS 苹果开源了LZFSE无损压缩 Hash 碰撞的一种思路 记一次完整的 Kaldi-TIMIT 示例运行 Kaldi 上的 TIMIT 例子 Kaldi 安装与部署 从科研写作谈起 Swift API 设计指南 有趣的人类 所以其实论文并没有什么鬼用 Githug 通关记录及指南 小结一下这学期的收获 2015 读书清单 2015 年终总结 负能量爆表 转眼就快两个月了 博客迁移记录 大三总结 这个世界,终究不会是我们的。 Linux 内核分析 之六:Linux 内核创建进程的过程 小说「泽缘」 Linux 内核分析 之五:system_call中断处理过程的简要分析 大创项目的标题真是每年都在考验同学们的想象力啊
又读流形
Changkun Ou · 2013-03-26 · via Posts on Changkun's Blog

又读流形

Published at发布于:   |   PV/UV: /   |   Reading阅读: 1 min

从牛顿说起

说到流形,要从 Newton 说起。 寒假的时候,也不知是在哪儿看的,说是当时Newton对三次曲线分类,实可逆线性变换和平移变换下的标准型有78类。

今天读古今数学思想的时候才知道其实Newton只得到了72个,Stirling后来在1717年的时候又补了4个,一个叫 Jean paul de gua de maives(这货名字好奇特)的人在1740年的时候又补了两个。

又要说到三次曲线上一个非常神秘的结构。比方说给一个集合:

$$ {P (x,y) | y^{2}=x^{3}+17,x,y\in C}\bigcup{0} $$

定义一个运算$\bigoplus$,这个运算满足交换律、结合律、零元律、负元律。 在公元250年左右有个叫Diaphantus的人就求出了这个运算的一个表达式,后来Newton就在对这个非常神秘的运算公式进 行了几何解释(据说是在1670年后)。

后来euler在1756年到1757年间研究过一个类似的积分加法公式(举个例子就是 $ \arcsin{x}+ \arcsin{a} = \arcsin{x\bigoplus a} $,研究这个$\bigoplus$运算),后来Euler得到了 $x\bigoplus a$的一个表达式、并在1756-1757年间尝试用此公式来解一个常微方程(很显然那个的积分并不是初等函数)。 当时是说Fagano在1717,2020年先得到了特殊解,Euler在1756、1757的时候得到了一般解。 据说Gauss也研究过这个积分,他也获得了两个非常神秘的周期,而且这两个周期有非常奇葩的联系。(有空补上) 不过,很遗憾、事实上Lagrange早在1785年就已经发现,并且还发表了(古今数学思想上说的、、), 我估计是当时 Gauss 没看到,当时Gauss是在1799年发现,写在日记本上,当然他没有即使发表。要不然……

1823年的时候,abel整合了以上这些人的工作,包括一般积分加法公式和双周期。 他发现,一般椭圆积分的关键思想是“反演”。从而椭圆积分概念走向椭圆函数概念。 椭圆函数的另一个发现者是Jacobi,他是在1827年的时候独立得到椭圆积分的“反演”思想。(也就是说Abel研究椭圆函数 的时候,Jacobi开始研究椭圆函数)他送了一篇没有证明的论文给Astronomische nachrichten,差不多是在同一时间, abel独立发表了他的《关于椭圆函数的研究》,两人都达到了从椭圆积分的反函数着手研究这一关键性想法。(但是好像后 来Jacobi承认,他是在看到abel的论文后才意识到反演的关键性所在。) 不过很可惜啊!!!!abel在1829年就去世了、jacobi活到1851年、发表了比abel更多的东西。而且1829年jacobi的 《椭圆函数基本新理论》成了椭圆函数的一本关键性著作。 通过Jacobi的来信,Legendre熟悉了Jacobi和Abel的工作,这么评价“我很满意地看到两个年轻数学家如此成功地开辟 了分析的一个分支,它很久以来是我喜爱的领域,但在我自己的国家中它却没有受到应有的重视”。

主要的问题在于,Abel积分的难点是,$x$是$y$的多值函数,那么积分中的$y$到底应该取什么值。所以Abel就认识到从 1666年Newton-Lebniz的微积分开始,建立的“单值函数论”的思想,经过了150多年的发展,如今遇到了巨大的困难。那么突破口在哪里呢?

这时候大神Riemann登场了、、Riemann大神常常被描述为一个纯粹数学家,不过这远非正确。虽然他对数学本身作了很多 贡献,但他深深地关心于物理及数学与物理世界的关系。(好吧、这个和这次主题无关、我多嘴了、)

Riemann发现关键是四维空间中看不到的某(打不出来)“紧化”后,“同样”于三维空间中“看得到”的环面(面包圈= =), 这个环面上有独立的两个“同调圈”。Riemann并且还认识到那个积分的严格写法。后来riemann搞出来一个东西叫做 Riemann面,他把Gauss-Abel他们神秘的发现“所有椭圆函数都有两个周期”,被Riemann用Riemann面,【显然的】, 【直接的】,“看到了”!。那个普遍的拓扑定理,在:

  • 1851年,Riemann知道。
  • 1863年,Mobius独立发现。
  • 1866年,Jordan独立知道。
  • 1907年,Dehn和Heggard严格证明。
  • 洞的个数叫做genus,是最基本的拓扑不变量。

几点感悟

说点感悟吧!

  1. Riemann genus是拓扑不变量,这是拓扑学进入数学主流的开始,从此,代数拓扑学和微分拓扑学逐步进入几乎所有 核心数学分支,成为二十世纪的数学Queen。代数拓扑学和微分拓扑学是流形思想的本质力量。
  2. Riemann得到 定理:“2元多项式方程具有有理函数解的充要条件 是它的Riemann 面的genus为零”。这是流形思想 应用于 多项式函数解 一个起点; 也可以看作现代代数几何的一个起点。
  3. Remann 1857年 用 Riemann 面 建立 Abel 积分的清楚理论。这是流形思想应用于分析,可看作大范围分析的一 个起点。
  4. Riemann 1854 年《关于几何基础的假设》建立了明确的内蕴几何学. 1905-1915年 Einstein广义相对论只有用 Riemann 几何的语言才能表述清楚。这是流形思想对物理的首次巨大影响。
  5. Riemann 1858 年得到了关于Riemann 面上亚纯函数个数的Riemann 不等式。 它的逐步推广成为后来代数几何学 的中心课题之一, 直至推广到 20世纪数学最宏伟的定理之一:1963年的 Atiyah-Singer指标定理。这是流形思想的一 个历史高峰。
  6. 最可惜的一点就是!当时,Riemann 的流形和拓扑思想在他在世时没有被广泛地理解和传播。Poincare 认识到数学 思想发展的历史大方向,把 Riemann的流形和拓扑思想发扬光大,用到数学的各个方面。

那么Poincar干了什么呢?Poincar 把流形和拓扑学思想用到代数方程和常微分方程。可否把流形和拓扑学思想用到偏微 分方程中呢?可以!Raoul bott 做了这件事情、并且获得了 wolf 奖!

好吧就说到这了,至于 Raoul bott 的工作,我貌似现在还没有领悟到真谛。不过好像是说:任何 n 维紧微分流形上 的任何椭圆型线性偏微分方程组的线性独立的解的个数与其对偶方程的线性独立的解的个数的差可以用微分拓扑不变量有效 地计算出(大大超过了 Golois 理论的一元n次代数方程)。