+ All Categories
Home > Documents > Matematicka´ analy´za 1aix-slx.upol.cz/~fiser/KMAMMAN1/Ma1-01prezentace.pdfMatematicka´ analy´za...

Matematicka´ analy´za 1aix-slx.upol.cz/~fiser/KMAMMAN1/Ma1-01prezentace.pdfMatematicka´ analy´za...

Date post: 23-Jan-2020
Category:
Upload: others
View: 1 times
Download: 0 times
Share this document with a friend
26
Matematicka ´ analy ´za 1 Jir ˇı ´ Fis ˇer 16. r ˇı ´jna 2007 Jir ˇı ´ Fis ˇer (KMA, Pr ˇF UP Olomouc) KMA–MMAN1 16. r ˇı ´jna 2007 1 / 21
Transcript
Page 1: Matematicka´ analy´za 1aix-slx.upol.cz/~fiser/KMAMMAN1/Ma1-01prezentace.pdfMatematicka´ analy´za 1 Jirˇı´ Fisˇer 16. rˇı´jna 2007 Jirˇı´ Fisˇer (KMA, PrˇF UP Olomouc)

Matematicka analyza 1

Jirı Fiser

16. rıjna 2007

Jirı Fiser (KMA, PrF UP Olomouc) KMA–MMAN1 16. rıjna 2007 1 / 21

Page 2: Matematicka´ analy´za 1aix-slx.upol.cz/~fiser/KMAMMAN1/Ma1-01prezentace.pdfMatematicka´ analy´za 1 Jirˇı´ Fisˇer 16. rˇı´jna 2007 Jirˇı´ Fisˇer (KMA, PrˇF UP Olomouc)

Zimnı semestr1. Supremum a infimum2. Cıselne posloupnosti a jejich vlastnosti3. Limita cıselne posloupnosti4. Cıslo e, jeho definice, vypocet a uzitı5. Funkce a jejich vlastnosti6. Limita funkce podle Heineho a podle Cauchyho7. Vlastnosti limit funkcı8. Spojitost a nespojitost funkce9. Funkce spojite na intervalu10. Derivace funkce11. Derivace vyssıch radu, Leibnizuv vzorec12. Diferencial funkce, jeho vlastnosti a uzitı13. Vety o strednı hodnote diferencialnıho poctu a jejich uzitı14. Vztah derivace a vlastnostı funkcı (monotonnost, konvexnost,konkavnost, inflexe)15. Lokalnı extremy a globalnı extremy16. Prubeh funkce

Jirı Fiser (KMA, PrF UP Olomouc) KMA–MMAN1 16. rıjna 2007 2 / 21

Page 3: Matematicka´ analy´za 1aix-slx.upol.cz/~fiser/KMAMMAN1/Ma1-01prezentace.pdfMatematicka´ analy´za 1 Jirˇı´ Fisˇer 16. rˇı´jna 2007 Jirˇı´ Fisˇer (KMA, PrˇF UP Olomouc)

Studijnı materialy

St. Travnıcek: Matematicka analyzakag.upol.cz/travnicek/1-MatAn.J. Kuben, P. Sarmanova: Diferencialnı pocet funkcı jednepromenne www.studopory.vsb.cz.V. MADROVA: Matematicka analyza I. VUP, Olomouc, 2004.J. BRABEC, F. MARTAN, Z. ROZENSKY: Matematicka analyza I.SNTL, Praha, 1989.J. KRENEK, J. OSTRAVSKY: Diferencialnı a integralnı pocetfunkce jedne promenne Zlın, 2001.J. KOPACEK: Matematicka analyza pro fyziky I., SPN, Praha(skripta MFF UK).

Jirı Fiser (KMA, PrF UP Olomouc) KMA–MMAN1 16. rıjna 2007 3 / 21

