A szöveg csak Firefox böngészőben jelenik meg helyesen. Használja a fenti PDF file-ra mutató link-et a letöltésre. A feltétel szemléletesen azt jelenti, hogy minden 100 hosszúságú nyílt intervallumot ugyanabba a 100 hosszúságú zárt intervallumba képez le. Ez nyilván teljesül az függvényre, hisz ekkor tetszőleges halmaz képe megegyezik a halmazzal. Belátjuk, hogy más megoldása nincs a feladatnak. Ha , akkor van olyan , amelyre . A bizonyítás most azon múlik, hogy különböző számok ''szétválaszthatók'' 100 hosszúságú nyílt intervallummal, tehát van olyan 100 hosszúságú nyílt intervallum, amely -et tartalmazza, de -et nem ‐ sőt az intervallum végpontjaitól is különbözik. Az ábra az , illetve az eseteket mutatja.
Ekkor a feltétel nem teljesül az ilyen intervallumokra, tehát ha van olyan , amelyre , akkor nem lehet megoldás.
|