线性空间是属于线性代数研究的对象。之所以也放在多元函数专题中,是为了主题的连续性。否则一会多元函数,一会线性代数,太乱了。更何况,数学的各个分支学科本就是相互渗透,融合。将各个学科刻意地孤立,除了让人更加困惑,别无他用。我在学习数学时,常常遇到看不下去的情况。之所以看不下去,是因为预备知识掌握得不充分。再深究下去,就是没有完整的数学知识体系。例如,如果我们对多元函数和线性代数没有充分的认识,直接去学最优化的知识,往往只能一知半解,事倍功半。再比如,如果没有扎实的最优化和概率论的基础,要去学机器学习的知识,那也是缘木求鱼,本末倒置。这也是我将机器学习的专题暂且搁置,转而学习数学基础的原因。机器学习的知识看得越多,疑惑就越多。疑惑多到一定程度,就再不能妄图自欺欺人,蒙混过去了。
闲言少叙。线性空间在多元函数的意义是不言而喻的。多元函数中最重要的函数,就是线性变换。多元函数导数的定义,完全依赖于线性变换。而要学习线性变换,线性空间又是绕不开的主题。
既然线性空间是线性代数的研究对象,当然首先要从代数说起,方不辜负了“线性代数”这样高大上的名字。然而,我并不想对代数学做系统的介绍。因为代数学比分析学要的烧脑得多了。以我浅薄的见识,还不足以介绍代数学专题。所以,对代数学,我一直是点到即止。
定义. 阿贝尔群(Abelian Group). 一个非空集合G连同在G上定义的运算*被称作是阿贝尔群,或可交换群,如果它们满足:
- 运算封闭性,即对任意的