Page 4: Matematicka´ analy´za 1aix-slx.upol.cz/~fiser/KMAMMAN1/Ma1-01prezentace.pdfMatematicka´ analy´za 1 Jirˇı´ Fisˇer 16. rˇı´jna 2007 Jirˇı´ Fisˇer (KMA, PrˇF UP Olomouc)

Studijnı materialy

V. MADROVA, J. MAREK Resene prıklady a cvicenı zmatematicke analyzy I. VUP Olomouc, 2004.J. KOJECKA, M. ZAVODNY: Prıklady z matematicke analyzy I.,II., VUP Olomouc.B. P. DEMIDOVIC: Sbırka uloh a cvicenı z matematicke analyzy.Fragment, Praha, 2003.

Rozsirujıcı literatura:K. REKTORYS a kol.: Prehled uzite matematiky SNTL, Praha,1988.H. J. BARTSCH: Matematicke vzorce, SNTL, Praha, 1983.

Jirı Fiser (KMA, PrF UP Olomouc) KMA–MMAN1 16. rıjna 2007 4 / 21

Page 5: Matematicka´ analy´za 1aix-slx.upol.cz/~fiser/KMAMMAN1/Ma1-01prezentace.pdfMatematicka´ analy´za 1 Jirˇı´ Fisˇer 16. rˇı´jna 2007 Jirˇı´ Fisˇer (KMA, PrˇF UP Olomouc)

1. Cıselna osa, supremum a infimum

1.1. Zakladnı cıselne mnoziny1.2. Vlastnosti cıselnych mnozin1.3. Supremum a infimum1.4. Nekolik vet o realnych cıslech a cıselnych mnozinach1.5. Klasifikace bodu vzhledem k mnozine1.6. Rozsırena realna osa

Jirı Fiser (KMA, PrF UP Olomouc) KMA–MMAN1 16. rıjna 2007 5 / 21

Page 6: Matematicka´ analy´za 1aix-slx.upol.cz/~fiser/KMAMMAN1/Ma1-01prezentace.pdfMatematicka´ analy´za 1 Jirˇı´ Fisˇer 16. rˇı´jna 2007 Jirˇı´ Fisˇer (KMA, PrˇF UP Olomouc)

Zakladnı cıselne mnoziny

N = {1,2,3, . . . ,n, . . . } je mnozina vsech prirozenych cısel.

N0 = {0,1,2,3, . . . ,n, ...} = N ∪ {0}.

Z = {. . . ,−2,−1,0,1,2, . . . } je mnozina vsech celych cısel.

Q — mnozina vsech zlomku{

kn , kde k ∈ Z a n ∈ N

}

je mnozinouvsech cısel racionalnıch.

Jirı Fiser (KMA, PrF UP Olomouc) KMA–MMAN1 16. rıjna 2007 6 / 21

Page 7: Matematicka´ analy´za 1aix-slx.upol.cz/~fiser/KMAMMAN1/Ma1-01prezentace.pdfMatematicka´ analy´za 1 Jirˇı´ Fisˇer 16. rˇı´jna 2007 Jirˇı´ Fisˇer (KMA, PrˇF UP Olomouc)

Racionalnı cısla

UlohaCıslo a = 1,572 preved’te na obycejny zlomek.

Prvnı zpusob resenıPeriodicka cast desetinneho rozvoje cısla a je vlastne geometrickarada, tedy:

a = 1,5+72103 +

72105 +

72107 + · · · = 1,5+

72103

11− 1

100

= · · · =173110

.

Jirı Fiser (KMA, PrF UP Olomouc) KMA–MMAN1 16. rıjna 2007 7 / 21

Page 8: Matematicka´ analy´za 1aix-slx.upol.cz/~fiser/KMAMMAN1/Ma1-01prezentace.pdfMatematicka´ analy´za 1 Jirˇı´ Fisˇer 16. rˇı´jna 2007 Jirˇı´ Fisˇer (KMA, PrˇF UP Olomouc)

Racionalnı cısla

UlohaCıslo a = 1,572 preved’te na obycejny zlomek.

