1. 数学是什么意思
数学(mathematics或maths),是研究数量、结构、变化、空间以及信息等概念的一门学科,从某种角度看属于形式科学的一种。
而在人类历史发展和社会生活中,数学也发挥着不可替代的作用,也是学习和研究现代科学技术必不可少的基本工具。
数学分支
1:数学史
2:数理逻辑与数学基础
X轴Y轴(4张)
a:演绎逻辑学(亦称符号逻辑学)b:证明论 (亦称元数学) c:递归论 d:模型论 e:公理集合论 f:数学基础 g:数理逻辑与数学基础其他学科
3:数论
a:初等数论 b:解析数论 c:代数数论 d:超越数论 e:丢番图逼近 f:数的几何 g:概率数论 h:计算数论 i:数论其他学科
4:代数学
a:线性代数 b:群论 c:域论 d:李群 e:李代数 f:Kac-Moody代数 g:环论 (包括交换环与交换代数,结合环与结合代数,非结合环与非结 合代数等) h:模论 i:格论 j:泛代数理论 k:范畴论 l:同调代数 m:代数K理论 n:微分代数 o:代数编码理论 p:代数学其他学科
5:代数几何学
6:几何学
a:几何学基础 b:欧氏几何学 c:非欧几何学 (包括黎曼几何学等) d:球面几何学 e:向量和张量分析 f:仿射几何学 g:射影几何学 h:微分几何学 i:分数维几何 j:计算几何学 k:几何学其他学科
7:拓扑学
a:点集拓扑学 b:代数拓扑学 c:同伦论 d:低维拓扑学 e:同调论 f:维数论 g:格上拓扑学 h:纤维丛论 i:几何拓扑学 j:奇点理论 k:微分拓扑学 l:拓扑学其他学科
8:数学分析
a:微分学 b:积分学 c:级数论 d:数学分析其他学科
9:非标准分析
10:函数论
a:实变函数论 b:单复变函数论 c:多复变函数论 d:函数逼近论 e:调和分析 f:复流形 g:特殊函数论 h:函数论其他学科
11:常微分方程
a:定性理论 b:稳定性理论 c:解析理论 d:常微分方程其他学科
12:偏微分方程
a:椭圆型偏微分方程 b:双曲型偏微分方程 c:抛物型偏微分方程 d:非线性偏微分方程 e:偏微分方程其他学科
13:动力系统
a:微分动力系统 b:拓扑动力系统 c:复动力系统 d:动力系统其他学科
14:积分方程
15:泛函分析
a:线性算子理论 b:变分法 c:拓扑线性空间 d:希尔伯特空间 e:函数空间 f:巴拿赫空间 g:算子代数 h:测度与积分 i:广义函数论 j:非线性泛函分析 k:泛函分析其他学科
16:计算数学
a:插值法与逼近论b:常微分方程数值解 c:偏微分方程数值解 d:积分方程数值解 e:数值代数 f:连续问题离散化方法 g:随机数值实验 h:误差分析 i:计算数学其他学科
17:概率论
a:几何概率 b:概率分布 c:极限理论 d:随机过程 (包括正态过程与平稳过程、点过程等) e:马尔可夫过程 f:随机分析 g:鞅论 h:应用概率论 (具体应用入有关学科) i:概率论其他学科
18:数理统计学
a:抽样理论 (包括抽样分布、抽样调查等 )b:假设检验 c:非参数统计 d:方差分析 e:相关回归分析 f:统计推断 g:贝叶斯统计 (包括参数估计等) h:试验设计 i:多元分析 j:统计判决理论 k:时间序列分析 l:数理统计学其他学科
19:应用统计数学
a:统计质量控制 b:可靠性数学 c:保险数学 d:统计模拟
20:应用统计数学其他学科
21:运筹学
a:线性规划b:非线性规划 c:动态规划 d:组合最优化 e:参数规划 f:整数规划 g:随机规划 h:排队论 i:对策论 亦称博弈论 j:库存论 k:决策论 l:搜索论 m:图论 n:统筹论 o:最优化 p:运筹学其他学科
22:组合数学
23:模糊数学
24:量子数学
25:应用数学 (具体应用入有关学科)
26:数学其他学科
发展历史
数学(汉语拼音:shù xué;希腊语:μαθηματικ;英语:Mathematics),源自于古希腊语的μθημα(máthēma),其有学习、学问、科学之意.古希腊学者视其为哲学之起点,“学问的基础”.另外,还有个较狭隘且技术性的意义——“数学研究”.即使在其语源内,其形容词意义凡与学习有关的,亦会被用来指数学的.
其在英语的复数形式,及在法语中的复数形式+es成mathématiques,可溯至拉丁文的中性复数(Mathematica),由西塞罗译自希腊文复数τα μαθηματικά(ta mathēmatiká).
在中国古代,数学叫作算术,又称算学,最后才改为数学.中国古代的算术是六艺之一(六艺中称为“数”).
数学起源于人类早期的生产活动,古巴比伦人从远古时代开始已经积累了一定的数学知识,并能应用实际问题.从数学本身看,他们的数学知识也只是观察和经验所得,没有综合结论和证明,但也要充分肯定他们对数学所做出的贡献.
基础数学的知识与运用是个人与团体生活中不可或缺的一部分.其基本概念的精炼早在古埃及、美索不达米亚及古印度内的古代数学文本内便可观见.从那时开始,其发展便持续不断地有小幅度的进展.但当时的代数学和几何学长久以来仍处于独立的状态.
代数学可以说是最为人们广泛接受的“数学”.可以说每一个人从小时候开始学数数起,最先接触到的数学就是代数学.而数学作为一个研究“数”的学科,代数学也是数学最重要的组成部分之一.几何学则是最早开始被人们研究的数学分支.
直到16世纪的文艺复兴时期,笛卡尔创立了解析几何,将当时完全分开的代数和几何学联系到了一起.从那以后,我们终于可以用计算证明几何学的定理;同时也可以用图形来形象的表示抽象的代数方程.而其后更发展出更加精微的微积分.
现时数学已包括多个分支.创立于二十世纪三十年代的法国的布尔巴基学派则认为:数学,至少纯数学,是研究抽象结构的理论.结构,就是以初始概念和公理出发的演绎系统.他们认为,数学有三种基本的母结构:代数结构(群,环,域,格……)、序结构(偏序,全序……)、拓扑结构(邻域,极限,连通性,维数……).[1]
数学被应用在很多不同的领域上,包括科学、工程、医学和经济学等.数学在这些领域的应用一般被称为应用数学,有时亦会激起新的数学发现,并促成全新数学学科的发展.数学家也研究纯数学,也就是数学本身,而不以任何实际应用为目标.虽然有许多工作以研究纯数学为开端,但之后也许会发现合适的应用.
具体的,有用来探索由数学核心至其他领域上之间的连结的子领域:由逻辑、集合论(数学基础)、至不同科学的经验上的数学(应用数学)、以较近代的对于不确定性的研究(混沌、模糊数学).
就纵度而言,在数学各自领域上的探索亦越发深入.
图中数字为国家二级学科编号.
结构
许多如数、函数、几何等的数学对象反应出了定义在其中连续运算或关系的内部结构.数学就研究这些结构的性质,例如:数论研究整数在算数运算下如何表示.此外,不同结构却有着相似的性质的事情时常发生,这使得通过进一步的抽象,然后通过对一类结构用公理描述他们的状态变得可能,需要研究的就是在所有的结构里找出满足这些公理的结构.因此,我们可以学习群、环、域和其他的抽象系统.把这些研究(通过由代数运算定义的结构)可以组成抽象代数的领域.由于抽象代数具有极大的通用性,它时常可以被应用于一些似乎不相关的问题,例如一些古老的尺规作图的问题终于使用了伽罗理论解决了,它涉及到域论和群论.代数理论的另外一个例子是线性代数,它对其元素具有数量和方向性的向量空间做出了一般性的研究.这些现象表明了原来被认为不相关的几何和代数实际上具有强力的相关性.组合数学研究列举满足给定结构的数对象的方法.
空间
空间的研究源自于欧式几何.三角学则结合了空间及数,且包含有非常着名的勾股定理、三角函数等。现今对空间的研究更推广到了更高维的几何、非欧几何及拓扑学.数和空间在解析几何、微分几何和代数几何中都有着很重要的角色.在微分几何中有着纤维丛及流形上的计算等概念.在代数几何中有着如多项式方程的解集等几何对象的描述,结合了数和空间的概念;亦有着拓扑群的研究,结合了结构与空间.李群被用来研究空间、结构及变化.
基础
旋转曲面(8张)
主条目:数学基础
为了弄清楚数学基础,数学逻辑和集合论等领域被发展了出来.德国数学家康托尔(1845-1918)首创集合论,大胆地向“无穷大”进军,为的是给数学各分支提供一个坚实的基础,而它本身的内容也是相当丰富的,提出了实无穷的思想,为以后的数学发展作出了不可估量的贡献.
集合论在20世纪初已逐渐渗透到了各个数学分支,成为了分析理论,测度论,拓扑学及数理科学中必不可少的工具.20世纪初,数学家希尔伯特在德国传播了康托尔的思想,把集合论称为“数学家的乐园”和“数学思想最惊人的产物”.英国哲学家罗素把康托的工作誉为“这个时代所能夸耀的最巨大的工作”
逻辑
主条目:数理逻辑
数学逻辑专注在将数学置于一坚固的公理架构上,并研究此一架构的成果.就其本身而言,其为哥德尔第二不完备定理的产地,而这或许是逻辑中最广为流传的成果.现代逻辑被分成递归论、模型论和证明论,且和理论计算机科学有着密切的关联性.
符号
主条目:数学符号
也许我国古代的算筹是世界上最早使用的符号之一,起源于商代的占卜.
我们现今所使用的大部分数学符号都是到了16世纪后才被发明出来的.在此之前,数学是用文字书写出来,这是个会限制住数学发展的刻苦程序.现今的符号使得数学对于人们而言更便于操作,但初学者却常对此感到怯步.它被极度的压缩:少量的符号包含着大量的讯息.如同音乐符号一般,现今的数学符号有明确的语法和难以以其他方法书写的讯息编码.
严谨性
数学语言亦对初学者而言感到困难.如何使这些字有着比日常用语更精确的意思,亦困恼着初学者,如开放和域等字在数学里有着特别的意思.数学术语亦包括如同胚及可积性等专有名词.但使用这些特别符号和专有术语是有其原因的:数学需要比日常用语更多的精确性.数学家将此对语言及逻辑精确性的要求称为“严谨”.
严谨是数学证明中很重要且基本的一部分.数学家希望他们的定理以系统化的推理依着公理被推论下去.这是为了避免依着不可靠的直观,从而得出错误的“定理”或"证明",而这情形在历史上曾出现过许多的例子.在数学中被期许的严谨程度因着时间而不同:希腊人期许着仔细的论点,但在牛顿的时代,所使用的方法则较不严谨.牛顿为了解决问题所作的定义,到了十九世纪才让数学家用严谨的分析及正式的证明妥善处理.今日,数学家们则持续地在争论电脑辅助证明的严谨度.当大量的计算难以被验证时,其证明亦很难说是有效地严谨.
数量
数量的学习起于数,一开始为熟悉的自然数及整数与被描述在算术内的有理和无理数.
另一个研究的领域为其大小,这个导致了基数和之后对无限的另外一种概念:阿列夫数,它允许无限集合之间的大小可以做有意义的比较.
简史
西方数学简史
数学的演进大约可以看成是抽象化的持续发展,或是题材的延展.而东西方文化也采用了不同的角度,欧洲文明发展出来几何学,而中国则发展出算术.第一个被抽象化的概念大概是数字(中国的算筹),其对两个苹果及两个橘子之间有某样相同事物的认知是人类思想的一大突破.除了认知到如何去数实际物件的数量,史前的人类亦了解如何去数抽象概念的数量,如时间—日、季节和年.算术(加减乘除)也自然而然地产生了.
更进一步则需要写作或其他可记录数字的系统,如符木或于印加人使用的奇普.历史上曾有过许多各异的记数系统.
古时,数学内的主要原理是为了研究天文,土地粮食作物的合理分配,税务和贸易等相关的计算.数学也就是为了了解数字间的关系,为了测量土地,以及为了预测天文事件而形成的.这些需要可以简单地被概括为数学对数量、结构、空间及时间方面的研究.
西欧从古希腊到16世纪经过文艺复兴时代,初等代数、以及三角学等初等数学已大体完备.但尚未出现极限的概念.
17世纪在欧洲变量概念的产生,使人们开始研究变化中的量与量的互相关系和图形间的互相变换.在经典力学的建立过程中,结合了几何精密思想的微积分的方法被发明.随着自然科学和技术的进一步发展,为研究数学基础而产生的集合论和数理逻辑等领域也开始慢慢发展.
中国数学简史
主条目:中国数学史
数学古称算学,是中国古代科学中一门重要的学科,根据中国古代数学发展的特点,可以分为五个时期:萌芽;体系的形成;发展;繁荣和中西方数学的融合.
2. 什么是广义数学符号如何培养“符号感”
广义的符号是指那些能够被感知且彼此可区别的外界事物,它们依一定的规则对应到别的的事物。
培养学生的符号感,也要结合具体情境和在活动中进行。
首先在具体情境中抽象出数量关系和变化规律,并用符号表示。用自己独特的方式表示具体情境中的数量关系和变化规律。引进用字母表示,是用符号表示数量关系和变化规律的基础。用符号表示具体情境中的数量关系,也像普通语言一样,首先要引进基本字母。在数学语言中,像数字以及表示数字的字母,表示点的字母,运算符号,关系符号等,都是用数学语言刻画各种现实问题的基础。
3. 数学是什么
我国古奇普,印加帝国时所使用的计数工具。数学,起源于人类早期的生产活动,为中国古代六艺之一,亦被古希腊学者视为哲学之起点。数学的希腊语μαθηματικ�0�2�0�9(mathematikós)意思是“学问的基础”,源于μ�0�4θημα(máthema)(“科学,知识,学问”)。
数学的演进大约可以看成是抽象化的持续发展,或是题材的延展。第一个被抽象化的概念大概是数字,其对两个苹果及两个橘子之间有某样相同事物的认知是人类思想的一大突破。 除了认知到如何去数实际物质的数量,史前的人类亦了解了如何去数抽象物质的数量,如时间-日、季节和年。算术(加减乘除)也自然而然地产生了。古代的石碑亦证实了当时已有几何的知识。
历史奇普,印加帝国时所使用的计数工具。数学,起源于人类早期的生产活动,为中国古代六艺之一,亦被古希腊学者视为哲学之起点。数学的希腊语μαθηματικ�0�2�0�9(mathematikós)意思是“学问的基础”,源于μ�0�4θημα(máthema)(“科学,知识,学问”)。
数学的演进大约可以看成是抽象化的持续发展,或是题材的延展。第一个被抽象化的概念大概是数字,其对两个苹果及两个橘子之间有某样相同事物的认知是人类思想的一大突破。 除了认知到如何去数实际物质的数量,史前的人类亦了解了如何去数抽象物质的数量,如时间-日、季节和年。算术(加减乘除)也自然而然地产生了。古代的石碑亦证实了当时已有几何的知识。
更进一步则需要写作或其他可记录数字的系统,如符木或于印加帝国内用来储存数据的奇普。历史上曾有过许多且分歧的记数系统。
从历史时代的一开始,数学内的主要原理是为了做税务和贸易等相关计算,为了了解数字间的关系,为了测量土地,以及为了预测天文事件而形成的。这些需要可以简单地被概括为数学对数量、结构、空间及时间方面的研究。
到了16世纪,算术、初等代数、以及三角学等初等数学已大体完备。17世纪变量概念的产生使所有的人们开始研究变化中的量与量的互相关系和图形间的互相变换。在研究经典力学的过程中,微积分的方法被发明。随着自然科学和技术的进一步发展,为研究数学基础而产生的集合论和数理逻辑等也开始慢慢发展。
数学从古至今便一直不断地延展,且与科学有丰富的相互作用,并使两者都得到好处。数学在历史上有着许多的发现,并且直至今日都还不断地发现中。依据Mikhail B. Sevryuk于美国数学会通报2006年1月的期刊中所说,“存在于数学评论数据库中论文和书籍的数量自1940年(数学评论的创刊年份)现已超过了一百九十万份,而且每年还增加超过七万五千份的细目。此一学海的绝大部份为新的数学定理及其证明。”分支1.算术
2.初等代数
3.高等代数
4. 数论
5.欧式几何
6.非欧式几何
7.解析几何
8.微分几何
9.代数几何
10.射影几何学
11.拓扑几何学
12.拓扑学
13.分形几何
14.微积分学
15. 实变函数论
16.概率和数量统计
17.复变函数论
18.泛函分析
19.偏微分方程
20.常微分方程
21.数理逻辑
22.模糊数学
23.运筹学
24.计算数学
25.突变理论
26.数学物理学 27.计算方法详细请见词条:数学分支符号、语言与严谨在现代的符号中,简单的表示式可能描绘出复杂的概念。此一图像即是由一简单方程所产生的。
我们现今所使用的大部份数学符号都是到了16世纪后才被发明出来了。在此之前,数学被以文字书写出来,这是个会限制住数学发展的刻苦程序。现今的符号使得数学对于专家而言更容易去控作,但初学者却常对此感到怯步。它被极度的压缩:少量的符号包含着大量的讯息。如同音乐符号一般,现今的数学符号有明确的语法和难以以其他方法书写的讯息编码。
数学语言亦对初学者而言感到困难。如何使这些字有着比日常用语更精确的意思。亦困恼着初学者,如开放和域等字在数学里有着特别的意思。数学术语亦包括如同胚及可积性等专有名词。但使用这些特别符号和专有术语是有其原因的:数学需要比日常用语更多的精确性。数学家将此对语言及逻辑精确性的要求称为“严谨”。
严谨是数学证明中很重要且基本的一部份。数学家希望他们的定理以系统化的推理依着公理被推论下去。这是为了避免错误的“定理”,依着不可靠的直观,而这情形在历史上曾出现过许多的例子。在数学中被期许的严谨程度因着时间而不同:希腊人期许着仔细的论点,但在牛顿的时代,所使用的方法则较不严谨。牛顿为了解决问题所做的定义到了十九世纪才重新以小心的分析及正式的证明来处理。今日,数学家们则持续地在争论电脑辅助证明的严谨度。当大量的计量难以被验证时,其证明亦很难说是有效地严谨。各领域早期的数学完全着重在演算实际运算的需要上,有如反映在中国算盘上的一般。如同上面所述一般,数学主要的学科首要产生于商业上计算的需要、了解数字间的关系、测量土地及预测天文事件。这四种需要大致地与数量、结构、空间及变化(即算术、代数、几何及分析)等数学上广泛的子领域相关连着。除了上述主要的关注之外,亦有用来探索由数学核心至其他领域上之间的连结的子领域:至逻辑、至集合论(基础)、至不同科学的经验上的数学(应用数学)、及较近代的至不确定性的严格学习。
数量
数量的学习起于数,一开始为熟悉的自然数及整数与被描述在算术内的自然数及整数的算术运算。整数更深的性质被研究于数论中,此一理论包括了如费马最后定理之着名的结果。数论还包括两个被广为探讨的未解问题:孪生素数猜想及哥德巴赫猜想。
当数系更进一步发展时,整数被承认为有理数的子集,而有理数则包含于实数中,连续的数量即是以实数来表示的。实数则可以被进一步广义化成复数。数的进一步广义化可以持续至包含四元数及八元数。自然数的考虑亦可导致超限数,它公式化了计数至无限的这一概念。另一个研究的领域为其大小,这个导致了基数和之后对无限的另外一种概念:艾礼富数,它允许无限集合之间的大小可以做有意义的比较。
结构
许多如数及函数的集合等数学物件都有着内含的结构。这些物件的结构性质被探讨于群、环、体及其他本身即为此物件的抽象系统中。此为抽象代数的领域。在此有一个很重要的概念,即向量,且广义化至向量空间,并研究于线性代数中。向量的研究结合了数学的三个基本领域:数量、结构及空间。向量分析则将其扩展至第四个基本的领域内,即变化。
空间
空间的研究源自于几何-尤其是欧式几何。三角学则结合了空间及数,且包含有着名的勾股定理。现今对空间的研究更推广到了更高维的几何、非欧几何(其在广义相对论中扮演着核心的角色)及拓扑学。数和空间在解析几何、微分几何和代数几何中都有着很重要的角色。在微分几何中有着纤维丛及流形上的计算等概念。在代数几何中有着如多项式方程的解集等几何物件的描述,结合了数和空间的概念;亦有着拓扑群的研究,结合了结构与空间。李群被用来研究空间、结构及变化。在其许多分支中,拓扑学可能是二十世纪数学中有着最大进展的领域,并包含有存在久远的庞加莱猜想及有争议的四色定理,其只被电脑证明,而从来没有由人力来验证过。
基础与哲学
为了搞清楚数学基础,数学逻辑和集合论等领域被发展了出来。康托(Georg Cantor,1845-1918)首创集合论,大胆地向“无穷大”进军,为的是给数学各分支提供一个坚实的基础,而它本身的内容也是相当丰富的,提出了实无穷的存在,为以后的数学发展作出了不可估量的贡献。Cantor的工作给数学发展带来了一场革命。由于他的理论超越直观,所以曾受到当时一些大数学家的反对,就连被誉为“博大精深,富于创举”的数学家Pioncare也把集合论比作有趣的“病理情形”,甚至他的老师Kronecker还击Cantor是“神经质”,“走进了超越数的地狱”.对于这些非难和指责,Cantor仍充满信心,他说:“我的理论犹如磐石一般坚固,任何反对它的人都将搬起石头砸自己的脚.”他还指出:“数学的本质在于它的自由性,不必受传统观念束缚。”这种争辩持续了十年之久。Cantor由于经常处于精神压抑之中,致使他1884年患了精神分裂症,最后死于精神病院。
然而,历史终究公平地评价了他的创造,集合论在20世纪初已逐渐渗透到了各个数学分支,成为了分析理论,测度论,拓扑学及数理科学中必不可少的工具。20世纪初世界上最伟大的数学家Hilbert在德国传播了Cantor的思想,把他称为“数学家的乐园”和“数学思想最惊人的产物”。英国哲学家Russell把Cantor的工作誉为“这个时代所能夸耀的最巨大的工作”。
数学逻辑专注在将数学置于一坚固的公理架构上,并研究此一架构的成果。就其本身而言,其为哥德尔第二不完备定理的产地,而这或许是逻辑中最广为流传的成果-总存在一不能被证明的真实定理。现代逻辑被分成递归论、模型论和证明论,且和理论计算机科学有着密切的关连性。
恩格斯说:“数学是研究现定世界的数量关系与空间形式的科学。”
离散数学
离散数学是指对理论计算机科学最有用处的数学领域之总称,包含有可计算理论、计算复杂性理论及信息论。可计算理论检查电脑的不同理论模型之极限,包含现知最有力的模型-图灵机。复杂性理论研究可以由电脑做为较易处理的程度;有些问题即使理论是可以以电脑解出来,但却因为会花费太多的时间或空间而使得其解答仍然不为实际上可行的,尽管电脑硬件的快速进步。最后,信息论专注在可以储存在特定媒体内的资料总量,且因此有压缩及熵等概念。
做为一相对较新的领域,离散数学有许多基本的未解问题。其中最有名的为P/NP问题-千禧年大奖难题之一。一般相信此问题的解答是否定的。
应用数学
应用数学思考将抽象的数学工具运用在解答科学、工商业及其他领域上之现实问题。应用数学中的一重要领域为统计学,它利用机率论为其工具并允许对含有机会成分的现象进行描述、分析与预测。大部份的实验、测量及观察研究需要统计对其资料的分析。(许多的统计学家并不认为他们是数学家,而比较觉得是合作团体的一份子。)数值分析研究如何有效地用电脑的方法解决大量因太大而不可能以人类的演算能力算出的数学问题;它亦包含了对计算中舍入误差或其他来源的误差之研究。
模糊数学
现代数学是建立在集合论的基础上。集合论的重要意义就一个侧面看,在与它把数学的抽象能力延伸到人类认识过程的深处。一组对象确定一组属性,人们可以通过说明属性来说明概念(内涵),也可以通过指明对象来说明它。符合概念的那些对象的全体叫做这个概念的外延,外延其实就是集合。从这个意义上讲,集合可以表现概念,而集合论中的关系和运算又可以表现判断和推理,一切现实的理论系统都一可能纳入集合描述的数学框架。
但是,数学的发展也是阶段性的。经典集合论只能把自己的表现力限制在那些有明确外延的概念和事物上,它明确地限定:每个集合都必须由明确的元素构成,元素对集合的隶属关系必须是明确的,决不能模棱两可。对于那些外延不分明的概念和事物,经典集合论是暂时不去反映的,属于待发展的范畴。
在较长时间里,精确数学及随机数学在描述自然界多种事物的运动规律中,获得显着效果。但是,在客观世界中还普遍存在着大量的模糊现象。以前人们回避它,但是,由于现代科技所面对的系统日益复杂,模糊性总是伴随着复杂性出现。
各门学科,尤其是人文、社会学科及其它“软科学”的数学化、定量化趋向把模糊性的数学处理问题推向中心地位。更重要的是,随着电子计算机、控制论、系统科学的迅速发展,要使计算机能像人脑那样对复杂事物具有识别能力,就必须研究和处理模糊性。
我们研究人类系统的行为,或者处理可与人类系统行为相比拟的复杂系统,如航天系统、人脑系统、社会系统等,参数和变量甚多,各种因素相互交错,系统很复杂,它的模糊性也很明显。从认识方面说,模糊性是指概念外延的不确定性,从而造成判断的不确定性。
在日常生活中,经常遇到许多模糊事物,没有分明的数量界限,要使用一些模糊的词句来形容、描述。比如,比较年轻、高个、大胖子、好、漂亮、善、热、远……。在人们的工作经验中,往往也有许多模糊的东西。例如,要确定一炉钢水是否已经炼好,除了要知道钢水的温度、成分比例和冶炼时间等精确信息外,还需要参考钢水颜色、沸腾情况等模糊信息。因此,除了很早就有涉及误差的计算数学之外,还需要模糊数学。
人与计算机相比,一般来说,人脑具有处理模糊信息的能力,善于判断和处理模糊现象。但计算机对模糊现象识别能力较差,为了提高计算机识别模糊现象的能力,就需要把人们常用的模糊语言设计成机器能接受的指令和程序,以便机器能像人脑那样简洁灵活的做出相应的判断,从而提高自动识别和控制模糊现象的效率。这样,就需要寻找一种描述和加工模糊信息的数学工具,这就推动数学家深入研究模糊数学。所以,模糊数学的产生是有其科学技术与数学发展的必然性。广义的数学分类从纵向划分:
1、初等数学和古代数学:这是指17世纪以前的数学。主要是古希腊时期建立的欧几里得几何学,古代中国、古印度和古巴比伦时期建立的算术,欧洲文艺复兴时期发展起来的代数方程等。
2、变量数学:是指17--19世纪初建立与发展起来的数学。从17世纪上半叶开始的变量数学时期,可以分为两个阶段:17世纪的创建阶段(英雄时代)与18世纪的发展阶段(创造时代)。
3、近代数学:是指19世纪的数学。近代数学时期的19世纪是数学的全面发展与成熟阶段,数学的面貌发生了深刻的变化,数学的绝大部分分支在这一时期都已经形成,整个数学呈现现出全面繁荣的景象。
4、现代数学:是指20世纪的数学。1900年德国着名数学家希尔伯特(D. Hilbert)在世界数学家大会上发表了一个着名演讲,提出了23个预测和知道今后数学发展的数学问题(见下),拉开了20世纪现代数学的序幕。
注:希尔伯特的23个问题——
在1900年巴黎国际数学家代表大会上,希尔伯特发表了题为《数学问题》的着名讲演。他根据过去特别是十九世纪数学研究的成果和发展趋势,提出了23个最重要的数学问题。这23个问题通称希尔伯特问题,后来成为许多数学家力图攻克的难关,对现代数学的研究和发展产生了深刻的影响,并起了积极的推动作用,希尔伯特问题中有些现已得到圆满解决,有些至今仍未解决。他在讲演中所阐发的想信每个数学问题都可以解决的信念,对于数学工作者是一种巨大的鼓舞。
希尔伯特的23个问题分属四大块:第1到第6问题是数学基础问题;第7到第12问题是数论问题;第13到第18问题属于代数和几何问题;第19到第23问题属于数学分析。 现在只列出一张清单:
(1)康托的连续统基数问题。
(2)算术公理系统的无矛盾性。
(3)只根据合同公理证明等底等高的两个四面体有相等之体积是不可能的。
(4)两点间以直线为距离最短线问题。
(5)拓扑学成为李群的条件(拓扑群)。
(6)对数学起重要作用的物理学的公理化。
(7)某些数的超越性的证明。
(8)素数分布问题,尤其对黎曼猜想、哥德巴赫猜想和孪生素共问题。
(9)一般互反律在任意数域中的证明。
(10)能否通过有限步骤来判定不定方程是否存在有理整数解?
(11)一般代数数域内的二次型论。
(12)类域的构成问题。
(13)一般七次代数方程以二变量连续函数之组合求解的不可能性。
(14)某些完备函数系的有限的证明。
(15)建立代数几何学的基础。
(16)代数曲线和曲面的拓扑研究。
(17)半正定形式的平方和表示。
(18)用全等多面体构造空间。
(19)正则变分问题的解是否总是解析函数?
(20)研究一般边值问题。
(21)具有给定奇点和单值群的Fuchs类的线性微分方程解的存在性证明。
(22)用自守函数将解析函数单值化。
(23)发展变分学方法的研究。
从横向划分:
1、基础数学(英文:Pure Mathematics)。又称为理论数学或纯粹数学,是数学的核心部分,包含代数、几何、分析三大分支,分别研究数、形和数形关系。
2、应用数学。简单地说,也即数学的应用。
3、计算数学。研究诸如计算方法(数值分析)、数理逻辑、符号数学、计算复杂性、程序设计等方面的问题。该学科与计算机密切相关。
4、概率统计。分概率论与数理统计两大块。5、运筹学与控制论。运筹学是利用数学方法,在建立模型的基础上,解决有关人力、物资、金钱等的复杂系统的运行、组织、管理等方面所出现的问题的一门学科其它解析另外,对数学还有一些更加广义的理解。如,有人认为,“数学是一种文化体系”,“数学是一种语言”,数学活动是社会性的,它是在人类文明发展的历史进程中,人类认识自然、适应和改造自然、完善自我与社会的一种高度智慧的结晶。数学对人类的思维方式产生了关键性的影响.也有人认为,数学是一门艺术,“和把数学看作一门学科相比,我几乎更喜欢把它看作一门艺术,因为数学家在理性世界指导下(虽然不是控制下)所表现出的经久的创造性活动,具有和艺术家的,例如画家的活动相似之处,这是真实的而并非臆造的。数学家的严格的演绎推理在这里可以比作专门注技巧。就像一个人若不具备一定量的技能就不能成为画家一样,不具备一定水平的精确推理能力就不能成为数学家,这些品质是最基本的,它与其它一些要微妙得多的品质共同构成一个优秀的艺术家或优秀的数学家的素质,其中最主要的一条在两种情况下都是想象力。 ”“数学是推理的音乐,”而“音乐是形象的数学”.这是从数学研究的过程和数学家应具备的品质来论述数学的本质,还有人把数学看成是一种对待事物的基本态度和方法,一种精神和观念,即数学精神、数学观念和态度。尼斯(MogensNiss)等在《社会中的数学》一文中认为,数学是一门学科,“在认识论的意义上它是一门科学,目标是要建立、描述和理解某些领域中的对象、现象、关系和机制等。如果这个领域是由我们通常认为的数学实体所构成的,数学就扮演着纯粹科学的角色。在这种情况下,数学以内在的自我发展和自我理解为目标,独立于外部世界,另一方面,如果所考虑的领域存在于数学之外,数学就起着用科学的作用,数学的这两个侧面之间的差异并非数学内容本身的问题,而是人们所关注的焦点不同。无论是纯粹的还是应用的,作为科学的数学有助于产生知识和洞察力。数学也是一个工具、产品以及过程构成的系统,它有助于我们作出与掌握数学以外的实践领域有关的决定和行动,数学是美学的一个领域,能为许多醉心其中的人们提供对美感、愉悦和激动的体验,作为一门学科,数学的传播和发展都要求它能被新一代的人们所掌握。数学的学习不会同时而自动地进行,需要靠人来传授,所以,数学也是我们社会的教育体系中的一个教学科目.”从上所述可以看出,人们是从数学内部(又从数学的内容、表现形式及研究过程等几个角度)。数学与社会的关系、数学与其它学科的关系、数学与人的发展的关系等几个方面来讨论数学的性质的。它们都从一个侧面反映了数学的本质特征,为我们全面认识数学的性质提供了一个视角。基于对数学本质特征的上述认识,人们也从不同侧面讨论了数学的具体特点。比较普遍的观点是,数学有抽象性、精确性和应用的广泛性等特点,其中最本质的特点是抽象性。A,。亚历山大洛夫说,“甚至对数学只有很肤浅的知识就能容易地觉察到数学的这些特点:第一是它的抽象性,第二是精确性,或者更好他说是逻辑的严格性以及它的结论的确定性,最后是它的应用的极端广泛性”王梓坤说,“数学的特点是:内容的抽象性、应用的广泛性、推理的严谨性和结论的明确必”这种看法主要从数学的内容、表现形式和数学的作用等方面来理解数学的特点,是数学特点的一个方面。另外,从数学研究的过程方面、数学与其它学科之间的关系方面来看,数学还有形象性、似真性、拟经验性。“可证伪性”的特点。对数学特点的认识也是有时代特征的,例如,关于数学的严谨性,在各个数学历史发展时期有不同的标准,从欧氏几何到罗巴切夫斯基几何再到希尔伯特公理体系,关于严谨性的评价标准有很大差异,尤其是哥德尔提出并证明了“不完备性定理…以后,人们发现即使是公理化这一曾经被极度推崇的严谨的科学方法也是有缺陷的。因此,数学的严谨性是在数学发展历史中表现出来的,具有相对性。关于数学的似真性,波利亚在他的《数学与猜想》中指出,“数学被人看作是一门论证科学。然而这仅仅是它的一个方面,以最后确定的形式出现的定型的数学,好像是仅含证明的纯论证性的材料,然而,数学的创造过程是与任何其它知识的创造过程一样的,在证明一个数学定理之前,你先得猜测这个定理的内容,在你完全作出详细证明之前,你先得推测证明的思路,你先得把观察到的结果加以综合然后加以类比.你得一次又一次地进行尝试。数学家的创造性工作成果是论证推理,即证明;但是这个证明是通过合情推理,通过猜想而发现的。只要数学的学习过程稍能反映出数学的发明过程的话,那么就应当让猜测、合情推理占有适当的位置。”正是从这个角度,我们说数学的确定性是相对的,有条件的,对数学的形象性、似真性、拟经验性。“可证伪性”特点的强调,实际上是突出了数学研究中观察、实验、分析。比较、类比、归纳、联想等思维过程的重要性。
给个满意哟~</dd></dd></p>
</dd></dd></span>
4. 数学的主要特征是什么
数学的定义即是数学的特征
数学是研究数量、结构、变化以及空间模型等概念的一门学科。透过抽象化和逻辑推理的使用,由计数、计算、量度和对物体形状及运动的观察中产生。数学家们拓展这些概念,为了公式化新的猜想以及从合适选定的公理及定义中建立起严谨推导出的真理。
名称来源
数学(mathematics;希腊语:μαθηματικά)这一词在西方源自于古希腊语的μάθημα(máthēma),其有学习、学问、科学,以及另外还有个较狭意且技术性的意义-“数学研究”,即使在其语源内。其形容词μαθηματικός(mathēmatikós),意义为和学习有关的或用功的,亦会被用来指数学的。其在英语中表面上的复数形式,及在法语中的表面复数形式les mathématiques,可溯至拉丁文的中性复数mathematica,由西塞罗译自希腊文复数τα μαθηματικά(ta mathēmatiká),此一希腊语被亚里士多德拿来指“万物皆数”的概念。(拉丁文:Mathemetica)原意是数和数数的技术。
数学的本质
数学的本质是什么?为什么数学可以运用在所有的其它科目上?
数学是研究事物数量和形状规律的科目。
如果要深入的研究其本质及其扩展问题,就必须引入【全集然文明】专有名词了。
其实数学的本质是:一门研究【储空】的科目。
自然万物都有其存储的空间,这种现象称之为【储空】。
要判断一个事物是否为“储空”其实很简单:只要能够套入“在××里”的××就是“储空”(包括具体和抽象)。于是大家将会发现,所有的事物都可以套入其中,也就是说:自然万物都只是不同的“储空”而已。
于是人们也发现:【代数】就是研究【储空量】的科目;【几何】就是研究【储空形状】的科目。而既然自然万物都只是不同的储空而已,那么数学当然也就可以通用于所有的科目之中了!
1.更多的证据
因为一个除真空外的储空都是有【储隔】(储空隔膜)的,于是人们在其它科目中使用数字就必须用【单位】来区分各种不同的储空,如:个、头、条、小时、牛、焦耳、欧姆、安培等等,可以说离开了单位,数字几乎毫无意义。
并且各种名词的【定义】也是相关储空的储隔,就是区别于其他事物的地方。
2.新数学等式和计算模型
异储空计算模型
异储空等式【异储空等式】比如:1个人 异等于 5个苹果 ,就是说:一个人可以得到5个苹果,或一个人和5个苹果相联系(任何联系都可以);异等号就是等号=下面加个o(储空标志);这样就可以简单的描述很多日常生活中碰到的计算。而且您还可以通过右图的【异储空计算模型】(最简单的模型),来计算一些事物。
3.其他几何领域
当然有,其实一直都有两个巨大的几何领域被人们长期的忽视,那就是【文字几何】与【功能几何】。
(1)文字几何:当一些有特定含义的文字按照特殊的组合和形状排列下来就会出现各种特殊的功能和特性。就像我们最常见的“化学元素周期表”、“文字图表”、“数学计算模型”等等。
(2)功能几何:各种形状都是拥有各种不同的功能的!如球形可以做大容量的容纳物质,交叉有利于物质传播等等。所以我们应该仔细研究和探讨各种形状的各种特殊功能!
使用全集然文明逻辑:如果自然万物有共同的本质和规律,那么它们必然可以用来推导各个科目的本质和规律,并推理出该科目内的新内容。于是我们发现了数学就是研究“储空”的一个科目,并推理出了各种新领域。
注:等式、四则运算、解方程式的本质都可以用【储空】内部规律推理出来
数学研究的各领域
数学主要的学科首要产生于商业上计算的需要、了解数字间的关系、测量土地及预测天文事件。这四种需要大致地与数量、结构、空间及变化(即算术、代数、几何及分析)等数学上广泛的子领域相关连着。除了上述主要的关注之外,亦有用来探索由数学核心至其他领域上之间的连结的子领域:至逻辑、至集合论(基础)、至不同科学的经验上的数学(应用数学)、及较近代的至不确定性的严格学习。
数量
数量的学习起于数,一开始为熟悉的自然数及整数与被描述在算术内的自然数及整数的算术运算。整数更深的性质被研究于数论中,此一理论包括了如费马最后定理之着名的结果。数论还包括两个被广为探讨的未解问题:孪生素数猜想及哥德巴赫猜想。
当数系更进一步发展时,整数被承认为有理数的子集,而有理数则包含于实数中,连续的数量即是以实数来表示的。实数则可以被进一步广义化成复数。数的进一步广义化可以持续至包含四元数及八元数。自然数的考虑亦可导致超限数,它公式化了计数至无限的这一概念。另一个研究的领域为其大小,这个导致了基数和之后对无限的另外一种概念:艾礼富数,它允许无限集合之间的大小可以做有意义的比较。
结构
许多如数及函数的集合等数学物件都有着内含的结构。这些物件的结构性质被探讨于群、环、体及其他本身即为此物件的抽象系统中。此为抽象代数的领域。在此有一个很重要的概念,即向量,且广义化至向量空间,并研究于线性代数中。向量的研究结合了数学的三个基本领域:数量、结构及空间。向量分析则将其扩展至第四个基本的领域内,即变化。
空间
空间的研究源自于几何-尤其是欧式几何。三角学则结合了空间及数,且包含有着名的勾股定理。现今对空间的研究更推广到了更高维的几何、非欧几何(其在广义相对论中扮演着核心的角色)及拓扑学。数和空间在解析几何、微分几何和代数几何中都有着很重要的角色。在微分几何中有着纤维丛及流形上的计算等概念。在代数几何中有着如多项式方程的解集等几何物件的描述,结合了数和空间的概念;亦有着拓扑群的研究,结合了结构与空间。李群被用来研究空间、结构及变化。在其许多分支中,拓扑学可能是二十世纪数学中有着最大进展的领域,并包含有存在久远的庞加莱猜想及有争议的四色定理,其只被电脑证明,而从来没有由人力来验证过。
基础与哲学
为了搞清楚数学基础,数学逻辑和集合论等领域被发展了出来。康托(Georg Cantor,1845-1918)首创集合论,大胆地向“无穷大”进军,为的是给数学各分支提供一个坚实的基础,而它本身的内容也是相当丰富的,提出了实无穷的存在,为以后的数学发展作出了不可估量的贡献。Cantor的工作给数学发展带来了一场革命。由于他的理论超越直观,所以曾受到当时一些大数学家的反对,就连被誉为“博大精深,富于创举”的数学家Pioncare也把集合论比作有趣的“病理情形”,甚至他的老师Kronecker还击Cantor是“神经质”,“走进了超越数的地狱”.对于这些非难和指责,Cantor仍充满信心,他说:“我的理论犹如磐石一般坚固,任何反对它的人都将搬起石头砸自己的脚.”他还指出:“数学的本质在于它的自由性,不必受传统观念束缚。”这种争辩持续了十年之久。Cantor由于经常处于精神压抑之中,致使他1884年患了精神分裂症,最后死于精神病院。
然而,历史终究公平地评价了他的创造,集合论在20世纪初已逐渐渗透到了各个数学分支,成为了分析理论,测度论,拓扑学及数理科学中必不可少的工具。20世纪初世界上最伟大的数学家Hilbert在德国传播了Cantor的思想,把他称为“数学家的乐园”和“数学思想最惊人的产物”。英国哲学家Russell把Cantor的工作誉为“这个时代所能夸耀的最巨大的工作”。
数学逻辑专注在将数学置于一坚固的公理架构上,并研究此一架构的成果。就其本身而言,其为哥德尔第二不完备定理的产地,而这或许是逻辑中最广为流传的成果-总存在一不能被证明的真实定理。现代逻辑被分成递归论、模型论和证明论,且和理论计算机科学有着密切的关连性。
恩格斯说:“数学是研究现定世界的数量关系与空间形式的科学。”
数学的分类
离散数学
模糊数学
数学分支
1.算术
2.初等代数
3.高等代数
4. 数论
5.欧式几何
6.非欧式几何
7.解析几何
8.微分几何
9.代数几何
10.射影几何学
11.几何拓扑学
12.拓扑学
13.分形几何
14.微积分学
15. 实变函数论
16.概率和统计学
17.复变函数论
18.泛函分析
19.偏微分方程
20.常微分方程
21.数理逻辑
22.模糊数学
23.运筹学
24.计算数学
25.突变理论
26.数学物理学
5. 高等数学 函数定义广义化问题!高手来详解
我就举个简单的例子给你。
6. 高三生活&数学学习问题
数学是研究数量、结构、变化以及空间模型等概念的一门学科。透过抽象化和逻辑推理的使用,由计数、计算、量度和对物体形状及运动的观察中产生。数学家们拓展这些概念,为了公式化新的猜想以及从合适选定的公理及定义中建立起严谨推导出的真理。
数学属性是任何事物的可量度属性,即数学属性是事物最基本的属性。可量度属性的存在与参数无关,但其结果却取决于参数的选择。例如:时间,不管用年、月、日还是用时、分、秒来量度;空间,不管用米、微米还是用英寸、光年来量度,它们的可量度属性永远存在,但结果的准确性与这些参照系数有关。
数学是研究现实世界中数量关系和空间形式的科学。简单地说,是研究数和形的科学。由于生活和劳动上的需求,即使是最原始的民族,也知道简单的计数,并由用手指或实物计数发展到用数字计数。
基础数学的知识与运用总是个人与团体生活中不可或缺的一块。其基本概念的精炼早在古埃及、美索不达米亚及古印度内的古代数学文本内便可观见。从那时开始,其发展便持续不断地有小幅的进展,直至16世纪的文艺复兴时期,因着和新科学发现相作用而生成的数学革新导致了知识的加速,直至今日。
今日,数学被使用在世界上不同的领域上,包括科学、工程、医学和经济学等。数学对这些领域的应用通常被称为应用数学,有时亦会激起新的数学发现,并导致全新学科的发展。数学家亦研究没有任何实际应用价值的纯数学,即使其应用常会在之后被发现。
创立于二十世纪三十年代的法国的布尔巴基学派认为:数学,至少纯粹数学,是研究抽象结构的理论。结构,就是以初始概念和公理出发的演绎系统。布学派认为,有三种基本的抽象结构:代数结构(群,环,域……),序结构(偏序,全序……),拓扑结构(邻域,极限,连通性,维数……)。
这些特点是同当时社会条件与学术思想密切相关的。秦汉时期,一切科学技术都要为当时确立和巩固封建制度,以及发展社会生产服务,强调数学的应用性。最后成书于东汉初年的《九章算术》,排除了战国时期在百家争鸣中出现的名家和墨家重视名词定义与逻辑的讨论,偏重于与当时生产、生活密切相结合的数学问题及其解法,这与当时社会的发展情况是完全一致的。
《九章算术》在隋唐时期曾传到朝鲜、日本,并成为这些国家当时的数学教科书。它的一些成就如十进位值制、今有术、盈不足术等还传到印度和阿拉伯,并通过印度、阿拉伯传到欧洲,促进了世界数学的发展。
中国古代数学的发展
魏、晋时期出现的玄学,不为汉儒经学束缚,思想比较活跃;它诘辩求胜,又能运用逻辑思维,分析义理,这些都有利于数学从理论上加以提高。吴国赵爽注《周髀算经》,汉末魏初徐岳撰《九章算术》注,魏末晋初刘徽撰《九章算术》注、《九章重差图》都是出现在这个时期。赵爽与刘徽的工作为中国古代数学体系奠定了理论基础。
结构
许多如数及函数的集合等数学物件都有着内含的结构。这些物件的结构性质被探讨于群、环、体及其他本身即为此物件的抽象系统中。此为抽象代数的领域。在此有一个很重要的概念,即向量,且广义化至向量空间,并研究于线性代数中。向量的研究结合了数学的三个基本领域:数量、结构及空间。向量分析则将其扩展至第四个基本的领域内,即变化。
空间
空间的研究源自于几何-尤其是欧式几何。三角学则结合了空间及数,且包含有着名的勾股定理。现今对空间的研究更推广到了更高维的几何、非欧几何(其在广义相对论中扮演着核心的角色)及拓扑学。数和空间在解析几何、微分几何和代数几何中都有着很重要的角色。在微分几何中有着纤维丛及流形上的计算等概念。在代数几何中有着如多项式方程的解集等几何物件的描述,结合了数和空间的概念;亦有着拓扑群的研究,结合了结构与空间。李群被用来研究空间、结构及变化。在其许多分支中,拓扑学可能是二十世纪数学中有着最大进展的领域,并包含有存在久远的庞加莱猜想及有争议的四色定理,其只被电脑证明,而从来没有由人力来验证过。
基础与哲学
为了搞清楚数学基础,数学逻辑和集合论等领域被发展了出来。康托(Georg Cantor,1845-1918)首创集合论,大胆地向“无穷大”进军,为的是给数学各分支提供一个坚实的基础,而它本身的内容也是相当丰富的,提出了实无穷的存在,为以后的数学发展作出了不可估量的贡献。Cantor的工作给数学发展带来了一场革命。由于他的理论超越直观,所以曾受到当时一些大数学家的反对,就连被誉为“博大精深,富于创举”的数学家Pioncare也把集合论比作有趣的“病理情形”,甚至他的老师Kronecker还击Cantor是“神经质”,“走进了超越数的地狱”.对于这些非难和指责,Cantor仍充满信心,他说:“我的理论犹如磐石一般坚固,任何反对它的人都将搬起石头砸自己的脚.”他还指出:“数学的本质在于它的自由性,不必受传统观念束缚。”这种争辩持续了十年之久。Cantor由于经常处于精神压抑之中,致使他1884年患了精神分裂症,最后死于精神病院。
然而,历史终究公平地评价了他的创造,集合论在20世纪初已逐渐渗透到了各个数学分支,成为了分析理论,测度论,拓扑学及数理科学中必不可少的工具。20世纪初世界上最伟大的数学家Hilbert在德国传播了Cantor的思想,把他称为“数学家的乐园”和“数学思想最惊人的产物”。英国哲学家Russell把Cantor的工作誉为“这个时代所能夸耀的最巨大的工作”。
数学逻辑专注在将数学置于一坚固的公理架构上,并研究此一架构的成果。就其本身而言,其为哥德尔第二不完备定理的产地,而这或许是逻辑中最广为流传的成果-总存在一不能被证明的真实定理。现代逻辑被分成递归论、模型论和证明论,且和理论计算机科学有着密切的关连性。
离散数学
离散数学是指对理论计算机科学最有用处的数学领域之总称,包含有可计算理论、计算复杂性理论及信息论。可计算理论检查电脑的不同理论模型之极限,包含现知最有力的模型-图灵机。复杂性理论研究可以由电脑做为较易处理的程度;有些问题即使理论是可以以电脑解出来,但却因为会花费太多的时间或空间而使得其解答仍然不为实际上可行的,尽管电脑硬件的快速进步。最后,信息论专注在可以储存在特定媒体内的资料总量,且因此有压缩及熵等概念。
做为一相对较新的领域,离散数学有许多基本的未解问题。其中最有名的为P/NP问题-千禧年大奖难题之一。一般相信此问题的解答是否定的。
应用数学
应用数学思考将抽象的数学工具运用在解答科学、工商业及其他领域上之现实问题。应用数学中的一重要领域为统计学,它利用机率论为其工具并允许对含有机会成分的现象进行描述、分析与预测。大部份的实验、测量及观察研究需要统计对其资料的分析。(许多的统计学家并不认为他们是数学家,而比较觉得是合作团体的一份子。)数值分析研究如何有效地用电脑的方法解决大量因太大而不可能以人类的演算能力算出的数学问题;它亦包含了对计算中舍入误差或其他来源的误差之研究。
模糊数学
现代数学是建立在集合论的基础上。集合论的重要意义就一个侧面看,在与它把数学的抽象能力延伸到人类认识过程的深处。一组对象确定一组属性,人们可以通过说明属性来说明概念(内涵),也可以通过指明对象来说明它。符合概念的那些对象的全体叫做这个概念的外延,外延其实就是集合。从这个意义上讲,集合可以表现概念,而集合论中的关系和运算又可以表现判断和推理,一切现实的理论系统都一可能纳入集合描述的数学框架。
但是,数学的发展也是阶段性的。经典集合论只能把自己的表现力限制在那些有明确外延的概念和事物上,它明确地限定:每个集合都必须由明确的元素构成,元素对集合的隶属关系必须是明确的,决不能模棱两可。对于那些外延不分明的概念和事物,经典集合论是暂时不去反映的,属于待发展的范畴。
在较长时间里,精确数学及随机数学在描述自然界多种事物的运动规律中,获得显着效果。但是,在客观世界中还普遍存在着大量的模糊现象。以前人们回避它,但是,由于现代科技所面对的系统日益复杂,模糊性总是伴随着复杂性出现。
各门学科,尤其是人文、社会学科及其它“软科学”的数学化、定量化趋向把模糊性的数学处理问题推向中心地位。更重要的是,随着电子计算机、控制论、系统科学的迅速发展,要使计算机能像人脑那样对复杂事物具有识别能力,就必须研究和处理模糊性。
我们研究人类系统的行为,或者处理可与人类系统行为相比拟的复杂系统,如航天系统、人脑系统、社会系统等,参数和变量甚多,各种因素相互交错,系统很复杂,它的模糊性也很明显。从认识方面说,模糊性是指概念外延的不确定性,从而造成判断的不确定性。
在日常生活中,经常遇到许多模糊事物,没有分明的数量界限,要使用一些模糊的词句来形容、描述。比如,比较年轻、高个、大胖子、好、漂亮、善、热、远……。在人们的工作经验中,往往也有许多模糊的东西。例如,要确定一炉钢水是否已经炼好,除了要知道钢水的温度、成分比例和冶炼时间等精确信息外,还需要参考钢水颜色、沸腾情况等模糊信息。因此,除了很早就有涉及误差的计算数学之外,还需要模糊数学。
人与计算机相比,一般来说,人脑具有处理模糊信息的能力,善于判断和处理模糊现象。但计算机对模糊现象识别能力较差,为了提高计算机识别模糊现象的能力,就需要把人们常用的模糊语言设计成机器能接受的指令和程序,以便机器能像人脑那样简洁灵活的做出相应的判断,从而提高自动识别和控制模糊现象的效率。这样,就需要寻找一种描述和加工模糊信息的数学工具,这就推动数学家深入研究模糊数学。所以,模糊数学的产生是有其科学技术与数学发展的必然性。
广义的数学分类
[编辑本段]
从纵向划分:
1、初等数学和古代数学:这是指17世纪以前的数学。主要是古希腊时期建立的欧几里得几何学,古代中国、古印度和古巴比伦时期建立的算术,欧洲文艺复兴时期发展起来的代数方程等。
2、变量数学:是指17--19世纪初建立与发展起来的数学。从17世纪上半叶开始的变量数学时期,可以分为两个阶段:17世纪的创建阶段(英雄时代)与18世纪的发展阶段(创造时代)。
3、近代数学:是指19世纪的数学。近代数学时期的19世纪是数学的全面发展与成熟阶段,数学的面貌发生了深刻的变化,数学的绝大部分分支在这一时期都已经形成,整个数学呈现现出全面繁荣的景象。
4、现代数学:是指20世纪的数学。1900年德国着名数学家希尔伯特(D. Hilbert)在世界数学家大会上发表了一个着名演讲,提出了23个预测和知道今后数学发展的数学问题(见下),拉开了20世纪现代数学的序幕。
注:希尔伯特的23个问题——
在1900年巴黎国际数学家代表大会上,希尔伯特发表了题为《数学问题》的着名讲演。他根据过去特别是十九世纪数学研究的成果和发展趋势,提出了23个最重要的数学问题。这23个问题通称希尔伯特问题,后来成为许多数学家力图攻克的难关,对现代数学的研究和发展产生了深刻的影响,并起了积极的推动作用,希尔伯特问题中有些现已得到圆满解决,有些至今仍未解决。他在讲演中所阐发的想信每个数学问题都可以解决的信念,对于数学工作者是一种巨大的鼓舞。
希尔伯特的23个问题分属四大块:第1到第6问题是数学基础问题;第7到第12问题是数论问题;第13到第18问题属于代数和几何问题;第19到第23问题属于数学分析。 现在只列出一张清单:
(1)康托的连续统基数问题。
(2)算术公理系统的无矛盾性。
(3)只根据合同公理证明等底等高的两个四面体有相等之体积是不可能的。
(4)两点间以直线为距离最短线问题。
(5)拓扑学成为李群的条件(拓扑群)。
(6)对数学起重要作用的物理学的公理化。
(7)某些数的超越性的证明。
(8)素数分布问题,尤其对黎曼猜想、哥德巴赫猜想和孪生素共问题。
(9)一般互反律在任意数域中的证明。
(10)能否通过有限步骤来判定不定方程是否存在有理整数解?
(11)一般代数数域内的二次型论。
(12)类域的构成问题。
(13)一般七次代数方程以二变量连续函数之组合求解的不可能性。
(14)某些完备函数系的有限的证明。
(15)建立代数几何学的基础。
(16)代数曲线和曲面的拓扑研究。
(17)半正定形式的平方和表示。
(18)用全等多面体构造空间。
(19)正则变分问题的解是否总是解析函数?
(20)研究一般边值问题。
(21)具有给定奇点和单值群的Fuchs类的线性微分方程解的存在性证明。
(22)用自守函数将解析函数单值化。
(23)发展变分学方法的研究。
从横向划分:
1、基础数学(英文:Pure Mathematics)。又称为理论数学或纯粹数学,是数学的核心部分,包含代数、几何、分析三大分支,分别研究数、形和数形关系。
2、应用数学。简单地说,也即数学的应用。
3、计算数学。研究诸如计算方法(数值分析)、数理逻辑、符号数学、计算复杂性、程序设计等方面的问题。该学科与计算机密切相关。
4、概率统计。分概率论与数理统计两大块。5、运筹学与控制论。运筹学是利用数学方法,在建立模型的基础上,解决有关人力、物资、金钱等的复杂系统的运行、组织、管理等方面所出现的问题的一门学科。
一些从古到今的中国着名数学家的主要贡献
[编辑本段]
张丘建--<张丘建算经>
《张丘建算经》三卷,据钱宝琮考,约成书于公元466~485年间.张丘建,北魏时清河(今山东临清一带)人,生平不详。最小公倍数的应用、等差数列各元素互求以及“百鸡术”等是其主要成就。“百鸡术”是世界着名的不定方程问题。13世纪意大利斐波那契《算经》、15世纪阿拉伯阿尔·卡西<<算术之钥》等着作中均出现有相同的问题。
朱世杰:《四元玉鉴》
朱世杰(1300前后),字汉卿,号松庭,寓居燕山(今北京附近),“以数学名家周游湖海二十余年”,“踵门而学者云集”。朱世杰数学代表作有《算学启蒙》(1299)和《四元玉鉴》(1303)。《算学启蒙》是一部通俗数学名着,曾流传海外,影响了朝鲜、日本数学的发展。《四元玉鉴》则是中国宋元数学高峰的又一个标志,其中最杰出的数学创作有“四元术”(多元高次方程列式与消元解法)、“垛积法”(高阶等差数列求和)与“招差术”(高次内插法)
贾宪:〈〈黄帝九章算经细草〉〉
中国古典数学家在宋元时期达到了高峰,这一发展的序幕是“贾宪三角”(二项展开系数表)的发现及与之密切相关的高次开方法(“增乘开方法”)的创立。贾宪,北宋人,约于1050年左右完成〈〈黄帝九章算经细草〉〉,原书佚失,但其主要内容被杨辉(约13世纪中)着作所抄录,因能传世。杨辉〈〈详解九章算法〉〉(1261)载有“开方作法本源”图,注明“贾宪用此术”。这就是着名的“贾宪三角”,或称“杨辉三角”。〈〈详解九章算法〉〉同时录有贾宪进行高次幂开方的“增乘开方法”。
贾宪三角在西方文献中称“帕斯卡三角”,1654年为法国数学家 B·帕斯卡重新发现。
秦九韶:〈〈数书九章〉〉
秦九韶(约1202~1261),字道吉,四川安岳人,先后在湖北、安徽、江苏、浙江等地做官,1261年左右被贬至梅州(今广东梅县),不久死于任所。秦九韶与李冶、杨辉、朱世杰并称宋元数学四大家。他早年在杭州“访习于太史,又尝从隐君子受数学”,1247年写成着名的〈〈数书九章〉〉。〈〈数书九章〉〉全书共18卷,81题,分九大类(大衍、天时、田域、测望、赋役、钱谷、营建、军旅、市易)。其最重要的数学成就——“大衍总数术”(一次同余组解法)与“正负开方术”(高次方程数值解法),使这部宋代算经在中世纪世界数学史上占有突出的地位。
李冶:《测圆海镜》——开元术
随着高次方程数值求解技术的发展,列方程的方法也相应产生,这就是所谓“开元术”。在传世的宋元数学着作中,首先系统阐述开元术的是李冶的《测圆海镜》。
李冶(1192~1279)原名李治,号敬斋,金代真定栾城人,曾任钧州(今河南禹县)知事,1232年钧州被蒙古军所破,遂隐居治学,被元世祖忽必烈聘为翰林学士,仅一年,便辞官回家。1248年撰成《测圆海镜》,其主要目的就是说明用开元术列方程的方法。“开元术”与现代代数中的列方程法相类似,“立天元一为某某”,相当于“设x为某某”,可以说是符号代数的尝试。李冶还有另一部数学着作《益古演段》(1259),也是讲解开元术的。
刘徽: 《海岛算经》 《九章算术注》 《九章重差图》
263年左右,六会发现当圆内接正多边形的变数无限增加时,多边形的面积则可无限逼近圆面积,即所谓“割之弥细,所失弥少,割之又割,以至于不可割,则与圆周
合体而无所失矣。”刘徽采用了以直代曲、无限趋近、“内外夹逼”的思想,创立了“割圆术”
《重差》原为《九章算术注》的第十卷,即后来的《海岛算经》,内容是测量目标物的高和远的计算方法。重差法是测量数学中的重要方法。
祖冲之:(公元429年—公元500年)是我国杰出的数学家,科学家。南北朝时期人,汉族人,字文远。他当时就把圆周率精确到小数点后7位(3.1415926<圆周率<3.1415927),比西方领先了1500年,并得出355/113的密率,22/7的约率。写书《缀术》,记载了他计算圆周率的方法,不过已经失传。
数学发展史上的三次危机
[编辑本段]
1.毕达哥拉斯是公元前五世纪古希腊的着名数学家与哲学家。他曾创立了一个合政治、学术、宗教三位一体的神秘主义派别:毕达哥拉斯学派。由毕达哥拉斯提出的着名命题“万物皆数”是该学派的哲学基石。而“一切数均可表成整数或整数之比”则是这一学派的数学信仰。毕达哥拉斯定理提出后,其学派中的一个成员希帕索斯考虑了一个问题:边长为1的正方形其对角线长度是多少呢?他发现这一长度既不能用整数,也不能用分数表示,而只能用一个新数来表示。希帕索斯的发现导致了数学史上第一个无理数√2 的诞生。这一结论的悖论性表现在它与常识的冲突上:任何量,在任何精确度的范围内都可以表示成有理数。可是为我们的经验所确信的,完全符合常识的论断居然被小小的√2的存在而推翻了!这就在当时直接导致了人们认识上的危机,从而导致了西方数学史上一场大的风波,史称“第一次数学危机”。由2000年后的数学家门建立的实数理论才消除它。
2.第二次数学危机导源于微积分工具的使用。贝克莱一针见血地指出牛顿在对x^n(n是正整数)求导时既把△x不当做0看而又把△x当作0看是一个严重的自相矛盾,从而几乎使微积分停滞不前,后来还是柯西和魏尔斯特拉斯等人提出无穷小是一个无限向0靠近,但是永远不等于0的变量,这才把微积分重新稳固地建立在严格的极限理论基础上,从而消灭的这次数学危机!
3.十九世纪下半叶,康托尔创立了着名的集合论。1900年,国际数学家大会上,法国着名数学家庞加莱就曾兴高采烈地宣称:“………借助集合论概念,我们可以建造整个数学大厦……今天,我们可以说绝对的严格性已经达到了……”可是,好景不长。1903年,一个震惊数学界的消息传出:集合论是有漏洞的!这就是英国数学家罗素提出的着名的罗素悖论。
罗素构造了一个集合S:S由一切不是自身元素的集合所组成。然后罗素问:S是否属于S呢?根据排中律,一个元素或者属于某个集合,或者不属于某个集合。因此,对于一个给定的集合,问是否属于它自己是有意义的。但对这个看似合理的问题的回答却会陷入两难境地。如果S属于S,根据S的定义,S就不属于S;反之,如果S不属于S,同样根据定义,S就属于S。无论如何都是矛盾的。 可以说,这一悖论就象在平静的数学水面上投下了一块巨石,而它所引起的巨大反响则导致了第三次数学危机。
危机产生后,数学家纷纷提出自己的解决方案。比如ZF公理系统。这一问题的解决只现在还在进行中。罗素悖论的根源在于集合论里没有对集合的限制,以至于让罗素能构造一切集合的集合这样“过大”的集合,对集合的构造的限制至今仍然是数学界里一个巨大的难题!
当然这些对于高三学生来说可能不具诱惑力,毕竟我也从高三过来,那么就用我的绝招:数学确实挺难,但是又有什么办法,一门不好,就别指望高考有什么成就。在这种思想的激励下,我更加努力,高考608,比较满意。仁兄or 任妹,努力呀!!!
7. 如图,可否帮我理解广义化的函数是什么意思用来干嘛的它这里把X变成U,而U又在图像上作为y值来划
同学,请注意这里是要你求复合函数
我就告诉你一句话你就懂了:这里的u=g(x)
你把所有的u换成g(x),u的值就相当于函数g(x)的函数值
在最终的复合函数中:
x是f(g(x))的自变量
u=g(x)是函数g(x)的因变量,同时也是y=f(u)的自变量
y=f(u)=f(g(x))是f(g(x))的因变量
懂了么
8. 等价无穷小的广义化
等价无穷小替换要注意:乘除法可替换,加减法慎用!这个 ”X→0 “中的 X通常在题目中不会是简单的一个X,而是其他的一坨表达式,注意其广义化的形式“这坨表达式→0”.还有就是你说的这个X→0时,这里的X就相应变成1/X了,这时候1/X就变成了无穷大,所以不能直接等过来!
9. 极限构造广义化,左右两个等式怎么求出下面结果的
【上面是直接用洛必达法则求解】
【所谓广义化的导数,就是把上式中的tanx和sinx看作∆x,那么上面二式就是f(x)=x^10在x=2
处的导数。然后便有题示的等式,即都=(x^10)'∣﹤x=2﹥=10×2^9】