Sperner

释义 Definition

Sperner 通常指与德国数学家 Emanuel Sperner（施佩尔纳）相关的概念，最常见的是 Sperner’s lemma（施佩尔纳引理）：组合拓扑中的一个重要结果，常用于证明 Brouwer 不动点定理 等结论，也广泛出现在离散数学与算法理论中。（在其他语境里也可能作为人名出现。）

发音 Pronunciation (IPA)

/ˈspɜːrnər/

例句 Examples

Sperner’s lemma is a key tool in combinatorics.
施佩尔纳引理是组合数学中的一个关键工具。

Using Sperner’s lemma, the proof builds a bridge between labeling rules on a simplex and the existence of a fully labeled subsimplex.
借助施佩尔纳引理，这个证明在单纯形的标记规则与“存在一个完全标记的子单纯形”之间建立了联系。

词源 Etymology

该词源自德国数学家 Emanuel Sperner 的姓氏；许多以人名命名的数学术语（如某某引理、定理）都遵循这种“以贡献者命名”的传统，因此 Sperner 常作为专名出现在学术文本中。

相关词 Related Words

• Combinatorics
• Lemma
• Simplex
• Topology
• Labeling
• Brouwer
• Fixed-Point
• Triangulation

文学与作品 Literary Works

• Herbert E. Scarf, The Computation of Economic Equilibria（用到与 Sperner 引理相关的构造来讨论均衡计算）
• Jirí Matoušek, Using the Borsuk–Ulam Theorem（在组合拓扑与相关定理的讨论中涉及 Sperner 引理）
• S. Kakutani, A Generalization of Brouwer’s Fixed Point Theorem（不动点理论语境中常与 Sperner 引理并列提及，许多版本的教材/讲义会在此处引用）