计算共形几何是计算机科学和,科学网—计算共形几何概览 - 顾险峰的博文

如果您觉得以下内容比较生疏，不必过于焦虑，请继续关注本公众号。我们将会详尽解释以下所涉及的概念，定理，算法和应用。在未来岁月中，让我们共同学习，共同成长。

计算共形几何是计算机科学和纯粹数学之间的交叉学科，其目的是将现代几何，经典几何的概念和定理转化为计算机算法，为工程实践服务；同时，用组合离散的方法给出经典几何定理的构造性证明，换言之，用计算机算法语言从头构建经典的共形几何理论，从而绕过了历史上传统的逻辑链条。

用组合离散方法重建光滑流形上的几何结构，许多数学工具无法直接使用，例如经典复变函数论的所有方法，曲面微分几何的方法，因此其理论发展困难重重。但是，绝大多数深刻的几何定理能够被推广到离散情形，其内在的思路和直觉是一脉相承的。许多问题的连续证明非常简单，但是离散证明却异常困难，例如刘维尔定理：曲率非负的空间不存在正的非常数调和函数；许多定理的离散证明直接了当，但其连续证明却曲折晦涩，例如高斯-博纳定理：曲面全曲率被拓扑控制。在连续和离散的范畴之间自由游走，自然会领略到独到的风景。

计算机是人脑的延长物，一切抽象的概念和理论一旦被计算机科学所内化，就会被芸芸众生所感知，所体验，从而真正转化为物质力量，用于改造自然和人类社会。例如共形结构的概念，在历史上只存在于职业数学家的脑海里面，他