Druhy zpusob resenıVyuzijeme nekonecneho periodickeho opakovanı:

a = 1,572,100a = 157,272,

odkud po odectenı je

100a− a = 99a = 157,272− 1,572 = 155,7,

tedy

a =1557990

=173110

.

Jirı Fiser (KMA, PrF UP Olomouc) KMA–MMAN1 16. rıjna 2007 8 / 21

Page 9: Matematicka´ analy´za 1aix-slx.upol.cz/~fiser/KMAMMAN1/Ma1-01prezentace.pdfMatematicka´ analy´za 1 Jirˇı´ Fisˇer 16. rˇı´jna 2007 Jirˇı´ Fisˇer (KMA, PrˇF UP Olomouc)

Mnozina realnych cısel R

Zakladnı cıselna mnozina.Realna cısla zobrazujeme na cıselne (realne) ose.Pri rozsirovanı pojmu cıslo z Q na R vznikajı dve otazky:

- zda existuje potreba iracionalnıch cısel (a jak je zavest),- zda zobrazenı mnoziny R na cıselnou osu je bijekce, tj. zda i kazdy

bod cıselne osy je obrazem nejakeho realneho cısla.

Jirı Fiser (KMA, PrF UP Olomouc) KMA–MMAN1 16. rıjna 2007 9 / 21

Page 10: Matematicka´ analy´za 1aix-slx.upol.cz/~fiser/KMAMMAN1/Ma1-01prezentace.pdfMatematicka´ analy´za 1 Jirˇı´ Fisˇer 16. rˇı´jna 2007 Jirˇı´ Fisˇer (KMA, PrˇF UP Olomouc)

Potrebujeme iracionalnı cısla?

VetaNeexistuje racionalnı cıslo, jehoz druha mocnina by byla rovna 2.

Dukaz (sporem)

∃r ∈ Q : r2 = 2.r ∈ Q ⇒ r = p

q — zlomek v zakladnım tvaru, rq = p.

rq = p → r2q2 = p2, tj. 2q2 = p2 ⇒ p2 je sude ⇒ p je sudep je sude ⇒ p = 2k ⇒ 2q2 = 4k2 ⇒ q2 = 2k2 ⇒⇒ q2 je sude ⇒ q je sudep a q je sude ⇒ zlomek p

q lze kratit dvema, a to je spors predpokladem, ze tento zlomek je v zakladnım tvaru.

Jirı Fiser (KMA, PrF UP Olomouc) KMA–MMAN1 16. rıjna 2007 10 / 21

Page 11: Matematicka´ analy´za 1aix-slx.upol.cz/~fiser/KMAMMAN1/Ma1-01prezentace.pdfMatematicka´ analy´za 1 Jirˇı´ Fisˇer 16. rˇı´jna 2007 Jirˇı´ Fisˇer (KMA, PrˇF UP Olomouc)

Iracionalnı cısla Q′

Bez iracionalnıch cısel bychom napr. nedovedli zmerit uhloprıckujednotkoveho ctverce.Platı:

Q ∩Q′ = ∅ a R = Q ∪Q′.

Dekadicky rozvoj iracionalnıch cısel: neukonceny a neperiodicky(pro iracionalnı cısla casto zname jen konecny pocet mıst jejichdekadickeho rozvoje (napr. pro cıslo π)).

Mohutnost mnozinN, Z, a Q jsou spocetne (prvky techto mnozin lze usporadat doposloupnosti),R (a tedy i Q′) spocetna nenı; rıkame, ze R ma mohutnostkontinua.

Jirı Fiser (KMA, PrF UP Olomouc) KMA–MMAN1 16. rıjna 2007 11 / 21

Page 12: Matematicka´ analy´za 1aix-slx.upol.cz/~fiser/KMAMMAN1/Ma1-01prezentace.pdfMatematicka´ analy´za 1 Jirˇı´ Fisˇer 16. rˇı´jna 2007 Jirˇı´ Fisˇer (KMA, PrˇF UP Olomouc)

