D: függvény szigorú monoton növekedése szabatosan

az értelmezési tartomány tetszőleges x1, x2 helyére teljesül, hogy ha x1<x2,

akkor f(x1)<f(x2)
D: függvény szigorú monoton csökkenése szabatosan
∀x1, x2 ∈ Df : x1<x2 ⇒ f(x1)>f(x2)
az ÉT bármely x1, x2 helyére teljesül, hogy ha x1<x2, akkor f(x1)>f(x2)
D: sorozat alulról korlátos
Az (an) sorozatot alulról korlátosnak nevezzük, ha létezik olyan K valós
szám, hogy bármely pozitív egész i-re teljesül az, hogy K-nál <= a-nak az i.
eleme [ai]
D: sorozat felülről korlátos
Az (an) sorozatot felülről korlátosnak nevezzük, ha létezik olyan K valós
szám, hogy bármely pozitív egész i-re teljesül az, hogy K-nál >= a-nak az i.
eleme [ai]
D: sorozat monoton növekvő
Az (an) sorozat monoton növő, ha bármely pozitív egész i-re és j-re igaz,
hogy ha i. hely < j. hely, akkor az i. helyen lévő érték <= a j. helyen lévő
érték.
∀ i, j ∈ Z+ : i<j ⇒ ai<=aj
D: sorozat szigorúan monoton növekvő
Az (an) sorozat szigorúan monoton növő, ha bármely pozitív egész i-re és
j-re igaz, hogy ha i. hely < j. hely, akkor az i. helyen lévő érték < a j. helyen
lévő érték.
∀ i, j ∈ Z+ : i<j ⇒ ai<aj
D: sorozat monoton csökkenő
Az (an) sorozat monoton csökkenő, ha bármely pozitív egész i-re és j-re
igaz, hogy ha i. hely < j. hely, akkor az i. helyen lévő érték >= a j. helyen
lévő érték.
∀ i, j ∈ Z+ : i<j ⇒ ai>=aj
D: sorozat szigorúan monoton csökkenő
 Az (an) sorozat szigorúan monoton csökkenő, ha bármely pozitív egész i-
re és j-re igaz, hogy ha i. hely < j. hely, akkor az i. helyen lévő érték > a j.
helyen lévő érték.
∀ i, j ∈ Z+ : i<j ⇒ ai>aj
D: A valós szám ε sugarú környezete
Egy A valós szám ε>0 sugarú környezetén értjük azokat a valós számokat,
amelyeknek az A számtól való távolsága kisebb, mint ε. Ez az A-ε -tól az
A+ε -ig terjedő nyílt intervallum.
] A-ε; A+ε [
D: sorozat határértéke kerek mondattal
Bármely pozitív ε-hoz létezik olyan n0 küszöb, amire teljesül az, hogy ha
n>n0, akkor an beleesik A ε-sugarú környezetébe.
/
Egy sorozat határértéke az az érték, amihez a sorozat tart.
D: sorozat határértéke formálisan
∀ ε>0 ∃ n0 : n<n0 ⇒ an ∈ ]A-ε; A+ε[
Bármely pozitív ε-hoz létezik olyan n0 küszöb, amire teljesül az, hogy ha
n>n0, akkor an beleesik A ε-sugarú környezetébe.
D: függvény monoton növekedése szabatosan
az értelmezési tartomány tetszőleges x1, x2 helyére teljesül, hogy ha x1<x2,
akkor f(x1)<=f(x2)
D: függvény monoton csökkenése szabatosan
az értelmezési tartomány tetszőleges x1, x2 helyére teljesül, hogy ha x1<x2,
akkor f(x1)>=f(x2)