Matematická analýza MFF UK
Matematická analýza MFF UK
  • 80
  • 65 458

Video

Přednáška 3 22 Trigonometrické řady
zhlédnutí 285Před 2 lety
Přednáška 3 22 Trigonometrické řady
Přednáška 3 21 Rozklad do báze
zhlédnutí 217Před 2 lety
Přednáška 3 21 Rozklad do báze
Přednáška 3 20 - Věta o projekci
zhlédnutí 172Před 2 lety
Přednáška 3 20 - Věta o projekci
Přednáška 3.19 - Hilbertovy prostory, definice
zhlédnutí 447Před 2 lety
Přednáška 3.19 - Hilbertovy prostory, definice
Přednáška 2.26 - Hranice, vnitřek, uzávěr
zhlédnutí 774Před 3 lety
Přednáška 2.26 - Hranice, vnitřek, uzávěr
Přednáška 2.25 - Metrický prostor, otevřená a uzavřená množina
zhlédnutí 2,1KPřed 3 lety
Přednáška 2.25 - Metrický prostor, otevřená a uzavřená množina
Přednáška 2.24 - Systémy ODR, tvar řešení a partikulární řešení
zhlédnutí 628Před 3 lety
Přednáška 2.24 - Systémy ODR, tvar řešení a partikulární řešení
Přednáška 2.23 - FSŘ pro systémy ODR 1. řádu s konstantními koeficienty
zhlédnutí 553Před 3 lety
Přednáška 2.23 - FSŘ pro systémy ODR 1. řádu s konstantními koeficienty
Přednáška 2.22 - FSŘ pro lineární ODR řádu n s konstantními koeficienty a speciální pravá strana
zhlédnutí 508Před 3 lety
Přednáška 2.22 - FSŘ pro lineární ODR řádu n s konstantními koeficienty a speciální pravá strana
Přednáška 2.21 - Existence a tvar řešení soustavy ODR 1. řádu
zhlédnutí 563Před 3 lety
Přednáška 2.21 - Existence a tvar řešení soustavy ODR 1. řádu
Přednáška 2.20 - lineární ODR 1. řádu a šnek na gumě
zhlédnutí 631Před 3 lety
Přednáška 2.20 - lineární ODR 1. řádu a šnek na gumě
Přednáška 2.19 - ODR se separovanými proměnnými
zhlédnutí 721Před 3 lety
Přednáška 2.19 - ODR se separovanými proměnnými
Přednáška 2.18 - ODR, existence a jednoznačnost
zhlédnutí 682Před 3 lety
Přednáška 2.18 - ODR, existence a jednoznačnost
Přednáška 2.17 - Stirlingova formule
zhlédnutí 380Před 3 lety
Přednáška 2.17 - Stirlingova formule
Přednáška 2.16 - Aplikace integrálu
zhlédnutí 687Před 3 lety
Přednáška 2.16 - Aplikace integrálu
Přednáška 2.15 - Abel-Dirichletovo kritérium
zhlédnutí 458Před 3 lety
Přednáška 2.15 - Abel-Dirichletovo kritérium
Přednáška 2.14 - Konvergence Newtonova integrálu, srovnávací kritérium
zhlédnutí 720Před 3 lety
Přednáška 2.14 - Konvergence Newtonova integrálu, srovnávací kritérium
Přednáška 2.13 - Derivace integrálu podle horní meze, Newtonův integrál
zhlédnutí 870Před 3 lety
Přednáška 2.13 - Derivace integrálu podle horní meze, Newtonův integrál
Přednáška 2.12 - Vlastnosti R integrálu
zhlédnutí 628Před 3 lety
Přednáška 2.12 - Vlastnosti R integrálu
Přednáška 2.11 - Spojitá funkce je R-integrovatelná
zhlédnutí 793Před 3 lety
Přednáška 2.11 - Spojitá funkce je R-integrovatelná
Přednáška 2.10 - Zavedení Riemannova integrálu
zhlédnutí 1,1KPřed 3 lety
Přednáška 2.10 - Zavedení Riemannova integrálu
Přednáška 2.9. - Substituce na racionální funkce
zhlédnutí 519Před 3 lety
Přednáška 2.9. - Substituce na racionální funkce
Přednáška 2.8 - Rozklad na parciální zlomky
zhlédnutí 721Před 3 lety
Přednáška 2.8 - Rozklad na parciální zlomky
Přednáška 2.7 - Per partes a obě věty o substituci
zhlédnutí 905Před 3 lety
Přednáška 2.7 - Per partes a obě věty o substituci
Přednáška 2.6 - Primitivní funkce, základní vlastnosti
zhlédnutí 799Před 3 lety
Přednáška 2.6 - Primitivní funkce, základní vlastnosti
Přednáška 2.5 - Součin řad a komplexní řady
zhlédnutí 700Před 3 lety
Přednáška 2.5 - Součin řad a komplexní řady
Přednáška 2.4 - Abel-Dirichlet a přerovnání řad
zhlédnutí 1,1KPřed 3 lety
Přednáška 2.4 - Abel-Dirichlet a přerovnání řad
Přednáška 2.2 - Odmocninové, podílové, kondenzační kritérium
zhlédnutí 855Před 3 lety
Přednáška 2.2 - Odmocninové, podílové, kondenzační kritérium
Přednáška 2.3 - Leibnitzovo kritérium
zhlédnutí 801Před 3 lety
Přednáška 2.3 - Leibnitzovo kritérium

