数学化[精选].doc

数学化报告 随着科学教育的发达，“数学化”这一词语被提到的频率一下就高了起来。我们先来理解一下什么叫做数学化，人们运用数学的方法观察现实世界，分析研究各种具体现象，并加以整理组织，以发现其规律，这个过程就是数学化；简单地说，数学地组织现实世界的过程就是数学化。 现实世界自始至终贯串在数学化之中，我们常把由现实世界直接形成数学概念的过程称为“概念化”的数学化，它往往随着不同的认知水平而逐渐得到提高；与此同时，对这个概念的形成过程进行反思，作更为抽象与形式的加工，再用它来解决现实世界的问题，通过现实世界的调节作用，使数学化得到进一步的发展与演化，而由此形成的新的方法手段又能用于组织更高一层的现实世界，并产生新的数学概念。现实世界的数学化就是这样，通过两者交融在一起，经常地相互反馈信息，促使数学现实世界与数学化持续不断地发展与提高，这就是数学科学持续发展的动力，这也同样应该成为数学教育持续发展的动力。反思是数学化过程中的一种重要活动，它对数学活动的核心和动力。数学的不少发现来自于直觉，而分析直觉、作出表达与解释，从而深入理解、作出判断并确认其推理过程，则是通向数学化的道路。必须让学生学会反思，对自己的判断与经历的活动包括语言表达进行思考并加以证实，以便有意识地了解自身行为后面潜藏的实质，只有这样的数学教学——以反思为核心——才能使学生真正深入到数学化过程之中，也才能真正抓住数学思维的内在实质，从而借助自己的数学知识与数学方法来为各种错综复杂的具体现象构造相应的数学模型，并解决实际问题。“数学化”是一种组织与构建的活动，它运用已有的知识与技能去发现未知的规律、关系和结构。根据特莱弗斯（Treffers）和哥弗里（Goffree）的提法，要以在数学化的过程中区分水平的和垂直的两种成分。为了实现数学化的过程，首先要将问题运用数学的方式来陈述，即为了通过图式化与形象化的手段来发现规律与关系，首先必须从一般的背景中确认特殊的数学。下述一些活动就含有较强的水平成分：●从一般的背景中辨认特殊的数学；●图式化；●以不同的方式将一个问题公式化或形象化；●发现关系；●发现规律；●在不同的问题中识别其同构的本质；●将现实世界的问题转化为数学问题；●将现实世界的问题转化为已知的数学模型。当问题一旦转化成或多或少具有数学性质的问题时，我们就可以运用数学工具来着手处理了，也就是现实世界的问题的数学加工与整理，实质上已经转化到数学的范畴了。下述一些活动就含有较强的垂直成分：●将某个关系表示成公式；●证明一些规则；●调整与完善模型；●使用不同的模型；●将一些模型汇集并综合在一起；●形成新的数学概念；●推广并建立起一般化的的理论。四种不同类型的数学化途径： 以前用的术语，诸如公理化、形式化、图式化等也许是在数学化之前提出的，其中公理化也许是在数学的行文中出现得最早。公理和公式古已有之，尽管在岁月的长河中，公理（或公设）的意义及公式的形式有所改变.过去几个世纪里，人们认为欧几里得的几何原本不是完美推导的典范，其原意也并非如此，看来今天有人仍这么认为。我们现在使用的公理体系这个术语，是一种现代思想，把它归为古希腊人的功劳（虽然他们是先驱）是一种时代的错误。然而，重新组合某一领域的知识，以至于结论被当作出发点，以及相反地把已证明的性质作为定义来证明原始的定义--这种颠倒的构造是一种久远的数学活动，它和古希腊数学一样古老，或许更古老；尽管只是到了近代，人们才像热衷于知识的组织和重组的古希腊人那样，有意识地、有条理地、热切地运用它。今天雨后春笋似的公理体系是人们试图重新组织数学研究领域的结果。这种技术就叫公理化。它被现代的数学家深刻地理解和掌握。它早期显著的例子是群。18世纪以来，数学家们遇到了集合到自身映射的问题，映射通常由一些不变性质去限制，从而导致去构造这种映射。这样他们开始熟悉了变换的集合，在构造之下自动地满足一些熟知的假设，这种假设是后来群所需要的。1854年凯莱（Cayley）用这些假设统一定义了这种（有限）的对象，他称作群。然而，直到1870年这一新概念才被一些领头创造的数学家们完全认可。之后又用到无限基的情况。在日常生活和符号语言中，公式是像公理一样古老，甚或更古老的一种特殊形式。用日益有效的符号或符号法来改进语言表达是一个长期的过程，它首先涉及到数学题材，后来才影响到表述这种题材所用的语言。这种对语言的整理、修正和转化的过程就叫做形式化。??? 可以肯定，公理化可能会像公理一样在现代数学中流行，他们只是一项活动过程中的精彩部分和最后的润色，在这个过程中重点强调的是形式而不是内容。公式和形式化也同样如此。公理来源于范例或一系列范例，而公理化则意味着总结熟练的范例。人们早已习惯于把经历和行为示范性地推广，从中抽