数学，是研究数量、结构、变化、空间以及信息等概念的一门学科，从某种角度看属于形式科学的一种。下面是小编为大家整理的关于数学的基本定义，希望可以帮到大家哦。

数学的基本定义

数学是研究现实世界空间形式和数量关系的一门科学。分为初等数学和高等数学。它在科学发展和现代生活生产中的应用非常广泛，是学习和研究现代科学技术必不可少的基本工具。

数学(汉语拼音：shù xué;希腊语：μαθηματικ;英语：Mathematics/Math)，源自于古希腊语的μθημα(máthēma)，其有学习、学问、科学之意，以及另外还有个较狭隘且技术性的意义——“数学研究”。即使在其语源内，其形容词意义和与学习有关的，亦会被用来指数学的。其在英语的复数形式，及在法语中的复数形式+es成mathématiques，可溯至拉丁文的中性复数(Mathematica)，由西塞罗译自希腊文复数 τα μαθηματικά(ta mathēmatiká)。在中国古代把数学叫算术，又称算学，最后才改为数学。数学分为两部分，一部分是几何，另一部分是代数。[2]

数学是利用符号语言研究数量、结构、变化以及空间模型等概念的一门学科。数学，作为人类思维的表达形式，反映了人们积极进取的意志、缜密周详的逻辑推理及对完美境界的追求。虽然不同的传统学派可以强调不同的侧面，然而正是这些互相对立的力量的相互作用，以及它们综合起来的努力，才构成了数学科学的生命力、可用性和它的崇高价值。

对象

基础数学的知识与运用是个人与团体生活中不可或缺的一部分。其基本概念的精炼早在古埃及、美索不达米亚及古印度内的古代数学文本内便可观见。从那时开始，其发展便持续不断地有小幅度的进展，直至16世纪的文艺复兴时期，因着和新科学发现相作用而生成的数学革新导致了知识的加速，至今。

数学被使用在世界不同的领域上，包括科学、工程、医学和经济学等。数学对这些领域的应用通常被称为应用数学，有时亦会激起新的数学发现，并导致全新学科的发展。数学家也研究纯数学，也就是数学本身，而不以任何实际应用为目标。虽然许多以纯数学开始的研究，但之后会发现许多应用。

创立于二十世纪三十年代的法国的布尔巴基学派认为：数学，至少纯数学，是研究抽象结构的理论。结构，就是以初始概念和公理出发的演绎系统。布学派认为，有三种基本的抽象结构：代数结构(群，环，域，格……)、序结构(偏序，全序……)、拓扑结构(邻域，极限，连通性，维数……)。[3]

领域

数学商业上计算的需要、了解数与数之间的体系、测量土地面积及预测天文观念。这四种需要大致地与数量、结构、空间及变化(即算术、代数、几何及分析)等数学上广泛的领域相关连著。除了上述主要的关注之外，亦有用来探索由数学核心至其他领域上之间的连结的子领域：至逻辑、至集合论(基础)、至不同科学的经验上的数学(应用数学)、及较近代的至不确定性的严格学习。

短语

[span]数学Mathematics;Maths;TEACMSES

[span]数学分析 [数] Mathematical Analysis;analysis;Math analysis; [数] Matematisk analyse

[span]数学规划 [数] mathematical programming; [数] Mathematical Planning;mp; [数] mathematical Slave ogramming

数学的基本概念

圆周率

数量的学习起于数，一开始为熟悉的自然数及整数与被描述在算术内的有理和无理数。

另一个研究的领域为其大小，这个导致了基数和之后对无限的另外一种概念：阿列夫数，它允许无限集合之间的大小可以做有意义的比较。

第一个用科学方法寻求圆周率数值的人是阿基米德，得出精确到小数点后两位的π值。数学家刘徽在注释《九章算术》时用割圆术求得π的近似值。得出

∏

数学家、天文学家祖冲之通过艰苦的努力，他在世界数学史上第一次将圆周率(∏)值计算到小数点后七位，即3.1415926到3.1415927之间。

π是一个无限不循环小数，也是一个无理数，是一个超越数。

结构

