Analiza matematyczna — podręcznik on Ekonometria.org — Portal Naukowy

Logika, zbiory, relacje i odwzorowania

Sun, 28 Jun 2026 00:00:00 +0000

Zanim policzymy pierwszą granicę czy pochodną, musimy ustalić język, w którym mówimy o obiektach matematycznych. Tym językiem są logika i teoria mnogości: zdania i spójniki, kwantyfikatory, zbiory, relacje i odwzorowania. To nie jest tylko formalny rytuał — precyzyjne pojęcie funkcji, dziedziny, przeciwobrazu czy mocy zbioru wraca w analizie na każdym kroku, a w ekonometrii decyduje o tym, czy model jest dobrze postawiony. Ten rozdział buduje cały ten aparat od podstaw, z osobnym rysunkiem do każdej definicji, twierdzenia i przykładu.

Przestrzenie metryczne, unormowane i unitarne

Sun, 28 Jun 2026 00:00:00 +0000

W rozdziale pierwszym mówiliśmy o zbiorach i odwzorowaniach „statycznie”. Analiza zaczyna się tam, gdzie pojawia się odległość — bo to ona pozwala powiedzieć, że jeden punkt jest „blisko” drugiego, że ciąg „zbiega”, że funkcja jest „ciągła”. Okazuje się, że całą tę maszynerię można zbudować na jednym, bardzo oszczędnym pojęciu metryki. Co więcej, ta sama przestrzeń może mieć wiele różnych metryk, a kule w nich potrafią być kwadratami albo rombami. Ten rozdział wprowadza metryki, normy i iloczyn skalarny — trzy poziomy bogactwa struktury, na których oprze się reszta kursu, a które w ekonometrii odpowiadają różnym sposobom mierzenia błędu modelu.

Ciągi i ich granice

Sun, 28 Jun 2026 00:00:00 +0000

Granica ciągu to pierwsza prawdziwa idea analizy — moment, w którym z dyskretnej listy liczb wyłania się jedna wartość graniczna. Na tym pojęciu opiera się wszystko, co dalej: szeregi, granica funkcji, pochodna, całka. W tym rozdziale budujemy je starannie, od formalnej definicji epsilon-$N$, przez całą arytmetykę i najważniejsze twierdzenia (trzy ciągi, ciągi monotoniczne, Bolzano-Weierstrass), aż po ciągi wektorowe, którymi opiszemy zbieżność estymatorów w ekonometrii. Każde twierdzenie dostaje dowód i własny rysunek.

Szeregi liczbowe i funkcyjne, zbieżność jednostajna

Sun, 28 Jun 2026 00:00:00 +0000

Szereg to próba dodania nieskończenie wielu liczb. Czasem ta suma istnieje (i wynosi np. $2$), a czasem rośnie bez końca — choć poszczególne składniki maleją do zera. Rozróżnienie tych przypadków to jeden z najsubtelniejszych i najważniejszych wątków analizy: stoją za nim wzory na wartość bieżącą renty wieczystej, rozwinięcia funkcji w szeregi Taylora i Fouriera oraz cała teoria aproksymacji. W drugiej części rozdziału przejdziemy od liczb do funkcji i zobaczymy, że istnieją dwa istotnie różne sposoby, w jakie ciąg funkcji może zbiegać — a tylko jeden z nich zachowuje ciągłość.

Granica i ciągłość odwzorowań

Sun, 28 Jun 2026 00:00:00 +0000

Ciągłość to matematyczne ujęcie intuicji, że „małej zmianie wejścia odpowiada mała zmiana wyjścia” — wykres da się narysować bez odrywania ołówka. To pojęcie spina ze sobą poprzednie rozdziały: granicę funkcji zdefiniujemy zarówno językiem epsilon-delta (Cauchy), jak i językiem ciągów (Heine), i udowodnimy, że to dwa oblicza tej samej idei. Następnie zobaczymy, dlaczego funkcje ciągłe na przedziale domkniętym są tak wyjątkowe: osiągają swoje kresy (Weierstrass), przyjmują każdą wartość pośrednią (Darboux) i są jednostajnie ciągłe (Heine-Cantor). Te trzy twierdzenia to fundament optymalizacji i numerycznego rozwiązywania równań.

Rachunek różniczkowy jednej zmiennej

Sun, 28 Jun 2026 00:00:00 +0000

Pochodna mierzy tempo zmian — i jest jednym z najpotężniejszych narzędzi całej matematyki stosowanej. W ekonomii to koszt krańcowy, użyteczność krańcowa i elastyczność; w ekonometrii — gradient funkcji wiarygodności, którego zerowanie daje estymatory. Ten rozdział buduje rachunek różniczkowy jednej zmiennej od ilorazu różnicowego, przez reguły różniczkowania i twierdzenia o wartości średniej, aż po wzór Taylora i pełne badanie przebiegu funkcji. Konsekwentnie: każda definicja, twierdzenie i przykład mają osobny rysunek, a każde twierdzenie — dowód.

Rachunek różniczkowy odwzorowań wielu zmiennych

