Jump to content

Markov–Kakutani fixed-point theorem

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Mathsci (talk | contribs) at 10:03, 21 June 2012 (Statement). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

In mathematics, the Markov–Kakutani fixed-point theorem, named after Andrey Markov and Shizuo Kakutani, states that a commuting family of continuous affine self-mappings of a compact convex subset in a locally convex topological vector space has a common fixed point.

Statement

Let E be a locally convex topological vector space. Let C be a compact convex subset of E. Let S be a commuting family of self-mappings T of C which are continuous and affine, i.e. T(tx+(1–t)y) = tT(x)+(1–t)T(y) for t in [0,1] and x, y in C. Then the mappings have a common fixed point in C.

Proof for a single affine self-mapping

Let T be a continuous affine self-mapping of C.

For x in C define other elements of C by

Since C is compact, there is a convergent subsequence in C:

To prove that y is a fixed point, it suffices to show that f(Ty) = f(y) for every f in the dual of E. Since C is compact, |f| is bounded on C by a positive constant M. On the other hand

Taking N = Ni and passing to the limit as i goes to infinity, it follows that

Hence

References

  • Markov, A. (1936), "Quelques théorèmes sur les ensembles abéliens", Dokl. Akad. Nauk. SSSR, 10: 311–314
  • Kakutani, S. (1938), "Two fixed point theorems concerning bicompact convex sets", Proc. Imp. Akad. Tokyo, 14: 242–245
  • Reed, M.; Simon, B. (1980), Functional Analysis, Methods of Mathematical Physics, vol. 1 (2nd revised ed.), Academic Press, p. 152, ISBN 0-12-585050-6