Leidsid 33 sarnast õppematerjali, mis on seotud failiga "Matemaatiline maailmapilt". Need materjalid aitavad sul teemat sügavamalt mõista.
teoreem, loenduv, ekvivalents, reaalarv, ratsionaalarv, parajasti, täisarv, lausearvutus, naturaalarv, väärtustus, reaalarvu, osahulk, ekvivalentsus, algarv, lõpmatu, lauset, originaal, bijektsioon, muutuja, tõeväärtus, vaatleme, naturaalarvu, induktsioon, järjestatud, samaselt, injektiivne, paarisarv, irratsionaalarv, reaalarvud, osalise„Kas A või B, 1 aga mitte mõlemad“, näiteks „Ma külvan põllule rukist või panen põllule kartulid“. Disjunktsiooni all mõistame mittevälistavat „võid“. o Implikatsioon (märk →) väljendab tingimuslikku konstruktsiooni „kui . . . , siis . . . “. Näiteks „Kui Sven terve aasta korralikult õpib, siis suudab ta kevadel eksamid hõlpsasti ära teha“ või „Kui kehtib teoreem P, siis kehtib teoreem Q“. Mõlemad laused võib kirja panna valemiga A → B. o Ekvivalents (märk ↔) tähendab matemaatikas sagedasti kasutatavat seost „parajasti siis, kui“ ehk „siis ja ainult siis, kui“. Näiteks lause „hulk X on kinnine parajasti siis, kui X ühtib oma sulundiga“ on valemkujul A ↔ B. Tehete järjekord o ¬, &, ∨, →, ↔ o vasakassotsiatiivsus: kui mitme liikme konjuktsioonis või
Tingimused 1. Välistatud kolmanda seadus. Iga lause on kas tõene või väär. 2. Mittevasturääkivuse seadus. Ükski lause pole korraga tõene ja väär. Lausearvutuse valemid on parajasti need, mida saab koostada alltoodud reeglite järgi: 1. Iga lausemuutuja on lausearvutuse valem. 2. Kui F on lausearvutuse valem, siis ka F on lausearvutuse valem. 3. Kui F ja G on lausearvutuse valemid, siis ka (F&G), (FVG),(F->G) ja (F<->G) on lausearvutuse valemid. Osavalem : Kõiki antud valemi konstrueerimise käigus tekkinud valemeid nimetatakse selle valemi osavalemiteks ehk alamvalemiteks, konstrueerimise viimasel sammul kasutatud suhet aga peatehteks.
a.iv. Tehte tulemuseks saadud lause tõeväärtus sõltub ainult komponentlausete tõeväärtustest. 2) a. Eitus (märk ¬). Lause mittekehtimine. b. Konjunktsioon (märk &) tähendab seost ,,ja". c. Disjunktsioon (märk ) väljendab seost ,,või". Siin on kasutusel mittevälistav ,,või". d. Implikatsioon (märk ) väljendab tingimuslikku konstruktsiooni ,,kui ..., siis ...". e. Ekvivalents (märk ) tähendab matemaatikas sagedasti kasutatavat seost ,,parajasti siis, kui". f. Tehete järjekord kõrgemast madalamani ¬, &, , , . g. Def. Lausearvutuse valemid on parajasti need, mida saab koostada alltoodud reeglite abil. g.i. Iga lausemuutuja on lausearvutuse valem. g.ii. Kui on lausearvutuse valem, siis ka ¬ on lausearvutuse valem. g.iii. Kui ja on lausearvutuse valemid, siis ka ( & ), ( ), (
. . . . . . . . . . . . 33 2.1.4 Tähtsad piirväärtused . . . . . . . . . . . . . . . . . . . . . . . . . . 34 2.2 Koonduvuseteooria neli printsiipi . . . . . . . . . . . . . . . . . . . . . . . . 35 2.2.1 Monotoonsuseprintsiip . . . . . . . . . . . . . . . . . . . . . . . . . . 35 2.2.2 Bolzano–Weierstrassi teoreem . . . . . . . . . . . . . . . . . . . . . . 36 2.2.3 Cauchy kriteerium . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37 2.2.4 Cantori teoreem üksteisesse sisestatud lõikudest . . . . . . . . . . . . 38 2.2.5 Reaalarvu kümnendesitus . . . . . . . . . . . . . . . . . . . . . . . . 39 2.2.6 Arv e . . . . . . . . . . . . . . . . . . . .
Relatsiooni transitiivne sulund: R on seos hulgal A. R transitiivne sulund on seos R + hulgal A nii, et aR+b kehtib parajasti siis, kui eksisteerib i >= 1 nii, et aRib. Transitiivne sulund on R-le lisatud vähima paaride arvuga seos, mis on transitiivne. Relatsiooni refleksiivne transitiivne sulund: R on seos hulgal A. R refleksiivne transitiivne sulund on seos R *, mille korral: · iga a puhul aR*a · aR*b kehtib, kui kehtib aR+b · R* sisaldab parajasti nii palju elemente, kui eelmised tingimused ette näevad * R on seos, mis on saadud R-le minimaalse arvu paaride lisamisel nii, et saaksime refleksiivse ja transitiivse seose. Järjestusseosed: · osalise järjestuse seos (kõigile saab leida ülem- ja alamelemendid, kuid kõik pole järjestusse seatud): o transitiivne o irrefkeksiivne (näiteks alamhulgaks olemise seos kõigi osahulkade hulgal) · refleksiivne osaline järjestus (seos R)
6.2 Hausdorffi ruumi omadusi . . . . . . . . . . . . . . . . . . . . . . . .64 ¨ 6.3 Ulesandeid . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .66 7 KOMPAKTSUS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68 7.1 Kompaktsuse definitsioon ja lihtsamaid j¨areldusi . 68 7.2 Kompaktsus loenduva baasiga ruumides . . . . . . . . . .72 7.3 Kompaktsus meetrilistes ruumides . . . . . . . . . . . . . . . 76 7.4 Heine-Boreli teoreem . . . . . . . . . . . . . . . . . . . . . . . . . . . . .79 7.5 Kompaktsus ja pidevad kujutused . . . . . . . . . . . . . . . .83 ¨ 7.6 Ulesandeid . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .84 8 SIDUSUS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85 8.1 Sidusus ja tema komponendid . . . . . . . . . . . . . . . . . . . .85 8.2 Sidusad hulgad arvteljel . . . . . . . . . . . . . . . . . . . . . . . .
(M2) (ab) c = a (bc) kõikide a,b,c € R korral (korrutamise assotsiatiivsus) (M3) 1b = b iga b € R puhul (ühikelemendi olemasolu) (M4) iga b € R {0} puhul leidub b-1 € R omadusega bb-1=1 (pöördelemendi olemasolu) (D) (a + b) c= ac +ab kõikide a,b,c € R korral (distributiivsus) Järjestatus. Nõuame, et hulk R oleks järjestatud seosega <, mis rahuldab järgmisi tingimusi: (Q1) suvaliste a,b,c € R puhul kehtib parajasti üks tingimustest a = b, a < b, b < a (trihhotoomia reegel) (Q2) kui a < b ja b < c, siis a < c (transitiivsus) (Q3) kui a < b, siis a + c < b + c (liitmise monotoonsus) (Q4) kui a < b ja c > 0, siis ac < bc (korrutamise monotoonsus) 3) Kehtib pidevuse aksioom - Igal ülalt tõkestatud reaalarvude hulgal on olemas ülemine raja ja igal alt tõkestatud reaalarvude hulgal on olemas alumine raja.
1. Kollokvium 1. Hulga mõiste. Järjestatud hulk. Tehted hulkadega. Arvuhulgad. Teoreem. Ei leidu ratsionaalarvu, mille ruut on 2 (tõestada). Tõkestatud hulgad (näide). Tõkestamata hulgad (näide). Hulk koosneb elementidest, kusjuures elemendid ei kordu ja nende järjestus ei ole kindlaks määratud. Järjestatud hulk koosneb samuti elementidest, kuid selles hulgas on iga kahe elemendi kohta võimalik öelda, kumb neist on eelnev, kumb järgnev. Tehted hulkadega: * Hulkade A ja B ühendiks ehk summaks nimetatakse hulka, mille moodustavad kõik kas
Formaalsete esituste ainus otstarve on nendes sisalduv info hiljem jälle verbaalseks (ehk mõnda lingvistilisse keelde) tagasi "üles lugeda" — Hulgad: Hulgaalgebra (Cantori algebra), Hulgaaritmeetika (taastada). — Loogika: Lausearvutus, Predikaatarvutus, Tõestusmeetodid Mistahes formaalne esitus peab olema üheselt tõlgendatav! — Loogikaalgebra (Boole'i algebra) — Loogikafunktsioonid: minimeerimine, normaalkujud . . . — Algebralised struktuurid: "mitteformaalne" ≡ "verbaalne" (sünonüümid) Fundamentaalalgebrad: Võred, Rühmad, Ringid, Korpused
A · X = F korrutada (vasakult) pöördmaatriksiga A-1 : A-1 · A · X = A-1 · F. 17 PEATÜKK 2. PÖÖRDMAATRIKS. LINEAARVÕRRANDISÜSTEEMID Kuna A-1 · A = I ja I · X = X, siis saamegi võrrandisüsteemi lahendi X = A-1 · F. (2.3) 2.3 Pöördmaatriksi leidmine valemi abil Teoreem 2.1 Ruutmaatriksil A = (aij ) leidub pöördmaatriks parajasti siis, kui tema determinant ei võrdu nulliga. Kui |A| = 0, siis T A11 A12 ··· A1n 1 A21 A22 ··· A2n -1 A = ·
Kordamine matemaatilise analüüsi I eksamiks matemaatika-informaatika teaduskonnas 04/05 õ.a I FUNKTSIOONID Tõkestatud hulgad Ülalt ja alt tõkestatud hulgad Olgu X mingi reaalarvude hulk. Definitsioon: Kui leidub niisugune reaalarv M , et hulga X iga elemendi x puhul kehtib võrratus x M , siis öeldakse, et hulk X on ülalt tõkestatud, kusjuures arvu M nimetatakse hulga X ülemiseks tõkkeks. Ülalt tõkestatud hulga X elemendid paiknevad seega lõpmatus poollõigus (- , M ] . Definitsioon: Kui leidub niisugune reaalarv m , et hulga X iga elemendi x puhul kehtib võrratus x m , siis öeldakse, et hulk X on alt tõkestatud, kusjuures arvu m nimetatakse hulga X alumiseks tõkkeks.
tõkestatud reaalarvude hulgal on olemas alumine raja. 3. Funktsiooni mõiste. Funktsiooni määramispiirkond, muutumispiirkond, graafik. Funktsiooni põhilised esitusviisid. Liitfunktsioon, pöördfunktsioon. Paaris- ja paaritud funktsioonid. Perioodilised funktsioonid. Põhilised elementaarfunktsioonid. Elementaarfunktsioonid. Funktsioon - Kui igale arvule x X on mingi eeskirja f abil seatud vastavusse üks reaalarv y , siis öeldakse, et hulgas X on määratud funktsioon y=f(x) ja kirjutatakse y=f(x), x X Määramis ja muutumispiirkond - Hulka X nimetatakse funktsiooni määramispiirkonnaks ja hulka Y = { y | y = f ( x ) , x X } tema väärtuste hulgaks ehk muutumispiirkonnaks Funktsiooni graafik - funktsiooni graafikuks nimetatakse punktide (x,y) hulka {(x,y)|y=(x), x X } Funktsiooni põhilised esitlusviisid: 1. Esitus ilmutatud kujul
§ 1 REAALARVUD JA FUNKTSIOONID 1. Reaalarvu mõiste Tähistame sümboliga N kõigi naturaalarvude hulga, st N = {1, 2, 3,...} ja sümboliga Z kõigi täisarvude hulga, st Z = {...,3,2,1, 0, 1, 2, 3,...}. p Ratsionaalarvudeks nimetatakse arve kujul q , kus p ja q on täisarvud, q 0. Kõigi ratsionaalarvude hulga tähistame sümboliga Q. Ratsionaalarvudeks on parajasti need arvud, mis on esitatavad lõplike või lõpmatute perioodiliste kümnendmurdudena. Arve, mis on esitatavad lõpmatute mitteperioodiliste kümnendmurdudena, nimetatakse irratsionaalarvudeks. Kõik ratsionaalarvud ja irratsionaalarvud moodustavad reaalarvude hulga. Kõigi reaalarvude hulga tähistame sümboliga R. Iga lõplikku kümnendmurdu a= , 12 ...n saab esitada lõpmatu kümnendmurruna kahel viisil: a = , 12 ...n 00... või a = , 12 ...(n -1)99... .
3) D = [a, b ) = {x : a x < b} D = {a, b} hulk D ei ole lahtine ega kinnine 1 Kordamine eksamiks aines matemaatiline analüüs II (2004/2005 õa kevad) 2. Mitme muutuja (m-muutuja) funktsiooni mõiste Def. Kui hulga D R m igale punktile P = ( x1 ,..., x m ) on vastavusse seatud kindel reaalarv z , siis öeldakse, et hulgal D on määratud m-muutuja funktsioon f . Kirjutame: z = f (P ) või z = f ( x1 ,..., x m ) Hulka D nimetatakse funktsiooni f määramispiirkonnaks. Funktsiooni z = f (P ) loomulikuks määramispiirkonnaks nimetatakse punktide P hulka, mille korral funktsiooni määrav eeskiri omab mõtet. Def. M-muutuja funktsiooni f graafikuks nimetatakse hulka { ( f ) = ( x1 ,..., x m , z ) R m +1 : ( x1 ,..., x m ) R m , z = f ( x1 ,..., x m ) . }
siis öeldakse, et see arvuhulk on pidev 5. Vastandarv- Naturaalarvu n vastandarvuks nimetatakse sellist arvu -n, mis rahuldab võrdust n + ( -n ) = 0. 6. Täisarvude hulk- · Naturaalarvude hulk on täisarvude hulga osahulk · Z = {....-2; -1; 0; 1; 2; ......} · Jaguneb naturaalarvudeks ja negatiivseteks arvudeks a 7. b Murdarvud- Kui täisarv a jagub täisarvuga b, siis on jagatis täisarv, kui aga ei jagu, siis nimetame saadud arvu murdarvuks ja tähistame sümboliga (reaalarvu, mis ei ole täisarv.) 8. Ratsionaalarvude hulk- Täisarvud koos murdarvudega moodustavad ratsionaalarvude hulga 9. Irratsionaalarv- Lõpmatud mitteperioodilised kümnendmurrud 10. Reaalarvude hulk- Irratsionaalarvud koos ratsionaalarvudega moodustavad reaalarvude hulga.
Matematiline analüüs l. Jaan Jaano 1. Arvtelje mõiste. Reaalarvu absoluutväärtus. Loetleda absoluutväärtuse omadused. Reaalarvude ja lõpmatuste ümbrused. Tõkestatud hulga definitsioon. Arvtelje mõiste. Arvteljeks nimetatakse sirget, millel on valitud nullpunkt, pikkusühik ja positiivne suund. Võib väita, et igale arvtelje punktile vastab üks ja ainult üks reaalarv ja vastupidi: igale reaalarvule vastab üks ja ainult üks arvtelje punkt. Absoluutväärtuse mõiste. Reaalarvu a absoluutväärtuseks nimetatakse järgmist mittenegatiivset reaalarvu: |a| = a kui a 0 -a kui a < 0 . Reaalarvu a absoluutväärtus |a| on punkti a ja nullpunkti vahelist kaugust arvteljel. Absoluutväärtuse omadused: 1. | - a| = |a| 2. |ab| = |a| |b| 3. |a + b| |a| + |b| 4. |a - b| | |a| - |b| | Reaalarvude ja lõpmatuste ümbrused
Koonduva jada tõkestatuse tõestus) Jada {Xn} nimetatakse tõkestatuks, kui
leidub selline arv M>0, et iga n N korral Xn Um(0).
*Lause: Iga koonduv jada on tõkestatud.
*Tõestus:
a). Tõestame, et iga koonduv jada on Cauchy jada.
b). Näitame, et iga Cauchy jada on tõkestatud.
8*(Monotoonsed jadad. Monotoonse ja tõkestatud jada koonduvuse seos. Osajadad. Bolzano-
Wierstrassi)Monotoonseks jadaks nimetatakse jada, mis on kogu ulatuses mittekasvav või
mittekahanev.
*Bolzano- Weierstrassi teoreem: Igast tõkestatud jadast saab eraldada koonduva osajada.
*Jada {Xn} osajadaks {Yn} nim. jada, mis on saadud jadast {Xn} lõpliku või lõpmatu hulga jada
elementide väljajätmise teel.
*Lause: Xn < Xn+1 ; Xn < M
*Tõestus: Fikseerime n. Xn < Xn+1 ; Xn < M ; Xn- Xn+1
Lõpmatult kahaneva ja kasvava suuruse omavaheline seos. Teoreem 2.1 Suurus on lõpmatult kahanev siis ja ainult siis, kui suurus on lõpmatult kasvav. Teoreem 2.2 Kui suurus on lõpmatult kahanev ja suurus on tõkestatud, siis nende korrutis on lõpmatult kahanev. Tõkestatud suurus Muutuvat suurust nimetatakse tõkestatuks, kui selle suuruse muutumispiirkond on tõkestatud, leidub lõplik vahemik (a, b) Lõpmatult kahaneva ja tõestatud suuruse korrutis. Teoreem Kui suurus on lõpmatult kahanev ja suurus on tõkestatud, siis nende korrutis on lõpmatult kahanev. 9. Funktsiooni piirväärtuse definitsioon Funktsioonil f on piirväärtus b kohal a, kui suvalises piirprotsessis x a, mis rahuldab tingimust xa, funktsiooni väärtus f(x) läheneb arvule b Funktsiooni piirväärtuse geomeetriline sisu Kui funktsioonil f(x) on piirväärtus b punktis a, siis suvalises piirprotsessis x a, kus
Öeldakse, et { xn} on Cauchy jada ehk fundamentaaljada, kui iga > 0 korral leidub C N, 1. Norm ja kaugus (meetrika). Ümbrused. -ümbruse definitsioon. Reaalarvu ühepoolsed et iga naturaalarvu n > C ja naturaalarvu p korral kehtib võrratus |xn+p - xn| < . ümbrused. Lõpmatuse ümbrused. Lause. Jada { xn} koondub parajasti siis, kui ta on Cauchy jada. 2. Funktsiooni mõiste. Reaalmuutuja ühene funktsioon. Määramispiirkond, muutumispiirkond. Jada kuhjumispunktiks nim. arvu, mille igas ümbruseson lõpmata palju vaadeldava jada Paaris ja paaritud funktsioonid. Perioodilised ja antiperioodilised funktsioonid. liikmeid. Pöördfunktsioon. Monotoonsed funktsioonid. Kasvavad ja kahanevad funktsioonid. Lause
tõkestatud monotoonselt kasvav jada on koonduv; 11)igast tõkestatud jadast saab ||f +b|| ≤ sup||(f + b)x|| ≤ sup||fx+bx|| ≤ sup(||fx||+||bx||) ≤ sup||fx||+sup||bx|| ≤ ||f|| +||b|| eraldada koonduva osajada; 12)jadal {xn} lõplik PV, kui iga pos. arvu ε korral leidub -3o naturaalarv n0, et iga naturaalarvu p korral n→n0 |xn+p -xn|<ε(cauchy); x∈X x∈X x∈X x∈X x∈X *Lause: Koonduva jada piirväärtus on üheselt määratud. Kui *Kauguseks ruumis V nimetatakse reeglit, mis igale kahele selle ruumi elemendile
Muutuvat suurust nimetatakse lõpmatult kasvavaks, kui lim || = . Lõpmatult kahaneva ja kasvava suuruse omavaheline seos (sõnastada vastav teoreem): Lõpmatult kahanevate ja kasvavate suuruste vahel eksisteerib lihtne seos. Nimelt on nad teineteise pöördarvud. Kehtib järgmine väide. Vaata lk 31 tõestust. Tõkestatud suuruse definitsioon: Muutuvat suurust nimetatakse tõkestatuks, kui selle suuruse muutumispiirkond on tõkestatud. Sõnastada teoreem lõpmatult kahaneva ja tõkestatud suuruse korrutisest: Kui suurus on lõpmatult kahanev ja suurus on tõkestatud, siis nende korrutis on lõpmatult kahanev. Vaata tõestust lk 32. 9. Funktsiooni piirväärtuse definitsioon ja geomeetriline sisu: Funktsioonil f on piirväärtus b kohal a, kui suvalises piirprotsessis x a, mis rahuldab tingimust x = a, funktsiooni väärtus f(x) l¨aheneb arvule b. Funktsiooni piirväärtuse kirjutusviis on.............. või f(x) b kui x a
Lõpmatult kahaneva ja kasvava suuruse omavaheline seos. Teoreem 2.1 Suurus α on lõpmatult kahanev siis ja ainult siis, kui suurus on lõpmatult kasvav. Teoreem 2.2 Kui suurus α on lõpmatult kahanev ja suurus β on tõkestatud, siis nende korrutis αβ on lõpmatult kahanev. Tõkestatud suurus Muutuvat suurust α nimetatakse tõkestatuks, kui selle suuruse muutumispiirkond on tõkestatud, leidub lõplik vahemik (a, b) Lõpmatult kahaneva ja tõestatud suuruse korrutis. Teoreem Kui suurus α on lõpmatult kahanev ja suurus β on tõkestatud, siis nende korrutis αβ on lõpmatult kahanev. 9. Funktsiooni piirväärtuse definitsioon Funktsioonil f on piirväärtus b kohal a, kui suvalises piirprotsessis x → a, mis rahuldab tingimust x≠a, funktsiooni väärtus f(x) läheneb arvule b Funktsiooni piirväärtuse geomeetriline sisu Kui funktsioonil f(x) on piirväärtus b punktis a, siis suvalises piirprotsessis
4)Kui funktsioonidel f(x) ja g(x) on punktis a sama piirväärtus b ning leidub punkti a δ-ümbrus, et iga 0 < |x − a| < δ korral kehtib võrratuste ahel f(x) ≤ h(x) ≤ g(x), siis funktsiooni h(x) piirväärtus punktis a on samuti b. 5)lim (1 + 1/x)x = e; lim (1+1/x)x = e; lim (1+x)1/x = e x→+∞ x→ - ∞ x→ 0 4.Jada tõkestatus. Monotoonsed jadad. Osajadad. Bolzano – Weierstrass teoreem. Jada tõkestatus - Jada{xn} nimetatakse tõkestatuks, kui leidub selline arv M > 0, et iga n ∈ N korral xn ∈ UM (0), st ∀n ∈ N(| xn | ≤ M). Osajadad - Iga jada, mis saadakse jadast mingi lõpliku või lõpmatu hulga jada elementide väljajätmisel nim. selle jada osajadaks. Bolzano – Weierstrass teoreem - Igast tõkestatud jadast saab eraldada koonduva osajada. Monotoonne jada - jada, mis on kogu ulatuses mittekasvav võimittekahanev. 5.Cauchy jadad ehk fundamentaaljadad
= 0,1,2,... korral. T: Olgu L = L (M ), kus M = (Q , Σ, δ , Q0 , F ) ja Q = {q0 ,1 , . . . , qn }. Valime p = n. Siis sõne z = a1a2...an+1 aktsepteerimiseks peab automaat M tegema n+1 sammu. Järelikult vähemalt 1 olek peab korduma. Järelikult uw ∈ L(M), uvw ∈ L(M), uv2w ∈ L(M) jne. Keel L = {0n1n|n > 0} pole regulaarne. Sellise keele jaoks on vaja mälu. 6 Myhill-Nerode teoreem. DEF: Olgu keele L ⊆ Σ* (keel on kõigi sõnede hulga alamhulk) jaoks antud ekvivalentsiseos HL ⊆ Σ* × Σ* selline, et xHLy kehtib parajasti siis, kui iga z ∈ Σ* korral kehtib xz ∈ L yz ∈ L (iga suvalise z lisamisel x ja y sappa, kuuluvad saadud xz ja yz mõlemad keelde L või ei kuulu mõlemad). Teoreem: Keel L on regulaarne parajasti siis, kui seose HL ekvivalentsiklasside hulk on lõplik.
3 3( x + 4) 2 3 1 y ' ( x 0 ) = y ' (2) = 3 1 149 3 1,96 2 + 4 2 + (-0,04) = 3 75 0,04 = 0,0016 0,002 2 © 2001 - Ivari Horm ([email protected]), Toomas Sarv 17 Teoreem diferentsiaali olemasolust (tõestusega). Teoreem 1 Funktsioonil y = f (x) on diferentsiaal parajasti siis, kui tal on lõplik tuletis vaadelda- vas punktis ning seejuures (11.1) A( x) = y ' ( x) Tõestus: 1) Tarvilikkus: Eksisteerigu dy eksisteerib y ' ( x) Kui funktsioonil on diferentsiaal, siis y = A x + (x) y (x) Seega = A+ x x y (x) lim = lim A + = A( x) x 0 x x x 0 2) Piisavus: Eksisteerigu y ' ( x) eksisteerib dy
3 3( x + 4) 2 3 1 y ' ( x 0 ) = y ' (2) = 3 1 149 3 1,96 2 + 4 2 + (-0,04) = 3 75 0,04 = 0,0016 0,002 2 © 2001 - Ivari Horm ([email protected]), Toomas Sarv 17 Teoreem diferentsiaali olemasolust (tõestusega). Teoreem 1 Funktsioonil y = f (x) on diferentsiaal parajasti siis, kui tal on lõplik tuletis vaadelda- vas punktis ning seejuures (11.1) A( x) = y ' ( x) Tõestus: 1) Tarvilikkus: Eksisteerigu dy eksisteerib y ' ( x) Kui funktsioonil on diferentsiaal, siis y = A x + (x) y (x) Seega = A+ x x y (x) lim = lim A + = A( x) x 0 x x x 0 2) Piisavus: Eksisteerigu y ' ( x) eksisteerib dy
ja omadusi. · Olgu z = (x1, x2, . . . , xm) m-muutuja funktsioon määramispiirkonnaga D. Selle funktsiooni graafikuks nim. järgmist ruumi Rm+1 alamhulka: = {(x1, x2, . . . , xm, (x1, x2, . . . , xm)) || P = (x1, x2, . . . , xm) D} . · Kahemuutuja funktsiooni z = f(x, y) graafik Tähendus: Tegemist on teatud pinnaga kolmemõõtmelises ruumis (joonis): Omadused: 1) See pind koosneb parajasti sellistest punktidest M = (x, y, z) mille koordinaadid x, y ja z rahuldavad võrrandit z = f(x, y). 2) Pinna z = (x, y) projektsioon xy-tasandile langeb kokku funktsiooni määramispiirkonnaga D. 3) Suvaline z-teljega paralleelne sirge saab pinda z = (x, y) lõigata maksimaalselt ühes punktis (vt sirge s ja punkt M joonise). 6) Algebralised tehted mitmemuutuja funktsioonidega. Liitfunktsioon.
ja omadusi. · Olgu z = (x1, x2, . . . , xm) m-muutuja funktsioon määramispiirkonnaga D. Selle funktsiooni graafikuks nim. järgmist ruumi Rm+1 alamhulka: = {(x1, x2, . . . , xm, (x1, x2, . . . , xm)) || P = (x1, x2, . . . , xm) D} . · Kahemuutuja funktsiooni z = f(x, y) graafik Tähendus: Tegemist on teatud pinnaga kolmemõõtmelises ruumis (joonis): Omadused: 1) See pind koosneb parajasti sellistest punktidest M = (x, y, z) mille koordinaadid x, y ja z rahuldavad võrrandit z = f(x, y). 2) Pinna z = (x, y) projektsioon xy-tasandile langeb kokku funktsiooni määramispiirkonnaga D. 3) Suvaline z-teljega paralleelne sirge saab pinda z = (x, y) lõigata maksimaalselt ühes punktis (vt sirge s ja punkt M joonise). 6) Algebralised tehted mitmemuutuja funktsioonidega. Liitfunktsioon.
2.2) kus 3N on kolmega (j¨ agita) jaguvate naturaalarvude hulk, st 3N = {3; 6; 9; . . .} , ning a¨ 6N on kuuega jaguvate naturaalarvude hulk, st 6N = {6; 12; 18; . . .} , on (0.2.1) t¨ uu ¨pi. aite korral lauseks A lause "n 6N" ja lauseks B vastavalt "n 3N". Seejuures on selle n¨ V¨aidet (0.2.2) tuleb lugeda "kui arv n on kuuega jaguv naturaalarv, siis arv n jagub kolmega". Tingimus "n 6N" on piisav v¨aite "n 3N" t~oesuseks. Samas tingimus "n 6N" ei ole tarvilik v¨ aite "n 3N" t~oesuseks, n¨aiteks "9 / 6N", kuid "9 3N". T¨ahistus AB (0.2.3) on l¨uhikirjapilt v¨aitele "laused A ja B on loogiliselt samav¨ a¨arsed ", st kui lause A on t~oene, siis ka B on t~oene, ja vastupidi, kui lause B on t~oene, siis on t~oene ka A. V¨aidet (0.2
Tõestus: Kui on lõigu tükeldus, kusjuures c kuulub selle tükelduse osalõiku kus 1 on lõigu tükeldus punktidega x0,x1, ..., xk-1 , c ja 2 on lõigu tükeldus punktidega c, xk, ..., xn-1, xn. Lõigul integreeruv funktsioon on tõkestatud sellel lõigul põhjal saame Millest järeldub f(x)=O(1) . Et Seega on lause tõene. 15. Lebesgue'i teoreem. Konstanse funktsiooni inegreerivus. Pideva funktsiooni integreeruvus. Monotoonse funktsiooni integreeruvus. Üks lausetest tõestada. Lause (Lebesgue'i teoreem) Funktsioon f on lõigul [a; b] Riemanni mõttes integreeruv parajasti siis kui ta on tõkestatud lõigul [a; b] ja pidev peaaegu kõikjal lõigul [a; b], st katkev hulgal, mille Lebesgue mõõt on null. Lause Lõigul [a; b] konstantne funktsioon on integreeruv sellel lõigul,kusjuures Lause
() (). Seega, () = () () = () (). (f)= =1 . Riemanni integraal () eksisteerib parajasti siis, kui lim () + lim () + lim (( ) - ()) = () +
ei lähene nullile. Rida hajub
35. Arvrea koonduvuse Cauchy tunnus (sten)
36. Arvrea koonduvuse integraaltunnus
37. Vahelduvate märkidega read. Leibnizi tunnus
Vahelduvate märkidega rida on rida kujul a1a2+a3a4, ..., kus ai>0
Leibnitzi tunnus
Kui vahelduvate märkidega reas a1a2+a3a4, ..., liikmed on sellised, et a1>a2>a3>a4>...
ja nlim an = 0 , siis see rida koondub ja tema summa on positiivne arv, mis ei ületa rea
esimest liiget
38. Astmeread. Abeli teoreem
Abeli teoreem
a) Kui astmerida koondub mingi nullist erineva väärtuse x'0 korral, siis koondub ta absoluutselt
iga väärtuse x korral, mille puhulx
Definitsioon Hulka U (a) := {x V |d(a, x) < , > 0} nimetatakse punkti a V -umbruseks. ¨ Reaalarvu a R korral saame U (a) = {x R|a - < x < a + }. Definitsioon Reaalarvu a vasakpoolseks umbruseks ¨ ~ nimetatakse suvalist poolloiku (a - , a], kus > 0. Arv x kuulub arvu a vasakpoolsesse umbrusesse ¨ (a - , a] parajasti ¨ siis, kui selle arvu kaugus arveljel on arvust a vaiksem kui , st |x - a| < , ja x ei asetse a-st paremal, st x < a. ¨ G. Tamberg (TTU) YMM3731 Matemaatilne analu¨ us ¨ I 12 / 25 Reaalarvud ¨ Umbrused ¨ Umbrused Definitsioon