Kakutani's fixed point theorem is a result in functional analysis which establishes the existence of a common fixed point among a collection of maps defined on certain "well-behaved" subsets of locally convex topological vector spaces. The theorem is relevant both because of its independent theoretical significance and because of other results which stem as corollaries therefrom.
One common form of Kakutani's fixed point theorem states that, given a locally convex topological vector space , any equicontinuous group of affine maps mapping a (nonempty) compact, convex subset into itself necessarily has a common fixed point in , i.e., that under the above conditions, there exists a point satisfying for all . In addition, Markov and Kakutani proved that some of these hypotheses can be weakened without affecting the results, e.g., that the result remains true for arbitrary topological vector spaces (which may or may not be locally convex) provided that is a commuting collection (not necessarily a group, and not necessarily equicontinuous) of continuous affine maps from into .
Kakutani's fixed point theorem is an important ingredient in a number of other results, notable among which is the proof that, on every compact topological group , there exists a translation-invariant Haar measure.