几何最早是一门"把世界画直"的手艺：在田亩上拉紧绳索，在墙角处立起直角，在河岸边标出边界。那时它服务于生活，线条朴素而实用。到了古希腊，它被系统化、被打磨、被抽象化，成为理性最为节制的推理体系：点、线、面被赋予严格的定义，几何学也随之带有近乎公理般的确定性。再往后，笛卡尔把坐标系引入平面——这一举措使曲线可以被写成方程，形状可以被计算、被转换、被精确地重新构造，几何从直观的图形描绘，逐渐发展为可以借助代数工具处理的精密学科。
而真正的转变，发生在十九世纪：几何不再满足于画得准确，而开始追问一个更为根本的问题——所依赖的"空间"本身，究竟具有怎样的性质？同一条线，在不同的几何背景下,是否会呈现出不同的规律？平行线是否必须永不相交？“无穷远"只是想象中的边界，还是可以被纳入几何研究本身的具体对象？一条闭合曲线，为何必然把平面分割为"内部"与"外部"两个区域？这些看似细微的问题，实际上标志着数学研究重心的深刻转移：从研究"图形的具体尺寸”，转向研究"图形在各类变换下所保持的内在结构"；从研究"空间之中的形状"，转向研究"空间本身所具有的性质"。
一、从测量到系统：几何在十九世纪之前的积累
古埃及的几何，最初是一门实用的测量之术，用以在洪水退去之后,重新丈量并划定土地的边界。到了古希腊时期，几何进一步从具体的测量技艺，发展为系统的逻辑演绎体系：欧几里得把这门学科整理成《几何原本》，从最基本的定义与公设出发，逐步推导出一个逻辑自洽的完整体系。此后，笛卡尔引入坐标系，使几何图形与代数方程之间建立起了紧密的对应关系——几何学由此获得了一种全新的表达能力：一幅具体的图形，可以被转化为一个明确的代数表达式，反之亦然。
在十九世纪即将到来之际，加斯帕尔·蒙日的工作，为这一时期几何学的发展,做出了重要的铺垫。他所撰写的《画法几何学》,把工程制图中的投影方法加以系统化：如何把三维物体准确地投影到二维平面之上，如何使透视原理从依赖个人经验的技艺，转化为一套可以被系统训练、反复运用的规范方法。这套方法体系,此后被进一步引申：既然投影这一操作会改变图形的外观，却依然保留了图形之间某些内在的关系，那么，是否可以直接从"投影关系"这一角度出发，重新构建整个几何学体系？
二、无穷远的引入：射影几何的确立
绘画艺术中最引人入胜的一种视觉现象，是两条实际平行的铁轨，在视觉透视中,会在远处呈现出相交的效果。理性告诉人们，这两条铁轨永不相交，但视觉经验却让人确信,它们会在画面的尽头汇聚。十九世纪的射影几何，正是把这种源自视觉经验的现象，转化为严格的数学研究对象：平行线在无穷远处的这一"交点"，被正式命名为"无穷远点"——这一概念的引入,并非出于诗意的想象，而是为了使几何体系在逻辑上更加完整、更加自洽。
这段历史的起点,颇具戏剧性。让-维克多·彭赛列在拿破仑战争期间被俘，长期辗转于战俘营之中，缺乏书籍与充足的纸张，却在这样极为有限的条件下，凭借头脑中的推演，反复对图形进行投影、翻转与延伸,加以研究，试图从中把握住图形在各类变换下依然保持不变的内在结构。这些思考此后汇集成他的重要著作《论图形的射影性质》：这部著作,并非一部单纯讲授具体几何知识的书籍，更接近一份具有宣言性质的理论纲领——长度与角度这类度量性质，在投影变换中往往会发生改变，但某些更为深层的结构性关系,却依然能够保持不变，正是这些不变的关系，构成了射影几何真正关注的核心。
射影几何这一研究方向，在法国与德语学界呈现出略有不同的发展路径。雅各布·施泰纳是这一时期综合几何研究中的重要人物：他出身贫寒，早年的教育经历并不算顺利，却凭借极为敏锐的几何直觉，成为这一领域的代表性学者之一，他的研究风格更倾向于依靠几何直觉与具体构造，而非依赖繁复的代数运算。与此同时，卡尔·冯·施陶特则致力于把射影几何构建成一套不依赖度量概念的独立理论体系：他试图借助交比等射影不变量,作为整个理论的基础，使射影几何能够依靠自身内部的逻辑体系而自洽，不必借助长度这类外来的度量工具。
射影几何在这一时期完成了一次重要的观念转变：它不再追问"这条线段的长度是多少"，而追问"在所允许的变换之下，究竟哪些性质构成了图形真正稳定的内在结构"。这一观念此后将被进一步推广、系统化，成为十九世纪几何学的核心方法论。而在其发展的前半段，它首先以一种较为直观的方式,深刻地改变了人们对几何空间的基本理解：无穷远点被纳入几何研究的范畴之后，整个几何体系,变得更加完整、也更加耐人寻味。
三、平行公设的动摇：非欧几何的确立
两千余年来，欧几里得几何中的平行公设——过直线外一点，有且仅有一条直线与已知直线平行——始终被视为不言自明的真理。历代数学家也曾多次尝试证明这一公设可以从其余更为基本的公理中推导得出，但始终未能成功。十九世纪最具突破性的进展在于：数学家们不再执着于证明这一公设的必然性，转而开始探讨——如果放弃这一公设，是否依然能够建立起一套逻辑自洽的几何体系？
罗巴切夫斯基在1829年至1830年间发表的研究成果，把这一设想系统化，构建出后来被称为"双曲几何"的理论体系：在这一体系中，过直线外一点，可以作出不止一条与已知直线不相交的直线。这一结论初看似乎有悖常理，却确实能够推演出一套逻辑严密、内部自洽的完整几何理论。然而，他的这一成果，在当时的学界并未得到应有的重视，反应普遍冷淡，甚至遭到部分学者的质疑与排斥。
几乎与此同时，鲍耶·亚诺什也独立地得出了相近的理论成果：他关于非欧几何的研究工作,历经多年才最终完成，并于1832年,以附录的形式,随其父亲的著作一同出版。
与此同时，高斯这位在数学界享有崇高声誉的学者,同样对非欧几何的可能性进行过深入思考，也留下了相关的推演，但他并未选择公开发表这一研究成果。这并非因为他对这一理论缺乏充分的理解，恰恰相反，正是因为他对这一理论的深刻理解，使他预见到，一旦这一颠覆性的观点被公之于众，很可能会在当时仍普遍尊奉欧几里得几何为唯一真理的学界，引发相当激烈的争议。他把这些思考,长期封存于私人的笔记与通信之中。这一沉默,也从一个侧面表明：某些重大的理论突破，其所欠缺的，未必是足够深刻的洞察力，而可能是一个能够充分接纳这一洞察的时代氛围。
一旦人们逐渐承认，欧几里得几何并非空间性质唯一可能的描述方式，欧几里得几何本身,并未因此被彻底推翻，而是从此前被视为唯一确定的真理，转变为诸多可能的几何体系之一。与之并存的，还包括三角形内角和不再固定为一百八十度、最短路径的形态也随之发生变化的非欧几何体系。世界由此不再只存在一种被视为"合乎常理"的空间描述方式。
不过，非欧几何若要真正被学界广泛接纳，还需要进一步的理论支撑——否则，它便始终容易被视为某种缺乏坚实基础、难以进入主流学术视野的边缘理论。真正为这一理论提供了坚实支撑的学者，是欧金尼奥·贝尔特拉米。
四、直线成为研究对象：线几何、度量的重构与变换群的确立
当几何学的研究重心逐渐转向"变换"这一核心概念时，一种颇具启发性的思路也随之出现：不再仅仅把"点"视为几何研究中最基本的元素，而开始把"直线"本身，也纳入系统研究的范畴之中。尤利乌斯·普吕克正是把这一思路发展成系统理论的重要学者。
他于1868年出版了《空间的新几何学》第一部分，提出把直线作为空间研究的基本元素来加以处理。值得一提的是，在完成这部著作的第二部分之前，普吕克便已去世，而当时正担任他助手的年轻学者费利克斯·克莱因，此后依照普吕克此前的设想，整理并出版了该书的第二卷。
线几何这一研究方向的意义，并不仅仅在于更换了具体的研究对象，更体现出一种颇具现代意味的理论视角：当研究"所有可能的直线"这一集合本身时，便不可避免地进入了一个更高层次的空间——由这些"直线"所构成的集合本身，便构成了一个全新的几何研究对象。这一思路，悄然把几何学推向了此后极为重要的一项观念：某一类对象的集合本身，同样可以成为新的研究对象；空间本身，也可以被赋予某种更高层次的空间结构。
但几何学的探索并未止步于此。在射影几何这一"最不依赖度量"的理论体系内部，学者们还完成了一项颇具巧思的工作：重新构建出度量的概念。阿瑟·凯莱在1859年的研究中，提出借助一个被称为"绝对二次曲线（或曲面）“的对象，来重新定义距离这一概念，这一思路此后被克莱因进一步发展为一套统一的理论框架：依照所选取的"绝对对象"不同，可以分别得到欧几里得几何、双曲几何、椭圆几何等不同的度量体系——度量不再被视为空间本身天然具备的固定属性，而是在选定某一具体的参照对象之后，从射影不变量（例如交比）之中,重新推导出来的结果。
至此，十九世纪几何学发展的核心主题已经逐渐清晰：变换与不变量。1872年，克莱因把这一思路，系统提炼为一套完整的理论纲领——《埃尔朗根纲领》，把几何学重新定义为对某一特定变换群作用下保持不变的性质加以研究：所允许的变换越多，能够加以区分的具体细节便相应越少；所允许的变换越少，相应的几何体系便越为精细、越为严格。这一理论框架，把此前学界长期存在的诸多直觉性认识，系统整合为一套具有严密逻辑的整体分类体系：各类此前看似彼此独立的几何体系，都可以依照其所允许的变换群，被纳入统一的分类之中。
而当"变换群"这一概念,成为这一时期几何学研究的核心之后，索菲斯·李的工作，进一步把这一理论推向了新的高度。他创立了连续变换群理论，把对称这一原本较为静态的几何概念，转化为可以进行微分运算、可以驱动具体方程求解的强大理论工具——这也使得几何学与微分方程、物理学等领域之间的联系，变得更加紧密而广泛。
五、曲率作为核心：黎曼的空间理论与贝尔特拉米的模型构造
射影几何把视角本身纳入了几何研究，非欧几何动摇了平行公设的绝对性，线几何则把直线提升为核心的研究对象——但这些理论探索，在相当程度上，仍然停留于讨论"应当如何描绘空间"这一层面。真正把空间本身，转化为一个具有内在生命力、可以被深入研究的具体对象的学者，是波恩哈德·黎曼。
1854年，他在一次资格讲演中提出了"关于几何基础的假设"这一重要理论：他把空间理解为一种可以被赋予度量、可以谈论曲率的研究对象——空间不必局限于三维，也不必在各处都呈现出完全相同的性质，它可以是任意维度、局部可以被精确描绘、整体上却可能呈现出弯曲状态的复杂对象。值得一提的是，他当时曾为这次讲演准备了多个候选题目，最终是由高斯,选定了关于几何基础这一主题。此后，几何学的研究,正式进入了"流形"这一更为广阔的理论时代。
黎曼几何最为深刻的贡献，并不在于某一项具体的定理，而在于它从根本上改变了"空间"这一概念本身所承载的含义：空间不再被视为承载具体图形的静态背景，而成为具有其自身内在性质、能够主动参与几何研究的核心对象。曲率在这一理论体系中，不再只是一个附属性的描述词汇，而成为空间本身最为核心的属性：在空间的不同位置，其内在的"伸缩性质"可能有所不同，最短路径（测地线）也会因此呈现出不同的具体形态。空间由此第一次被允许拥有各自不同的"局部几何性格”。
不过，这样一套具有革命性意义的理论,若要真正获得学界的广泛认可，还需要具体而可靠的模型加以支撑，否则,很容易被视为过于抽象、难以把握的理论构想。欧金尼奥·贝尔特拉米正是完成这一关键工作的学者。1868年，他给出了双曲几何的具体模型，特别是借助曲率为常数、且为负值的曲面（例如伪球面）等具体构造，实现了非欧几何的直观呈现，并据此论证：只要欧几里得几何本身不存在逻辑矛盾，那么双曲几何,同样不存在逻辑矛盾——二者在逻辑自洽性这一层面，是彼此等价、共生共存的。这一成果，相当于为此前长期被视为纯属理论构想的非欧几何，提供了确凿的合法性依据：它不再仅仅是一种缺乏根基的大胆设想，而是能够在已经被广泛接受的理论框架内，被严格构造出来的具体对象。
自此以后，非欧几何不再是孤立的理论宣言，而成为一个可以被具体计算、可以相互比较、可以在不同模型之间灵活转换的成熟研究对象。射影几何中的不变量理论、凯莱与克莱因所提出的"绝对对象"理论，以及黎曼关于曲率的空间理论，在这一时期彼此呼应、相互印证，共同指向同一个重要结论：空间不再只有唯一的形态，几何学也不再只有唯一的体系。
在这一理论体系日益丰富的背景下，加斯东·达布完成了另一项极具系统性的工作。他所撰写的多卷本《曲面一般理论讲义》（出版时间跨越1887年至1896年），把此前较为分散的曲面理论,加以系统整理与汇编，为这一领域的研究,提供了极为详尽、系统的理论基础。
六、拓扑学的诞生与希尔伯特的公理化整顿
几何学发展至十九世纪末，逐渐显现出一种颇为微妙的理论困境：这门学科越是深入地依赖直觉，直觉本身,便越容易在某些极端情形下,显露出其局限性。人们通常凭直觉认为，一条闭合曲线自然会把平面分割为"内部"与"外部"两个区域，但当曲线的形态变得极为复杂、处处连续却处处不光滑，甚至在局部呈现出极为剧烈的振荡时，这一看似显而易见的直觉判断，便开始面临严峻的理论挑战。
正是在这一背景下，卡米耶·若尔当于1887年提出并给出了"若尔当曲线定理"的首个证明：任何简单的闭合曲线，都能够把平面分割为内部与外部两个区域。这一结论表面上看似浅显，实际上其严格证明,却相当不易——这也正是这一定理之所以重要的原因：它相当于把此前仅凭直觉认可的这一性质，真正转化为经过严格逻辑论证的确定结论。
在这一理论基础之上，几何学的研究,进一步向更为抽象的方向拓展：不再关注长度与角度这类具体的度量性质，而开始追问，在不发生撕裂、也不发生粘合的连续形变过程中，图形究竟保持着怎样的本质属性。亨利·庞加莱于1895年发表的《位置分析》一文，标志着这一研究方向正式确立了系统的理论语言：拓扑学由此诞生，几何学中"不变量"这一核心概念，被进一步推进到更为柔性、也更为深层的理论层面。
而当整个十九世纪的几何学研究，在多个方向上持续拓展、蓬勃发展之后，学界也逐渐意识到，有必要对这一学科的整体理论基础，进行一次系统的梳理与整顿——这并非是为了限制这一学科此后的发展，而是为了使其理论根基更加清晰，使每一种具体的几何理论,都能够明确自身所依据的公理体系。大卫·希尔伯特于1899年出版了《几何基础》一书，以严谨的公理化方法，重新系统梳理了欧几里得几何的整体逻辑结构，为此后几何学的进一步发展，奠定了更为坚实可靠的理论基石。
结语：十九世纪几何为何不断拓展边界
回顾这段历史，十九世纪几何学的发展，并非仅仅体现为涌现出了更多杰出的学者，而更体现为几何学所依赖的基本理论框架,经历了几次深刻的转变：射影几何把无穷远这一概念正式纳入几何研究的范畴（彭赛列的开创性工作，以及施泰纳、施陶特等学者的后续深化）；非欧几何证明了平行公设并非唯一可能的选择（罗巴切夫斯基与鲍耶各自独立的理论建构，以及高斯此前未曾公开的深刻思考）；线几何把直线本身确立为核心的研究对象，凯莱与克莱因进一步在射影几何的框架内，重新构建出度量的理论（普吕克的开创性工作，以及克莱因借助《埃尔朗根纲领》所完成的系统整合）；黎曼把空间本身，转化为具有内在曲率、可以深入研究的具体对象，贝尔特拉米则为非欧几何提供了具体而可靠的理论模型，达布则系统整理了曲面理论的整体框架；最终，若尔当曲线定理的严格证明,推动了拓扑学这一全新学科的确立，庞加莱进一步拓展了这一理论领域，希尔伯特则以严谨的公理化方法，重新校正了整个欧几里得几何体系的理论基础。
因此，十九世纪几何学的重要意义，并不在于它使人们对世界的描绘变得更加逼真，而在于它第一次系统地表明：这个世界,可以借助多种不同的理论框架来加以理解，而几何学，正是致力于研究"在所选定的具体研究方式之下，究竟哪些性质能够始终保持不变"这一根本问题的学科。