Paradoxy nekonečna. Co analyzuje Matematická analýza? Nekonečné procesy. n(n + 1) + = n 2 + = π2 6

Podobné dokumenty
PŘEDNÁŠKA 2 POSLOUPNOSTI

Přednáška 6, 7. listopadu 2014

Marie Duží

Teorie množin. Čekají nás základní množinové operace kartézské součiny, relace zobrazení, operace. Teoretické základy informatiky.

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

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

Matematická analýza 1

Věta o dělení polynomů se zbytkem

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...

Důkaz Heineho Borelovy věty. Bez újmy na obecnosti vezmeme celý prostor A = M (proč? úloha 1). Implikace. Nechť je (M, d) kompaktní a nechť.

CVIČNÝ TEST 36. OBSAH I. Cvičný test 2. Mgr. Tomáš Kotler. II. Autorské řešení 6 III. Klíč 15 IV. Záznamový list 17

Úvod do informatiky. Miroslav Kolařík

3 Množiny, Relace a Funkce

Bakalářská matematika I

Kapitola Základní množinové pojmy Princip rovnosti. Dvě množiny S a T jsou si rovny (píšeme S = T ) prvek T je také prvkem S.

Základy matematické analýzy

NAIVNÍ TEORIE MNOŽIN, okruh č. 5

Cílem kapitoly je opakování a rozšíření středoškolských znalostí v oblasti teorie množin.

Zimní semestr akademického roku 2014/ prosince 2014

Goniometrie a trigonometrie

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

Přednáška 11, 12. prosince Část 5: derivace funkce

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

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

Maticí typu (m, n), kde m, n jsou přirozená čísla, se rozumí soubor mn veličin a jk zapsaných do m řádků a n sloupců tvaru:

Mgr. Tomáš Kotler. I. Cvičný test 2 II. Autorské řešení 7 III. Klíč 15 IV. Záznamový list 17

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

Vektory a matice. Obsah. Aplikovaná matematika I. Carl Friedrich Gauss. Základní pojmy a operace

Matice. a m1 a m2... a mn

MATURITNÍ TÉMATA Z MATEMATIKY

Úvod do logiky (presentace 2) Naivní teorie množin, relace a funkce

Zimní semestr akademického roku 2014/ prosince 2014

INVESTICE DO ROZVOJE VZDĚLÁVÁNÍ. Modernizace studijního programu Matematika na PřF Univerzity Palackého v Olomouci CZ.1.07/2.2.00/28.

Matematické důkazy Struktura matematiky a typy důkazů

Přijímací zkouška - matematika

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

Úlohy krajského kola kategorie A

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

Základy teorie množin

Základy matematiky pro FEK

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

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

Je založen na pojmu derivace funkce a její užití. Z předchozího studia je třeba si zopakovat a orientovat se v pojmech: funkce, D(f), g 2 : y =

1 Lineární prostory a podprostory

CVIČNÝ TEST 48. OBSAH I. Cvičný test 2. Mgr. Tomáš Kotler. II. Autorské řešení 6 III. Klíč 15 IV. Záznamový list 17

Derivace funkce Otázky

Matematický ústav Slezské univerzity v Opavě Učební texty k přednášce ALGEBRA I, zimní semestr 2000/2001 Michal Marvan. 2.

6 Skalární součin. u v = (u 1 v 1 ) 2 +(u 2 v 2 ) 2 +(u 3 v 3 ) 2

Zadání a řešení testu z matematiky a zpráva o výsledcích přijímacího řízení do magisterského navazujícího studia od podzimu 2015

Derivace funkce DERIVACE A SPOJITOST DERIVACE A KONSTRUKCE FUNKCÍ. Aritmetické operace

2. přednáška 8. října 2007

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

Těleso racionálních funkcí

Úvod do informatiky. Miroslav Kolařík

2.8.6 Čísla iracionální, čísla reálná

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

Lineární algebra Kapitola 1 - Základní matematické pojmy

Množiny, relace, zobrazení

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

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

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

Algebraické struktury s jednou binární operací

Derivace funkce. Přednáška MATEMATIKA č Jiří Neubauer

10. DETERMINANTY " # $!

Posloupnosti a řady. 28. listopadu 2015

Matematika (KMI/PMATE)

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

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

Operace s maticemi

ALGEBRA. Téma 4: Grupy, okruhy a pole

CVIČNÝ TEST 37. OBSAH I. Cvičný test 2. Mgr. Tomáš Kotler. II. Autorské řešení 5 III. Klíč 13 IV. Záznamový list 15

