ニキエルの推測

数学において、一般位相幾何学におけるニキエル予想は、コンパクトな全秩序の連続像の予想的特徴付けである。この予想は、 1986年にヤツェク・ニキエル [pl]によって初めて定式化された。^[1]この予想は、 1999年にメアリー・エレン・ルーディン によって証明された。 ^[2]

この予想は、コンパクトな位相空間が全順序の連続像となるためには、それが単調正規空間である必要がある、ということを述べています。