本人觉得自己的数学功底一向很差，总是觉得在被数学折磨，本学期学校开了一门矩阵论的课，学工科的朋友都知道矩阵这个东西在工程运算，计算机算法中起着非常重要的作用，为了克服自己的短板，我决定把每次课学到的东西都以博客的方式记录下来，加深自己的理解。由于上课的教授非常强调知识产权的问题，我在写博客的时候会尽量回避上课讲义上的内容，用自己的理解将内容描述出来。

本文是第一次上课的内容，主要是一些具体的定义。

数环

定义1 设Z为非空数集且其中任何两个数的和、差与积(注意，这里没有商)仍属于Z，则称Z是一个数环。

数学上还有关于"环"的定义，环的定义和数环有点类似，但是它是定义在任何集合上的，而数环是定义在数集上的，并且它的和、差、积运算并不一定是指一般意义上的加减乘。环具体的定义可以查看参考资料2。¹

数环上有如下的性质:

1. 任何数环都包含数零，即零环是数环中最小的数环。(这个性质很重要)
2. 设S是一个数环。若a∈S,则na∈S(n∈Z)
3. 若M,N都是数环，则M∩N也是数环。

数域

定义2 如果F是至少含有两个互异数的数环，并且其中任意两个数a与b之商(b≠0)仍然属于F，则F是一个数域。

数域的定义是在数环之上的，在数环的基础之上增加了商的运算，可以说数域是数环的一个特殊情况。

数域的性质:

• 任何数域都包含有理数域Q，即Q是最小的数域。²

常用的数域有:复数域C,实数域R,有理数域Q

线性空间

定义3 设V是一个非空集合，F是一个数域，在集合V的元素之间定义一种代数运算，叫做加法；这就是说，给出了一个法则，对于V中任意两个元素x和y，在V中都有唯一的一个元素z与他们对应，称为x与y的和，记为z=x+y．在数域F与集合V的元素之间还定义了一种运算，叫做数量乘法；这就是说，对于数域F中任一数k与V中任一元素x，在V中都有唯一的一个元素y与他们对应，称为k与x的数量乘积，记为y=kx。如果加法与乘法还满足下述规则，那么V称为数域F上的线性空间．³

对加法满足：

1. (交换律) x+y=y+x；
2. (结合律) (x+y)+z=x+(y+z)
3. (零元素) 在V中有一元素0，对于V中任一元素x都有x+0=x
4. (负元素) 对于V中每一个元素x，都有V中的元素y，使得x+y=0

对数量乘法满足：

1. 1x=x
2. k(lx)=(kl)x

数量乘法和加法满足：

1. (k+l)x=kx+lx
2. k(x+y)=kx+ky

其中x,y,z为V中任意元素，k,l为数域F中的任意元素，1是F的乘法单位元。 数域F称为线性空间V的系数域或基域，F中元素称为纯量或数量(scalar)，V中元素称为向量(vector)。 当系数域F为实数域时，V称为实线性空间。当F为复数域时，V称为复线性空间。

需要注意的是，此处加法和数量乘法并不一定是传统意义上的加法和数量乘法，比如:

∀a,b∈R+及∀k∈R,定义加法为a⊕b=ab, 数量乘法为k⊗a=ak

可以证明R+对于上述定义的加法⊕和数乘运算⊗是一个线性空间。⁴

事实上，可以将线性空间看成是一种满足一定条件的集合，而这个条件就是上述所说的对该集合上元素进行加法和数乘的约束条件。

线性组合

定义4 设V是数域F上的线性空间，x_1,x_2,⋯,x_n是V的向量，λ_i∈F(i=1,2,⋯,n)。称V的元素x=λ_1x_1+λ_2x_2+⋯+λ_nx_n是集合x_1,x_2,⋯,x_n的线性组合。

线性无关

定义5 设V施数域F上的线性空间，α_1,α_2,⋯,α_r(r≥1)是V中的一组向量，如果存在一组不全为0的数k_1,k_2,⋯,k_f∈F，使得k_1α_1+k_2α_2+⋯+k_rα_r=0,则称向量组α_1,α_2,⋯,α_r是线性相关的,反之是线性无关的。根据线性组合和线性无关的定义，我们可以得出结论:

V中一组向量α_1,α_2,⋯,α_r线性相关的充要条件是其中至少有一个向量是其余向量的线性组合。

维数

定义6 线性空间V中存在有n个线性无关的向量，而任何n+1个向量都是线性相关的，则称V是n维的，记为dim(V)=n,如果在V中可以找到任意多个线性无关的向量，则称V是无限维的

在实际应用中，常常会把有限维作为无限维的近似计算。

基底

定义7 设V是数域F上的n维线性空间，则V中一定存在一组线性无关的向量α_1,α_2,⋯,α_n，使得V中任一向量都可以唯一表示成α_1,α_2,⋯,α_n的线性组合，则α_1,α_2,⋯,α_n称为V的一组基底.

基底必须满足两个条件:

1. 它是线性无关的(Linearly Independedt)
2. 它的线性组合充满整个空间V(span V)

坐标

定义8 若α_1,α_2,⋯,α_n是V的一组基底，则∀α∈V可以唯一的表示成α=x_1α_1+x_2α_2+⋯+x_nα_n,其中x_1,x_2,⋯,x_n称为α在基α_1,α_2,⋯,α_n下的坐标.

坐标这个概念非常重要，它给了我们表示具体向量的方法。向量最初的定义是线性空间中的元素，而线性空间是满足特定条件的一个抽象集合，对于抽象的东西，我们很难用具体的数字来表示。

比如，假设在一个直角坐标系中，有一个点A(1,1)，其实这样的表述可以理解成:在一个二维的线性空间中，选择(0,1)和(1,0)作为其基底，则点A可以表示成(1,1)。

但是，我们也可以给它换一个基底:如果我们选择(0,2)和(1,0)作为其基底的话，则点A表示成(12,1)⁵

因此， 坐标把抽象向量和具体向量相互联系了起来，让我们能够用具体的数字来描述一个抽象的元素。

参考资料

1. 百度百科:数环
2. 维基百科:环
3. 百度百科:数域
4. 百度百科:线性空间
5. 《Linear Algebra Done Right》

Share on: Twitter ❄ Facebook ❄ Email

---

---