数值分析模型与数学建模(报告

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

狄多涅指出,布巴基的基本指导思想是结构主 义. 他们用公理化的观点对整个数学加以整理,发 现数学分支之间的区别在于结构不同.
他们认为数学上有三种结构,即代数结构、序结 构和拓扑结构.
30余卷的《数学原本》贯穿了这一思想.作者们 把一些理论的基本概念仔细加以剖析,拆成零件(各种 结构),然后整理归纳,把某个理论放在整个结构的适 当位置上.他们不崇尚技巧,象数论中的高超技巧、 函数论中的精密估计、概率论中的详细计算,都不能 纳入布巴基体系.
布巴基学派的主要成员有狄多涅(Jean Dieudonne,1906—)、韦伊(Andre′Weil,1906—)、 歇瓦莱(Claude Chevalley,1909—)、H·嘉当(Henri Cartan,1904—)等.
布巴基的事业是一批法国青年开始做起来的。1924 年,一批18岁的青年来到法国巴黎高等师范学校(法国 最高学府)求学.巴黎的老一辈大学问家象毕卡(Picard, 1856—1941)、蒙代尔(Montel,1876—1975)、波莱尔 (Borel,1871—1956)阿达玛(Hadamard,1865—1963)、 当儒瓦 (Denjoy,1884—1974)、勒贝格(Lebesgue, 1875—1941)、当时已是50岁上下的人了,他们和这批 18岁的青年整整隔了一代.尽管他们手把手地给他们 讲授一年级课程,但这批年轻人并不满足.
模型是用某种工具对同类或其他工具的表达
方式。模型从某一个建模观点出发,抓住事物最 重要的方面而简化或忽略其他方面。
工程、建筑和其他许多需要具有创造性的领 域中都使用模型。
表达模型的工具要求便于使用。建筑模型可 以是图纸上所绘的建筑图,也可以是用厚纸板制 作的三维模型,还可以用存于计算机中的有限元 方程来表示。一个建筑物的结构模型不仅能够展 示这个建筑物的外观,还可以用它来进行工程设 计和成本核算。
目的:城市交通研究
抽象出结构:小区、商区、立交桥、道路、交叉路口 等概念的关联和区分——忽略细部特征、概念的部分 内涵、人口结构等等。
模型表示:城市交通地图
3、核心是结构 理解原型的结构,抽象并表示结构是核心问题。 什么是结构? 集合的结构是集合的子集族。
例 图书馆 字符集:中文字、英文字母、数字等等各种字符的全体。 书、文章、多媒体文本等形成子集族——集合的文本结构。
数学建模 ≠
数学荐模+数学引模——一种初步实 用的,拼凑性的模型类比方法,非 普适的、非创造性的和非本质的。
数学建模 = 创造的本质性方法 + 模型类比方法
结构化数学建模方法: 一种创造的本质性方法 源问题
E.A.Bender定义: 数学模型是关于以部分现实世界(原型)为 一定目标而作的抽象、简化的数学结构。
布巴基学派是本世纪三十年代以后开始形成的一个数 学学派.布巴基(Bourbaki)并无其人,它是这一学派 的人物著书立说时共同采用的一个笔名.从1939年起, 他们出版了一套巨著《数学原本》,到1973年共出36 卷,至今仍未完成.
《数学原本》是一部博大精深的著作.它涉及现代数 学的各个领域,概括某些最新研究成果,以其严谨而 别具一格的方式将数学按结构重新组织,形成了自己 的新体系.其内容包括集合论、代数、一般拓扑、实 变函数论、线性拓扑空间、黎曼几何、微分拓扑、调 和分析、微分流形、李群等分支.
例. 飞机模型
目的:空气动力学研究 抽象结构:外型结构,除去内部构造; 目的:机舱设计 抽象结构:内部空间结构,除去外部结构;
不同目的关注的内容不同,抽象的结构不同。 表示:专业图形和航空语言表示。
例. 地图
概念抽象(不是模型!):楼群、居住小区、公共场 所与设施、商区、政府机关、河流、湖泊、公交线路、 各级公路、快速路、高速路、立交桥等等。
不奉献鲜花、花环及花束。 “因为上帝就是Aleksandrov(亚历山大洛夫) 的万有紧化”(Grothendieck[格罗登迪克]福音 书第四章22页)。
3、结构主义方法 结构主义不仅是一种思想,而且是一种分析方法。
例、数直线结构分析
在一个集合的元素间引进运算或变换,就形成了结构.
布巴基学派将数学结构分为三大类: (1)代数结构:由离散性对象加运算构成的结构系 统.如群、环、域、代数系统、范畴、线性空间等. (2)序结构.如半序集、全序集、良序集等. (3)拓扑结构.如拓扑空间、紧致集、列紧空间、连 通集、连续性及完备性空间等.
这三种结构叫做母结构,由此可以导出各种子结构, 还可有各种交叉,形成分支结构,如拓扑群是群结构 上再定义拓扑结构的一门学科.希尔伯特空间是线性 空间添加内积型拓扑(拓扑结构)构成的数学系统.巴拿 赫空间即完备、赋范、线性空间,也是一种交叉而形 成的分支结构.
韦伊首先走到国外,得知德国当时有阿廷(Emil Artin,1896—1962)、诺特(Emmy Noether,1882—1935)、 西格尔(Carl Ludwig Siegel)、海塞(Hermut Hasse)这些人 在代数方面崭新的工作;匈牙利的黎兹(Frede’ric Riesz, 1880—1956)、波兰的巴拿赫(Stefan Banach,1892—1945) 已开创了泛函分析;俄国学派已在向拓扑学进攻.这些 年轻人再也坐不住了,他们决心打破这一“函数论王国”
ISO9000系列实质上是管理过程的标准。
例 选举模型 多数选举法、累计选举法等等,是特种社会活动 的模型。
经济学模型: 市场模型、竞争模型、企业战略模型、股票模型、 金融模型,等等。
这些模型共同特点是,其表达易于理解,抽象度低。
2)工程技术模型 建筑模型 ,交通模型,电路模型,服装模型 等等。 表达:建筑设计图、交通网络、电路图、服装模版等。 3)生命科学模型 新陈代谢模型、光合作用模型、血液循环模型、 DNA双螺旋模型 、蛋白质结构模型等等。 4)化学模型 苯环 、化学健理论、反应平衡等等; 5)物理模型 基本粒子、原子模型、晶体模型 、光学的衍射等等。
Bruhat(布里阿)、Dixmier(荻思米埃)、 Godement(古德曼)、Samuel(萨姆埃尔)、 Schwartz (施瓦尔兹)诸家族 ,
Demazure ( 德 马 祖 尔 ) 、 Douady ( 杜 阿 第)、Giraud(吉劳)、Verdier(费荻耶)诸家 族,
还有其他家族以及Abéle 和Idéle小姐:
结构化数学建模方法
目录 一、引子:建模与引模
二、模型的概念 三、数学与普适性 四、皮亚杰的结构主义 五、结构化数学建模方法 六、结构化建模例子 七、结构法的研究性课题
一、引子:建模与引模
建模学生:数学建模 = 数学引模
实际或竞赛 的建模问题
引用案例 借鉴案例
课程学习与培训中的 数学建模案例
类比、引用和借鉴是很有效的方法,是现状!但是:
化学科学——分子、大分子、原子团簇 物理科学——基于基本粒子组成的各种物质形态
数学——物质的起源
霍金:如果广义相对论成立,则任何合理的宇宙模型都起 始于一个奇点(数学点!)——目前最好的宇宙论!
3)、模型的抽象度依科学序关系递减
扩展的科学与技术的抽象递减顺序: 数学——物理——化学——生物——工程技术 ——社会科学
这是何等艰巨的任务!后来实际上写了三十年也没有完 成.
布巴基的一些主要成员,大多在现代数学中都有重大
贡献.如狄多涅可以说是一个著作家,是布巴基的主笔, 写了大量论文和专著;韦伊可以说是本世纪中叶以后最重 要的数学家之一,他在代数数论和代数几何上的工作是极 为深刻的,由于他在法国的南希(Nancy)和美国的芝加哥 (Chicago)工作,曾戏称布巴基在南加哥(Nancago)大学任 职,是布巴基的一员主将;爱伦伯格是布巴基小组中唯一 的外籍人,他是同调代数的制定者;H·嘉当也是一位大数 学家,以多复变函数和同调代数研究驰名;歇瓦莱建立了 李(Lie)理论和有限群之间的桥梁;广义函数的奠基人施瓦 兹(Schwa-rz)和现代代数几何家格罗申第克(Grothendiek)两 个人都获菲尔兹奖并参加过布巴基小组,把大家带入了两 个深入的部门.后期的成员很多,如塞尔(Jean-Pierre Serre) 是《数学原本》代数部分的主要撰稿人,他也是菲尔兹奖 获得者.布巴基学派确实吸引了最有能力的数学家,是二 十世纪最有影响的学派之一.
一批青年聚在一起议论法国数学发展中青年人
的责任,其中以狄多涅、韦伊两人为首,吸引了德 尔萨特(J.Delsarte)、厄莱斯曼(C.Ehresman)、歇瓦 莱等三人,后来又有H·嘉当和爱伦伯格 (S·Eilenberg)(唯一的外国人——波兰人)参加.他们 曾分析形势,首先法国是当时函数论王国百度文库上面列 举的大学问家都是搞函数论的.除了阿达玛的讨论 班有一扇通往国外的窗口之外,国外的数学发展情 况很不清楚.至于E·嘉当(Elie Cartan,1869—1951) 的工作虽然开始了李群与微分几何理论的研究,但 要到20年以后才被发现其重要性,当时并未注意 到.
悲哀地奉告Nicolas Bourbaki老爷于11月11日在 Nancago自己的庄圆中逝世。
兹订于1968年11月23日星期六15时在随机函 数公墓(Markov及Gödel地下铁路车站)安葬。 仪式在Koszul(广)场,射影予解式十字路口, “直积”酒吧间前举行。
按已故者遗愿,由至圣红衣主教阿列夫1(1) 在万用问题圣母大教堂主持弥散,所有闭影射的 等价类及纤维的全权代表出席。高等师范学校、 陈班(类)学生默哀追念死者。
三、数学与普适性
数学的普适性一直被数学家与哲学家研究,笛 卡儿、开普勒、牛顿、莱布尼茨等:大自然中隐藏 着一种固有的和谐,反射到我们的心智中就呈现简 单数学定理的形式。 1、数学是什么? 这是一个困难的问题,并没有唯一的答案。
结构主义学派( Bourbaki ): 数学 = 集合 + 结构
2、布巴基学派
文本按知识类型分类,形成不同层次的子集族—— 国际图书分类法——图书馆的藏书结构——专业模型。
4、模型抽象度 1)、科学的依赖序关系与抽象度
数学 物理 化学 生物 社会科学
抽象度降低 这种单调的依赖关系由科学领域的物质组成决定
2)、科学序与世界的形成 科学的依存关系:
社会科学——由生命体组成
生命科学——生命由细胞、蛋白质组成
抽象什么?如何抽象?抽象=最抽象! 理解:模型?+ 数学?= 数学模型?
抽象什么?如何抽象?如何建模?
二、模型的概念
1、什么是模型 这是一个通过举例或指认回答的简单问题。
1)社会科学模型 经济与管理科学模型、军事模型、政治模型、社会 学模型等等。 例 管理科学中的甘特图模型
反映了在项目管理中各个过程的受控运行状态, 是项目各部分关联结构的动态表示。
结构主义:
数学 = 集合 + 结构 (抽象元素) (序结构、拓扑结构、 代数结构、复合结构…)
DNA序列={A、T、C、G}+结构 (序结构?…)
DNA的数学模型—数学生物学。 DNA Computing—生物数学。
Bourbaki 的讣文(1968年冬)
Cantor(康托尔)、Hilbert(希尔伯特)、 Noether ( 诺 特 ) 诸 家 族 , Cartan 、 Weil 、 Dieudonné、 Chevalley,诸家族
用专业理论抽象出的结构,并用专业语言表示的模型
2、模型是什么?模型与结构
原型
抽象出结构
模型
模型:以特定目的对事物原型抽象出结构并适当表示。
抽象出结构:不是一般概念的抽象,而是结 构的抽象;
特定目的:目的不同,关注的结构(事物的内部 联系)不同;
适当的表示:使用不同知识与方法,需要不同 的语言表示。
的束缚,继承从费马到庞卡莱博学多采的数学传统,把 数学来一个改造,于是出现了“布巴基运动”.特别是 在1932年范·德·瓦尔登(Van derWaerden)的《近世代数》 出版,给这些年轻人以启发,他们欣喜若狂,决心象 范·德·瓦尔登整理代数学那样,将数学重新整理一 遍.1934年他们在一次集会上决定,用三年时间将整个 数学整理成一套专书.然而,随着知识的增长他们发现
相关文档
最新文档