CLIFFORD代数,几何计算和几何推理.pdfVIP

维普资讯 第32卷第4期 数 学 进 展 Vo1．32，No．4 2003年8月 ADVANCES IN M ATHEM ATICS Aug．，2003 Clifford代数，几何计算和几何推理 李洪波 (中国科学院数学与系统科学研究院，数学机械化重点实验室，北京， 100080，中国) 摘要：Clifford代数是一种深深根植于几何学之中的代数系统，被它的创始人称为几何代 数．历史上， E．Cartan，R．Brauer，H．Weyl，C．Chevalley等数学大师都曾研究和应用过 Clffiord代数，对它的发展起 了重要作用．近年来，Clffiord代数在微分几何、理论物理、经典 分析等方面取得了辉煌的成就，是现代理论数学和物理的一个核心工具，并在现代科技的各个 领域，如机器人学、信号处理、计算机视觉、计算生物学、量子计算等方面有广泛的应用． 本文主要介绍Clifford代数在几何计算和几何推理中的应用．作为一种优秀的描述和计算 几何问题的代数语言，Clffiord代数对于几何体，几何关系和几何变换有不依赖于坐标的、易于 计算的多种表示，因而应用它进行几何 自动推理，不仅使困难定理的证明往往变得极为简单， 而且能够解决一些著名的公开问题．目前在国际上，几何 自动推理已经成为 Clffiord代数的一 个重要应用领域． 关键词：Clifford代数；数学机械化；几何计算；机器证明 MR(1991)主愿分类：15A66；51．04；68T15／中图分类号：O151．24；O18 文献标识码：A 文章编号：1000-0917(2003)04-Q405-11 1引言：数学机械化与 Clifford代数 由吴文俊先生开创的数学机械化领域，其核心 内容是证定理，解方程 ，它建立于深刻盼数 学基础之上．欧美学者用于机器证 明的 Gr6bner基方法建立于理想论基础上，是纯粹代数的方 法；吴方法 【。J则是建立在代数几何和特征列理论基础上，是几何观念和代数工具的结合．这 一 区别，是我 国吴学派的机器证 明研究一直居于国际领先地位的重要原 因． 机器证明的发展不仅要求进一步扩大机械化数学的领域，需要有更多的数学概念和工具引 入，在理论上深入发展，而且要求不断提高证明效率，在方法上有不断的创新 反过来，机器 证 明也能够推动一些新 的数学概念和工具的产生，推动核心数学 的发展 ．应用 Clifford代数于 几何定理机器证 明的工作，正是产生于这个背景之下． Clifford代数 由W ．K．Clifford在 1878年建立 ISJ，它结合Hamilton的四元数和 Grassm~nn． 的扩张代数，能够进行高维的几何计算和分析，被 Clifford取名为几何代数．在历史上， E． Caftan4[] R．Brauer[引，H ． Weyl，M．Riesz，C．Chevalley[6,7]等著名数学家对它的发展做出了重 ， 要贡献．特别是 自1960年起，Clifford代数在微分几何、理论物理、经典分析等方面取得 了辉 煌的成就，其发展突飞猛进．例如，微分几何中各种指标定理的证明 2【04，量子理论中的旋量计 算 4【6l，作为复分析的高维推广的Clifford分析 [2,10,11,14]，经典调和分析 中的Coifman-McIntosh- Meyer定理 tgl，以及现代高科技领域如机器人，计算机视觉等， Clifford代数都大显身手．可 以这么说， Clifford代数是现代理论数学和物理的一个核心工具，应用范围非常广泛． 收稿 日期 ·2001—11—08． 基金项 目·得到 国家 973项 目G1998030600部分资助 维普资讯 数 学 进 展