[R]2 gerçel sayıların iki elemanlı alt kümelerini belirtsin ve
2={0,1} olmak üzere her
χ:[R]2→2 fonksiyonuna
[R]2'nin bir
2-boyaması diyelim.
Eğer bir
χ boyaması
A⊆R kümesi üzerinde sabitse, yani
A'nın iki elemanlı alt kümeleri kümesi
[A]2⊆[R]2 üzerinde sabit değer alıyorsa
A'ya
χ-homojen diyelim.
[R]2'nin öyle bir
2-boyaması
χ bulunuz ki
R'nin sayılamaz bir
χ-homojen alt kümesi olmasın. (Sierpinski'ye ait bir gözlem bu.)
İpucu:
Şu soru.