l2空间的完备性_泛函分析笔记03-线性赋范空间

线性赋范空间

前两节笔记讲了拓扑空间、距离空间和紧性，其中拓扑空间有拓扑结构，即开集的性质，距离空间上有距离函数。但是这两种空间提供的性质还是太少了，和我们熟知的空间，比如

空间相差甚远。这一节我们再向

空间前进一步，引入

赋范线性空间的概念。顾名思义，赋范线性空间有两大性质，一是线性，二是范数。

线性空间的概念和我们在线性代数中学过的完全一致，在此重复一遍定义。

定义3.1(线性空间) 称非空集合

为数域

上的线性空间，若其上定义的加法运算

和数乘运算

满足，

，有

1. (加法结合律)
2. (加法交换律)
3. (加法单位元)
   ，使得
   ，有
4. (加法逆元素)
   ，
   使得
5. (数乘结合律)
6. (数乘单位元)
   ，使得
   ，有
7. (数乘结合律1)
8. (数乘结合律2)

当然，还要求加法运算

和数乘运算

对于

是封闭的。

线性空间的定义方法和之前提到的拓扑空间和距离空间一样，关键在于其上定义的两种运算的性质。定义的前四条实际是在说

和其上的加法构成一个交换群，我对群论只是在部分物理化学的应用中知其皮毛，在此不多展开。线性空间是对加法和数乘运算都封闭的空间，而加法和数乘运算又各满足四条性质，可以看到线性空间是很强很好的性质。我们经常研究的空间，

，

，

，

空间等等都是线性空间，证明很简单，依次验证3.1中的性质即可。根据数域

的不同，线性空间又有实线性空间和复线性空间之分，其实本质大体相同，只是部分性质有所差异，后文涉及线性空间时都会注明实复。

线性空间的定义还有很多推论，还有后续的线性相关、线性无关、张成（记作span）、极大线性无关向量组、Hamel基、维数、直和等概念，在线性代数中也都学过，不再赘述。下面只给出线性同构的定义，同构在泛函分析中是个重要概念。

定义3.2(线性同构) 设

是线性空间，映射

称为一个线性同构，若

1. 既单且满
2. ，

同构映射的第二条性质即映射也是线性的，这是空间线性对映射的必然要求。线性同构是一种等价关系，它提供了另一种“相等”的视角，是一种帮助我们进行抽象概括的工具，后面我们会看到同构空间的重要应用。

下面来讲范数。

定义3.3(范数) 线性空间

上的非负值运算