设V是一个非空集合,他的元素用x,y,z表示,称之为向量;K是一个数域,元素用k,l,m表示,如果V满足8条运算性质,加法的交换律,结合律,存在零元素使得x+0=x,存在负元素使得-x+x=0,乘法数因子分配律,结合律,还有分配律(不同于前面的分配律),则称V为数域K上的线性空间或向量空间,不管V的元素如何,即是说不管V中的元素是复向量还是实向量,复矩阵或者是实矩阵,只要K为实数域R时,就称V为实线性空间,只要K为复数域C时,就称V为复线性空间。也就是说,线性空间也可以是矩阵空间,只要对加法和乘法运算封闭。
n维欧式空间:一个n维向量其实就是一个n维欧式空间的一个点,可以用n个基向量线性表示。一个集合称为空间的条件是要满足加法和数乘封闭。定义了欧氏距离的线性空间叫做欧几里得空间。定义了度量的线性空间叫做度量空间。(度量的意思是说两个属于V的空间的元素映射到实数域中的某个元素,度量是非负实数)。定义了范数的线性空间叫做赋范空间,范数是将线性空间中的某个元素映射到实数域中,范数是一个非负实数,且满足非负、齐次、和三角不等式性。定义了内积的线性空间叫做内积空间。
集合是指作为整体看的一堆东西,可以是有限个或无限个东西组成,这个东西可以是数,点。某些数集(含非零的数),如果其中任意两个数的+-*/(除数不为0