许多如数及函数的集合等数学物件都有着内含的结构。这些物件的结构性质被探讨于群、环、体及其他本身即为此物件的抽象系统中。此为抽象代数的领域。在此有一个很重要的概念，即向量，且广义化至向量空间，并研究于线性代数中。向量的研究结合了数学的三个基本领域：数量、结构及空间。向量分析则将其扩展至第四个基本的领域内，即变化。

空间

空间的研究源自于几何-尤其是欧式几何。三角学则结合了空间及数，且包含有非常著名的勾股定理。现今对空间的研究更推广到了更高维的几何、非欧几何及拓扑学。数和空间在解析几何、微分几何和代数几何中都有着很重要的角色。在微分几何中有着纤维丛及流形上的计算等概念。在代数几何中有着如多项式方程的解集等几何物件的描述，结合了数和空间的概念;亦有着拓扑群的研究，结合了结构与空间。李群被用来研究空间、结构及变化。

基础

为了搞清楚数学基础，数学逻辑和集合论等领域被发展了出来。德国数学家康托(Georg Cantor，1845-1918)首创集合论，大胆地向“无穷大”进军，为的是给数学各分支提供一个坚实的基础，而它本身的内容也是相当丰富的，提出了实无穷的存在，为以后的数学发展作出了不可估量的贡献。康托的工作给数学发展带来了一场革命。由于他的理论超越直观，所以曾受到当时一些大数学家的反对，庞加莱也把集合论比作有趣的“病理情形”，庞加莱还击康托是“神经质”，“走进了超越数的地狱”。对于这些非难和指责，康托仍充满信心，他说：“我的理论犹如磐石一般坚固，任何反对它的人都将搬起石头砸自己的脚”。

集合论在20世纪初已逐渐渗透到了各个数学分支，成为了分析理论，测度论，拓扑学及数理科学中必不可少的工具。20世纪初世界上最伟大的数学家希尔伯特在德国传播了康托的思想，把他称为“数学家的乐园”和“数学思想最惊人的产物”。英国哲学家罗素把康托的工作誉为“这个时代所能夸耀的最巨大的工作”。

逻辑

数学逻辑专注在将数学置于一坚固的公理架构上，并研究此一架构的成果。就其本身而言，其为哥德尔第二不完备定理的产地，而这或许是逻辑中最广为流传的成果-总存在一不能被证明的真实定理。现代逻辑被分成递归论、模型论和证明论，且和理论计算机科学有着密切的关联性。

符号

在现代的符号中，简单的表示式可能描绘出复杂的概念。此一图像即是由一简单方程所产生的。

我们现今所使用的大部分数学符号都是到了16世纪后才被发明出来的。在此之前，数学被文字书写出来，这是个会限制住数学发展的刻苦程序。现今的符号使得数学对于专家而言更容易去控作，但初学者却常对此感到怯步。它被极度的压缩：少量的符号包含著大量的讯息。如同音乐符号一般，现今的数学符号有明确的语法和难以以其他方法书写的讯息编码。

严谨

数学语言亦对初学者而言感到困难。如何使这些字有着比日常用语更精确的意思。亦困恼着初学者，如开放和域等字在数学里有着特别的意思。数学术语亦包括如同胚及可积性等专有名词。但使用这些特别符号和专有术语是有其原因的：数学需要比日常用语更多的精确性。数学家将此对语言及逻辑精确性的要求称为“严谨”。

严谨是数学证明中很重要且基本的一部分。数学家希望他们的定理以系统化的推理依着公理被推论下去。这是为了避免错误的“定理”，依着不可靠的直观，而这情形在历史上曾出现过许多的例子。在数学中被期许的严谨程度因着时间而不同：希腊人期许着仔细的论点，但在牛顿的时代，所使用的方法则较不严谨。牛顿为了解决问题所做的定义到了十九世纪才重新以小心的分析及正式的证明来处理。现在，数学家们则持续地在争论电脑辅助证明的严谨度。当大量的计量难以被验证时，其证明亦很难说是有效地严谨。因为时代的差别、也抹去了不少知识、但是数学永不磨灭、永远流传智慧。