Riemannův určitý integrál

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

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

CVIČNÝ TEST 5. OBSAH I. Cvičný test 2. Mgr. Václav Zemek. II. Autorské řešení 6 III. Klíč 17 IV. Záznamový list 19

Internetová matematická olympiáda listopadu 2008

67. ročník matematické olympiády III. kolo kategorie A. Přerov, března 2018

Základy matematiky pro FEK

0.1 Funkce a její vlastnosti

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

označme j = (0, 1) a nazvěme tuto dvojici imaginární jednotkou. Potom libovolnou (x, y) = (x, 0) + (0, y) = (x, 0) + (0, 1)(y, 0) = x + jy,

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

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

FUNKCE A JEJICH VLASTNOSTI

55. ročník matematické olympiády

64. ročník matematické olympiády Řešení úloh krajského kola kategorie A

13. přednáška 13. ledna k B(z k) = lim. A(z) = M(z) m 1. z m.

analytické geometrie v prostoru s počátkem 18. stol.

Zimní semestr akademického roku 2014/ prosince 2014

MATICE. a 11 a 12 a 1n a 21 a 22 a 2n A = = [a ij]

Inovace a zkvalitnění výuky prostřednictvím ICT

Kapitola 1. Relace. podle definice podmnožinou každé množiny. 1 Neříkáme už ale, co to je objekt. V tom právě spočívá intuitivnost našeho přístupu.

Matematika NÁRODNÍ SROVNÁVACÍ ZKOUŠKY DUBNA 2017

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

Zadání a řešení testu z matematiky a zpráva o výsledcích přijímacího řízení do magisterského navazujícího studia od podzimu 2016

1. Matice a maticové operace. 1. Matice a maticové operace p. 1/35

0.1 Úvod do matematické analýzy

1 Zobrazení 1 ZOBRAZENÍ 1. Zobrazení a algebraické struktury. (a) Ukažte, že zobrazení f : x

(4x) 5 + 7y = 14, (2y) 5 (3x) 7 = 74,

Limita funkce. FIT ČVUT v Praze. (FIT) Limita funkce 3.týden 1 / 39

Transkript:

Přednáška 1, 3. října 2014 Přednáška z Matematické analýzy I má pět částí: 1. Úvod, opakování, reálná čísla. 2. Limita nekonečné posloupnosti. 3. Nekonečné řady. 4. Limita funkce v bodě a spojitost funkce. 5. Derivace funkce. Část 1: úvod, opakování, reálná čísla Paradoxy nekonečna. Co analyzuje Matematická analýza? Nekonečné procesy a operace. Třeba nekonečné součty (kterým se spíše říká nekonečné řady). Například 1 + 1 2 + 1 4 + 1 8 + + 1 2 n + = 2 a nebo a tudíž i 1 2 + 1 6 + 1 12 + 1 20 + + 1 n(n + 1) + = 1 1 + 1 4 + 1 9 + 1 16 + + 1 n 2 + = π2 6 1 1 4 + 1 9 1 16 + 1 25 + ( 1)n+1 n 2 + = π2 12. Úloha: dokažte si první dvě rovnosti (první asi znáte ze střední školy) a ze třetí rovnosti (jejíž důkaz je obtížný) zkuste odvodit rovnost čtvrtou. Ale jak vlastně těch nekonečně mnoho čísel v uvedených příkladech sčítáme? Řadu čteme v uvedeném pořadí (zleva doprava) a vytváříme posloupnost částečných součtů (což jsou obyčejné konečné součty), například ve čtvrté rovnosti to je posloupnost (1, 1 1 4, 1 1 4 + 1 9, 1 1 4 + 1 9 1 16,... ) = (1, 3 4, 31 36, 115 144,... ), 1

