ピアス・バーコフの予想
ピアス・バーコフの予想 (Pierce-Birkhoff conjecture) は抽象代数学において,いかなる区分連続多項式も有限個の多項式の最小値の最大値として表現できるとする予想。
1956年のガレット・バーコフとリチャード・ピアスのピアス・バーコフ環を導入する論文において,厳密でない形で最初に述べられた。
1960年代前半にf-環の研究に取り組んだメルヴィン・ヘンリクセンとジョン・イスベルによって現代的で厳密な予想が述べられた.その主張は次のようなものである.
任意の区分連続多項式 f : R n → R {\displaystyle f\colon \mathbb {R} ^{n}\rightarrow \mathbb {R} } に対して多項式の有限集合 g i j ∈ R [ x 1 , ... , x n ] {\displaystyle g_{ij}\in \mathbb {R} [x_{1},\ldots ,x_{n}]} が存在して
f = sup i inf j ( g i j ) {\displaystyle f=\sup _{i}\inf _{j}(g_{ij})} が成り立つ.
n = 1, 2 の場合については,ルイ・マエによって証明されている.