Strongart数学笔记谈Banach空间与C星代数的张量积.pdfVIP

谈 Banach 空间与 C*-代数的张量积 (2014-05-2314:04:18) 先回顾一下代数中的张量积，给定域k上的两个向量空 间（或更一般的交换环上的 ）V与W，其张量积V⊙W 的 元素由形如Σv_i⊙w_i 的有限和生成，满足基本关系：对任 何u，v∈V，w，x∈W，a∈k，有 (u+v)⊙w=u⊙w+v⊙w u⊙(w+x)=u⊙w+u⊙x au⊙w=u⊙aw 由此可见，张量积在本质上就是双线性映射的公理化。 在Hilbert空间上，我们要考虑的是张量积算子与内积的 配合问题。设H与K是Hilbert空间，那么可定义代数张量 积空间H⊙K上的内积：对任何h_1,h_2∈H，k_1,k_2∈K h_1⊙k_1,h_2⊙k_2 = h_1,h_2 k_1, k_2 一般形式的张量积可由其线性张成得到，对此内积的张量积 空间，就称为Hilbert空间H与K 的张量积。 对于这样定义的内积，显然满足所谓的交叉范数条件： ‖h⊙k ‖= ‖h ‖‖k ‖ 我们还有下交叉范数条件为： ‖h⊙k ‖≤‖h ‖‖k ‖ 对于Hilbert空间上的算子，我们同样可以定义张量积。 若S∈B(H)，T∈B(K)，则其张量积算子S⊙T∈B(H⊙K)定 义为：对任何h∈H，k∈K S⊙T(h⊙k)=S(h)⊙T(k) 同时有 ‖S⊙T ‖= ‖S‖‖T ‖ 下面看一下Hilbert空间下范数计算的例子。在l^2⊙l^2 内，x=e_1⊙e_1+e_2⊙e_2满足 ‖x ‖=√2 这个结论可以用 Hilbert空间的张量积公式直接计算，也可以利用如下结论， 若{e_i}与{f_j}分别是Hilbert空间H与K的标准单位正交基， 则{e_i⊙f_j}就是H⊙K 的标准单位正交基。 下面我们看Banach空间上的张量积，由于没有内积结 构的限制，使得这里张量积的定义有着多种不同的选择，但 至少应该与Hilbert空间上张量积的范数性质一致，即满足下 面的交叉范数条件： ‖x⊙y ‖= ‖x ‖‖y ‖ 设E与F是两个Banach空间，对x=Σx_i⊙y_i∈E⊙F， 可定义λ-张量积为： ‖x ‖_λ=sup{|Σf(x_i)g(y_i)|；f∈E*，‖f ‖ ≤1，g∈F*，‖g ‖≤1} 还可定义γ-张量积为： ‖x ‖_γ=inf{Σ‖x_i ‖‖y_i ‖；x=Σx_i⊙ y_i} 这里λ称为单射交叉范 （injectivecrossnorm），是所有交叉 范数中最小的；γ称为投射交叉范projectivecrossnorm）， 它是所有交叉范数中最大的 （有的文献中用ε记λ，用π记 γ）。 代数张量积空间E⊙F在对应范数下的完备化，就得到 了对应的张量积空间，典型的就是单射张量积空间E⊙_λF 与投射张量积空间E⊙_γF 对于投射张量积空间，我们有下面的典型投射性质：设 B：E×F→G是有界双线性映射，则存在唯一的算子B^：E ⊙_γF→G，满足对任何x∈E，y∈F，B^（x⊙_γy）=B(x,y) 而B→B^则给出了Banach 空间B （E×F，G）与L （E⊙_ γF，G）之间的一一对应。 对于单射张量积空间，我们也有下面的典型单射性质： 设E与F是Banach空间，对任何x=∑y_i⊙z_i, 均等距对应 一个Φ （x），满足 Φ （x）f,g= ∑f(y_i)g(z_i) 由此给 出了等距嵌入E⊙_λF→Hom （E*,F），这个嵌入一般不是 到上的，注意代数张量积对应有限秩算子，其像就是有限秩 算子代数的范数闭包，称为可逼近算子（approximable operator），它是紧算子代数的子代数。 值得注意的是，λ-范数不像γ-范数那样，在右边定义 的取值范围中还包含着x=Σx_i⊙y_i这是因为在λ-范数中， x 即便有其他表达式（不是最简单的），但Σf(x_i)g(y_i)的 值却是不变的，而γ-范数中的Σ‖x_i ‖‖y_i ‖却是与表达