线性赋范空间
前两节笔记讲了拓扑空间、距离空间和紧性,其中拓扑空间有拓扑结构,即开集的性质,距离空间上有距离函数。但是这两种空间提供的性质还是太少了,和我们熟知的空间,比如
线性空间的概念和我们在线性代数中学过的完全一致,在此重复一遍定义。
定义3.1(线性空间) 称非空集合
- (加法结合律)
- (加法交换律)
- (加法单位元)
,使得
,有
- (加法逆元素)
,
使得
- (数乘结合律)
- (数乘单位元)
,使得
,有
- (数乘结合律1)
- (数乘结合律2)
当然,还要求加法运算
线性空间的定义方法和之前提到的拓扑空间和距离空间一样,关键在于其上定义的两种运算的性质。定义的前四条实际是在说
线性空间的定义还有很多推论,还有后续的线性相关、线性无关、张成(记作span)、极大线性无关向量组、Hamel基、维数、直和等概念,在线性代数中也都学过,不再赘述。下面只给出线性同构的定义,同构在泛函分析中是个重要概念。
定义3.2(线性同构) 设
-
既单且满
-
,
同构映射的第二条性质即映射也是线性的,这是空间线性对映射的必然要求。线性同构是一种等价关系,它提供了另一种“相等”的视角,是一种帮助我们进行抽象概括的工具,后面我们会看到同构空间的重要应用。
下面来讲范数。
定义3.3(范数) 线性空间