2019. január 8., kedd

Analízis alapkészségek

Csak az első éves minimumot vázolom. Ez böven kitölti az időt, és aki ezeket egy matekképzés után nem ismeri, az azért veszít az életminőségéből. De nem feltétlenül gondolom ezt mind analízisbe, hívhatunk ebből néhány dolgot geometriának.

Mindeképp kellene válogatni mi fontosabb, mi kevésbé. Amit fontosnak tartunk ahhoz tartozzon rendesen gyakorlat, akár előadás nélkül, a módszerekre koncentrálva a "szép (vagy helyes, vagy korrekt) felépítés" helyett. Erre is teszek javaslatot.

(A bizonyításokat vagy csak egyszerű feltételek mellett, vagy teljesen későbbre hagyva egy valódi analízis órára. Ez lehet a 3. félévben (ekkor két szinten) vagy még később.)

Az alábbiak fő  motivációja a Gyemidovics, de nagyon megvágtam, és nem csak az alapozás részeknél. (Sorozatok pl. csak mint asorok részeltösszegei szerepelnek.) A tervezet egyébként elég nagy részben megegyezik sok elit egyetem (MIT, Cambridge, Yale, Harvard) anyagával.

Elemi módszerek: (1. félév 0+3) Ezt gyakorolni kell, kézügyesség szinten.

A hallgató

-- Nem zavarodott össze a valós számok "alapozásával" járó nehézségekkel, mert nem látta őket. (A tapasztalat azt mutatja, hogy a matematikai bizonyításokba való bevezetés a valós számokon keresztül nagyon korai, a diákok többsége nem tart itt. Ez érettebb diákoknak való, akkor haladni is gyorsabban lehet majd. Másrészt éretlen diákokkal a matematikai bizonyítások teljes anatómiai vizsgálata a valós számok kapcsán azt eredményezi, hogy addig nem tudunk eljutni, ahol a 1700-as évek elején tartott az analízis.)

Viszont

--  Képes lesz (bebizonyítani és) alkalmazni a deriválási szabályokat.

-- Tudja alkalmazni a differenciálszámítást szélsőértékproblémák megoldására.

-- Ismeri az integrál definícióját, és annak kapcsolatát a deriválással. Képes elemi integrálokat meghatározni.

-- Az integrálás alapmódszereivel meg tud oldani egyszerű differenciál egyenleteket.

-- Ismeri az elemi függvények polinomiális közelítéseit. Tisztában van a hatványsor konvergencia sugarának fogalmával, és meg tudja adni az elemi függvények hatványsorba fejtését.

Végtelen sorok: (2. félév 2+0) Ez nagyjából a Császár-Turczy könyv alapján, amit levelezőknek, estiseknek adtak anno. Menni fog előadás és házi feladat alapon. Esetleg fakultatív számítógépes labor jó lenne hozzá. (Heti egy órában amit inkább 2 hetente két órában jó tartani.) 

Amit itt felsorolok, majdnem mind ismert volt 1829-re, beleértve a Fourier sorok konvergenciájának eseteit is (Dirichlet).

A hallgató a kurzus elvégzése után

-- Érti a végtelen sor konvergenciájának fogalmát, és tudja használni a legismertebb konvergencia kritériumokat.

-- Megismerte az improprius integrál fogalmát és tudja használni végtelen sorok vizsgálatában.

-- Ismeri a hatványsorok tagonkénti deriválásáról és integrálásáról szóló tételeket, és képes azokat használni.

-- Meg tudja határozni egy függvény Fourier sorát, és ismeri a Fourier sorok legalapvetőbb alkalmazásait.

-- (Megismerte, hogy egy függvény Fourier sora többféle értelemben állíthatja elő a függvényt. Ismer egyszerű feltételeket amik garantálják a Fourier-sor pontonkénti, vagy egyenletes konvergenciáját.)

Elemi vektorszámítás (1. félév 0+3) Ha nem a deriválási, inetgrálási technikákban polinomokra, elemi föggvényekre szorítkozunk, akkor meg van a háttér. Azokon keresztül a többváltozóban megjelenő új jelenségekre, új gondolkodásmódra tudunk szorítkozni. Számítógépes vizualizáció nagyon jó lenne hozzá. 

