论文翻译2-国外英文学术翻译.docx

巴拿赫和C * - 代数 1943年，由IM Gelfand和M. Neumark写的题为“Hilbert空间中关于赋范环嵌入算子环问题”发表在Mat.Sbornik。从一个五十多年的历史高度来看，可以这么说这篇论文改变了近代分析的面貌。R. Kadison ([25], p. 21). 在本章中，我们将利用乘积算子赋予巴拿赫空间一种额外的结构，那就是，一个Banach空间A在这里允许两个向量的乘法。这个乘法将被要求满足以下性质： (1) a(bc) = (ab)c (2) (a+b)c = ac+bc (3) a(b+c) = ab+ac (4)λ(ab) = (λa)b = a(λb) 对所有在A中的a，b，c和标量λ成立。显然，从上面的要求可以看出，我们并没有要求新的乘法运算满足交换律，同时也没有要求乘法运算具有满足下列条件: ， 的单位元。以后我们会时不时的强调这些额外的要求（尤其是后者），但目前两者都不是必需的。术语“复代数“用以表示复数域C上满足上述（1） - （4）条件的向量空间；如果乘法运算的单位元存，我们则称此代数为“有单位的”。 巴拿赫代数就是一个复代数A，并且其上范数满足： ||ab||<||a||||b|| 注意这个范数属性确保从A ×A到A的乘法运算是连续的，那如果an → a 并且bn → b 那么anbn → ab。这是因为anbn?ab = (an?a)bn +a(bn?b)。当A是有单位的，我们假定||I||= 1；可参考练习5.2. 最后一层的结构，我们会施加一些Banach代数研究涉及的对合的概念。一个对合假设，巴拿赫代数如上的对合是指从A->A的一个映射：a→a?，且满足： (1) (a?)? = a (2) (ab)? = b?a? (3) (λa+b)? =λa?+b? 对于任意a,bA且λ是一个标量。我们就称a? 是a的伴随。 最后，C?-代数就是一个具有对合的巴拿赫代数，并且对合满足 ||a*a ||<||a||2 我们将称上式为C*-恒等式。为了去验证最后这个定义的自然性，我们可以考虑西伯尔空间H上有界线性算子A，我们已知||A*A||=||A||2(命题2.14)。这里我们有必要强调一下，具有对合，且满足，的巴拿赫代数是C*-代数，也就是是自然成立的。在练习5.1中，我们要求读者给出具体证明。 5.1 第一个例子 让我们来看一些例子，这些例子表明这些新的定义都十分的自然。 例5.1.考虑具有通常乘法的复数域C，它的绝对值为范数，它对偶为对合：。C*-恒等式为我们熟悉的，并且C是可交换的具有单位元I的 C*-代数。 例5.2.X为紧Hausdorff空间，并且考虑由z空间上在极大模范数意义下的连续、复值函数构成的Banach空间C(z) ，其中逐点定义乘法。这是个可交换的巴拿赫代数，并且常数函数1作为单位元。在C(z)上按定义对合，则C(z)即为一个C*-代数。稍后我们将看到在紧的Hausdorff空间X上在一些情况下，每个有单位的可交换的C*-代数和C(X)是等距同构的。 例5.3.现在令X=R并且考虑最大模范数意义下的，所有连续的、复值并且在点消没的函数（即，或者，等价的对于任意>0,且满足 的x都是紧的）构成的巴拿赫空间。按照之前的例子那样定义逐点乘法和对合。那么就是一个可交换但没单位的C*-代数。我们可以通过将实直线替换为任意非紧局部紧的Hausdorff空间Z来将此例推广；类似于先前一个例子的最后的讨论，对于一些局部紧凑的Hausdorff测度空间X，每一个可交换的无单位的C*-代数是C(X)空间。 例子5.4.设代表一个-有限空间,考虑巴拿赫空间L∞(z,μ),并且按最后两个例子中的方法定义乘法和对合，则L∞(z,μ)是一个可交换的且有单位的C*-代数。（严格来说，要定义有两个变量的L∞(X,μ)空间上的乘法我们选择各自的一个代表并且定义他们的逐点乘积来作为元素乘积的代表。）注意在这个例子中，不能把“∞”替换成“p < ∞”，因为在LP空间中，两个Lp函数的乘法不需要有限定的P值。 例子5.5.我们最重要的例子就是在希尔伯特空间H上的所有有界线性算子构成的巴拿赫代数，且|A||=sup{||Ah||:||h||=1}赋范了，并且有由复合函数(AB)(h) = A(B(h))定义的乘法，记范数为算子范数。有单位元I的非交换的（当H空间的维数至少2维时）巴拿赫代数。定义对合A*为有通常伴随算子，则B(H )是一个C*-代数，像在第二章中标明的那样。特别地，令H = Cn下，则B(H )即为一个n×n阶矩阵，并且我们将经常用Mn来表示。当H空间被巴拿赫空间X取代时，B(X)为一个巴拿赫代数。 虽然许多传统的巴拿赫空间事实上是自然乘法下的巴拿赫代数，但是想有意识的利用这个事