Let X1 and X2 be complex Banach spaces with dimension at least three, A1 and A2 be standard operator algebras on X1 and X2, respectively. For k ≥ 2, let （i1, i2, . . . , im） be a finite sequence such that {i1, i2, . . . , im} = {1, 2, . . . , k} and assume that at least one of the terms in （i1, . . . , im） appears exactly once. Define the generalized Jordan productT1 o T2 o··· o Tk = Ti1Ti2··· Tim ＋ Tim··· Ti2Ti1 on elements in Ai. This includes the usual Jordan product A1A2 ＋ A2A1, and the Jordan triple A1A2A3 ＋ A3A2A1. Let Φ ： A1 → A2 be a map with range containing all operators of rank at most three. It is shown that Φ satisfies that σπ（Φ（A1） o··· o Φ（Ak）） = σπ（A1 o··· o Ak） for all A1, . . . , Ak, where σπ（A） stands for the peripheral spectrum of A, if and only if Φ is a Jordan isomorphism multiplied by an m-th root of unity.
We discuss the fidelity of states in the infinite-dimensional systems and give an elementary proof of the infinite-dimensional version of Uhlmann's theorem.This theorem is used to generalize several properties of the fidelity of the finite-dimensional case to the infinite-dimensional case.These are somewhat different from those for the finite-dimensional case.
