C*-代数的广义迹秩

The Generalized Tracial Rank of C*-Algebra

摘要: 本文研究广义迹秩的性质，证明了广义迹秩与弱广义迹秩的等价性，给出了广义迹秩对直和、有单位元子代数的封闭性等性质，并研究了Hilbert模上紧算子理想的广义迹秩。

Abstract: In this paper, the properties of generalized tracial rank are studied. We prove equivalence of generalized tracial rank and weak generalized tracial rank, and also prove that generalized tracial rank is closed with respect to direct sum, and unital subalgebra. Finally, the generalized tracial rank of the ideal of compact operators on a Hilbert module is given.

1. 引言

2001年林华新教授因核C^*-代数分类的需要 [1] 首次提出迹秩的概念。迹秩类似于拓扑空间的维数，是非交换代数的一种拓扑秩。它是C^*-代数同构的不变量，在C^*-代数分类研究中起着重要的作用。

广义迹秩是起源于S. Eilers，T. A. Loring和G. K. Pedersen定义一维非交换CW复形，林华新等人在此基础上定义了广义迹秩 [2]，它是迹秩概念的推广，是C^*-代数分类的又一重要不变量。本文研究了广义迹秩关于直和、商、遗传子代数以及归纳极限等的性质，并证明了 $GTR\left(K\left(E\right)\right)\le 1$。

2. 预备知识

在此先列出本文用到的记号与定义。

设A是C^*-代数。

(1) 记 $\mathcal{P}\left(A\right)$ 是A中的正元集和投射集。

(2) 记 $\tilde{A}$ 是A的单位化。

(3) 若存在一列投射是A的近似单位，则称A是 ${\sigma }_p$ -unital的。

(4) 设 $0<{\sigma }_2<{\sigma }_1<1$，定义函数 $f_{{\sigma }_2}^{{\sigma }_1}$ 为