a když se členy této posloupnosti neomezeně přibližují k nějakému číslu α, ve čtvrtém příkladu to nastává pro α = π 2 /12, definujeme součet dané nekonečné řady jako toto α. Čtyři uvedené příklady jsou hezké v tom, že v nich vlastně na pořadí čtení řady vůbec nezáleží. Dá se totiž dokázat: V uvedených čtyřech nekonečných řadách žádné zpřeházení sčítanců nezmění součet řady. Znamená to tedy, například, že když vezmeme jakoukoli nekonečnou posloupnost (a 1, a 2, a 3,... ), jejíž členy a k nějak probíhají převrácené čtverce (tj. každý člen je tvaru a k = 1/n 2 pro nějaké n N = {1, 2, 3,... } a každé číslo 1/n 2 se v posloupnosti objeví právě jednou), pak se posloupnost částečných součtů (a 1, a 1 + a 2, a 1 + a 2 + a 3,... ) neomezeně přibližuje vždy k jednomu a témuž číslu π 2 /6. Může se ale stát, že zpřeházení sčítanců součet nekonečné řady změní? Může, nastává to třeba pro 1 1 2 + 1 3 1 4 + 1 5 + ( 1)n+1 n + = log 2 nebo pro 1 1 3 + 1 5 1 7 + 1 9 + ( 1)n+1 2n 1 + = π 4 (důkazy těchto dvou rovností nejsou snadné, ale minimálně ta první bude na konci semestru v naší moci). Jak ukázal Bernhard Riemann (1826 1866), u těchto dvou nekonečných řad lze zpřeházením sčítanců součet libovolně změnit. Přesně to znamená, že, například, pro každé reálné číslo α R (nebo i α = či α = + ) existuje zpřeházení sčítanců v první řadě, tj. posloupnost (a 1, a 2, a 3,... ), jejíž členy a k nějak probíhají čísla 1, 1/2, 1/3, 1/4,..., že se částečné součty (a 1, a 1 +a 2, a 1 +a 2 +a 3,... ) neomezeně přibližují k zadanému číslu α. (Nebo lze zpřeházením vyrobit řadu bez součtu, jejíž posloupnost částečných součtů se chová chaoticky a k ničemu se neblíží.) Pro první čtyři řady tedy při sčítání platí nekonečný komutativní zákon, ale poslední dvě řady tento zákon porušují. Jak to s ním u nekonečných řad přesně je se dozvíme ve třetí části přednášky. Uvedu ale jestě jeden příklad, který ukazuje, že nekonečné řady mohou porušovat i asociativní zákon sčítání. Když v libovolné obdélníkové tabulce, jejíž položky jsou čísla, sečteme 2

položky v každém řádku a tyto řádkové součty pak sečteme, dostaneme stejný výsledek, jako když totéž provedeme se sloupci výsledek je prostě součet všech položek v celé tabulce. Například v následující 3 3 tabulce jsou řádkové součty 2, 6 a 2, sečteno dává 6, totéž jako součet sloupcových součtů 3, 12 a 9: 1 5 8 2 2 4 0 6 0 3 1 2 3 12 9 6 \ 6 Uvažme ale tabulku, která je nekonečná (řádky i sloupce jsou očíslovány přirozenými čísly 1, 2,... ) a která má na hlavní diagonále číslo 1, na diagonále nad ní číslo 1, a všude jinde nuly: 1 1 0 0 0... 0 0 1 1 0 0... 0 0 0 1 1 0... 0 0 0 0 1 1... 0 0 0 0 0 1... 0......... 1 0 0 0 0... 1 \ 0 Zde je každý řádkový součet nula a jejich součet je rovněž 0, první sloupcový součet ale je 1 a protože všechny další už jsou nulové, je součet sloupcových součtů roven 1. Sčítání přes řádky tedy u nekonečných tabulek může dát jiný výsledek než sčítání přes sloupce, 0 1. Navíc jsou všechny uvažované součty fakticky konečné, kromě nul vždy sčítáme nanejvýš dva nenulové sčítance, což činí tento paradox ještě více znepokojivým. Asociativní zákon tedy obecně pro nekonečné součty neplatí po přeskupení se součet může změnit (což se u konečných součtů nikdy nestane). I k tomuto paradoxu se vrátíme ve třetí části přednášky. Co je to funkce? Matematická, nikoli politická! Stručně si to teď zopakujeme z názvů částí přednášky je jasné, že to pro nás bude důležitý pojem. Jsou-li M a N nějaké množiny (konečné nebo nekonečné), jejich kartézský součin M N je další množina M N = {(a, b) a M, b N} 3

