Dr Obádovícs J. Gyula természettudí mányid műszaki doktor, a matemotik tudományok kandidátusa. A Gödöllői Agrártudományi Egyetem volt tanszékvezetője. 13 könyv, 30 egyetemi jegyzet, 52 tudo mányos pubíikáció szerzője. A magyar számítástechnika oktatás egyik megteremtője.- .
.
Dr. Szarka Zoltán műszaki doktor, egye,/ temi docens, 1950-től ' ; a miskolci Nehézipari Műszaki Egyeterri Mate matikai Tanszékén dolgozik, több évig tanszékvezetőként. Több alkalommal tüntették ki Kiváló eiond^ "atominf az £/őoc/ö/c eJoadójadirc módon a dí havaz ták meg az, mm. 26 könyv é í egyv.-- , ^-ét, 44 tudományos publikáció szerzője.
A sokféle matematika könyv közül Ön jól választott, amikor a Dr. Obádovics J. Gyula, Dr. Szarka Zoltán szerzőpáros által írt könyvet vásárolta meg. Mindkét szerzőt sok évtizedes oktatási tapasztalat köti a matematikához. Egyetemi oktatóként hallgatók ezreit vezették be a matematikába és segítették át vizsgákon, szigorlatokon. Számos tudományos cikkükön, konferenciákon elhangzott előadásukon túlmenően jelzi ezt a mintegy 50 könyv és egyetemi jegyzet, amit pályafutásuk során írtak. Jól ismert például az Obádovics féle matematika könyv, amely 15 kiadásban, kb. 500 000 pél dányban jelent meg. A szerzők tudják és érzik, hogy mit kell és mit lehet megírni és azt milyen stílusban kell tálalni. Bízzunk bennük. Dr. Obádovics J. Gyula a Gödöllői Agrártudományi Egyetemről tanszékvezető egyetemi tanárként ment nyugdíjba, ahol több évig mint intézeti igazgató dolgozott. Dr. Szarka Zoltán a Miskolci Egyetemen volt egyetemi docens, ma már nyugdíjas. Több évig volt tanszékvezető. Mindkettőjüket a hallgatók több alkalommal is arany gyűrűvel tüntették ki. a Kiadó Budapest, 1999. augusztus havában
ELŐSZÓ ISBN: 963-9193-71-2
Minden jog fenntartva, beleértve a sokszorosítást, a mű bővített, illetve rövidített változatának kiadási jogát is. Kiadja a SCOLAR ű KIADÓ, 2002 1114 Budapest, Bartók B. út 7. Tel ./fax: (06-1) 466-76-48 E-mail: [email protected] Felelős kiadó és szerkesztő; Érsek Nándor A borítót tervezte: Máthé Hanga A könyv ábráit készítette: Bocsi Katalin, Szabó Béla
Készült a debreceni nyomdászat több mint négy évszázados hagyományait őrző ALFÖLDI NYOMDA Rt.-ben Felelős vezető: György Géza vezérigazgató
A matematika iránti érdeklődés, miként azt a tisztelt Olvasó is tapasztalhatta, az utóbbi néhány évtizedben jelentősen nőtt. Ezt a fokozott érdeklődést valós szükség letek váltották ki. Gondoljunk például a számítástechnikára, amely már mindennap jaink részévé vált. Ennek az „új” tudományágnak a matematika az egyik szülőanyja. Az alkalmazó is akarva-akaratlan használja a matematikát, az emberi agynak ezt a csodálatosan szép és alapjaiban példamutatóan szilárd termékét. De ez a rendkívül fontos és hasznos „segédeszköz” a matematikát alkalmazó hagyományos tudományterületeken kívül, mára már bevonult a biológiába, az irodalomba, a zenébe és más tudományokba is. Külön kiemeljük a fizikával és a műszaki tudományokkal való szoros kapcsolatát. Bátran kijelenthetjük, hogy matematika nélkül nem létezne a ma tudománya, az emberiség szegényebb lenne szellemi és anyagi téren egyaránt. Kérdezhetjük, hogy mi a titka ennek a szenzációs karriernek, hogyan válhatott a matematika a tudományok királynőjévé és hogyan játszhat ennyire meghatározó szerepet életünkben. A választ leegyszerűsíthetnénk arra, hogy a nagyfokú abszt rakció révén. Az ereje ebben van, ami egyúttal gyengéje is olyan értelemben, hogy sok embert elriaszt attól, hogy közel kerüljön hozzá. Ez a tartózkodás, sok esetben félelem azonban alaptalan. Nem szükséges különleges érzék és tehetség ahhoz, hogy a matematikának azokat a területeit megismerjük, amelyek az alkalmazások túl
Előszó
_6________ _______________ _________________
nyomó többségében előfordulnak. Természetesen el kell érni egy szintet ahhoz, hogy a felsőbb matematika egyes fejezeteibe betekintést nyerjünk, hogy olvasni tud junk egy ilyen témával foglalkozó könyvet. Ehhez azonban elegendő alapot ad a középiskola, sőt sok esetben az általános iskola is, ha az ottani ismereteket értve, átgondoltan sajátítottuk el. Ne féljünk tehát kézbe venni egy ilyen könyvet, és tanul junk meg figyelmesen és értelmesen olvasni. A Felsőbb Matematika című könyv anyagának összeállításánál a praktikusságot tartottuk szem előtt. Ez most azt jelenti, hogy az alkalmazások szempontjából lénye gesebbnek ítélt fejezeteket tárgyaljuk, nagyjából olyan mélységig és felépítésben, ahogy általában a műszaki felsőoktatásban meghonosodott. Elsősorban összefoglaló jellegű munkát szándékoztunk írni. Ennek következtében kevés szöveggel, lényegre törően, általában a bizonyítások mellőzésével igyekeztünk a tanulni akaró Olvasó dolgát megkönnyíteni. Ezt a célt szolgálja az a sok kidolgozott példa, amely remél hetően elősegíti egy-egy anyagrész megértését. Minden új fogalmat definiáltunk (értelmeztünk). Ezért javasoljuk az Olvasónak, hogy egy téma tanulmányozását a definíció gondos és figyelmes elolvasásával kezdje. Próbálja megérteni a leírtakat, egy-egy kikötés okát átgondolni. Ezután a tételt olvassa el, majd ismételje el ugyanazt saját szavaival is. Ne hagyja el a példák megoldását! Végül konstruáljon a kidolgozott példához hasonló feladatot és azt oldja meg, használva a könyvet. (Bőséges gyakorló feladat és megoldás található Obádovics: Felsőbb matematikai feladatgyűjtemény c. könyvben.) Eredménynek számít, ha így (vagyis „puskázva”) meg tud oldani egy feladatot. Ez azt jelenti, hogy már van egy kis rálátása a témára. Ha vizsgára készül, akkor ne sajnálja az időt a vizsgaanyag tartalomjegyzékének olvasgatására, hogy tájékozódni tudjon a könyv ben. Használja továbbá a név- és tárgymutatót! Érdemes. Az Obádovics: Matematika c. könyvet középiskolások többszázezren használták az elmúlt negyven év alatt ismereteik felfrissítésére vizsgákra való felkészülés so rán. A Felsőbb Matematikát ehősoxhm egyetemi és főiskolai hallgatóknak ajánljuk. Meg vagyunk győződve, hogy ezt a könyvet is az előzőhöz hasonló sikerrel fogják használni. A vizsgákra való felkészüléshez ideális segédeszköznek tartjuk. A köny vet a főiskolai és egyetemi hallgatókon kívül haszonnal forgathatják mérnökök, közgazdászok, számítástechnikát alkalmazók, és mindazok, akik a felsőbb matema tika iránt érdeklődnek. Jó tanulást és eredményes alkalmazást kívánnak a Szerzők. Balatonszárszó, Miskolc, 1999. június hava
TARTALOM JEGYZÉK ELŐSZÓ........................ TARTALOMJEGYZÉK. I. FEJEZET
17
EGY- ÉS TÖBBVÁLTOZÓS FÜGGVÉNYEK......................................................17 1.1. ALAPFOGALMAK................................................................................... 17 1.1.1, Halmazok........................................................................................ 17 1.L2. Kombinatorika................................................................................ 21 1.L3. A matematikai logika elemei..........................................................24 1.1.4. Relációk.......................................................................................... 27 1.1.5. Függvények..................................................................................... 28 1.1.6. Algebrai struktúrák......................................................................... 32 1.1.7. Valós számok.................................................................................. 33 1.1.8. Az «-dimenziós tér.......................................................................... 37 1.1.9. Komplex számok............................................................................ 40 1.1.10. Polinomok..................................................................................... 47 1.1.11. Koordináta-rendszerek.................................................................. 53 1.1.12. Koordinátatranszformációk...........................................................56 1.2. AZ EGYVÁLTOZÓS FÜGGVÉNY..........................................................57 1.2.1, Az egyváltozós függvény fogalma................................................. 57 1.2.2, Speciális tulajdonságú függvények................................................ 64 1.2.3, Az egyváltozós függvény határértéke és folytonossága.................. 67 1.3. ALAPFÜGGVÉNYEK, NEVEZETES GÖRBÉK.................................... 71 1.3.1. Szakaszonként egyenes vonalú függvények............... !...................71 1.3.2. Algebrai függvények....................................................................... 74 1.3.3. Elemi transzcendens függvények....................................................81 1.3.4. Interpolációs polinomok................................................................. 89 1.3.5. Nevezetes síkgörbék paraméteres egyenletei................................. 92 1.3.6. Nevezetes síkgörbék polárkoordinátás egyenletei.......................... 96 1.3.7. Másodrendű görbék........................................................................ 98 1.4. A TÖBBVÁLTOZÓS FÜGGVÉNY........................................................100 1.4.1, A két- és többváltozós függvény fogalma.................................... 100 1.4.2, Határérték, folytonosság...............................................................103 1.5. FELÜLETEK, FELÜLETI GÖRBÉK......................................................104 1.5.1. Felületek megadása....................................................................... 104 1.5.2. Nevezetesebb felületek................................................................. 105 1.5.3. Másodrendű felületek...................................................................109 1.5.4. Felületi görbék.............................................................................. 116
Felsőbb matematilia II. FEJEZET
123
DIFFERENCIÁLSZÁMÍTÁS............................................................. ..................123 2.1. EGYVÁLTOZÓS FÜGGVÉNYEK DERIVÁLÁSA.............................. 123 2.1.1. A differenciálhányados és a derivált fogalma.............................. 123 2.1.2. Differenciálási (deriválási) szabályok......................................... 126 2.1.3. Nevezetesebb függvények deriváltjai...........................................130 2.1.4. Jobb- és bal oldali derivált........................................................... 133 2.1.5. Magasabbrendü deriváltak...........................................................134 2.2. A DIFFERENCIÁLSZÁMÍTÁS ALAPTÉTELEI.................................. 136 2.2.1. Középértéktételek......................................................................... 136 2.2.2. A differenciál............................................................................... 138 2.2.3. L’Hospital szabályai..................................................................... 141 2.3. EGYVÁLTOZÓS VALÓS FÜGGVÉNYEK VIZSGÁLATA................ 144 2.4. ÉRINTŐ, NORMÁLIS............... .............................................................149 2.5. GÖRBÉK ÉRINTKEZÉSE ÉS GÖRBÜLETE...................................... 151 2.6. TAYLOR-POLINOM, TAYLOR-SOR................................................
157
2.7. TÖBBVÁLTOZÓS FÜGGVÉNYEK DERIVÁLÁSA........................... 161 2.7.1. Parciális differenciálhányados......................................................161 2.7.2. Magasabbrendü deriváltak...........................................................163 2.7.3. Teljes differenciál, érintősík.........................................................164 2.7.4. Összetett függvény és implicit függvény deriválása.................... 167 2.7.5. Paraméteres alakban adott függvény deriválása.......................... 169 2.7.6. Az iránymenti derivált.................................................................. 171 2.8. A KÉTVÁLTOZÓS TAYLOR-FORMULA...........................................172 2.9. TÖBBVÁLTOZÓS FÜGGVÉNY SZÉLSÖÉRTÉKE............................173 III. FEJEZET
185
INTEGRÁLSZÁMÍTÁS.........................................................................................185 3.1. A HATÁROZATLAN INTEGRÁL......................................................... 185 3.1.1. A határozadan integrál fogalma...................................................185 3.1.2. Integrálási módszerek................................................................... 187 3.1.3. Néhány függvénytípus integrálása.............................................. 190 3.2. A HATÁROZOTT INTEGRÁL.............................................................. 195 3.2.1. A határozott integrál fogalma, tulajdonságai............................... 195 3.2.2. Az integrálszámítás középértéktételei...................... ...................200 3.2.3. A határozott integrál mint felső (alsó) határának függvénye....... 202 3.2.4. Paraméteres integrál..................................................................... 203 3.3. A HATÁROZOTT INTEGRÁL ALKALMAZÁSAI.............................. 205 3.3.1. A terület és a térfogat fogalma.....................................................205 3.3.2. Területszámítás............................................................................ 206 3.3.2. Ívhossz-számítás......... .................................................................209
Tartalomjegyzék
9
3.3.3. Forgástest térfogatának kiszámítása................................ .............211 3.3.4. Forgástest felszínének kiszámítása.............................................. 214 3.3.5. Mechanikai alkalmazások.............................................................215 3.4. IMPROPRIUS INTEGRÁLOK......... ...................................................... 223 3.4.1. Végtelen integrációs intervallum..................................................223 3.4.2. Nem korlátos integrandus.............................................................225 3.5. A HATÁROZOTT INTEGRÁL KÖZELÍTŐ KISZÁMÍTÁSA............... 227 3.5.1. A határozott integrál becslése...................................................... 227 3.5.2, Numerikus integrálás.................................................................... 229 3.6. A KETTŐS INTEGRÁL.......................................................................... 232 3.6.1. A kettős integrál értelmezése........................................................232 3.6.2. A kettős integrál kiszámítása........................................................234 3.7. A KETTŐS INTEGRÁL ALKALMAZÁSAI......................................... 240 3.7.1. Területszámítás.... .........................................................................240 3.7.2. Térfogatszámítás.............. ............................................................ 241 3.7.3. Felszínszámítás.................... ........................................................ 243 3.7.4. Mechanikai alkalmazások.............................................................246 3.8. A HÁRMAS INTEGRÁL.............. ......................................................... 247 3.8.1. A hármas integrál értelmezése......................................................247 3.8.2. A hármas integrál kiszámítása......................................................249 3.8.3. A hármas integrál alkalmazásai.................................................... 252 3.9. VONALINTEGRÁL, FELÜLETI ÉS TÉRFOGATI INTEGRÁL..........255 3.9.1. Vonalintegrál................... ..................................... .......................255 3.9.2. Felületi integrál............................................................................. 259 3.9.3. Térfogati integrál.................. ....................................................... 263 IV. FEJEZET
267
VÉGTELEN SOROZATOK, SOROK ÉS SZORZATOK.................... ................ 267 4.1. SZÁMSOROZATOK....... .......................................................................267 4.1.1. A sorozat fogalma........................................................................ 267 4.1.2. Konvergens sorozatok...................................................................270 4.2. FÜGGVÉNYSOROZATOK....................................................................277 4.2.1 A függvénysorozat fogalma...........................................................277 4.2.2. Az egyenletes konvergencia............... .......................................... 278 4.3. NUMERIKUS SOROK...........................................................................280 4.3.1. A végtelen sor és a konvergencia fogalma................................... 280 4.3.2. Konvergenciakritériumok.............................................................283 4.3.3. Abszolút és feltételes konvergencia............................................. 288 4.3.4. Műveletek konvergens sorokkal...................................................290 4.4. FÜGGVÉNYSOROK.............................................................................. 293 4.4.1. A függvénysor fogalma.................................................................293 4.4.2. A függvénysor egyenletes konvergenciája................................... 294
LINEÁRIS ALGEBRA, TÉRGÖRBÉK, VEKTORANALÍZIS........................... 339 5.1. VEKTORALGEBRA..................................................... .........................339 5.1.1. A vektor értelmezése.................................................................... 339 5.1.2. Műveletek vektorokkal.................................................................340 5.1.3. Vektorok lineáris függetlensége...................................................342 5.1.4. Vektorok megadása koordinátákkal............................................ 343 5.1.5. Néhány geometriai alkalmazás.....................................................346 5.1.6. Reciprok vektorhármas................................................................352 5.1.7. Az ^-dimenziós vektor................................................................. 353 5.2. A LINEÁRIS ALGEBRA ELEMEI........................................................355 5.2.1. Lineáris tér, altér.......................................................................... 355 5.2.2. A lineáris tér bázisa, dimenziója..................................................356 5.2.3. Bázistranszformáció..................................................................... 358 5.2.4. Az euklideszi tér........................................................................... 361 5.3. MÁTRIXOK........................................................................................... 364 5.3.1. A mátrix értelmezése, speciális mátrixok.................................... 364 5.3.2. Műveletek mátrixokkal................................................................ 366 5.3.4. Mátrix rangja................................................................................ 373 5.4. DETERMINÁNSOK........................................................ .......................375 5.4.1. A determináns értelmezése...........................................................375 5.4.2. A determináns tulajdonságai........................................................377 5.5. LINEÁRIS EGYENLETRENDSZEREK............................................... 379 5.5.1. A lineáris egyenletrendszer fogalma és megoldhatósága.............379 5.5.2. Megoldási módszerek................................................................... 381
VI. FEJEZET
439
KÖZÖNSÉGES DIFFERENCIÁLEGYENLETEK...............................................439 6.1. ALAPFOGALMAK................................................................................. 439 6.1.1. A differenciálegyenlet fogalma.....................................................439 6.1.2. A differenciálegyenlet megoldása.................................................440 6.2. ELSŐRENDŰ DIFFERENCIÁLEGYENLETEK................................... 442 6.2.1. Az elsőrendű differenciálegyenlet megoldhatósága..................... 442 6.2.2. Iránymező..................................................................................... 444 6.2.3. Görbesereg differenciálegyenlete.................................. ............... 445 6.3. SPECIÁLIS ELSŐRENDŰ DIFFERENCIÁLEGYENLETEK............... 446 6.3.1. Szétválasztható változójú differenciálegyenlet............................ 446 6.3.2. Szétválasztható változójúra visszavezethető diff.egyenletek...........448 6.3.3. Az elsőrendű lineáris differenciálegyenlet................................... 453 6.3.4. A Bernoulli-féle differenciálegyenlet........................................... 456 6.3.5. A Riccati-féle differenciálegyenlet.............................................. 458 6.3.6. Egzakt differenciálegyenlet...........................................................459 6.3.7. Burkológörbe és szinguláris megoldás............................. ............464 6.3.8. A Lagrange- és a Clairaut-féle differenciálegyenlet..................... 467 6.3.9. Trajektóriák.................................................................................. 470 6.4. MAGASABBRENDŰ DIFFERENCIÁLEGYENLETEK...................... 472 6.4.1. «-edrendű lineáris differenciálegyenlet.................................. 473 6.4.2. Állandó együtthatójú differenciálegyenlet................................... 478 6.4.3. Az Euler-féle differenciálegyenlet............................................... 488 6.4.4. Másodrendű differenciálegyenletek............................................. 491
Felsőbb matematika
12
6.5. DIFFERENCIÁLEGYENLETEK MEGOLDÁSA VÉGTELEN SOROKKAL.................................................................................... 497 6.5.1. Megoldás Taylor-sorral................................................................ 497 6.5.2. Megoldás a határozatlan együtthatók módszerével..................... 498 6.6. KÖZÖNSÉGES DIFFERENCIÁLEGYENLET-RENDSZEREK..........503 6.6.1. Megoldhatóság és visszavezetés differenciálegyenletre..............503 6.6.2. Lineáris differenciálegyenlet-rendszer........................................ 506 VII. FEJEZET
S17
PARCIÁLIS DIFFERENCIÁLEGYENLETEK....................................................517 7.1. ALAPFOGALMAK................................................................................ 517 7.1.1. A parciális differenciálegyenlet fogalma..................................... 517 7.1.2. A parciális differenciálegyenlet megoldása................................. 518 7.2. AZ ELSŐRENDŰ PARCIÁLIS DIFFERENCIÁLEGYENLET............ 519 7.2.1. A kvázilineáris parciális differenciálegyenlet............................. 519 7.2.2. Cauchy-féle feladat (kvázilineáris differenciálegyenletre)..........521 7.2.3. Az általános elsőrendű parciális differenciálegyenlet................. 524 7.3. NÉHÁNY NEVEZETES MAGASABBRENDŰ PARCIÁLIS DIFFERENCIÁLEGYENLET.........................................................529 7.3.1. A hővezetés (és diffúzió) differenciálegyenlete........................... 529 7.3.2. A rezgő húr és membrán differenciálegyenlete........................... 533 7.3.3. A Laplace- és a Poisson-egyenlet.................................................537 7.3.4. A biharmonikus egyenlet.............................................................541 VIII. FEJEZET
547
KOMPLEX FÜGGVÉNYEK................................................................................ 547 8.1. A KOMPLEX FÜGGVÉNY FOGALMA...............................................547 8.1.1. A komplex függvény értelmezése.................................................547 8.1.2. Differenciálás............................................................................... 551 8.1.3. Elemi függvények........................................................................ 553 8.2. KOMPLEX FÜGGVÉNY INTEGRÁLJA............................................. 557 8.2.1. A vonalintegrál............................................................................. 557 8.2.2. A Cauchy-féle integráltétel..........................................................559 8.2.3. A Cauchy-féle integrálformula.....................................................562 8.2.4. Reguláris függvények tulajdonságai........................................... 563 8.3. KOMPLEX FÜGGVÉNY SORBAFEJTÉSE........................................ 564 8.3.1. Komplex tagú sorok..................................................................... 564 8.3.2. Hatványsorok............................................................................... 564 8.3.3. A Tayior-sor................................................................................. 565 8.3.4. Reguláris függvény zérushelyei....................................................566 8.3.5. A Laurent-sor............................................................................... 567 8.3.6. Izolált szinguláris helyek..............................................................569
Tartalomjegyzék
_____ _______ _____________________________ 13
8.3.7. A függvény viselkedése a végtelenben......................................... 570 8.3.8. A reziduum-tétel........................................................................... 571 8.4 LAPLACE-TRANSZFORMÁCIÓ...........................................................575 8.4.1. A Laplace-transzformáció fogalma......................... .....................575 8.4.2. Függvény deriváltjának és integráljának transzformálása............577 8.4.3. Néhány elemi függvény Laplace-transzformáltja......................... 578 8.4.4. A függvényre és transzformáltjára vonatkozó tételek..................580 8.4.5. Differenciálegyenletek megoldása Laplace-transzformációval....584 8.4.6. Laplace-transzformációs táblázat..................................................587 IX. FEJEZET
593
NUMERIKUS MÓDSZEREK............................................................................... 593 9.1. BEVEZETÉS........................................................................................... 593 9.1.1. Adat, kerekítés, műveletek és képletek hibái............................... 594 9.2. NEMLINEÁRIS EGYENLETEK MEGOLDÁSA.................................. 599 9.2.1. A gyökök elkülönítése..................................................................599 9.2.2. Intervallum-felezési eljárás...........................................................601 9.2.3. Az iterációs módszer..................................................................... 603 9.2.4. A Newton-Raphson-módszer........................................................607 9.2.5. Interpolációs módszerek...............................................................608 9.2.6. Nemlineáris egyenletrendszer megoldása.................................... 611 9.3. ALGEBRAI EGYENLETEK MEGOLDÁSA........................................ 613 9.3.1. Polinomokra vonatkozó alaptételek............................................. 614 9.3.2. A Bairstow-módszer..................................................................... 616 9.4. A LINEÁRIS ALGEBRA NUMERIKUS MÓDSZEREI........................ 617 9.4.1. A Gauss-féle módszer................................................................... 617 9.4.2. Az inverzmátrix elemeinek kiszámítása....................................... 621 9.4.3. Az egyszerű és a Gauss-Seidel-féle iterációs módszer..,.............. 623 9.4.4. Konvergenciatételek és hibabecslés............................................. 624 9.4.5. A Cholesky-Banachiewicz-féle módszer..................................... 627 9.4.6. Gyengén meghatározott egyenletrendszerek................................ 630 9.4.7. Mátrix sajátértékeinek és sajátvektorainak meghatározása..........632 9.5. DIFFERENCIÁLEGYENLETEK NUMERIKUS MEGOLDÁSA.........637 9.5.1. Taylor-féle módszer......................................................................638 9.5.2. A Heun-módszer........................................................................... 640 9.5.3. A Runge-Kutta-féle módszer........................................................642 9.6. KERÜLETÉRTÉKFELADATOK...........................................................643 9.6.1. Differenciamódszer....................................................................... 646 9.6.2. A Galjorkin-féle eljárás.................................................................648 9.6.3. A kollokációs módszer..................................................................649 9.7. SAJÁTÉRTÉKFELADATOK.................................................................651 9.7.1. A sajátértékfeladatok osztályozása, megoldása............................ 652 9.7.2. Megoldás a diffegyenlet általános megoldásának ismeretében....656
14
Felsőbb matematika 9.7.3. Sajátértékek közelítő meghatározása differenciamódszerre!....... 657
9.7.4. A Ritz-Galjorkin-féle eljárás........................................................658 9.7.5. A kollokációs módszer alkalmazása sajátértékfeladatokra...........661 9.8. PARCIÁLIS DIFFERENCIÁLEGYENLETEK MEGOLDÁSA.............662
9.8.1. Elliptikus típusú differenciálegyenlet megoldása rácsmódszerrel 662 9.8.2. A peremfeltételek közelítésének javítása..................................... 666 9.8.3. A rácsmódszer hibájának becslése.............................................. 667 9.8.4. Parabolikus típusú differenciálegyenlet megoldása..................... 668 9.8.5. Hiperbolikus típusú differenciálegyenlet megoldása................... 672 9.9, INTEGRÁLEGYENLETEK................................................................... 678 9.9.1. Integrálegyenletek osztályozása, elnevezése ................................ 678 9.9.2. Fokozatos közelítések módszere...................................................680 9.9.3. Véges összegek módszere............................................................ 684 9.9.4. A kollokációs módszer alkalmazása.............................................688 IRODALOMJEGYZÉK................................................................................. 691
.H alm azok K o m b in a to rik a .R elációk, függvények K o m p le x szám ok F \)lin o m o k
NÉV- ÉS TÁRGYMUTATÓ......................................................................... 693
K o o rd in áta-ren d szerek E g y v á lto z ó s függvény, határérték, folytonosság A ia p fü g g v é iiy e k , nevezetes görbék; S z a k a s z o n k é n t e g y e n e s v o n a lú fü g g v é n y e k A lg e b r a i f ü g g v é n y e k E le m i t r a n s z c e i i d e i i s f ü g g v é n y e k
IIIteipoiác!ós polinomok ,M á s o d r e i i d ű g ö r b é k rö b b v á lto z íS s fü g g v é n ) N e v e z e te s fe lü le te i
.. ' 'm*
M a s o d r e i i d íi fe I ü 1e ie ii
ti
t >1 , t o n o s ; : .i g ^ i'k
I. FEJEZET
EGY- ÉS TÖBBVÁLTOZÓS FÜGGVÉNYEK
1.1.
A LAPFOG ALM A K 1.1.1. Halmazok
a) A halmaz fogalma. A halmazt nem definiáljuk, hanem alapfogalomnak tekintjük. Szokás azt mondani, hogy a halm az bizonyos dolgok összessége. Ez nem definíció, hanem a halmaz más szavakkal való körülírása. A hal m azjelölése; A, B, H , ... A halmazt alkotó dolgok a halmaz elemei. Azt a tényt, hogy x a H hal maz eleme, így jelöljük; xeH. A halmazt meghatározzák elemei. Ennek megfelelően megadhatjuk elemeinek felsorolásával, kapcsos zárójelbe téve ezt a felsorolást. Például így; {1,3, 4,6, 10} vagy {a,b,c}. Sok esetben ez a megadási mód már kényelmetlen, esetleg lehetetlen. Ilyenkor a kapcsos zárójelen belül a halm az általános elemét és az elemek re jellem ző tulajdonságot vagy tulajdonságokat tüntetjük fel, rendszerint így: A = [x:T {x)] ill. A = [ x \T{ x )]. Ekkor az A halmaz azoknak az x elemeknek az összessége, amelyek T tulajdonságúak. Például A = {jc;.x e R ,|x| < l} jelenti az 1-nél kisebb ab szolút értékű valós számok halmazát. Egy halmazban egy elem csak egyszer fordulhat elő. Azt a halmazt, amelynek egyetlen eleme sincs, üres halmaznak nevez zük. Jele; 0 . Két halmaz akkor és csak akkor egyenlő, ha elem eik ugyanazok. Jelölé se; A = B . Definíció. Az A halmazt a B halmaz részhalmazának (röviden részének) nevezzük, h a ^ minden eleme 5-nek is eleme. Jelölése: A ez B.
18
Egy- és többváltozós függvények
A definíció szerint minden halmaz részhalmaza önmagának. Az üres halmaz minden halmaznak részhalmaza. Két halmaz egyenlőségét így is megfogalmazhatjuk: A = B akkor és csak akkor, ho. A ez B és B a A. Ha a halmaz elemeinek száma véges, akkor a halm azt végesnek (ide tartozik az üres halmaz is), ellenkező esetben pedig végtelennek mondjuk. Ha két halmaz elemei között kölcsönösen egyértelmű megfeleltetés létesít hető, akkor azt mondjuk, hogy a két halmaz számossága egyenlő (a két halmaz ekvivalens). Véges halmaz számosságán elemeinek számát értjük. A természetes számok halmazának (vagy a vele ekvivalens halmaznak) számosságát m egszámlálhatóan végtelennek vagy röviden megszáinlálhatónak mondjuk. A valós számok halm azának (vagy a vele ekvivalens halmaznak) a számossága nem megszámlálható, más szóval kontinuum számosságú. A halmazt szemléltethetjük (ábrázolhatjuk) körlappal, téglalappal eset leg más síkidommal. Az ilyen ábrát Venn-diagramnak nevezzük. Az 1.1. ábrán a //h a lm a z t egy körlap ábrázolja. Az 1.2. ábra azt szemlélteti, hogy A része 5-nek ( A c i B ) .
19
1.1.1. Halmazok b) M űveletek halmazokkal
Definíció. A z A és B halmazok A n B metszetén (közös részén) azt a halmazt értjük, amely A és B közös elemeit (és csak ezeket) tartalmazza (1.3. ábra). Ha két halmaznak nincs közös eleme, akkor metszetük az üres halmaz. Ilyenkor azt mondjuk, hogy a két halmaz (egymásra nézve) idegen (diszjunkt halmazok). Definíció. Az yí és B halmazok A k j B egyesítettjén (unióján) azt a halmazt értjük, a m e l y é s B minden elemét (és csak ezeket) tartalmazza (1.4. ábra).
A halmazok egyesítésének és közös rész képzésének tulajdonságai a kö vetkezők: 1. M indkét művelet kommutatív, azaz bárm ely/I, B halmazra A n B = B n A, 1.1. ábra. Halmaz Definíció. A z A és B halmaz A x 5 -v e l jelö lt Descartes-szorzatán az összes olyan rendezett (a,b) elempárok halmazát értjük, ahol a e A, beB. Példa Legyen A = [a,b,c], B = {x,y]. Ekkor Aés, B halmaz Descartes-szorzata: A x B = [{a,x), {a,y), {b,x), {b,y), {c,x), {c, j)}. }l?i B = A, akkor az A x A jelölés helyett használható A " . Például, ha a
A kj B = B u A .
2. M indkét művelet asszociatív, azaz bármely A, B, C halmazra {AnB)nC= An{BnC),
(A u B ) u C = A k j ( B u C ) .
3. Mindkét művelet idempotens, azaz bármely A halmazra A n A = A,
A u A - A.
4. Mindkét műveletre érvényes az elnyelési tulajdonság, azaz bármely A, B , C halmazra A n ( A u B ) = A, A u ( A n B ) = A. 5. Mindkét művelet disztributív a másikra nézve, azaz bármely A, B, C halmazra Au{Br^C)={AuB)n{AuC),
valós számok halmazát R jelöli, akkor R " a valós számokból alkotott számpárok halmaza, amely geometriailag azonos a sík (számsík) pontjainak
A r ) ( B u C ) - ( A n B ) u (A n C ) .
összességével. Ugyanígy az R x R x R = R “ x R = R^ halmaz a tér pont jaival szemléltethető.
Definíció. A z A és B halmaz A \ B különbségén A azon elemeinek összes ségét értjük, amelyek nem tartoznak 5-hez (1.5. ábra).
20
Egy- és többváltozós függvények
Definíció. Legyen A a H halmaznak részhalmaza. Ekkor A-nak a //-ra vonatkozó komplementerén értjük a H \ A halmazt (1.6 . ábra). Jelölése: Afj, vagy ha nem érthető félre, akkor A . H
21
1.1.2. Kombinatorika 1.1.2. Kom binatorika
A kombinatorika a véges halmazokkal foglalkozik. Alapfeladata annak megállapítása, hogy egy véges halmaz elemeit hogyan és hányféleképpen lehet csoportosítani. a) Permutáció. Ha n különböző elemet valamilyen sorrendben helyezünk el (írunk le), akkor egy-egy ilyen elhelyezést az n elem egy-egy permutá ciójának nevezünk. E permutációk száma: P,r=n\
Tétel. A //h a lm a z te tsz ő le g e st és B részhalmazaira
(olv.: en faktoriális). A faktor iái is értelmezése: ;i!= l-2 -3 -...'« ,
A=A, AnA= 0, A nB -A uB ,
A u A = H, A uB -A nB .
1! = 1,
0!=1.
Ha az elemek között k elem megegyezik (ismétlődik), akkor az ún. ismétléses permutációk száma: n\
Az utolsó két azonosságot De M organ-féle azonosságoknak nevezzük. "
k\ ■
A halmaz elemei lehetnek halmazok is. így egy H halmaz összes rész halmazai egy újabb halmazt alkotnak, melyet H hatvány halmazának nevezünk. Jelölése: P( H) . Ha f/ele m e in ek száma n, akkor P{H) elemei
Ha az elemek között r-féle különböző elem szerepel úgy, hogy az egymással megegyező elemek száma rendre k^, k^, ..., k^., akkor az
nek száma 2” .
n elemnek
Példák 1. Legyen R a valós számok halmaza, továbbá legyen A - [x:x e R,|a'| < 2} , B = {x :x g R , x > O}. írjuk fel az A, B, A n B , A u B, A \ B halmazokat. Megoldás. A = { r x e R, |x-| > 2},
B = (x:x
g
R, x < 0}.
Mivel A és B közös elemei a kettőnél kisebb pozitív valós számok, ezért ^ n ő = {x:x e R, 0 < X < 2} . Mivel a két halmaz uniója e két halmaz valamennyi elemét tartalmazza, ezért u = {x:x e R, X> -2}. Az A \ B halmaz A-nak azokat az elemeit tartalmazza, amelyek nem tartoznak ő-hez, így ^ \ ő = {x: X e R , - 2 < X< 0}. 2. Igazoljuk, hogy A \ { B u C ) - A n B n C tetszőleges A, B, C halmazokra. Megoldás. Az A \ B = A n B és a De Morgan-féle második azonosságot felhasz nálva: A \ { B u C)= A n { B u C ) =- A n { B n C ) = A n B n C .
k^\ k 2 \. . . k, \ ismétléses permutációja van. Fontos speciális eset, ha n elem között csak kétféle különböző elem van. mégpedig az egyikféléből k, a másikféléből n - k darab. Ekkor az ismétlé ses permutációk száma: pk,n-k.._,
”
n\
k \{ n -k )\
Példák 1. 5 elem permutációinak száma: /5 = 5! = 1■2-3 -4-5 = 120. 2. Hány permutáció alkotható a MATEMATIKA szó betűiből? Megoldás. Az elemek (betűk) száma n = 10. Ezek között megegyezők is vannak; két M betű, három A betű, és két T betű. Tehát k^ =2, /c, = 3, k^ - 2, Az ismét léses permutációk száma: . 2,3,2 10! = 151200. 2!3!2
22
Egy- és többváltozós függvények
b) Variáció. Ha n különböző elem közül minden lehetséges módon kivá lasztunk k elemet, és ezek összes perm utációit vesszük, akkor megkapjuk n elem ^-adosztályú variációit. Ezek száma; v„ y.= n ( n - \ ) ( n - í ) . . . { n - k + l) =
1. 1. 2.
23
Kombinatorika
d) A binomiális tétel. Ez a Newtontól származó tétel a kéttagú kifejezések (binomok) pozitív egész kitevőre való hatványozási szabályát rögzíti. Tétel (binomiális tétel).
k
(n~kY
A tételben szereplő
Példák 1. Öt elem harmadosztályú (ismétlés nélküli) variációinak száma:
n(^n - l ) . . . ( n - ^ + l) k\
lo ;
''n + í^
2. Hány ötjegyű szám írható fel a 0, 1,2 számjegyekkel? Megoldás. A számjegyek ismétlődhetnek. E három elem ötödosztályú ismétléses variációi közül azok alkothatnak ötjegyű számot, amelyek nem nullával kezdődnek. Ezek száma: = 162 .
c) K om bináció. Ha n különböző elem közül minden lehetséges módon, de sorrendre való tekintet nélkül, kiválasztunk k elemet, akkor megkapjuk n elem ^-adosztályú kombinációit. Ezek száma:
k\{n - k)\ ’
k
(olv.: en alatta ká). Ha a kombinációban ugyanaz az elem többször is szerepelhet, akkor ismétléses kombinációról van szó. Ezek száma: n +k-\^ k Példa 90 elemből 5 elemet 5!o5!
n\ k \ [ n - k)\
\
rn~\ = 1. ^n )
Ezt felhasználva könnyen igazolható, hogy
(5-3)!
Í90^ 5
a"“ V + ...+
” alakú, ún. binomiális együtthatók értelmezése: \k )
(n^ \ k ,/
< * := « * ■
/„A v2y
vly
Ha egy-egy variációban ugyanaz az elem többször is szerepelhet (leg feljebb /c-szor), akkor n elem /c-adosztályú ismétléses variációihoz jutunk. Ezek száma:
E táblázat n-edik sorában rendre az / \ / \ 'n 'n^ ín'^ , .. 1 ? •• *9 í \^kj ^ n - \ J {n) lo ; együtthatók állnak. Például a 6. sorban ezek az együtthatók: 1, 6, 15, 20, 15, 6, 1. E szerint {a + b f = a + 6 a% + \5a^b~ + 2 0 a b^ -f 1Sa^b'^ + 6 ab^ + b ^. Az első (*) összefüggés miatt a háromszög belsejében levő bármelyik szám, a közvetlen fölötte levő sorban a tőle balra és jobbra eső két szám
24
Egy- és többváltozós függvények
összegével egyenlő. A második (*) összefüggés pedig ezeknek az együttha tóknak azt a szimmetriáját fejezi ki, hogy a háromszög minden sorában a sor két szélső elemétől egyenlő távolságra levő számok egyenlők. Példák 1. ( \ - 2 x f = l -
4x" 3F - 4 lu = Í ~ l 0 x + 40x~ -8 0 a :^ + 8 0 / -32x^ +...+'
= 2"
Ez azt mutatja, hogy a Pascal-féle háromszög «-edik sorában levő együtthatók (számok) összege 2".
3. A z A és B ítélet diszjunkcióján azt az ítéletet értjük, amely akkor és csak akkor hamis, ha A is és B is hamis. Jelölése: A v B (olv,: A vagy B). A diszjunkciót logikai összeadásnak is mondjuk. 4. A z A és B ítélet implikációján azt az ítéletet értjük, amely akkor és csak akkor hamis, ha A igaz és B hamis. Jelölése: A —>B (olv,: A impli kálja 5-t; vagy más szóval: ha A, akkor B). 5. A z A és B ítélet ekvivalenciáján azt az ítéletet értjük, amely akkor és csak akkor igaz, h a ^ és B logikai értéke egyenlő, .íelölése: A ^ B (olv.: A ekvivalens i?-vel). A felsorolt műveletek eredménye kényelmesen megállapítható az alábbi táblázatok (igazságtáblázatok) segítségével:
1.1.3. A m atem atik ai logika elemei A logika a gondolkodás formáival, a helyes következtetések törvényeinek vizsgálatával foglalkozik. A matematikai logika ehhez matematikai eszkö zöket használ. a) A z ítélet fogalm a. ítéleten olyan zárt kijelentő mondatot értünk, amely egyértelműen igaz vagy hamis. Jelölése: A, B, .... Az ítélet szó helyett használatos a kijelentés vagy állítás szó is. Az ítélet (kijelentés, állítás) lehet igaz vagy lehet hamis (nem igaz). Ezeket az igaz vagy hamis ,jelző k et” logikai érték ek n ek nevezzük. Az igaz logikai értéket a továbbiakban i, a hamis logikai értéket pedig /z jelöli (szokásos jelölésük még; 1, ill. 0). Példák A: 2-3 = 6 B: A Föld forog C; 6 >13. Az A és B ítéletek igazak, ezért ezek logikai értéke egyaránt i, a C ítélet viszont hamis, ennek logikai értéke h. b) Logikai műveletek. A dott ítéletekből a következő műveletek segítségé vel újabb, összetett ítéletek származtathatók: 1. Egy ^ ítélet tagadásán, más szóval negációján azt az ítéletet értjük, amely igaz, ha A hamis, és hamis, ha A igaz. J e l ö l é s e : ( o l v . : nem A vagy non A). 2. A z A és B ítélet konjunkcióján azt az ítéletet értjük, amely akkor és csak akkor igaz, ha A \s és B is igaz. Jelölése: A a B (olv.: A és B). A konjunkciót logikai szorzásnak is mondjuk.
25
1.1.3. A matematikai logika elemei
A i i h h
A
~iA
i h
h i
B
Aa B
i h i h
i h h h
A vB
A ^ B
h
i h i i
A
B i h h i
Megjegyezzük, hogy az implikáció „A hamis, B igaz” esetre vonatkozó szokatlan eredményét célszerűségi ok is indokolja. Az implikációt nem korlátozzuk azokra az esetekre, amikor a két ítélet között oksági kapcsolat van. Az előbb felsorolt logikai műveleteket értelmezzük az i és h logikai ér tékekre is. így írható például: - 1/ = h, i a í = i, i A h = h, i v h = i stb. Tetszőleges logikai értékek jelölésére a p, q, r stb, logikai változókat ve zetjük be. A logikai változó tehát i vagy h logikai értéket vehet fel. A p és q logikai változók közötti műveletek eredménye az előbbi táblázatok segítsé gével állapítható meg úgy, hogy például A helyett a. p, B helyett a q betűt írjuk be. Ha logikai értékeket és logikai változókat logikai műveleti jelekkel kapcso lunk össze, esetleg zárójeleket is használva, akkor logikai form ulát (logikai kifejezést) kapunk. Ennek az értékét a műveletek közötti elsőbbségi sorrend (precedencia) figyelembevételével kell kiszámítani. Elsődleges művelet a negáció. A további sorrend: konjunkció, diszjunkció, implikáció, ekviva lencia. A legmagasabbrendű művelet a negáció, a legalacsonyabbrendű az ekvivalencia. Ha egy operandus két műveleti jel között áll, akkor először
Egy- és többváltozós függvények
26
a magasabbrendü műveleti jelhez tartozó műveletet kell vele elvégezni. A zárójel ezt a szabályt módosíthatja. Legyen a és p két logikai formula. H a az a p, ill. az a P logikai formulákban a bennük előforduló változókat a lehetséges / és h értékekkel helyettesítve mindig i-t kapunk eredményül (azaz a -> p s /, ill. = akkor azt mondjuk, hogy P következménye a -nak, ill. a és P egyenér tékűek. Jelölésük: a =» P, ill. a <=> p. Példák 1. Számítsuk ki a {-^p v q a r-> p) logikai kifejezés értékét, ha p=i, q~h, r =i . Megoldás. (—1/ w h / \ i - ^ i ) = h ' v { h Ai ) - ^ i = h v h - ^ i = h ^ i = i. 2. Igazoljuk, hogy p - ^ q egyenértékű -^pwq -v&\. Megoldás. Azt kell igazolni, hogy p és q minden lehetséges (logikai) értéke mellett a p - ^ q i - ^ - ^ p v q kifejezés értéke /. Ez akkor teljesül, ]\& p - ^ q értéke egyenlő —i p v q értékével mindenp és q érték esetén. Ezt célszerű táblázatosán kimutatni: p i i h h
q i h i h
p-^q i h i i
-^P h h i i
-^pvq i h i i
Mivel p - ^ q oszlopa megegyezik -^pvq oszlopával, ezért p - ^ q egyenértékű i f v q- v a l . c) Logikai függvények és kvantorok. V annak olyan ítéletek, amelyeknek igaz vagy hamis volta bizonyos változók értékétől függ. Az ilyen ítéletet logikai függvénynek (predikátumnak) nevezzük. A matematikában gyakran fordul elő a következő két típusú ítélet: „minden x - xq P{x) ” , ill. „van olyan j:, hogy P( x) ” . Ezek rövid leírására a V ill. 3 jeleket használhatjuk a következő módon: \f X P{x) [olv.: minden .x-re /"(.x)]; 3 x P(x) [olv.: van olyanX, hogy /*(.x)].
1.1.4. Relációk
1.1.4. Relációk a) A reláció fogalma. Gyakran vizsgáljuk azt, hogy valamely X halmaz jc eleme és valamely Y halmaz y eleme között van-e valamilyen kapcsolat. Legyen például X Baja, Y pedig Miskolc lakosainak halmaza, és az érdekel bennünket, hogy x és y ismerik-e egymást. Vagy ha X a tér egyeneseinek, Y pedig a sík egyeneseinek halmaza, akkor x és y párhuzamosak-e. Hasonló képpen, ha Y = X a valós számok halmaza, akkor x nagyobb-e mint y. Ezekben a példákban az ismeretség, a párhuzamosság a nagyobb kap csolat egy-egy reláció a z x é s y elemek között. Egy ilyen reláció megadása úgy történhet, hogy megadjuk az A" és Y halmazt és azokat az (x, y) elempárokat, amelyek relációban vannak egymással (azaz ismerik egymást, párhuzamosak, amelyekre x > y stb.). Az ( x, y) jelölés tehát azt jelenti, hogy.x relációban vany-nal. Ezek a rendezett {x, y) párok nyilván elemei az X x Y Descartes-szorzatnak. Mondhatjuk azt, hogy ezek a rendezett párok alkotják a relációt. Definíció. Bináris (kétváltozós) relációnak nevezzük az olyan halmazt, amelynek minden eleme rendezett pár. H a A és Y két halmaz, akkor A és Y fölötti relációnak nevezzük az X x Y halmaz bármely 7 részhalmazát. Ha Y = X , akkor a 7’relációt az A halmazon értelmezett homogén relációnak nevezzük. Az értelmezésből tehát következik, hogy ha T reláció, akkor (x, y) e T. Ez jelölhető x T y módon is, ami olvasható így: x r-relációban vanj;-nal. Az ( x, y) jelölésnél lényeges, hogy az x az első helyen j/ a második helyen áll, vagyis hogy {x, y) rendezett pár. E párok első komponenseinek halma za a reláció értelmezési tartománya, a második komponensek halmaza pedig a reláció értékkészlete. Legyen { x , y ) e T. A T reláció ábrázolható ^ a z x elemekből a z y elemekbe vezető nyilakkal (az ún. nyíldiagrammal) vagy a sík ( x, y)
A V jel neve univerzális kvantor, míg a 3 jel neve egzisztenciális kvantor.
koordinátájú pontjaival (ha minden egyes { x , y ) e T párhoz hozzárendeljük a sík egy-
Példák 1. Jelentse P(x) azt az ítéletet, hogy x hárommal osztható pozitív egész szám, P{x) igaz, ha például x = 12, viszont hamis, ha 11. P(x) egy logikai függvény. 2. A „... minden e > 0 számhoz van olyan 8> 0, hogy ...” helyett írható; Ve > 0 számhoz 38 > 0, hogy
egy pontját). Ez utóbbi ábra a reláció gráfja (1.7. ábra).
y
XxY, grafr U////Z.
~ ° 1.7. ábra. A T reláció gráfja
1. A valós számok halmazán értelmezett reláció például a < (kisebb vagy egyenlő) kapcsolat, Egy másik reláció az egyenlőség (=),
Egy- és többváltozós függvények
28
2. A valós számok halmazán értel mezett homogén T reláció jelentse azt, hogy A-" + y"< 25. Ennek a relációnak a grálja az x~ + y"=25 körvonal és annak belseje (1.8. ábra). 3. Legyen A'= {l,2,3,4}, a reláció 1,8, ábm. Az ,= + / < 25 reláció gráfja ^ ^ ■''1* " ' “ ‘‘l A relációt alkotó számpárok halmaza: {(1,1),(2,1),(2,2),(3,1),(3,3),(4,1),(4,2),(4,4)}. b) Inverz reláció. Az X és Y fölötti T reláció inverz relációjának
7.7.5. Függvények
zési tarto m án y a, az Y halmaz pedig a függvény képhalmaza. 7-nak azok az elemei, amelyek e hozzárendelésben részt vesznek (azaz képelemek), a függvény értékkészletét alkotják. Az értékkészlet tehát része a képhal maznak. Ha a fü g g v é n y t/jelö li és x e X , akkor az ,\'-hez rendelt )'-beli elemet /(A ')-szel jelöljük, amit az f függvény x helyhez tartozó helyettesítési értékének nevezzük. A függvény értelmezésekor szokás az a szóhasználat is, hogy az /f ü g g vény az X halmazt az Y halm azba képezi le. Ezért a függvényt leképezés nek is mondjuk. Ennek egyik jelölési módja: f\X
nevezzük azt a 7^* -gyei jelölt relációt, amelyre { y ,x ) G 7 ^ ' pontosan akkor, ha ( x ,y ) e T . Az értelmezésből következik, hogy ha T X és Y fölötti reláció, akkor 7 ^ ' nyilván 7 és X fölötti reláció. ( 7 ^ 'értelmezési tartománya egyenlő T értékkészletével, értékkészlete pedig T értelmezési tartományával.) Ha pedig rh o m o g én reláció X-en, akkor 7 ^ ' is homogén reláció X-en. Példa A valós számok halmazán értelmezett < (kisebb) reláció inverze a > (nagyobb) reláció. Az = (egyenlő) reláció inverze önmaga (vagyis az = reláció). c) Ekvivalencia, rendezés. Az X halmazon értelmezett T homogén reláció 1. reflexív, ha {x ,x ) e T ; 2. szimmetrikus, ha { x ,y ) e T esetén (>>,.x) g T ; 3. tranzitív, ha (x ,y ) g T és ( y ,z ) e T esetén { x ,z) e 7’; 4. antiszimmetrikus, ha { x ,y ) e T és { y ,x ) e T esetén x = y . Definíció. Egy homogén relációt ekvivalenciarelációnak nevezünk, ha az reflexív, szimmetrikus és tranzitív. Rendezési relációnak nevezzük, ha reflexív, tranzitív és antiszimmetrikus. Példák 1. Az egyenlőség, a hasonlóság, a párhuzamosság ekvivalenciarelációk. 2. A < (kisebb vagy egyenlő) ún. nagyságrendi reláció rendezési reláció.
1.1.5. Függvények a) A függvény fogalm a. Definíció. Legyen X és Y két nem üres halmaz. Ha az X halmaz minden egyes eleméhez hozzárendeljük az Y halmaz egy-egy elemét, akkor az X halmazon egy függvényt értelmezünk. Az X halmaz a függvény értelme
29
Y.
A z/fü g g v é n y értelmezési tartományának, ill. értékkészletének szokásos jelölése D f / ú \ . R f . A z értékkészletet f ( X ) módon is szokták jelölni. A z X és Y halmazok igen változatosak lehetnek. Ha például Y a valós számok valamely részhalmaza, akkor azt mondjuk, h o g y /v a ló s függvény. Ha ezen belül X e R , a k k o r / egyváltozós valós függvény, ha X c R " , akkor/k étv á lto zó s valós függvény stb. A függvény m egadásához meg kell adni az értelmezési tartományt, a képhalmazt és azt a hozzárendelési szabályt, amelynek segítségével minden x e X elemhez meghatározható (kiszámítható) a hozzátartozó y e Y elem. Az esetek nagy többségében ezt a hozzárendelési szabályt az f { x ) helyettesítési érték kiszámítására alkalmas képlettel adjuk meg. Például az /v a l ó s függvény értelmezési tartománya legyen a [ - 2 ,2 ] zárt intervallum, a képlet pedig legyen f { x ) = -\l4 -x ~ . Ez a függvény így írható fel; /: { x :x e R , - 2 < X < 2 } -> R; / ( x ) =
.
Szokásos jelölés még: /■j(x)=4i
vagy
X
M egállapodunk abban, hogy e helyett a kényelmetlen felírás helyett gyakran csak az / ( x ) = V 4 - x “ képletet írjuk fel, vagyis ezzel a képlettel értelmezzük az/fü g g v én y t. Itt még abban is megállapodunk, hogy az értel mezési tartományt mindazok az x értékek alkotják, amelyekre a képlet értelmes. Ha eltérően rendelkezünk a helyettesítési értékről, akkor azt ter mészetesen külön ki kell írni. Ennek az egyszerűsített jelölésnek megvan az a hátránya, hogy a helyettesítési érték és a függvény jelölése megegyezik. Ez azonban általában nem okoz félreértést.
Egy- és többváltozós függvények
30
Megjegyezzük, hogy néha kényelmi okok miatt, a függvényt y = f { x ) régies írásmóddal is jelölik, írják. Az változó neve független változó, y neve pedig fü g g ő változó. A függvény a reláció segítségével is értelmezhető. Az eddigiek alapján ugyanis belátható, hogy az és Y fölötti T reláció függvény az X halma zon, ha minden x g X esetén pontosan egy y & Y található úgy, hogy ( x, y ) e T. Ekkor a T jei helyett a z /je le t használjuk, és a T reláció helyett/ függvényt mondunk. Ekkor y = f { x ) . Igen lényeges, hogy míg a relációnál egy X elemhez (értékhez) több (akár végtelen sok) y elem (érték) tartozik, addig a függvény esetén egy ^:-hez pontosan egy y. A függvény ábrázolható az értelmezési tartomány x elemeiből az értékkészlet f { x ) elemeibe vezető nyilakkal (1.9. ábra), vagy a sík { x , f { x ) ) koordinátájú pontjaival (1.10. ábra). Ez a ponthalmaz a függvény gráfja (görbéje, grafikonja).
1.1.5. Függvények
Az összetett függvény jele f o g , ahol / e t külső függvénynek, g-t belső függvénynek nevezzük. Az értelmezés alapján ( / ° á^)(^) = f { g { x ) ) . Példa A h{x) = ln(4 - x~) összetett függvény esetében a külső függvény / {u) = in m, a belső függvény g{x) = A- x ~ >0. A h függvény csak 4 - x ~ >0 esetén van értel mezve, azaz, ha - 2 < x <2 . Tehát a h függvény értelmezési tartománya ez a nyílt intervallum. c) Bijektív függvények. A függvények három jellegzetes osztályát említ jü k meg. Legyen f : X -» 7 . Az / függvény szű rjek tív , ha 7-nak minden eleme képelem, azaz ha f { X ) = Y ; injektív, ha X különböző elemeihez 7-nak különböző elmei tartoznak, azaz ha X\
X2 esetén f { x i ) ^ f i ^ j ) ' , bijektív, ha szűrj ektív és
injektív. A bijektív függvényt szokás kölcsönösen egyértelműnek, más szóval egy-egyértelműnek is mondani. (Lásd még a [9] 8.3. pontját.) Megjegyezzük, hogy az inj ektív függvény is kölcsönösen egyértelmíi. Legyen X, ill. 7 egy-egy intervallum. Erre az esetre szemléltet az 1.11. ábra egy szűrj ektív, egy inj ektív és egy bijektív függvényt.
Példák 1. Legyen A '= {-1,0,1,2,3} az f ( x ) = 3 - 2 x függvény értelmezési tarto mánya, az egész számok halmaza pedig a képhalmaza. Ekkor az f ( X ) értékkészlet elemei rendre: 5, 3, 1, - 1 ,- 3 . A függvény nyíldiagramját az 1.9. ábra szemlélteti. 2. Az / (a:) = J x + l függvény értelmezési tartománya az x > - \ számok hal maza, mert a V x + 1 csak ott van értelmezve (megállapodás!). Értékkészlete az >^>0 számok halmaza. A függvény görbéje (grá^a, gráf/-fe! is szokás jelölni) az 1.10. ábrán látható. b) Összetett függvény. A matematikai gyakorlatban f { g ( x ) ) szerkezetű függvényekkel dolgozunk.
túlnyomórészt
Definíció. Az / é s g függvényekből f { g ( x ) ) módon konstruált függvényt összetett függvénynek nevezzük. Értelmezési tartománya azokból az x e Dg elemekből áll, amelyekre g ( x ) e D f .
y
X 1.11. ábra. a) Szűrj ektív b) injektív c) bijektív függvény gráfja d) Függvény megfordítjuk, re, akkor ez a hogy egy y e
inverze. Ha az f : X - ^ Y függvénynél a leképezés irányát vagyis az 7 halmaz elemeit képezzük le az X halmaz elemei fordított leképezés általában nem függvény, mert nem biztos, Y elemnek egyetlen x g X elem felel meg. Ha azonban /
bijektív, azaz kölcsönösen egyértelmű, akkor ez az ( / ” ' -gyei jelölt) fordí tott leképezés is függvény. Definíció. Ha az f ' . X - ^ Y
függvény kölcsönösen egyértelmű (azaz
bijektív), akkor az / ~ ' ; 7 —> X függvényt / inverz függvényének nevez zük. Ekkor a z / e t invertálható függvénynek mondjuk.
Egy- és többváltozós függvények
32
Példa Az / : R R ,/ ( x ) = x~ függvény nem kölcsönösen egyértelmű, hiszen minden ;c e R esetén / {-x) - f ( x ) , így /-nek nincs inverz függvénye. Legyen most az f függvény értelmezési tartománya Rq , azaz a nemnegatív számok halmaza, tehát / : R ^ - > R , / ( x ) = ^ -,
n
Ez az/függvény bijektív, tehát van inverz függvénye, éspedig az / “‘: R J - > R , / - ’(x) = V7 függvény, melynek görbéje az y = 4 x értékkészletéből vett tetszőleges >>-hoz
félparabola (1.33. ábra). Ui. az / értelmezési tartományában pontosan egy
olyan x tartozik, amelyre y - f { x ) , azaz amelyre y = x~ , t sQz?a x - f ~ \ y ) = y[y szám. Ebből következik, hogy / " ' az/ függvény inverze. 1.1.6. A lgebrai stru k tú rá k Az algebra a matematika fontos ága. Ennek egyik része az ún. klasszikus algebra, amelynek tárgya az algebrai egyenletek és egyenletrendszerek meg oldásainak, ül. megoldhatóságának vizsgálata. A másik része az absztrakt algebra (modem algebra), amely az algebrai struktúrákkal foglalkozik. A lgebrai s tru k tú rá n a k nevezünk egy halmazt, amelyben egy vagy több művelet van értelmezve. A legfontosabb algebrai struktúrák a követ kezők: a) Félcsoport. Elemeknek (pl. számoknak) egy halmazát félcsoportnak nevezzük, ha benne értelmezve van egy asszociatív, kétváltozós művelet. Ha a művelet kommutatív is, akkor kommutatív félcsoportról van szó. A m űvelet kétváltozós, ha az valamely A halmaz bármely rendezett elempárjához (tehát két elemhez) rendel A-he\i elemet. Kétváltozós műve let például az összeadás vagy a szorzás. b) C soport. Elemeknek (pl. számoknak) egy halmazát csoportnak nevez zük, ha benne értelmezve van egy asszociatív, invertálható kétváltozós művelet. Ha a művelet kommutatív is, akkor a csoport neve Abel-csoport. Ha a művelet összeadás, akkor ennek in vertál ása a kivonás. A szorzás invertálása az osztás. A fenti értelmezésből következik, hogy a csoportnak van neutrális ele me. H a a művelet összeadás, akkor a neutrális elem neve nullaelem (nulla, zérus), mert a + 0 = a . Ha a művelet szorzás, akkor a neutrális elem neve egységelem (egy), mert a \ = a . Például az egész számok halm aza az összeadásra nézve csoport. Ugyan csak csoport a pozitív racionális számok halm aza a szorzásra nézve.
1.1.7. Valós számok
33
c) G y űrű . Elemeknek (pl. számoknak) egy halmazát gyűrűnek nevezzük, ha benne értelmezve van két művelet, egy asszociatív, kommutatív, inver tálható összeadás és egy asszociatív szorzás, amely az összeadásra nézve disztributív. A gyűrűben tehát elvégezhető az összeadás, a kivonás és a szorzás. Ha a szorzás kommutatív is, akkor kommutatív gyűrűről beszélünk. Gyűrű például az egész számok halmaza az összeadás és szorzás műve letére nézve. cl) Test. Elemeknek (pl. számoknak) egy halmazát testnek nevezzük, ha benne értelmezve van két művelet: egy asszociatív, kommutatív, inver tálható összeadás és szorzás, ahol a szorzás az összeadásra nézve disztri butív. A szorzásnak a nullaelemre való invertálása (a nullával való osztás) természetesen nem megengedett. A testben mint algebrai struktúrában tehát elvégezhető az összeadás, ki vonás, szorzás és osztás, kivéve a nullával való osztást. Test például a racionális számok halmaza vagy a valós számok halmaza az összeadásra és a szorzásra nézve. (Lásd még a [9] 1. fejezetét.) 1.1.7. V alós szám ok a) Term észetes szám ok. Az egyesével való számlálás során keletkező 1, 2, 3, ..., n, ... számok a természetes számok. Ezt a számhalmazt N-nel jelöljük. Megjegyezzük, hogy szokás a 0 számot is a természetes számok közé sorolni. A természetes számok halmazában az összeadás és a szorzás mindig elvégezhető, azaz két természetes szám összege is, szorzata is természetes szám. Úgy is mondjuk, hogy a természetes számok halmaza zárt az össze adásra és a szorzásra nézve. A kivonás és osztás azonban nem mindig végezhető el (ui. az eredmények nem csak N-beli elemeket adnak). E halmazban van legkisebb elem, de nincs legnagyobb. A halmaz végte len, mert elemeinek száma végtelen. Az 1.1.1. pontban már említettük, hogy a természetes számok halmaza megszámlálható számosságú (megszámlálhatóan végtelen) vagy röviden: megszámlálható. A természetes számokra érvényes a teljes indukció axióm ája: Ha a természetes számok egy H részhalmaza tartalmazza az 1 számot és minden n számmal együtt az « +1 számot is, akkor H az összes természetes számot tartalmazza. Ezen az axiómán alapul a matematika egyik fontos bizonyítási módszere, a teljes indukcióval való bizonyítás. Ez a következőképpen fogalmazható meg: Tartozzék minden n természetes számhoz egy-egy állítás. Ha az 4 , állítás az n = \ számra igaz, továbbá, ha tetszőleges, de rögzített n esetén
Egy- és többváltozós függvények
34 az
állítás igaz voltának feltevéséből
igaz volta is következik,
akkor az állítás minden n-re igaz. Röviden úgy is fogalmazhatunk, hogy ha az állítás igaz volta n-ről {n + l)-re öröklődik, akkor az állítás minden természetes számra igaz. A teljes indukcióval való bizonyítást a következő három lépésben cél szerű elvégezni: 1. A bizonyítandó állítást igazoljuk n = 1 -re (igazoljuk, hogy igaz); 2. Feltételezzük, hogy az állítás «-re igaz (feltesszük, hogy
igaz);
3. Az előbbi feltételezést felhasználva bizonyítjuk, hogy az állítás {n + l)-re igaz (bizonyítjuk, hogy igaz). hq
Megemlítjük, hogy vannak esetek, amelyekben az állítás csak bizonyos ^ 1 természetes számtól igaz. Ekkor a bizonyításnál először az hq szám
ra kell igazolni az állítást. Példa
7 Bizonyítsuk be teljes indukcióval, hogy 1+ 3 + 5+.. ,+(2« - ! ) = «" .
Megoldás. A bal oldalon egy n tagú összeg áll. 1. Igazoljuk, hogy n = 1 esetén az állítás igaz (a bal oldal egyetlen tagból áll): 4 :1 = 1". 2. Feltételezzük, hogy az állítás «-re igaz: Ay,:í + 3 + 5+..,+(2n- ! ) = «“ . 3. Bizonyítunk {n + 1) -re: + 3 + 5+...+(2/j —1) + (2n +1) = «“ + {2n +1) = (n +1)” . Itt felhasználtuk azt, hogy a bal oldalon az első n tag összege n~. Mivel A„ igaz voltának feltételezéséből azt kaptuk, hogy 4,+i 's igaz, ezért az állítás minden n-re igaz. b) Egész számok. A természetes számokból kiindulva, alkalmas bővítéssel megalkothatók az egész számok: ...,- 3 ,- 2 ,- 1 ,0 ,1 ,2 ,3 ,... Ezt a számhalmazt Z-vel jelöljük. A -1, - 2 , -3 , ... számok a negatív egész számok. Az 1, 2, 3, ... termé szetes számokat pozitív egész számoknak is mondjuk, 0 pedig a nulla (zérus). Az egész számok halmazában az összeadás és szorzás mindig elvégezhető, úgyszintén a kivonás is. Az összeadásnál a 0, a szorzásnál az 1 szám kitüntetett helyzetű, mivel a + 0 = ű és \ - a = a , ahol a tetszőleges egész szám. A nulla nevezetes tulajdonsága még: a • 0 == 0 .
1.1.7. Valós számok
35
Ebben a halmazban nincs legnagyobb és nincs legkisebb elem. A Z hal maz végtelen, számossága ugyanúgy megszámlálható, mint az N halmazé. c) Racionális számok. Két egész szám hányadosaként előállítható számot racionális számnak nevezzük. A racionális számok halmazát tehát a — , p és q egész számok, q ^ 0 alakú számok alkotják. Ezt a halm azt Q jelöli. Az értelmezésből következik, hogy minden racionális szám egyértelmű en felírható véges tizedes tört vagy (végtelen) szakaszos tizedes tört alak ban. Ennek fordítottja is fennáll, vagyis minden ilyen tizedes tört racionális szám. A szakaszos tizedes törtet periodikus törtnek is nevezik. Ez a halmaz magában foglalja (tartalmazza) az egész számok halmazát és így a természetes számok halmazát is. Q tehát a Z halmaz alkalmas bővítésével nyerhető. A racionális számok halmazában az összeadás, szorzás, kivonás és osz tás mindig elvégezhető, a nullával való osztást kivéve. Ezeknek a művele teknek az eredménye tehát ismét racionális szám. Mivel az összeadás és a szorzás kommutatív és asszociatív, továbbá a szorzás disztributív, ezért a racionális számok halmaza test. A racionális számok a számegyenesen ábrázolhatok. Minden racionális számnak a számegyenesen megfelel egy pont. Ez a hozzárendelés egyszerű szerkesztéssel megvalósítható. A racionális számoknak a számegyenesen való érdekes elhelyezkedésére rávilágít az a tény, hogy bármely két racio nális szám között mindig van racionális szám. Ennek következtében bár mely két racionális szám között végtelen sok racionális szám van. Ezt másképpen úgy mondjuk, hogy a racionális számok halmaza mindenütt sűrű. Ennek ellenére könnyen igazolható az a meglepő tény, hogy ennek a halmaz nak a számossága megegyezik az N halmaz számosságával, azaz a két halmaz ekvivalens. Tehát a racionális számok halmaza is megszámlálható. A racionális számok sűrűsége azért is fontos, mert bármely valós számot tetszőleges pontossággal közelíthetünk racionális számmal. d) Irracionális számok. Egyszerű algebrai és geometriai feladatok megol dása is szükségessé tette az irracionális számok, más szóval a végtelen nemszakaszos tizedes törtek bevezetését. Ilyen szám pl. a - J l . Könnyű igazolni, hogy valóban nem racionális szám (lásd [9] 2.24. pontját). Ebből viszont az következik, hogy bár a racionális számoknak megfelelő pontok a számegyenesen sűrűn helyezkednek el, mégsem töltik azt ki, így az „hézagos” . Az irracionális számok ezen „hézagoknak” megfe lelő pontokkal ábrázolhatók. A V2 szám helye például az 1.12. ábrán
Egy- és többváltozós függvények
36
bemutatott szerkesztéssel jelölhető ki a számegyenesen. Ez a pont a 0-tól jobbra, akkora távolságra van, amekko ra az egységnyi oldalú négyzet átlója. Ennek az átlónak nyilván van hoszszúsága, tehát valóban létezik a V 2 nek megfelelő pont a számegyenesen. Ugyanakkor ez a pont nem racionális 1.12. ábra. A V2 szám helyének szám képe, hiszen V2 irracionális szám. megszerkesztése A z irracionális számok halmaza is mindenütt sűrű, számossága nagyobb m int a racionális számoké, azaz nem megszámlálható. Az a irracionális számot algebrai szám nak nevezzük, ha van olyan raci onális együtthatójú n-edfokú egyenlet, amelynek a gyöke. Ha nincs ilyen egyenlet, akkor a transzcendens szám. Algebrai számok pl. 4 2 , \j \ + 4 5 , transzcendens számok pl. %, e. e) Valós számok. A racionális és irracionális számok együtt alkotják a valós számokat. Ezt a halmazt R jelöli. A valós számok és a számegyenes p o ntjai között kölcsönösen egyértelmű leképezés létesíthető. Ez azt jelenti, hogy minden egyes valós számnak megfelel a számegyenesen egy pont és a számegyenes minden egyes pont jának megfelel egy valós szám. A valós számok halmaza nem megszámlálható, azaz kontinuum számosságú. Elvégezhető benne az összeadás és szorzás, és ezek a műveletek megfordíthatók (a nullával való osztást kivéve). Az R halmaz mint algebrai struktúra test. Gyakran valós számtestként említjük. A valós számok halmaza (nagyságrendileg) rendezett halmaz, mert ér telmezve van benne a < (kisebb vagy egyenlő) rendezési reláció. Ennek következtében bármely két a, b valós szám esetén az a < b , a = b, a > b
g) Intervallum. A valós számok igen egyszerű és gyakran előforduló részhalmaza az intervallum. Legyen a < b két valós szám. Ekkor interval lumnak nevezzük a valós számok következő részhalmazait: ]a,b[.= {x'.x e R , a < X < b ] , nyílt intervallum (1.13.a ábra); [a,b]. = {x'.x e R , a < x < b ] , zárt intervallum (1.13.6 ábra); ]a,b].= {x:x e R , a < x
b)
a< x< b
a<x
d)
a<x
1.13. ábra. a) Nyílt intervallum, b) Zárt intervallum, c) Balról nyílt, jobbról zárt intervallum, d) Balról zártjobbról nyílt intervallum Az ~\a,b\ nyílt intervallum pontjai a fenti négy intervallum bármelyi kének belső pontjai (a végpontok tehát nem tartoznak ide), míg b - a az intervallum hossza (mind a négy esetben). A definiált intervallumok korlá tosak, mert mindegyik hossza véges. Intervallumnak nevezzük a következő részhalmazokat is: ] c,o o l
[c,o o [,
]- o o ,c [,
] - o o ,c ];
cgR,
Ezek végtelen intervallumok, mert nem korlátosak.
1.1.8. Az rt-dimenziós tér
állítások közül pontosan egy teljesül. _/) Abszoiút érték. A valós számok körében igen fontos fogalom az abszo lút érték. Az X szám abszolút értéke: .X, ha jc > 0, -jc, ha jc < 0. Az abszolút érték legfontosabb tulajdonságai: a = a b b'
37
1.1.8. A z n-dimenziós tér
|a + Z>| < |a |+ |é |.
a) Az n-dimenziós tér. Mint láttuk, a valós számok a számegyenes pontja ival ábrázolhatók. Ennek fordítottja is igaz: az egyenes minden pontja egyegy valós számmal, a pont koordinátájával adható meg. Hasonlóképpen a sík, ill. tér pontjai valós számokból álló ( x , y ) rendezett számpárokkal, ill. rendezett ( x, y , z ) számhármasokkal jellemezhetők. Az jc, y, z számok a pont (derékszögű) koordinátái (lásd az 1.1.11. pontban). Az {x, y) rendezett párok az R ' , az ( x, y, z ) rendezett számhármasok pedig az R elemei. Ezt általánosítjuk most.
halmaz
Egy- és többváltozós függvények
38
Definíció. /í-dim enziós térn e k nevezzük az (x, ^-esekből álló R ” halmazt. Az (.x, ,a-, A', ,Xt
rendezett szám-
. .,x „) elemek a tér pontjai, az
valós számok a pont koordinátái.
Ennek megfelelően R “
k é t d i m e n z i ó s tér,
R"* pedig
b) M etrika. Természetesnek tartjuk, hogy az x és ságát az |x - y| abszolút értékkel értelmezzük. A
háromdimenziós
valós számok
d
tér.
távol
d(jc, y) = |x - y| módon értelmezett függvényt távolságfüggvénynek,
más szóval metrikának nevezzük. E függvény legfontosabb tulajdonságai: 1. d ( x , y ) > 0 ;
Definíció. Legyen A c z R , a G R . Azt mondjuk, hogy az a pont az A halmaz torlódási pontja, ha a bármely környezete A végtelen sok pontját tartalmazza. Az a G R pont az ^ c R halmaznak jobb, ill. bal oldali torlódási pontja, ha a torlódási pontja az A r\[a ,°°[, ill. az A n [ - ° ° , a [ halmaznak.
a^T~""”a
aT s
^
1.14. ábra. Az a szám ekörnyezete
A környezet fogalmát síkbeli és térbeli esetre is kiterjesztjük. A sík P{a, b) pontjának e-kör nyezetén a sík azon ( x , y ) pontjainak halmazát értjük, amelyek az { x - a y + ( y - b ) ~ = e"
2. d (x ,y ) = d (y ,x ); 3. d(x, y) = 0 akkor és csak akkor, ha x =
kör belsejében vannak (1.15. ábra). P {a,b,c) ^onÍ]mdik.z-környezete az
;
4. d (x ,y ) < d (x ,z ) + d(z, y) (háromszögegyenlötlenség).
( x - a ) ^ + { y - b ) ~ + { z - c ) ^ = £"
Ha egy halmazon értelmezhető az 1.-4. tulajdonságokkal rendelkező d távolságfüggvény, akkor a halmazt a d metrikával ellátott metrikus térnek nevezzük. Mindezek alapján a valós számok R halmaza metrikus tér a d(.x, y) = = IA '-y| metrikával. Természetesnek tűnik, hogy az R ' y = (y ,,y 2) pontjainak, ill. az R pontjainak távolsága legyen
tér (azaz a sík) x = {x^,x^_) és
tér x - {x^,x-,,x^) és y = (y i,y 2 ,y 3)
d (^ ,y ) = V u - y , ) ' +{x, -- y ,)- , d ( x , y ) = ^(x^
ill.
+{x, - y , ) ' +(^3 - y , 7 "-
Általánosítva: az R " tér x = (x,
és y = ( y ,, y^ ,• • •,y„) pont
jainak távolsága d (^ ,y ) = ’J(^i - y , ) ' +Ú% - y , ) - + ...+ ( x „ - y ^ ) - . Igazolható, hogy ezek a távolságok rendelkeznek a metrika tulaj donságaival. Ezért mondható, hogy az ^-dimenziós tér metrikus tér a d metrikával. c) Környezet, torlódási pont. Az a valós szám e-környezetén, más szóval E - s i i g a r ú k ö r n y e z e t é n az ] a - e , a + e[ nyílt intervallumot értjük (1.14. ábra). M egállapodunk abban, hogy a ]c,+ környezeteinek,
39
1.1.8. A z n-dimenziós tér
a ]-°«,c[ alakúakat pedig
alakú intervallumokat +°o környezeteinek
mondjuk.
A tér 15. ábra. A P pont ekörnyezete
gömb belsejében levő pontok halmaza. Nagyfokú általánosításra ad lehetőséget, ha a környezetet a következő képpen értelmezzük: Az n-dimenziós tér valamely P pontjának e-környezetén a tér mindazon pontjainak halm azát értjük, amelyeknek a P pont tól való távolsága kisebb mint e. Itt burkoltan mindkét esetben a távolságot (a metrikát) használtuk fel. Ugyanis a környezet pontjainak távolsága az adott {a, ill. P) ponttól kisebb mint E. Ezért a fogalom kiterjeszthető az ^-dimenziós térre, sőt bármely metrikus térre is. Legyen M az «-dimenziós tér egy részhalmaza, P pedig egy pontja. Ek kor azt mondjuk, hogy P torlódási pontja M-nek, ha P bármely környeze te A/-nek végtelen sok pontját tartalmazza. Ha viszont P-nek van olyan környezete, amely M-nek egyetlen P-tö\ különböző pontját sem tartalmaz za, akkor P izolált pont. Megjegyezzük, hogy M torlódási pontja általában nem pontja M-nek. Legyen ismételten M c R^’ és P g R ” (1.16. ábra). Azt m ond juk, hogy P belső pontja M-nek, ha P-nek van olyan környezete, amelyet az M halmaz tartalmaz (benne van M-ben); Q külső p o n tja M-nek, ha Q nem tarto zik M-hez, és van olyan környezete, amely egyetlen pontot sem tartalmaz M-ből; S határpontja
T
Q
1,16. ábra. P belső pont, Q külső pont, 5 határpont
Egy- és többváltozós függvények
40
M-nek, ha 5-nek bármely környezete tartalmaz M-hez tartozó és M-hez nem tartozó pontot is. A határpont nem szükségképpen pontja M-nek. Az M c R ” halmazt nyíltnak mondjuk, ha egyetlen határpontját sem tartalmazza, azaz ha minden pontja belső pont, és zártnak, ha minden határpontját tartalmazza. Az összefliggő nyílt halmazt tartománynak is szokták nevezni. Az M halmaz akkor összefüggő, ha bármely két pontja olyan folytonos görbével köthető össze, amelynek minden pontja M-ben van. Az összefüggőség szemléletesen azt jelenti, hogy egy darabból áll. A zárt halmaz így is jellem ezhető: Az M halmaz pontosan akkor zárt, ha minden torlódási pontját tartalmazza. Gyakran használatos fogalom a korlátosság. Az M c: R " halmaz korlá tos, ha van olyan ^ valós szám, hogy M bármely két pontjának távolsága nem nagyobb mint k, azaz d(P,Q)
P , Q e M.
Kétdimenziós esetben a korlátosság azt jelenti, hogy van olyan körlap, amellyel M lefedhető. Az analízisben alapvető fontosságú az alábbi tétel: Bolzano-W eierstrass-tétel: Az n-dimenziós tér bármely korlátos végtelen részhalmazának van torlódási pontja.
1.1.9. K om plex számok a) A komplex szám értelmezése. A komplex számok a valós számokból megalkotott { a , b ) alakú rendezett számpárok, A komplex számok halma zát C jelöli. Az egyenlőség értelmezése: {a,b) - {c, d) akkor és csak akkor, ha a = c és b = d . Az összeadás értelmezése: {a,b) + {c, d) = {a + c,b + d ) . A szorzás értelmezése: (a, b){c, d) = (ac - b d ,a d + be). A komplex számok halmaza test az értelmezett összeadás és szorzás műveletére nézve (komplex számtest). Nullaelem a (0 ,0 ), egységelem az (1,0). Ezeket a továbbiakban 0, ill. 1 jelöli. Megjegyezzük, hogy C (nagy ságrendileg) nem rendezett halmaz. Rendeljük hozzá minden (a, 0) alakú komplex számhoz az a valós szá mot. Ez a hozzárendelés kölcsönösen egyértelmű, ezért az (a,0) komplex számot azonosíthatjuk az a valós számmal, vagyis írható: (a, 0 ) = a . A (0,1) elemet jelölje i. A szorzás értelmezése szerint = / - / = (0 ,l)(0 ,l) = ( - l,0 ) = - l .
41
1.1.9. Komplex számok
Az i számot képzetes egységnek nevezzük. Mivel i~ - -1 , ezért formáli san írható az is, hogy / = V=T. Az i nyilván nem valós szám. M indezek alapján az {a,b) komplex szám felírható a következő alakban is: (a,ö ) = (a,0 ) + {Q,b) = (a,0 ) + (0,1)(6,0) = a + /ö. A képzetes egységet i helyett gyakran j vel jelölik. A továbbiakban az {a,b) számpáros fel írás helyett az a + ib vagy a + bt írásmódot használjuk. Ezt az alakot a komplex szám algebrai alakjának nevezzük. Tekintettel arra, hogy az x + iy komplex szám nem más, mint az ( x, y) számpár, ezért a komplex számot a Descartes-íéXt koordinátarendszerben a P ( x , y ) ponttal vagy ehhez a ponthoz tartozó helyvektorral 1.17. ábra. A z = x + iy és a ábrázoljuk (1.17. ábra). Ennek a koordinátarendszernek a síkját z = x ~i y komplex szám komplex számsíknak nevezzük. Az x-, ill. ytengely neve valós, ill. képzetes tengely. A z = x + iy komplex szám valós része x, képzetes (imagínárius) része y. Jelölésük; R ez:=.x,
lmz:=y.
A valós szám olyan speciális komplex szám, amelynek képzetes része nulla. Az előzőek alapján két komplex szám akkor és csak akkor egyenlő, ha valós részük is és képzetes részük is egyenlő, azaz x i+ iy i= x 2 + iyi, ha x i = x 2 és y i = y 2 A z = x + iy komplex szám abszolút értékén az -.= \z\= = ^|7 számot értjük. Ez nem más, mint P helyvektorának hossza. E helyvektornak a valós tengely pozitív irányával bezárt szöge a komplex szám arkusza. Ezt rendszerint (p vagy arcz jelöli, és megállapodás szerint -7 r< (p < 71 vagy 0 < cp< 2 ti .
Egy- és többváltozós függvények
42
Az 1.17. ábráról leolvasható, hogy jc = rcoscp, nálva, dí z = x + iy komplex szám felírható
= r s in íp . Ezt felhasz
43
b) Az összeadás és a kivonás. A z\ és Z2 komplex szám összege: Zj +Z 2 = (xi + ÍV]) + (X 2 +
z = r( c 0s(p + is in 9 )
) = ^1 + .^2 + /(>■] + 3^2) ■
Az R halmaz testtulajdonságából következően az összeadás kommutatív és asszociatív. Az abszolút érték egyik nevezetes tulajdonsága:
ún. trigonom etrikus alak b a n is. A cos(p + í sin
1.1.9. Komplex számok
Euler-formula ismeretében a komplex szám
ki + ^2! - k i| + 1^2!■ A konjugáltakkal kapcsolatban megemlítjük, hogy
exponenciális alak jáh o z jutunk (lásd a 8.3.3. pontot). Itt e a természetes logaritmus alapszám a{e = 2,71828...). Összefoglalva, a komplex szám algebrai, trigonometrikus és exponen ciális alakja: z = x + iy ~ r(cos(p + i sin(p) = r e ' ^ . A z = x + iy komplex szám konjugáltja a
z + z - (x + íy) + (x —ly) = 2 x,
zj + Z2 = z-j + Z7 .
A Z2 és z-j komplex számok különbsége-.
^2 " ^1 = (^2 + ^>2) “ (-^1 +iy]) = X 2 - x^+ i{y2 ~ y\) ■ A Z] és Z2 komplex számoknak megfelelő pontok távolsága-.
z: = X —iy d = \z2 ~z^\ = ^ { x 2 - x { f +{ y 2 - y ^ f .
komplex szám, ami geometriailag z tükörképe a valós tengelyre (1.17. ábra). Ennek megfelelően z = x + i y - x - i y = r(coscp- i sincp)
c) A szorzás és az osztás. A zj és Z2 komplex számok szorzata valójában a többtagúak szorzási szabálya alapján kapható, figyelembe véve azt, hogy
Példák 1. A z = -1 + -J3i komplex szám (1.18. ábra) ab szolút értéke:
E komplex szám konjugáltja: z = -1 - -J3i. 2. A z = 8 komplex szám abszolüt értéke 8, arkusza 0, ezért a trigonometrikus alak: 8(cos0 + /sin 0). 3. Az i komplex szám arkusza y , abszolút értéke: 1. Trigonometrikus alakja: cosy + /s in y , cxponenciális alakja: e - . 4. A z = -5 komplex szám abszolút értéke 5, arkusza n .
= r,r2(cos((pi +(p2) + /sin((p| + 9 2 ))Exponenciális alakban: z^Z2 =ne' ^<-r 2e'‘<^^-=r^r2e^(^'^^^-\ Mind a trigonometrikus, mind az exponenciális alakból látható, hogy komplex számok szorzásakor az abszolút értékeket össze kell szorozni, az arkuszokat (szögeket) pedig össze kell adni. Ez geometriailag azt jelenti, hogy Z]-nek Z2-vel való szorzásakor a Z] vektorát [zj]-szeresére kell nyúj tani (rövidíteni) és 92 = arc Z2 szöggel el kell forgatni. A fentiek miatt az /-vei való szorzás 90°-os forgatást jelent.
Egy- és többváltozós függvények
44
A konjugáltakkal kapcsolatban megemlítjük, hogy zjz2 = Z\Z2 ,
1.1.9. Komplex számok
45
Megoldás.
zz = {x + iy)(x - i y ) = x^ +y ~ .
Az abszolút értékre érvényes: |Z]Z2| = |^i||22|-
b) Mivel rj =6, cpj
6
“
-
cpo " 4
ezért
Példa Számítsuk ki a zj = 2V3 + 2i és Z2 = 1+ ^ komplex számok szorzatát a) algebrai, b) trigonometrikus és c) exponenciális alakban. Megoldás.
c)
a) z,z2 = (2 V 3 + 2 0 (1 + 0 = 2 V 3 - 2 + /( 2 V 3 + 2).
Z») Mivel r^ = V12 + 4 =4, (p, =-|-,
Z-,
= V2, 92 = ~ , ezért
z,z, = 4V2 Í c o s ( f + ^ ) + í s in ( ^ + -^ )'| = 4 V2 (cos75°+f sin75°). V o 4 o 4 y ,YÍL+iL) /57t c) Z]Z2 = 4V2e ^ = 4V2e .
3 V2*
2V2
éO Hatványozás. A komplex szám egész kitevőre való hatványozását úgy értelmezzük mint valós szám esetében, azaz
1
z - z, z
«+l
—z
n
(« > 0 egész) és ha. z ^ 0 .
Negatív egész kitevő esetén A — hányados algebrai alakban való előállításához célszerű a számlá ul lót és a nevezőt szorozni a nevező konjugáltjával. így zx
zxz2
(xi +i yi ){x 2 ~ i y 2 )
X1X2 + y \ y 2 , -^l yi - ^ l y i
^2 ~ ^2 ^2 ~ (^2 + í>2 )(^2 ” % )
X2 + y Í
4 +y2
A komplex szám n-edik^ hatványa algebrai alakban kiszámítható a bi nomiális tétel segítségével. így n~k ,. s./
Ix
i~ = -1 ,
" Általánosan:
A r.
IL
íiL ^
^2 ’
^2
( n > 0 egész).
= 1,
i^ = i,
= -1
stb.
= / (m, l egész szám).
z” = (r(cos(p + /sin(p))” = r ” (cos«cp + /sinncp). Ennek alapján z” exponenciális alakja:
(Z2 56 0). ^2
Példa írjuk fel a — hányadost a) algebrai, b) trigonometrikus és c) exponenciális alakban, ha Zj = -3^/3 + 3/ és 23 = 2 + 2 i.
{ly)
Ha z = r(cos(p + /s in 9 ), akkor (Moivre-képlet):
Komplex számok osztásakor tehát a számláló abszolút értékét el kell osztani a nevező abszolút értékével, a számláló arkuszából (szögéből) pedig ki kell vonni a nevező arkuszát. A konjugáltakra és az abszolút értékre érvényes:
U 2;
0, n > 0 egész).
Itt figyelembe kell venni, hogy
n (c °s 9 l + -;sinyi) ^ A (e o s ( 9 i -.p,)+ .-sin(ip, r2(C0S(p2+ísm(p2) ^2
/CP2
(z
'
Trigonometrikus és exponenciális alakban; Z2
z -= -i
Ha r - \ , akkor z ” = (cos 9 + /sin (p)” = cos n(p + / sin n(p =
.
Példa Számítsuk ki (1 + /)'* értékét a) binomiális tétellel és b) Mo/vre-képlettel is.
Egy- és többváltozós függvények
46
1.1.10. Polinomok
47
Megoldás. a) (I + O"*-1 + 4/ + 6/ - + 4 / ^ = - 4 .
1.1.10. Polinom ok
b) M ivel r = ^ j 2 és (p = - j , ezért 1+ / = V 2 ( c o s - j + / s i n ^ ) , így
a) A polinom értelmezése.
(1 + /)"* = V y " * (c 0 s 4 '^ + 7 sin 4 --^ ) = - 4 .
Definíció. Az f { x ) \ =
e) Gyökvonás. A z komplex szám «-edik gyökén a w” = z ( n > 0 egész) egyenlet gyökeit értjük. Ha z = r(cos(p + f sincp), akkor (p + 2 kn . . (p + 2/cTC c o s - --------- + 1sm-^^----------
(/í = 0,1,2,.
Az n-edik gyökök az origó középpontú 'Vr sugarú körön vannak, egy szabályos n szög csúcspontjaiban. Nevezetesek az 1 komplex szám n-edik gyökei, az ún. egységgyököt. lk a . 2 kn = cos------- h ü'sm-----
Megoldás. A komplex szám abszolút ér téke r =4, arkusza pedig
6
azaz 150°.
Ml = V z =
5n ^ + 2kn f - + 2kn ;_D---------- k í sin —Ö-------1.19. ábra. Az ^-2-j3+ 2i komplex szám gyökei
(Á; = 0 ,1 ,2 ,3 ,4 ,).
A gyökök: 6
6
Az aQ ,ai,...,a„ számok a polinom egyttó/jató/,
pedig va/tozó. Ha
0,
akkor / (x) n-edfokú polinom . Az n (nemnegatív egész) szám a polinom fo ka (fokszáma). Ha a,, = 1, akkor azt mondjuk, hogy a polinom normált. Megállapodunk abban, hogy minden 0-tól különböző számot 0-adfokú polinomnak tekintünk. Ha / (x) minden együtthatója 0, akkor / (x) = 0. Ezt zéruspolinomnak nevezzük, melynek nem tulajdonítunk fokszámot. Az aQ ,ai,...,a„ együtthatók lehetnek egész, racionális, valós vagy
A r[.x]-beli polinomok összege, különbsége, szorzata ismét r[x]-beli polinom, továbbá az összeadás és szorzás kommutatív, asszociatív és iga zolható a disztributívitás is. Ezért ezek a polinomok gyűrűt alkotnak, a T feletti polinom ok gyűrűjét, melyben zéruselem a zéruspolinom. Példa
így
COS-™4-/sin-7-
változós) polinomnak nevezzük.
komplex számok. Általában ha az együtthatók egy T (szám-) test vagy (szám-) gyűrű elemei, akkor T feletti polinomról beszélünk. Ezeknek a polinomoknak a halmazát r[.x] jelöli.
Példa ________ Számítsuk ki V-2V3 + 2/ értékeit.
k = Ö-, vi;,
+.. .+ a2X“ + a^x + űq kifejezést (egy
2
2
Az f { x ) = x‘^ - \ negyedfokú és g{x) = x~ +4x + \ másodfokú, normált poli nomok összege, ill. szorzata: f { x ) + g{x) = x^+x~+Ax, ill. / (x)g{x) = (x‘^ - l)(x" +4x + 1) = X®+ 4x^ +x"* -x~ -4 x - 1. b) Polinomok osztása. Az osztás a polinom ok körében általában nem végezhető el. M int ahogy az egész számok osztásánál, itt is keletkezhet maradék. Tetszőleges f { x ) és nullától különböző g{x) polinomhoz található olyan q{x) és r( x) polinom, amelyekre:
yt = 1 ;
W2 = V í ( c o s l 0 2 ° + / s i n l 0 2 °);
f ( x ) = q ( x ) g { x ) + r( x)
k = 2',
W3 = V 4 * (c o sl7 4 ° + /sin l7 4 ° );
és r( x) fokszáma kisebb mint g{x) fokszáma, vagy pedig r( x) = 0.
yt = 3; W4 = V T (cos 246° +i sin 246°); /t = 4;
W5 = ^ ( c o s 3 1 8 °+ / sin 318°).
A q ( x ) , ill. r{x) polinom az / W g (^ ) maradéka.
(*)
(maradékos) osztás hányadosa, ill.
Egy- és többváltozós függvények
48
alakban is felírható.
g{x)
Ha r( x) = 0, akkor fennáll az f (x) = q{ x) g( x) azonosság. E k k o r/(x ) osztható g(A')-szel (és í7(x)-szel is). Az osztás elvégzése a következőképpen történhet (feltételezve, hogy mind az osztandó mind az osztó a' fogyó hatványai szerint van rendezve): Az osztandó első tagját elosztjuk az osztó első tagjával. Ennek eredmé nye lesz a hányados első tagja. Ezzel szorozva az osztót, a kapott szorzatot kivonjuk az osztandóból. Ha ez a különbség alacsonyabb fokú mint az osztó, akkor az eljárást befejeztük és e különbség lesz a maradék. Ha nem alacsonyabb fokú, akkor az eljárást megismételjük úgy, hogy az osztandó szerepét e különbség veszi át. Az eljárást addig folytatjuk, amíg ez a kü lönbség alacsonyabb fokú nem lesz mint az osztó. Példa Legyen f { x ) = 2x‘^ alakban.
- 4 x + 3 és g(x) = x~ - 2 . Állítsuk elő /(.x)-et (*)
osztást,
Ha / ( a ) = 0 , akkor azt mondjuk, hogy a az / (x) polinom zérushelye. Ekkor a egyúttal az / ( x ) = 0 egyenlet gyöke. Tehát ami a polinomnál zérushely, az az egyenletnél gyök. Ennek ellenére szokás polinom esetén is gyököt mondani (a zérushely helyett). Ha a a polinom zérushelye, azaz / ( a ) = 0 , akkor az r maradék értéke is nulla ( r = 0 ). Ekkor tehát az / (x) polinom osztható (jc - a ) -val, így f{x) = {x-a)q{x).
Példa Legyen /( x ) = x"* +1. Számítsuk ki, hogy mi lesz az osztási maradék, ha /( x ) -et osztjuk (x -/)-vel. Megoldás. A tétel alapján: r ~ / ( a ) =
=
+\ - 2.
c) Az alg eb ra alaptétele. E Gausstól eredő igen fontos és szép tétel az
polinom zérushelyének létezését m ondja ki. Tétel. (Az alg eb ra alaptétele). Bármely, legalább elsőfokú, (valós vagy) komplex együtthatós polinomnak van zérushelye a komplex számtestben.
- x ^ + Ox- - 4 x + 3):(x" - 2) = 2x" - x + 4 -4x~}
Mivel a polinom zérushelye egyúttal a megfelelő algebrai egyenlet gyö ke, ezért a tétel így is megfogalmazható: Minden legalább elsőfokú
-x ^ + 4 x “ - 4 x + 3 -(-x ^
polinomot {x - a) -val osztjuk, akkor a maradék
f„{x')-=üy^x^ + ö „ _ lx ”~^+...+a2X~ +ű]X + ű!o
Megoldás. Előbb végezzük el az
-{2x^
49
Tétel. Ha az f { x ) egyenlő /( a ) - v a l .
Megjegyezzük, hogy a (*) azonosság formálisan g (x )
1.1.10. Polinomok
+ 4x" -
2
x)
6
x+ 3
-(4 x -
-
a„x” + 8
+.. .+Ö2X“ +ai x +ÜQ = 0
alakú egyenletnek van gyöke. A tétel szerint ez a gyök komplex szám is lehet.
)
- 6x + ll A hányados tehát q{x) = 2x~ - x + 4 , a maradék pedig r(x) = -6A' + ll. Ezek felhasználásával
d) Polinom gyöktényezős alakja. Az algebra alaptételének értelmében az f„ (x ) (n-edfokú) polinomnak van zérushelye. Ennek következménye, hogy
/ (x) = (2x“ -X + 4)(x' - 2 ) - 6 x + 11.
pontosan n zérushelye van. Legyenek ezek x j,x 2 ,...,x „ . Ekkor az f „( x)
írjuk fel az
g(^')
polinom felírható
törtet is:
f „( x ) = a „ ( x ~ x - i ) ( x ~ x 2 ) . . . i x - x „ ) alakban.
j . .- 4 x ,+ l ^ 2x- - X+ 4 + X--2
(1)
X--2
Az alkalmazásokban különösen fontos az a speciális eset, amikor a polinomot (x - a )-v a l osztjuk.
Az X|,X2 ,...,X „ zérushelyek között egyenlők is lehetnek. Ha s külön böző zérushely van, és az Xj zérushely szer fordul elő, akkor az (1) előállítás
-szer, az xj rj -szőr, ... az
r,. -
Egy- és többváltozós függvények
50
f n{ x ) = a „ i x - x ^ Y \ x - X 2 Y" . . . { x - x , ) alakú, ahol i\ +r 2 +...+r^ = n . A z
(2)
-szoros zérushelye.
n-edfokú polinom (1), ill. (2) előállítását a polinom gyöktényezős ala k já n ak nevezzük. Az { x - x i ) , { x - x 2 ) , . . . , { x - ^ n ) tényezők dLgyöktényezők. Példák 1. írjuk fel az f { x ) -
- 2x~ +5x polinom gyöktényezös alakját.
Megoldás. Először a polinom zérushelyeit kell megkeresni. Mivel x kiemelhető, azaz f { x ) = x { x ~ - 2 x + 5) alakban írható, látszik, hogy az egyik zérushely x, =0. A másik két zérushely az x“ - 2x + 5 = 0 egyenlet gyökei. Tehát ^2,3-
2 ± j 4 ^ 2±-vPT6 1 ± A ^ _ l ± A i 2 “ 2 “ 2 ~ 2 "
így a gyöktényezős alak: / ( x ) = x(x - (1 + 2/))(x - (1 - 2/)). 2. Az / ( x ) = 3( x - 2)^(x + l)(x -/)(x + 0 hatodfokú polinom gyöktényezös alakban van felírva. Innen leolvashatók a zérushelyek: Xj = 2 háromszoros, míg X, = - 1, JC3 = /, és X4 = - i egyszeres zérushelyek. 3. Az x"* - 3x^ + 3x“ + 3x + 2 = 0 egyenlet két gyöke: x, = 1 és Xj = 2. Ezért az egyenlet bal oldala osztható (x - l)(x - 2 )-vei. Az osztást elvégezve, az x^ - 3x^ + 3x- + 3x + 2 = (x - l)(x - 2)(x" +1) azonosságot kapjuk. Innen látható, hogy a harmadik és a negyedik gyök az x“ +1 = 0 egyenlet megoldásaként kapható. Ezért X3 = i és X4 = é) Az n-edfokú egyenlet. Tekintsük az + a „ _ ]x ”’" V ...+ a 2X "+ aiX + <3o = 0,
a „ { x - x i Y \ x - X 2 Y~ . . . { x - x , ) ' ^ = 0, ahol xi az egyenlet T|-szeres gyöke, xo 7-2 -szeres gyöke, ..., gyöke és
Definíció. Az f „{x) = a„x'^ +a„_ix'^ ^+ ...+ a2^ “ +a^x + üQ
a„ 7^0
n-edfokú egyenletet, ahol az aQ ,ai,...,a„ együtthatók komplex számok is lehetnek. Az /„ (x) polinom zérushelyeinek megkeresése az f„ (x) = 0 egyenlet gyökeinek megkeresését jelenti. Ezért a polinomoknál elmondottak az f„ {x ) = 0 egyenletre is vonatkoznak. E miatt fogalmazhatjuk az algebra alaptételét így is: minden, legalább elsőfokú, valós vagy komplex együtt hatós algebrai egyenletnek van gyöke a komplex számtestben. Ennek kö
51
vetkezménye az, hogy n darab gyök van. Az egyenlet gyöktényezős alakja pedig:
szám az x^ zérushely multiplicitása
(többszörössége) {k = \ , 2 ,---,s) ■Úgy is szokás mondani, hogy x,, a polinomnak
1.1.10. Polinomok
-szeres
+ 7^2+.. ,+ry = n .
A gyöktényezős alakból leolvashatók a polinom zérushelyei, ill. az egyenlet gyökei azok többszörösségével együtt. Ezért a polinom szorzattá alakítása igen lényeges az egyenletek megoldása szempontjából. A szorzat tá alakítás gyakran kiemeléssel és nevezetes azonosságok felhasználásával is végrehajtható. A gyöktényezős alakból az is látható, hogy az (x) polinom osztható bármelyik gyöktényezővel. Ezt a tényt az fy^{x) = 0 egyenlet megoldásánál úgy használhatjuk ki, hogy /„ ( x )-e t osztva valamelyik gyöktényezőjével, eggyel alacsonyabbfokú egyenlethez jutunk. Felmerülhet a kérdés, hogy az algebrai egyenlet gyökeit, egyúttal a poli nom zérushelyeit, hogyan kell megkeresni, kiszámítani. Erre a választ az alábbiakban adjuk meg. Az első- és másodfokú egyenlet egyszerűen (képlettel) megoldható. A harmad- és negyedfokú egyenlet is megoldható gyökképlettel, ennek hasz nálata azonban annyira bonyolult, hogy a gyakorlatban ritkán használják (lásd a [9] 3.27. pont b) alpontját). Az általános ötöd- és ennél magasabbfokú egyenlet nem oldható meg tisztán algebrai úton. Ez azt jelenti, hogy az ilyen egyenlet gyökei nem számíthatók ki az együtthatókból a négy alapművelet és a gyökvonás véges számú alkalmazásával (tehát gyökképlet nincs). Ezt a Ruffm i-Abel-tétel mondja ki. Az e területre vonatkozó átfogó elmélet alapgondolata Galois nevéhez fűződik. Meg kell azonban jegyezni, hogy speciális esetekben a negyedfokúnál magasabbfokú egyenletek is megoldhatók. Tudni kell azt is, hogy numeri kus módszerekkel a gyökök tetszőleges pontossággal számíthatók (közelít hetők, lásd a 9. fejezetet). Megjegyzés. A gyakorlati esetek többségében az algebrai egyenletek, ill. polinomok együtthatói valós számok. Ezért érdemes az ebből fakadó néhány következményt áttekinteni. Tekintsük az a„x" + a„_xx" '+.. .+02x~ + a^x + Og = 0, a„
0 «-edfokú egyenletet,
1. Ha az együtthatók egész számok, akkor az egyenlet minden egész gyöke az állandó tag (íZq) osztója. Pl. az x"* + 2x^ - 4x" - 5x - 6 = 0 egyenlet egész gyökeit (ha vannak ilyenek) a 6 osztói, vagyis a ±1, ±2, ±3 és +6 számok között kell keresni. Egyszerű próbálkozással megállapítható, hogy az x, = 2
Egy- és többváltozós függvények
52
és X2 = -3 számok gyökök, míg a többi szám nem gyök. Az egyenlet bal oldala, a negyedfokú polinom tehát osztható az {x - 2)(x + 3) szorzattal. Az osztás elvégzése után a bal oldal szorzattá alakítható. így x “^ + 2x^ - 4x" - 5 x ~ 6 = { x - 2)(x + 3)(x" + x + 1). 2. Ha az együtthatók egész számok és a„ = \, vagyis a polinom normált, akkor az egyenlet minden racionális gyöke egész szám. Ennek az a következménye, hogy ha egy ilyen egyenletnek nincsenek egész gyökei, akkor tört (racionális) gyökei sin csenek. 3. Ha az együtthatók valós számok és az a + ib komplex szám (6 0) gyöke az egyenletnek, akkor az a - i b komplex szám is gyöke annak. Tehát a komplex gyökök párosán fordulnak elő, konjugáltjukkal együtt. Ennek egyik következménye az, hogy minden, valós együtthatójú, páratlan fokszámú egyenletnek van legalább egy valós gyöke. Az a + ib és az a - ib gyökökhöz tartozó két gyöktényező szorzata: [ x - { a + ib)){x - { a - ib)) = x~ - 2 ax + a~ +b~. így az egyenlet bal oldala osztható ezzel a másodfokú kifejezéssel. Ez a másod fokú polinom nem bontható fel valós elsőfokú tényezők szorzatára. Az ilyen (másodfokú) polinomról azt mondjuk, hogy a valós számtestben irreducibilis. Ugyanakkor a komplex számtestben reducibilis, hiszen két komplex elsőfokú tényező szorzata (vagyis itt felbontható két elsőfokú tényező szorzatára). 4. Ha az egyenlet együtthatóinak összege nulla, akkor az egyenlet egyik gyöke 1. Ez érvényes akkor is, ha az együtthatók komplex számok. Példák 1. írjuk fel az
-1 = 0 egyenlet gyöktényezős alakját.
Megoldás. Először oldjuk meg az egyenletet. Mivel x^ = 1, ezért x = Vr = l í c o s - ^ ± |^ + /sin-0 + 2 te ^ 3 / A: = 0 => Xj =
* - 0 , 1, 2 .
cosO + ísinO = 1;
k - 1 =^ X2 = c o s ^ + i
= cos 120° + /sin 120°=
+
;
^ = 2 => X3 = c o s - ^ + /s in - ^ = cos240°+/sin240°=
1.1.11. Koordináta-rendszerek alakban írható fel. Ezért az egyik gyök x, = 0. Az
x^ - 4x^ + 4x“ - 4x + 3 = 0 egyenlet egyik gyöke i. Ennek konjugáltja, a komplex szám is gyök. így a ne gyedfokú polinom osztható az (x -/)(x + /) = x“ + 1 polinommal. Az osztást elvégezve: x'* -4x^ +4x“ -4 x + 3 = (x“ + l)(x" -4 x + 3). Az X" - 4 x + 3 = 0 egyenlet két gyöke: 1 és 3. Az öt gyök tehát; x, = 0, Xt = 1. X3 =3, X4 = /, X5 = - /. Valamennyi gyök egyszeres. A bal oldali polinom (vagyis az eredeti) szorzattá bontott alakja: x(x - l)(x - 3)(x" + 1). Az ötödfokú polinomot tehát a valós számtestben irreducibilis polínomok szorza taként írtuk fel,
1.1.11. Koordináta-rendszerek A koordinátageometriának, az analízisnek és a matematika más ágainak is nélkülözhetetlen segédeszköze a koordináta-rendszer. Egy-egy feladat jellegétől függően, a feladathoz illeszkedő, más-más koordináta-rendszert célszerű használni. Ebben a részben a leggyakrabban használt koordinátarendszereket tekintjük át. a) Síkbeli derékszögű Descartes-féle koordináta-rendszert kapunk, ha két számegyenest közös kezdőponttal (0 ponttal) egymásra merőlegesen helyezünk el a síkon (1.20. ábra). Ezeket a számegyeneseket koordináta tengelyeknek, a közös kezdőpontot pedig origónak nevezzük. Ebben a koordináta-rendszerben a P { x ,y ) pont helyzetét a két koordinátatengelytől mért (előjeles) távolságai, az x és derékszögű koordináták (az abszcissza és ordináta), egyértelműen jellem zik. A z x = konstans és y = konstans egyenesek a koordinátavonalak.
így a gyöktényezős alak: ( x - 1)
(
- \ + 4 3 í\ ( j rv
-l-V 3 /^
= 0.
2
/ Figyeljük meg, hogy a két komplex gyök egymásnak konjugáltja. r
2
2. Oldjuk meg az x^ -4x"^ +4x^ -4 x " +3x = 0 egyenletet, ha az egyik gyöke i, majd bontsuk a bal oldali polinomot valós tényezők szorzatára. Megoldás. A bal oldal x kiemelésével x(x'* -4 x ^ +4x" -4 x + 3)
b) Polárkoordináta-rendszert kapunk, ha egy egységponttal ellátott irányított félegyenest veszünk fel a síkon (1.21. ábra). A félegyenest, amely egyúttal a kezdő irányt is kijelöli, polártengelynek, kezdőpontját pedig origónak vagy pólusnak nevezzük. Ebben a koordinátarendszerben a P(r,(p) pont helyzetét az origótól mért r távolság és az 1.21. ábrabeli (p szög egyértelműen jellemzi. Ezeket polárkoordinátáknak nevezzük. Itt a koordinátavonalak az r = konstans origó közepű körök és a (p == konstans félegyenesek. Ugyanannak a pontnak derékszögű és polárkoordinátái között (ha a két koordinátarendszer origója azonos és a polártengely egybeesik az jctengellyel) a következő összefüggések állnak fenn: ill.
+ r
c) Síkbeli görbevonalú koordináták. Vegyünk fel a síkon két görbesere get úgy, hogy a sík minden egyes pontján a két görbesereg egy-egy görbéje menjen át (minden ponton más-más görbepár). A két görbesereg egyenlete legyen u = f ( x , y ) , v = g{x, y) , ahol u és V seregparaméterek, x és y pedig derékszögű koordináták. Az u = konstans és v = konstans görbék (koordinátavonalak) metszik egymást egy pontban. Ennek a pontnak a görbevonalú koordinátái ii és v. A z /é s g függvényekre tett, a gyakorlatban legtöbbször fennálló feltételek mellett az w és V koordináták egyértelműen jellem zik a pont helyzetét. Görbevonalú koordináták a polárkoordináták is. d) T érbeli derékszögű (Descartes-féle) koordinátarendszert kapunk, ha három számegyenest közös kezdőponttal egy másra páronként merőlegesen helyezünk el a térben (1.22. ábra). A számegyeneseket koordinátatenge lyeknek, a közös kezdőpontot origónak nevezzük; két-két számegyenes által kifeszített sík elnevezése koordinátasík. A P { x , y , z ) pont helyzetét a koordinátasíkok tól mért (előjeles) távolságai, az x, y és z derékszögű koordináták, egyértelműen jellemzik. A z x = konstans, y = konstans és z = konstans sí 1.22. ábra. Térbeli kok a koordinátafelületek. Általában jobbsodrású derékszögű koordináta- rendszert használunk (mint azt az 1.22. ábra is rendszer szemlélteti).
l . l .11. Koordináta-rendszerek e) Hengerkoordináta-rendszert kapunk, ha egy rögzített síkban levő polárkoordináta-rendszert ki egészítünk egy, a póluson átmenő, a síkra merőle ges egyenessel, mint z-tengellyel, melynek kezdő pontja az origóban van. Az r, cp, z h e n g e r k o o r d i n á t á k és az Jí, y , z derékszögű koordináták közötti összefüggések: :í = rcos(p,
>' = 7"sin(p,
z = z.
Ekkor az r = konstans, (p = konstans és z = 1-23^351 a, Hengei^ koordinata-rendszer = konstans koordinátafelületek rendre z-tengelyű körhengerek, z-tengelyre illeszkedő félsíkok és z-tengelyre merőleges síkok (1.23. ábra). f ) G öm bi (térbeli polár-) koordinátarendszer. Vegyünk fel egy síkot, és benne egy egységponttal ellátott, irányított fél egyenest O kezdőponttal. Egy térbeli P pont hely P(r,(p,9) zetét egyértelműen jellem zi az OP = r távolság, az OP szakasznak a síkkal bezárt -ö szöge és a sza kasz síkra merőleges vetületének a félegyenessel bezárt (p szöge (1.24. ábra). így egy g ö m b i k o o r d i n á t a r e n d s z e r t kapunk. Ha a derékszögű és a gömbi koordinátarendszert az ábrán látható módon helyezzük egymásra, akkor az r, (p, "ö g ö m b i k o o r d i n á t á k és az x, y , z derékszögű 1.24. ábra. Gömbi koordináták közötti összefüggések: koordinátarendszer X = rcos'öcoscp, y = rcos'ösincp, z - r s i n ű . . Ekkor az r = konstans, (p = konstans és i3 = konstans koordinátafelüle tek rendre origó-közepű gömbfelületek, z-tengelyre illeszkedő félsíkok és z-tengelyű, origó-csúespontú körkúpfelületek. Megjegyezzük, hogy a fizikai alkalmazásoknál a i3 szög helyett annak pótszögét választják egyik koordinátának. g) Térbeli görbevonalú koordináták. Vegyünk fel a síkon három felület sereget úgy, hogy a tér minden egyes pontján a három felületsereg egy-egy felülete menjen át (minden ponton más-más felülethármas). Egyenletük legyen u = f{x,y,z),
v = g(x,y,z),
w = h(x,y,z),
ahol II, V, és w seregparaméterek, jc, y , és z pedig derékszögű koordináták. Az u = konstans, v = konstans és w = konstans felületek (koordinátafelü
Egy- és többváltozós függvények
56
letek) metszik egymást egy pontban. Ennek a pontnak a térbeli görbe vonalú koordinátái u, v és w. Ilyen koordináták a hengerkoordináták és a gömbi koordináták is.
1.2.1. A z egyváltozós fü g g vén y fogalm a
57
d) E ltolás (térben). Ha a térbeli ( x ,y ,z ) koordinátarendszer origóját a Q {a,b,c) pontba toljuk, akkor a P pont x, y, z régi és r\, ^ új koordinátái közötti összefüggések: x = a + ^,
y = b + r\,
z = c + ^,
^ =X -a ,
T] = y - b ,
=z-c.
ill,
1.1.12. Koordinátatranszformációk Analitikus geometriai vizsgálatok során sokszor célszerű a koordinátarend szert eredeti helyzetéhez képest eltolni, elforgatni, a tengelyeken a távol ságot megnyújtani stb, annak érdekében, hogy az új koordinátarendszerben egy-egy alakzat egyenlete egyszerűbb legyen. Az ilyen „műveletet” koordinátatranszformációnak nevezzük. A derékszögű koordinátarendszer legfontosabb transzformációi a következők:
P(x,y)=P(^,Ti)
d) E ltolás (síkban). Toljuk el az {x, y) koordinátarendszer origóját a Q (a,b) pontba. Az új koordinátarendszer ten gelyeit jelölje ^ és r\ (1.25. ábra). Ekkor a P pont régi és új koordinátái közötti összefüggések: x = a + '^, y = b + T\,
ill.
^ = X - a, r\ = y - b . 1.25. ábra. Koordinátarendszer eltolása
b) Forgatás (síkban). Forgassuk el az (x, y ) koordinátarendszert az origó kö
d) Forgatás (térben). Forgassuk el az ( x ,y ,z ) derékszögű koordinátarend szert az origó körül úgy, hogy az x-, y - és z-tengelyek (amelyek irányát az i, j, k egységvektorok adják meg) a t) - és ^ -tengelyekbe menjenek át, melyek rendre a következő egységvektorok irányába mutatnak: i' = a ,i + (3ij + y,k, j ' = a2Í + p2J + Y2k, k ' = a3Í + p3j + Y3k. Ekkor a régi és az új koordináták közötti összefüggések: x = a i^ + a9'n-i-a3C J = p i^ + |3 ;n + p3^ z ^ Y i^ + Y.ri + YsC,
X = ^ c o s (p - T) í / n (p
1,26. ábra. Koordinátarendszer elforsatása
= ^ s i n ( p + r\cos(^]
^ = X c o s (p +
y
T) = - X s i n (p +
ill.
s i n (p
y
c o s (p
c) Nyújtás. N yújtsuk meg az egységnyi távolságot az jc-tengelyen qszorosára, az ^-tengelyen r szeresére { q > 0 , r > 0 ). A P pont :x, y régi és ^ ,11 új koordinátái közötti összefüggések: x = g^, y = r(], Ha 0 <
ÜL
r <\, akkor nyilván zsugorításról (kicsinyítésről) van szó.
T| = 0C2 X +
4- y ^ z
C = 0C3^+P37 + Y3^_
A nyújtást ugyanúgy hajtjuk végre, mint síkbeli esetben. Természetesen ugyanazt a koordinátarendszert több transzformációnak is alávethetjük (pl. eltoljuk és elforgatjuk stb.).
rül (p szöggel. Az új koordinátarendszer tengelyeit jelöljük ^ -vei és r\ -val (1.26. ábra). A P pont régi és új koor dinátái közötti összefüggések: y
^ = a i^ + Piy + Yi2 il l.
1.2.
AZ EGYVÁLTOZÓS FÜGGVÉNY
1.2.1. Az egyváltozós függvény fogalm a Az 1.1.5. pontban általánosan értelmeztük a függvényt. Most csak olyan függvényekkel foglalkozunk, amelyeknek az értelmezési tartománya is, képhalmaza is valós számokból áll. Ezeket egyváltozós valós függvények nek nevezzük. A továbbiakban képhalm aznak mindig az R halmazt tekint jük, ezért ezt már nem említjük külön. a) Értelmezés. Definíció. Az R R típusú függvényt, azaz amelynek értelmezési tar tománya is és értékkészlete is valós számokból áll, egyváltozós valós (valós-valós) függvénynek nevezzük. Az egyváltozós valós függvény értelmezési tartományát gyakran X ér tékkészletét Y, független változóját ;í, függő változóját;; jelöli.
Egy- és többváltozós függvények
58
A függvény sokféleképpen megadható. H a képlettel adjuk meg, akkor az 1.1.5. pontban tett megállapodás értelmében nem mindig írjuk ki az értel mezési tartományt. Ilyenkor az értelmezési tartományt mindazok a számok alkotják, amelyekre a képlet valós értéket vesz fel, és a függvény helyett csak a képletet adjuk meg. A szóhasználatban ezt mondjuk függvénynek. M egállapodunk abban is, hogy a valós jelzőt igen gyakran elhagyjuk. A függvény jelölésénél elsősorban a praktikusságot tartjuk szem előtt. Ezért az/fü g g v én y t / ( x ) , sőt néha y = f ( x ) módon is fogjuk jelölni. Ha az f { x ) képletbe &zx helyére az x\ számot írjuk, akkor az így nyert f { x \ ) számot a z / függvény X] helyen vett helyettesítési értékének ne
1.2.L A z egyváltozós függvény fogalm a
59
Példa 1. Legyen f{u)~?, mu, g{u)= e’‘. Ekkor i f ° g)(x) = f{g{x)) = s in e \ Itt a külső függvény a sin, a belső függvény pedig az e alapú exponenciális függ vény. Fordítva pedig: ( g ° / ) ( ^ ) = ^ (/(^ )) = e""". Itt az e alapú exponenciális függvény a külső, a sin pedig a belső függvény. 2. Az /( x ) = sin^x = (sinx)^ összetett függvény esetén külső függvény a har madfokú hatványfüggvény, míg a sin a belső függvény.
vezzük. H a f { x i ) = 0, akkor xi az /fu g g v én y (egyik) zérushelye. H a bevezetjük az f ( x ) = y jelölést, akkor az Példa Legyen f { x ) =
F(x,y) = 0 . Ekkor az értelmezési tartomány a - 2 <x <2 zárt inter
vallum, mert a - j 4- x~ képlet csak ilyen x-ekre értelmes. Értékkészlet a 0 < y <2 zárt intervallum (y-nal jelölve az f ( x ) értékeket). Továbbá /(0 )-2 ,
/( - 1 ) ^ /( 1 ) := V 3 ,
/( V 2 ) = V2;
Példa
/( 2 ) = 0, ezért az jc = 2 a függvény zérushelye; =
egyenlet is értelmezhet (egy vagy több) függvényt. Ekkor azt mondjuk, hogy F ( x , y ) = 0 egy im plicit a lak b a n megadott függvény. A függvény nek ez a megadási módja praktikus lehet görbék vizsgálatánál, differen ciálegyenletek megoldásánál, de más esetekben is.
Az x~ +y~ - 1 = 0 implicit alakú függvény esetén y = ± ^ l - x ~ . Ezért az
f { xo + h) = ^ 4 - ( x o + h f -
x"+>’" - l = 0 implicit megadás jelentheti az f { x ) = yf\~x~ függvényt, de az /( 2 s in 0 = V4 - 4 sin“ t = 2-\/l-sin" t = 2-v/cos" t =2|cosí|; /ifit)) =
- V 4 -(4 -r ) =
= 14
b) A függvény áb rázo lása. A függvény vizsgálatánál igen hasznos lehet annak ábrázolása.
A z f é s g függvények egyenlők, azaz f = g, ha értelmezési tartományuk megegyezik és / (x) - g(.x) a közös értelmezési tartomány minden .x ele mére. Értelmezzük a z f é s g függvények összegét, különbségét, szorzatát, há nyadosát (értelmezési tartom ányuk közös részén): if ± g ){x) = f{x)±g{x), if -g){x) = f{x)-g{x), ha g (x ) ^ 0.
Az f { g { x ) ) szerkezetű függvényt az 1.1.5. pontban összetett függ vénynek neveztük. Jele:
f ° g , így ( / ° g) {x) = f [ g{x) ) .
függvény, g belső függvény.
/ (x) = - V l- x " függvényt is.
Itt / külső
Definíció. A P[x,f{x)), x e Dj- pontok halm azát a z / függvény görbéjé n ek (grafikonjának, ábrájának, g rá fá n a k) nevezzük. Ha bevezetjük az f { x ) = y jelölést, akkor az / függvény görbéjének egyenlete: y = f{x). A függvény ábrázolásakor sokszor megelégszünk egy ún. jelleggörbé vel, amelytől csupán azt kívánjuk meg, hogy helyesen tüntesse fel a függ vény előjelviszonyait, valamint a zérushelyek környezetében és a végtelen(ek) környezetében való viselkedését. Tájékoztató jellegű görbét kaphatunk úgy is, hogy elég sok xj^ helyen kiszámítjuk az f { x k ) = yi^ függvényértékeket, majd a Pk{xj^,yj^) pontokat ábrázolva, azokat (akár egyenes szakaszokkal) összekötjük. Gyakran előfordul, hogy két függvény ( f és g) összegét, különbségét, szorzatát vagy hányadosát kell ábrázolni, vagyis az
Egy- és többváltozós függvények
60 y = f { x ) + g{x),
y = f{x)-g{x),
y = f{x)-g{x), egyenletű görbéket. Az értelme zésből látszik, hogy ekkor az y ~ f ( ^ ) és y = g( x) görbék azonos abszcisszájú pontjainak ordinátáit kell összeadni, kivonni, szorozni vagy osztani. Példa Az 1.27. ábrán az / ( x ) = sinA: és g(x) = X függvények összegét és különbségét, az 1.28. ábrán pedig ezek szorzatát és hányadosát ábrázol
y=sinX “ .
1.2.1. A z egyváltozós fü g g vén y fogalm a
61
c) Függvény-transzformációk. A függvény ábrázolását sokszor megkönynyíti, ha a vázolandó görbe ismert függvény görbéjéből eltolással, nyújtással, tükrözéssel stb. módon, összefoglaló néven transzformálással származtatha tó. Ha az eredeti görbe egyenlete y = f (x), és a transzformáit görbe egyen lete y - g{x), akkor azt mondjuk, hogy g o z f függvény transzformált]a. A z y = f ( x - a ) , a > 0 görbe, egyúttal az f ( x - a) függvény ábrázolá sához az X változó helyett az x - a - ^ helyettesítéssel vezessük be a ^ változót, azaz toljuk el a koordinátarendszert az jc-tengely irányába a egy séggel jobbra. Ekkor a görbe új egyenlete y = / ( ^ ) lesz. Innen látható, hogy az 7 = / ( ^ ) = f ( x - a ) görbe az y = f (x) görbéből x-tengely menti, a egységnyi jobbratolással származtatható (1.30.a. ábra). A z y - f { x + a), a > 0 görbe pedig a egységnyi balratolással keletkezik.
függvény az x = 0 he 1.27. ábra. A sin^r + x és sin x -x függvény tuk. A görbéje lyen nincs értelmezve. A görbén ezt egy „üres köröcske” (nullkör) jelzi. Megjegyzés. Egy görbe egyenletén olyan egyenletet értünk, amelyet a görbe pontja inak koordinátái kielégítenek, de más pontok koordinátái nem. Az y ~ f { x ) , vagy akár a v = f ( u ) egyenletet csak a P{x, f (x) ) pontok koordiná tái elégítik ki. Tehát az / függvény görbéjének egyenlete valóban y = f ( x ) vagy akár v=f(u).
1.30.a. ábra. Görbe x-tengely menti eltolása
Hasonlóan látható be, hogy az y = f ( x ) + b görbe az y = f (x) görbe ytengely menti b egységnyi, b előjelével egyező irányú eltolásával rajzolható meg (1.30.b. ábra). Az y ~ f{cx),
Példa Alakhelyes grafikon I
\ /
1 \
Jelleggörbe
\lO I 0
1
1.29. ábra. A 6x~ - x
4
d
függvény görbéje
1.30.b. ábra. Az y = x~ görbe eltolása x majdy irányba
0 < c < 1 görbe jc-tengely irányú — -szeres nyújtással c
Az 1.29. ábrán az f { x ) =
(nagyítással), c > 1 esetén pedig - - s z e r e s zsugorítással (kicsinyítéssel)
= - x ^ függvényt, vagyis az y = 6 x~ - x^ görbét ábrázoltuk. Az ábra egy jelleggörbét (szag gatott vonal) és egy alakhelyesebb (pontosabb) grafikont mu tat be. Figyeljük meg azt is, hogy a jobb szemléltetés érde kében a tengelyeken nem azonos egységeket vettünk fel.
kapható (1.31. ábra). M ind a nyújtásnál mind a zsugorításnál a görbe ytengelyen levő pontja (ha van ilyen) helyben marad. Példák 1. A tengelyek menti eltolást jól szemlélteti az l.BO.b. ábra, ahol az y = ( x- 2) ~ -1 görbét ábrázoltuk. A 2 egységgel jobbra eltolt parabolát 1 egységgel „lejjebb” toltuk. 2. Az 1.31. ábrán három lépésben mutatjuk be a cos—x függvény ábrázolását.
Egy- és többváltozós jüggvények
62
1.2.1. A z egyváltozós függvény fogalm a 1.
cosa:
63
(Ábrázoljuk az >^ = cosx görbét);
2. cos2x (Az előbbi görbét azx-tengely mentén felére zsugorítjuk); 3. cos^2(x + y ) (Az előbbi görbét az x-tengely mentén y-vel balra toljuk. A görbe speciális szerkezete miatt ez most ugyanazt eredményezi, mintha a görbét Y -vei jobbra tolnánk el); 4. -icos|^2(x + -~)^ (Az előbbi görbét azjv-tengely mentén felére zsugorítjuk); 5. YC0s|^2(x4-y)^-l (Az előbbi görbét azj-tengely mentén negatív irányba A leggyakrabban előforduló függvény-transzformációkat és azok hatását a függvény görbéjére, az 1. táblázatban soroltuk fel.
1 egységgel eltoljuk). A görbe az 1.32. ábrán látható.
Az f { x ) függvény egyszerű függvény-transzform ációi (1. táblázat) Transzformáit függvény
Transzformáció hatása a függvénygörbére
f(- x )
tükrözés azjz-tengelyre
- fix )
tükrözés az x-tengelyre c> \
0
f{cx),
x-tengely irányú —-szeres zsugorítás c
x-tengely irányú —-szeres nyújtás
cf{x).
c> 0
jK-tengely irányú c-szeres nyújtás (zsugorítás)
/( x -a ),
a> 0
eltolás £ü-val az x-tengely mentén jobbra
f { x + a).
a> 0
eltolás a-val az x-tengely mentén balra
f{x ) + b
/(c x -fl),
eltolás 6-vel az j/-tengely irányába megfelelően)
(b
előjelének
x-tengely irányú —-szeres zsugorítás és eltolás c
c> \ , a> 0
-vei az x-tengely mentén pozitív irányba
Példa 1. Az /( x ) =yCOs(2x + 7i) -1 = ^cos^2(x + y ) )-1
függvényt célszerű az 1.32. ábra. Függvény-transzformáció több lépésben
alábbi sorrendben ábrázolni:
Egy- és többváltozós függvények
64
1.2.2. Speciális tulajdonságú függvények Az egyváltozós valós függvény értelmezési tartománya is és értékkészlete is valós számokból áll, tehát nagyságrendileg rendezett halmazok. Ennek következtében néhány olyan speciális tulajdonsága van, ill. lehet, amelyet az általános függvényfogalom elrejt. a) Korlátos függvények. Legyen f az X halmazon értelmezett függvény és legyen H c z X . Definíció. Az f függvényt a H halmazon korlátosnak mondjuk, ha van olyan K szám, hogy |/ ( ^ ) | ^ K a H minden x elemére. Ha minden x & X esetén f { x ) < K (ill. f (.x) > K), akkor azt mondjuk, hogy a függvény felülről (ill. alulról) korlátos. Példák 1. Az f { x ) = sinx függvény az egész értelmezési tartományán korlátos, mert |sinx| < 1.
7.2.2. Speciális tulajdonságú függvények
/(O) = 0, a lokális maximum értéke /( 4 ) = 32, Abszolút maximum, ill, abszolút minimum nincs. b) M onoton függvények. Legyen / olyan valós függvény, amelynek értel mezési tartománya nem egyelemü halmaz. Definíció. Az f függvényt növekedőnek, ill. csökkenőnek nevezzük, ha értelmezési tartományának bármely két a < b elemére f{a )< f{b ),
Megjegyzés. 1. Az / függvényt értelmezési tartományának valamely a helyén lokáli san növekedőnek, ill. lokálisan csökkenőnek mondjuk, ha létezik olyan e > 0 valós szám, hogy minden x e ] a - e , a ] n D f - esetén / (x) < / (a), ill, f(x )> f(a ), f{x )< f{a ).
ma, ill. abszolút minimuma van, ha az értelmezési tartományához tartozó bármely x esetén f { x ) < f { x , ) ill. f ( x ) > f ( x , ) . Az /( x q )
f{ a )> f{b ).
Ezeket a függvényeket közös néven monoton függvényeknek nevez zük. A függvény lehet értelmezési tartományának csak egy részén monoton (növekedő vagy csökkenő).