$f_{{\sigma }_2}^{{\sigma }_1}\left(t\right)=(\begin{array}{ll}\mathrm{1,}\hfill & t\ge {\sigma }_1\mathrm{<mo>\; ;\; </mo>}\hfill \\ \text{linear}\mathrm{,}\hfill & {\sigma }_2\le t\le {\sigma }_1\mathrm{<mo>\; ;\; </mo>}\hfill \\ \mathrm{0,}\hfill & 0\le t\le {\sigma }_2\mathrm{.}\hfill \end{array}$

(5) 令 $a,b\in A^{+}$，若存部分等距 $u\in A^{″}$ 满足对任意的 $c\in Her\left(a\right)$，有 $u^{\mathrm{<mo>\; *\; </mo>}}c,cu\in A$， $u{u}^{\mathrm{<mo>\; *\; </mo>}}=p_a$，其中 $p_a$ 是a的值投影，且 $u^{\mathrm{<mo>\; *\; </mo>}}cu\in Her\left(b\right)$，则记 $\left[a\right]\le \left[b\right]$。

设E是C^*-代数A上的Hilbert C^*-模。

(1) 对任意的 $x\mathrm{,}y\in E$，对任意的 $z\in E$，定义 ${\theta }_{x\mathrm{,}y}\left(z\right)=x\langle y\mathrm{,}z\rangle$。

(2) 令 $K\left(E\right)=\overline{span}\left\{{\theta }_{x\mathrm{,}y}\mathrm{<mo>\; :\; </mo>}x\mathrm{,}y\in E\right\}$，称 $K\left(E\right)$ 中的元素为E上的紧算子。

(3) 令D为E的子集，如果D中元素的有限A-线性组合构成的子模在E中稠密，则称D是E的生成集。如果E有有限或可数生成集，则称E是可数生成的。

(4) 记 $H_A=\left\{\left(x_k\right)\in {\displaystyle {\prod }_1^{\infty }}A\mathrm{<mo>\; :\; </mo>}{\displaystyle \sum }{x}_k^{\mathrm{<mo>\; *\; </mo>}}{x}_k在A中范数下收敛\right\}$，则 $H_A$ 是Hilbert A-模。

3. 主要结果

定义3.1. A是unital的C^*-代数，若对于任意 $\epsilon >0$， $0<{\sigma }_4<{\sigma }_3<{\sigma }_2<{\sigma }_1<1$，任意有限集 $\mathcal{F}\subset A$ 包含非零正元a，任意 $n\in {\mathbb{N}}^{+}$，存在C^*-子代数 $B\in {\mathcal{C}}_0$ 以及投射 $p\in A$， $p=I_B$ 满足：

(1) 任给 $x\in \mathcal{F}$， $\Vert px-xp\Vert \le \epsilon$ ；

(2) 任给 $x\in \mathcal{F}$， $pxp{\in }_{\epsilon }B$ ；

(3) $n\left[1-p\right]\le \left[p\right]$， $n\left[f_{{\sigma }_2}^{{\sigma }_1}\left(\left(1-p\right)a\left(1-p\right)\right)\right]\le \left[f_{{\sigma }_4}^{{\sigma }_3}\left(pap\right)\right]$。

则称 $GTR\left(A\right)\le 1$。

当A是non-unital的C^*-代数时，若 $GTR\left(\tilde{A}\right)\le 1$，则称 $GTR\left(A\right)\le 1$。

注3.2. 若X是有限维紧的Hausdorff空间则 $C\left(X\right)$ 亦为有限维空间，所以 $C\left(X\right)\in {\mathcal{C}}_0$，因此 $GTR\left(C\left(X\right)\right)\le 1$。

定理3.3. 设 $A_1,A_2$ 是unital C^*-代数，若 $GTR\left(A_i\right)\le 1$ $\left(i=1,2\right)$，则 $GTR\left(A_1\oplus A_2\right)\le 1$。

证明. 任意 $\epsilon >0$，， $n\in N^{+}$ 以及任意有限集 $\mathcal{F}=\left\{\left(a_1\mathrm{,}{b}_1\right)\mathrm{,}\cdots ,\left(a_t\mathrm{,}{b}_t\right),\left(a\mathrm{,}b\right)\right\}\subset A_1\oplus A_2$，其中，所以 $a\mathrm{,}b\ge 0$。令 ${\mathcal{G}}_1=\left\{a_1\mathrm{,}\cdots ,a_t\mathrm{,}a\right\}$， ${\mathcal{G}}_2=\left\{b_1\mathrm{,}\cdots ,b_t\mathrm{,}b\right\}$，则由 $GTR\left(A_i\right)\le 1$ $\left(i=1,2\right)$ 知对上述 $\epsilon$， ${\sigma }_i$ 分别存在 $B_1,B_2\in C_0$，，， $p_i=I_{B_i}$ 满足：

(1) 任给 $x\in {\mathcal{G}}_i$，；

(2) 任给 $x\in {\mathcal{G}}_i$， $p_{i}x{p}_i{\in }_{\epsilon }{B}_i$ ；

(3) $n\left[1-p_1\right]\le \left[p_1\right]$， $n\left[f_{{\sigma }_2}^{{\sigma }_1}\left(\left(1-p_1\right)a\left(1-p_1\right)\right)\right]\le \left[f_{{\sigma }_4}^{{\sigma }_3}\left(p_{1}a{p}_1\right)\right]$ ；

(4) $n\left[1-p_2\right]\le \left[p_2\right]$， $n\left[f_{{\sigma }_2}^{{\sigma }_1}\left(\left(1-p_2\right)b\left(1-p_2\right)\right)\right]\le \left[f_{{\sigma }_4}^{{\sigma }_3}\left(p_{2}b{p}_2\right)\right]$。

令 $B=B_1\oplus B_2$，下证 $B\in {\mathcal{C}}_0$。

因为存在有限维代数 $F_1$， $F_2$ 及同态 ${\varphi }_0$， ${\varphi }_1\mathrm{<mo>\; :\; </mo>}{F}_1\to F_2$ 使得 $B_1=\left\{\left(f,a\right)\in C\left(\left[0,1\right],F_2\right)\oplus F_1:f(0)={\varphi }_0\left(a\right),f\left(1\right)={\varphi }_1\left(a\right)\right\}$ 及有限维代数 $G_1$， $G_2$ 及同态 ${\phi }_0$， ${\phi }_1\mathrm{<mo>\; :\; </mo>}{G}_1\to G_2$ 使得 $B_2=\left\{\left(g,b\right)\in C\left(\left[0,1\right],G_2\right)\oplus G_1:g\left(0\right)={\phi }_0\left(b\right),g\left(1\right)={\phi }_1\left(b\right)\right\}$。

令 $E_1=F_1\oplus G_1$， $E_2=F_2\oplus G_2$ 则 $E_1$，是有限维代数， ${\psi }_0={\varphi }_0\oplus {\phi }_0$， ${\psi }_1={\varphi }_1\oplus {\phi }_1$，是 ${\psi }_0$， ${\psi }_1$ 从 $E_1$ 到 $E_2$ 的同态且 $C=\left\{\left(h,e\right)\in C\left(\left[0,1\right],F_2\oplus G_2\right)\oplus \left(F_1\oplus G_1\right):h\left(0\right)={\psi }_0\left(e\right),h\left(1\right)={\psi }_1\right\}$，则，且 $p=\left(p_1,p_2\right)=I_B$，所以

(1) 任给 $x\in \mathcal{F}$， $\Vert px-xp\Vert =\Vert p_1{a}_i-a_i{p}_1\Vert +\Vert p_2{b}_i-b_i{p}_2\Vert <2\epsilon$ ；

(2) 因为存在 $c_i\mathrm{,}c\in B_1$， $d_i\mathrm{,}d\in B_2$ $\left(i=\mathrm{1,}\cdots ,t\right)$ 使得

$\Vert p_1{a}_i{p}_1-c_i\Vert <\epsilon ,\Vert p_2{b}_i{p}_2-d_i\Vert <\epsilon ,\Vert p_{1}a{p}_1-c\Vert <\epsilon ,\Vert p_{2}b{p}_2-d\Vert <\epsilon$

所以

$\Vert p\left(a_i,b_i\right)p-\left(c_i,d_i\right)\Vert =\Vert p_1{a}_i{p}_1-c_i\Vert +\Vert p_2{b}_i{p}_2-d_i\Vert <2\epsilon \mathrm{<mi>\; </mi>}\left(i=1,\cdots ,t\right),$

$\Vert p\left(a,b\right)p-\left(c,d\right)\Vert =\Vert p_{1}a{p}_1-c\Vert +\Vert p_{2}b{p}_2-d\Vert <2\epsilon .$

所以 $pxp{\in }_{2\epsilon }B$ (任给 $x\in \mathcal{F}$ )。

(3) $n\left[\left(I_{A_1},I_{A_2}\right)-\left(p_1,p_2\right)\right]=n\left(\left[I_{A_1}-p_1\right]+\left[I_{A_2}-p_2\right]\right)\le \left[p_1\right]+\left[p_2\right]=\left[p_1+p_2\right]$

$\begin{array}{l}n\left[f_{{\sigma }_2}^{{\sigma }_1}\left(\left(1-p\right)\left(a,b\right)\left(1-p\right)\right)\right]\\ =n\left(\left[f_{{\sigma }_2}^{{\sigma }_1}\left(\left(1_{A_1}-p_1\right)a\left(1_{A_1}-p_1\right)\right)\right]+\left[f_{{\sigma }_2}^{{\sigma }_1}\left(\left(1_{A_2}-p_2\right)b\left(1_{A_2}-p_2\right)\right)\right]\right)\\ \le \left[f_{{\sigma }_4}^{{\sigma }_3}\left(p_{1}a{p}_1\right)\right]+\left[f_{{\sigma }_4}^{{\sigma }_3}\left(p_{2}b{p}_2\right)\right]\\ =\left[f_{{\sigma }_4}^{{\sigma }_3}\left(p\left(a,b\right)p\right)\right]\end{array}$

综上得 $GTR\left(A_1\oplus A_2\right)\le 1$。

□

注3.4. 设 $\left\{A_1\mathrm{,}\cdots ,A_n\right\}$ 是任意有限个C^*-代数，若对于任意i， $GTR\left(A_i\right)\le 1$，则 $GTR\left({\oplus }_{i=1}^n{A}_i\right)\le 1$。特殊的，当A是unital C^*-代数时，因为 $\tilde{A}\cong A\oplus \mathcal{C}$，所以 $GTR\left(A\right)\le 1$ 当且仅当 $GTR\left(\tilde{A}\right)\le 1$。

定理3.5. 令A是unital C^*-代数，若任意 $\epsilon >0$，任意有限集 $\mathcal{F}\subset A$，存在unital C^*-子代数 $B\subset A$ 满足 $GTR\left(B\right)\le 1$ 且 $\mathcal{F}{\subset }_{\epsilon }B$， $I_B=I_A$，则 $GTR\left(A\right)\le 1$。

特殊的，对 $A={\lim }_{\to }{A}_n$，其中，则 $GTR\left(A\right)\le 1$。

证明. 任意 $\epsilon >0$， $0<{\sigma }_4<{\sigma }_3<{\sigma }_2<{\sigma }_1<1$， $n\in N^{+}$，任意有限集 $\mathcal{F}=\left\{a_1\mathrm{,}\cdots ,a_t\mathrm{,}a\right\}$，其中 $a\ge 0$。令 ${\sigma }_3<d_4<d_3<d_2<d_1<{\sigma }_2$，则由 [3] 引理2.8知存在 ${\delta }_1=\delta \left(d_1\mathrm{,}{d}_2\right)$， ${\delta }_2=\delta \left({\sigma }_3,{\sigma }_4\right)$ 满足引理2.8不妨设 $\epsilon <\min \left\{{\delta }_1,{\delta }_2\right\}$，对于 $\eta =\epsilon /3$ 由条件知存在unital C^*-子代数 $B\subset A$， $GTR\left(B\right)\le 1$ 且 $\mathcal{F}{\subset }_{\eta }B$，所以对于任意i，存在 $b_i\in B$ 使 $\Vert a_i-b_i\Vert <\eta$，存在 $b\in B_{+}$，使 $\Vert a-b\Vert <\eta$。令 $\mathcal{G}=\left\{b_1,\cdots ,b_t,b\right\}$，则由 $GTR\left(B\right)\le 1$ 知对上述 $\epsilon$， $d_i$ 以及 $\mathcal{G}$ 存在 $C\in C_0$， $C\subset B$， $p\in \mathcal{P}\left(B\right)$， $p=I_C$ 满足：

(1) 任给 $x\in \mathcal{G}$， $\Vert px-xp\Vert <\epsilon /3$ ；

(2) 任给 $x\in \mathcal{G}$，；

(3) $n\left[1-p\right]\le \left[p\right]$， $n\left[f_{d_2}^{d_1}\left(\left(1-p\right)b\left(1-p\right)\right)\right]\le \left[f_{d_4}^{d_3}\left(pbp\right)\right]$，

所以

(1') 任意 $0\le i\le t$，

$\Vert p{a}_i-a_{i}p\Vert \le \Vert p{a}_i-p{b}_i\Vert +\Vert p{b}_i-b_{i}p\Vert +\Vert b_{i}p-a_{i}p\Vert \le \eta +\eta +\eta =\epsilon \mathrm{.}$

$\Vert pa-ap\Vert \le \Vert pa-pb\Vert +\Vert pb-bp\Vert +\Vert bp-ap\Vert \le \eta +\eta +\eta =\epsilon$

(2') 因为对于任意的i，存在 $c_i\in C$ 使得 $\Vert p{b}_{i}p-c_i\Vert \le \eta$，则

$\Vert p{a}_{i}p-c_i\Vert \le \Vert p{a}_{i}p-p{b}_{i}p\Vert +\Vert p{b}_{i}p-c_i\Vert \le \eta +\eta =2\eta \le \epsilon \mathrm{.}$

同理因为存在 $c\in C$，满足 $\Vert pbp-c\Vert \le \eta$，所以

$\Vert pap-c\Vert \le \Vert pap-pbp\Vert +\Vert pbp-c\Vert \le \eta +\eta =2\eta \le \epsilon \mathrm{.}$

因此任给 $x\in \mathcal{F}$， $pxp{\in }_{\epsilon }C$。

因为 $\Vert a-b\Vert \le \eta$，所以 $\Vert pap-pbp\Vert \le \epsilon$，，且因为 $\epsilon <\min \left\{{\delta }_1,{\delta }_2\right\}$，

所以由 [3] 引理2.8知

$n\left[f_{{\sigma }_2}^{{\sigma }_1}\left(\left(1-p\right)a\left(1-p\right)\right)\right]\le n\left[f_{d_2}^{d_1}\left(\left(1-p\right)a\left(1-p\right)\right)\right]\le \left[f_{d_4}^{d_3}\left(pap\right)\right]\le \left[f_{{\sigma }_4}^{{\sigma }_3}\left(pap\right)\right]\mathrm{.}$

综上得 $GTR\left(A\right)\le 1$。

□

定义3.6. 设A是unital C^*-代数，若对于任意 $\epsilon >0$， $0<{\sigma }_4<{\sigma }_3<{\sigma }_2<{\sigma }_1<1$，任意有限集 $\mathcal{F}\subset A$ 包含非零正元a，存在C^*-子代数 $B\in {\mathcal{C}}_0$ 以及投射 $p\in A$， $p=I_B$ 满足：

(1) 任给 $x\in \mathcal{F}$， $\Vert px-xp\Vert \le \epsilon$ ；

(2) 任给 $x\in \mathcal{F}$，；

(3) $\left[f_{{\sigma }_2}^{{\sigma }_1}\left(\left(1-p\right)a\left(1-p\right)\right)\right]\le \mathrm{<mo\; stretchy="false">\; [\; </mo>}{f}_{{\sigma }_4}^{{\sigma }_3}\left(pap\right)$，

则称 $GT{R}_w\left(A\right)\le 1$。

当A是non-unital的C^*-代数时，若 $GT{R}_w\left(\tilde{A}\right)\le 1$ 则称 $GT{R}_w\left(A\right)\le 1$。

引理3.7. 设A为C^*-代数，若 $GT{R}_w\left(A\right)\le 1$，则对任意有 $GT{R}_w\left(pAp\right)\le 1$。

证明. 任意， $0<{\sigma }_4<{\sigma }_3<d_4<d_3<d_2<d_1<{\sigma }_2<{\sigma }_1<1$，令 ${\delta }_1=\delta \left({\sigma }_3\mathrm{,}{\sigma }_4\right)$，， ${\delta }_3=\delta \left(d_1\mathrm{,}{d}_2\right)$，令 $\delta =min\left\{{\delta }_1\mathrm{,}{\delta }_2\mathrm{,}{\delta }_3\right\}$，。

对于任意有限集 $\mathcal{F}\subset pAp\mathrm{,\; <mi>\; </mi>}b\in {\left(pAp\right)}_{+}$，且 $b\in \mathcal{F}$，令 $\mathcal{G}=\mathcal{F}\cup \left\{p\right\}$，对于上述 $\eta$， $d_i$ 以及 $\mathcal{G}$ 由 $GT{R}_w\left(A\right)\le 1$ 知存在C^*-子代数 $C\subset A$， $C\in C_0$， $q\in \mathcal{P}\left(A\right)$， $q=I_C$ 满足：

(1) 任给 $x\in \mathcal{G}$， $\Vert qx-xq\Vert <\eta$ ；

(2) 任给 $x\in \mathcal{G}$， $qxq{\in }_{\eta }C$ ；

(3) $\left[f_{d_2}^{d_1}\left(\left(1-q\right)b\left(1-q\right)\right)\right]\le \left[f_{d_4}^{d_3}\left(qbq\right)\right]$，

由此得

$\begin{array}{c}\Vert pqp-{\left(pqp\right)}^2\Vert =\Vert pqp-pqpq+pqpq-pqpqp\Vert \\ \le \Vert pqp-pqpq\Vert +\Vert pqpq-pqpqp\Vert \\ \le \Vert pq\Vert \Vert pq-qp\Vert +\Vert pqp\Vert \Vert pq-qp\Vert \\ \le \Vert qp-pq\Vert +\Vert pq-qp\Vert \\ =2\Vert pq-qp\Vert <2\eta \end{array}$

同理。

由 [4] 引理2.5.5知存在投射 $p_1\in C^{\mathrm{<mo>\; *\; </mo>}}\left(pqp\right)$， ${p^{\prime }}_2\in C^{\mathrm{<mo>\; *\; </mo>}}\left(qpq\right)$ 满足 $\Vert pqp-p_1\Vert \le 4\eta$， $\Vert qpq-{p^{\prime }}_2\Vert <4\eta$。由(2)知存在 $c\in C_{sa}$， $\Vert {p^{\prime }}_2-c\Vert \le 5\eta$，所以由 [4] 引理2.5.4知存在 $p_2\in C^{\mathrm{<mo>\; *\; </mo>}}\left(c\right)\subset C$，使 $\Vert p_2-{p^{\prime }}_2\Vert \le 10\eta$。则由 [4] 引理2.5.1知存在 $u\in U(A)$ 满足 $p_1=u{p}_2{u}^{\mathrm{<mo>\; *\; </mo>}}$ 且 $\Vert u-1\Vert <\sqrt{2}\Vert p_1-p_1\Vert 20\eta$。

令 $B=p_1\left(uC{u}^{\mathrm{<mo>\; *\; </mo>}}\right)p_1$，则由 [3] 知 $B\in {\mathcal{C}}_0$，且 $I_B=p_1$ 满足：

(1') 任给 $x\in \mathcal{F}$ )， $\Vert p_{1}x-x{p}_1\Vert =\epsilon$ ；

(2') 任给 $x\in \mathcal{F}$ )， $p_{1}x{p}_1{\in }_{\epsilon }B$ ；

(3') $\left[f_{{\sigma }_2}^{{\sigma }_1}\left(\left(p-p_1\right)b\left(p-p_1\right)\right)\right]\le \left[f_{{\sigma }_4}^{{\sigma }_3}\left(p_{1}b{p}_1\right)\right]$，

所以。

□

定理3.8. 设A是unital C^*-代数，则当且仅当 $GT{R}_w\left(A\right)\le 1$。

证明. 设 $GT{R}_w\left(A\right)\le 1$，则对于任意 $\epsilon >0$， $0<{\sigma }_4<{\sigma }_3<{\sigma }_2<{\sigma }_1<1$， $n\in N^{+}$，以及任意有限集 $\mathcal{F}=\left\{b_1\mathrm{,}\cdots ,b_t\mathrm{,}b\right\}\subset A$，其中 $b\ge 0$，则由 $GT{R}_w$ 定义知当 $n=1$ 时结论成立。下对n运用数学归纳法，假设 $n=j$ 时结论成立，下证 $n=j+1$ 时结论成立。

取 $d_i$ 满足 ${\sigma }_3<d_6<d_5<d_4<d_3<d_2<d_1<{\sigma }_2$，由则由 [3] 引理2.9知存在 ${\delta }_1=\delta \left({\sigma }_3,{\sigma }_4\right)$， ${\delta }_2=\delta \left(d_3,d_4,2\right)$， ${\delta }_3=\delta \left(d_5,d_6,2\right)$ 满足引理2.9，令 $\delta =min\left\{{\delta }_1,{\delta }_2,{\delta }_3,\epsilon \right\}$，则由归纳假设知存在C^*-子代数 $B_1\in {\mathcal{C}}_0$， $p_1\in \mathcal{P}\left(A\right)$， $p=I_{B_1}$ 满足：

(1) 任给 $x\in \mathcal{F}$， $\Vert p_{1}x-x{p}_1\Vert \le \delta /4$ ；

(2) 任给 $x\in \mathcal{F}$，；

(3) $j\left[1-p_1\right]\le \left[p_1\right]$， $j\left[f_{d_4}^{d_3}\left(\left(1-p_1\right)b\left(1-p_1\right)\right)\right]\le \left[f_{d_6}^{d_5}\left(p_{1}b{p}_1\right)\right]$。

由引理3.7只对于C^*-代数 $\left(1-p_1\right)A\left(1-p_1\right)$，有限集 $\mathcal{G}=\left(1-p_1\right)\mathcal{F}\left(1-p_1\right)$ 存在C^*-子代数 $B_2\in {\mathcal{C}}_0$， $p_2\in \left(1-p_1\right)A\left(1-p_1\right)$， $p_2=I_{B_2}$ 满足：

(1') 任给 $x\in \mathcal{G}$， $\Vert p_{2}x-x{p}_2\Vert \le \delta /4$ ；

(2') 任给 $x\in \mathcal{G}$， $p_{2}x{p}_2{\in }_{\delta /4}{B}_2$ ；

(3') $\left[f_{{\sigma }_2}^{{\sigma }_1}\left(\left(1-p_1-p_2\right)b\left(1-p_1-p_2\right)\right)\right]\le \left[f_{d_2}^{d_1}\left(p_{2}b{p}_2\right)\right]$。

令 $B=B_1+B_2$， $p=p_1+p_2$，则由定理1的证明知 $B\in {\mathcal{C}}_0$，且 $I_B=p$，经过简单的计算可知

(a) 任给 $x\in \mathcal{F}$， $\Vert px-xp\Vert <\epsilon$ ；

(b) 任给 $x\in \mathcal{F}$， $pxp{\in }_{\epsilon }B$ ；

(c)。

由(3')知 $\left[1-p\right]\le \left[p_2\right]$，又因为，所以 $Her\left(1-p\right)\subset Her\left(1-p_1\right)$，则由 [5] 定理3.3知 $\left[1-p\right]\le \left[1-p_1\right]$，所以 $\left(j+1\right)\left[1-p\right]=j\left[1-p\right]+\left[1-p\right]\le j\left[1-p_1\right]+\left[p_2\right]\le \left[p_1\right]+\left[p_2\right]=\left[p\right]$ 综上得 $GTR\left(A\right)\le 1$。

□

附注3.9. 由引理3.7和定理3.8知若 $GTR\left(A\right)\le 1$，B是A的单位遗传子代数，则 $GTR\left(B\right)\le 1$。特殊的，对于A的单位理想I有 $GTR\left(I\right)\le 1$。

定理3.10. 设A是unital C^*-代数，则 $GTR\left(A\right)\le 1$ 当且仅当任意 $n\in N^{+}$， $GTR\left(M_n\left(A\right)\right)\le 1$。

证明. 若 $GTR\left(M_n\left(A\right)\right)\le 1$，由于 $A⊳M_n\left(A\right)$，所以由注3.9知 $GTR\left(A\right)\le 1$。

若 $GTR\left(A\right)\le 1$，则任意 $\epsilon >0$， $0<{\sigma }_4<{\sigma }_3<{\sigma }_2<{\sigma }_1<1$，以及任意有限集 $\mathcal{F}\subset M_n\left(A\right)$ 且存在 $b\in M_n{\left(A\right)}_{+}$， $b\in \mathcal{F}$。设 ${\left\{e_{ij}\right\}}_{1\le i\mathrm{,}j\le n}$ 是 $M_n\left(A\right)$ 的标准正交基，不妨认为 $I_A=e_{11}$，取 $d_i$ 满足 ${\sigma }_3<d_4<d_3<d_2<d_1<{\sigma }_2$，设 ${\mathcal{F}}_1=\mathcal{F}\cup \left\{f_{{\sigma }_2}^{{\sigma }_1}\left(b\right),f_{{\sigma }_4}^{{\sigma }_3}\left(b\right)\mathrm{,}{f}_{d_2}^{d_1}\left(b\right)\right\}$ 以及任意取定 $\delta >0$，令 $\mathcal{G}=\left\{a_{ij}\mathrm{<mo>\; :\; </mo>}\left(a_{ij}\right)\in {\mathcal{F}}_1\right\}$，则存在C^*-代数 $C_0\subset A$，，， $p=I_{C_0}$，满足：

(1) 任给 $x\in \mathcal{G}$， $\Vert px-xp\Vert <\delta /4n^2$ ；

(2) 任给 $x\in \mathcal{G}$， $pxp{\in }_{\delta /4n^2}{C}_0$ ；

(3) $n\left[1-p\right]\le \left[p\right]$。

由(3)知 $n\left[1-p\right]\le \left[p\right]\le \left[I_A\right]$。

令 $P_1=diag\left(p\mathrm{,}\cdots \mathrm{,}p\right)$， $C_1=M_n\left(C_0\right)$，则 $P=I_{C_1}$，且

(1') 任给 $x\in {\mathcal{F}}_1$， $\Vert P_{1}x-x{P}_1\Vert <\delta /4$ ；

(2') 任给 $x\in {\mathcal{F}}_1$， $P_{1}x{P}_1{\in }_{\delta /4}{C}_1$ ；

(3') $\left[1-P_1\right]\le \left[P_1\right]$， $\left[1-P_1\right]\le \left[e_{11}\right]$。

令 $B=\left(1-P_1\right)M_n\left(A\right)\left(1-P_1\right)$，则由(3')知存在部分等距元 $v\in M_n\left(A\right)$，满足 $v{v}^{\mathrm{<mo>\; *\; </mo>}}=P_1$， $v^{\mathrm{<mo>\; *\; </mo>}}v\le e_{11}$，又因为我们将 $I_A$ 看做 $e_{11}$，所以 $v^{\mathrm{<mo>\; *\; </mo>}}Bv$ 是A的单位遗传子代数。令 ${\mathcal{G}}_1=\left\{\left(1-P_1\right)x\left(1-P_1\right)\mathrm{<mo>\; :\; </mo>}x\in \mathcal{F}\right\}$，则由引理3.7知存在C^*-子代数 $C_2\subset B$， $C_2\in {\mathcal{C}}_0$ 以及投射 $P_2\le 1-P$ 且 $P_2=I_{C_2}$ 满足：

(1') 任给 $x\in {\mathcal{G}}_1$， $\Vert P_{2}x-x{P}_2\Vert <1/4\delta$ ；

(2') 任给 $x\in {\mathcal{G}}_1$， $P_{2}x{P}_2{\in }_{1/4}C$ ；

(3') 。

令 $C=C_1+C_2$，易证 $C\in {\mathcal{C}}_0$， $P\mathrm{<mo>\; =\; </mo>}{P}_1+P_2=I_C$，当 $\delta$ 足够小时，对上述 $\epsilon$，有

(a) 任给 $x\in \mathcal{F}$， $\Vert Px-xP\Vert <\epsilon$ ；

(b) 任给 $x\in \mathcal{F}$， $PxP{\in }_{\epsilon }C$ ；

(c) $\left[f_{{\sigma }_2}^{{\sigma }_1}\left(\left(1-P\right)b\left(1-P\right)\right)\right]\le \left[f_{{\sigma }_2}^{{\sigma }_1}\left(PbP\right)\right]$。

综上可得 $GTR\left(M_n\left(A\right)\right)\le 1$。

□

推论3.11. 设A是unital C^*代数， $GTR\left(A\right)\le 1$，则对于任意的AF-代数B，有 $GTR\left(A\otimes B\right)\le 1$。

证明. 由定理3.10知对于任意n有 $GTR\left(M_n\left(A\right)\right)\le 1$，又因为存在正整数列 $\left\{n_k\right\}$ 使 $A\otimes B$ 是 $\left\{M_{n_k}\left(A\right)\right\}$ 的归纳极限，所以由定理3.5知 $GTR\left(A\otimes B\right)\le 1$。

□

引理3.12. 设A是unital的C^*-代数，D是在A中稠密的自伴子代数，若对于任意的 $\epsilon >0$，任意的 $0<{\sigma }_4<{\sigma }_3<{\sigma }_2<{\sigma }_1<1$，任意有限子集 $\mathcal{F}\subset D$， $b\in D^{+}$，且 $b\in \mathcal{F}$，存在非零投射及A的C^*-子代数 $B\in {\mathcal{C}}_0$，且 $I_B=p$，满足以下条件：

(1) 任给 $x\in \mathcal{F}$， $\Vert px-xp\Vert <\epsilon$ ；

(2) 任给 $x\in \mathcal{F}$， $pxp{\in }_{\epsilon }B$ ；

(3) $\left[f_{{\sigma }_2}^{{\sigma }_1}\left(\left(1-p\right)b\left(1-p\right)\right)\right]\le \left[f_{{\sigma }_4}^{{\sigma }_3}\left(pbp\right)\right]$。

则 $GTR\left(A\right)\le 1$。

证明. 首先证明 $\overline{D^{+}}=A^{+}$。因为D是A的稠密自伴子代数，所以对于任给 $a\in A^{+},\sigma >0$ 存在 $d\in D$ 使得 $\Vert d-a\Vert <\sigma$。由 $C\left(\sigma \left(a\right)\right)$ 上的函数演算知 $\Vert a^{\mathrm{<mo>\; *\; </mo>}}a-d^{\mathrm{<mo>\; *\; </mo>}}d\Vert <2\sigma$，即 $\Vert a^2-d^{*}d\Vert <2\sigma$，再用一次 $C\left(\sigma \left(a\right)\right)$ 上的函数演算可知 $\Vert a-\left|d\right|\Vert <\sigma$，且 $\left|d\right|\in D^{+}$，所以由 $\sigma$ 的任意性知 $\overline{D^{+}}=A^{+}$。

任给 $\delta >0,0<d_4<d_3<d_2<d_1<1$，任意的有限集 $\mathcal{F}$， $a\in A^{+}$，且 $a\in \mathcal{F}$。取 ${\sigma }_i$ 使得 $0<d_4<d_3<{\sigma }_4<{\sigma }_3<{\sigma }_2<{\sigma }_1<d_2<d_1<1$，由 [3] 引理2.8知，存在 ${\delta }_1=\delta \left(d_3\mathrm{,}{d}_4\right)$， ${\delta }_2=\delta \left({\sigma }_1,{\sigma }_2\right)>0$ 满足引理2.8的条件，令 $\epsilon =min\left\{\delta \mathrm{,}{\delta }_1\mathrm{,}{\delta }_2\right\}$，不妨设 $\mathcal{F}=\left\{a_1\mathrm{,}{a}_2\mathrm{,}\cdots ,a_m\mathrm{,}a\right\}$ 且 $\Vert a\Vert \le 1$，由于 $\mathcal{F}\subseteq A=\bar{D}$，所以对于上述 $\epsilon >0$，分别存在 $b_i\in D$，使得

$\Vert a_i-b_i\Vert <\epsilon /3$

又因为，所以存在 $b\in D^{+}$，使得 $\Vert a-b\Vert <\epsilon /3$ 且 $\Vert b\Vert \le 1$。令 $\mathcal{G}=\left\{b_1\mathrm{,}{b}_2\mathrm{,}\cdots ,b_m\mathrm{,}b\right\}\subseteq D$，由于D满足题设条件，所以对于 $\eta =\epsilon /3$ 及上述 ${\sigma }_i$ 存在A的C^*-子代数 $B\in {\mathcal{C}}_0$ 以及非零投射 $p=I_B$ 满足下列条件：

(1) 任给 $x\in \mathcal{G}$， $\Vert px-xp\Vert <\epsilon /3$ ；

(2) 任给 $x\in \mathcal{G}$， $pxp{\in }_{\epsilon /3}B$ ；

(3) $\left[f_{{\sigma }_2}^{{\sigma }_1}\left(\left(1-p\right)b\left(1-p\right)\right)\right]\le \left[f_{{\sigma }_4}^{{\sigma }_3}\left(pbp\right)\right]$。

所以对于任意的i，

(1') $\Vert p{a}_i-a_{i}p\Vert \le \Vert p{a}_i-p{b}_i\Vert +\Vert p{b}_i-b_{i}p\Vert +\Vert b_{i}p-a_{i}p\Vert <\epsilon <\delta$.

(2') 因为对于任意的i，存在 $c_i,c\in B$，使 $\Vert p{b}_{i}p-c_i\Vert l<\epsilon /3$， $\Vert pbp-c\Vert <\epsilon /3$，所以

$\Vert p{a}_{i}p-c_i\Vert <\Vert p{a}_{i}p-p{b}_{i}p\Vert +\Vert p{b}_{i}p-c_i\Vert <2\epsilon /3<\epsilon <\delta$

同理 $\Vert pap-c\Vert <\epsilon <\delta$。故 $pyp{\in }_{\delta }B$，任意。

(3') 因为 $\Vert a-b\Vert <\epsilon /3$，所以 $\Vert \left(1-p\right)a\left(1-p\right)-\left(1-p\right)b\left(1-p\right)\Vert <{\delta }_2$， $\Vert pap-pbp\Vert <{\delta }_1$。

因此由 [4] 引理2.8知

$\left[f_{d_2}^{d_1}\left(\left(1-p\right)a\left(1-p\right)\right)\right]\le \left[f_{{\sigma }_2}^{{\sigma }_1}\left(\left(1-p\right)b\left(1-p\right)\right)\right]\mathrm{,}$

$\left[f_{{\sigma }_4}^{{\sigma }_3}\left(pbp\right)\right]\le \left[f_{d_4}^{d_3}\left(pap\right)\right]\mathrm{,}$

即

$\left[f_{d_2}^{d_1}\left(\left(1-p\right)a\left(1-p\right)\right)\right]\le \left[f_{d_4}^{d_3}\left(pap\right)\right]\mathrm{.}$

因此 $GTR\left(A\right)\le 1$。

引理3.13. 设A为unital C^*-代数， $\xi =\left\{x_k\right\}$， $\eta =\left\{y_k\right\}\in H_A$。设 $\delta >0$，若存在 $n\in \mathbb{N}$ 使得 ${\Vert {\displaystyle {\sum }_{k=n}^{\infty }}{x}_k^{*}{x}_k\Vert }^{1/2}\le \delta$， ${\Vert {\displaystyle {\sum }_{k=n}^{\infty }}{y}_k^{*}{y}_k\Vert }^{1/2}\le \delta$，则

$\Vert {\theta }_{\xi \mathrm{,}\eta }-{\theta }_{{\xi }^{\prime }\mathrm{,}{\eta }^{\prime }}\Vert \le \delta \left(\Vert \eta \Vert +\Vert \xi \Vert \right)\mathrm{.}$

其中 ${\xi }^{\prime }=\left(x_1\mathrm{,}\cdots ,x_{n-1}\mathrm{,0},\cdots \right)$， ${\eta }^{\prime }=\left(y_1\mathrm{,}\cdots ,y_{n-1}\mathrm{,0},\cdots \right)$。

证明. 因为

$\begin{array}{c}\Vert {\theta }_{\xi \mathrm{,}\eta }-{\theta }_{{\xi }^{\prime }\mathrm{,}{\eta }^{\prime }}\Vert \le \Vert {\theta }_{\xi \mathrm{,}\eta }-{\theta }_{{\xi }^{\prime }\mathrm{,}\eta }\Vert +\Vert {\theta }_{{\xi }^{\prime }\mathrm{,}\eta }-{\theta }_{{\xi }^{\prime }\mathrm{,}{\eta }^{\prime }}\Vert \\ \le \Vert \xi -{\xi }^{\prime }\Vert \Vert \eta \Vert +\Vert {\xi }^{\prime }\Vert \Vert \eta -{\eta }^{\prime }\Vert \\ =\delta \Vert \eta \Vert +\delta \Vert {\xi }^{\prime }\Vert \\ \le \delta \left(\Vert \eta \Vert +\Vert \xi \Vert \right)\end{array}$

□

引理3.14. 设A为unital C^*-代数， $GTR\left(A\right)\le 1$，则 。

证明. 任意取定m，定义 $H_A$ 上的投射

$p_m\mathrm{<mo>\; :\; </mo>}{H}_A\to H_A$

$\left\{a_k\right\}\mapsto \left(a_1\mathrm{,}\cdots \mathrm{,}{a}_m\mathrm{,0}\cdots \right)$

则 $p_m{H}_A\cong A^m$，所以 $K\left(A^m\right)\cong K\left(p_m{H}_A\right)\cong p_{m}K\left(H_A\right)p_m\subset K\left(H_A\right)$，因此可以将 $K\left(A^m\right)$ 看作是 $K\left(H_A\right)$ 的C^*-子代数。

下面证明 $GTR\left(\widetilde{K\left(H_A\right)}\right)\le 1$。设I为 $H_A$ 自身上的恒等算子，则 $\widetilde{K\left(H_A\right)}\cong K\left(H_A\right)+ℂI$，且 $F\left(H_A\right)+ℂI$ 为 $K\left(H_A\right)+ℂI$ 的稠密自伴子代数。

对于任意 $\epsilon >0$， $0<{\sigma }_4<{\sigma }_3<{\sigma }_2<{\sigma }_1<1$，取满足 $0<{\sigma }_4<{\sigma }_3<d_4<d_3<d_2<d_1<{\sigma }_2<{\sigma }_1<1$，由 [3] 引理2.8知存在 ${\delta }_1=\delta \left({\sigma }_3\mathrm{,}{\sigma }_4\right)$， ${\delta }_2=\delta \left(d_1\mathrm{,}{d}_2\right)$ 满足引理2.8的条件，不妨设 $\epsilon \le {\delta }_i$。

任意有限集 $\mathcal{F}=\left\{f_1\mathrm{,}\cdots ,f_t\mathrm{,}f\right\}\subset F\left(H_A\right)+ℂI$。其中 $f\ge 0$， $f_i={\displaystyle {\sum }_{j=1}^{n_i}}\left({\theta }_{x_{ij},y_{ij}}+{\lambda }_{ij}I\right)$， $f={\displaystyle {\sum }_{j=1}^n}\left({\theta }_{x_j,y_j}+{\lambda }_{j}I\right)$， $x_{ij},y_{ij},x_j,y_j\in H_A$， ${\lambda }_{ij},{\lambda }_j\in ℂ$， $n,n_i\in \mathbb{N}$， $i=\mathrm{1,2,}\cdots ,t$。

不妨设 $\Vert f\Vert \le 1$， $x_{ij}=\left(x_{ij}^k\right)$， $y_{ij}=\left(y_{ij}^k\right)$， $x_j=\left(a_j^k\right)$， $y_j=\left(b_j^k\right)$，则 ${\displaystyle \sum }{\left(x_{ij}^k\right)}^{\mathrm{<mo>\; *\; </mo>}}\left(x_{ij}^k\right)$， ${\displaystyle \sum }{\left(y_{ij}^k\right)}^{\mathrm{<mo>\; *\; </mo>}}\left(y_{ij}^k\right)$， ${\displaystyle \sum }{\left(a_j^k\right)}^{\mathrm{<mo>\; *\; </mo>}}\left(a_j^k\right)$， ${\displaystyle \sum }{\left(b_j^k\right)}^{\mathrm{<mo>\; *\; </mo>}}\left(b_j^k\right)$ 在范数拓扑下收敛。

令 $l_i=max\left\{\Vert x_{ij}\Vert ,\Vert y_{ij}\Vert |1\le j\le k_i\right\}$， $k=max\left\{\Vert x_j\Vert \mathrm{,}\Vert y_j\Vert |1\le j\le n\right\}$， $l=max\left\{l_i|1\le i\le t\right\}$。

且对于任意 $\delta >0$，对每个 $i=1,\cdots ,t;j=1,\cdots ,n_i$ 分别存在 $N_{ij}$， $M_{ij}$， $K_j$ 使得

当时有，

$\Vert {\displaystyle \underset{k}{\sum }}{\left(x_{ij}^k\right)}^{*}{x}_{ij}^k\Vert <\delta ,\Vert {\displaystyle \underset{k}{\sum }}{\left(y_{ij}^k\right)}^{*}{y}_{ij}^k\Vert <\delta ,\Vert {\displaystyle \underset{k}{\sum }}{\left(a_j^k\right)}^{*}{a}_j^k\Vert <\delta ,\Vert {\displaystyle \underset{k}{\sum }}{\left(b_j^k\right)}^{*}{b}_j^k\Vert <\delta ,$

令 $N=\max \left\{N_{ij},M_{ij},K_j|1\le j\le n_i,1\le i\le t\right\}$

设

$g_i={\displaystyle \underset{j=1}{\overset{n_i}{\sum }}}{\theta }_{\left(x_{ij}^1,\cdots ,x_{ij}^N\right),\left(y_{ij}^1,\cdots ,y_{ij}^N\right)}+{\lambda }_{ij}I,$

$g={\displaystyle \underset{j=1}{\overset{n}{\sum }}}{\theta }_{\left(a_j^1,\cdots ,a_j^N\right),\left(b_j^1,\cdots ,b_j^N\right)}+{\lambda }_{j}I,$

则由引理3.13知 $\Vert f-g\Vert \le 2kn\delta$， $\Vert f_i-g_i\Vert \le 2l{n}_i\delta$。

不妨设 $g\ge 0$，若不然因为 $\Vert f-g\Vert \le 2kn\delta$，则由 $C\left(\sigma \left(f\right)\right)$ 上的函数演算知 $\Vert f^2-g^{\mathrm{<mo>\; *\; </mo>}}g\Vert \le 4kn\delta$，由此得 ，且因为 $K\left(A^N\right)+ℂI$ 是 $K\left(H_A\right)+ℂI$ 的C^*-子代数知 $\left|g\right|\in K\left(A^N\right)+ℂI$，因此用 $\left|g\right|$ 代替g即可。令 ${\mathcal{F}}_0=\left\{g_1\mathrm{,}\cdots ,g_t\mathrm{,}g\right\}$，则 ${\mathcal{F}}_0$ 为 $K\left(A^N\right)$ 的有限子集。

因为 $K\left(A^N\right)\cong M_N\left(A\right)$ 有单位元，所以 $K\left(A^N\right)+ℂI\cong K\left(A^N\right)\oplus ℂ$，因此 $GTR\left(K\left(A^N\right)+ℂI\right)=GTR\left(K\left(A^N\right)\oplus ℂI\right)\le 1$，所以对 $\delta =min\left\{\epsilon /\left(4l{n}_i+1\right)\mathrm{,}\epsilon /\left(4kn+1\right)|1\le i\le t\right\}$ 以及上述 $d_i$， ${\mathcal{F}}_0$，存在 ， $B\subseteq K\left(A^N\right)+ℂI$， $p\in \mathcal{P}\left(K\left(A^N\right)+ℂI\right)$，使 $p=I_B$。

满足：

(1) 任给 $g_i\in {\mathcal{F}}_0$， $\Vert p{g}_i-g_{i}p\Vert <\delta$ ；

(2) 任给 $g_i\in {\mathcal{F}}_0$， $p{g}_{i}p{\in }_{\delta }B$ ；

(3) $\left[f_{d_2}^{d_1}\left(\left(1-p\right)g\left(1-p\right)\right)\right]\le \left[f_{d_4}^{d_3}\left(pgp\right)\right]$。

则对任意 $f_i\in \mathcal{F}$，任给 $\epsilon \mathrm{<mo>\; >\; </mo>0}$ 有

(1')

$\begin{array}{c}\Vert p{f}_i-f_{i}p\Vert \le \Vert p{f}_i-p{g}_i\Vert +\Vert p{g}_i-g_{i}p\Vert +\Vert g_{i}p-f_{i}p\Vert \\ \le \Vert f_i-g_i\Vert +\delta +\Vert f_i-g_i\Vert \\ \le 4l{n}_i\delta +\delta <\epsilon \end{array}$

$\begin{array}{c}\Vert pf-fp\Vert \le \Vert pf-pg\Vert +\Vert pg-gp\Vert +\Vert gp-fp\Vert \\ \le 4kn\delta +\delta <\epsilon \end{array}$

(2') 因为 $p{g}_{i}p{\in }_{\delta }B$，所以存在 $c_i\in B$ 使 $\Vert p{g}_{i}p-c_i\Vert <\delta$， $i=\mathrm{1,2,}\cdots ,t$。则

$\begin{array}{c}\Vert p{f}_{i}p-c_i\Vert \le \Vert p{f}_{i}p-p{g}_{i}p\Vert +\Vert p{g}_{i}p-c_i\Vert \\ \le \Vert f_i-g_i\Vert +\delta <2l_i{n}_i\delta +\delta \\ <\left(4l{n}_i+1\right)\delta <\epsilon \end{array}$

同理因为 所以存在 $c\in B$ 使 $\Vert pgp-c\Vert <\delta$，则

$\begin{array}{c}\Vert pfp-c\Vert \le \Vert pfp-pgp\Vert +\Vert pgp-c\Vert \\ \le \Vert f-g\Vert +\delta <2kn\delta +\delta \\ <\left(4kn+1\right)\delta <\epsilon \end{array}$

所以 $p{f}_{i}p,pfp{\in }_{\epsilon }B$， $i=\mathrm{1,2,}\cdots ,t$。

(3') 因为，所以有

$\Vert \left(1-p\right)g\left(1-p\right)-\left(1-p\right)f\left(1-p\right)\Vert <{\delta }_1$

$\Vert pgp-pfp\Vert <{\delta }_2$

所以由 [3] 引理2.8知

$\left[f_{{\sigma }_2}^{{\sigma }_1}\left(\left(1-p\right)f\left(1-p\right)\right)\right]\le \left[f_{d_2}^{d_1}\left(\left(1-p\right)g\left(1-p\right)\right)\right];$

$\left[f_{d_4}^{d_3}\left(pgp\right)\right]\le \left[f_{{\sigma }_4}^{{\sigma }_3}\left(pfp\right)\right]\mathrm{,}$

所以

$\left[f_{{\sigma }_2}^{{\sigma }_1}\left(\left(1-p\right)f\left(1-p\right)\right)\right]\le \left[f_{{\sigma }_4}^{{\sigma }_3}\left(pfp\right)\right]\mathrm{.}$

由上述证明知 $F\left(H_A\right)+ℂI$， $K\left(H_A\right)+ℂI$ 满足引理3.12的条件，所以可得 $GTR\left(\widetilde{K\left(H_A\right)}\right)\le 1$。

□

引理3.15. 设A是unital C^*-代数， $TR\left(A\right)=k$，B是A的 ${\sigma }_p$ -unital遗传C^*-子代数则有 $GTR\left(B\right)\le 1$。

证明. 设 ${\left\{p_n\right\}}_{n=1}^{\infty }$ 是B的一列近似单位，其中 $p_n\in \mathcal{P}\left(B\right)$。

对任意的 $\epsilon >0,\mathrm{<mi>\; </mi>0}<{\sigma }_4<{\sigma }_3<{\sigma }_2<{\sigma }_1<1$，有限集 $\mathcal{F}\subseteq \tilde{B}$，不妨设 $\mathcal{F}=\left\{b_1+{\lambda }_1\mathrm{,}\cdots ,b_n+{\lambda }_n,b+\lambda \right\}\subseteq B+ℂ$，其中 $b+\lambda \ge 0$。

选取 $d_i$ 满足 ${\sigma }_3<d_4<d_3<d_2<d_1<{\sigma }_2$，则由 [3] 引理2.8知存在 ${\delta }_1=\delta \left({\sigma }_3\mathrm{,}{\sigma }_4\right)$， ${\delta }_2=\delta \left(d_1\mathrm{,}{d}_2\right)$ 满足引理2.8的条件，不妨设 $\epsilon <{\delta }_i$ $\left(i=\mathrm{1,2}\right)$。

由于 ${\left\{p_n\right\}}_{n=1}^{\infty }$ 是B的近似单位，所以对于 存在N使

$\Vert b_i-p_N{b}_i{p}_N\Vert <\eta ,\Vert b-p_{N}b{p}_N\Vert <\eta$

由B是A的遗传子代数易证 $p_{N}B{p}_N$ 亦为A的unital遗传子代数。所以 $GTR\left(p_{N}B{p}_N\right)\le 1$。

对于 $\mathcal{G}=\left\{p_N{b}_1{p}_N+{\lambda }_1\mathrm{,}\cdots ,p_N{b}_n{p}_N+{\lambda }_n,p_{N}b{p}_N+\lambda \right\}\subseteq p_{N}B{p}_N+ℂ$。由于 $GTR\left(p_{N}B{p}_N+ℂ\right)=GTR\left(p_{N}B{p}_N\right)\le 1$，所以对上述 $\eta$， $d_i$， $\mathcal{G}$ 存在 $C\in {\mathcal{C}}_0$， $C\subset p_{N}B{p}_N+\mathcal{C}$， $q\in \mathcal{P}\left(p_{N}B{p}_N+\mathcal{C}\right)$， $q=I_C$。

满足：

(1) 任给 $x\in \mathcal{G}$， $\Vert qx-xq\Vert <\eta$ ；

(2) 任给 $x\in \mathcal{G}$， $qxq{\in }_{\eta }C$ ；

(3)。

则

(1')

$\begin{array}{l}\Vert q\left(b_i+{\lambda }_i\right)-\left(b_i+{\lambda }_i\right)q\Vert \\ \le \Vert q\left(b_i+{\lambda }_i\right)-q\left(p_N{b}_i{p}_N+{\lambda }_i\right)\Vert +\Vert q\left(p_N{b}_i{p}_N+{\lambda }_i\right)-\left(p_N{b}_i{p}_N+{\lambda }_i\right)q\Vert \\ +\Vert \left(p_N{b}_i{p}_N+{\lambda }_i\right)q-\left(b_i+{\lambda }_i\right)q\Vert \\ \le \Vert q\Vert \Vert \left(b_i+{\lambda }_i\right)-\left(p_N{b}_i{p}_N+{\lambda }_i\right)\Vert +\eta +\Vert q\Vert \Vert \left(p_N{b}_i{p}_N+{\lambda }_i\right)-\left(b_i+{\lambda }_i\right)\Vert \\ <\eta +\eta +\eta =3\eta <\epsilon \end{array}$

(2') 由(2)知对任给i，存在 $c_i,c\in C$ 使

$\Vert q\left(p_N{b}_i{p}_N+{\lambda }_i\right)q-c_i\Vert <\epsilon \mathrm{,}\Vert q\left(p_{N}b{p}_N+\lambda \right)q-c\Vert <\epsilon$

则

$\begin{array}{l}\Vert q\left(b_i+{\lambda }_i\right)q-c_i\Vert \\ <\Vert q\left(b_i+{\lambda }_i\right)q-q\left(p_N{b}_i{p}_N+{\lambda }_i\right)q\Vert +\Vert q\left(p_N{b}_i{p}_N+{\lambda }_i\right)q-c_i\Vert \\ \le \eta +\eta =2\eta <\epsilon \end{array}$

$\begin{array}{l}\Vert q\left(b+\lambda \right)q-c\Vert \\ <\Vert q\left(b+\lambda \right)q-q\left(p_{N}b{p}_N+\lambda \right)q\Vert +\Vert q\left(p_{N}b{p}_N+\lambda \right)q-c\Vert \\ \le \eta +\eta =2\eta <\epsilon \end{array}$

(3') 由于 $\Vert p_{N}b{p}_N-b\Vert <\eta$，所以 $\Vert \left(p_{N}b{p}_N+\lambda \right)-\left(b+\lambda \right)\Vert$，所以

$\Vert \left(1-q\right)\left(p_{N}b{p}_N+\lambda \right)\left(1-q\right)-\left(1-q\right)\left(b+\lambda \right)\left(1-q\right)\Vert <\eta <{\delta }_1;$

$\Vert q\left(p_{N}b{p}_N+\lambda \right)q-q\left(b+\lambda \right)q\Vert <\eta <{\delta }_2,$

所以由 [3] 引理2.8知

$\begin{array}{l}\left[f_{{\sigma }_2}^{{\sigma }_1}\left(\left(1-q\right)\left(b+\lambda \right)\left(1-q\right)\right)\right]\\ \le \left[f_{d_2}^{d_1}\left(\left(1-q\right)\left(p_{N}b{p}_N+\lambda \right)\left(1-q\right)\right)\right]\\ \le \left[f_{d_4}^{d_3}\left(q\left(p_{N}b{p}_N+\lambda \right)q\right)\right]\\ \le \left[f_{{\sigma }_4}^{{\sigma }_3}\left(q\left(b+\lambda \right)q\right)\right]\end{array}$

所以 $TR\left(B+ℂ\right)\le k$，即 $TR\left(B\right)\le k$。

□

定理3.16 设A为C^*-代数， $GTR\left(A\right)\le 1$，E是HAM。若 $K\left(E\right)$ 是 ${\sigma }_p$ -unital的紧算子理想，则 $GTR\left(K\left(E\right)\right)\le 1$。

证明. 因为 $GTR\left(A\right)=GTR\left(\tilde{A}\right)\le 1$，且 $K_A\left(E\right)=K_{\tilde{A}}\left(E\right)$，所以不妨设A是unital的。

因为 $K\left(E\right)$ 是 ${\sigma }_p$ -unital的紧算子理想，所以E是可数生成的HAM。则由 [6] 定理15.4.6知 $E\oplus H_A\cong H_A$，所以 $K\left(E\right)$ 是 $K\left(H_A\right)$ 的遗传子代数。若

(1) $K\left(E\right)$ 是unital紧算子理想，则由引理3.9以及定理3.14知 $GTR\left(K\left(E\right)\right)\le 1$。

(2) $K\left(E\right)$ 是 ${\sigma }_p$ -unital的紧算子理想，则由引理 $GTR\left(K\left(E\right)\right)\le 1$。