sestávající přesně z těch uspořádaných dvojic (a, b), že a probíhá prvky první množiny M a b probíhá prvky druhé množiny N. Binární relace R mezi M a N je každá podmnožina R tohoto kartézského součinu, R M N. Podobně se definují kartézské součiny více množin a relace s vyšší aritou (ternární, kvaternární,... ), mezi více než dvěma množinami. Důležité typy binárních relací jsou (částečná) uspořádání a relace ekvivalence, ale v analýze jsou nejdůležitější funkce. Řekneme, že R je funkce (jiný termín je zobrazení) z M do N, pokud a M!b N : (a, b) R pro každý prvek a z M existuje právě jeden prvek b z N, že dvojice (a, b) leží v R. Nestane se tedy, že by nějaký a M neměl přiřazen žádný prvek z N, ani že by měl přiřazen dva či více prvků z N. Funkce značíme obvykle f (g, h,... ) a místo f M N a (a, b) f se používá značení f : M N a f(a) = b. Prvek a je vzor prvku b v zobrazení f a naopak b je obraz a. Množině M se říká definiční obor (funkce f) a N je obor hodnot. Termín posloupnost znamená rovněž funkci, s definičním oborem N = {1, 2,... }. Takže (a 1, a 2,... ) s a n R je zobrazení a : N R, kde místo a(n) je zažité značení a n. Funkce v množinovém pojetí se rovná svému grafu, například funkce cosinus, cos : R R nebo i cos : R [ 1, 1], je cos = {(x, cos(x)) x R} R 2 = R R. V analýze je funkce obvykle zadána vzorcem či formulí. Někdy je pak zapotřebí určit, jaký je přesně její definiční obor, protože pro některé numerické hodnoty nemusí být formule definovaná, třeba pro nulu ve jmenovateli nebo pro záporný argument logaritmu. Například f(x) = 1 x 2 3 : R R není úplně správný zápis funce (i když s určitou dávkou dobré vůle ho lze přijmout), neboť hodnoty f( 3) a f( 3) vedou na dělení nulou a nejsou definované. Správný je zápis f(x) = 1 x 2 3 : R\{ 3, 3} R. 4

Funkce f : M N je prostá (synonymum: injektivní), když x 1, x 2 M, x 1 x 2 f(x 1 ) f(x 2 ). Jinými slovy, f(x 1 ) = f(x 2 ) x 1 = x 2. Injektivní zobrazení tedy nikdy neposílá dva různé prvky na týž prvek. Řekneme, že zobrazení f : M N je zobrazení na (synonymum: surjektivní), když y N x M : f(x) = y, jinými slovy, každý prvek v N má v f alespoň jeden vzor. Bijektivní (synonymum: vzájemně jednoznačné) zobrazení, krátce bijekce, je to, jež má obě vlastnosti, je prosté i na. Bijekce tedy páruje dohromady prvky v M s prvky v N tak, že každý prvek M i N se vyskytuje v právě jednom páru. Úloha: dokažte, že pro konečnou množinu M každé zobrazení f : M M, které je injektivní, už musí být na, a naopak. Pro nekonečnou M to ale nemusí platit. Například f : N N, f(n) = 2n, je prosté zobrazení, které není surjektivní. Úloha: (i) nalezněte zobrazení f : N N, které je na, ale ne prosté; (ii) nalezněte f : N N, které je na a každé n N má nekonečně mnoho vzorů. Dva příklady matematických důkazů. Postup v matematickém důkazu ozřejmím dvěma příklady. První je důkaz indukcí a druhý důkaz sporem. Tvrzení (Bernoulliova nerovnost). Pro každé reálné číslo x 1 a celé číslo n 0 je pravda, že (1 + x) n 1 + nx. Důkaz. Indukcí podle exponentu n. Začátek indukce: nerovnost dokážu pro počáteční hodnotu n = 0. To je jasné, LS (levá strana) je (1 + x) 0 = 1 a PS též 1 + 0x = 1. Indukční krok: předpokládám platnost nerovnosti (resp. tvrzení, které indukcí dokazuju) pro danou hodnotu n a odvodím platnost pro o 1 zvětšenou hodnotu n + 1. Postupuju takto: (1 + x) n 1 + nx (1 + x)(1 + x) n (1 + x)(1 + nx) (1 + x) n+1 1 + nx + x + nx 2 = 1 + (n + 1)x + nx 2 (1 + x) n+1 1 + (n + 1)x. Předpoklad (1. řádek) jsem vynásobil (LS i PS) nezáporným číslem 1 + x, což platnost nerovnosti zachová. Ve vzniklé nerovnosti je LS co potřebuju 5

