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. Legyen olyan függvény, amely a valós számokat a intervallumba képezi injektíven (azaz az értékei különbözőek legyenek). Ilyen függvény létezik, például . Legyen továbbá . Tekintsük most a | | függvényeket. (A -ben tehát egyszer alkalmazzuk -et, majd -szer -t.) A függvény a valós számokat injektíven képezi az intervallumba. Ezek az intervallumok diszjunktak, ezért a függvények minden valós számot összesen legfeljebb egyszer vesznek fel. A függvényt ezután úgy választjuk, hogy (minden -re) legyen, azaz legyen értelmezési tartománya értékkészletének uniója és A függvényekre nincs szükség, ezeket bárminek választhatjuk.
|
|