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. Ellenpéldával megmutatjuk, hogy a feladat állítása nem igaz. Legyen tetszőleges racionális, pedig tetszőleges irracionális szám, például , , és legyen tetszőleges nem állandó, periódusú függvény, például . Legyen végül a függvény értéke mindazokon az helyeken, amelyekhez találhatók olyan , egészek, melyekre , és legyen értéke a többi -re. Mivel az alakú számok halmaza megszámlálható (éppen az , számok segítségével), és a valós számok halmaza nem megszámlálható, van olyan , amelyik nem állítható elő alakban, itt tehát , és mivel például , a függvény nem állandó. Megmutatjuk, hogy az így definiált függvény és periódussal is periodikus. Ha ugyanis előállítható alakban: , akkor és , tehát . Ha pedig nem állítható elő alakban, akkor sem , sem nem állítható elő ilyen alakban, és így . Tehát sem , sem nem állandó, periodikus a periódussal, periodikus periódussal, és mivel az periódussal is periodikus, is periodikus, mégpedig periódussal. Fehér József (Miskolc, Földes F. Gimn., IV. o. t.)
Megjegyzés. A téves kitűzés oka, hogy tévedésből elmaradt az a feltevés, hogy is és is folytonosak. Megmutatjuk, hogy ha ezt feltesszük, akkor már igaz, a feladat állítása. Az áttekinthetőség kedvéért lépésekre bontjuk a bizonyítást, minden lépés előtt külön megfogalmazva az éppen bizonyítandó állítást. (1) Ha folytonos valós függvény, , és az számok mind periódusai -nek, akkor állandó. Valóban, legyen , . Ekkor | | azaz folytonossága miatt de -nel együtt is periódus, így minden -re és így . tehát bármely két helyen ugyanazt az értéket veszi fel, azaz állandó. (2) Legyen folytonos, nem állandó függvény és tegyük fel, hogy periodikus. Ekkor a pozitív periódusok között van legkisebb, és ezt -vel jelölve minden periódus alakú, ahol Tegyük fel, hogy pozitív periódusai között nincs legkisebb. Ekkor felvehető pozitív periódusok egy szigorúan csökkenő sorozata. Az is pozitív periódusok egy sorozata lesz, és . Így az előző (1) állításra hivatkozva állandó, ami ellentmondás; van tehát, egy legkisebb pozitív periódus. Tegyük fel, hogy volna -nek olyan periódusa, amely nem alakú. Így van olyan egész szám, hogy . Ám pozitív periódusa -nek és miatt , ami lehetetlen választása folytán. (3) Ha folytonos és periodikus és szerint, ahol racionális, irracionális, akkor állandó. Ha nem volna állandó, akkor (2) szerint minden periódusa, így is, is alakú lenne, és ebből racionális, ami feltevésünk szerint nem lehet. (4) ha folytonos és periodikus, akkor korlátos. Valóban, ha jelöli egy periódusát, akkor minden értékét felveszi már a intervallumon, ahol Weierstrass tétele szerint korlátos. (Lásd IV. osztályos tankönyv, 89. oldal.) (5) Legyen végül folytonos és periodikus az racionális szám szerint, folytonos és periodikus a irracionális szám szerint, és tegyük fel, hogy periodikus, periódusa . Ekkor , azaz , vagyis minden -re fennáll. Ám a bal oldal , jobb pedig szerint periodikus, így mindkét oldal és szerint is periodikus. (3)-ra hivatkozva és állandó. Mondjuk . Itt helyébe rendre , , -t írva, összeadással , és ez tetszőleges -re fennáll. Mivel (4) szerint korlátos, ez csak úgy állhat fenn, ha , mert különben a jobb oldal növekedésével nem korlátos. Ezzel beláttuk, hogy periodikus szerint, és pontosan ugyanígy következik, hogy is periodikus szerint. Ha most már racionális, akkor (3)-ra hivatkozva állandó, ha pedig irracionális, akkor megint (3) alapján állandó, és ezzel állításunkat beláttuk.
|