Matematika 2 Úvod ZS09. KMA, PřF UP Olomouc. Jiří Fišer (KMA, PřF UP Olomouc) KMA MA2AA ZS09 1 / 25

Podobné dokumenty
Matematika 1 Jiˇr ı Fiˇser 19. z aˇr ı 2016 Jiˇr ı Fiˇser (KMA, PˇrF UP Olomouc) KMA MAT1 19. z aˇr ı / 19

Matematika 1. Jiří Fišer. 21. září Jiří Fišer (KMA, PřF UP Olomouc) KMA MAT1, MT1 21. září / 53

p 2 q , tj. 2q 2 = p 2. Tedy p 2 je sudé číslo, což ale znamená, že

Text může být postupně upravován a doplňován. Datum poslední úpravy najdete u odkazu na stažení souboru. Veronika Sobotíková

goniometrickém tvaru z 1 = z 1 (cosα 1 +isinα 1 ), z 2 = z 2 (cosα 2 +isinα 2 ) Jejich součin = z 1 ( z 2 z 2 Jejich podíl: n-tá mocnina:

IV. Základní pojmy matematické analýzy IV.1. Rozšíření množiny reálných čísel

Matematika 1. Jiří Fišer. 20. září Jiří Fišer (KMA, PřF UP Olomouc) KMA MAT1 20. září / 52

1.3. Číselné množiny. Cíle. Průvodce studiem. Výklad

Matematická analýza pro informatiky I.

Úvod do informatiky. Miroslav Kolařík

Kapitola 1. Úvod. 1.1 Značení. 1.2 Výroky - opakování. N... přirozená čísla (1, 2, 3,...). Q... racionální čísla ( p, kde p Z a q N) R...

3. Reálná čísla. většinou racionálních čísel. V analytických úvahách, které praktickým výpočtům

Matematika I. Přednášky: Mgr. Radek Výrut, Zkouška:

Číselné posloupnosti

Aplikovaná matematika I, NMAF071

PŘEDNÁŠKA 2 POSLOUPNOSTI

Omezenost funkce. Definice. (shora, zdola) omezená na množině M D(f ) tuto vlastnost. nazývá se (shora, zdola) omezená tuto vlastnost má množina

Poznámka. Je-li f zobrazení, ve kterém potřebujeme zdůraznit proměnnou, píšeme f(x) (resp. f(y), resp. f(t)) je zobrazení místo f je zobrazení.

1 Základní pojmy. 1.1 Množiny

Matematická analýza 1

Matematika 1A. PetrSalačaJiříHozman Fakulta přírodovědně-humanitní a pedagogická Technická univerzita v Liberci

a = a 0.a 1 a 2 a 3...

Zavedení a vlastnosti reálných čísel

Matematická analýza III.

1. Posloupnosti čísel

Limita posloupnosti, limita funkce, spojitost. May 26, 2018

Přednáška 9, 28. listopadu 2014 Část 4: limita funkce v bodě a spojitost funkce

Aplikovaná matematika 1 NMAF071, ZS

Základy matematiky pro FEK

POSLOUPNOSTI A ŘADY INVESTICE DO ROZVOJE VZDĚLÁVÁNÍ. Tento projekt je spolufinancován Evropským sociálním fondem a státním rozpočtem České republiky

Matematická analýza pro informatiky I. Limita posloupnosti (I)

1. Několik základních pojmů ze středoškolské matematiky. Na začátku si připomeneme následující pojmy:

Požadavky k ústní části zkoušky Matematická analýza 1 ZS 2014/15

Zimní semestr akademického roku 2014/ prosince 2014

Základy teorie množin

POSLOUPNOSTI A ŘADY INVESTICE DO ROZVOJE VZDĚLÁVÁNÍ

REÁLNÁ FUNKCE JEDNÉ PROMĚNNÉ

1 Topologie roviny a prostoru

Limita a spojitost funkce. 3.1 Úvod. Definice: [MA1-18:P3.1]

Posloupnosti a jejich limity

Matematická analýza pro informatiky I. Limita funkce

Limita a spojitost funkce a zobrazení jedné reálné proměnné

19 Hilbertovy prostory

PŘEDNÁŠKA 1 MNOŽINY ČÍSEL

Matematika I (KMI/5MAT1)

PŘEDNÁŠKA 5 Konjuktivně disjunktivní termy, konečné distributivní svazy

1. POJMY 1.1. FORMULE VÝROKOVÉHO POČTU

Univerzita Karlova v Praze Pedagogická fakulta

i=1 Přímka a úsečka. Body, které leží na přímce procházející body a a b můžeme zapsat pomocí parametrické rovnice

Doporučené příklady k Teorii množin, LS 2018/2019

Lineární algebra : Metrická geometrie

Vektorové podprostory, lineární nezávislost, báze, dimenze a souřadnice

1. POJMY 1.1. FORMULE VÝROKOVÉHO POČTU

Organizace. Zápočet: test týden semestru (pátek) bodů souhrnný test (1 pokus) Zkouška: písemná část ( 50 bodů), ústní část

Matematická analýza III.

Lineární algebra : Lineární prostor

Teoretická informatika Tomáš Foltýnek Teorie čísel Nekonečno

Spojitost a limita funkce

Bakalářská matematika I

Matematická analýza I

Svazy. Jan Paseka. Masarykova univerzita Brno. Svazy p.1/37

NAIVNÍ TEORIE MNOŽIN, okruh č. 5

Limita posloupnosti a funkce

HL Academy - Chata Lopata Emu (Brkos 2012) Řetězové zlomky / 27

4. Topologické vlastnosti množiny reálných

Příklad. Řešte v : takže rovnice v zadání má v tomto případě jedno řešení. Pro má rovnice tvar

Matematická analýza pro informatiky I. Spojitost funkce

Necht L je lineární prostor nad R. Operaci : L L R nazýváme

11. Číselné a mocninné řady

1 Množiny, výroky a číselné obory

Funkce jedn e re aln e promˇ enn e Derivace Pˇredn aˇska ˇr ıjna 2015

Limita a spojitost funkce

Bakalářská matematika I

Michal Fusek. 10. přednáška z AMA1. Ústav matematiky FEKT VUT, Michal Fusek 1 / 62

Projekty - Úvod do funkcionální analýzy

Funkce a lineární funkce pro studijní obory

OBECNOSTI KONVERGENCE V R N

f(c) = 0. cn pro f(c n ) > 0 b n pro f(c n ) < 0

Základy matematické analýzy (BI-ZMA)

Gymnázium Jiřího Ortena, Kutná Hora

MATEMATIKA I. Marcela Rabasová

pro každé i. Proto je takových čísel m právě N ai 1 +. k k p

Dosud jsme se zabývali pouze soustavami lineárních rovnic s reálnými koeficienty.

Přednáška 6, 6. listopadu 2013

Definice (Racionální mocnina). Buď,. Nechť, kde a a čísla jsou nesoudělná. Pak: 1. je-li a sudé, (nebo) 2. je-li liché, klademe

ŘADY KOMPLEXNÍCH FUNKCÍ

množinu definujeme axiomaticky: nesnažíme se ji zkonstruovat (dokonce se ani nezabýváme otázkou,

M - Příprava na 3. čtvrtletní písemnou práci

Úlohy k procvičování textu o svazech

Zavedení a vlastnosti reálných čísel

Digitální učební materiál

Texty k přednáškám z MMAN3: 4. Funkce a zobrazení v euklidovských prostorech

1 Posloupnosti a řady.

Funkce, elementární funkce.

Lineární algebra : Polynomy

3. přednáška 15. října 2007

Matematika III. Miroslava Dubcová, Daniel Turzík, Drahoslava Janovská. Ústav matematiky

1. přednáška 1. října Kapitola 1. Metrické prostory.

Matematika B101MA1, B101MA2

Nechť je číselná posloupnost. Pro všechna položme. Posloupnost nazýváme posloupnost částečných součtů řady.

Transkript:

Matematika 2 Úvod Jiří Fišer KMA, PřF UP Olomouc ZS09 Jiří Fišer (KMA, PřF UP Olomouc) KMA MA2AA ZS09 1 / 25

Studijní materiály web předmětu: aix-slx.upol.cz/ fiser St. Trávníček: Matematická analýza kag.upol.cz/travnicek/1-matan. J. Kuben, P. Šarmanová: Diferenciální počet funkcí jedné proměnné www.studopory.vsb.cz. V. MÁDROVÁ: Matematická analýza I. VUP, Olomouc, 2004. J. BRABEC, F. MARTAN, Z. ROZENSKÝ: Matematická analýza I. SNTL, Praha, 1989. J. KŘENEK, J. OSTRAVSKÝ: Diferenciální a integrální počet funkce jedné proměnné Zlín, 2001. J. KOPÁČEK: Matematická analýza pro fyziky I., SPN, Praha (skripta MFF UK). Jiří Fišer (KMA, PřF UP Olomouc) KMA MA2AA ZS09 2 / 25

Studijní materiály V. MÁDROVÁ, J. MAREK Řešené příklady a cvičení z matematické analýzy I. VUP Olomouc, 2004. J. KOJECKÁ, M. ZÁVODNÝ: Příklady z matematické analýzy I., II., VUP Olomouc. B. P. DĚMIDOVIČ: Sbírka úloh a cvičení z matematické analýzy. Fragment, Praha, 2003. Rozšiřující literatura: K. REKTORYS a kol.: Přehled užité matematiky SNTL, Praha, 1988. H. J. BARTSCH: Matematické vzorce, SNTL, Praha, 1983. Jiří Fišer (KMA, PřF UP Olomouc) KMA MA2AA ZS09 3 / 25

Základní číselné množiny N={1, 2, 3,...,n,... } je množina všech přirozených čísel. N 0 = {0, 1, 2, 3,...,n,...}=N {0}. Z={..., 2, 1, 0, 1, 2,... } je množina všech celých čísel. { } Q množina všech zlomků k n, kde k Z a n N je množinou všech čísel racionálních. Jiří Fišer (KMA, PřF UP Olomouc) KMA MA2AA ZS09 4 / 25

Racionální čísla Úloha Číslo a=1, 572 převed te na obyčejný zlomek. První způsob řešení Periodická část desetinného rozvoje čísla a je vlastně geometrická řada, tedy: a=1, 5+ 72 72 72 72 1 103+ 105+ 107+ =1, 5+ 10 3 1 1 100 = = 173 110. Jiří Fišer (KMA, PřF UP Olomouc) KMA MA2AA ZS09 5 / 25

Racionální čísla Úloha Číslo a=1, 572 převed te na obyčejný zlomek. Druhý způsob řešení Využijeme nekonečného periodického opakování: a = 1, 572, 100a = 157, 272, odkud po odečtení je 100a a=99a=157, 272 1, 572=155, 7, tedy a= 1557 990 = 173 110. Jiří Fišer (KMA, PřF UP Olomouc) KMA MA2AA ZS09 6 / 25

Množina reálných čísel R Základní číselná množina. Reálná čísla zobrazujeme na číselné (reálné) ose. Při rozšiřování pojmu číslo z Q na R vznikají dvě otázky: - zda existuje potřeba iracionálních čísel (a jak je zavést), - zda zobrazení množiny R na číselnou osu je bijekce, tj. zda i každý bod číselné osy je obrazem nějakého reálného čísla. Jiří Fišer (KMA, PřF UP Olomouc) KMA MA2AA ZS09 7 / 25

Potřebujeme iracionální čísla? Věta Neexistuje racionální číslo, jehož druhá mocnina by byla rovna 2. Důkaz (sporem) r Q:r 2 = 2. r Q r= p q zlomek v základním tvaru, rq= p. rq= p r 2 q 2 = p 2, tj. 2q 2 = p 2 p 2 je sudé p je sudé p je sudé p= 2k 2q 2 = 4k 2 q 2 = 2k 2 q 2 je sudé q je sudé p a q je sudé zlomek p q lze krátit dvěma, a to je spor s předpokladem, že tento zlomek je v základním tvaru. Jiří Fišer (KMA, PřF UP Olomouc) KMA MA2AA ZS09 8 / 25

Iracionální čísla Q Bez iracionálních čísel bychom např. nedovedli změřit úhlopříčku jednotkového čtverce. Platí: Q Q = a R=Q Q. Dekadický rozvoj iracionálních čísel: neukončený a neperiodický (pro iracionální čísla často známe jen konečný počet míst jejich dekadického rozvoje (např. pro číslo π)). Mohutnost množin N, Z, a Q jsou spočetné (prvky těchto množin lze uspořádat do posloupnosti), R (a tedy i Q ) spočetná není; říkáme, že R má mohutnost kontinua. Jiří Fišer (KMA, PřF UP Olomouc) KMA MA2AA ZS09 9 / 25

Komplexní čísla C Komplexní čísla zobrazujeme v Gaussově rovině. Pro číselné množiny platí: N N 0 Z Q R C. Jiří Fišer (KMA, PřF UP Olomouc) KMA MA2AA ZS09 10 / 25

Vlastnosti číselných množin Definice Množina M se nazývá shora omezená L R tak, že x M platí x L. Toto číslo L se nazývá horní odhad (resp. horní závora). Množina M se nazývá zdola omezená K R tak, že x M platí x K. Toto číslo K se nazývá dolní odhad (resp. dolní závora). Množina M se nazývá omezená je omezená shora i zdola. Největší a nejmenší prvek množiny Pokud některý horní odhad množiny M patří do množiny M, pak jej nazýváme největší prvek množiny M a označujeme jej max M. Podobně nejmenší prvek množiny M (definujte) označujeme min M. Jiří Fišer (KMA, PřF UP Olomouc) KMA MA2AA ZS09 11 / 25

Vlastnosti číselných množin Definice Množina M se nazývá shora omezená L R tak, že x M platí x L. Toto číslo L se nazývá horní odhad (resp. horní závora). Množina M se nazývá zdola omezená K R tak, že x M platí x K. Toto číslo K se nazývá dolní odhad (resp. dolní závora). Množina M se nazývá omezená je omezená shora i zdola. Největší a nejmenší prvek množiny Pokud některý horní odhad množiny M patří do množiny M, pak jej nazýváme největší prvek množiny M a označujeme jej max M. Podobně nejmenší prvek množiny M (definujte) označujeme min M. Jiří Fišer (KMA, PřF UP Olomouc) KMA MA2AA ZS09 11 / 25

Úloha Určete největší a nejmenší prvek množiny M 1 = {1, 12, 14, 18 },..., M 2 = M 3 = { 1 2, 1 2, 2 3, 2 3, 3 4, 3 4,... {0, 1, 12, 13, 14,... }. }, Řešení Množina M 1 má největší a nemá nejmenší prvek, M 2 nemá největší ani nejmenší prvek, M 3 má prvek největší i nejmenší. Jiří Fišer (KMA, PřF UP Olomouc) KMA MA2AA ZS09 12 / 25

Úloha Určete největší a nejmenší prvek množiny M 1 = {1, 12, 14, 18 },..., M 2 = M 3 = { 1 2, 1 2, 2 3, 2 3, 3 4, 3 4,... {0, 1, 12, 13, 14,... }. }, Řešení Množina M 1 má největší a nemá nejmenší prvek, M 2 nemá největší ani nejmenší prvek, M 3 má prvek největší i nejmenší. Jiří Fišer (KMA, PřF UP Olomouc) KMA MA2AA ZS09 12 / 25

Intervaly Definice a, b R, a < b, definujeme uzavřený interval a, b ={x R; a x b}, otevřený interval(a, b)={x R; a < x < b}, a podobně a, b) a(a, b. Všechny tyto intervaly mají délku b a. Definice Množinu a,+ )={x R; x a} nazýváme neomezený interval. Podobně(a,+ ),(, b,(, b). Množinu R zapisujeme též jako(, + ). Jiří Fišer (KMA, PřF UP Olomouc) KMA MA2AA ZS09 13 / 25

Absolutní hodnota Definice Absolutní hodnota čísla a R se označuje a a je definována takto: { a pro a 0, a R: a = a pro a < 0. Věta (vlastnosti absolutní hodnoty) a, b R platí 1 a 0, přičemž a =0 a=0, 2 a = a, 3 a + b a + b (trojúhelníkovou nerovnost), 4 a b a b, 5 ab = a b, 6 pro b 0je a = a b b. Jiří Fišer (KMA, PřF UP Olomouc) KMA MA2AA ZS09 14 / 25

Absolutní hodnota Definice Absolutní hodnota čísla a R se označuje a a je definována takto: { a pro a 0, a R: a = a pro a < 0. Věta (vlastnosti absolutní hodnoty) a, b R platí 1 a 0, přičemž a =0 a=0, 2 a = a, 3 a + b a + b (trojúhelníkovou nerovnost), 4 a b a b, 5 ab = a b, 6 pro b 0je a = a b b. Jiří Fišer (KMA, PřF UP Olomouc) KMA MA2AA ZS09 14 / 25

Zobecněná trojúhelníková nerovnost pro absolutní hodnotu Vlastnost 3 můžeme zobecnit (důkaz matematickou indukcí): (3 ) n N a i R: a 1 + a 2 + +a n a 1 + a 2 + + a n, nebo zkráceně n n a i a i. i=1 i=1 Jiří Fišer (KMA, PřF UP Olomouc) KMA MA2AA ZS09 15 / 25

Absolutní hodnota Geometrický význam absolutní hodnoty a značí vzdálenost obrazu čísla a od počátku číselné osy, a b (= b a ) vzdálenost obrazů čísel a,b na číselné ose. Úloha Řešte nerovnice a rovnici: a) x 3 < 2, b) 2 x+ 2 3 x 2x 4, c) 3 5 4 x+3 2 x+ 1 3 x 2 =0. 4 Jiří Fišer (KMA, PřF UP Olomouc) KMA MA2AA ZS09 16 / 25

Absolutní hodnota Geometrický význam absolutní hodnoty a značí vzdálenost obrazu čísla a od počátku číselné osy, a b (= b a ) vzdálenost obrazů čísel a,b na číselné ose. Úloha Řešte nerovnice a rovnici: a) x 3 < 2, b) 2 x+ 2 3 x 2x 4, c) 3 5 4 x+3 2 x+ 1 3 x 2 =0. 4 Jiří Fišer (KMA, PřF UP Olomouc) KMA MA2AA ZS09 16 / 25

