《高等代数》的公理化思想方法的认识与研究.pdfVIP

( ) 2002 年 2 期 邵阳学院学报 自然科学 Oct. 2002 第 1 卷 　第 2 期 Journal of Shaoyang University Vol. 1. No. 2 文章编号 :1672 - 1012 (2002) 02 - 0010 - 03 《高等代数》的公理化思想方法的认识与研究 胡明娣　赵临龙 (安康师范高等专科学校数学系 ,陕西 ,安康 725000) 摘要 :通过对《高等代数》课程中蕴含着大量的公理化思想方法的挖掘,阐述它在《高等代数》和其它学科中的重要作用. 关键词 :高等代数 ;公理化 ;思想方法 中图分类号:O15 　　　文献标识码 :A 日本数学家米山国藏指出: “无论是对于科学工作者,技术人员 ,还是数学教育工作者 ,最重要的就是数学的 [ 1] 精神 、思想和方法,而数学知识是第二位的. ” ,数学思想方法是数学宝库中的重要组成部分 ,是数学学科赖以 生存和发展的重要因素 ,何谓数学思想方法呢 ?它的研究对象是什么 ?广义的理解认为数学思想方法就是指数学 ( ) 本身的论证、运算以及应用的思想、方法和手段; 以及关于数学 其中包括概念、理论、方法与形态等 的对象、性 质 、特征、作用和其产生、发展规律的认识. [2 ] ,它是前人探索数学真理过程中逐步积累起来的, 它大量蕴含于各 个数学分支的定理、原理、公式、法则和解题过程中. 《高等代表》教材内容在与其它各数学学科相联系之时,又有本质的相异之处 ,它更着意于代数结构理论的 建立 ,着意于整体处理思想及模式化思想的应用 ,它蕴含着大量数学思想方法 ,如公理公、模式化、关系映射反演 方法 、构造法、反例法等,本文仅谈谈《高等数学》课程中蕴含的公理化思想方法及其重要作用. 1 　《高等代数》课程中蕴含的公理化思想方法及其重要作用 在一个数学理论系统中 ,尽可能少的选取原始概念和不加证明的一组公理 , 以此为出发点,利用纯逻辑推理 的法则,把该系统建立成一个演绎系统的方法 ,就是公理化方法[2 ] . 1. 1 　公理化方法在《高等代数》课程中的体现 ( ) ⅰ众所周知 ,线性空间的定义是用公理化方法给出的 , 由于公理设置与选取的不同而使线性空间的公理 [3 ] ( ) 系统有种种的形式 ,现就张禾瑞、郝炳新编《高等代数》第四版 中给出的线性空间 V 的公理系统来考虑公理 化的思想方法. 考查在 F 上定义两个运算“+ ”“ ”的元素运算集合 V ,如果下列条件被满足 ,称 V 为 F 上的向量空间 : α β β α ① + = + ( α β) γ α ( β γ) ② + = + + ③V 中有一个零元0 :总存在 a ∈V ,都有 0 + a = a ④V 中每一个元素a 都有一个 a 的负元素a′,使 a ′+ a = 0 ( α β) α β ⑤a + + = a + a ( ) α α α ⑥ a + b = a + b ( ) α ( α) ⑦ ab = a b ⑧1α= α ( αβγ