请输入您要查询的字词:

 

单词 FugledePutnamRosenblumTheorem
释义

Fuglede-Putnam-Rosenblum theorem


Let A be a C-algebra with unit e.

The Fuglede-Putnam-Rosenblum theorem makes the assertion that for a normal element aA the kernel of the commutator mapping [a,-]:AA is a -closed setPlanetmathPlanetmath.

The general formulation of the result is as follows:

Theorem. Let A be a C-algebra with unit e. Let two normal elementsa,bA be given and cA with ac=cb.Then it follows that ac=cb.

Lemma. For any xA we have that exp(x-x) is a element of A.

Proof. We have for xA thatexp(x-x)exp(x-x)=exp(x-x+x-x)=exp(0)=e.And similarly exp(x-x)exp(x-x)=e. ∎

With this we can now give a proof the Theorem.

Proof. The condition ac=cb implies by inductionMathworldPlanetmath that akc=cbk holds for each k.Expanding in power seriesMathworldPlanetmath on both sides yields exp(a)c=cexp(b).This is equivalentMathworldPlanetmathPlanetmathPlanetmathPlanetmathPlanetmath to c=exp(-a)cexp(b). Set U1:=exp(a-a),U2:=exp(b-b). From the Lemma we obtain that U1A=U2A=1.Since a commutes with a und b with b we obtain that

exp(a)cexp(-b)=exp(a)exp(-a)cexp(b)exp(b)

which equals exp(a-a)cexp(b-b)=U1cU2.

Hence

exp(a)cexp(-b)c.

Define f:A by f(λ):=exp(λa)cexp(-λb). If we substitute aλa,bλb in the last estimate we obtain

f(λ)c,λ.

But f is clearly an entire functionMathworldPlanetmath and therefore Liouville’s theorem implies that f(λ)=f(0)=c for each λ.

This yields the equality

cexp(λb)=exp(λa)c.

Comparing the terms of first order for λ small finishes the proof. ∎

随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/3 19:45:43