Supremum a infimum Definice Necht M R, M. Číslo β R nazýváme supremum množiny M a píšeme β= sup M, právě když má tyto dvě vlastnosti: (1) x M: x β, (2) β < β x M: x > β. Definice Necht M R, M. Číslo α R nazýváme infimum množiny M a píšeme α=inf M, právě když má tyto dvě vlastnosti: (1) x M: x α, (2) α > α x M: x < α. Jiří Fišer (KMA, PřF UP Olomouc) KMA MA2AA ZS09 17 / 25

Supremum a infimum Definice Necht M R, M. Číslo β R nazýváme supremum množiny M a píšeme β= sup M, právě když má tyto dvě vlastnosti: (1) x M: x β, (2) β < β x M: x > β. Definice Necht M R, M. Číslo α R nazýváme infimum množiny M a píšeme α=inf M, právě když má tyto dvě vlastnosti: (1) x M: x α, (2) α > α x M: x < α. Jiří Fišer (KMA, PřF UP Olomouc) KMA MA2AA ZS09 17 / 25

Supremum a infimum Úloha Určete sup M a inf M pro množinu M= Řešení { 1 2, 2 3, 3 } 4,.... Platí sup M= 1, nebot všechny prvky množiny M jsou pravé zlomky a jsou tedy menší než 1; jestliže však vezmeme libovolné číslo r < 1, existuje vždy v M prvek, který je větší než r. n n+1 Dále inf M= 1 2, nebot žádný prvek M není menší než 1 2, a když zvolíme libovolné číslo s > 1 2, pak vždy právě pro prvek 1 2 platí 1 2 < s. Přitom sup M není a inf M je prvkem zadané množiny M. Jiří Fišer (KMA, PřF UP Olomouc) KMA MA2AA ZS09 18 / 25