Komplexnı cısla C

Komplexnı cısla zobrazujeme v Gaussove rovine.

Pro cıselne mnoziny platı:

N ⊂ N0 ⊂ Z ⊂ Q ⊂ R ⊂ C.

Jirı Fiser (KMA, PrF UP Olomouc) KMA–MMAN1 16. rıjna 2007 12 / 21

Page 13: Matematicka´ analy´za 1aix-slx.upol.cz/~fiser/KMAMMAN1/Ma1-01prezentace.pdfMatematicka´ analy´za 1 Jirˇı´ Fisˇer 16. rˇı´jna 2007 Jirˇı´ Fisˇer (KMA, PrˇF UP Olomouc)

Vlastnosti cıselnych mnozin

DefiniceMnozina M se nazyva shora omezena ⇔ ∃L ∈ R tak, ze ∀x ∈ M platıx ≤ L. Toto cıslo L se nazyva hornı odhad (resp. hornı zavora).Mnozina M se nazyva zdola omezena ⇔ ∃K ∈ Rtak, ze ∀x ∈ M platıx ≥ K . Toto cıslo K se nazyva dolnı odhad (resp. dolnı zavora).Mnozina M se nazyva omezena ⇔ je omezena shora i zdola.

Nejvetsı a nejmensı prvek mnozinyPokud nektery hornı odhad mnoziny M patrı do mnoziny M, pak jejnazyvame nejvetsı prvek mnoziny M a oznacujeme jej max M.Podobne nejmensı prvek mnoziny M (definujte) oznacujeme min M.

Jirı Fiser (KMA, PrF UP Olomouc) KMA–MMAN1 16. rıjna 2007 13 / 21

Page 14: Matematicka´ analy´za 1aix-slx.upol.cz/~fiser/KMAMMAN1/Ma1-01prezentace.pdfMatematicka´ analy´za 1 Jirˇı´ Fisˇer 16. rˇı´jna 2007 Jirˇı´ Fisˇer (KMA, PrˇF UP Olomouc)

Vlastnosti cıselnych mnozin

DefiniceMnozina M se nazyva shora omezena ⇔ ∃L ∈ R tak, ze ∀x ∈ M platıx ≤ L. Toto cıslo L se nazyva hornı odhad (resp. hornı zavora).Mnozina M se nazyva zdola omezena ⇔ ∃K ∈ Rtak, ze ∀x ∈ M platıx ≥ K . Toto cıslo K se nazyva dolnı odhad (resp. dolnı zavora).Mnozina M se nazyva omezena ⇔ je omezena shora i zdola.

Nejvetsı a nejmensı prvek mnozinyPokud nektery hornı odhad mnoziny M patrı do mnoziny M, pak jejnazyvame nejvetsı prvek mnoziny M a oznacujeme jej max M.Podobne nejmensı prvek mnoziny M (definujte) oznacujeme min M.

Jirı Fiser (KMA, PrF UP Olomouc) KMA–MMAN1 16. rıjna 2007 13 / 21

Page 15: Matematicka´ analy´za 1aix-slx.upol.cz/~fiser/KMAMMAN1/Ma1-01prezentace.pdfMatematicka´ analy´za 1 Jirˇı´ Fisˇer 16. rˇı´jna 2007 Jirˇı´ Fisˇer (KMA, PrˇF UP Olomouc)

UlohaUrcete nejvetsı a nejmensı prvek mnoziny

M1 =

{

1,12,14,18, . . .

}

, M2 =

{

12,−

12,23,−

23,34,−

34, . . .

}

,

M3 =

{

0,1,12,13,14, . . .

}

.

ResenıMnozina M1 ma nejvetsı a nema nejmensı prvek, M2 nema nejvetsı aninejmensı prvek, M3 ma prvek nejvetsı i nejmensı.

