„Folytonos függvény” változatai közötti eltérés

[ellenőrzött változat][ellenőrzött változat]
Tartalom törölve Tartalom hozzáadva
ChuispastonBot (vitalap | szerkesztései)
a r2.7.1) (Bot: következő hozzáadása: am:ሪጋ አስረካቢ
jelölési hibák javítása
15. sor:
 
=== Folytonosság jellemzése határértékkel ===
Legyen ''f'' a valós számok egy ''A'' részhalmazán értelmezett, valós értékű függvény és legyen ''xu'' ∈ ''A''. Az, hogy az ''f'' függvény az ''u'' pontban folytonos, egyenértékű azzal, hogy
* ''u'' az ''A''-nak vagy [[izolált pont]]ja, vagy
* ''u'' az ''A''-nak [[torlódási pont]]ja és létezik az ''f''(''u'')-val egyenlő
: <math>\lim\limits_{x\to u}f(x)</math> [[határérték]].
 
''u'' torlódási pontja ''A''-nak, ha bármely pozitív ε -rahoz létezik ''A''-nak olyan ''u''-val nem egyenlő eleme, melynek távolsága ''u''-tól kisebb, mint ε. ''A''-nak izolált pontja ''vu'', ha nem torlódási pontja, azaz létezik olyan pozitív ε, melyre A-nak nincs más eleme aaz (''vu''-ε , ''vu''+ε) nyílt intervallumban, csak ''vu''.
 
=== Átviteli elv ===
Ezt még ''Heine-féle definíció''nak illetve a ''folytonosságra vonatkozó átviteli elv''nek is szokták nevezni.
Az ''f'' valós számok halmazának egy ''A'' részhalmazán értelmezett valós értékű függvény akkor és csak akkor folytonos az ''xu'' ∈ ''A'' pontban, ha minden, az értelmezési tartományában haladó, ''u''-hoz konvergáló (''x''<sub>''n''</sub>) sorozat esetén a függvényértékek (''f''(''x''<sub>''n''</sub>)) sorozata is konvergens és az ''f''(''u'') számhoz tart, azaz
:<math>\forall (x_n):\mathbb{N}\to A\quad (\;\lim\limits_{n\to \infty} x_n=u \;\Rightarrow \;\lim\limits_{n\to \infty}f(x_n)=f(u))</math>
 
== Intervallumon való folytonosság ==