Supremum a infimum Věta (o existenci suprema a infima) 1) Každá neprázdná shora omezená množina reálných čísel má supremum. 2) Každá neprázdná zdola omezená množina reálných čísel má infimum. Tuto větu bereme za axiom vyjadřující základní vlastnost číselné osy. Tedy: existuje bijekce množiny R na číselnou osu. Říkáme též: číselná osa je spojitá. Pojmy číslo a bod číselné osy považujeme za synonyma. Pojmy supremum a infimum a věta o existenci suprema a infima jsou pro matematickou analýzu velmi důležité. Jiří Fišer (KMA, PřF UP Olomouc) KMA MA2AA ZS09 19 / 25

Několik vět o reálných číslech a číselných množinách Věta (o aritmetickém a geometrickém průměru) Jsou-li a, b libovolná reálná nezáporná čísla, pak jejich aritmetický průměr ( a+b 2 ) je větší nebo roven jejich průměru geometrickému ( ab), přičemž rovnost průměrů nastává právě při rovnosti obou čísel a, b. Věta (o aritmetickém a geometrickém průměru) a, b R, a, b 0: a+b 2 ab, ( a+b 2 = ) ab a=b. Princip důkazu přímého (syntetického). necht a b, vyjde se z platné nerovnosti a b 0, její úpravou dostaneme tvrzení. Jiří Fišer (KMA, PřF UP Olomouc) KMA MA2AA ZS09 20 / 25

