数学是研究數量、结构以及空间等概念及其变化的一門学科，屬於形式科學的一種。數學利用抽象化和邏輯推理，從計數、計算、量度、對物體形狀及運動的觀察發展而成。數學家們拓展這些概念，以公式化新的猜想，以及從選定的公理及定義出發，嚴謹地推導出一些定理。 基礎數學的知識與運用是生活中不可或缺的一環。對數學...

数学上，空间是指一种具有特殊性质及一些额外结构的集合（有时称为全集）。在初等數學或中學數學中，空間通常指三維空間。 现代数学使用了多种类型的空间，如欧几里得空间、线性空间、拓扑空间、希尔伯特空间或概率空间，但并不存在單稱為「空間」的數學物件。 空间由被视为点的数学对象和点之间的关系组成。...

数学分析学，也稱分析数学、分析学或解析学（英語：Mathematical Analysis），是普遍存在於大学数学专业的一门基础课程。大致与非數學专业学生所學的高等数学課程内容相近，但內容更加深入，一般指以微积分学、无穷级数和解析函數等的一般理论为主要内容，并包括它们的理论基础的一个较为完整的数学学科。...

同构（英語：Isomorphism）是一種线性变换，當T:V → W 是可逆時，這種线性变换就称之为同构。 在抽象代数中，同构指的是一个保持结构的双射。在更一般的范畴论语言中，同构指的是一个态射，且存在另一个态射，使得两者的复合是一个恒等态射。 正式的表述是：同构是在数学...

数学模型 數學模型（mathematical model）是使用數學來將一個系統簡化後予以描述。數學模型廣泛應用在自然科學（如物理學、化學、生物學、宇宙學）、工程学科（如计算机科学，人工智能）、以及社會科學（如經濟學、心理學、社會學和政治科學）上。科學家和工程師用模型來解释一个系统，研究不同组成部分...

数学上，数学基础（英語：foundations of mathematics）一词有时候用于数学的特定领域，例如数理逻辑，公理化集合论，证明论，模型论，和递归论（可計算性理論）。但是寻求数学的基础也是数学哲学的中心问题：在什么终极基础上命题可以称为“真”? 目前占统治地位的数学...

在數學上，數學證明（mathematical proof）是在一個特定的公理系統中，根据一定的规则或标准，由公理和定理推導出某些命題的過程。比起证据，数学证明一般依靠演绎推理，而不是依靠自然归纳和经验性的理据。這樣推導出來的命題也叫做該系統中的定理。 數學證明建立在逻辑之上，但通常會包含若干程度的...

若較不嚴謹些，通常會將S(韻如，凯文，佳馨)用來指上表中第一行的同一種關係。關係S為「三元」關係，因為每一行都包含了「三個」項目。關係是一個以集合論中的概念定義出的數學物件（即關係為{X,Y,Z}的笛卡兒積的子集），包含了表中所有的訊息。因此，數學上來說，關係純粹是個集合。 k元關係在數學上有兩種常見的定義。 定義1在集合X1,…...

集合（英語：set）簡稱集，是一个基本的数学模型，指若干不同物件（英語：object）形成的总体。集合裡的物件称作元素或成员，它们可以是任何类型的数学对象：数字、符号、变量、空间中的点、线、面，甚至是其他集合。若 x {\displaystyle x} 是集合 A {\displaystyle A}...

数学归纳法（英語：Mathematical Induction，縮寫：MI）是一种数学证明方法，通常被用于证明某个给定命题在整个或者局部自然数范围内成立。除了自然数以外，广义上的数学归纳法也可以用于证明一般良基结构，例如：集合论中的树。这种广义的数学归纳法应用于数学逻辑和计算机科学领域，称作结构归纳法。...

