======Korlátosság====== **Definíció:** Az //f// valós-valós [[függvények|függvény]] **felülről korlátos**, ha exists K in bbR amelyre teljesül, hogy forall x in D_f esetén f(x)<=K K felső korlát. A [[oktatas:matematika:halmazok:szamhalmazok#valós számok halmaza|teljességi axiómából]] következően mindig van legkisebb felső korlát, ez az értékkészlet szuprémuma. **Definíció:** Az //f// valós-valós függvény **alulról korlátos**, ha exists k in bbR, amelyre teljesül, hogy forall x in D_f esetén k<=f(x). A [[oktatas:matematika:halmazok:szamhalmazok#valós számok halmaza|teljességi axiómából]] következően mindig van legnagyobb alsó korlát, ez az értékkészlet infímuma. **Definíció:** Az f függvényt **korlátos**nak mondjuk, ha alulról is és felülről is korlátos. ===== Abszolút korlátos függvények ===== Ha az |//f//| függvény (felülről) korlátos, akkor a függvényt **abszolút korlátos** függvénynek nevezzük. **Tétel:** A korlátosság szükséges és elégséges feltétele az abszolút korlátosság. **Bizonyítás:** (Inkább csak bizonyítás vázlat) Ha //f// abszolút korlátos és felső korlátja //K// pozitív szám, akkor könnyen belátható, hogy //f//-nek alsó korlátja //-K//, felső korlátja //K// Ha //f// korlátos, //k// alsó és //K// felső korlát, akkor max(|//k//|; |//K//|) felső korlátja az |//f//| függvénynek.