数学文化.序： 数学与文化.pptVIP

数学抽象 数量的第一步抽象 数量 → 数。 2匹马、2头牛 → 2。 数量的本质多与少 → 数的本质大与小 → 刻画大小的序关系 → 自然数、加法 有理数 ≡ 分数：部分与整体；线段长度之比 加法 → 四则运算；逆运算 → 数域的扩充 自然数 → 整数、有理数、实数 如何定义实数？运算？连续性？ 抽象是如何存在的： 唯实论(柏拉图)，数学是发现； 唯名论(亚里士多德)，数学是发明。 抽象了的东西是存在的：抽象的存在（形而上、形而下）。 数学抽象 抽象：数量与数量关系的抽象；图形与图形关系的抽象。 得到：数学研究的对象概念和对象之间的关系概念； 运算方法和运算之间的运算法则。 亚里士多德： 数学家用抽象的方法对事物进行研究，去掉事物中那些感性的东西。对于数学而言，线、角、或者其他的量的定义，不是作为存在而是作为关系。 存在性假设\多边形→三角形\ 引出抽象的两个层次：直观描述，符号表达。 数学抽象 数量的第二步抽象 变量、极限运算 \如何理解、如何解释\ 导数：牛顿(1676\1666)提出，最初的解释是利用无穷小。 问题：什么样的函数可导？ → 明确函数定义 + 明确极限定义 → 符号表达 1755年，欧拉的变量说，初中。\抽象不够\ 问题 f1(x) = shi2x + cos2x 和 f2(x) = 1 表达是一个函数，还是两个函数？ 1851年，黎曼的对应说，高中。\新概念和物理背景\ 函数 → 对应 → 集合 集合：所要研究对象的全体？ \罗素悖论\ 数学抽象 极限运算 1821年，从柯西开始了现代数学的特征：符号化、形式化、公理化。 可以理解：当 n → ∞ 时1/n → 0； 很难理解：当 n → ∞ 时 x → 0 。 函数连续，当 x → x0 时 f(x) → f(x0) ？ 1. 任何数列 xn → x0 ，都有f(xn) → f(x0)。 2. 任意ε﹥0，存在δ ﹥0，当 ︱x - x0︱﹤ δ 时︱f(x) → f(x0)︱﹤ ε 则称 f(x) 在 x0 处连续。 两种收敛等价？实数可以连续不断地趋近某一个数？ 数学抽象 清晰定义实数 → 清晰定义无理数 → 重新定义有理数 有理数：分数形式 → 小数形式（有限+无限循环) 无理数：无限不循环小数\如何判断(百,千)\ 实数 ≡ 有理数 + 无理数 如何计算： √2·√3 =√2·3 ？用小数验证？ √-2·√-3 = √(-2)· (-3)？ 如何理解：连续 ≡ 实数与数轴一一对应？ 数学抽象 图形的第一次抽象 欧几里得《几何原本》描述定义：点、线、面、角。 关系术语：相交、平行、垂直、全等。 度量定义：长度、面积、体积、边角关系(三角函数、巴比伦)。 带来的问题 点：两条直线交于一点？ 平行：两条永远不相交的直线？ 全等：两个图形重合？ 修改平行：过直线外一点可以有一条（欧几里得几何） 无数（罗巴契夫几何） 没有（黎曼几何） A：三角形。高斯曲率在 A 上的积分 = 三个角的和 – π。 A a a＇ b 赤道 O N N 北极出地与纬度之间的关系 数学抽象 数学抽象 图形的第二次抽象 希尔伯特《几何基础》：桌子、椅子、啤酒杯 符号定义：A，a，α 关联公理：两点唯一决定一条直线、三点平面 顺序公理：直线上一个点在两个点之间、直线通过三角形两个边 合同公理：线段相等、角相等、三角形边角边全等 平行公理：一条直线 连续公理：阿基米德公理（无穷集合） 公理体系：独立性、相容性、完备性 1931年哥德尔：两个不完全性定理。\算数公理体系完备与相容\ （2）数学的逻辑演绎性与精确性 获取知识有很多方法，譬如，经验的方法、归纳的方法、类比的方法。 远古时期的数学公式就由经验日积月累而成。 类比方法是有用的，但也受一定的限制，并不是所有情形中都能使用类比法。 使用得更