MATEMATIKAI ANALÍZIS I. VALÓS SZÁMOK ÉS FÜGGVÉNYEK .........................................................................5 A valós számok halmaza.........................................................................................5 Valós függvények .................................................................................................12 II. VALÓS SZÁMSOROZATOK ....................................................................................31 Sorozatok megadási módjai ..................................................................................31 Másodrendű lineáris rekurziók .............................................................................35 Korlátos sorozatok ................................................................................................37 Monoton sorozatok ...............................................................................................39 Konvergens sorozatok...........................................................................................41 Sorozatok néhány tulajdonsága ............................................................................47 Műveletek konvergens sorozatokkal.....................................................................50 Végtelenhez tartó sorozatok..................................................................................55 Határozatlan esetek ...............................................................................................56 Összehasonlítási kritériumok ................................................................................59 Monoton és korlátos sorozatok .............................................................................62 A hányadoskritérium.............................................................................................65 Az e szám.............................................................................................................67 Az 1∞ határozatlan eset........................................................................................70 A Cezáro-Stolz tétel..............................................................................................71 Sorozatok alkalmazása feladatok megoldásánál ...................................................73 III. FÜGGVÉNYEK HATÁRÉRTÉKE ..........................................................................91 Függvény pontbeli határértékének értelmezése ....................................................91 Jobboldali és baloldali határértékek......................................................................95 A függvények végtelenben számolt határértéke ...................................................96 A határértékek tulajdonságai ................................................................................99 Alaphatárértékek.................................................................................................102 IV. FOLYTONOS FÜGGVÉNYEK ..............................................................................113 A folytonos függvények értelmezése..................................................................113 Műveletek folytonos függvényekkel ..................................................................118 Intervallumon folytonos függvények..................................................................121 V. DERIVÁLHATÓ FÜGGVÉNYEK ...........................................................................133 A derivált fogalmához vezető feladatok .............................................................133 A derivált értelmezése ........................................................................................134 Deriválható függvények folytonossága...............................................................136 Jobb- és baloldali derivált ...................................................................................137
Tartalomjegyzék
Az elemi függvények deriváltja ..........................................................................138 Műveletek deriválható függvényekkel................................................................139 Magasabbrendű deriváltak..................................................................................150 VI. DERIVÁLHATÓ FÜGGVÉNYEK TULAJDONSÁGAI ...........................................153 A matematikai analízis alaptételei ......................................................................153 VII. A HATÁROZATLAN ESETEK KIKÜSZÖBÖLÉSE .............................................161 A l’Hospital szabály............................................................................................161 A l’Hospital szabályok alkalmazása a határozatlan eseteknél ............................167 VIII. FÜGGVÉNYEK TANULMÁNYOZÁSA ...............................................................172 A monotonitás vizsgálata, egyenlőtlenségek ......................................................172 A deriválhatóság tanulmányozása a Lagrange tétel segítségével.........................178 Konvex és konkáv függvények...........................................................................180 Függvények ábrázolása.......................................................................................184 Egyenletek vizsgálata .........................................................................................200 A függvények vizsgálatának alkalmazásai .........................................................204 Kúpszeletek.........................................................................................................211 IX. ISMÉTLŐ FELADATOK ......................................................................................230
II ALGEBRA I. PERMUTÁCIÓK .....................................................................................................243 II. MÁTRIXOK ..........................................................................................................253 Műveletek mátrixokkal .......................................................................................254 Mátrixok hatványozása .......................................................................................267 III. LINEÁRIS EGYENLETRENDSZEREK MEGOLDÁSA ..................................... 279 2 vagy 3 ismeretlent tartalmazó egyenletrendszerek........................................279 A másod- és harmadrendű determinánsok tulajdonságai ............................289 Mátrix inverze .............................................................................................300 Mátrix rangja ..............................................................................................303 Elemi transzformációk ................................................................................310 n ismeretlenes, n egyenletből álló lineáris egyenletrendszerek .......................325 Mátrix inverze .............................................................................................334 m × n típusú mátrix rangja.........................................................................338 A lineáris egyenletrendszerek általános esetben .........................................346 IV. GEOMETRIAI ALKALMAZÁSOK ........................................................................365 Az egyenes egyenlete. Ismétlés ..........................................................................365 Két egyenes kölcsönös helyzete a síkban ...........................................................367 Három egyenes összefutása ................................................................................368 Egy háromszög területe ......................................................................................371 V. ÖSSZEFOGLALÓ GYAKORLATOK ÉS FELADATOK ..........................................379 ÚTMUTATÁSOK ÉS MEGOLDÁSOK .........................................................................400
Tartalomjegyzék
Valós számok és függvények
5
MATEMATIKAI ANALÍZIS I. VALÓS SZÁMOK ÉS FÜGGVÉNYEK A VALÓS SZÁMOK HALMAZA
AXIÓMÁK Az előző osztályok tanulmányai során használtuk a természetes, egész, racionális és valós számok tulajdonságait. Ezen tulajdonságok többsége a számokkal végezhető műveletekre vonatkozott. Ebben a fejezetben felelevenítjük az alapműveletek fontosabb tulajdonságait, a valós számok rendezésére vonatkozó tulajdonságokat és bevezetünk néhány más axiómát, amelyek a valós számok halmazára (tehát nemcsak a számokra) vonatkoznak. A valós számok halmazát \ -rel jelöljük. A valós számok halmaza a matematika eléggé bonyolult építménye, amely a tudomány sok évszázados fejlődése során számos nagy matematikus munkájának eredményeként jött létre. Mi nem fogjuk ezt a felépítést végigkövetni, csak azokat az elemeket választjuk ki, amelyek a vizsgálandó tulajdonságok megértéséhez szükségesek. Elevenítsük fel a valós számok ábrázolását egy irányított és beosztott tengelyen. Ha egy egyenesen rögzítünk egy irányt (1. ábra), egy kezdőpontot (origót) és egy mértékegységet (azaz, ha rögzítünk két pontot), akkor értelmezünk egy valós 2 1 4 5 5 4 1 2 számtengelyt. 3 3 3 3 3 3 3 3 0
1. ábra
1
2
1
0
2. ábra
1
2
Ezen a tengelyen megszerkeszthetjük (körzővel és vonalzóval) a természetes, egész és racionális számok képeit. A pozitív számokat pozitív irányban, a negatív számokat negatív irányban mérjük fel. Ugyanakkor nem racionális mennyiségeket is fel tudunk mérni, például az 1 befogójú egyenlő szárú derékszögű háromszög átfogóját. Ennek hossza 2 és 2 ∉ _ . Hasonló eljárással bármilyen y 3. ábra r , r ∈ _ alakú számot ábrázolhatunk. A megszerkeszthető (beosztás nélküli vonalzóval és körzővel) számok 1 halmaza nem a teljes \ . 2 Nem tudjuk megszerkeszteni például a 3 2 képét. Ennek bizonyítása egyáltalán nem egyszerű. Annak ellenére, x 0 1 2 hogy már az ókorból ismert (kocka kettőzésének problémája vagy a delosi probléma), a szerkeszthetőség lehetetlenségét alig a XIX. században bizonyították a Galois elmélet keretén belül (közben sok matematikus adott zseniális bizonyítást speciális görbék felhasználásával). A továbbiakban nem foglalkozunk a szerkeszthetőséggel, hanem feltételezzük, hogy minden valós szám egyértelműen ábrázolható a valós számtengelyen, azaz létezik egy bijektív leképezés az egyenes pontjai és a valós számok között.
Tartalomjegyzék
6
Valós számok és függvények
Az összeadás és a szorzás axiómái Megemlítjük az összeadás és a szorzás fontosabb tulajdonságait: A1. Minden a, b ∈ \ esetén létezik pontosan egy a + b -vel jelölt valós szám; A2. a + b = b + a , ∀ a, b ∈ \ (kommutativitás); A3. (a + b ) + c = a + (b + c ) , ∀ a, b, c ∈ \ (asszociativitás); A4. Létezik pontosan egy 0 -val jelölt valós szám, amelyre a + 0 = a , ∀a ∈ \ ; A5. Bármely a ∈ \ szám esetén létezik pontosan egy olyan x ∈ \ szám, amelyre a + x = 0 ( x az a ellentettje és −a -val jelöljük). M1. Minden a, b ∈ \ esetén létezik pontosan egy a ⋅ b -vel jelölt valós szám; M2. a ⋅ b = b ⋅ a , ∀ a, b ∈ \ (kommutativitás); M3. (ab )c = a (bc ) , ∀ a, b, c ∈ \ (asszociativitás); M4. Létezik pontosan egy olyan szám, amelyre x ⋅ a = a , bármely a ∈ \ esetén. Ezt 1 -gyel jelöljük; M5. Minden 0 -tól különböző a valós szám esetén létezik x ∈ \ úgy, hogy 1 a ⋅ x = 1 ( x az a szám inverze és -val jelöljük). a Az alábbi axióma kapcsolatot teremt a fenti két művelet között: D. (a + b) ⋅ c = a ⋅ c + b ⋅ c , ∀a, b, c ∈ \ (a szorzás disztributív az összeadásra nézve). Megjegyzés. Az A1, ..., A5, M1, ..., M5, D axiómákat testaxiómáknak is nevezzük, és a XII. osztályban részletesen fogjuk tanulmányozni. Következmények A valós számokkal végzett műveletek Minden a, b ∈ \ , (illetve c ∈ \* , d ∈ \ ) szám esetén létezik pontosan egy x ∈ \ a + x = b (illetve c ⋅ x = d ), úgy, hogy 1 ez a szám x = b + (−a ) (illetve x = d ⋅ ). c Az előbbi x szám a b és a számok különbsége (illetve d és c hányadosa) és b − a d val (illetve -vel) jelöljük. c Bizonyítsuk be az axiómák segítségével az a + x = b egyenlet megoldásának létezését és egyértelműségét! Ha a és b valós számok, akkor létezik az x = b + (−a ) szám. Az A1 és A5 axiómák alapján a + x = a + (b + (−a )) = a + ((−a ) + b ) . Tehát A2 alapján a + x = (a + (−a )) + b = 0 + b = b . Így x valóban megoldása az adott egyenletnek. Ha x ∈ \ esetén a + x = b , akkor mindkét oldalhoz hozzáadva (−a ) -t (a + x ) + (−a ) = b + (−a ) . kapjuk: A1 és A2 alapján (x + a ) + (−a ) = b + (−a ) és x + (a + (−a )) = b + (−a ) . Továbbá az A3, A5 és A4 axiómákat alkalmazva, kapjuk: x + 0 = b + (−a ) , x = b + (−a ) .
Tartalomjegyzék
Valós számok és függvények
7
Következésképpen az a + x = b egyenletnek pontosan egy megoldása van. Hasonlóan igazolható a c ⋅ x = d egyenlet megoldásának létezése és egyértelműsége. Megjegyzések. 1. Az A1, ..., A5, M1, ..., M5, D axiómák segítségével igazolhatók a valós számok eddig használt tulajdonságai. 2. A3 alapján (a + b ) + c = a + (b + c ) , ∀ a, b, c ∈ \ , tehát értelmezhető több szám összege:
a + b + c = (a + b ) + c = a + (b + c ) . (1) Az (1), A2 és A3 axiómákból következik, hogy az összeadás eredménye nem függ a tagok sorrendjétől sem, mert b + c + a = (b + c ) + a = a + (b + c ) = a + b + c . Induktív meggondolásokkal igazolható, hogy a tagok száma tetszőleges lehet. Hasonlóan az M3 alapján abc = (ab )c = a (bc ) , így a szorzat eredménye sem függ a tényezők sorrendjétől. Rendezési axiómák A következő négy axióma valós számok rendezésére vonatkozik: R1. Bármely két a, b ∈ \ számra a következő relációk közül pontosan egy érvényes: a > b , a = b , b > a (trichotómia); R2. Ha a > b és b > c , akkor a > c (tranzitivitás); R3. Ha a > b , c ∈ \ , akkor a + c > b + c ; R4. Ha a > b és c > 0 , akkor ac > bc . Értelmezések és jelölések. Az a > b relációt szóban így fejezzük ki: a nagyobb b -nél (vagy b kisebb a -nál), az a > b és b < a írásmód ugyanazt jelenti. Az a ≥ b szimbólum jelentése: az a > b , a = b relációk közül fennáll az egyik. Ha a > 0 , akkor a -t pozitív, ha a < 0 , akkor a -t negatív számnak nevezzük. Ha a ≥ 0 , akkor a -t nemnegatív, ha a ≤ 0 , akkor a -t nempozitív számnak nevezzük. Értelmezés. a) Ha az A ⊂ \ halmaz tartalmaz olyan elemet, amely A minden eleménél nagyobb, vagy egyenlő, akkor ezt az elemet az A halmaz legnagyobb elemének vagy maximumának nevezzük és max A -val jelöljük. b) Ha az A halmaz tartalmaz olyan elemet, amely A egyetlen eleménél sem nagyobb, akkor ezt az elemet az A halmaz legkisebb elemének vagy minimumának nevezzük és min A -val jelöljük. Így:
M = max A ⇔ a ≤ M , ∀a ∈ A és M ∈ A ; m = min A ⇔ m ≤ a , ∀a ∈ A és m ∈ A . Nem minden halmaznak van legkisebb, illetve legnagyobb eleme. Például az (1, 2) intervallumnak nincs sem legkisebb sem legnagyobb eleme, az [1, 2) intervallum legkisebb eleme az 1 és nincs legnagyobb eleme, míg az (1, 2] intervallumnak a 2 a legnagyobb elem, és nincs legkisebb eleme.
Tartalomjegyzék
8
Valós számok és függvények
A felső határ axiómája Értelmezés. Valamely A számhalmazt felülről (alulról) korlátosnak nevezünk, ha létezik olyan K ( k ) valós szám, amelyre minden x ∈ A esetén fennáll az x ≤ K ( x ≥ k ) egyenlőtlenség. Ekkor a K ( k ) számot az A számhalmaz egy felső (alsó) korlátjának nevezzük. Korlátos számhalmazon alulról is és felülről is korlátos számhalmazt értünk. A következő axióma felülről korlátos halmazokra vonatkozik: F. Ha A ≠ ∅ felülről korlátos számhalmaz, akkor létezik olyan H valós szám, amelyre: 1. minden x ∈ A esetén x ≤ H ; 2. ha K az A halmaz egy felső korlátja, akkor H ≤ K . Tulajdonképpen a H szám az A halmaz legkisebb felső korlátja, tehát az axióma kijelenti, hogy a felső korlátok halmazának van egy legkisebb eleme. Vegyük észre, hogy ez a H szám egyértelműen meghatározott. Tegyük fel ugyanis, hogy a H és H * számokra igaz az axiómában szereplő 1. és 2. tulajdonság. Ekkor 1. szerint mind H , mind pedig H * felső korlátja az A számhalmaznak, amiből 2. szerint következik egyrészt a H ≤ H * , másrészt a H * ≤ H egyenlőtlenség, vagyis H* = H . Az F axióma által biztosított H szám az A halmaz legkisebb felső korlátja, az A felső határának vagy szuprémumának nevezzük és sup A -val jelöljük. Az F axiómából adódik alulról korlátos számhalmazokra a következő állítás: Tulajdonság. Ha A ≠ ∅ alulról korlátos számhalmaz, akkor létezik olyan h valós szám, amelyre: 1. minden x ∈ A esetén x ≥ h ; 2. ha k az A halmaz egy alsó korlátja, akkor k ≤ h . A h szám az A halmaz legnagyobb alsó korlátja vagy alsó határa vagy infimuma és inf A -val jelöljük. Bizonyítás. Legyen B = {x ∈ \ −x ∈ A} . Ha k egy alsó korlátja az A halmaznak, akkor K = −k felső korlátja a B halmaznak és fordítva, tehát B felülről korlátos. Ha H = sup B , akkor minden y ∈ B esetén y ≤ H , tehát h = −H egy (1) alsó korlátja az A halmaznak (minden x ∈ A esetén h ≤ x ) Ha k egy tetszőleges alsó korlátja az A halmaznak, akkor K = −k felső korlátja a B halmaznak, tehát az F axióma alapján H ≤ K . Így −K ≤ −H , tehát k ≤ h . (2) Az (1) és a (2) egyenlőtlenség fennállása azt jelenti, hogy állításunkat igazoltuk. Így, ha A egy korlátos halmaz, akkor létezik szuprémuma is és infimuma is. A következő két jellemzés fontos az alkalmazásokban: a) Legyen az A számhalmaz felülről korlátos, és legyen H = sup A . A H értelmezéséből következik, hogy H -nál nagyobb szám nincs az A halmazban. Tetszés szerinti ε > 0 szám esetében viszont a H − ε szám nem felső korlátja az A halmaznak, tehát létezik olyan x ∈ A elem, amelyre x > H − ε .
Tartalomjegyzék
Valós számok és függvények
9
b) Az alulról korlátos B számhalmaz esetében nincs B -ben a h = inf B számnál kisebb elem, viszont tetszőleges ε > 0 számhoz létezik olyan y ∈ B , amelyre fennáll az y < h + ε egyenlőtlenség. Példák. 1. Vezessük be a következő jelöléseket: \ + = {x ∈ \ x ≥ 0} , \*+ = {x ∈ \ x > 0} , \ − = {x ∈ \ x ≤ 0} ,
\*− = {x ∈ \ x < 0} . Állíthatjuk, hogy az \ − és \*− halmazok felülről korlátosak és mindkettőnek a szuprémuma 0 : sup \ − = sup \*− = 0 . Az \ − tartalmazza a szuprémumát, míg az \*− nem. 2. Az A = (1, ∞) halmaz alulról korlátos és felülről nem. 0 ≤ x , ∀ x ∈ A , tehát a 0 egy alsó korlátja A -nak. Az A alsó korlátjainak halmaza a (−∞,1] intervallum, tehát a legnagyobb alsó korlát az 1 , így inf A = 1 . Látható, hogy az A halmaznak nincs sem legnagyobb, sem legkisebb eleme. 3. A B = [5, 2002) halmaz alulról és felülről is korlátos, mert 5 ≤ x ≤ 2002 , ∀x ∈ B . Az alsó korlátok halmaza (−∞, 5] és a felső korlátok halmaza [2002, ∞) . Így a B halmaz szuprémuma 2002 és infimuma 5 , ugyanakkor a halmaz legkisebb eleme 5 és nincs legnagyobb eleme. 4. Az ` halmaz alulról korlátos, felülről nem. A halmaz legkisebb eleme a 0 , ez egyben az infimuma is. A következő pontokban az ismertetett axiómák néhány lényeges következményével ismerkedhetünk meg. Az Arkhimédész féle axióma Sokszor alkalmazzuk majd a következő, úgynevezett Arkhimédész féle axiómát: A. Minden a és b pozitív valós számhoz található olyan n természetes szám, amelyre n ⋅ a > b . Következmények. 1. a = 1 esetén következik, hogy bármely b valós számnál van nagyobb természetes szám. 2. Az A és F axiómák következménye tetszőleges valós szám egészrészének létezése. Így ∀ x ∈ \ esetén létezik n ∈ ] úgy, hogy n ≤ x < n + 1 . Az n számot az x valós szám egészrészének nevezzük és [x ] -szel jelöljük. Tehát [x ] ≤ x < [ x ] + 1 , ∀ x ∈ \ . A valós szám egészrészének segítségével értelmezhetjük a törtrészét is, mint a szám és az egészrészének különbsége. Az x valós szám törtrészét {x } -szel jelöljük és értelmezés alapján: {x } = x − [x ] , ∀x ∈ \ . A fentiekből látható, hogy 0 ≤ {x } < 1, ∀ x ∈ \ .
Tartalomjegyzék
10
Valós számok és függvények
Példák. 1. Az x = 2, 3 szám egészrésze [2, 3 ] = 2 és a törtrésze {2, 3} = 0, 3 . Pozitív számok esetén a tizedes reprezentáció vessző előtti rész a szám egészrésze és a tizedesvessző utáni rész a szám törtrésze. 2. Az x = −5, 8 szám egészrésze [−5, 8 ] = −6 , mert −6 ≤ −5, 8 < −5 . Így a törtrésze {−5, 8} = −5, 8 + 6 = 0, 2 . 3. Bármely két különböző valós szám között van racionális szám (ha a, b ∈ \ , a < b , akkor létezik r ∈ _ úgy, hogy a < r < b ). Valóban b − a > 0 és Arkhimédész axiómája alapján a b − a és 1 pozitív számokra ∃n ∈ `* úgy, hogy n (b − a ) > 1 , tehát na + 1 < nb . Másrészt létezik [na ] = m ∈ ] , következik, hogy m ≤ na < m + 1 , tehát m + 1 ≤ na + 1 < nb . Így m +1 m +1 < b és ∈_. na < m + 1 < nb , következésképpen a < n n 4. A 2. következmény alapján bármely két a, b ∈ \ , a < b valós szám között végtelen sok racionális szám létezik. Valóban, ha r ∈ _ és a < r < b , akkor létezik r1 ∈ _ úgy, hogy a < r1 < r , stb. 5. Bármely két különböző valós szám között van irracionális szám (ha a, b ∈ \ ,
a < b , akkor létezik r ∈ \ \ _ úgy, hogy a < r < b ). Ha a < b , akkor R3 alapján a − 2 < b − 2 , tehát a 2. következményből ∃q ∈ _ úgy, hogy a − 2 < q < b − 2 , így a < q + 2 < b , ahol q + 2 ∈ \ \ _ . 6. A 4. következmény alapján két a, b ∈ \, a < b valós szám között végtelen sok irracionális szám létezik. ⎪⎧ 1 ⎪⎫ n ∈ `* ⎪⎬ halmaz Megoldott feladat. Határozzuk meg az A = ⎪ ⎨ ⎪⎩⎪n + 1 ⎪⎭⎪ minimumát, maximumát, infimumát és szuprémumát! 1 1 ≤ , ∀ n ∈ `* , az A halmaz alulról is és felülről is korlátos, tehát Mivel 0 < n +1 2 1 , ez tehát egyúttal a létezik alsó és felső határa. A halmaz legnagyobb eleme 2 szuprémuma is. Bizonyítjuk, hogy a halmaz alsó határa a 0 . Az értelmezés alapján a következő két állítást kell igazolnunk: 1 , ∀ n ∈ `* , ezt már beláttuk, hogy igaz; 1. 0 < n +1 1 <ε. 2. ∀ ε > 0 esetén létezik ∃ n ∈ `* úgy, hogy n +1 1 − 1 < n egyenlőtlenséggel, tehát Az utóbbi egyenlőtlenség ekvivalens az ε ⎡1 ⎤ ⎡1 ⎤ ⎡1 ⎤ n > ⎢ − 1⎥ + 1 . De ⎢ − 1⎥ + 1 = ⎢ ⎥ , és mivel a keresett n szám nem lehet nulla, ⎣⎢ ε ⎦⎥ ⎣⎢ ε ⎦⎥ ⎣⎢ ε ⎥⎦
Tartalomjegyzék
Valós számok és függvények
11
⎛⎡ 1 ⎤ ⎞ ezért az n = max ⎜⎜⎜ ⎢ ⎥ ,1⎟⎟⎟ értékre biztosan teljesül a kért egyenlőtlenség. Tehát ⎝ ⎢⎣ ε ⎥⎦ ⎠ inf A = 0 . Mivel 0 ∉ A , a halmazban nincs legkisebb elem. Gyakorlatok 1. Határozd meg a következő halmazok alsó és felső határát, legnagyobb és legkisebb elemét (amennyiben ezek léteznek): a) A = ] ; b) A = _ ; c) A = (−∞, 5) ; d) A = (−∞,10] ; e) A = (7, ∞) ; f) A = [2000, ∞) ; g) A = (−3,100) ; i) (−3, 5] ∪ {11} ;
j) A = (−∞, 2] ∪ (3, ∞) ;
⎧⎪ n ⎫⎪ n ∈ `⎪⎬ ; l) A = ⎪ ⎨ ⎪⎩⎪n + 2 ⎪⎭⎪
{
h) A = [−8,13) ;
k) (−2, 5] ∪ (6,103] ;
⎧ 2n 2 ⎫ ⎪ ⎪ n ∈ `* ⎪ m) A = ⎪ ⎨ 2 ⎬; ⎪ ⎪ ⎪n + 1 ⎪ ⎩ ⎭ o) A = x ∈ _ 2x + 3 ≤ x ;
}
{
n) A = x ∈ \ x − 2 ≤ 1 ;
}
⎧⎪ ⎫ ⎪ x 2 − 5x + 4 > 0⎪⎬ ; r) A = x ∈ \ x − 2 x − 1 > 1 . p) A = ⎪ ⎨x ∈ \ ⎪⎩⎪ ⎪⎭⎪ x +3 2. Határozd meg a következő számok egészrészét és törtrészét: 17 135 3n 2 n , n ∈ `* ; d) a = 2 ,n ∈ ` . a) a = ; b) a = − ; c) a = 5 3 n +2 n+3 3. Oldd meg a következő egyenleteket: ⎡ 4x + 1 ⎤ ⎡ 3x − 1 ⎤ ⎡ 2x + 1 ⎤ ⎡x + 1⎤ a) ⎢ b) ⎢ c) ⎢ ⎥=⎢ ⎥; ⎥ = 2; ⎥ = x −2; ⎣⎢ 3x − 1 ⎦⎥ ⎣⎢ 3 ⎦⎥ ⎣⎢ 5 ⎦⎥ ⎣⎢ 2 ⎦⎥ 2x + 1 1 x +1 = ; = [x − 1 ] . d) e) 3 2 2
{
{
}
{
}
}
Feladatok 1. Bizonyítsd be, hogy ha az alábbi egyenlőségekben szereplő kifejezések léteznek, akkor az egyenlőségek igazak ( A, B ⊂ \ ):
{
}
a) inf (A + B ) = inf A + inf B , ahol A + B = a + b a ∈ A, b ∈ B ; b) sup (A + B ) = sup A + sup B ;
{
}
c) inf (λ ⋅ A) = λ ⋅ inf A , ahol λ ⋅ A = λ ⋅ a a ∈ A és λ ∈ \ + ; d) sup (λ ⋅ A) = λ ⋅ sup A , ahol λ ∈ \ + . Hasonló egyenlőségek igazak akkor is, ha az infimum és szuprémum helyett minimum illetve maximumot írunk. 2. Bizonyítsd be, hogy ha f , g : [a, b ] → \ és az alábbi egyenlőtlenségekben szereplő kifejezések léteznek, akkor az egyenlőtlenségek igazak: a) max ( f (x ) + g(x )) ≤ max f (x ) + max g(x ) ; x ∈[a ,b ]
x ∈[a ,b ]
x ∈[a ,b ]
Tartalomjegyzék
12
Valós számok és függvények b) min ( f (x ) + g(x )) ≥ min f (x ) + min g(x ) ; x ∈[a ,b ]
x ∈[a ,b ]
x ∈[a ,b ]
c) max ( f (x ) ⋅ g(x )) ≤ max f (x ) ⋅ max g(x ) , ha f , g : [a, b ] → \ + . x ∈[a ,b ]
x ∈[a ,b ]
x ∈[a ,b ]
Hasonló egyenlőségek igazak akkor is, ha a minimum illetve maximum helyett infimumot és szuprémumot írunk. 3. Bizonyítsd be, hogy ha a ≤ b , ∀ a ∈ A és ∀ b ∈ B ( A, B ⊂ \ ), akkor
sup A ≤ inf B . 4. Számítsd ki a következő kifejezések egészrészét és törtrészét: 2001 n(n + 1) b) n 2 + n − 1 , n ∈ `* ; c) , n ∈ `. a) (2 + 3 ) ; 6 5. Számítsd ki a következő összegeket: n n 2003 k ⎡ k (k + 1) ⎤ b) ∑ ⎢ c) ∑ (3 + 2 2 ) . a) ∑ ⎡⎢ k 2 + k + 1 ⎤⎥ ; ⎥; ⎣ ⎦ 6 ⎥⎦ k =1 k =1 k =1 ⎢⎣
{
{
{
6. Számítsd ki a min max x 2 + y + z , y 2 + z + x , z 2 + x + y x ,y , z ∈ \
}
}} kifejezés értékét!
VALÓS FÜGGVÉNYEK Korábbi osztályokban értelmeztük a valós változós valós függvényeket. Vizsgáltuk a függvény néhány tulajdonságát (monotonitás, paritás, periodicitás, injektivitás, szürjektivitás, bijektivitás, konvexitás, konkavitás). Elkészítettük néhány fontosabb függvény grafikus képét, kiemelve annak jelentőségét a függvények tanulmányozása során. Vizsgáltunk néhány függvényműveletet valamint az inverz függvényt is. Ebben a fejezetben felelevenítünk néhány fontosabb függvényt (hatványfüggvény, exponenciális, logaritmus, trigonometrikus függvényeket), valamint értelmezzük a polinomfüggvényt. Megemlítjük ezek fontosabb tulajdonságait, elkészítjük a grafikus képüket, majd a későbbi fejezetekben a matematikai analízis eszközeivel indokoljuk is ezeket a tulajdonságokat. Mindenekelőtt említsünk meg néhány fontos tulajdonságot: Monotonitás Azt mondjuk, hogy az f : D ⊂ \ → \ függvény növekvő (szigorúan növekvő) az
I ⊂ D intervallumon, ha ∀x 1,2 ∈ I , x 1 < x 2 esetén f (x 1 ) ≤ f (x 2 ) ( f (x 1 ) < f (x 2 ) ). Azt mondjuk, hogy az f : D ⊂ \ → \ függvény csökkenő (szigorúan csökkenő) az I ⊂ D intervallumon, ha ∀x 1,2 ∈ I , x 1 < x 2 esetén f (x 1 ) ≥ f (x 2 ) ( f (x 1 ) > f (x 2 ) ). Azt mondjuk, hogy az f : D ⊂ \ → \ függvény monoton (szigorúan monoton) az I ⊂ D , intervallumon, ha növekvő vagy csökkenő I -n (illetve szigorúan növekvő vagy szigorúan csökkenő). Megjegyzések. 1. Minden szigorúan monoton függvény egyben monoton is. 2. Az f : D ⊂ \ → \ függvény monotonitását az
Tartalomjegyzék
Valós számok és függvények
13
f (x1 ) − f (x 2 ) tört segítségével is vizsgálhatjuk, ahol x 1,2 ∈ D és x1 ≠ x 2 . x1 − x 2 Ha a tört pozitív (szigorúan pozitív) minden x 1,2 ∈ I ⊂ D , x1 ≠ x 2 esetén, akkor a függvény növekvő (szigorúan növekvő) I -n. Ha a tört negatív (szigorúan negatív) minden x 1,2 ∈ I ⊂ D , x 1 ≠ x 2 esetén, akkor a függvény csökkenő (szigorúan csökkenő) I -n. Függvények szélsőértékpontjai Értelmezés. Azt mondjuk, hogy x 0 ∈ D az f : D ⊂ \ → \ függvény maximumpontja (minimumpontja) és
f (x 0 )
a függvény maximuma (minimuma), ha
f (x 0 ) ≥ f (x ) ( f (x 0 ) ≤ f (x ) ) ∀x ∈ D . Azt mondjuk, hogy x 0 ∈ D az f : D ⊂ \ → \ függvény szélsőértékpontja és f (x 0 ) a függvény szélsőértéke, ha x 0 minimum- vagy maximumpont. Konvexitás és konkavitás Értelmezés. 1. Az f : D ⊂ \ → \ függvény konvex az I ⊂ D intervallumon, ha minden x1, x 2 ∈ I (x1 < x 2 ) és λ ∈ [0, 1] esetén
f (λx1 + (1 − λ ) x 2 ) ≤ λ f (x1 ) + (1 − λ ) f (x 2 ) . 2. Az f : D ⊂ \ → \ függvény konkáv az I ⊂ D intervallumon, ha minden x1, x 2 ∈ I (x1 < x 2 ) és λ ∈ [0, 1] esetén f (λx1 + (1 − λ ) x 2 ) ≥ λ f (x 1 ) + (1 − λ ) f (x 2 ) . Megjegyzések. 1. Ha az értelmezésben szereplő egyenlőtlenségek szigorúak, akkor szigorúan konvex, illetve szigorúan konkáv függvényről beszélünk. 2. Ezek az egyenlőtlenségek azt fejezik ki, hogy egy konvex függvény grafikus képének minden húrja a grafikus kép fölött helyezkedik el (3. ábra), míg egy konkáv függvény grafikus képének minden húrja a grafikus kép alatt helyezkedik el (4. ábra). Így, ha egy n oldalú sokszög csúcsai egy konvex függvény grafikus képén vannak, akkor, ha a csúcsokba a λ1, λ2 , λ3,..., λn súlyokat helyezzük, a tömegközéppont a grafikus kép fölött lesz, konkáv függvény esetén pedig a grafikus kép alatt. Ezeket a tulajdonságokat Jensen tétele fejezi ki. y y
y=f(x)
y=f(x) x
3. ábra
x
4. ábra
Tartalomjegyzék
14
Valós számok és függvények
Tétel. (Jensen) Az f : I → \ függvény pontosan akkor konvex az I intervallumon, ha bármely x1, x 2 , ... , x n ∈ I és λ1, λ2 , ... , λn ∈ [0, 1] ,
n
∑λ
k
= 1 esetén
k =1
n ⎛ n ⎞ f ⎜⎜ ∑ λk x k ⎟⎟⎟ ≤ ∑ λk f (x k ) . ⎜⎝ k =1 ⎠ k =1 1 Megjegyzések. 1. Ha λ1 = λ2 = ... = λn = , akkor az előbbi egyenlőtlenség az n ⎛1 n ⎞ 1 n f ⎜⎜ ∑ x k ⎟⎟⎟ ≤ ∑ f (x k ) alakban írható fel. ⎜⎝ n k =1 ⎠ n k =1 2. Az előbbi tétel n szerinti matematikai indukcióval igazolható. 3. Konkáv függvények esetén a fordított egyenlőtlenség áll fenn.
Injektivitás, szürjektivitás, bijektivitás Értelmezések Az f : A → B függvény injektív, ha ∀ x1, x 2 ∈ A , x1 ≠ x 2 ⇒ f (x 1 ) ≠ f (x 2 ) . Az f : A → B függvény szürjektív, ha ∀ y ∈ B ∃x ∈ A úgy, hogy f (x ) = y . Az f : A → B függvény bijektív, ha injektív és szürjektív. Grafikus értelmezés
{
}
Ha A, B ⊂ \ , akkor a Gr f = (x , f (x )) x ∈ A
halmaz képe a derékszögű
koordinátarendszerben az f : A → B függvény grafikus képe. Bármely Ox -szel húzott párhuzamos legfeljebb egy pontban metszi egy injektív függvény grafikus képét. Az 5. ábrán látható függvény nem injektív, mert például a d2 egyenes két különböző pontban metszi a grafikus képet (azaz x1 ≠ x 2 esetén f (x1 ) = f (x 2 ) ). A 6. és 7. ábrán látható függvények injektívek. Az Oy tengelyen az értéktartomány bármely pontján át az Ox -szel húzott párhuzamos legalább egy pontban metszi egy szürjektív függvény grafikus képét. Az 5. ábrán látható függvény nem szürjektív, ha értéktartománya \ , mert például a d1 és d 3 egyenesek nem metszik a grafikus képet, viszont ha f : [a, b ] → [c, d ] , akkor szürjektív. Hasonlóan a 6. ábrán látható függvény nem szürjektív, ha értéktartománya \ , de leszűkíthető szürjektív függvénnyé. A 7. ábrán látható függvény szürjektív. Általában bármely f : A → B függvény esetén f1 : A → Im f szürjektív. ( Im f a függvény képeinek halmaza, Im f = f (A) = {f (x ) x ∈ A} ) Az Oy tengelyen az értéktartomány bármely pontján át az Ox -szel húzott párhuzamos pontosan egy pontban metszi egy bijektív függvény grafikus képét. A 7. ábrán látható függvény bijektív.
Tartalomjegyzék
Valós számok és függvények
15
Megjegyzés. Minden szigorúan monoton függvény injektív. y y
y
d3
d
x1 d2
a
x2
d1 b
x
x
x
c
d1
5. ábra
6. ábra
7. ábra
Inverz függvény Értelmezés. Azt mondjuk, hogy az f : A → B függvény invertálható, ha létezik a g : B → A függvény úgy, hogy f D g = 1B és g D f = 1A , ahol 1A : A → A , 1A (x ) = x , ∀x ∈ A az A halmazon értelmezett identikus függvény. Ha létezik a g függvény, akkor egyértelműen meghatározott, g = f −1 -nel jelöljük és az f függvény inverzének nevezzük. A X. osztályban bizonyítottuk a következő tételt: Tétel. Az f : A → B függvény pontosan akkor invertálható, ha bijektív. A X. osztályos ismereteink alapján kijelenthetjük a következő tételt: Tétel. Ha f : A → B , A, B ⊂ \ bijektív f −1 : B → A az inverze, akkor: a) Ha f monoton, akkor f −1 ugyanolyan monotonitású. b) Ha f növekvő és konvex (konkáv), akkor f −1 konkáv (konvex) c) Ha f csökkenő és konvex (konkáv), akkor f −1 konvex (konkáv) y 8.ábra
9. ábra
y b
P
M T
a
N
x
O y= x
f(x )
M' a
b
x
O
x
f(x )
x
Grafikus értelmezés Ha M (a, b ) ( a ∈ A ⊂ \ , b ∈ B ⊂ \ ) az f : A → B invertálható függvény grafikus képének egy pontja, akkor f (a ) = b , tehát f −1 (b ) = f −1 ( f (a )) = a , így az
Tartalomjegyzék
16
Valós számok és függvények
M ′ (b, a ) pont rajta van az inverz függvény grafikus képén. Az M és M ′ pontok szimmetrikusak az első szögfelezőre nézve ( y = x ) (8. ábra), tehát érvényes a következő tétel: Tétel. Ha az f : A → B ( A, B ⊂ \ ) függvény bijektív és f −1 : B → A az inverze, akkor az f és f −1 függvények grafikus képei szimmetrikusak az első szögfelezőre nézve. (9. ábra) Tengelyre, pontra szimmetrikus grafikus képek, periodicitás Értelmezések 1. A D ⊂ \ halmaz szimmetrikus az a ∈ \ számra nézve, ha bármely x ∈ D esetén 2a − x ∈ D (azaz a − α ∈ D ⇒ a + α ∈ D ). Ha a = 0 , akkor azt mondjuk, hogy a halmaz szimmetrikus ( x ∈ D ⇒ −x ∈ D ). 2. Ha a D ⊂ \ halmaz szimmetrikus az a ∈ \ számra nézve és f : D → \ , f (2a − x ) = f (x ) minden x ∈ D esetén, akkor a függvény grafikus képe szimmetrikus az x = a egyenesre nézve (10. ábra). 3. Ha a = 0 , f : D → \ , f (x ) = f (−x ) , minden x ∈ D esetén, akkor azt mondjuk, hogy az f függvény páros, és a grafikus képe szimmetrikus az Oy -ra nézve. 4. Ha a D ⊂ \ halmaz szimmetrikus az a ∈ \ számra nézve és f : D → \ , f (2a − x ) = 2b − f (x ) minden x ∈ D esetén, akkor a grafikus kép szimmetrikus az (a, b ) pontra nézve. Ha a ∈ D , akkor f (a ) = b (11. ábra). 5. Ha a = b = 0 , f : D → \ , f (−x ) = −f (x ) minden x ∈ D esetén, akkor azt mondjuk, hogy az f függvény páratlan, és a grafikus képe szimmetrikus az origóra nézve. y y x=a f(2a-x) 10. ábra 11. ábra b f(x) x a 2a-x
x
x a 2a-x
x
y
6. Az f : D → \ függvény periodikus, ha létezik *
a
b 12. ábra
x
0
{
t ∈ \ úgy, hogy minden x ∈ D esetén x + t ∈ D és f (x + t ) = f (x ) ∀x ∈ D . Tehát a grafikus kép (b − a = t ) megszerkeszthető az [a, b ) ∩ D halmazra való leszűkítésből Ox -szel párhuzamos, nt , n ∈ ] nagyságú eltolások segítségével (12. ábra). A legkisebb pozitív T számot (ha létezik), amelyre f (x + T ) = f (x ) , ∀x ∈ D a függvény
T
Tartalomjegyzék
Valós számok és függvények
17
főperiódusának nevezzük, minden további t , ami ezzel a tulajdonsággal rendelkezik periódusa a függvénynek. A hatványfüggvény Értelmezés. Az fα : \∗+ → \ , fα (x ) = x α , α ∈ \* függvényt hatványfüggvénynek nevezzük Tétel a) Ha α > 0 , akkor az fα : \∗+ → \ , fα (x ) = x α függvény szigorúan növekvő. b) Ha α < 0 , akkor az fα : \∗+ → \ , fα (x ) = x α függvény szigorúan csökkenő. c) Ha α = 0 , akkor az f0 : \∗+ → \ , f0 (x ) = 1 függvény állandó. Megjegyzések 1. Ha n ∈ `* akkor a hatványfüggvény értelmezhető \ -en és a következő tulajdonságokkal rendelkezik: a) Ha n páros, akkor az fn : \ → \ , fn (x ) = x n függvény páros, szigorúan csökkenő a (−∞, 0) intervallumon és szigorúan növekvő a [ 0, ∞) intervallumon. b) Ha n páratlan, akkor az fn : \ → \ , fn (x ) = x n függvény páratlan és szigorúan növekvő \ -en. 2. Ha α ∈ \ \ [0,1) , akkor az fα függvény szigorúan konvex, míg ha α ∈ (0,1] , akkor fα szigorúan konkáv. 3. Ha α ∈ \* , akkor az fα : \*+ → \*+ , fα (x ) = x α függvény bijektív és inverze 1
f 1 : \*+ → \*+ , f 1 (x ) = x α . α
α
1
4. Nem tárgyaltuk külön a gyökfüggvényt, mert n x = x n , így az f : \*+ → \ , f (x ) = n x függvény szintén hatványfüggvény és az fn inverze, sőt páratlan n esetén értelmezhető az egész \ -en. A 13. ábrán néhány hatványfüggvényt ábrázoltunk: x4 y
x2
x 3/2
x 1/2
x
x3
Tartalomjegyzék
18
Valós számok és függvények 13. ábra
Az exponenciális függvény és a logaritmusfüggvény Értelmezés. Az fa : \ → \∗+ , fa (x ) = a x , a ∈ (0, ∞) \ {1} függvényt a alapú exponenciális függvénynek nevezzük. A X. osztályos tanulmányok alapján megfogalmazhatjuk a következő tulajdonságokat: Tétel a) Ha a > 1 , akkor az fa függvény szigorúan növekvő. b) Ha 0 < a < 1 , akkor az fa függvény szigorúan csökkenő. c) Az fa függvény bijektív minden a ∈ (0, ∞) \ {1} esetén. d) Az fa függvény konvex minden a ∈ (0, ∞) \ {1} esetén. A 14. és 15. ábrán látható egy-egy exponenciális függvény grafikus képe a 0 < a < 1 illetve a > 1 esetekben.