Jirı Fiser (KMA, PrF UP Olomouc) KMA–MMAN1 16. rıjna 2007 14 / 21

Page 16: Matematicka´ analy´za 1aix-slx.upol.cz/~fiser/KMAMMAN1/Ma1-01prezentace.pdfMatematicka´ analy´za 1 Jirˇı´ Fisˇer 16. rˇı´jna 2007 Jirˇı´ Fisˇer (KMA, PrˇF UP Olomouc)

UlohaUrcete nejvetsı a nejmensı prvek mnoziny

M1 =

{

1,12,14,18, . . .

}

, M2 =

{

12,−

12,23,−

23,34,−

34, . . .

}

,

M3 =

{

0,1,12,13,14, . . .

}

.

ResenıMnozina M1 ma nejvetsı a nema nejmensı prvek, M2 nema nejvetsı aninejmensı prvek, M3 ma prvek nejvetsı i nejmensı.

Jirı Fiser (KMA, PrF UP Olomouc) KMA–MMAN1 16. rıjna 2007 14 / 21

Page 17: Matematicka´ analy´za 1aix-slx.upol.cz/~fiser/KMAMMAN1/Ma1-01prezentace.pdfMatematicka´ analy´za 1 Jirˇı´ Fisˇer 16. rˇı´jna 2007 Jirˇı´ Fisˇer (KMA, PrˇF UP Olomouc)

Intervaly

Definice∀a,b ∈ R, a < b, definujeme

uzavreny interval 〈a,b〉 = {x ∈ R;a ≤ x ≤ b},otevreny interval (a,b) = {x ∈ R;a < x < b},a podobne 〈a,b) a (a,b〉.

Vsechny tyto intervaly majı delku b − a.

DefiniceMnozinu 〈a,+∞) = {x ∈ R; x ≥ a} nazyvame neomezeny interval.Podobne (a,+∞), (−∞,b〉, (−∞,b).Mnozinu R zapisujeme tez jako (−∞,+∞).

Jirı Fiser (KMA, PrF UP Olomouc) KMA–MMAN1 16. rıjna 2007 15 / 21

Page 18: Matematicka´ analy´za 1aix-slx.upol.cz/~fiser/KMAMMAN1/Ma1-01prezentace.pdfMatematicka´ analy´za 1 Jirˇı´ Fisˇer 16. rˇı´jna 2007 Jirˇı´ Fisˇer (KMA, PrˇF UP Olomouc)

Absolutnı hodnotaDefiniceAbsolutnı hodnota cısla a ∈ R se oznacuje |a| a je definovana takto:

∀a ∈ R : |a| =

{

a pro a ≥ 0,−a pro a < 0.

Veta (vlastnosti absolutnı hodnoty)∀a,b ∈ R platı

1 |a| ≥ 0, pricemz |a| = 0 ⇔ a = 0,2 | − a| = |a|,3 |a + b| ≤ |a|+ |b| (trojuhelnıkovou nerovnost),4 |a − b| ≥ |a| − |b|,5 |ab| = |a| · |b|,

6 pro b 6= 0 je∣

ab

∣=|a||b|

.

Jirı Fiser (KMA, PrF UP Olomouc) KMA–MMAN1 16. rıjna 2007 16 / 21

Page 19: Matematicka´ analy´za 1aix-slx.upol.cz/~fiser/KMAMMAN1/Ma1-01prezentace.pdfMatematicka´ analy´za 1 Jirˇı´ Fisˇer 16. rˇı´jna 2007 Jirˇı´ Fisˇer (KMA, PrˇF UP Olomouc)

Absolutnı hodnotaDefiniceAbsolutnı hodnota cısla a ∈ R se oznacuje |a| a je definovana takto:

∀a ∈ R : |a| =

{

a pro a ≥ 0,−a pro a < 0.

Veta (vlastnosti absolutnı hodnoty)∀a,b ∈ R platı

1 |a| ≥ 0, pricemz |a| = 0 ⇔ a = 0,2 | − a| = |a|,3 |a + b| ≤ |a|+ |b| (trojuhelnıkovou nerovnost),4 |a − b| ≥ |a| − |b|,5 |ab| = |a| · |b|,

6 pro b 6= 0 je∣

ab

∣=|a||b|

.

Jirı Fiser (KMA, PrF UP Olomouc) KMA–MMAN1 16. rıjna 2007 16 / 21

Page 20: Matematicka´ analy´za 1aix-slx.upol.cz/~fiser/KMAMMAN1/Ma1-01prezentace.pdfMatematicka´ analy´za 1 Jirˇı´ Fisˇer 16. rˇı´jna 2007 Jirˇı´ Fisˇer (KMA, PrˇF UP Olomouc)

Zobecnena trojuhelnıkova nerovnost pro absolutnıhodnotu

Vlastnost 3 muzeme zobecnit (dukaz matematickou indukcı):(3’) ∀n ∈ N ∀ai ∈ R : |a1 + a2 + · · ·+ an| ≤ |a1|+ |a2|+ · · ·+ |an|,nebo zkracene

n∑

i=1

ai

≤n∑

i=1

|ai |.

Jirı Fiser (KMA, PrF UP Olomouc) KMA–MMAN1 16. rıjna 2007 17 / 21

Page 21: Matematicka´ analy´za 1aix-slx.upol.cz/~fiser/KMAMMAN1/Ma1-01prezentace.pdfMatematicka´ analy´za 1 Jirˇı´ Fisˇer 16. rˇı´jna 2007 Jirˇı´ Fisˇer (KMA, PrˇF UP Olomouc)

Absolutnı hodnota

Geometricky vyznam absolutnı hodnoty|a| znacı vzdalenost obrazu cısla a od pocatku cıselne osy,|a − b| (= |b − a|) vzdalenost obrazu cısel a,b na cıselne ose.

UlohaReste nerovnice a rovnici:

a) |x − 3| < 2,b) 2|x + 2| − 3|x| − 2x ≥ 4,

c) −3−54

