关于向量空间的定义

前言 教科书上经常采用的数域P上向量空间的定义是八条公理,文证明了八条公理不独立,其中向量加法的交换律(即下面的公理①)可由其余的公理推出,但是,文证明其余七条公理的独立性时在证明中有错误:第一,证明公理⑥不能由其余七条公理推出时,所用例子虽不满足公理⑥,但也不满足公理⑦;第二,证明公理⑧不能由其余七条公理推出时,所用例子不满足公理⑤(在本文中将分别说明之)。因此,八条公理的独立性如何,仍然是一个没有彻底解决的问题。本文将证明公理⑧是独立的,至于公理⑥,我们发观它的独立性比较有趣,它与数域P的关系密切。本文将证明存在数域P(例如复数域),公理⑥在该数域上是独立的;然而,也存在数域P(例如有理数域),公理⑥在该数域上可由其余公理推出,关于公理⑥的独立性问题,陈重穆教授提出了一个猜想,见本文的后记。