Weak-star fixed point theorem for an adjoint operator

ID: weak-star-fixed-point-theorem-for-an-adjoint-operator

If for a bounded operator on a separable Banach space, and is a nonempty weak-star closed convex subset of the dual unit ball with , then has a fixed point in . The Cesàro averages of the orbit remain in , and minus the identity sends those averages to vectors of norm at most . Weak-star compactness supplies a cluster point, and the adjoint action is weak-star continuous. The corresponding assertion with only weak closedness is false for the right shift on the probability simplex in , the dual of .

New to topics? Read the docs here!