Folytonos függvények értelmezései ...
Folytonos függvények értelmezései ...
Folytonos függvények értelmezései ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
90 <strong>Folytonos</strong> <strong>függvények</strong><br />
IV. <strong>Folytonos</strong> <strong>függvények</strong><br />
Az előző fejezetben adott f : D→ függvény viselkedését a D halmaz x 0<br />
torlódási pontjának környezetében vizsgáltuk. Az x 0 pont nem feltétlenül tartozott a<br />
D halmazhoz. ( D ⊆ ) . Ebben a fejezetben a függvény viselkedését nem csak az x 0<br />
pont körül vizsgáljuk, hanem az 0<br />
x pontban is ( x D)<br />
értékét az x 0 pontban a függvény 0<br />
függvénynek az x 0 pontban is értelmezettnek kell lennie, tehát 0<br />
0<br />
∈ ; összehasonlítjuk a függvény<br />
x környezetében felvett értékeivel. Ezért a<br />
x ∈ D .<br />
A feladatot így fogalmazzuk meg: tanulmányozzuk, hogy amikor x közeledik<br />
f x közeledik-e f ( x ) -hoz. Pontosabban, egy tetszőleges x → x0<br />
sorozatot<br />
x0 -hoz, ( )<br />
0<br />
∈ , tanulmányozzuk, hogy az ( f ( xn)<br />
) n≥<br />
1<br />
véve, ahol xn D<br />
n<br />
sorozat tart-e az f ( x 0 ) számhoz?<br />
Figyeljük meg, hogy ebben az utolsó megfogalmazásban a feladatnak akkor is<br />
van értelme, ha x 0 az értelmezési tartománynak nem torlódási pontja (de D-nek<br />
eleme). Valóban, ha x0 ∈ D , akkor mindig van olyan sorozat, például az xn = x0<br />
, ha<br />
*<br />
n∈ , amely tart az x 0 számhoz és amelyre xn ∈ D . Ha x 0 nem torlódási pontja<br />
D-nek, akkor ez az egyetlen sorozat, amely tart x0 -hoz és xn ∈ D . Az előbbi sorozat<br />
*<br />
esetén f ( xn ) = f ( x0 ) , ha n∈<br />
és lim f ( xn) = f ( x0)<br />
.<br />
n→∞<br />
4.1. <strong>Folytonos</strong> <strong>függvények</strong> <strong>értelmezései</strong><br />
Értelmezés. Legyen f : D → és x0∈D. Az f függvényt az x 0 pontban<br />
folytonosnak mondjuk, ha minden xn → x0<br />
, xn ∈ D sorozatra lim f ( xn) = f ( x0)<br />
.<br />
Megjegyzés. 1. A fenti értelmezésből következik, hogy az értelmezési tartomány<br />
izolált pontjaiban a függvény mindig folytonos.<br />
2. A határérték értelmezése alapján a következő kritériumot használhatjuk:<br />
ε−δ-s kritérium. Az : f függvényt az x ∈ D pontban folytonosnak<br />
n→∞<br />
f D→ 0<br />
δ > szám, hogy ha 0<br />
mondjuk, ha bármely ε > 0 számhoz létezik olyan 0<br />
és x D<br />
∈ , akkor ( ) f ( x )<br />
0<br />
x− x < δ<br />
f x − < ε . (ha x izolált pont, akkor találunk olyan δ -t,<br />
amelyre az x 0 pont δ -nyi környezetében a D halmaznak csak egy eleme van, az x 0 )<br />
Példák<br />
3<br />
1. <strong>Folytonos</strong>-e az x = 2 pontban az f : → , f ( x) = 2x<br />
+ 1 függvény?<br />
0<br />
Az 1. értelmezés alapján vizsgáljuk először azt, hogy igaz-e hogy ha lim x = 2 ,<br />
3<br />
xn ∈ ( n) n<br />
0<br />
n→∞<br />
, akkor az f x = 2x<br />
+1sorozatoknak van határértékük és a határérték f (2) .<br />
3<br />
3 3<br />
( ) ( ) ( ) ( )<br />
lim f x = lim 2x + 1 = 2lim x + 1 = 2 lim x + 1 = 17 = f 2 .<br />
n n n n<br />
n→∞ n→∞ n→∞ n→∞<br />
Tehát a függvény folytonos a 2 pontban az 1. értelmezés szerint.<br />
n
<strong>Folytonos</strong> <strong>függvények</strong> 91<br />
A 2. értelmezés alapján hasonló módon dönthetjük el, hogy f folytonos-e a 2 pontban:<br />
Rögzítsünk egy 0<br />
ε > számot.<br />
ha<br />
( ) ( ) 3 3 3 3 2<br />
f x − f x0 = 2x + 1−2⋅2 − 1 = 2 x − 2 = 2 x− 2 x + 2x+ 2<br />
2<br />
2 2<br />
( ) ( ) ( )<br />
f x − f x0 = 2 x− 2 x + 2x+ 4 < 2 x + 2x+ 4 x− 2 < ε ,<br />
ε ε ε ε<br />
x − 2 < < = = .<br />
2 x 2x 4 2min x 2x 4<br />
6<br />
2 2<br />
( + + ) ( + + ) 2f( −1)<br />
x∈<br />
Mivel minden ε > 0 esetén létezik a<br />
ε<br />
δ = > 0 valós szám, úgy, hogy<br />
6<br />
f x − f 2 < ε ha x − 2 < δ , a függvény folytonos az x 0 = 2 pontban.<br />
( ) ( )<br />
2. Az f : → , f ( x ) = sin x függvény folytonos minden x ∈ pontban.<br />
Valóban,<br />
x− x0 f ( x) − f ( x0) = sin x− sin x0<br />
= 2 sin<br />
2<br />
x+ x0 cos<br />
2<br />
x−x0 ≤2 ⋅ 1,<br />
2<br />
tehát ( ) ( )<br />
f x f x0 sin x sin x0 x x0 ε<br />
− = − ≤ − < igaz, ha x− x0< δ = ε . Vagyis a<br />
függvény folytonos az x 0 pontban, a 2. értelmezés szerint.<br />
3. Előfordul az, hogy<br />
a függvény nem folytonos<br />
y<br />
valamilyen pontban. Az értelmezés<br />
alapján, az f függvény<br />
1<br />
ε<br />
az x0 ∈ D pontban pontosan<br />
akkor nem folytonos, ha léte-<br />
δ<br />
(<br />
0<br />
δ<br />
)<br />
zik olyan ( xn ) ⊂ D sorozat,<br />
n≥<br />
1<br />
ε<br />
lim f x ≠ f x .<br />
1<br />
amelyre ( ) ( )<br />
n→∞<br />
Ez lehetséges úgy is, hogy az<br />
f x<br />
( ( n ) ) n≥<br />
1<br />
n<br />
0<br />
sorozatnak nincs határértéke, de úgy is, hogy a határértéke nem f ( x 0 ) . A<br />
jobb és baloldali határértékek figyelembe vételével még több eset lehetséges, mert<br />
előfordulhat, hogy a jobb és bal oldali határértékek léteznek, de nem egyenlők<br />
egymással vagy az f ( x0 ) -val. Azokat az x0 ∈ D pontokat, amelyekben az<br />
f : D→ függvény nem folytonos az f szakadási pontjainak nevezzük. Az előbbiek<br />
alapján a szakadási pont fogalma az f függvénynek több különböző viselkedési<br />
módját tükrözi. Ezek közül az esetek közül néhány fontos lesz a <strong>függvények</strong> további<br />
tanulmányozásában, ezért külön megnevezéssel látjuk el őket.<br />
Értelmezés. Az x0 ∈ D pontot, amelyben az f : D→ függvénynek létezik a<br />
jobb- és a baloldali határértéke és ezek végesek, de a függvény nem folytonos elsőfajú<br />
szakadási pontnak nevezzük. Az összes többi szakadási pontot másodfajú szakadási<br />
pontnak nevezzük.<br />
0<br />
12. ábra<br />
x
92 <strong>Folytonos</strong> <strong>függvények</strong><br />
Vizsgáljuk meg a következő <strong>függvények</strong> folytonosságát, szakadási pontjainak természetét:<br />
⎧1,<br />
ha x > 0;<br />
⎪<br />
⎧x,hax≠0;<br />
a) f1 : → , f1( x) = sgn x= ⎨0,<br />
ha x=<br />
0; b) f2 : → , f2( x)<br />
= ⎨<br />
⎪ 2, ha x = 0.<br />
⎩−<br />
1, ha x < 0.<br />
⎩<br />
⎧ 1<br />
⎧1<br />
⎪sin<br />
, ha x ≠ 0;<br />
⎪ ,hax > 0;<br />
c) f3 : → , f3( x) = ⎨ x<br />
d) f4 : → , f4( x) = ⎨ x<br />
⎪<br />
⎩0,<br />
ha x = 0.<br />
⎪<br />
⎩0,<br />
ha x ≤ 0.<br />
Megoldás. a) Az f 1 függvény az x0 ≠ 0 pont 0 -t nem tartalmazó környezetében<br />
konstans, tehát folytonos ebben a pontban. Az = 0 pontban li m f ( x)<br />
=−1<br />
és<br />
lim f ( x)<br />
= 1,<br />
tehát a függvénynek nincs határértéke ebben a pontban. Így az x = 0<br />
x→ 0<br />
x><br />
0<br />
1<br />
pontban az f 1 függvény nem folytonos. Mivel a jobb- és baloldali határérték véges, ez<br />
a pont elsőfajú szakadási pont.<br />
b) Az f 2 függvény az x0 ≠ 0 pont 0 -t nem tartalmazó környezetében elsőfokú, tehát<br />
folytonos. Ha x = 0 , akkor lim<br />
f x) = lim x=<br />
0 , tehát a határérték létezik. Ez a<br />
0<br />
2 (<br />
x→0<br />
x→0<br />
határérték azonban nem egyenlő a behelyettesítési értékkel, tehát a függvény nem<br />
folytonos 0 -ban. Az x0 = 0 pont az f függvény elsőfajú szakadási pontja.<br />
x→0 x<br />
2<br />
1<br />
c) Mivel nem létezik a limsin határérték (találunk két olyan 0 -hoz tartó sorozatot,<br />
amelyekre a függvényértékek sorozata különböző határértékekhez tart; ilyenek például<br />
1<br />
1<br />
az xn<br />
= és yn<br />
= , n ≥1 sorozatok) a függvény nem folytonos 0 -ban és<br />
2nπ<br />
π<br />
2nπ<br />
+<br />
2<br />
az x 0 = 0 pont másodfajú szakadási pontja. A 0 -tól különböző pontokban a függvény<br />
folytonos a határértékek tulajdonságai alapján.<br />
1<br />
d) Mivel lim = +∞ és lim f4( x ) = 0 a függvény nem folytonos 0 -ban és másodfajú<br />
x0 x<br />
x0<br />
szakadási pontja van, mert a jobboldali határérték nem véges.<br />
3<br />
4. Az f ( x) = x , f : → függvény folytonos az x 0 = 1 pontban, mert<br />
3 3 2<br />
( ) − ( 1) = − 1 = − 1 + + 1 < , ha<br />
f x f x x x x ε<br />
ε ε ε ε 4<br />
x − 1 < < = = = ε .<br />
2 2<br />
2<br />
x + x+ 1 min ( x + x+<br />
1) ⎛ 1⎞ 1 3 3<br />
⎜− ⎟ − + 1<br />
⎝ 2⎠ 2 4<br />
4ε<br />
A fentiek alapján f ( x) − f ( 1)<br />
< ε , ha x − 1 < , tehát a függvény folytonos az<br />
3<br />
x =<br />
1 pontban.<br />
0<br />
x 0<br />
x→ 0<br />
x<<br />
0<br />
1<br />
0
<strong>Folytonos</strong> <strong>függvények</strong> 93<br />
Megjegyzés. Gyakran találkozunk olyan <strong>függvények</strong>kel, amelyek bizonyos x 0<br />
ponttól jobbra és balra különböző törvénnyel értelmezettek. Az ilyen <strong>függvények</strong><br />
folytonosságának tanulmányozására a határérték jobb- és baloldali határértékek<br />
segítségével adott jellemzését használjuk. Eszerint igaz a következő állítás:<br />
Az f :[ a, b] → függvény pontosan akkor folytonos az x 0 ∈ (,) a b pontban, ha<br />
4.2. Gyakorlatok<br />
lim f ( x) = lim f( x) = f ( x ) .<br />
x→x0 x→x0 x< x0 x> x0<br />
Vizsgáld meg a következő <strong>függvények</strong> folytonosságát az adott pontokban:<br />
2 1 3<br />
1. f : [ −1,1] → , f ( x) = x + 1 , x = 0, , − .<br />
2 4<br />
1<br />
2. f : [ −3, 4]<br />
→ , f ( x)<br />
= 2<br />
x + 1<br />
, 0 x = , 2, -1.<br />
3. f : → , f ( x) = { x} = x− [ x]<br />
,<br />
jelöli, { x } pedig a szám törtrészét.<br />
4. Milyen pontokban folytonos a tg függvény?<br />
⎧ 1<br />
⎪ ,hax ≠ 0<br />
2<br />
5. f ( x) = ⎨ x , x = 0 , 1, -1.<br />
⎪<br />
⎩0,<br />
ha x = 0<br />
⎧1,<br />
ha x egész szám<br />
6. f ( x)<br />
= ⎨ , x = 0 , 1, − 2 .<br />
⎩0,<br />
ha x nem egész szám<br />
2 3<br />
7. f : → , f ( x) = x + x , x = 1, 3 .<br />
0<br />
1<br />
x = 1, 2, , ahol [ x ] az x szám egészrészét<br />
2<br />
π<br />
8. f : → , f ( x) = sin x+<br />
cos x, x = 0, , π .<br />
2<br />
1 3<br />
9. f :[1, 2] → , f ( x) = x+<br />
, x = .<br />
x 2<br />
⎧1,<br />
x∈<br />
<br />
10. Adott az f : → , f ( x)<br />
= ⎨ függvény. Igazoljuk, hogy a<br />
⎩−1,<br />
x∈\<br />
<br />
függvény egyetlen pontban sem folytonos.<br />
⎛ 1 ⎞<br />
11*. Legyen f : → egy folytonos függvény, amelyre f ⎜r+ ⎟=<br />
f ( r )<br />
⎝ n ⎠<br />
*<br />
minden r racionális számra és minden n∈<br />
-ra. Határozzuk meg az összes ilyen<br />
függvényt!
94 <strong>Folytonos</strong> <strong>függvények</strong><br />
4.3. A Cauchy-féle függvényegyenlet<br />
Feladat. Határozd meg az f : → folytonos függvényt, ha minden x, y∈ esetén<br />
f ( x+ y) = f ( x) + f ( y)<br />
( 1 )<br />
Az ( 1) -es egyenletből x= y=<br />
0 esetén az f ( 0) = f ( 0+ 0) = f ( 0) + f ( 0) = 2f<br />
( 0 )<br />
egyenlőséghez jutunk, tehát f ( 0) = 0.<br />
x = y esetén<br />
f ( 2x) = f ( x+ x) = f ( x) + f ( x) = 2f<br />
( x)<br />
.<br />
*<br />
Teljes indukcióval igazoljuk, hogy ha ,<br />
n∈ x∈ akkor<br />
f n⋅ x = n⋅ f x .<br />
( ) ( )<br />
Tételezzük fel, hogy n -re igaz és mutassuk meg n + 1-re<br />
is teljesül.<br />
Valóban f ( ( n 1) x) f ( nx x) f ( nx) f ( x) nf ( x) f ( x) ( n 1)<br />
f ( x)<br />
Továbbá<br />
+ = + = + = + = + .<br />
( ) ( ( ) ) ( ) ( )<br />
tehát, f ( − x) =−f ( x) *<br />
∀x∈. Ha n ∈ akkor<br />
f ( ( n) x) f ( nx) f ( nx) nf ( x)<br />
0= f 0 = f x+ − x = f x + f − x ,<br />
− = − =− =− .<br />
Ezért minden k ∈ és x∈ esetén<br />
f k⋅ x = k⋅ f x .<br />
( ) ( )<br />
Ha m<br />
∈ , m, n∈ , , akkor<br />
n 0<br />
⎛ m ⎞ ⎛m<br />
⎞<br />
n > m⋅ f ( x) = f ( m⋅ x) = f ⎜n⋅ x⎟= n⋅ f ⎜ x⎟<br />
⎝ n ⎠ ⎝ n ⎠ ,<br />
⎛m ⎞ m<br />
f ⎜ x⎟= f ( x ) .<br />
⎝ n ⎠ n<br />
Ez azt jelenti, hogy ha r ∈ és x∈ akkor f ( r⋅ x) = r⋅ f ( x)<br />
.<br />
Ez alapján esetén<br />
r ∈ f ( r) = r⋅ f(1)<br />
. A továbbiakban igazoljuk, hogy az előbbi<br />
egyenlőség irracionális r esetén is igaz. Ha α ∈ , x∈ akkor válasszunk<br />
r ≥ sorozatot, hogy l n im rn = α . Ekkor az f<br />
racionális számokból álló olyan ( n ) n 1<br />
folytonosságát felhasználva<br />
( ) ( ) ( )<br />
→∞<br />
( ) ( ) () ()<br />
f α = lim f r = lim r f 1 = lim r f 1 = α f 1 .<br />
n n n<br />
n→∞ n→∞ n→∞<br />
Tehát f ( α) = α⋅<br />
f (1) minden α ∈ esetén. Így f ( x) = m⋅ x,<br />
ahol m= f () 1 .<br />
Megjegyzés. Az (1) egyenletet Cauchy-féle függvényegyenletnek nevezzük. A<br />
középiskolában tanulmányozott fontosabb <strong>függvények</strong> (polinomok, exponenciális,<br />
logaritmus, trigonometrikus) <strong>függvények</strong> értelmezhetők, mint valamilyen<br />
függvényegyenlet folytonos megoldásai. Általában ezeknek a függvényegyenleteknek<br />
a megoldása visszavezethető a Cauchy-féle függvényegyenletre. Kimutatható, hogy az<br />
egyenletnek végtelen sok olyan megoldása is van, amelyek nem folytonosak (ezek egy<br />
pontban sem folytonosak), a bizonyítás meghaladja a tankönyv kereteit.
<strong>Folytonos</strong> <strong>függvények</strong> 95<br />
4.4. Műveletek folytonos <strong>függvények</strong>kel<br />
Amikor valamely függvény folytonosságát vizsgáljuk, előfordulhat, hogy<br />
„egyszerűbb” <strong>függvények</strong> folytonosságát ismerve, a tárgyalt <strong>függvények</strong> folytonosságára<br />
következtethetünk. Például az f ( x) = sin x+<br />
cos x függvény folytonos-e? Már<br />
tudjuk, hogy a sin x és cos x függvény minden pontban folytonos, következik-e ebből,<br />
hogy az összegük is folytonos?<br />
Feladat. Vizsgáljuk meg, hogy ha az f és g függvény az x 0 pontban folytonos,<br />
akkor az f + g függvény folytonos-e az x0 -ban!<br />
Megoldás. Meg kell vizsgálnunk, hogy ha xn → x0<br />
, akkor következik-e, hogy<br />
( f + g)( x ) = f ( x ) + g( x ) → f ( x ) + g( x ) . Az f és a g az x 0 pontban<br />
n n n 0<br />
0<br />
folytonos, tehát ha lim xn x0<br />
n→∞<br />
= akkor lim f ( x ) = f ( x )<br />
n→∞<br />
n<br />
0<br />
és lim g ( xn) = g(<br />
x0)<br />
n →∞<br />
sorozatoknál láttuk, hogy a két konvergens sorozat összege is konvergens és<br />
lim ⎡ f ( xn) g( xn) lim f ( xn) lim g( xn) f ( x0) g( x0) ( f g)( x0)<br />
n→∞ ⎣ + ⎤= ⎦ + = + = + .<br />
x→∞ x→∞<br />
Tehát<br />
lim f + g x = lim f x + lim g x = f x + g x = f + g x ,<br />
( )( ) ( ) ( ) ( ) ( ) ( )( )<br />
x→x0 x→x0 x→x0 0 0<br />
vagyis az f + g függvény is folytonos.<br />
Hasonló gondolatmenet alapján belátható, hogy két folytonos függvény szorzata,<br />
hányadosa (ha a nevező nem 0 ) és összetett függvénye is folytonos. A<br />
függvényhatárértékeknél megoldott feladatok alapján azt is állíthatjuk, hogy egy<br />
bijektív és folytonos függvény inverze is folytonos (lásd a 76. oldalon levő 2.<br />
megoldott feladatot). Ezeket a tulajdonságokat a következő tétel foglalja össze<br />
Tétel. Legyen f, g : D → két függvény és x0D. ∈<br />
a) Ha az f és a g <strong>függvények</strong> folytonosak az x 0 pontban, akkor az f + g<br />
függvény is folytonos az x 0 pontban.<br />
b) Ha az f és a g <strong>függvények</strong> folytonosak az x 0 pontban, akkor az f ⋅ g<br />
függvény is folytonos az x 0 pontban.<br />
c) Ha az f és a g <strong>függvények</strong> folytonosak az x 0 pontban és g( x0) ≠ 0 , akkor<br />
az f<br />
g függvény is folytonos az x 0 pontban.<br />
d) Ha az f : D→E függvény folytonos az x0 ∈ D pontban és a g: E → <br />
függvény folytonos az y0 = f ( x0)<br />
, y0∈ E pontban ( D ⊆ és E ⊆ ), akkor a<br />
g f összetett függvény folytonos az x 0 pontban.<br />
*<br />
e) Ha az f : D→+ és a g: D→ <strong>függvények</strong> folytonosak az x0<br />
pontban,<br />
( )<br />
akkor az u: D → + ux ( )= [ f( x] ) függvény is folytonos az<br />
g x<br />
x 0 pontban.<br />
Sajátos esetek. Ha az f : D→E függvény folytonos az x0 ∈ D pontban, akkor a<br />
következő <strong>függvények</strong> is folytonosak az x0 ∈ D pontban:<br />
0<br />
. A
96 <strong>Folytonos</strong> <strong>függvények</strong><br />
a)<br />
g : D→ , g( x) = a<br />
f ( x)<br />
, ahol 0 és<br />
a > a ≠ 1.<br />
b) h: D→ , h( x) = logaf( x)<br />
, ahol f( x) > 0, ∀ x><br />
0 és a > 0 , a ≠ 1.<br />
c) k: D→ ,<br />
k( x) = sin f( x)<br />
.<br />
A szinusz függvény helyett tetszőleges trigonometrikus alapfüggvényre is igaz a<br />
tulajdonság ( cos,tg,ctg,arcsin,arccos,arctg,arcctg ).<br />
Megjegyzés. A „Függvények határértéke” című fejezetben láttuk, hogy a polinom<strong>függvények</strong>,<br />
az exponenciális, logaritmus és trigonometrikus <strong>függvények</strong> valamint<br />
ezek inverzei mind folytonosak (lásd a megoldott feladatokat). A továbbiakban ezekre<br />
a <strong>függvények</strong>re és az ezekből összeadás, szorzás, osztás, hatványozás, összetevés útján<br />
előállítható <strong>függvények</strong>re elemi függvényként hivatkozunk. az előbbiek alapján az<br />
elemi <strong>függvények</strong> folytonosak az értelmezési tartományukon.<br />
Gyakorlatok és feladatok<br />
n<br />
*<br />
1. Mely pontokban folytonos az f : → , f ( x) = x , n∈ függvény?<br />
2. <strong>Folytonos</strong>-e az f ( x) = sin x⋅cosx<br />
függvény az x = 0 és az x = π pontokban?<br />
f ( x ) ≠ 0<br />
3. a) Igazold, hogy ha az f függvény az x 0 pontban folytonos és<br />
1<br />
az<br />
f<br />
0 , akkor<br />
függvény is folytonos az x 0 pontban.<br />
b) Igazold, hogy ha f és g függvény folytonos az 0<br />
akkor a<br />
g x0 ≠ 0 ,<br />
f<br />
g függvény folytonos az x 0 pontban.<br />
4. Hol folytonosak a következő <strong>függvények</strong>?<br />
1<br />
a) f : \ { 0} → , f ( x)<br />
= ; 2<br />
x<br />
1<br />
b) f : → , f ( x)<br />
= ; 2<br />
1+ sin x<br />
x<br />
c) f : \ { −1,1} →<br />
, f ( x)<br />
= ; d) ,<br />
2<br />
x − 1<br />
: f → f ( x) = max ( sin x,<br />
cos x ) ;<br />
5. Bizonyítsd be, hogy ha az f függvény az x 0 pontban folytonos akkor f is<br />
folytonos az x 0 pontban!<br />
6. Igaz-e az előbbi állítás fordítottja?<br />
7. Tanulmányozd a következő <strong>függvények</strong> folytonosságát:<br />
2 ⎧ x + 2, ha x≥0<br />
a) f ( x) = ⎨ ;<br />
⎩−<br />
x, hax<<br />
0<br />
b) f : → , ( ) ( ) 3<br />
f x = 2x+ 1 ;<br />
c)<br />
2<br />
f ( x) = cos x+ 2cos x+<br />
1;<br />
⎧1<br />
⎪ , ha x ≥1<br />
x<br />
d)<br />
⎪<br />
f ( x) = ⎨0,<br />
ha −1≤ x<<br />
1;<br />
⎪ 1<br />
⎪− ,ha x
<strong>Folytonos</strong> <strong>függvények</strong> 97<br />
⎧ 1<br />
⎪ ,ha x ≠ −1<br />
= ⎨<br />
⎪<br />
⎩0,<br />
ha x = −1<br />
e) ( ) ( ) 2<br />
x + 1<br />
f x<br />
; f) ( )<br />
2 ⎧x , x∈<br />
g) f( x)<br />
= ⎨<br />
; h)<br />
⎩3x−2,<br />
x∈\<br />
<br />
2 ( )<br />
2 ⎧ x + x<<br />
1 , ha 0<br />
⎪<br />
f x = ⎨0,<br />
ha x=<br />
0 ;<br />
⎪ 4<br />
− x+ x><br />
( )<br />
⎪⎩<br />
1 , ha 0<br />
⎧ x + 1<br />
⎪ ,<br />
f( x) = ⎨ x − 2<br />
⎪<br />
⎩3x−2,<br />
x∈<br />
<br />
.<br />
x∈\<br />
<br />
8. Igazold, hogy az f :0, [ +∞) → , f ( x ) = x függvény folytonos az értelmezési<br />
tartomány minden pontjában.<br />
2<br />
9. Határozd meg az f ( x) = x − 1 összefüggéssel értelmezett függvény maximális<br />
értelmezési tartományát és igazold, hogy az értelmezési tartomány minden pontjában<br />
folytonos.<br />
10. Határozd meg a következő <strong>függvények</strong> szakadási pontjait:<br />
1<br />
a) f : → , f ( x)<br />
= lim ;<br />
n→∞<br />
2n<br />
1+<br />
x<br />
n 2n<br />
b) f : → , f ( x) = lim 1+<br />
x<br />
n→∞<br />
;<br />
2 nx<br />
x + x ⋅ e<br />
c) f : → , f ( x)<br />
= lim ;<br />
n→∞<br />
nx<br />
1+<br />
e<br />
11. Hol folytonosak a következő <strong>függvények</strong>?<br />
2<br />
d) f : → , f ( x) = max ( x , x ) .<br />
a) f : , f x x x az x valós szám egészrésze.<br />
b) f : ,<br />
→ ( ) = [ ] , ahol [ ]<br />
→ f ( x) = { x} = x−[<br />
x ] , ahol { }<br />
x az x valós szám törtrésze.<br />
12. Határozd meg azokat az f : →, az x = 0 pontban folytonos <strong>függvények</strong>et,<br />
amelyekre ( ) ( 2 )<br />
f x + f x = 0,<br />
minden x∈ esetén.<br />
13. Határozd meg az f : → <strong>függvények</strong>et, ha<br />
x ⋅ f ( y) + y⋅ f ( x) = ( x+ y) ⋅ f ( x) ⋅ f ( y)<br />
igaz minden x, y∈ esetén. Hány folytonos függvény van a megoldások között?<br />
*<br />
14 . Az f, g: → periodikus <strong>függvények</strong>re<br />
( ) ( )<br />
lim ⎡⎣f x −g x ⎤= ⎦ 0 .<br />
x→∞<br />
Bizonyítsd be, hogy a két függvény egyenlő ( f g )<br />
*<br />
15 . Határozd meg az összes : ( 0, )<br />
f x = f<br />
2<br />
x , minden<br />
*<br />
∈ = ( 0, +∞)<br />
esetén.<br />
( ) ( )<br />
x +<br />
= .<br />
f ∞ → folytonos <strong>függvények</strong>et, amelyekre<br />
16. Határozd meg az f : ( −1,1) → folytonos <strong>függvények</strong>et, amelyekre<br />
⎛ x + y ⎞<br />
f ( x) + f ( y) = f ⎜<br />
1+<br />
xy<br />
⎝ ⎠ ⎟, minden , ( 1, )<br />
x y∈ − 1 esetén.
98 <strong>Folytonos</strong> <strong>függvények</strong><br />
4.5. Intervallumon folytonos <strong>függvények</strong><br />
Értelmezés. Az f függvényt folytonosnak nevezzük az I intervallumon, ha az I<br />
minden pontjában folytonos. A függvényről azt mondjuk, hogy folytonos, ha az<br />
értelmezési tartományának minden pontjában folytonos.<br />
Megjegyzés. Az előbbi paragrafus tételéből következik az alábbi tétel:<br />
Tétel. a) Ha az f : D→ és g: D→ <strong>függvények</strong> folytonosak, akkor az<br />
f + g: D→<br />
, ( f + g)( x) = f( x)<br />
+ g(<br />
x), ∀x∈ D függvény is folytonos.<br />
b) Ha az f : D→ és g: D→ <strong>függvények</strong> folytonosak, akkor az<br />
f ⋅g: D→<br />
, ( f ⋅ g)( x) = f(<br />
x) ⋅g( x), ∀x∈ D függvény is folytonos.<br />
c) Ha az f : D→ és g: D→ <strong>függvények</strong> folytonosak és<br />
⎛ f ⎞ f(<br />
x)<br />
g( x) ≠0, ∀x∈D, akkor az ⎜ ⎟ ( x) = , ∀x∈D függvény is folytonos.<br />
⎝ g ⎠ g(<br />
x)<br />
d) Ha az f : D→E<br />
és a g: E → függvény folytonos ( D ⊆ és E ⊆ ),<br />
akkor a gf : D→ összetett függvény is folytonos.<br />
e) Ha az f : D→E<br />
függvény folytonos és bijektív ( D ⊆ , E ⊆ <br />
intervallumok), akkor az<br />
−1<br />
f : E → D<br />
inverz függvény is folytonos.<br />
*<br />
f) Ha az f : D → + és a g: D→ <strong>függvények</strong> folytonosak, akkor az<br />
g( x)<br />
u: D → + ux ( ) = f( x)<br />
függvény is folytonos.<br />
Sajátos esetek. Ha az f : D→E függvény folytonos, akkor a következő<br />
<strong>függvények</strong> is folytonosak:<br />
f ( x)<br />
a) g : D→ , g( x) = a , ahol a > 0 és a ≠ 1.<br />
b) h: D→ , h( x) = logaf( x)<br />
, ahol f( x) > 0, ∀ x><br />
0 és a > 0 , a ≠ 1.<br />
c) k: D→ ,<br />
k( x) = sin f( x)<br />
.<br />
f [ − ] →<br />
2<br />
f ( x) = x + 2 , az [ 1, 1]<br />
3<br />
P2. f :1,4 [ ] → , f ( x) = 2x<br />
+ 1,<br />
az I = [ 1, 4]<br />
;<br />
Példák P1. : 1,1 ,<br />
I = − ;<br />
1<br />
P3. f :1,2 [ ] → , f ( x)<br />
= , az I = [ 1, 2]<br />
;<br />
x<br />
1<br />
P4. f : ( 0,1)<br />
→ , f ( x)<br />
= , az I = ( 0, 1)<br />
.<br />
x<br />
Az általunk tárgyalt <strong>függvények</strong> döntő többsége egy-egy intervallumon vagy<br />
azok egyesítésén van értelmezve és folytonos. Ha megfigyeljük, e <strong>függvények</strong><br />
grafikonjait, akkor néhány közös tulajdonságot veszünk észre. Az [ a, b zárt<br />
intervallumon – ahol a, b∈ – értelmezett függvény korlátosnak látszik. A<br />
grafikonok „folytonos” vonalak; úgy tűnik, hogy ha folytonos egy függvény és felvesz<br />
két különböző f x < f x értéket, akkor minden közbülső értéket is felvesz.<br />
( ) ( )<br />
1 2<br />
Természetesen a grafikonból az ilyen tulajdonságokat csak sejteni lehet. A<br />
szemléletből vett következtetéseket mindig alaposan meg kell vizsgálni.<br />
]
<strong>Folytonos</strong> <strong>függvények</strong> 99<br />
4.5.1. Bolzano tétele és a Darboux-féle tulajdonság<br />
BERNARD BOLZANO (1781-1848) a skolasztikus filozófiában járatos<br />
katolikus pap volt. Egyike volt a legelsőknek, aki a szigorúság modern fogalmát<br />
bevezette a matematikai analízisbe. Felismerte, hogy a folytonos <strong>függvények</strong>re<br />
vonatkozó számos, látszólag nyilvánvaló állítást igazolni kell, ha azt akarjuk, hogy<br />
teljes általánosságban érvényes legyen. Ilyen például a következő három tulajdonság:<br />
1. <strong>Folytonos</strong> függvény minden intervallumot intervallumba képez. Ez<br />
pontosabban a következőképpen fogalmazható meg:<br />
Ha az f :[ a, b] → függvény folytonos, x1,2 ∈ [ ab , ] , x1 < x2<br />
két tetszőleges<br />
érték és f ( x1) = y1,<br />
f ( x2) = y2,<br />
akkor bármely 0 [ 1 y2]<br />
, y y<br />
esetén létezik olyan x ∈ [ x , x ] , amelyre f ( x ) = y .<br />
0 1<br />
2<br />
0 0<br />
[ ]<br />
∈ (vagy y y y )<br />
0 2 , ∈ 1<br />
2. Ha az f :[ a, b] → folytonos függvény x1 ∈[,] ab -ben pozitív és x2 ∈[ ab , ] -ben<br />
negatív értékékeket vesz fel, akkor létezik olyan c [ x x ]<br />
∈ , amelyre f() c = 0.<br />
3. Zárt intervallumon értelmezett folytonos függvény képe zárt intervallum.<br />
A második tulajdonság az első sajátos esete. A továbbiakban látni fogjuk, hogy az első<br />
tulajdonság is következik a másodikból. Azt is látni fogjuk, hogy az 1. tulajdonság<br />
nem a folytonos <strong>függvények</strong> jellemző tulajdonsága (léteznek olyan <strong>függvények</strong>,<br />
amelyek nem folytonosak és mégis rendelkeznek az 1. tulajdonsággal). Azokat a<br />
<strong>függvények</strong>et, amelyek teljesítik az 1. tulajdonságot Darboux tulajdonságú<br />
<strong>függvények</strong>nek nevezzük.<br />
A terminológia rögzítése céljából a következő értelmezést adjuk:<br />
Értelmezés. Az f :[ a, b] → függvényt Darboux tulajdonságúnak nevezzük ha<br />
x1,2 ∈ [ ab , ] , x1 < x2<br />
és bármely 0 ( 1 ) , y y y ∈ 2 (vagy 0 ( 2 ) , y y y ∈ 1<br />
f ( x 1) = y 1 és f ( x2) = y2,<br />
létezik olyan x0∈ ( x1, x2)<br />
, amelyre f ( x ) y<br />
bármely<br />
1 ,<br />
2<br />
= .<br />
0 0<br />
) esetén, ahol<br />
Megjegyzés. Ez az értelmezés ekvivalens azzal, hogy az f függvény az [ ab , ]<br />
értelmezési tartomány minden részintervallumát intervallumba képezi.<br />
Példa. Bizonyítsuk be, hogy az f : + → ,<br />
tulajdonságú.<br />
2<br />
f( x) = x + 1 függvény Darboux<br />
Ha x 1,2 + és y0∈ 2 2<br />
x1 + 1, x2<br />
+ 1 , akkor az 0 0 1 x = y − az ( x1, x 2)<br />
intervallumban<br />
∈ ( )<br />
van, tehát f Darboux tulajdonságú.<br />
Először a 2. tulajdonságot igazoljuk. A pontosság kedvéért tételként is kijelentjük.<br />
Tétel. Ha az f : a, b → függvény folytonos ( a< b)<br />
és f ( a) ⋅ f ( b)<br />
< 0 , akkor<br />
[ ]<br />
van olyan c∈ ( a , ) pont, amelyre<br />
b ( ) 0<br />
f c = .<br />
Bizonyítás. Feltételezhetjük, hogy ( ) 0<br />
f a < . Tekintjük a H = { x∈ [ a, b] f( x)<br />
< 0}<br />
halmazt. Ez a halmaz korlátos, mert része az [ ab , ] intervallumnak és nem üres, mert<br />
a∈H . A felső határ axiómája szerint létezik s = sup H . Bizonyítjuk, hogy f( s ) = 0<br />
és a< s< b.<br />
A feltételek alapján létezik olyan ε > 0 szám, amelyre
100 <strong>Folytonos</strong> <strong>függvények</strong><br />
f( a) + ε < 0 < f( b)<br />
− ε . Az f folytonossága alapján lim f ( x) f( a)<br />
=<br />
lim f ( x) f( b)<br />
= , tehát a határérték értelmezése alapján létezik olyan δ ( ε ) > 0 valós<br />
xb szám, hogy f ( x) < f( a) + ε < 0 < f( b) − ε < f( y)<br />
, ha a< x< a+ δ ( ε ) és<br />
b− δ ( ε)<br />
< y< b.<br />
Ez biztosítja, hogy a< s< b.<br />
Tekintsük az f ( s ) számot. Ha<br />
f() s < 0,<br />
akkor az f függvény s -beli folytonossága alapján létezik δ > 0 úgy, hogy<br />
( δ δ )<br />
f( x) < 0, ∀x∈ s− , s+<br />
és így H -ban van s -nél nagyobb elem is. Ez<br />
ellentmondás, tehát f( s) ≥ 0 . Másrészt, ha f( s ) > 0 , akkor szintén az f függvény<br />
s -beli folytonossága alapján létezik 0<br />
xa δ > úgy, hogy f( x) 0, x ( s δ , s+<br />
δ )<br />
és<br />
> ∀ ∈ − .<br />
Ez viszont azt jelentené, hogy H -nak van s -nél kisebb felső korlátja is. Mivel ez is<br />
ellentmond s megválasztásának, az egyetlen lehetőség az, hogy f( s ) = 0 .<br />
Ebből a tételből levezethetjük az 1. tulajdonságot. Ezt is megfogalmazzuk tétel<br />
formájában:<br />
[ ]<br />
Tétel. Ha az f : a, b → függvény folytonos, akkor Darboux tulajdonságú.<br />
Bizonyítás. Rögzített x1,2 [ ab , ] és y0∈⎡⎣f x1 , f x2<br />
⎤⎦esetén<br />
tekintjük a<br />
g:[ a, b] → , gx ( ) = f( x)<br />
− y0<br />
folytonos függvényt. g( x 1) = f ( x1) − y0<br />
< 0 és<br />
g( x ) = f ( x ) − y > , tehát az előbbi tétel alapján létezik olyan x ∈(<br />
x , x ) érték,<br />
2 2 0 0<br />
( ) (<br />
g x0 f x 0)<br />
y0<br />
0<br />
∈ ( ) ( )<br />
0 1 2<br />
amelyre = − = . Ebből következik, hogy f Darboux tulajdonságú.<br />
⎧ 1<br />
⎪sin<br />
, x ≠ 0<br />
Példa. Bizonyítsuk be, hogy az f : →[ −1,1]<br />
, f( x)<br />
= ⎨ x függvény<br />
⎪⎩ a, x=<br />
0<br />
Darboux tulajdonságú bármely a ∈[ −1,1]<br />
esetén.<br />
< x1 < x2<br />
x1 < x2<br />
< 0<br />
f x1, x2<br />
intervallumon folytonos, tehát az intervallum képe intervallum. Ha x ≤ 0 < x vagy<br />
Bizonyítás. Ha 0 vagy akkor az függvény az [ ]<br />
1<br />
x1 < 0 ≤ x2<br />
zn ,1 =± , n≥1<br />
n ,2 = , n≥1<br />
π<br />
π<br />
2nπ<br />
+<br />
2<br />
2<br />
n( x1, x2) ∈<br />
x 1 ,<br />
1<br />
, akkor a és z ±<br />
sorozatokban<br />
2nπ<br />
−<br />
megválaszthatjuk az előjeleket úgy, hogy a két sorozat tagjai -től<br />
kezdődően a vizsgált intervallumban legyenek. Így<br />
−1,1 ⊃ f x , ⊃ f z = − 1,1 ,<br />
1 2<br />
]<br />
[ ] ( [ 1 2]<br />
) ( [ n n ] ) z 2<br />
[ ]<br />
tehát az [ x , x intervallum képe a [− 1,1] intervallum ( a -tól függetlenül). Mivel más<br />
eset nem lehetséges a függvény minden intervallumot intervallumba transzformál és<br />
így Darboux tulajdonságú.<br />
1<br />
2
<strong>Folytonos</strong> <strong>függvények</strong> 101<br />
Megjegyzések. 1. A tétel grafikus értelmezése a következő: Az Aa ( , f( a ) )<br />
tengely alatti pontot összekötő folytonos vonal a ( , ( ) )<br />
Ox<br />
B b f b x tengely feletti ponttal,<br />
legalább egy helyen ( c pont) metszi az O x tengelyt. (lásd a 13. ábrát)<br />
2. A 14. ábrán látható, szakadásos függvény esetében az előbbi tételek nem igazak.<br />
⎧1<br />
+ x, ha x><br />
0<br />
Az f : → , f ( x)<br />
= ⎨ függvény nem rendelkezik egyik tétel által<br />
⎩−<br />
1 + x, ha x≤0<br />
biztosított tulajdonsággal sem.<br />
y<br />
fb ( )>0<br />
O<br />
fa ( )
102 <strong>Folytonos</strong> <strong>függvények</strong><br />
( ) k k 1<br />
Ez viszont ellentmondás, mert az f ( xn)<br />
≥<br />
sorozat az ( yn ) n≥<br />
1<br />
sorozat egy rész-<br />
sorozata és így a határértéke nem véges. Mivel a függvény képe nem lehet üres halmaz<br />
az alsó és felső határ axiómája alapján létezik a M = sup Im f és a m= inf Im f valós<br />
szám. Bizonyítjuk, hogy M , m∈Imf<br />
. A szuprémum értelmezéséből következik, hogy<br />
létezik olyan ( xn ) ⊂ [ ab , ] sorozat, amelyre ( )<br />
n 1<br />
m li f xn=<br />
M.<br />
Mivel az ( ) 1<br />
≥<br />
n→∞<br />
x ab<br />
n [ , ]<br />
n ≥ ⊂<br />
sorozat korlátos, ezért létezik konvergens részsorozata és így M ezen részsorozat<br />
határértékének f -beli képe. Hasonlóképpen látható be az is, hogy m∈ Im f .<br />
4.6. Megoldott feladatok<br />
[ ] → [ 1]<br />
( 0) = 0 x0<br />
ϕ :0 [ ,1→ ] ( ) ( )<br />
1. Bizonyítsd be, hogy ha az f :0,1 0, függvény folytonos, akkor létezik<br />
[ 0, ]<br />
olyan x ∈ 1 , amelyre f x x ( -t nevezzük a függvény fixpontjának).<br />
0<br />
Bizonyítás. Értelmezzük a , ϕ x = f x − x segédfüggvényt. A foly-<br />
tonos <strong>függvények</strong>kel végezhető műveletek tulajdonságai alapján ez a függvény is folytonos<br />
a [0, 1 intervallumon. Ha , akkor vagyis és találunk<br />
]<br />
ϕ ( 0)<br />
= 0 f ( 0) − 0= 0 f ( 0) = 0<br />
ϕ ( 0)<br />
≠ 0 f ( 0) f ( 0)<br />
( 1)<br />
= ϕ ( 1) ≠ 0 ( 1) ( 1) 1<br />
0, 1 ϕ ( 0) > 0 ϕ ( 1) < 0<br />
x0 ∈ ( 0, 1)<br />
ϕ ( x0<br />
) = 0<br />
( ) − = 0 f ( x ) x x<br />
egy fixpontot (éppen 0). Ha , akkor az -re tett feltevés miatt ϕ = > 0.<br />
ϕ , akkor f 1,<br />
az 1 fixpont; ha akkor ϕ = f − < 1− 1= 0.<br />
Összegezve a ϕ a [ ] intervallumon folytonos függvény, , , ezért<br />
Ha ( 1 ) =0<br />
a Bolzano-tétel szerint van a 0 és 1 között olyan , hogy , ami azt<br />
jelenti, hogy f x x vagy , tehát fixpontja a függvénynek.<br />
0 0<br />
0 = 0<br />
0<br />
2. Igazoljuk, hogy minden páratlan fokú valós polinomnak (egyenletnek) van<br />
2n+ 1 2n<br />
legalább egy valós gyöke, tehát az f ( x) = x + a1x + ... + a2nx+ a 2n+<br />
1 = 0<br />
egyenletnek van valós gyöke.<br />
( ) ( )<br />
Valóban, mivel lim f x = −∞ =−∞,<br />
a függvény felvesz negatív értékeket is.<br />
x→−∞<br />
( ) (<br />
) 2 1 n+<br />
2n+ 1<br />
Továbbá lim f x = + ∞ =+ ∞,<br />
ezért a függvény felvesz pozitív értékeket is. A<br />
x→+ ∞<br />
y<br />
1<br />
O<br />
M( x0, x0)<br />
Bolzano-tétel alapján létezik x0 ∈ úgy, hogy f x = 0 vagyis x0<br />
az egyenlet gyöke.<br />
x 0<br />
( )<br />
0<br />
1<br />
x<br />
15. ábra
<strong>Folytonos</strong> <strong>függvények</strong> 103<br />
f [ π ] ⎯⎯→ f ( x ) = 1+ 2sinx<br />
függvény folytonos a [ 0, π ]<br />
3. Az :0, ,<br />
intervallumon. Határozzuk meg a függvény képét.<br />
Mivel 0 sin x 1 0, π intervallumon, ezért 0 ≤ 2sin x ≤ 2 és hozzáadva 1-<br />
≤ ≤ a [ ]<br />
et 1≤ 1+ 2sin<br />
x ≤ 3 vagyis 1≤f ( x)<br />
≤ 3,<br />
ezért max f ( x)<br />
3 f<br />
x [ 0, π ]<br />
2<br />
π ⎛ ⎞<br />
= = ⎜ ⎟<br />
∈<br />
⎝ ⎠ és<br />
min f x = 1 = f 0 = f π . Mivel f folytonos a minimuma és a maximuma között<br />
x∈<br />
[ 0, π ]<br />
( ) ( ) ( )<br />
minden értéket felvesz. Így a függvény képe = ( [ 0, π ] ) = [ 1, 3]<br />
Im f f .<br />
4. Bizonyítsuk be, hogy ha az f :[ a, b] → függvény folytonos, f ( a) = f ( b)<br />
és x∈ ( a, b)<br />
esetén f ( x) f ( a)<br />
≥ , akkor tetszőleges 0 < l < b− a szám esetén van a<br />
függvény grafikonjának l hosszúságú, Ox tengellyel párhuzamos húrja.<br />
Legyen 0 l b a a, b− l intervallumon értelmezzük a h függvényt a<br />
következő módon:<br />
< < − . Az [ ]<br />
h( x) = f ( x+ l) − f ( x)<br />
.<br />
A feltevések szerint h( a) = f ( l−a) − f ( a)<br />
≥ 0 és hb ( l) f( b) f( b l)<br />
0<br />
− = − − ≤ .<br />
Ha a két egyenlőtlenség közül valamelyikben egyenlőség van akkor készen<br />
h a > és hb− l < )<br />
vagyunk; ha nincs egyenlőség akkor a Bolzano-tétel szerint ( ( ) 0<br />
van olyan x ∈( ab , − l)<br />
, hogy h( x ) = 0 , azaz f ( x l)<br />
f ( x )<br />
0<br />
0<br />
0 0 0<br />
( ) 0<br />
+ − = . Ez pedig azt<br />
jelenti, hogy a függvény grafikus képének van egy l hosszúságú, Ox tengellyel<br />
párhuzamos húrja.<br />
16. ábra<br />
5. Az f : → függvény eleget tesz az alábbi két feltételnek:<br />
( 1 ) minden x, y∈ esetén f ( x) − f ( y) ≤k⋅( x− y)<br />
, ahol k > 0 ;<br />
( 2 ) az f függvény folytonos az halmazon.<br />
Igazoljuk, hogy f bijektív függvény.<br />
y<br />
Aa ( , fa ( )) Bb ( , fb ( ))<br />
x 1<br />
a<br />
O<br />
b<br />
l<br />
x 2<br />
x
104 <strong>Folytonos</strong> <strong>függvények</strong><br />
I. x1 < x2<br />
esetén f ( x1) − f ( x2) ≤k( x1− x2)<br />
< 0 , tehát f ( x ) f ( x )<br />
így f ( x1) < f ( x 2)<br />
. Ha x1 > x2<br />
akkor f ( x2) f ( x1) k( x2<br />
x1)<br />
0<br />
hogy f ( x ) f ( )<br />
x ≠ x esetén ( , )<br />
− < és<br />
1 2 0<br />
− ≤ − < , ami azt jelenti,<br />
2 < x 1 . Tehát bármilyen 1 2 x1 x2∈ f ( x1) ≠ f ( x 2)<br />
,<br />
ami azt jelenti, hogy az f függvény injektív.<br />
II. Az ( 1) -es feltétel alapján f ( x) k x k y f ( y)<br />
x →−∞ esetén lim f ( x)<br />
=−∞,<br />
mert lim<br />
( kx − ky + f ( y)<br />
) =−∞.<br />
x→− ∞<br />
x→−∞<br />
Az ( 1) -es feltétel alapján f ( y) ky f ( x) k<br />
feltétel alapján létezik lim f ( y)<br />
= +∞ , mert lim ( ky f ( x) kx)<br />
y→+∞<br />
≤ ⋅ − ⋅ + . Rögzített y és<br />
≥ + − x. Rögzített x∈ esetén az előbbi<br />
y→+∞<br />
+ − =+∞.<br />
Az előbbi tulajdonság és a második feltétel alapján f ( x ) a −∞ és +∞ között minden<br />
értéket felvesz, tehát a függvény szürjektív.<br />
6. A folytonos függvény előjelének tanulmányozása<br />
Ha az f függvény folytonos az I intervallumon és f ( x) ≠ 0 , bármilyen x∈ I<br />
esetén, akkor f ( x ) állandó előjelű (előjeltartó) az I intervallumon.<br />
( ) 0<br />
f ( c ) = 0<br />
Valóban, ha feltételezzük, hogy nem előjeltartó akkor létezik a, b ∈ I úgy, hogy<br />
f a < és f ( b ) > 0 , amiből adódik, hogy létezik c az a és b között úgy, hogy<br />
, ami ellentmond a feltevésnek.<br />
Ezt a tulajdonságot alkalmazzuk a függvény előjelének a tanulmányozására.<br />
Pontosabban, legyen f : I → folytonos függvény, amelynek az I intervallumon<br />
véges sok gyöke van. Jelöljük ezeket<br />
x , x , ..., x , x + , ... , x -el (növekvő<br />
1 2 k k 1 n<br />
sorrendben). Mivel az I = ( x , ) intervallumon az ( ) 0<br />
gyöke, az -n<br />
k<br />
f ( x ) = 0<br />
k k x k+<br />
1<br />
f x = egyenletnek nincs<br />
I f előjeltartó. Hasonlóan x1 -től balra és xn -től jobbra is igaz, hogy az<br />
egyenletnek nincs gyöke, tehát itt is előjeltartó (állandó előjelű). Ahhoz,<br />
hogy megtudjuk az előjelet állapítani, kiszámítjuk egy helyen a függvényértéket.<br />
3 2<br />
Tanulmányozzuk az f : → , f ( x) = x − 6x + 11x−<br />
6 függvény előjelét.<br />
Mivel f ( x) = ( x−1)( x−<br />
2)(<br />
3)<br />
gyökei x 1 = 1 , x 2 = 2 , x 3 = 3 . Így a függvény előjeltartó az<br />
I = ( 2, 3)<br />
; I = ( 3, +∞ ) intervallumokon.<br />
1 ( ,1)<br />
3<br />
4<br />
x− minden x∈ esetén, az f ( x ) = 0 egyenlet<br />
( )<br />
I = − ∞ ; I = 1, 2 ;<br />
x −∞ 1 2 3 +∞<br />
f ( x ) −∞ – – – 0 + + + 0 – – – 0 + + + +∞<br />
lim<br />
x→−∞<br />
( )<br />
f x<br />
= −∞ ,<br />
3 39<br />
f 0<br />
2 8<br />
⎛ ⎞ ⎜ ⎟=<br />
> ,<br />
⎝ ⎠<br />
5 3<br />
f 0<br />
2 8<br />
⎛ ⎞ ⎜ ⎟=<br />
− <<br />
⎝ ⎠<br />
, lim f ( x)<br />
x→+∞<br />
= +∞ .<br />
2
<strong>Folytonos</strong> <strong>függvények</strong> 105<br />
7. Határozzuk meg azokat az<br />
teljesülnek a következő feltételek:<br />
* *<br />
f : + → + <strong>függvények</strong>et, amelyekre<br />
( 1 ) f x⋅ f ( y) = y⋅ f x<br />
*<br />
minden x, y ∈ + esetén;<br />
( ) ( )<br />
( 2 ) f ( x) → 0 , ha x →+ ∞ .<br />
Megoldás Az ( )<br />
(XXIV. Nemzetközi Matematikai Olimpia feladata)<br />
1 összefüggésből y = x esetén kapjuk, hogy<br />
f ( x⋅ f ( x) ) = x⋅ f ( x)<br />
.<br />
= ⋅ f ( x)<br />
( )<br />
Ez azt jelenti, hogy b x a függvény fixpontja, vagyis<br />
f b = b.<br />
*<br />
Legyen a ∈ + az f függvény egy tetszőleges fixpontja. Igazoljuk, hogy a = 1.<br />
Ha<br />
n ≥ 2 esetén elfogadjuk, hogy<br />
akkor ( ) ( ) ( (<br />
n−1 n−1<br />
f ( a ) = a<br />
) ) ( )<br />
n n−1 n−1 n−1 n−1 n<br />
f a = f a⋅ a = f a⋅ f a = a ⋅ f a = a ⋅ a=a<br />
.<br />
n<br />
a (n∈ )<br />
( a) f ( 1 a)<br />
( 1 ( ) ) = ⋅ f ( 1)<br />
; mivel a ≠ 0 az a a f ( 1)<br />
Ezért az összes számok szintén fixpontok. Továbbá a= f = ⋅ =<br />
= f ⋅ f a a<br />
= ⋅ egyenlőségből következik, hogy<br />
f () 1 = 1.<br />
Másrészt<br />
⎛1⎞ ⎛1 ⎞ ⎛1 ⎞<br />
a⋅ f ⎜ ⎟=<br />
f ⎜ ⋅ f ( a)<br />
⎟=<br />
f ⎜ ⋅a⎟=<br />
f () 1 = 1,<br />
⎝a⎠ ⎝a ⎠ ⎝a ⎠<br />
ahonnan<br />
⎛1⎞ 1<br />
⎛ 1 ⎞ 1<br />
f ⎜ ⎟=<br />
. Végül, hasonló gondolatmenet alapján kapjuk, hogy f ⎜ n ⎟=<br />
. Így az<br />
n<br />
⎝a⎠ a<br />
⎝a ⎠ a<br />
összes<br />
k<br />
alakú szám fixpontja a függvénynek. A 2 -es feltételből<br />
a ( k ∈)<br />
( )<br />
n<br />
következik, hogy a = 1,<br />
mert ellenkező esetben szerkeszthetnénk olyan xn a ±<br />
=<br />
sorozatot, amely a végtelenhez tart és amelyre a behelyettesítési értékek sorozata is<br />
*<br />
végtelenhez tart. Ezért minden x ∈ + esetén kapjuk, hogy x⋅ f ( x)<br />
= 1,<br />
ahonnan<br />
1<br />
f ( x)<br />
= , ∀ x > 0 .<br />
x<br />
n n−1<br />
8. Bizonyítsuk be, hogy az x x 1 0 n ≥ 2<br />
1, 2<br />
intervallumon pontosan egy valós gyöke van. Ha<br />
− − = , egyenletnek az [ ]<br />
α -nel jelöljük ezt a gyököt,<br />
igazoljuk, hogy az ( αn ) * sorozat konvergens és számítsuk ki a határértékét!<br />
n∈<br />
Megoldás. Tekintsük az fn :1,2 [ ] → , fn( x) n<br />
x<br />
n 1<br />
x 1<br />
−<br />
f n ( 1) =− 1 1 vagyis f n ( 2) > 0.<br />
Az n ( )<br />
[ 1, 2] intervallumon. Több gyök nincs, mivel az n<br />
és ez a gyök α n = 1+<br />
tn,<br />
( 1< αn<br />
< 2) , ahol 1 > tn<br />
≥0.<br />
Ekkor<br />
n n−1 n−1<br />
0= ( 1+ t ) − ( 1+ t ) − 1= ( 1+ t ) [ 1+ t −1] − 1= t<br />
n−1<br />
( 1+ t ) − 1.<br />
n<br />
= − − függvényt.<br />
f x folytonos, tehát van gyök az<br />
f szigorúan növekvő. Legyen n > 1<br />
n n n n n n<br />
Alkalmazva a Bernoulli egyenlőtlenséget, kapjuk, hogy
106 <strong>Folytonos</strong> <strong>függvények</strong><br />
rendezés után<br />
t ≥ 0 alapján következik, hogy<br />
n<br />
n−1<br />
( ) ( )<br />
1= tn 1+ tn ≥tn⎡ 1+ n−1 tn⎤<br />
⎣ ⎦ ,<br />
( ) 2<br />
n− 1 t + t −1≤ 0.<br />
n n<br />
− 1+ 4n−3 2 n−1<br />
1<br />
0≤tn≤<br />
< =<br />
2 n−1 2 n−1 n − 1<br />
.<br />
( ) ( )<br />
n + 1<br />
Mivel lim = 0 , a fogó tétel („rendőrelv”) alapján limt n = 0 . Azt kaptuk tehát,<br />
n→∞<br />
n −1<br />
n→∞<br />
hogy ( α ) sorozat konvergens és lim 1<br />
≥ α = .<br />
n n 1<br />
n→∞<br />
n<br />
9. Van-e olyan folytonos függvény, amely invertálható és amelynek az inverze<br />
nem folytonos?<br />
Megoldás. Adunk példát ilyen függvényre. Tekintsünk egy E ⊆ halmazt,<br />
amely nem intervallum: például<br />
E = ( −∞, −1) ∪{ 0} ∪ ( 1, + ∞ ) és<br />
f : E → <br />
függvényt, amelyet így értelmezzünk:<br />
⎧x+<br />
1, ha x<br />
1<br />
Ez a függvény szigorúan növekvő és folytonos (az x = 0 pont izolált pont és ezért itt<br />
−1 folytonos). Könnyű belátni, hogy invertálható és az f : → E függvény:<br />
⎧x−<br />
1, ha x<<br />
0<br />
−1<br />
⎪<br />
f ( x) = ⎨0,<br />
ha x=<br />
0 .<br />
⎪<br />
⎩x+<br />
1, ha x><br />
0<br />
Ez a függvény az x = 0 pontban nem folytonos.<br />
4.7. Gyakorlatok és feladatok<br />
1. Tanulmányozd a következő <strong>függvények</strong> folytonosságát:<br />
⎧ 2<br />
3x+ 1−1 ⎪ , x ≠ 0<br />
⎪ 2<br />
a) f : →, f( x)<br />
= x<br />
⎨ ; (Érettségi, 1989.)<br />
⎪3<br />
⎪⎩<br />
, x = 0<br />
2<br />
( ]<br />
x ⎧ e + ln x, ⎪<br />
b) f : ( 0, ∞) → , f( x)<br />
= ⎨ 1<br />
⎪ x−1<br />
⎩x<br />
,<br />
x∈<br />
0,1<br />
;<br />
x><br />
1<br />
⎧ 3 1<br />
x sin<br />
⎡ π ⎤ ⎪ x<br />
c) f : ⎢0, →<br />
2 ⎥ , f( x)<br />
= ⎨ , 2<br />
⎣ ⎦ ⎪<br />
x<br />
⎪⎩ 1,<br />
x ≠ 0;<br />
x = 0
<strong>Folytonos</strong> <strong>függvények</strong> 107<br />
⎧ 2 ⎡ 1 ⎤<br />
⎪x , 2<br />
d) f : →, f( x) = ⎢x⎥ ⎨ ⎣ ⎦<br />
⎪<br />
⎩1,<br />
x≠0<br />
;<br />
x = 0<br />
3 2 ⎧ x + x + x, e) f : →, f( x)<br />
= ⎨<br />
⎩4x+<br />
3,<br />
x∈<br />
;<br />
x∈\<br />
<br />
nx<br />
cos x + x−1⋅e f) f : →, f( x)<br />
= lim<br />
;<br />
n→∞<br />
nx<br />
1+<br />
e<br />
n 2<br />
2+ x ⋅ ( x + 5)<br />
g) f : →, f( x)<br />
= lim<br />
.<br />
n→∞<br />
n<br />
x( x + 5)<br />
(Felvételi, 1990. Galaţi)<br />
2. Határozd meg az a valós paraméter értékét úgy, hogy az alábbi <strong>függvények</strong><br />
folytonosak legyenek (külön-külön):<br />
a) f : → , ( ) 1<br />
⎧<br />
x ⎪<br />
( )<br />
sin x<br />
f x =<br />
x+ e , x≠0<br />
⎨ ;<br />
⎪ ⎩a,<br />
x=<br />
0<br />
b)<br />
3 2 ⎧ ⎪x<br />
+ a ,<br />
f : →, f( x)<br />
= ⎨<br />
⎪⎩ 3 x−a, x∈( −∞,<br />
a]<br />
;<br />
x∈( a,<br />
∞)<br />
c)<br />
nx<br />
2 −nx<br />
x −1 ⋅ e + a( x+ 1) e<br />
f : →, f( x)<br />
= lim<br />
;<br />
n→∞<br />
nx −nx<br />
e + e<br />
(Felvételi, 1977. Galaţi)<br />
3x<br />
⎧e , x∈[<br />
0,1]<br />
⎪<br />
d) f :0,2 [ ] → ,<br />
f() x =⎨sin ( x −1<br />
)<br />
(Felvételi, 1996. Bukarest)<br />
⎪a⋅<br />
, x∈<br />
2<br />
( 1, 2]<br />
⎩ x − 5x+ 4<br />
3. Igazold, hogy a következő <strong>függvények</strong> rendelkeznek a Darboux tulajdonsággal:<br />
⎧ 1<br />
⎧ 1<br />
⎪xsin<br />
, ha x≠0<br />
⎪sin<br />
, ha x ≠ 0<br />
a) f ( x) = ⎨ x ; b) f ( x) = ⎨ x .<br />
⎪<br />
⎩0,<br />
ha x = 0<br />
⎪<br />
⎩0,<br />
ha x = 0<br />
4. Igazold, hogy a következő <strong>függvények</strong> nem Darboux tulajdonságúak:<br />
x ⎧ e ,hax< 0<br />
a) f ( x)<br />
= ⎨ ;<br />
⎩x+<br />
2, ha x≥0<br />
⎧1,<br />
ha x > 0<br />
⎪<br />
b) f ( x) = ⎨0,<br />
ha x=<br />
0 .<br />
⎪<br />
⎩−<br />
1, ha x < 0<br />
5. Bizonyítsd be, hogy az f : →, 3 ⎧⎪ x ,<br />
f( x)<br />
= ⎨ 2<br />
⎪⎩ x ,<br />
x∈<br />
függvény nem<br />
x∈\<br />
<br />
Darboux tulajdonságú és határozd meg az összes olyan intervallumot, amelynek<br />
képe is intervallum!<br />
5 4 3 2<br />
6. Igazold, hogy az x −6x − 3x + x −x− 1=<br />
0 egyenletnek van pozitív gyöke.<br />
7. Bizonyítsd be, hogy az x = cos x egyenletnek van gyöke.<br />
4 3 5<br />
8. Van-e valós megoldása a x + x+ 2 = x − 8x+ 1 egyenletnek?<br />
9. Tanulmányozd az alábbi <strong>függvények</strong> előjelét:
108 <strong>Folytonos</strong> <strong>függvények</strong><br />
2<br />
f ( +∞) → f ( x) ( x 5x 6) ln( x 1)<br />
a) :1, ,<br />
x<br />
,1 , f ( x)<br />
= ;<br />
1+<br />
x<br />
b) f : →( −1<br />
)<br />
[ ]<br />
= − + ⋅ − ;<br />
c) f :0,2π→<br />
, f ( x) = sin x+<br />
cos x;<br />
( )<br />
3<br />
d) f : →, f x = x − 3x+ 2;<br />
2 x<br />
e) f : → , f ( x) = ( x −x) ⋅ e ;<br />
,1<br />
x<br />
, f ( x)<br />
=<br />
1+<br />
x<br />
10. Igazold, hogy az f : →( −1<br />
)<br />
−1<br />
inverze f : ( 1,1)<br />
függvény invertálható és az<br />
− → folytonos függvény.<br />
11. Határozd meg az összes f :0,1 [ ] → folytonos függvényt, amelyre<br />
( ⋅ ( ) ) = ( ) minden [ 0, 1]<br />
f x f x f x<br />
x∈ esetén.<br />
12. Bizonyítsd be, hogy ha az f : I → függvény Darboux tulajdonságú, akkor<br />
nincs elsőfajú szakadási pontja.<br />
13. Bizonyítsd be, hogy ha az f : I → függvény injektív és folytonos, akkor<br />
szigorúan monoton.<br />
14. Bizonyítsd be, hogy ha f : I → monoton és az Im f = f ( I)<br />
halmaz<br />
intervallum, akkor az f folytonos.<br />
15. Bizonyítsd be, hogy ha az f : [ ab , ] → [ ab , ] függvény Darboux tulajdonságú<br />
és véges sok szakadási pontja van, akkor van legalább egy fixpontja.<br />
16. Határozd meg az f : ( 0, ∞) → folytonos <strong>függvények</strong>et ha<br />
f ( xy) = f ( x) + f ( y)<br />
, ∀ xy , >0.<br />
f : ab , → ab , függvény folytonos, akkor<br />
17. Bizonyítsd be, hogy ha az [ ] ( )<br />
bármely n ≥ 3 természetes szám esetén létezik olyan ( ) ( , )<br />
n n<br />
∑<br />
haladvány, amelyre f ( c )<br />
=<br />
∑<br />
c<br />
k<br />
k<br />
k= 1 k=<br />
1<br />
c =<br />
k k 1, n<br />
⊂ a b számtani<br />
(Megyei olimpia, Dan Ştefan Marinescu)<br />
18. Az f : →,<br />
folytonos függvényre igaz a következő állítás:<br />
( xn ) ( )<br />
n≥<br />
1<br />
( f xn)<br />
n≥<br />
1<br />
Tetszőleges valós számsorozat pontosan akkor konvergens, ha az<br />
sorozat is konvergens.<br />
Bizonyítsd be, hogy az f függvény nem korlátos. (Megyei olimpia)<br />
1 1 1<br />
19. Bizonyítsd be, hogy az + + ... + = ln 2 egyenletnek egyetlen<br />
1+ x 2+<br />
x n+ x<br />
pozitív gyöke van. Ha xn -el jelöljük ezt a gyököt, számítsd ki a lim n x<br />
n→∞<br />
n<br />
határértéket! (Megyei olimpia, Cristinel Mortici)<br />
20. Határozd meg az összes f :0, [ ∞) →[ 0, ∞)<br />
folytonos függvényt, amelyre<br />
f( f( x)) + f( x) = 2 x, ∀ x∈<br />
0, ∞ . (Dorel Miheţ)<br />
[<br />
)
<strong>Folytonos</strong> <strong>függvények</strong> 109<br />
4.8. Egyenletes folytonosság<br />
Értelmezés. Az<br />
f : D→ ( D ⊆ ) függvény egyenletesen folytonos a D<br />
halmazon, ha bármilyen ε > 0 -ra létezik ( ) 0<br />
δ ε > úgy, hogy bármilyen 1, 2<br />
x x ∈ D,<br />
x1 x2 δ ( ε)<br />
f x1 − f x2 < ε egyenlőtlenség.<br />
Megfigyelhetjük, hogy ha az f függvény a D halmazon egyenletesen<br />
folytonos akkor ezen a halmazon folytonos is. Léteznek <strong>függvények</strong>, amelyek<br />
folytonosak, de nem egyenletesen folytonosak.<br />
1<br />
Példák 1. Mutassuk meg, hogy az f ( x)<br />
= függvény folytonos a ( 0, 1)<br />
x<br />
intervallumon, de nem egyenletesen folytonos.<br />
A folytonosság a intervallumon világos. Nem egyenletesen folytonos,<br />
− < esetén fennáll az ( ) ( )<br />
mert ha<br />
(0, 1)<br />
x 1 és x 2 kisebbek mint ε , ahol ε > 0 és „elég kicsi”, akkor<br />
nagyobbak mint 1<br />
ε<br />
( 1<br />
2<br />
)<br />
(„nagyon nagy szám”) és ezért f ( x ) f ( x )<br />
x ≠ x , tehát a folytonossága nem egyenletes.<br />
1<br />
x és<br />
1<br />
x − x<br />
1<br />
x<br />
ε<br />
2 1<br />
2 − 1 = > ,<br />
xx 1 2<br />
2<br />
2. Az f : → , f ( x) = sin x az -en folytonos, de nem egyenletesen<br />
folytonos.<br />
Valóban, ha x2= π<br />
( 2n+ 1) , x1= 2<br />
π<br />
( 2n− 1) akkor<br />
2<br />
x2 − x1<br />
=<br />
π<br />
π<br />
( 2n+ 1) +<br />
2<br />
π<br />
( 2n−1) 2<br />
és az<br />
π<br />
f ( x1) − f ( x2) = sin ( 2n+ 1) −sin ( 2n−1) 2<br />
2 2<br />
π = , tehát nem lehet<br />
tetszőlegesen kicsi szám, ami azt jelenti, hogy az f függvény nem egyenletesen<br />
folytonos az -en.<br />
3. Mutassuk meg, hogy az f : → , f ( x) = x+<br />
sin x függvény bár nem<br />
korlátos, egyenletesen folytonos az egész számtengelyen.<br />
x2 − x1 x1+ x2<br />
f ( x1) − f ( x2) = ( x2 − x1)<br />
+ 2sin cos =<br />
2 2<br />
x2 −x1 sin<br />
2 x1 + x2 = 1+ cos<br />
x2 −x1 2<br />
2<br />
⎛ x2 −x1<br />
⎜ sin<br />
x 2<br />
2 −x1 ≤ ⎜1+ ⎜ x2 −x1<br />
⎜<br />
⎝ 2<br />
⎞<br />
x1 + x ⎟<br />
2 cos ⎟ x1−x<br />
2 ≤<br />
2 ⎟<br />
⎠<br />
≤ 1+ 1 x − x = 2 x − x < ε ,<br />
( ) 2 1 2 1<br />
2
110 <strong>Folytonos</strong> <strong>függvények</strong><br />
ε<br />
ha x2 − x1<br />
< = δ ( ε ) . Tehát az f függvény egyenletesen folytonos.<br />
2<br />
Tétel. (Cantor tétele, Heine-tétel néven is emlegetik)<br />
Zárt intervallumon folytonos függvény egyenletesen folytonos ezen az<br />
intervallumon.<br />
a, b<br />
Bizonyítás. A tételt indirekt úton igazoljuk. Tegyük fel, hogy f az [ ]<br />
ε ∈ +<br />
intervallumon nem egyenletesen folytonos. Ez azt jelenti, hogy létezik olyan<br />
szám, hogy minden δ ∈ + esetén találjunk olyan s, t∈ [ a, b]<br />
számokat, amelyekre<br />
( 3 )<br />
s− t < δ és ( ) ( )<br />
tehát<br />
A<br />
*<br />
δ +<br />
f s − f t ≥ ε .<br />
*<br />
∈ szám tetszőlegesen megválasztható, bármely n∈ esetén vehetjük<br />
1 1<br />
-nek. Az<br />
n n<br />
számnak a ( 3 ) feltétel alapján megfelelő s , illetve t értéket<br />
*<br />
jelöljük xn -nel, illetve yn<br />
-nel. Így azt kapjuk, hogy bármely n∈ esetén létezik<br />
olyan x , y ∈ a, b , amelyekre<br />
n n [ ]<br />
Mivel x [ a, b<br />
n<br />
x y<br />
n n<br />
1<br />
n<br />
∈ ] , az ( ) 1<br />
− < és ( ) ( )<br />
lk<br />
xn n≥<br />
részsorozata. Legyen c lim x , ahol<br />
( l ) ( )<br />
f x f c ε<br />
k<br />
k→∞<br />
f x − f y ≥ ε .<br />
n n<br />
= c [ a, b]<br />
− < , mivel ( l ) ( lim x<br />
k<br />
lk<br />
)<br />
sorozat korlátos. Ezért van konvergens<br />
∈ . Ezért<br />
lim f x = f = f ( c)<br />
k k<br />
→∞<br />
ellentmond az ( ) ( l )<br />
folytonos.<br />
→∞<br />
1<br />
*<br />
xl−c ≤ , l és<br />
k<br />
k ∈<br />
l<br />
k<br />
(mivel f folytonos), de ez<br />
f xl − f y ≥ ε egyenlőtlenségnek, tehát f egyenletesen<br />
k<br />
k<br />
Gyakorlatok<br />
1. Igazoljuk, hogy az alábbi <strong>függvények</strong> egyenletesen folytonosak:<br />
π<br />
a) f : → , f ( x) = 2sinx−cosx; b) f : ( 0,1)<br />
→ , f ( x)<br />
= sin ;<br />
x<br />
2<br />
x<br />
2<br />
c) f :0,1 [ ] → , f ( x) = e ; d) f : → , f ( x) = 2sin x;<br />
x<br />
n<br />
e) f : ( 0, ∞) → , f ( x) = + x;<br />
f) f :1, ( ∞) → , f ( x) = x .<br />
x + 1<br />
2. Bizonyítsd be, hogy két egyenletesen folytonos függvény összege és szorzata is<br />
egyenletesen folytonos.<br />
3. Bizonyítsd be, hogy ha az f :0, [ ∞) → függvény folytonos és periodikus (a<br />
főperiódusa T > 0 ), akkor f egyenletesen folytonos a [ 0,∞ ) intervallumon.