Nyilvánvaló nem jutottunk nagyon messze, (cca 1800) de ha ezt kihagyjuk, akkor az egész többváltozó egy légvár lesz. (A legtöbb embernek.)

A hallgató kurzus elvégzése után

-- Ismeri a vektorműveleteket és fel tudja írni sík, egyenes egyenletét


-- Ki tudja számolni mozgó részecske sebességát, gyorsulását, a leírt pálya hosszát, görbületét. 

-- Ki tudja számítani két és három változós függvények görbe menti deriváltját.

-- Meg tudja határozni két és három változós függvények első és másodrendű közelítéseit. Ismeri a kritikus pontok szerepét a szélsőértékszámításban.

-- Meg tudja vizsgálni két változós függvények szintvonalait, illeve 3 változós függvények szintfelületeit a gradiens segítségével.

-- Ismeri a Lagrange féle multipkikátor módszer geometriai jelentését és képes a módszert alkalmazva feltételes szélsőértéket számolni.

-- Képes egy vektormezőt és integrálgörbéit ábrázolni.

Haladó vagy alkalmazott vektorszámítás (2. félév 2+0) A fizikai alkalmazások megfelelő környezetbe helyezik az eddig tanultakat.


Na, a Schrödinger miatt már eljutink at 1920-as évekig. Szuper. Ha azt levesszük, akkor még mindig a XIX. században járunk.

A hallgató kurzus elvégzése után

-- Ismeri a kettős és hármas integrál intuitív fogalmát és ki tudja azokat számolni szukcesszív integrálással. 


-- Képes polár és gömbi koordinátákban deriválni és integrálni

-- Ki tudja számolni skalár vagy vektormező vonalintegrálját, feluleti integrálját a definíció alapján, vagy az integráltételekből.


-- Megismerte a matematika szerepét a fizikában: Newtonból Kepler, Maxwell diffenerenciál és integrál alakok egyenértékűsége, A folytonossági egyenlet folyadékok dinamikájában, A Laplace operátor szerepe a hővezetés, a hullámterjedés és a Schrödinger egyenletekben.

Analízis 3. félév. Két szinten, és elég szabadon. Mindenki úgy alapoz ahogy akar, a lényeg, hogy bizonyítani tanulnak. 

Az alapozás kiindulópontja ad hoc. Miért nem a Peano axiómák? Az alapozás legjobb módjáról minden általam ismert matematikusnak saját elképzelése van. Ennek a módját nem érdemes előrírni.

Alternatív lehetőség analízis órára: a kölönböző hatérképzések, (limesz, integál, sor) felcserélhetőségének technikái. (Euler-Fubini-Petruska tételkör.) Ez vsz ráér később, bár matematikusnak nagyon hasznos már itt.



