论文标题
箭头定理与斑点引理之间的连接
The connection between Arrow theorem and Sperner lemma
论文作者
论文摘要
众所周知，Sperner引理相当于Brouwer定理。田中[12]证明了布鲁维尔定理等同于箭头定理，因此箭头定理等同于斑点引理。在本文中，我们将直接证明此结果。此外，我们描述了等于箭头定理的许多其他语句。
It is well known that Sperner lemma is equivalent to Brouwer fixed-point theorem. Tanaka [12] proved that Brouwer theorem is equivalent to Arrow theorem, hence Arrow theorem is equivalent to Sperner lemma. In this paper we will prove this result directly. Moreover, we describe a number of other statements equivalent to Arrow theorem.
