「一般位相空間に関する初級の教育的な練習問題」と呼んだ人は誰?
マルコ・ペトカイゼク(MarkoPetkovšek)は、そのように一つの数が複数の方法で表せるということは位取り記数法を用いることの必然的な結果であると述べ、すべての実数を扱う任意の位取り記数法において複数の表現をもつ実数の集合はつねに稠密であることを証明した。
彼はこの証明を「一般位相空間に関する初級の教育的な練習問題」と呼んだ。
それは、位取り記数法の値の集合をStone空間と見ること、その実数表現が連続関数によって与えられることに気づくことを、その証明が含んでいるからである。