x +32|x + 1| −

34|x − 2| = 0.

Jirı Fiser (KMA, PrF UP Olomouc) KMA–MMAN1 16. rıjna 2007 18 / 21

Page 22: Matematicka´ analy´za 1aix-slx.upol.cz/~fiser/KMAMMAN1/Ma1-01prezentace.pdfMatematicka´ analy´za 1 Jirˇı´ Fisˇer 16. rˇı´jna 2007 Jirˇı´ Fisˇer (KMA, PrˇF UP Olomouc)

Absolutnı hodnota

Geometricky vyznam absolutnı hodnoty|a| znacı vzdalenost obrazu cısla a od pocatku cıselne osy,|a − b| (= |b − a|) vzdalenost obrazu cısel a,b na cıselne ose.

UlohaReste nerovnice a rovnici:

a) |x − 3| < 2,b) 2|x + 2| − 3|x| − 2x ≥ 4,

c) −3−54

x +32|x + 1| −

34|x − 2| = 0.

Jirı Fiser (KMA, PrF UP Olomouc) KMA–MMAN1 16. rıjna 2007 18 / 21

Page 23: Matematicka´ analy´za 1aix-slx.upol.cz/~fiser/KMAMMAN1/Ma1-01prezentace.pdfMatematicka´ analy´za 1 Jirˇı´ Fisˇer 16. rˇı´jna 2007 Jirˇı´ Fisˇer (KMA, PrˇF UP Olomouc)

Supremum a infimum

DefiniceNecht’ M ⊂ R, M 6= ∅. Cıslo β ∈ R nazyvame supremum mnoziny M apıseme β = sup M, prave kdyz ma tyto dve vlastnosti:(1) ∀x ∈ M : x ≤ β,(2) ∀β′ < β ∃x ′ ∈ M : x ′ > β′.

