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.
Az Alkalmazott analízis javaslata az első két félévre.
VálaszTörlésNevezetes 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.
Ezt a megjegyzést eltávolította a szerző.
VálaszTörlésFolytatás. Lemaradt az előzőről:
VálaszTörlésKorlá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)
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ésBonni Analízis I
VálaszTörlésLernziele
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.
Bonn Analysis II. (Én se tudok németül, de azért meg lehet érteni)
TörlésLernziele
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.
Ezt a megjegyzést eltávolította a szerző.
VálaszTörlésCambridge. Zárójelben az adott témára szánt óraszám.
TörlésPart 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]