F is strategy-proof and surjective.

是防止策略操纵的且F是满的。

We also prove that every 2-local isomety of UHF algebra is linear by studying the structure of the surjective isometry on UHF algebra.

对于UHF代数上满等距的结构，还证明了UHF代数上的2局部（满线性）等距是线性的。