DefiniceNecht’ M ⊂ R, M 6= ∅. Cıslo α ∈ R nazyvame infimum mnoziny M apıseme α = inf M, prave kdyz ma tyto dve vlastnosti:(1) ∀x ∈ M : x ≥ α,(2) ∀α′ > α ∃x ′ ∈ M : x ′ < α′.

Jirı Fiser (KMA, PrF UP Olomouc) KMA–MMAN1 16. rıjna 2007 19 / 21

Page 24: Matematicka´ analy´za 1aix-slx.upol.cz/~fiser/KMAMMAN1/Ma1-01prezentace.pdfMatematicka´ analy´za 1 Jirˇı´ Fisˇer 16. rˇı´jna 2007 Jirˇı´ Fisˇer (KMA, PrˇF UP Olomouc)

Supremum a infimum

DefiniceNecht’ M ⊂ R, M 6= ∅. Cıslo β ∈ R nazyvame supremum mnoziny M apıseme β = sup M, prave kdyz ma tyto dve vlastnosti:(1) ∀x ∈ M : x ≤ β,(2) ∀β′ < β ∃x ′ ∈ M : x ′ > β′.

DefiniceNecht’ M ⊂ R, M 6= ∅. Cıslo α ∈ R nazyvame infimum mnoziny M apıseme α = inf M, prave kdyz ma tyto dve vlastnosti:(1) ∀x ∈ M : x ≥ α,(2) ∀α′ > α ∃x ′ ∈ M : x ′ < α′.

Jirı Fiser (KMA, PrF UP Olomouc) KMA–MMAN1 16. rıjna 2007 19 / 21

Page 25: Matematicka´ analy´za 1aix-slx.upol.cz/~fiser/KMAMMAN1/Ma1-01prezentace.pdfMatematicka´ analy´za 1 Jirˇı´ Fisˇer 16. rˇı´jna 2007 Jirˇı´ Fisˇer (KMA, PrˇF UP Olomouc)

Supremum a infimum

Uloha

Urcete sup M a inf M pro mnozinu M ={

12,23,34, . . .

}

.

ResenıPlatı sup M = 1, nebot’ vsechny prvky mnoziny M jsou prave zlomky ajsou tedy mensı nez 1; jestlize vsak vezmeme libovolne cıslo r < 1,existuje vzdy v M prvek n

n+1 , ktery je vetsı nez r .Dale inf M = 1

2 , nebot’ zadny prvek M nenı mensı nez 12 , a kdyz

zvolıme libovolne cıslo s > 12 , pak vzdy prave pro prvek 1

2 platı 12 < s.

Pritom sup M nenı a inf M je prvkem zadane mnoziny M.

Jirı Fiser (KMA, PrF UP Olomouc) KMA–MMAN1 16. rıjna 2007 20 / 21

Page 26: Matematicka´ analy´za 1aix-slx.upol.cz/~fiser/KMAMMAN1/Ma1-01prezentace.pdfMatematicka´ analy´za 1 Jirˇı´ Fisˇer 16. rˇı´jna 2007 Jirˇı´ Fisˇer (KMA, PrˇF UP Olomouc)

Supremum a infimum

Veta (o existenci suprema a infima)1) Kazda neprazdna shora omezena mnozina realnych cısel ma

supremum.2) Kazda neprazdna zdola omezena mnozina realnych cısel ma

infimum.

Tuto vetu bereme za axiom vyjadrujıcı zakladnı vlastnost cıselneosy. Tedy: existuje bijekce mnoziny R na cıselnou osu.Rıkame tez: cıselna osa je spojita.Pojmy „cıslo“ a „bod cıselne osy“ povazujeme za synonyma.Pojmy supremum a infimum a veta o existenci suprema a infimajsou pro matematickou analyzu velmi dulezite.

Jirı Fiser (KMA, PrF UP Olomouc) KMA–MMAN1 16. rıjna 2007 21 / 21


Recommended