几何

几何 (Geometry)

几何 (Geometry) 是 数学 最古老的分支之一，研究空间与形状的性质、度量及变换。其希腊语词根 geo（土地）与 metron（测量）揭示了这门学科的最初起源——古代人类丈量土地、划分疆界的实践活动。现代几何学已远超此范围，成为研究抽象空间结构及其不变量的严谨演绎体系。

历史渊源与公理化

几何学的系统化始于古希腊。约公元前 300 年，欧几里得 (Euclid) 编纂了划时代巨著《几何原本》(Elements)，从五条公设和若干公理出发，以纯粹逻辑演绎推导出 465 个命题，构建了首个公理化体系。这一范式统治西方数学两千余年，其严格性直到 19 世纪才被超越。

非欧几何的诞生标志着重大转折。罗巴切夫斯基 (Lobachevsky) 与 波尔约 (Bolyai) 各自独立发现：否定欧几里得第五公设（平行公设），代之以"过直线外一点可作多条平行线"，同样得到逻辑自洽的几何体系。随后 黎曼 (Riemann) 发展了另一种非欧几何——椭圆几何，其中不存在平行线。非欧几何最终通过 微分几何 被纳入 黎曼几何 的统一框架，并成为 广义相对论 的数学语言。

主要分支

现代几何学分为若干核心分支：

1. 欧氏几何 (Euclidean Geometry)：研究平面与三维空间中满足欧几里得公设的图形性质，涵盖点、线、面、角、三角形、圆等基本对象的全等、相似、面积与体积。
2. 解析几何 (Analytic Geometry)：由 笛卡尔 (Descartes) 与 费马 (Fermat) 于 17 世纪创立。通过引入 坐标系，将几何对象转化为代数方程，使几何问题可借助代数工具求解。$\mathbb{R}^n$ 中的直线、平面、二次曲面等均由方程刻画。
3. 微分几何 (Differential Geometry)：运用 微积分 与 线性代数 研究光滑曲线与曲面的局部性质，如曲率、挠率与测地线。高斯-博内定理将局部曲率与全局拓扑联系起来，是里程碑式成果。
4. 代数几何 (Algebraic Geometry)：研究多项式方程组的零点集（即代数簇）的几何性质。它连接了抽象代数与几何直觉，在 数论、密码学 与理论物理中有深刻应用。
5. 拓扑学 (Topology)：关注在连续变形下保持不变的全局性质，如连通性、紧致性与亏格。代数拓扑 通过群、环等代数结构量化拓扑不变量。

公理化方法与逻辑结构

几何的公理化方法是数学严格性的典范。现代几何公理体系（如 希尔伯特公理体系）包含五组公理：

• 关联公理：描述点、线、面之间的从属关系。
• 顺序公理：界定"介于"这一概念，确保直线上的点有全序。
• 合同公理：定义线段与角的相等关系（全等）。
• 平行公理：欧氏几何的独特公理——过直线外一点恰有一条平行线。
• 连续公理：包括阿基米德公理与完备公理，确保实数模型的存在。

公理化使几何脱离了物理直观的依赖，成为纯粹的形式逻辑系统。这一思想深刻影响了 公理化集合论、数理逻辑 乃至 经济学 中的 公理化决策理论。

与经济学及统计学的关联

几何思维在现代经济学中有多重渗透：

1. 凸分析与优化：凸集、超平面 分离定理、锥 等几何概念是 凸优化 与 对偶理论 的基础，支撑着 一般均衡理论 中的 不动点定理 证明。
2. 微分几何与计量经济学：在 信息几何 (Information Geometry) 中，概率分布 族被赋予黎曼流形结构，Fisher信息矩阵 作为度量张量，为 最大似然估计 提供了几何解释。
3. 线性代数 与回归分析：OLS 估计量可理解为向量空间中的正交投影，Frisch-Waugh-Lovell定理 的几何直觉就是 $\mathbf{y}$ 在子空间的投影分解。
4. 代数几何与博弈论：近年来，多项式方程组求解技术被用于计算 纳什均衡，代数几何为有限博弈提供了分类工具。