同余（英語：Congruence modulo，符號：≡）在数学中是指數論中的一種等價關係。當两个整数除以同一个正整数，若得相同余数，则二整数同余。同餘是抽象代數中的同餘關係的原型。最先引用同余的概念与「≡」符号者为德國数学家高斯。 對某兩個整数 a {\displaystyle a} ， b {\displaystyle...

华罗庚数学奖是为了纪念中国数学家华罗庚而於1992年设立的数学奖项，由中国数学会与湖南教育出版社共同主办，现为每两年评选一次、每届两人，用以奖励中国50岁以上获得重要成就的资深数学家。华罗庚数学奖与陈省身数学奖、钟家庆数学奖同为中国数学界声誉最高的三个奖项，与另两个奖项奖励中青年数学家与年轻学者不同，华罗庚数学奖是一种“终身成就奖”。...

在集合論及其數學應用中，類是一組集合（或其他數學物件）所構成的整體。有些類是集合（例如由所有偶數構成的類），但有些則不是（如所有集合所構成的類），不是集合的類被稱之為真類（英語：Proper Class）。有些公理化集合论是以類為出發點來定義集合的，如冯诺伊曼-博内斯-哥德尔集合论。 在數學...

数学史的主要研究对象是历史上的数学发现，调查它们的起源，或更广义地说，数学史就是对过去的数学方法与数学符号的探究。 数学起源于人类早期的生产活动，为古中国六艺之一，亦被古希腊学者视为哲学之起点。數學最早用於人們計數、天文、度量甚至是貿易的需要。這些需要可以簡單地被概括為數學...

数学标记语言（Mathematical Markup Language，MathML），是一种基于XML的标准，用来描述数学符号和公式。它的目标是把数学公式集成到万维网和其他文档中。从2015年开始，MathML成为了HTML5的一部分和ISO标准。 由于数学...

中國數學史是指中國的數學發展史。中國傳統數學稱為算學，起源于仰韶文化，距今有五千余年历史，在周公时代，数乃是六艺之一。在春秋时代十进位制的筹算已经普及。著名日本数学史家三上义夫指出，中国算学的发展有二三千年之久，如此长久的发展历史，世界各国未曾有过，希腊自公元前6世纪到公元4世纪，仅一千年历史；阿拉...

以下列出了一些目前在数学领域中的未解决的问题： 在克雷数学研究所悬赏设立的七个千禧年大奖难题中，仍未被解决的六个题目是： 复杂度类P对NP问题（理论信息学：计算复杂度） 霍奇猜想（代数几何） 黎曼猜想（素数） 楊-米爾斯存在性與質量間隙（量子场论） 納維-斯托克斯存在性與光滑性（计算流体力学） 贝赫和斯维讷通-戴尔猜想（代数）...

离散数学（英語：Discrete mathematics）是数学的几个分支的总称，研究基于离散空间而不是连续的数学结构。与連續变化的实数不同，离散数学的研究对象——例如整数、图和数学逻辑中的命题——不是連續变化的，而是拥有不等、分立的值。因此离散数学不包含微积分和分析等「连续数学」的内容。...

量子力学的数学表述（Mathematical formulation of quantum mechanics）是对量子力学进行严谨描述的数学表述体系。与20世纪初发展起来的旧量子论的数学形式不同，它使用了一些抽象的代数结构，如无穷维希尔伯特空间和这些空间上的算子。这些结构中有许多源于泛函分析。这一纯粹数学...

在範疇論中，範疇此一概念代表著一堆數學實體和存在於這些實體間的關係。對範疇的研究允許其公式化抽象結構及保有結構的數學運算等概念。實際上，範疇在現代數學的每個分支之中都會出現，而且是統合這些領域的核心概念。有關範疇自身的研究被稱做是範疇論。 一個範疇C包括： 一個由物件所構成的類ob(C)...

在數學中，微分同胚是適用於微分流形範疇的同構概念。這是從微分流形之間的可逆映射，使得此映射及其逆映射均為光滑（即無窮可微）的。 對給定的兩個微分流形 M , N {\displaystyle M,N} ，若對光滑映射 f : M → N {\displaystyle f:M\to N} ，存在光滑映射...

量（magnitude，size）或译量值、量级，是数学对象的一种属性，用于决定该对象比其他“同类对象”大还是小。更正式地说，一个对象的量值是在它所属的对象类别中排序或排名的显示结果。“数学的量”是非負實數，可更簡單地想成是其與同類對象比較時，放在同一測量尺度下的“長度”。 實數的量通常稱為絕對值或模。它寫作...

数学家是指一群對數學有深入了解的人士，并且將其知識運用於其工作上（特別是解決數學問題）。數學家專注於數、數據、邏輯、集合、結構 (數學)、空間、變化。專注於解決純數學（基础数学）領域以外的問題的數學家稱為應用數學家，他們運用他們的特殊數學知識與專業的方法解決許多在科學領域的顯著問題。因為專注於廣泛...

biology），又稱數學生物學（英語：mathematical biology）或生物数学（英語：biomathematics）是一个跨学科的领域，其主要目标是利用数学的技巧和工具为自然界，特别是生物学中的过程建模并进行分析。生物数学在生物学的理论和实践中都有广泛的应用。 很久以前，数学...

数学笑话是一种关于数学和数学家的幽默，有时来自于一些数学术语的双关含义，有时来自于对数学的一些误解。 這個世界上有10種人，懂二進位的人與不懂二進位的人。（二進位的"10"等於十進位的2） 老板给了工程师、物理学家和数学家每个人一桶油漆，让他们分别把墙涂满。过了一会，老板走进工程师的房子裡，发现只有...

在数学中，等距同构 ，或稱保距映射，简称等距（英語：Isometry），是指在度量空间之中保持距离不变的同构关系。几何学中的对应概念是全等变换。 等距同构经常用于将一个空间嵌入到另一空间的构造中。例如，测度空间M的完备化即涉及从M到M' 的等距同构，这里M' 是M上柯西序列所构成的空间关于“距离为零...

在抽象代数中，體（德語：Körper，英語：Field）是一种具有加法跟乘法的集合（代数结构），且其加法跟乘法運算就如同普通的有理數還有實數。事實上，體正是数域以及四则运算的推廣，所以被廣泛運用在代數、數論等數學領域中。 體是环的一種。但區別在於域要求它的非零元素可以做除法，且體的乘法有交換律。...

2021年復旦大學数学科学学院殺人事件，又叫作复旦割喉案、姜文華持刀殺人案、王永珍遇害案，是發生在2021年6月7日當地時間14時52分於中华人民共和国上海市楊浦區复旦大学邯郸校区复旦大学数学科学学院的一起兇殺案。犯罪嫌疑人為該學院的“青年研究員”姜文華（男，39歲），被害者為复旦大学数学...

logic）是数学的一个分支，其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。主要的子研究领域有模型论，证明论，集合论和可计算性理论。 数理逻辑的研究范围是逻辑中可被数学模式化的部分。以前称为符号逻辑（相对于哲学逻辑），又称元数学...

範疇論（英語：Category theory）是數學的一門學科，是关于数学结构及其关系的一般理论，以抽象的方法處理數學概念，將這些概念形式化成一組組的「物件」及「態射」。數學中許多重要的領域可以形式化為範疇。使用範疇論可以令這些領域中許多難理解、難捉摸的數學結論更容易敘述證明。 一个范畴包含两类数学...

在数学领域中，对偶一般来说是以一对一的方式，常常（但并不总是）通过某个对合算子，把一种概念、公理或数学结构转化为另一种概念、公理或数学结构：如果A的对偶是B，那么B的对偶是A。由于对合有时候会存在不动点，因此A的对偶有时候会是A自身。比如射影几何中的笛沙格定理，即是在这一意义下的自对偶。 对偶在数学...