1
第三章 共轭空间与共轭算子
线性赋范空间与它的共轭空间之间的相互依存和相互作用是泛
函分析中内容丰富的论题.共轭空间不仅仅是由原空间派生出来的一
种新空间, 而且提供了认识原空间的新工具. 特别是由此派生了强拓
扑、弱拓扑乃至弱*拓扑的概念. 有界算子与它的共轭算子的关系也
是如此. 本章将首先把共轭空间具体化——给出共轭空间的表现, 然
后讨论由共轭空间引出的序列的弱收敛和弱
?
收敛概念及其性质,讨
论共轭算子和紧算子的性质, 最后阐述自反空间和一致凸空间的特殊
性质.
第 15 讲 共轭空间及其表现
教学目的
掌握常用空间的共轭空间的具体 表现形式及其应用。
授课要点
1 空间
11
()* ,1 , 1.
pq
llp
pq
=≤<∞+=
2 空间
11
()* ,1 , 1.
pq
LLp
pq
=≤<∞+=
3 空间
0
[,]* [,].Cab V ab=
前面已讲过,对于任一线性赋范空间 X , X 的共轭空间 X
?
是
Banach 空间 . 对于每个 f X
?
∈ ,我们有
( )
1,
sup ,
xxX
f fx
≤∈
= ( 1)
对于每个 xX∈ ,又有
2
( )
1,
sup .
ffX
x fx
?
≤∈
= ( 2)
这些公式反映了线性赋范空间与它的共轭空间之间的对偶关系 . 当
然,作为线性赋范空间, X
?
也存在共轭空间,记为 X
??
,称 X
??
为 X
的二次共轭空间,类似地还有 X
???
等等 .
在对共轭空间及其有关性质作进一步研究之前, 我们需要对它
的抽象形式做一番直观化的工作 . 我们记得,在第一章中曾经叙述过
两个线性赋范空间的等距同构概念,等距同构的两个空间除了符号不
同之外,在结构上无法区别 . 在这种意义上我们也称两个空间相等 .
在研究抽象空间的时候,有时我们不去研究这个空间本身,而是去研
究一个与之等距同构的具体空间,后者称为前者的表现,同时也称具
体空间的每个元素是抽象空间对应元素的表现 .
例如 , 在第二章第 1 讲中我们已经知道
n
Φ 上的线性泛函的一般
形式是
()
11 nn
f xax ax=++ " , ( )
1
,,
n
n
xx x? =∈Φ " (3)
其中
1
,,
n
aa " 是 n个标量 . 不同的 f 对应有不同的 n数组 ( )
1
,,
n
aa " .
直接计算可以求出
1
2
2
1
n
i
i
fa
=
??
=
??
??
∑
. 若将
n
Φ 上的线性泛函 f 与
n
Φ
中的点 ()
1
,,
n
aa " 对应起来,则
( )
n
?
Φ 与
n
Φ 之间可以建立一一对应,
并且这种对应是到上的等距同构 . 这样一来,
( )
n
?
Φ 中的元素可以通
过一个 n数组表现 . 换句话说,
n
Φ 本身就是
( )
n
?
Φ 的表现 . 在这种意
义下我们说
()
nn
?
Φ=Φ.
现在让我们看一些进一步的例子 .
3
定理 1
( )
1
ll
?
∞
= .
证明 1° 对于每个 ()
12
,,aaa l
∞
=∈ " ,定义
()
1
nn
n
f xax
∞
=
=
∑
, ( )
1
n
x xl? =∈. ()4
f 是
1
l 上的线性泛函,并且
()
1
11
sup
nn n n
n
f xax ax
∞∞
≥
==
≤≤
∑ ∑
1
sup .
n
n
ax
≥
=
从而 sup
n
n
f aa
∞
≤=.
2° 反之,若
()
1
f l
?
∈ ,取 0, ,0,1,0,
n
n
e
??
=??
??
"