广义矩阵的迹-陕西师范大学网络教育学院.DOCVIP

PAGE PAGE 1 分类号O15.189.23 陕西师范大学学士学位论文 关于线性空间的定义 作 者 单 位 数学与信息科学学院 关于线性空间的定义 王忠心 （数学与信息科学学院2002级3班） 指导教师 吴保卫教授 摘要: 本文讨论了线性空间定义中八条公理的独立性问题,以及公理条件是否可以用其他条件替代等问题. 本文证明了:1，公理①是非独立的，它可由其它七条公理推出；2，构造反例证明了公理②、③、④、⑦、⑧是独立的。从而得出结论：公理①可以在原定义中取消，除 ①之外的其余七条中的每一条都不可以取消.另外还证明了：3，如果将③改为‘在中有一个元素 ， ，都有 ’而其余各条不变，则①是独立的; 4, ③④两条可合并为‘，向量方程 在中有唯一解’；5，可以用‘若 ，则 或 ’代替公理⑧. 关键词: 线性空间; 数域; 独立性; 群 On the definition of the vector space WANG ZHong-xing (Class 3, Grade 2002, College of Mathematics Advisor: Professor WU Bao-wei Abstract: In this paper we discuss the independence of the eight axioms in the definition of the vector space, and study whether these axioms can be replaced by other conditions. This text prove that :1,justice ① is not independent, 2, construct anti- instance to understand justice ② ,③ ,④ ,⑦ ,⑧ is independent. Get conclusion thus: The justice ① can cancel in the original righteousness, in addition to rest seven out of the ① in of each cant cancel. Still proved moreover :3，If change ③ for have a chemical element in , , all have but rest and each constant, the ① then is independent；4，the ③④ is two annexable for，vector square distance have unique solution in ;5，, can use if ，then or replace justice ⑧. Keywords: Vector space; number field; independency; group 0 引言 为了便于讨论，先给出线性空间的定义. 定义 设是一个非空集合，是一个数域. 集合的元素之间定义了一种代数运算,叫加法;这就是说, 给出了一个法则, 对中任意两个元素与，在中都有唯一的一个元素与它们对应，称为与的和，记为.在数域与集合的元素之间还定义了一种运算，叫做数量乘法；这就是说，对于数域P中任意数与中任意元素，在中都有唯一的一个元素与它们对应，称为与的数量乘积，记为.如果加法与数量乘法满足下列八条公理，那么称为数域上的线性空间 . ① （交换律） ② （结合律） ③ （零元素） 存在，使，有（叫做“零元素”） ④ （负元素） 有与之对应，使 （常记为，叫的“负元素” ） ⑤ ⑥ ⑦ ⑧ 在以上公理中，、等表示数域中的任意数，、、等表示集合中的任意元素，参见文献[1，2，3]. 很明显，线性空间是利用公理化定义的.文献[4]、[5]、[6]空间的八条公理的独立性进行了讨论.文[5]指出公理⑥在数域为素域时是非独立的，并证明了在素数域外的其数域内公理⑥是独立的；文[6]对公理⑤的独立性问题也有相似的结论，参见文献[4，5，6].本文主要研究了以下几个问题： (1) 证明了公理①是非独立的，即可由其它七条公理推出. (2) 将定义中公理③改为“在中有一个元素，，都有 ”，参见文献[7]，而其余各条不变，讨论公理①（加法交换律）的独立性问题. (3) 能否用“若”替代定义中公理⑧“”？ (4) 试证：线性空间定义中的公理③、④两条可换为“向量 方程中有唯一解