Několik vět o reálných číslech a číselných množinách Věta (o aritmetickém a geometrickém průměru) Jsou-li a, b libovolná reálná nezáporná čísla, pak jejich aritmetický průměr ( a+b 2 ) je větší nebo roven jejich průměru geometrickému ( ab), přičemž rovnost průměrů nastává právě při rovnosti obou čísel a, b. Věta (o aritmetickém a geometrickém průměru) a, b R, a, b 0: a+b 2 ab, ( a+b 2 = ) ab a=b. Princip důkazu přímého (syntetického). necht a b, vyjde se z platné nerovnosti a b 0, její úpravou dostaneme tvrzení. Jiří Fišer (KMA, PřF UP Olomouc) KMA MA2AA ZS09 20 / 25

Několik vět o reálných číslech a číselných množinách Věta (o aritmetickém a geometrickém průměru) Jsou-li a, b libovolná reálná nezáporná čísla, pak jejich aritmetický průměr ( a+b 2 ) je větší nebo roven jejich průměru geometrickému ( ab), přičemž rovnost průměrů nastává právě při rovnosti obou čísel a, b. Věta (o aritmetickém a geometrickém průměru) a, b R, a, b 0: a+b 2 ab, ( a+b 2 = ) ab a=b. Princip důkazu přímého (syntetického). necht a b, vyjde se z platné nerovnosti a b 0, její úpravou dostaneme tvrzení. Jiří Fišer (KMA, PřF UP Olomouc) KMA MA2AA ZS09 20 / 25