(tj. LS B. nerovnosti pro n + 1), ale PS má navíc člen nx 2 (viz 2. a 3. řádek). Tento člen je ale naštěstí vždy nezáporný, nx 2 0, takže po jeho vypuštění se PS nezvětší a dostávám platnou nerovnost na 4. řádku, což je přesně B. nerovnost pro n + 1. Tím je důkaz indukcí dokončen. Podle začátku indukce totiž B. nerovnost platí pro n = 0. Podle ind. kroku tedy platí i pro n = 1. Znovu podle ind. kroku tedy platí i pro n = 2. A tak dál a dál, proběhneme celé N 0 = {0, 1, 2,... } a B. nerovnost platí pro každé n N 0. Několik poznámek. Historická: nerovnost se jmenuje po basilejském matematikovi Jacobu Bernoullim (1655 1705). V důkazu jsme obě strany nerovnosti násobili nezáporným činitelem. Častou příčinou chyb v manipulaci s nerovnostmi bývá, že činitel může nabýt zápornou hodnotu (v našem případě se to nestane), ale my zapomeneme změnit směr nerovnosti. Dále jsme využili toho, že pro každé a R je a 2 0, což je jednoduchá ale užitečná nerovnost, která se často používá. Není příliš přehnané říci, že celá matematická analýza se svými aplikacemi (analytická teorie čísel, numerická matematika a další) je založena na umění zacházet s nerovnostmi a odhady. Tvrzení (iracionalita čísla 2). Pro žádný zlomek a/b není pravda, že (a/b) 2 = 2. To jest, rovnice x 2 = 2 nemá v oboru racionálních čísel Q řešení. Důkaz. Pro spor předpokládejme, že a/b Q je zlomek, jehož čtverec se rovná dvěma. Víme, že a/b můžeme vzít v základním tvaru, kdy b N a čísla a Z = {..., 2, 1, 0, 1, 2,... } a b jsou nesoudělná (tj., když c N dělí a i b, pak c = 1). Z (a/b) 2 = 2 máme rovnost a 2 = 2b 2. Tedy 2 dělí a 2 a tedy 2 dělí a (kdyby a bylo liché, a = 2c + 1, bylo by liché i a 2 = (2c + 1) 2 = 2(2c 2 + 2c) + 1). Tedy a = 2c pro nějaké c Z a dosazení dává 4c 2 = 2b 2, čili 2c 2 = b 2. Stejný argument dává, že b je sudé. Takže číslo 2 dělí a i b. To je ale spor s výchozí nesoudělností a a b. Dostali jsme spor, výchozí předpoklad existence zlomku a/b s (a/b) 2 = 2 je tedy nepravdivý a takový zlomek neexistuje. Geometrický důkaz. Kdyby a 2 = 2b 2 pro nějaká dvě čísla a, b N (všimněte si, že to platí pro a = b = 0), existoval by (podle Pythagora) pravoúhlý trojúhelník ABC s odvěsnami délek AB = BC = b a přeponou o délce 6

AC = a. (Nemám už sílu se malovat s obrázkem, kreslete si ho!) Sestrojíme menší takový (tj. rovnoramenný, pravoúhlý a s celočíselnými délkami stran). Na AC vyneseme délku AD = b (jistě b < a). Z bodu D spustíme kolmici na AC, jež protne BC v bodě E. Klíčové pozorování je, že BE = ED = DC = a b. První rovnost platí díky symetrii čtyřúhelníka ABED ( AB = AD = b a oba úhly u B i D jsou pravé), druhá díky rovnoramennosti trojúhelníka EDC (úhel u D je pravý a u C je 45, tedy i u E je úhel 45 ) a třetí podle definice bodu D. Tudíž EC = b (a b) = 2b a. Rovnoramenný a pravoúhlý EDC má tedy celočíselné délky stran, odvěsny mají délku a b a přepona délku 2b a. Ovšem tento je menší než výchozí ABC, např. přepony mají délky a > 2b a. S EDC můžeme provést tutéž konstrukci a opakovat ji dále. Dostaneme nekonečnou posloupnost zmenšujících se trojúhelníků, která dává nekonečnou ostře klesající posloupnost přirozených čísel, např. délek přepon. Taková nekonečná posloupnost přirozených čísel ale neexistuje, máme spor. Takže rovnice a 2 = 2b 2 nemá v N řešení. Upřímně řečeno, celá ta geometrie v druhém důkazu je zbytečná. Stručně ho lze shrnout následovně. Když a 2 = 2b 2 pro a, b N, pak a/2 < b < a a (2b a) 2 = 2(a b) 2. Protože 2b a, a b N a 2b a < a, opakování transformace a, b 2b a, a b dává nekonečnou ostře klesající posloupnost přirozených čísel spor. O reálných číslech až příště. 7