关于Araki Elliott的定理1

<正> 在c~*-代数的定义中,要求范数是次乘的。但是这一点可以从其他条件推出来。 Araki-Elliott的定理1 设(A,||·||)是Banach空间,A并且是复数城上的*代数。