マルコフ＝角谷の不動点定理
E を局所凸位相ベクトル空間とする。C を E のコンパクト凸部分集合とする。S を C の連続な自己アフィン写像 T の可換族とする([0,1] 内の t と C 内の x, y に対して T(tx +(1 – t)y) = tT(x) + (1 – t)T(y) が成り立つ)。このとき、それらの写像は C 内に共通の不動点を持つ。