现代数学简介.pptx

现代数学简介复旦大学数学科学学院刘宪高现代数学简介全文共44页，当前为第1页。

现代数学的主要内容现代数学时期是指由19世纪20年代至今，这一时期数学主要研究的是最一般的数量关系和空间形式，数和量仅仅是它的极特殊的情形，通常的一维、二维、三维空间的几何形象也仅仅是特殊情形。分析学，几何学和拓扑学、代数学是整个现代数学科学的主体部分。它们是大学数学专业的课程。现代数学简介全文共44页，当前为第2页。

非欧几何1826年，罗巴契夫斯基和里耶首先提出的。非欧几何的出现，改变了人们认为欧氏几何唯一地存在是天经地义的观点。它的革命思想不仅为新几何学开辟了道路，而且是20世纪相对论产生的前奏和准备。1854年，黎曼推广了空间的概念，开创了几何学一片更广阔的领域——黎曼几何学。非欧几何学的发现还促进了公理方法的深入探讨，研究可以作为基础的概念和原则，分析公理的完全性、相容性和独立性等问题。现代数学简介全文共44页，当前为第3页。

不可交换代数在1843年，哈密顿发现了一种乘法交换律不成立的代数——四元数代数。不可交换代数的出现，改变了人们认为存在与一般的算术代数不同的代数是不可思议的观点。它的革命思想打开了近代代数的大门。另一方面，由于一元方程根式求解条件的探究，引进了群的概念。19世纪20～30年代，阿贝尔和伽罗华开创了近世代数学的研究。古典代数的内容是以讨论方程的解法为中心的。群论之后，多种代数系统(环、域、格、布尔代数、线性空间等)被建立。现代数学简介全文共44页，当前为第4页。

数学的严格化1）分析的算术化（19世纪）。Newton和Leibnitz创立了微积分.但是不严格。1874年威尔斯特拉斯提出了一个引人注目的例子，要求人们对分析基础作更深刻的理解。他提出了被称为“分析的算术化”的著名设想，实数系本身最先应该严格化，然后分析的所有概念应该由此数系导出。今天的全部分析可以从表明实数系特征的一个公设集中逻辑地推导出来。欧几里得几何通过其分析的解释，也可以放在实数系中；如果欧氏几何是相容的，则几何的多数分支是相容的。实数系(或某部分)可以用来解群代数的众多分支；可使大量的代数相容性依赖于实数系的相容性。事实上，可以说：如果实数系是相容的，则现存的全部数学也是相容的。现代数学简介全文共44页，当前为第5页。

数学的严格化2）欧几里得几何通过其分析的解释（解析几何），也可以放在实数系中；如果欧氏几何是相容的，则几何的多数分支是相容的。实数系(或某部分)可以用来解群代数的众多分支；可使大量的代数相容性依赖于实数系的相容性。事实上，可以说：如果实数系是相容的，则现存的全部数学也是相容的。现代数学简介全文共44页，当前为第6页。

数学的严格化3）19世纪后期，由于狄德金、康托和皮亚诺的工作，这些数学基础已经建立在更简单、更基础的自然数系之上。即他们证明了实数系(由此导出多种数学)能从确立自然数系的公设集中导出。20世纪初期，证明了自然数可用集合论概念来定义，因而各种数学能以集合论为基础来讲述。现代数学简介全文共44页，当前为第7页。

数学的严格化4)拓扑学开始是几何学的一个分支，但是直到20世纪的第二个1/4世纪，它才得到了推广。拓扑学可以粗略地定义为对于连续性的数学研究。科学家们认识到：任何事物的集合，不管是点的集合、数的集合、代数实体的集合、函数的集合或非数学对象的集合，都能在某种意义上构成拓扑空间。现代数学简介全文共44页，当前为第8页。

Newton(25December1642–20March1727)现代数学简介全文共44页，当前为第9页。

Leibnitz(July1,1646–November14,1716)现代数学简介全文共44页，当前为第10页。

Hilbert(January23,1862–February14,1943)现代数学简介全文共44页，当前为第11页。

KarlWeierstrass(German,31October1815–19February1897)现代数学简介全文共44页，当前为第12页。

Augustin-LouisCauchy(French,21August1789–23May1857)现代数学简介全文共44页，当前为第13页。

BernhardRiemann(September17,1826–July20,1866)现代数学简介全文共44页，当前为第14页。

Euler(15April1707–18September1783)现代数学简介全文共44页，当前为第15页。

SergeiLvovichSobolev(Russian,6October1908–3