(iv) implies (iii):Pk=∑n=1kxnφn is afinite sum of bounded rank-one operators.
(iv) implies (v): continuity gives φn(yr)→0 whenever yr→0, so any scalar limit β must vanish.
(iv) implies (vi): fix n. Continuity gives φn(yr)→φn(x), while the assumed uniform coordinate convergence gives φn(yr)→βn. Uniqueness of the scalar limit yields βn=φn(x) for every n.