|
|
$∀(ε in bRp, ∃(δ in bRp, ∀(x in dom(f), abs(x-x_0) lt δ ⇒ abs(ap(f,x) - ap(f,x_0)) lt ε)))$.
$∀(ε in bRp, ∃(δ in bRp, ∀(x in dom(f), 0 ≤ x_0-x lt δ ⇒ abs(ap(f,x) - ap(f,x_0)) lt ε)))$.
$∀(ε in bRp, ∃(δ in bRp, ∀(x in dom(f), 0 ≤ x-x_0 lt δ ⇒ abs(ap(f,x) - ap(f,x_0)) lt ε)))$.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
$∀(ε in bRp, ∃(δ in bRp, ∀(x in dom(f), abs(x-x_0) lt δ ⇒ abs(ap(f,x) - ap(f,x_0))=0 lt ε)))$.
$∀(ε in bRp, ∃(δ in bRp, ∀(x in dom(f), 0 lt abs(x-x_0) lt δ ⇒ abs(ap(f,x) - ap(f,x_0)) lt ε)))$.
|
$lim(x_0,below,lambda(x,ap(f,x)))$ existiert auch nicht. Das ist der gravierendste Fall von
|
|
|
$lim(x_0,below,lambda(x,ap(f,x)))$ existiert, aber es gilt: $lim(x_0,below,lambda(x,ap(f,x))) neq ap(f,x_0)$.
Auch in diesem Fall ist $f$
|
|
|
$lim(x_0,below,lambda(x,ap(f,x)))$ existiert, und es gilt: $lim(x_0,below,lambda(x,ap(f,x))) = ap(f,x_0)$.
Nur in diesem Fall ist $f$
|
|
|
$lim(x_0,below,lambda(x,ap(f,x)))$ does not exist. This is the most serious case of
|
|
|
$lim(x_0,below,lambda(x,ap(f,x)))$ exists, but we have: $lim(x_0,below,lambda(x,ap(f,x))) neq ap(f,x_0)$.
Also in this case, $f$ is
|
|
|
$lim(x_0,below,lambda(x,ap(f,x)))$ exists, and we have: $lim(x_0,below,lambda(x,ap(f,x))) = ap(f,x_0)$. Only in this case,
$f$ is
|
|
|
$lim(x_0,below,lambda(x,ap(f,x)))$ no existe. Este es el caso más serio de
|
|
|
$lim(x_0,below,lambda(x,ap(f,x)))$ existe, pero tenemos: $lim(x_0,below,lambda(x,ap(f,x))) neq ap(f,x_0)$.
También en este caso, $f$ es
|
|
|
$lim(x_0,below,lambda(x,ap(f,x)))$ existe, y tenemos: $lim(x_0,below,lambda(x,ap(f,x))) = ap(f,x_0)$. Solo en este caso,
$f$ es
|
|
|
$lim(x_0,below,lambda(x,ap(f,x)))$ neexistuje. Toto je nejzávaznější případ
|
|
|
$lim(x_0,below,lambda(x,ap(f,x)))$ exisuje, ale vychází: $lim(x_0,below,lambda(x,ap(f,x))) neq ap(f,x_0)$.
I v tomto případě je $f$
|
|
|
$lim(x_0,below,lambda(x,ap(f,x)))$ existuje a platí: $lim(x_0,below,lambda(x,ap(f,x))) = ap(f,x_0)$. Pouze v tomto případě
je $f$
|
|
|
$lim(x_0,below,lambda(x,ap(f,x)))$ oder $lim(x_0,above,lambda(x,ap(f,x)))$ existieren nicht. Dann ist auch $lim(x_0,both_sides,lambda(x,ap(f,x)))$
nicht definiert. Das ist wieder der gravierendste Fall von
|
|
|
$lim(x_0,below,lambda(x,ap(f,x)))$ und $lim(x_0,above,lambda(x,ap(f,x)))$ existieren beide, aber es gilt:
$lim(x_0,below,lambda(x,ap(f,x))) neq lim(x_0,above,lambda(x,ap(f,x)))$ (und daher existiert $lim(x_0,both_sides,lambda(x,ap(f,x)))$ nicht).
Auch in diesem Fall ist $f$
|
|
|
$lim(x_0,below,lambda(x,ap(f,x)))$ und $lim(x_0,above,lambda(x,ap(f,x)))$ existieren beide, und es gilt:
$lim(x_0,below,lambda(x,ap(f,x))) = lim(x_0,above,lambda(x,ap(f,x))) neq ap(f,x_0)$. In diesem Fall ist $f$ weder
|
|
|
$lim(x_0,below,lambda(x,ap(f,x)))$ und $lim(x_0,above,lambda(x,ap(f,x)))$ existieren beide, und es gilt:
$lim(x_0,below,lambda(x,ap(f,x))) = lim(x_0,above,lambda(x,ap(f,x))) = ap(f,x_0)$. Nur in diesem Fall
ist $f$
|
|
|
$lim(x_0,below,lambda(x,ap(f,x)))$ or $lim(x_0,above,lambda(x,ap(f,x)))$ do not exist. Then also $lim(x_0,both_sides,lambda(x,ap(f,x)))$
is not defined. This is again the most serious case of
|
|
|
$lim(x_0,below,lambda(x,ap(f,x)))$ and $lim(x_0,above,lambda(x,ap(f,x)))$ both exist, but we have:
$lim(x_0,below,lambda(x,ap(f,x))) neq lim(x_0,above,lambda(x,ap(f,x)))$ (and thus $lim(x_0,both_sides,lambda(x,ap(f,x)))$ does not exist).
Also in this case, $f$ is
|
|
|
$lim(x_0,below,lambda(x,ap(f,x)))$ and $lim(x_0,above,lambda(x,ap(f,x)))$ both exist and we have:
$lim(x_0,below,lambda(x,ap(f,x))) = lim(x_0,above,lambda(x,ap(f,x))) neq ap(f,x_0)$. In this case, $f$ is neither
|
|
|
$lim(x_0,below,lambda(x,ap(f,x)))$ and $lim(x_0,above,lambda(x,ap(f,x)))$ both exist and we have:
$lim(x_0,below,lambda(x,ap(f,x))) = lim(x_0,above,lambda(x,ap(f,x))) = ap(f,x_0)$. Only in this case
$f$ is
|
|
|
$lim(x_0,below,lambda(x,ap(f,x)))$ o $lim(x_0,above,lambda(x,ap(f,x)))$ no existe. Entonces también $lim(x_0,both_sides,lambda(x,ap(f,x)))$
no está definido. Este es de nuevo el caso más serio de
|
|
|
$lim(x_0,below,lambda(x,ap(f,x)))$ y $lim(x_0,above,lambda(x,ap(f,x)))$ existen ambos, pero tenemos:
$lim(x_0,below,lambda(x,ap(f,x))) neq lim(x_0,above,lambda(x,ap(f,x)))$ (y $lim(x_0,both_sides,lambda(x,ap(f,x)))$ no existe).
También en este caso, $f$ es
|
|
|
$lim(x_0,below,lambda(x,ap(f,x)))$ y $lim(x_0,above,lambda(x,ap(f,x)))$ existen ambos y tenemos:
$lim(x_0,below,lambda(x,ap(f,x))) = lim(x_0,above,lambda(x,ap(f,x))) neq ap(f,x_0)$. En este caso, $f$ no es ni
|
|
|
$lim(x_0,below,lambda(x,ap(f,x)))$ y $lim(x_0,above,lambda(x,ap(f,x)))$ existen ambos y tenemos:
$lim(x_0,below,lambda(x,ap(f,x))) = lim(x_0,above,lambda(x,ap(f,x))) = ap(f,x_0)$. Solo en este caso
$f$ es
|
|
|
$lim(x_0,below,lambda(x,ap(f,x)))$ nebo $lim(x_0,above,lambda(x,ap(f,x)))$ neexistují. Pak ani není definována $lim(x_0,both_sides,lambda(x,ap(f,x)))$.
Toto je opět nejzávažnější případ
|
|
|
$lim(x_0,below,lambda(x,ap(f,x)))$ a $lim(x_0,above,lambda(x,ap(f,x)))$ existují, ale platí:
$lim(x_0,below,lambda(x,ap(f,x))) neq lim(x_0,above,lambda(x,ap(f,x)))$ (a tedy $lim(x_0,both_sides,lambda(x,ap(f,x)))$ neexistuje).
I v tomto případě je $f$
|
|
|
$lim(x_0,below,lambda(x,ap(f,x)))$ a $lim(x_0,above,lambda(x,ap(f,x)))$ existují a platí:
$lim(x_0,below,lambda(x,ap(f,x))) = lim(x_0,above,lambda(x,ap(f,x))) neq ap(f,x_0)$. V tomto případě není $f$ ani
|
|
|
$lim(x_0,below,lambda(x,ap(f,x)))$ a $lim(x_0,above,lambda(x,ap(f,x)))$ existují a platí:
$lim(x_0,below,lambda(x,ap(f,x))) = lim(x_0,above,lambda(x,ap(f,x))) = ap(f,x_0)$. Pouze v tomto případě
je $f$
|
|
|
$lim(x_0,below,lambda(x,ap(f,x)))$ nem létezik. Ez a
|
|
|
$lim(x_0,below,lambda(x,ap(f,x)))$ létezik, de $lim(x_0,below,lambda(x,ap(f,x))) neq ap(f,x_0)$.
Az $f$ függvénynek
|
|
|
$lim(x_0,below,lambda(x,ap(f,x)))$ létezik, és $lim(x_0,below,lambda(x,ap(f,x))) = ap(f,x_0)$. Csak ebben az esetben igaz, hogy az
$f$ függvény
|
|
|
$lim(x_0,below,lambda(x,ap(f,x)))$ vagy $lim(x_0,above,lambda(x,ap(f,x)))$ nem létezik.
Ekkor $lim(x_0,both_sides,lambda(x,ap(f,x)))$ sem definiált. Ez újra csak a
|
|
|
$lim(x_0,below,lambda(x,ap(f,x)))$ és $lim(x_0,above,lambda(x,ap(f,x)))$ is létezik, de
$lim(x_0,below,lambda(x,ap(f,x))) neq lim(x_0,above,lambda(x,ap(f,x)))$
(és persze ekkor $lim(x_0,both_sides,lambda(x,ap(f,x)))$ nem létezik).
Ebben az esetben is az $x_0$ az $f$ függvény egy
|
|
|
$lim(x_0,below,lambda(x,ap(f,x)))$ és $lim(x_0,above,lambda(x,ap(f,x)))$ egyaránt létezik, de
$lim(x_0,below,lambda(x,ap(f,x))) = lim(x_0,above,lambda(x,ap(f,x))) neq ap(f,x_0)$. Ebben az esetben
az $f$ függvény sem
|
|
|
$lim(x_0,below,lambda(x,ap(f,x)))$ és $lim(x_0,above,lambda(x,ap(f,x)))$ egyaránt létezik, és
$lim(x_0,below,lambda(x,ap(f,x))) = lim(x_0,above,lambda(x,ap(f,x))) = ap(f,x_0)$. Csak ebben az esetben
igaz, hogy az $f$
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
$∀(n in bN, ∃(sqt(x,n) in (a..b), abs(ap(f,sqt(x,n))) gt n))$.
$∀(n in bN, ∃(sqt(x,n) in (a..b), η≤ap(f,sqt(x,n)) lt (η+1/n)))$.
$lim(∞ ,both_sides,lambda(n,ap(f,sqt(y,n))))≤η≤lim(∞ ,both_sides,lambda(n,ap(f,sqt(z,n))))$.
$lim(∞ ,both_sides,lambda(n,ap(f,sqt(y,n))))=ap(f,ξ)=lim(∞ ,both_sides,lambda(n,ap(f,sqt(z,n))))$.
| $lim(a,above,lambda(x,ap(f,x)))=α≥ neg(∞)$ | und | $lim(b,below,lambda(x,ap(f,x)))=β≤ pos(∞)$, |
falls $f$
|
| $lim(a,above,lambda(x,ap(f,x)))=β≤ pos(∞)$ | und | $lim(b,below,lambda(x,ap(f,x)))=α≥ neg(∞)$, |
falls $f$
|
| $lim(α,above,lambda(y,ap(inv(f),y)))=a$ | und | $lim(β,below,lambda(y,ap(inv(f),y)))=b$, |
falls $f$
|
| $lim(α,above,lambda(y,ap(inv(f),y)))=b$ | und | $lim(β,below,lambda(y,ap(inv(f),y)))=a$, |
falls $f$
|
| $lim(a,above,lambda(x,ap(f,x)))=α≥ neg(∞)$ | and | $lim(b,below,lambda(x,ap(f,x)))=β≤ pos(∞)$, |
if $f$ is
|
| $lim(a,above,lambda(x,ap(f,x)))=β≤ pos(∞)$ | and | $lim(b,below,lambda(x,ap(f,x)))=α≥ neg(∞)$, |
if $f$ is
|
| $lim(α,above,lambda(y,ap(inv(f),y)))=a$ | and | $lim(β,below,lambda(y,ap(inv(f),y)))=b$, |
if $f$ is
|
| $lim(α,above,lambda(y,ap(inv(f),y)))=b$ | and | $lim(β,below,lambda(y,ap(inv(f),y)))=a$, |
if $f$ is
|
| $lim(a,above,lambda(x,ap(f,x)))=α≥ neg(∞)$ | y | $lim(b,below,lambda(x,ap(f,x)))=β≤ pos(∞)$, |
si $f$ es
|
| $lim(a,above,lambda(x,ap(f,x)))=β≤ pos(∞)$ | y | $lim(b,below,lambda(x,ap(f,x)))=α≥ neg(∞)$, |
si $f$ es
|
| $lim(α,above,lambda(y,ap(inv(f),y)))=a$ | y | $lim(β,below,lambda(y,ap(inv(f),y)))=b$, |
si $f$ es
|
| $lim(α,above,lambda(y,ap(inv(f),y)))=b$ | y | $lim(β,below,lambda(y,ap(inv(f),y)))=a$, |
si $f$ es
|
| $lim(a,above,lambda(x,ap(f,x)))=α≥ neg(∞)$ | a | $lim(b,below,lambda(x,ap(f,x)))=β≤ pos(∞)$, |
jestliže je $f$
|
| $lim(a,above,lambda(x,ap(f,x)))=β≤ pos(∞)$ | a | $lim(b,below,lambda(x,ap(f,x)))=α≥ neg(∞)$, |
jestliže je $f$
|
| $lim(α,above,lambda(y,ap(inv(f),y)))=a$ | a | $lim(β,below,lambda(y,ap(inv(f),y)))=b$, |
jestliže je $f$
|
| $lim(α,above,lambda(y,ap(inv(f),y)))=b$ | a | $lim(β,below,lambda(y,ap(inv(f),y)))=a$, |
jestliže je $f$
|
| $lim(a,above,lambda(x,ap(f,x)))=α≥ neg(∞)$ | és | $lim(b,below,lambda(x,ap(f,x)))=β≤ pos(∞)$, |
ha az $f$
|
| $lim(a,above,lambda(x,ap(f,x)))=β≤ pos(∞)$ | és | $lim(b,below,lambda(x,ap(f,x)))=α≥ neg(∞)$, |
ha $f$
|
| $lim(α,above,lambda(y,ap(inv(f),y)))=a$ | és | $lim(β,below,lambda(y,ap(inv(f),y)))=b$, |
ha az $f$
|
| $lim(α,above,lambda(y,ap(inv(f),y)))=b$ | és | $lim(β,below,lambda(y,ap(inv(f),y)))=a$, |
ha az $f$
|
$lim(a,above,lambda(x,ap(f,x)))=α=inf(set(ap(f,x) | x in (a'..'b)))≥ neg(∞)$
$lim(b,below,lambda(x,ap(f,x)))=β=sup(set(ap(f,x) | x in (a'..'b)))≤ pos(∞)$.
$ξ-ε=ap(g,ap(f,ξ-ε)) lt ap(g,y) lt ap(g,ap(f,ξ+ε))=ξ+ε$
$ap(g,x)=piecew(piece(y_0,x=x_0),other(ap(f,x)))$
$ap(g,x)=piecew(piece(0,x=0),other(exp(neg(1/x^2))))$.