[陈省身演讲中国的数学.docVIP

陈 省 身 演 讲 中 国 的 数 学 美 籍 华 裔 数 学 家、 中 国 南 开 大 学 数 学 研 究 所 所 长 陈 省 身 教 授， 在 庆 祝 自 然 科 学 基 金 制 设 立 15 周 年 和 国 家 自 然 科 学 基 金 委 员 会 成 立 10 周 年 之 际， 以 《中 国 的 数 学》 为 题 发 表 讲 演。 以 下 是 这 篇 演 讲 的 全 文， 特 此 刊 出， 以 飨 读 者。 中 国 的 数 学 几 件 数 学 新 闻 和 对 于 中 国 数 学 的 一 些 看 法 陈 省 身 张 存 浩 先 生 要 我 讲 点 数 学， 这 么 短 的 时 间， 而 数 学 这 么 大， 只 好 举 几 个 要 点 谈 谈。 数 学 是 什 么？ 数 学 是 根 据 某 些 假 设， 用 逻 辑 的 推 理 得 到 结 论， 因 为 用 这 么 简 单 的 方 法， 所 以 数 学 是 一 门 坚 固 的 科 学， 它 得 到 的 结 论 是 很 有 效 的。 这 样 的 结 论 自 然 对 学 问 的 各 方 面 都 很 有 应 用， 不 过 有 一 点 很 奇 怪 的， 就 是 这 种 应 用 的 范 围 非 常 大。 最 初 你 用 几 个 数 或 画 几 个 图 就 得 到 的 一 些 结 论， 而 由 此 引 起 的 发 展 却 常 常 令 人 难 以 想 象。 在 这 个 发 展 过 程 中， 我 认 为 不 仅 在 数 学 上 最 重 要， 而 且 在 人 类 文 化 史 上 也 非 常 突 出 的 就 是 Euclid 的 《几 何 原 本》。 这 是 第 一 本 系 统 性 的 书， 主 要 的 目 的 是 研 究 空 间 的 性 质。 这 些 性 质 都 可 以 从 很 简 单 的 公 理 用 逻 辑 的 推 理 得 到。 这 是 一 本 关 于 整 个 数 学 的 书， 不 仅 仅 限 于 几 何 学。 例 如， Euclid 书 上 首 先 证 明 素 数 的 个 数 是 无 穷 的， 这 便 是 一 个 算 术 的 结 论。 随 着 推 理 的 复 杂 化， 便 有 许 多 深 刻 的 定 理， 需 要 很 长 的 证 明。 例 如， 有 些 解 析 数 论 定 理 的 证 明， 便 需 几 十 条 引 理。 最 初， 用 简 单 的 方 法 证 明 几 个 结 果， 大 家 很 欣 赏， 也 很 重 要。 后 来 方 法 发 展 了， 便 产 生 很 复 杂 的 推 理， 有 些 定 理 需 要 几 十 页 才 能 证 明。 现 在 有 的 结 果 的 证 明 甚 至 上 百 页， 上 千 页。 看 到 这 么 复 杂 的 证 明， 我 们 固 然 惊 叹 某 些 数 学 家 高 超 的 技 巧 和 深 厚 的 功 力， 但 心 中 难 免 产 生 一 些 疑 问， 甚 或 有 些 无 所 适 从 的 感 觉。 所 以 我 想， 日 后 数 学 的 重 要 进 展， 在 于 引 进 观 念， 使 问 题 简 化。 先 讲 讲 有 限 单 群 的 问 题。 1. 有 限 单 群 我 们 知 道， 数 学 的 发 展 中 有 一 个 基 本 观 念 -- 群。 群 也 是 数 学 之 中 各 方 面 的 最 基 本 的 观 念。 怎 样 研 究 群 的 结 构 呢？ 最 简 单 的 方 法 是 讨 论 它 的 子 群， 再 由 小 的 群 的 结 构 慢 慢 构 造 大 一 些 的 群。 群 中 最 重 要 的 一 种 群 是 有 限 群， 而 有 限 群 是 一 个 难 极 了 的 题 目， 需 要 有 特 别 的 方 法， 特 别 的 观 念 去 研 究。 命 G 为 群， g ∈ G 为 一 子 群， 如 对 任 何 g ∈ G， g -1 H g ∈ H， 则 称 H 为 正 规 的 (normal)。 正 规 子 群 存 在， 可 使 G 的 研 究 变 为 子 群 H 及 商 群 G / H 的 研 究。 这 样 就 有 一 个 很 自 然 的 问 题， 有 哪 些 有 限 的 单 群 (simple group)？ 单 群 除 了 它 自 己 和 单 位 元 (identity) 之 外， 没 有 其 他 的 非 平 凡 的 正 规 子 群 (normal subgroup)。 数 学 上 称 其 为 简 单 群， 其 实 一 点 也 不 简 单。 有 限 群 论 的 一 个 深 刻 的 定 理 是 Fei-Thompson 定 理： 非 交 换 单 群 的 阶 (数) (即 群 中 元 素 的 个 数) 是 偶 数。 更