Komentáře

  • @jirkadolezal8127
    @jirkadolezal8127 Před měsícem

    dekuji

  • @bezcisla
    @bezcisla Před 5 měsíci

    Já bych k tomu suprému dotazy měl. 1) Jaký je tedy rozdíl mezi maximem a suprémem? Můžu vyvozovat to, že pokud mám maximum, mám zároveň i suprémum? 2) No a pokud mám otevřený interval, tak je pro mě suprémem tedy ta hraniční hodnota v té závorce? 3) proč na konci výkladu zvažujete pouze, že by y náleželo jen záporným číslům (čili mimo interval) a nepočítáte tam čísla, která by byla vyšší, než ten interval? Celkově trošku to ypsilon nechápu, proč s ním operujete? Mám zadaný interval, tak proč pro práci s tímto intervalem řeším čísla, která jsou mimo něj?

  • @SimsHacks
    @SimsHacks Před 2 lety

    Abel-Dirichlet jak pro řady, tak pro integrály není součástí sylabů nové akreditace a neměl by se po studentech požadovat.

    • @matematickaanalyzamffuk8174
      @matematickaanalyzamffuk8174 Před 2 lety

      Máte naprostou pravdu, že Abel-Dirichlet není součástí sylabů. Není to tedy povinná látka a přednášející ho nemusí odpřednášet (ale může, pokud má dost času). Já jsem se ho rozhodnul zařadit, protože je to užitečné kritérium pro vyšetřování Fourierových řad. A-D kritérium pro konvergenci integrálů je užitečné pro integrály, které přirozeně vznikají například v komplexní analýze. V mé přednášce si studenti mohou zvolit pár důkazů, které nejsou zkoušeny, a proto se důkaz A-D na zkoušku typicky nemusí učit.

    • @SimsHacks
      @SimsHacks Před 2 lety

      @@matematickaanalyzamffuk8174 Chápu. Akorát se pak další studenti blbě připravují na zkouškovou písemku, protože většina příkladů na konvergenci řady/integrálu z minulých let je právě na Abel-Dirichleta 😀 Ale naštěstí jsem ji zvládl.

  • @tomaskubicek5983
    @tomaskubicek5983 Před 2 lety

    Ještě jsem si při opakování všiml, že v 51:19 nazýváte R jako maticí rotace, což není nutně pravda, máme zaručenou jenom regularitu, a né ortonormalitu.

  • @Alex-di9en
    @Alex-di9en Před 2 lety

    Dobrý den, chtěl bych se zeptat jestli budou záznamy z přednášek z Analýzy 3 a 4 taky na youtube ?

    • @matematickaanalyzamffuk8174
      @matematickaanalyzamffuk8174 Před 2 lety

      Pokud nedojde k opětovnému přechodu na distanční výuku, tak budou přednášky z Analýzy 3 a 4 pouze prezenčně. Příprava nahravácí techniky, zpracování videa a jeho vystavení je netriviální práce navíc. Prezenční výuka také více motivuje k soustavné práci během semestru ;) a neodkládání všeho až na později.

  • @andymulle
    @andymulle Před 2 lety

    Dobrý den. Jsou tyto video-prednášky vhodné pro budoucí studenty 1. ročníku Bc. na MFF oboru Finanční matematika, případně učitelství matematiky? :)

    • @endeavourmorse4600
      @endeavourmorse4600 Před 2 lety

      Dle studijního plánu mají studenti učitelství dvakrát menší přednáškový rozsah, než studenti matematiky, pro něž je tato přednáška. Čili tato přednáška jde mnohem více do podrobna, než se požaduje po učitelích. Pro obor finanční matematika je tato přednáška vhodná, ti mají také dvě přednášky týdně.

    • @andymulle
      @andymulle Před 2 lety

      @@endeavourmorse4600 Moc děkuji. Mám v plánu příští rok si podat přihlášku na MFF, a tudíž toto beru jako takovou předpřípravu, a proto jsem chtěla vědět, zda-li to je vhodné :))

    • @matematickaanalyzamffuk8174
      @matematickaanalyzamffuk8174 Před 2 lety

      Studenti Finanční matematiky a učitelé mají "svoji" matematickou analýzu. Tato přednáška je pro ně v některých částech příliš detailní a příliš obtížná.

    • @andymulle
      @andymulle Před 2 lety

      @@matematickaanalyzamffuk8174 Tudíž na výše zmíněných programech nebude kladen takový důraz třeba na důkazy vět a definic apod?

    • @matematickaanalyzamffuk8174
      @matematickaanalyzamffuk8174 Před 2 lety

      @@andymulle Ano, nebude kladen takový důraz na důkazy a některé složitější věty tam vůbec nebudou.

  • @bobek6155
    @bobek6155 Před 3 lety

    Dobrý den, chtěl bych se zeptat na normu dělení u důkazu věty L7.6. Definovali jsme si normu dělení jako max(xj - xj-1) pro j = 1,...,n. Proč zde používáme minimum?

  • @martinborysek2441
    @martinborysek2441 Před 3 lety

    Dobrý den, chtěl bych se zeptat k důkazu věty 5.12, 1:01:00 , neměli bychom n'_0 volit spíše jako maximum ze vzorů 1,...,n_0 (tj. z p^(-1)), než z obrazů, aby nám, když budeme sčítat členy "nad" n'_0, p(i) nezobrazilo člen na třeba 1, která může mít vzor nad maximem z obrazů, tj. např p(1)=30, p(2)=20, tedy n'_0 by bylo 30, ale zároveň p(100)=1, tedy v sumě od 30 do 200 by se nám u posloupnosti a_p(n) objevilo a_1, čemu se ale chceme vyhnout, pokud jsem to pochopil správně? A jestli se ještě můžu zeptat, tak poté bychom asi měli brát n'_0 ostře větší než to maximum, protože když zobrazíme n'_0, tak pak můžeme dostat třeba a_1? Děkuji předem za odpověď.

    • @matematickaanalyzamffuk8174
      @matematickaanalyzamffuk8174 Před 3 lety

      Máte naprostou pravdu, děkuji za upozornění na chybu. Správně má být n_0'=max{p^{-1}(1),p^{-1}(2),...,p^{-1}(n_0)}. Pak pro všechna n'>=n_0' máme p(n')>=n_0 a dokazovaná nerovnost \sum_{j=m'}^{n'}|a_{p(j)}|<=\sum_{i=n_0}^{infty} |a_i| je jasná. Máte u mě (spolu s kolegou Hartmanem) bonusové body k ústní zkoušce.

    • @martinborysek2441
      @martinborysek2441 Před 3 lety

      @@matematickaanalyzamffuk8174 Děkuji za potvrzení a také za body.

  • @tomaskubicek5983
    @tomaskubicek5983 Před 3 lety

    Nebylo by hezčí dokázat tu nezávislost [42:38] tím že použijeme větu, že vlastní vektory příslušné ruzným vlastním číslu jsou LN, a potom můžeme říct, že je vždycky násobíme nenulovou funkcí a to zachovává LN?

    • @matematickaanalyzamffuk8174
      @matematickaanalyzamffuk8174 Před 3 lety

      Ideově máte pravdu. Ale žádnou větu, že vynásobení LN vektorů nenulovýmí funkcemi zachová LN nemáme. Pokud takové pozorování dokážete (to není těžké), tak je to korektní důkaz.

  • @tomaskubicek5983
    @tomaskubicek5983 Před 3 lety

    [1:04:15] řekl bych ze jak pocitame sumu pres ty carkovany m,n , tak bychom tam neměli pouzivat tu bijekci, zaroven se tam objevilo j.

  • @kulloth
    @kulloth Před 3 lety

    Otázka k notaci: je nějaký rozdíl mezi "⊂" a "⊊"? V důkazu [29:14] se používají obě verze.

    • @matematickaanalyzamffuk8174
      @matematickaanalyzamffuk8174 Před 3 lety

      A podmnožina B znamená, že každý bod z A leží v B (ale množiny mohou být stejné). A podmnožina nerovno B znamená, že každý bod z A leží v B a množiny nejsou stejné (alespoň jeden bod B neleží v A).

  • @kulloth
    @kulloth Před 3 lety

    Hezké odpoledne. Měl bych jednu otázku: všiml jsem si, že normy vektorů, jak jsme si je definovali v lineární algebře, jsou velmi podobné metrikám. Například norma vzhledem ke standardnímu skalárnímu součinu by se přesně rovnala Euklidovské metrice pokud bychom vzali druhý bod jako počátek; mám dojem, že i existuje newyorská vektorová norma. Existuje tedy nějaký monomorfismus, nebo dokonce isomorfismus, mezi skalárním součinem s "vhodným posunem počátku" a metrikami?

    • @matematickaanalyzamffuk8174
      @matematickaanalyzamffuk8174 Před 3 lety

      Každý normovaný prostor je metrický prostor, když zavedeme metriku d(x,y)=||x-y||. Naopak ale každý metrický prostor nemusí být normovatelný, neboť tam může úplně chybět lineární struktura. Příkladem je například diskrétní metrika, která nevznikla z žádně normy. Každý konečně dimenzionální prostor se skalárním součinem je izometricky-izomorfní R^n s euklidovskou metrikou. Toto budeme snad dokazovat v kapitole Hilbertovy prostory příští semestr (pokud na to zbude čas).

  • @janlexa6871
    @janlexa6871 Před 3 lety

    Diskrétní metrika se hojně využívá v deskových hrách.

    • @kulloth
      @kulloth Před 3 lety

      Co máš na mysli? Could you elaborate further? :D

  • @tomaskubicek5983
    @tomaskubicek5983 Před 3 lety

    Jestli se nepletu tak taky v [59:02] v té třetí části fsr chybí e na x .

  • @tomaskubicek5983
    @tomaskubicek5983 Před 3 lety

    Já bych chtěl ještě upozornit na to že v [1:17:32] u vektoru (2,0,1) chybí ta exponenciála

  • @kulloth
    @kulloth Před 3 lety

    Hezký večer! (1) [1:10:08] Proč se nám ty členy i*e^{2x}*sin(x) a i*e^{2x}*cos(x) vynulují? (2) [43:17] Myslím, že máte přepis ve čtvrtém řádku odspodu v posledním členu u indexu první lambdy.

    • @matematickaanalyzamffuk8174
      @matematickaanalyzamffuk8174 Před 3 lety

      ad (2) - ano, tam má být samozřejmě (lambda_{n-1}-lambda_n) a ne (lambda_1-lambda_n) ad (1) - pokud se vše udělá správně, tak imaginární členy musí zmizet a zbudou pouze reálné členy. Například v druhé složce vektoru je e^{2x} cos x * i z prvního sčítance a e^{2x} cos x * (-i) z druhého sčítance (od vektoru (1,1-i)) a dohromady to dá 0. Doufám, že toto je dobře.

  • @marekbedrich5757
    @marekbedrich5757 Před 3 lety

    Dobrý den pane profesore, V 1:00:00 chybí v tom alternativním vyjádření pro sin(x) vydělení jednotkou "i", ale sin(x) rovnici přesto řeší. Pro potvrzení, platí tedy, že i komplexní násobek rozdílu řešení je řešením? Dále jen pro jistotu, v 1:03:25 chybí za členem a_0 vynásobení funkcí y..? Díky

    • @matematickaanalyzamffuk8174
      @matematickaanalyzamffuk8174 Před 3 lety

      Děkuji za upozornění na dva překlepy. Máte samozřejmě pravdu v obou případech. Chybý tam i ve jmenovateli (i komplexní násobek řešení je řešení) a to z mi tam také chybí.

  • @alinayan7767
    @alinayan7767 Před 3 lety

    Dobrý den! Není v 22:40 (hned po k=1,...,n) zbytečné "v I" nebo něčemu nerozumím?

  • @kulloth
    @kulloth Před 3 lety

    Retrospektivně bych měl ještě jeden dotaz: proč ve formálním postupu (47:18) přecházíme na proměnnou "s" (píšeme G(y) = \int{1/s^2}ds = -1/s)?

  • @kulloth
    @kulloth Před 3 lety

    V lineární algebře jsme si v zimním semestru vyslovili postup pro řešení soustav lineárních rovnic pomocí jádra odpovídající matice. Pokud si dobře pamatuji, tak se nejdříve najde jádro matice (čili se nejdříve vyřeší homogenní verze stejné soustavy rovnic) a poté se najde jedno partikulární řešení původní soustavy. Za množinu řešení původní soustavy se pak prohlásí množina všech vektorů z jádra, ke kterým ještě přičteme partikulární řešení. Toto mi velmi připomíná druhý postup řešení lineárních ODR prvního řádu. Je zde nějaká hlubší souvislost, nebo jde pouze o náhodu? Mimochodem, pokud by šnek byl hlemýžď zahradní (dožívají se až dvaceti let), tak by cestou po gumě umřel asi 2 500 000 000 000 000 000 000 000 000 000 000 000 krát :(

    • @matematickaanalyzamffuk8174
      @matematickaanalyzamffuk8174 Před 3 lety

      To je velmi dobrý postřeh. Je to naprosto to samé, jen v lineární algebře to bylo pro konečnou dimenzi. Zde je prostor všech funkcí nekonečnědimenzionální, ale rovnice je také lineární (součet dvou řešení homogenní rovnice je také řešení homogenní rovnice).

    • @marekbedrich5757
      @marekbedrich5757 Před 3 lety

      @Khaloth Big F pro šneka

  • @janlexa6871
    @janlexa6871 Před 3 lety

    pěkné tričko :)

  • @kulloth
    @kulloth Před 3 lety

    Hezký večer pane profesore. Měl bych pár nejasností k nové látce. Když zapisujeme integrály při řešení ODR, můžeme pracovat s integrály bez "dx" (takové integrály se Vám vyskytly například zde 1:10:15) a jestli ano, liší se nějak od klasických integrálů? Druhý dotaz je, zdali máme psát (x) když pracujeme s funkcemi u ODR (čili f(x) vs pouhé f) a nebo jestli to je jedno (a nebo naopak by se nemělo psát). Ještě bych se Vás chtěl zeptat, jestli zintegrování obou stran je vždy bezpečná úprava a jestli se nám nemůže stát, že by se rovnost porušila u nějakých složitých (nebo nějak (ne)šikovně zkonstruovaných) funkcí.

    • @matematickaanalyzamffuk8174
      @matematickaanalyzamffuk8174 Před 3 lety

      Čistě formálně by tam všude to dx mělo být, ale pro zkrácený zápis (=z lenosti) to občas vynecháváme. Stějně tak bychom všude měli psát f(x), ale pokud je to jasné, tak to občas vynecháváme.

    • @marekbedrich5757
      @marekbedrich5757 Před 3 lety

      @@matematickaanalyzamffuk8174 a to zintegrování?

    • @matematickaanalyzamffuk8174
      @matematickaanalyzamffuk8174 Před 3 lety

      @@marekbedrich5757 Pokud tam neni problem s definičními obory, tak se rovnost neporuší. Detailněji to budete probírat na cvičení.

  • @martindolak2293
    @martindolak2293 Před 3 lety

    Dobrý den. Mohli bychom se ve větě 7.16 vyhnout sporu? Nešlo by BUNO vzit dělení D_n tak, že D_{n+1} je jemnější než D_n a pak lim s(g,D_n) <= L(f,D) <= S(g,D_n) a použít policajty? Děkuji.

  • @martindolak2293
    @martindolak2293 Před 3 lety

    Dobrý den. Nechybí ve větě 7.11, část (ii), předpoklad prostoty funkce? Děkuji

    • @matematickaanalyzamffuk8174
      @matematickaanalyzamffuk8174 Před 3 lety

      To je správný dotaz. Funkce musí být prostá, ale ten předpoklad nám tam nechybí: Funkce má všude nenulovou derivaci a derivace nabývá mezihodnot. Tedy je derivace všude kladná, nebo všude nezáporná. Díky tomu je prostá.

  • @janlexa6871
    @janlexa6871 Před 3 lety

    Vidíte se jako zlý nebo hodný u zkoušek?

    • @matematickaanalyzamffuk8174
      @matematickaanalyzamffuk8174 Před 3 lety

      :) Hlavně se snažím být férový. V porovnání s kolegy z katedry patřím spíše k hodnějším zkoušejícím.

  • @kulloth
    @kulloth Před 3 lety

    My vždy píšeme, že "norma D_{n} (pro n ightarrow \infty) = 0 *a zároveň* D_{n+1} je jemnější než D_{n}". Nevyplývá ale ta druhá část z té první?

    • @matematickaanalyzamffuk8174
      @matematickaanalyzamffuk8174 Před 3 lety

      To bohužel nevyplývá. Pro D_1={0,1/2,1} a D_2={0,1/3,2/3,1} je norma D_1 rovna 1/2 a norma D_2 rovna 1/3. D_2 ale není jemnější než D_1, neboť D_1 obsahuje bod 1/2, který není bodem dělení D_2. Podívejte se na první definici v kapitole 7.1.

  • @alinayan7767
    @alinayan7767 Před 3 lety

    Existují-li funkce, které mají Darbouxovu vlastnost, ale nemají primitivní funkce? (jakože asi ano, ale chtěla bych mít představu, jak to může vypadat)

    • @matematickaanalyzamffuk8174
      @matematickaanalyzamffuk8174 Před 3 lety

      Takové funkce existují, ale jsou poměrně ošklivé. Například funkce ze ZS, která zobrazí každý interval na R bude mít tuto vlastnost. Více se studenti mohou dozvědet na přednášce z Reálných funkcí ve 3. ročníku.

    • @alinayan7767
      @alinayan7767 Před 3 lety

      Jasně, ta funkce z poslední přednášky... Děkuji za odpověď!

  • @ondrejmed6243
    @ondrejmed6243 Před 3 lety

    Dobrý den, jak v kontextu věty 6.4 chápeme pojem interval? Vezmeme-li konstantní funkci, která bude mít primitivní funkci na R, tak sice primitivní funkci má, ale jakýkoliv interval zobrazí na jednobodovou množinu. V důkazu potom bereme bez diskuze z f(J) dvě různé hodnoty y_1,y_2, nepotřebujeme tedy alespoň předpoklad, že původní funkce není konstantní?

    • @matematickaanalyzamffuk8174
      @matematickaanalyzamffuk8174 Před 3 lety

      Jednobodovou množinu chápeme jako interval. Na začátku důkazu bychom mohli říct: buď je to jednobodová množina, a pak to platí, nebo má alespoň dva body y_1, y_2 a pokračujeme...

  • @janlexa6871
    @janlexa6871 Před 3 lety

    Ve skriptech na přednášky je věta O rozkladu na parciální zlomky označená s těžkým důkazem.

  • @kulloth
    @kulloth Před 3 lety

    Jsou někde k dispozici záznamy z Vašeho cvičení, jako tomu bylo minulý semestr?

  • @igorbohm6370
    @igorbohm6370 Před 3 lety

    Dobrý den, chtěl bych se zeptat, jestli primitivná funkce k x^n by neměla být x^{n+1} / n+1? Vzoreček, který zde máte, je napsán i v seznamu vět na Vašich stránkách, ale když x^n / n+1 zderivuji, tak to nevychází.

  • @kulloth
    @kulloth Před 3 lety

    Měl bych dotaz. Je důležité, že jsme si všude uváděli, že f (popřípadě g) je definována na otevřeném intervalu? Narazili bychom na zádrhel, kdybychom jsme hledali primitivní funkci F k funkci f definované na uzavřeném nebo polouzavřeném intervalu?

    • @matematickaanalyzamffuk8174
      @matematickaanalyzamffuk8174 Před 3 lety

      Asi by to nějak šlo, ale v krajních bodech můžeme hovořit pouze o jednostranných derivacích.

  • @martindolak2293
    @martindolak2293 Před 3 lety

    Dobrý den, pane profesore. V důkazu věty 5.14 používáme, že \sum_{n=1}^\infty |a_n| < epsilon. To bychom tedy molhi udělat i v důkazu věty 5.12 místo menší rovno. Zřejmě tady používáme větu o limitě a uspořádání, kde je tedy menší rovno... jak dokážeme, že "<=" je v tomto případě ekvivalentní "<" (BC podmínka)?

    • @matematickaanalyzamffuk8174
      @matematickaanalyzamffuk8174 Před 3 lety

      Ano, přesně tak. Formálně bychom měli dokázat z BC podmínky pouze \sum_{n=1}^\infty |a_n| <= epsilon. Toto ale umíme dokázat pro všechna epsilon, tedy například i pro epsilon/2 a odtud tedy dostaneme i \sum_{n=1}^\infty |a_n| <= epsilon/2<epsilon pokud chceme.

  • @veronikajarrahova244
    @veronikajarrahova244 Před 3 lety

    [44:55] Nemělo by být limsup (a_(n+1)/a_(n)) = lim (a_(n+1)/a_(n)) místo lim (a_(n))?

  • @kulloth
    @kulloth Před 3 lety

    [1:01:45] Nemělo by zde být "pro všechna n' >= n'_{0}"?

  • @tgx3529
    @tgx3529 Před 3 lety

    Dobrý den pane profesore, chtěla bych se zeptat na něco k Abel - Dirichletovu kriteriu. Tento název jsem nikde na internetu nenašla. V zahraničí se používá Dirichlet's test a Abel's test zvlášť. Při použití Abel's test se ale nepožaduje, aby bn byla nerostoucí, stačí zde monotonie a omezenost této posloupnosti., (vzhledem k tomu, že musí už an jít k nule, tak není nutné aby bn šlo k nule) Je tedy Abel- Dirichletovo kritérium specialitou pouze zde v ČR, kde nejde o spojení těch dvou kritérií ze zahraničí, má to jen podobný název?? Pak si ale kladu otázku, jak jednoduše ověřovat konvergenci řad , kde konverguje řada an, nikoli však absolutně, bn je rostoucí omezená.....

    • @matematickaanalyzamffuk8174
      @matematickaanalyzamffuk8174 Před 3 lety

      Děkuji za dotaz. Označení Abel-Dirichletovo kritérium je standardně používano v Čechách a je to spojení těch dvou kritérií. Je možné, že v zahraničí se to nazývá jinak. Pokud je b_n rostoucí a omezená, tak nalezneme konstantu C, aby -b_n+C bylo klesající a nezáporná. Z "naší" věty máme konvergenci \sum a_n(-b_n+C)=-\sum a_n b_n+C\sum a_n a odtud snadno odvodíme konvergenci \sum a_n b_n. Tedy to "jiné" znění je snadný důsledek.

    • @tgx3529
      @tgx3529 Před 3 lety

      @@matematickaanalyzamffuk8174 Děkuji za odpověď.

  • @kulloth
    @kulloth Před 3 lety

    [29:12] Nemusela by ta řada být iterována od 0 a ne od 1, aby ta suma byla e?

  • @alinayan7767
    @alinayan7767 Před 3 lety

    Mohli jsme začít důkaz lemmatu pro n=0 místo n=1?

  • @kulloth
    @kulloth Před 3 lety

    (9:30) Kdybychom se dejme tomu opravdu snažili vymyslet funkci, která by splňovala T4.16 v bodě Z a zároveň Z nebyl inflexním bodem, v čem by spočíval trik její konstrukce? Jak by vypadala?

    • @matematickaanalyzamffuk8174
      @matematickaanalyzamffuk8174 Před 3 lety

      Věta 4.16 říká, že pokud jsou splněny předpoklady, tak tam musí být inflexní bod. Protipříklad tedy nelze setrojit.

  • @tomassklenar8277
    @tomassklenar8277 Před 3 lety

    Můžu se zeptat, když v definici toho, že bod je nad/pod tečnou vylučujeme nevlastní derivace, jak pak můžeme určit, že v takovém bodě není inflexe, když ta je definována právě z toho, že body v okolí jsou nad/pod tečnou? A není právě v takovém případě možné, aby funkce do takového bodu byla konvexní a dál konkávní, nebo naopak? Neměl by to pak také být inflexní bod? (konkrétně například bod 0 pro f(x)=x^(1/3))

    • @matematickaanalyzamffuk8174
      @matematickaanalyzamffuk8174 Před 3 lety

      Na slide 22-6 nahoře máme v první definici "Nechť f má vlastní derivaci". Tedy pro definici nad/pod tečnou vyžadujeme vlastní derivaci, jinak by rovnice tečny nebyla s nekonečnem hezká. Teoreticky by bylo možné definovat "inflexi" jako bod, kde existuje (i nevlastní) derivace a mění se funkce z konvexní na konkávní (nebo naopak). My jsme si to však definovali jinak a tou definicí dále pracujeme. Tedy v bodech s nevlastní derivací nemůže být podle naší definice inflexe.

  • @tgx3529
    @tgx3529 Před 3 lety

    czcams.com/video/rQyVVUthpL8/video.html Vážení, na této adrese se nachází zajímavé řešení limity, o které byla řeč na tomto cvičení. Autor sice vymyslel jak vystačit pouze s limitou sin x/x a nemuset tak použít první dva členy Taylorova rozvoje funkce sinus. Podle mého názoru je to nakonec ale na nic, protože by musel dokázat existenci limity a její konečnost.

  • @janlexa6871
    @janlexa6871 Před 3 lety

    43:00 ty intervaly u mínus nekonečna se neshodují proč?

    • @matematickaanalyzamffuk8174
      @matematickaanalyzamffuk8174 Před 3 lety

      Děkuji mnohokrát za upozornění na "překlep". Samozřejmě u rozepsání funkce má být interval (-nekonečno, 1] a ne (-nekonečno, -1] .

  • @kulloth
    @kulloth Před 3 lety

    Jak by se přistupovalo k důkazu toho, že jestli funkce roste v každém bodě na nějakém okolí na nějakém intervalu, tak je funkce rostoucí na celém intervalu?

    • @matematickaanalyzamffuk8174
      @matematickaanalyzamffuk8174 Před 3 lety

      Já bych použil tvrzení (které zatím neznáte), že z každého otevřeného pokrytí kompaktu lze vybrat konečné podpokrytí.Tedy pro každý bod z intervalu bych našel malý otevřený interval okolo, že na něm funkce "roste". Máme omezený uzavřený interval, který je pokryt otevřenými intervaly. Pak lze vybrat konečně mnoho intervalů, které ho pokrývají (to je potřeba dokázat). A teď bych poskládal tu rostoucnost na jednotlivých konečně mnoha intervalech a dostal rostoucnost od začátku do konce.

  • @Alex-di9en
    @Alex-di9en Před 3 lety

    Dobrý den, chtěl bych se zeptat jestli přednášky budou veřejně přístupné i po skončení semestru. Nestuduji na mff, ale Vaše přednášky mně pomáhají s pochopením látky a rád se na ně dívám.

    • @matematickaanalyzamffuk8174
      @matematickaanalyzamffuk8174 Před 3 lety

      Přednášky budou přístupné minimálně do konce září buď veřejně na CZcams, nebo neveřejně přes odkaz na dl1.cuni.cz/course/view.php?id=10334%E2%80%8B. Oficiálně bychom přednášky neměli veřejně vystavovat :), a tak nevím, co udělám pak.

  • @lukasmoudry9973
    @lukasmoudry9973 Před 3 lety

    Dá se to taky ukázat tak, že od nějakého n0 (max vybraných nA, nB) pro A > B a eps = (A-B)/3 musí platit zároveň A-eps < an < A+eps a zároveň B-eps < an < B+eps, po dosazení za eps tedy (2A+B)/3 < an < (4A-B)/3 a zároveň (4B-A)/3 < an < (2B+A)/3, odkud např. (2A+B)/3 < (2B+A)/3, odkud A < B, což je spor s předpokladem?

  • @daredonny22
    @daredonny22 Před 3 lety

    Mohl bych se zeptat, proč je 0*nekonečno nedefinovaný výraz? Mám na mysli spíš jak si to představit nebo odůvodnit. Kdyby nevěděl, že se jedná o nedefinovaný výraz, intuitivně bych řekl, že to bude 0. Děkuji

    • @matematickaanalyzamffuk8174
      @matematickaanalyzamffuk8174 Před 3 lety

      Představte si, že limitu posloupnosti 1= lim 1=lim 1/n*n rozepíšete podle aritmetiky limit na lim 1/n * lim n=0*nekonečno. Pak by 0* nekonečno (pokud je definováno) muselo být 1. Analogicky 0=lim 1/(n*n)*n=lim 1/(n*n)* lim n=0*nekonečno, a tedy by 0*nekonečno muselo být rovnou také 0. Analogicky můžeme dostat, že 0*nekonečno může být cokoliv, a proto ho raději nedefinujeme.

    • @daredonny22
      @daredonny22 Před 3 lety

      @@matematickaanalyzamffuk8174už chápu, děkuji

  • @matematickaanalyzamffuk8174

    Jak jsem byl upozorněn v emailu: V 54. minutě přednášky je derivace vnitřní funkce samozřejmě +1/y^2 - zbude jedno mínus a derivace 1/y je -1/y^2. Zbytek důkazu je stejný, v 57. minutě se zkrátí 1/y^2 s 1/y^2.

  • @TheCrashtestCZ
    @TheCrashtestCZ Před 3 lety

    V důkazu bodu e) jsme použili jistou větu o spojitosti funkce v bodě, kterou jsem ale myslím nedokazovali? Možná si špatně pamatuji, pokud ano, kdy prosím?

    • @matematickaanalyzamffuk8174
      @matematickaanalyzamffuk8174 Před 3 lety

      V důkazu části e) jsme použili pouze definici spojitosti - viz 4. slide 10. přednášky. Pouze místo limita f(y) pro y jde k x používáme limitu f(x+h) pro h jde k nule. Takový zápis je ekvivalentní.

  • @tomassklenar8277
    @tomassklenar8277 Před 3 lety

    Můžu se zeptat, v případě důkazu c) po dosazení do definice vychází první člen 0^0. Je to nějak ošetřeno nebo je prostě stanoveno, že v takovéto (nebo i podobných řadách) je 0^0=1?

    • @matematickaanalyzamffuk8174
      @matematickaanalyzamffuk8174 Před 3 lety

      Děkuji za dotaz, to je dobrá připomínka. U těchto řad si definujeme 0^0 jako 1, měl jsem to zdůraznit. Idea je, že aproximujeme funkci polynomem, a proto ten první člen je pevná konstanta (bez odhledu na hodnotu x).

  • @tgx3529
    @tgx3529 Před 3 lety

    Do školy jsem chodila před víc jak 30 lety. Děti vyrostly, a tak jsem se začala před více jak rokem věnovat matematice, hlavně limitám, řadám a integrálům. Nejprve jsem se účastnila řešení některých úloh v Matematickém fóru, hlavně limitního maratónu, pak jsem začala sledovat denně vysílané, asi tak čtvrthodinové příklady z USA. Bohužel se tam vyskytují hodně problémy, hlavně s přehazováním limit a řad , přestože není splněna podmínka stejnoměrné konvergence, počítání integrálů přes Fubiniovu větu, kde Lebesgueův integrál ve skutečnosti neexistuje a pod. Na území ČR se zatím až dodnes nikdo nenašel, jedině na Slovensku má natočena MFF nějaké přednášky i pro veřejnost. U této přednášky mě trochu zaráží předpoklady znění věty u limity podílu. Domnívám se , že požadavek b_n<>0 pro všechna n je zbytečný, vzhledem k B<>0, protože počínaje nějakým n musí být nenulové i b_n díky existenci limity B. Možná jen v souvislosti s Heineho definicí by to mělo smysl. Jinak vše OK. Je dobré si zopakovat některé věci i po letech.

    • @matematickaanalyzamffuk8174
      @matematickaanalyzamffuk8174 Před 3 lety

      Máte pravdu, ten předpoklad b_n různé od nuly je nadbytečný a lze jen vynechat. Mám ho tam z pedagogických důvodů, aby nebyl důkaz zbytečně komplikovný a nemusel jsem vysvětlovat, proč je vše dobře definováno pro n dost velké.

    • @tgx3529
      @tgx3529 Před 3 lety

      @@matematickaanalyzamffuk8174 Děkuji za odpověď.