Sun, 28 Jun 2026 00:00:00 +0000

W ekonometrii prawie wszystko jest funkcją wielu zmiennych: funkcja wiarygodności zależy od wektora parametrów, funkcja produkcji — od wielu nakładów, funkcja użyteczności — od koszyka dóbr. Różniczkowanie takich funkcji wymaga nowych pojęć: pochodnej cząstkowej, gradientu, różniczki i hesjanu. Ten rozdział rozszerza rachunek różniczkowy na odwzorowania $\mathbb{R}^n\to\mathbb{R}^m$ i kończy się optymalizacją — bezwarunkową (gradient i hesjan) oraz warunkową (mnożniki Lagrange’a), czyli dokładnie tym, co stoi za estymacją parametrów i teorią wyboru konsumenta.

Analiza wypukła i optymalizacja

Sun, 28 Jun 2026 00:00:00 +0000

Wypukłość to najważniejsza struktura w optymalizacji. Dla funkcji wypukłej znika różnica między tym, co lokalne, a tym, co globalne: każde minimum lokalne jest globalne, a zwykłe zerowanie pochodnej wystarcza, by mieć pewność optimum. To dlatego metoda najmniejszych kwadratów ma jedno, jednoznaczne rozwiązanie, a estymacja największej wiarygodności w modelach wykładniczych jest „dobrze postawiona”. Ten rozdział buduje analizę wypukłą od zbiorów i funkcji, przez kryteria różniczkowe i nierówność Jensena, aż po twierdzenia, które czynią optymalizację wypukłą tak dogodną.

Całka Riemanna: nieoznaczona, oznaczona, niewłaściwe

Sun, 28 Jun 2026 00:00:00 +0000

Całkowanie to odwrotność różniczkowania i jednocześnie sposób na zsumowanie nieskończenie wielu nieskończenie małych przyczynków — pola pod krzywą, wartości oczekiwanej, łącznego dochodu. Te dwie pozornie różne idee (pierwotna funkcji oraz granica sum pól prostokątów) łączy podstawowe twierdzenie rachunku całkowego — jeden z najważniejszych wyników całej matematyki. Ten rozdział buduje całkę Riemanna od obu stron, dowodzi twierdzenia łączącego, a następnie rozszerza całkę na przedziały nieskończone i funkcje nieograniczone (całki niewłaściwe), kluczowe dla rozkładów prawdopodobieństwa.

Równania różniczkowe zwyczajne

Sun, 28 Jun 2026 00:00:00 +0000

Równanie różniczkowe to równanie, którego niewiadomą jest funkcja, a warunek wiąże ją z jej pochodnymi. To naturalny język dynamiki: opisuje, jak zmienia się kapitał, populacja, cena czy temperatura — gdy znamy nie samą wielkość, lecz prawo jej zmiany. W ekonomii równania różniczkowe stoją za modelami wzrostu (Solow, Ramsey), dynamiką cen i stabilnością równowag. Ten rozdział wprowadza je od pola kierunkowego, przez twierdzenie o istnieniu i jednoznaczności, po metody rozwiązywania równań pierwszego i drugiego rzędu oraz analizę stabilności — z dowodami metod i rysunkiem do każdego pojęcia.

Funkcje zbioru, algebra zbiorów i miara Lebesgue'a

Sun, 28 Jun 2026 00:00:00 +0000

Całka Riemanna ma poważne ograniczenia: nie radzi sobie z funkcjami silnie nieciągłymi ani z granicami ciągów funkcyjnych, a w teorii prawdopodobieństwa potrzebujemy mierzyć „wielkość” bardzo nieregularnych zbiorów. Odpowiedzią jest teoria miary — abstrakcyjny sposób przypisywania zbiorom liczby (długości, pola, prawdopodobieństwa), na tyle elastyczny, by objąć przeliczalne operacje. Ten rozdział buduje pojęcie miary od σ-algebr, przez konstrukcję miary Lebesgue’a, aż po zbiory miary zero i funkcje mierzalne — wszystko po to, by w rozdziale ostatnim zdefiniować całkę Lebesgue’a, fundament nowoczesnej probabilistyki i ekonometrii.

Całka Lebesgue'a

Sun, 28 Jun 2026 00:00:00 +0000

Całka Lebesgue’a stanowi istotne wzmocnienie całki Riemanna. Jej zasadnicza idea polega na tym, że zamiast kroić dziedzinę na cienkie pionowe paski (Riemann), kroimy zbiór wartości na poziome warstwy i pytamy, jak duży (w sensie miary) jest zbiór argumentów dający wartości w danej warstwie. Dzięki temu całkujemy funkcje, których Riemann nie obejmuje, a przede wszystkim — całka swobodnie przechodzi przez granice ciągów funkcyjnych. To właśnie czyni ją językiem teorii prawdopodobieństwa: wartość oczekiwana, wariancja i estymatory ekonometryczne to całki Lebesgue’a. Ten ostatni rozdział wieńczy podręcznik, łącząc teorię miary z całkowaniem.