Věta (Bernoulliova nerovnost) h R, h > 1, h 0, n N, n 2 platí V(n): (1+h) n > 1+nh. Princip důkazu. Matematickou indukcí: 1) V(2):(1+h) 2 = 1+2h+h 2 > 1+2h, 2) V(n) V(n+1), obě strany V(n) násobíme výrazem(1+h), na pravé straně vynecháme člen nh 2. Bernoulliova nerovnost se používá např. při některých důkazech vlastností posloupností. Jiří Fišer (KMA, PřF UP Olomouc) KMA MA2AA ZS09 21 / 25

Věta (Bernoulliova nerovnost) h R, h > 1, h 0, n N, n 2 platí V(n): (1+h) n > 1+nh. Princip důkazu. Matematickou indukcí: 1) V(2):(1+h) 2 = 1+2h+h 2 > 1+2h, 2) V(n) V(n+1), obě strany V(n) násobíme výrazem(1+h), na pravé straně vynecháme člen nh 2. Bernoulliova nerovnost se používá např. při některých důkazech vlastností posloupností. Jiří Fišer (KMA, PřF UP Olomouc) KMA MA2AA ZS09 21 / 25

Věta (o rovnosti reálných čísel) Necht p, q R. Jestliže ε > 0 platí p q < ε, pak p= q. Důkaz (sporem). Kdyby p q, bylo by p q > 0. Zvolíme-li ε= p q, dostáváme, že p q < ε a současně p q =ε, což dává spor. Proto p=q. Tato jednoduchá věta usnadňuje některé důkazy, např. důkaz následující věty o vložených intervalech. Jiří Fišer (KMA, PřF UP Olomouc) KMA MA2AA ZS09 22 / 25