8 megjegyzés:

  1. Az Alkalmazott analízis javaslata az első két félévre.

    Nevezetes egyenlőtlenségek:Bernoulli, számtani-mértani,Cauchy-Schwarz,
    Halmaz megadása, halmaz műveletek
    Függvény fogalma, kompozíció, inverz, őskép, bijekció.
    Elemi függvények: hatvány, exponenciális, logaritmus, trigonometrikusok és inverzeik, hiperbolikusok és inverzeik
    Számhalmazok, számosság, Nem fontos még. valós számok axiómái , infimum, szuprémum, felső határ axióma
    Sorozat, határérték, konvergencia, monotonitás, korlátosság, $(1+\frac{1}{n})^{n}$ konvergenciája.
    Műveletek és határérték kapcsolata, végtelen mint határérték, kapcsolat a műveletekkel.
    Részsorozatok, Bolzano--Weierstrass-tétel, limesz inferior, limesz szuperior.
    Cauchy-sorozat, számtani- és mértaniközép-sorozat, nevezetes határértékek.
    Az exponenciális függvény értelmezése és tulajdonságai, az $e$ szám irracionalitása.
    Környezetek definíciói, torlódási pont, függvény határérték, átviteli elv, határérték és műveletek.
    Folytonosság fogalma, átviteli elv, műveletek kapcsolata a folytonossággal.
    Kompozíció kapcsolata a folytonossággal és a határértékkel, egyoldali határérték.
    Elemi függvények folytonossága és határértéke.
    Folytonos függvények tulajdonságai: Bolzano-Darboux, maximum és minimum létezése, inverz folytonossága, egyenletes folytonosság.
    Derivált fogalma, elemi függvények deriváltja, deriválási szabályok.
    Derivált és monotonitás, szélsőérték.
    Derivált és konvexitás, inflexió.
    Szélsőérték elégséges feltétele, függvényábrázolás.
    Taylor-polinom, Lagrange-féle maradéktag.
    L'Hospital-szabály.
    Riemann-integrál fogalma, példák integrálható és nem integrálható függvényekre.
    Riemann-integrálhatóság kritériumai, oszcillációs összeg, Riemann-összeg.
    Riemann-integrálható függvények osztályai (folytonos, monoton).
    Riemann-integrálhatóság és műveletek (összeg, szorzat, abszolútérték).
    Primitív függvény keresés, Newton--Leibniz-tétel. Taylor-formula integrál maradéktaggal.
    Improprius integrál fogalma és kritériumai. Abszolút konvergencia.
    Számsor fogalma, konvergencia kritériumok.
    Abszolút és feltételes konvergancia, Leibniz-sor.
    Sorok szorzata, Mertens tétele. Tizedestörtek.
    Függvénysorozat pontonkénti és egyenltes konvergenciája, példák, Cauchy-kritérium.
    Folytonosság, integrálhatóság és differenciálhatóság öröklődése a határfüggvényre.
    Függvénysor pontonkénti és egyenltes konvergenciája, öröklődési tételek. Cauchy- és Weierstrass-kritérium.
    Hatványsor fogalma, konvergencia sugara, összegfüggvény tulajdonságai.
    Taylor-sor fogalma, elégséges feltétel Taylor-sorba fejthetőségre. Fontos függvények Taylor-sora.

    VálaszTörlés
  2. Ezt a megjegyzést eltávolította a szerző.

    VálaszTörlés
  3. Folytatás. Lemaradt az előzőről:

    Korlátos függvények alsó és felső összegei, def, példák, ellenpéldák.
    • felosztás finomsága, közelítő összegek tétele
    • Newton-Leibnitz: kapcsolat a határozatlan és határozott integrál között.
    • A határozott integrál tulajdonságai: Ha f integrálható függvény az [a; b] intervallumon, akkor minden [c; d] ⊂ [a; b] részintervallumon is integrálható.=> integrálfv (kapcsolat primitívfv-nyel), linearitás, intervallum-additivitás, monotonitás |.| becslés, középérték-tétel
    • (Folytonos fv integrálfv-e primitívfv.
    • Véges sok pontban megváltoztatás nem változtatja az integrált.
    • Területszámítás (normáltartomány), súlypont, térfogat: szeletelési elv, forgástest térfogata, Cavalieri (gömb mindenképp, szalvétagyűrű, ciklois alatti terület lehet)
    • Kitérő a szögmérésről, ívhosszról és újra a szinuszfüggvényről
    • Improprius integrálok
    • Integrálkritérium: Hiper-harmonikus sorok konvergenciája. (milyen gyorsan nőnek a harmonikus sor részletösszegei)

    VálaszTörlés
    Válaszok
    1. Ez egy tipikus német 4+2-es egy féléves analízis előadás anyaga. Ez megfelelően csinálva nagy információ tartalmú, viszont a matematikusi felkészítés terén nem feltétlen tudja betölteni azt a szerepet amit korábban szánt az intézet erre. Mi ez utóbbit is szükségesnek tartanánk, csak esetleg a megfelelő motiváció megszerzése után. Ezért egy későbbi órán lehetővé kéne tenni a hallgatóknak az analízis megalapozásának hagyományos átélését is. (Ez lehet csak egy szűkebb, érdeklődő kör is.)

      Törlés
  4. Bonni Analízis I

    Lernziele

    Kenntnis und grundlegendes Verstandnis elementarer Konzepte und Methoden aus
    der Analysis, z.B. Umgang mit reellen und komplexen Zahlen, Folgen und Reihen,
    Di erential- und Integralrechnung von Funktionen einer Variablen, elementare Funktionen.
    Fahigkeit, mathematische Argumentationen durchzufuhren.

    Schlusselkompetenzen

    Analytische Formulierung von Problemen, abstraktes Denken, Konzentrationsf
    ahigkeit, selbstandige Losung mathematischer Aufgaben, Prasentation von
    Losungsansatzen.

    Inhalte

    Axiomatische Grundlagen der Analysis, Konvergenz und Grenzwerte, Reihen reeller
    und komplexer Zahlen, Stetigkeit und Di erenzierbarkeit von Funktionen einer reellen
    Variablen, gleichma ige Konvergenz. Ein Integralbegri (Riemannintegral oder
    Regelintegral), partielle Integration und Substitutionsformel. Potenzreihen, elementare
    Funktionen (auch in komplexen Zahlen), darunter Exponentialfunktion und trigonometrische
    Funktionen, Eigenschaften elementarer Funktionen.

    VálaszTörlés
    Válaszok
    1. Bonn Analysis II. (Én se tudok németül, de azért meg lehet érteni)

      Lernziele

      Kenntnis und grundlegendes Verstandnis von Konzepten und Methoden aus der
      mehrdimensionalen Analysis, z.B. Di erential- und Integralrechnung von Funktionen
      mehrerer reeller Variablen, Umgang mit partiellen Ableitungen und speziellen Integralen,
      Vektorkalkul (Divergenz, Rotation etc.), gewohnliche Di erentialgleichungen
      und deren Anwendungsgebiete. Fahigkeit, Anwendungsprobleme mathematisch zu
      formulieren.

      Schlusselkompetenzen

      Analytische Formulierung von Problemen, abstraktes Denken, Konzentrationsf
      ahigkeit, selbstandige Losung mathematischer Aufgaben, Prasentation von
      Losungsansatzen.

      Inhalte

      Funktionen mehrerer reeller Variablen, deren Stetigkeit und Di erenzierbarkeit. Partielle
      Ableitungen, Gradient, Parameterabhangige Integrale, Satz uber implizite
      Funktionen, Normen und Abbildungen zwischen normierten Raumen und Zusammenhang
      mit Konvergenz von Funktionen, Vollstandigkeit und Banach'scher Fixpunktsatz.
      Gewohnliche Di erentialgleichungen, Satz von Picard-Lindelof, Losung
      linearer Gewohnlicher Di erentialgleichungen erster und zweiter Ordnung. Vektorkalk
      ul (Divergenz, Rotation, Laplaceoperator). Optional: Wegintegrale, Holomorphe
      Funktionen, Cauchyscher Integralsatz, Untermannigfaltigkeiten als Anwendung des
      Satzes uber implizite Funktionen.

      Törlés
  5. Ezt a megjegyzést eltávolította a szerző.

    VálaszTörlés
    Válaszok
    1. Cambridge. Zárójelben az adott témára szánt óraszám.

      Part IA | Analysis I
      Based on lectures by W. T. Gowers
      Notes taken by Dexter Chua
      Lent 2015
      Limits and convergence
      Sequences and series in R and C. Sums, products and quotients. Absolute convergence;
      absolute convergence implies convergence. The Bolzano-Weierstrass theorem and
      applications (the General Principle of Convergence). Comparison and ratio tests,
      alternating series test. [6]
      Continuity
      Continuity of real- and complex-valued functions de ned on subsets of R and C. The
      intermediate value theorem. A continuous function on a closed bounded interval is
      bounded and attains its bounds. [3]
      Differentiability
      Differentiability of functions from R to R. Derivative of sums and products. The chain
      rule. Derivative of the inverse function. Rolle's theorem; the mean value theorem.
      One-dimensional version of the inverse function theorem. Taylor's theorem from R to
      R; Lagrange's form of the remainder. Complex differentiation. [5]
      Power series
      Complex power series and radius of convergence. Exponential, trigonometric and
      hyperbolic functions, and relations between them. *Direct proof of the differentiability
      of a power series within its circle of convergence*. [4]
      Integration
      Definition and basic properties of the Riemann integral. A non-integrable function.
      Integrability of monotonic functions. Integrability of piecewise-continuous functions.
      The fundamental theorem of calculus. Differentiation of indefinite integrals. Integration
      by parts. The integral form of the remainder in Taylor's theorem. Improper integrals. [6]

      Törlés