当代发展与前沿

20 世纪下半叶以来，几何学与 拓扑学、代数 和 分析 深度融合。代数拓扑 中的同调与同伦理论、微分拓扑 中的流形分类、复几何 中的凯勒流形研究等，均构成当代数学的核心领域。此外，几何方法在 计算机图形学、机器人学、计算机视觉 与 机器学习（如流形学习、几何深度学习）中发挥着关键作用。几何测度论 则为处理不规则集合与分形提供了严谨工具。

几何的核心精神——从少数简单公理出发，经由严格逻辑演绎，以不变量的视角理解世界——至今仍是所有数学与理论科学分支的共同底色。

核心概念与基本对象

几何学的研究始于一组基本对象及其相互关系：

• 点 (Point)：几何学中最基本的元素，仅具有位置属性，无大小、无维度。点在解析几何中由坐标元组表示，如平面点 $(x, y)$ 或空间点 $(x, y, z)$。
• 线 (Line)：由无穷多个点沿单一方向延伸而成，是一维对象。欧氏几何中，两点确定唯一直线；在 向量空间 中，直线可参数化为 $\mathbf{p} + t\mathbf{v}$，其中 $\mathbf{v}$ 为方向向量。
• 面 (Plane)：二维平坦对象，由不共线的三点或一直线与线外一点确定。在 $\mathbb{R}^n$ 中，超平面由线性方程 $\mathbf{n} \cdot \mathbf{x} = c$ 刻画，其中 $\mathbf{n}$ 为法向量。
• 角 (Angle)：两条射线共享端点时所张开的度量。角的度量单位包括度（$360^{\circ}$ 制）与弧度（radian），后者在分析学中更为自然——$\pi$ 弧度对应 $180^{\circ}$。
• 距离 (Distance)：两点间的最短路径长度。欧氏距离由勾股定理给出：$d = \sqrt{(x_2-x_1)^2 + (y_2-y_1)^2}$。更一般的 度量空间 中，距离满足非负性、对称性与三角不等式。

坐标变换与线性几何

解析几何的核心技术之一是坐标变换。通过 线性变换（旋转、反射、缩放、剪切）与平移，可在不同参考系下描述同一几何对象。用 矩阵 表示的齐次坐标变换统一了仿射变换的复合运算，这是 计算机图形学 与 计量经济学 中 主成分分析 的几何基础。

正交变换（旋转与反射）保持距离与角度不变，构成 extbf{正交群} $O(n)$；若进一步限制行列式为 $+1$，则为 extbf{特殊正交群} $SO(n)$，即纯旋转群。这些群结构在 理论物理学（如角动量理论）与 统计学（如多元正态分布的旋转不变性）中扮演重要角色。

几何在经济学中的深层应用

除前述优化与计量方法外，几何工具在经济理论的多个领域不可或缺：

1. 无差异曲线与偏好几何：消费者理论中，无差异曲线 是效用函数的水平集。边际替代率 (MRS) 的几何意义是曲线切线的斜率；凸偏好假设等价于无差异曲线围成的上水平集为凸集。在 埃奇沃斯盒状图 中，契约曲线由双方无差异曲线的切点轨迹构成，直观展示了帕累托有效配置。
2. 生产可能性边界：生产理论中的 生产可能性边界 (PPF) 是投入约束下的产出可行域的上边界。其斜率即边际转换率 (MRT)，PPF 与等收入线的切点给出利润最大化产出组合。
3. 不动点与均衡存在性：纳什均衡 与 瓦尔拉斯均衡 的存在性证明依赖 Brouwer不动点定理 或 角谷不动点定理，其本质是紧凸集上连续映射的几何性质。
4. 信息几何：Fisher信息矩阵 定义了概率分布流形上的黎曼度量。在 贝叶斯推断 中，Jeffreys先验 可理解为该度量诱导的体积形式，具有重参数化不变性。