Věta (o rovnosti reálných čísel) Necht p, q R. Jestliže ε > 0 platí p q < ε, pak p= q. Důkaz (sporem). Kdyby p q, bylo by p q > 0. Zvolíme-li ε= p q, dostáváme, že p q < ε a současně p q =ε, což dává spor. Proto p=q. Tato jednoduchá věta usnadňuje některé důkazy, např. důkaz následující věty o vložených intervalech. Jiří Fišer (KMA, PřF UP Olomouc) KMA MA2AA ZS09 22 / 25

Věta (o rovnosti reálných čísel) Necht p, q R. Jestliže ε > 0 platí p q < ε, pak p= q. Důkaz (sporem). Kdyby p q, bylo by p q > 0. Zvolíme-li ε= p q, dostáváme, že p q < ε a současně p q =ε, což dává spor. Proto p=q. Tato jednoduchá věta usnadňuje některé důkazy, např. důkaz následující věty o vložených intervalech. Jiří Fišer (KMA, PřF UP Olomouc) KMA MA2AA ZS09 22 / 25

Věta o vložených intervalech Věta Necht {J n } je posloupnost omezených uzavřených intervalů J n = a n, b n takových, že J 1 J 2 J 3. Pak existuje bod x 0, který leží ve všech intervalech J n, n N. Jestliže navíc ε > 0 n N tak, že J n < ε, je takový bod x 0 jediný. Jiří Fišer (KMA, PřF UP Olomouc) KMA MA2AA ZS09 23 / 25

Věta o vložených intervalech Princip důkazu. A množina všech levých krajních bodů a n intervalů J n, B množina jejich pravých krajních bodů b m ; pro všechna m, n N platí a n < b m. Podle věty o existenci suprema tedy existuje α=sup A, pro něž α b m ; podobně existuje β= inf B a pro všechna n N platí a n α β b n, tedy n N: α, β a n, b n. Stačí volit x 0 α, β. Jiří Fišer (KMA, PřF UP Olomouc) KMA MA2AA ZS09 24 / 25

Věta o vložených intervalech Princip důkazu. A množina všech levých krajních bodů a n intervalů J n, B množina jejich pravých krajních bodů b m ; pro všechna m, n N platí a n < b m. Podle věty o existenci suprema tedy existuje α=sup A, pro něž α b m ; podobně existuje β= inf B a pro všechna n N platí a n α β b n, tedy n N: α, β a n, b n. Stačí volit x 0 α, β. Jiří Fišer (KMA, PřF UP Olomouc) KMA MA2AA ZS09 24 / 25

Věta o vložených intervalech Princip důkazu. A množina všech levých krajních bodů a n intervalů J n, B množina jejich pravých krajních bodů b m ; pro všechna m, n N platí a n < b m. Podle věty o existenci suprema tedy existuje α=sup A, pro něž α b m ; podobně existuje β= inf B a pro všechna n N platí a n α β b n, tedy n N: α, β a n, b n. Stačí volit x 0 α, β. Jiří Fišer (KMA, PřF UP Olomouc) KMA MA2AA ZS09 24 / 25

Věta o vložených intervalech Princip důkazu. A množina všech levých krajních bodů a n intervalů J n, B množina jejich pravých krajních bodů b m ; pro všechna m, n N platí a n < b m. Podle věty o existenci suprema tedy existuje α=sup A, pro něž α b m ; podobně existuje β= inf B a pro všechna n N platí a n α β b n, tedy n N: α, β a n, b n. Stačí volit x 0 α, β. Jiří Fišer (KMA, PřF UP Olomouc) KMA MA2AA ZS09 24 / 25

Věta o vložených intervalech Princip důkazu. A množina všech levých krajních bodů a n intervalů J n, B množina jejich pravých krajních bodů b m ; pro všechna m, n N platí a n < b m. Podle věty o existenci suprema tedy existuje α=sup A, pro něž α b m ; podobně existuje β= inf B a pro všechna n N platí a n α β b n, tedy n N: α, β a n, b n. Stačí volit x 0 α, β. Jiří Fišer (KMA, PřF UP Olomouc) KMA MA2AA ZS09 24 / 25

Věta o vložených intervalech Pokračování důkazu. Je-li interval α, β degenerovaný, dostáváme x 0 jednoznačně. To nastává právě tehdy, když je splněna druhá podmínka věty, tedy když ε > 0 n N tak, že b n a n < ε. Jelikož je β α b n a n < ε, je podle věty o rovnosti reálných čísel α=β. Podmínka věty, zajišt ující jednoznačnost společného bodu x 0 může být formulována i takto: Jestliže posloupnost { J n } délek intervalů J n je nulová... Větu o vložených intervalech používáme při důkazech některých důležitých vlastností posloupností a funkcí. Jiří Fišer (KMA, PřF UP Olomouc) KMA MA2AA ZS09 25 / 25

Věta o vložených intervalech Pokračování důkazu. Je-li interval α, β degenerovaný, dostáváme x 0 jednoznačně. To nastává právě tehdy, když je splněna druhá podmínka věty, tedy když ε > 0 n N tak, že b n a n < ε. Jelikož je β α b n a n < ε, je podle věty o rovnosti reálných čísel α=β. Podmínka věty, zajišt ující jednoznačnost společného bodu x 0 může být formulována i takto: Jestliže posloupnost { J n } délek intervalů J n je nulová... Větu o vložených intervalech používáme při důkazech některých důležitých vlastností posloupností a funkcí. Jiří Fišer (KMA, PřF UP Olomouc) KMA MA2AA ZS09 25 / 25