Funkcje i ich własności

Streszczenie

Funkcje wyłożone od podstaw: geneza pojęcia (Oresme, Euler, Dirichlet), przejście od relacji do funkcji, test prostej pionowej, dziedzina i przeciwdziedzina, pełny katalog funkcji elementarnych z wyprowadzeniami, własności (monotoniczność, ekstrema, parzystość, okresowość, wypukłość, asymptoty), przekształcenia wykresów, złożenie, funkcja odwrotna, iniekcja/surjekcja/bijekcja, funkcje wielu zmiennych w 3D oraz idea czwartego wymiaru i uogólnienie na przestrzeń $\mathbb{R}^n$. Każde pojęcie i każdy przykład z osobnym rysunkiem.

Funkcja jest jednym z najważniejszych pojęć całej matematyki, a zarazem fundamentem ekonometrii, w której model jest funkcją wiążącą zmienne objaśniające ze zmienną objaśnianą. Niniejszy rozdział rozpoczyna się od genezy pojęcia, następnie buduje je od podstaw — od ogólnej relacji do funkcji w sensie ścisłym — i prowadzi czytelnika przez pełny katalog funkcji elementarnych, ich własności, przekształcenia oraz uogólnienie na funkcje wielu zmiennych i przestrzeń $\mathbb{R}^n$. Konsekwentnie stosujemy zasadę: każde pojęcie i każdy przykład otrzymuje osobny rysunek.

Geneza pojęcia funkcji

Pojęcie funkcji nie pojawiło się w gotowej postaci; kształtowało się przez kilka stuleci wraz z rozwojem rozumienia zależności między zmieniającymi się wielkościami.

Pierwszym istotnym krokiem były czternastowieczne prace Mikołaja Oresme’a, który wielkość zmienną w czasie (np. prędkość) przedstawiał jako wysokość odcinka wzniesionego nad osią czasu. Tak powstał zalążek wykresu: zależność jednej wielkości od drugiej staje się figurą geometryczną, a pole pod nią — wielkością skumulowaną (drogą). Jest to bezpośredni poprzednik dzisiejszego wykresu funkcji i całki oznaczonej.

Wczesna idea wykresu: prędkość jako wysokość nad osią czasu
Idea Oresme’a („latitudo formarum”): zmienną w czasie prędkość $v(t)$ przedstawiamy jako wysokość nad osią czasu. Pole obszaru pod wykresem odpowiada przebytej drodze. Jest to historyczny początek wykresu zależności jednej wielkości od drugiej.

Termin functio wprowadził Gottfried Wilhelm Leibniz na przełomie XVII i XVIII wieku, początkowo dla wielkości związanych z krzywą. Współczesny zapis $y=f(x)$ pochodzi od Leonharda Eulera (XVIII w.), który funkcję rozumiał jako wyrażenie analityczne — wzór. Dopiero w XIX wieku Peter Gustav Lejeune Dirichlet uwolnił pojęcie od konieczności posiadania wzoru: funkcja to dowolne jednoznaczne przyporządkowanie, niezależnie od tego, czy potrafimy je zapisać prostą formułą. Ta ogólna definicja obowiązuje do dziś i od niej rozpoczynamy systematyczny wykład.

Od relacji do funkcji

Aby zdefiniować funkcję w sposób ścisły, rozpoczynamy od pojęcia ogólniejszego — relacji. Mając dwa zbiory $X$ i $Y$, dowolny zbiór par uporządkowanych $(x,y)$, gdzie $x\in X$ oraz $y\in Y$, nazywamy relacją między $X$ a $Y$. Relacja wiąże elementy obu zbiorów, lecz nie nakłada żadnych ograniczeń: jeden element $x$ może być w parze z wieloma elementami $y$ albo z żadnym.

Funkcja jest szczególnym przypadkiem relacji — takim, w którym przyporządkowanie jest jednoznaczne i wszędzie określone.

Definicja
Funkcja

Funkcją ze zbioru $X$ w zbiór $Y$ nazywamy regułę $f$, która każdemu elementowi $x\in X$ przypisuje dokładnie jeden element $y\in Y$. Zapisujemy

$$ f\colon X \to Y, \qquad y = f(x), $$

gdzie $x$ to argument (zmienna niezależna), $y$ to wartość (zmienna zależna), a $f$ — reguła przyporządkowania. Zbiór $X$ nazywamy dziedziną, a $Y$ — przeciwdziedziną.

Dwa warunki w definicji są równie ważne. Słowo „każdemu” oznacza, że reguła musi być określona dla wszystkich argumentów dziedziny. Słowa „dokładnie jeden” wykluczają sytuację, w której jednemu argumentowi odpowiadają dwie różne wartości. To właśnie ten drugi warunek odróżnia funkcję od dowolnej relacji.

Diagram odwzorowania: każdemu argumentowi przypisana dokładnie jedna wartość
Funkcja przypisuje każdemu elementowi dziedziny $X$ dokładnie jeden element przeciwdziedziny $Y$. Z każdego argumentu wychodzi dokładnie jedna strzałka.
Porównanie: funkcja kontra przyporządkowanie niejednoznaczne
Po lewej — przyporządkowanie będące funkcją (z każdego $x$ jedna strzałka). Po prawej — przyporządkowanie, które funkcją nie jest: jednemu argumentowi odpowiadają dwie różne wartości, więc warunek jednoznaczności jest złamany.

Wykres funkcji i test prostej pionowej

Wykresem funkcji $f$ nazywamy zbiór wszystkich par $(x,f(x))$ przedstawionych jako punkty płaszczyzny. Warunek jednoznaczności ma czytelną interpretację geometryczną: jeżeli pewnej wartości $x$ odpowiadałyby dwie wartości, leżałyby one jedna nad drugą — na tej samej prostej pionowej. Stąd prosty sprawdzian.

Test prostej pionowej.

Krzywa na płaszczyźnie jest wykresem pewnej funkcji wtedy i tylko wtedy, gdy każda prosta pionowa przecina ją co najwyżej raz. Dwa przecięcia oznaczałyby dwie wartości dla jednego argumentu.

Test prostej pionowej: okrąg przecięty dwukrotnie
Okrąg $x^2+y^2=4$ nie jest wykresem funkcji: prosta pionowa $x=1$ przecina go w dwóch punktach, więc jednemu argumentowi odpowiadałyby dwie wartości.

Wartość funkcji — obliczanie

Obliczenie wartości funkcji polega na wstawieniu liczby w miejsce argumentu. Rozważmy $f(x)=2x+3$. Wówczas

$$ f(0)=2\cdot 0+3=3,\qquad f(1)=2\cdot 1+3=5,\qquad f(-2)=2\cdot(-2)+3=-1. $$

Wykres pozwala te wartości odczytać: argument wybieramy na osi poziomej, a wartość czytamy na osi pionowej nad nim.

Wykresy funkcji liniowej, kwadratowej i wykładniczej
Trzy podstawowe funkcje: liniowa $2x+3$ rośnie ze stałym nachyleniem, kwadratowa $x^2$ tworzy parabolę, wykładnicza $e^x$ rośnie coraz szybciej. Z każdej z nich wartość w danym punkcie czytamy jako wysokość wykresu nad argumentem.

Dziedzina i przeciwdziedzina

W praktyce dziedziną nie jest zwykle abstrakcyjny zbiór $X$, lecz zbiór wszystkich argumentów, dla których wzór ma sens — nazywamy go dziedziną naturalną.

  • Dziedzina ($D_f$) — zbiór dozwolonych argumentów $x$.
  • Zbiór wartości ($ZW_f$) — zbiór wszystkich rzeczywiście otrzymywanych wartości $y$.

Trzy reguły wyznaczają większość ograniczeń dziedziny:

  • $f(x)=\dfrac{1}{x}$ wymaga $x\ne 0$ (nie dzielimy przez zero);
  • $f(x)=\sqrt{x}$ wymaga $x\ge 0$ (nie pierwiastkujemy liczb ujemnych w liczbach rzeczywistych);
  • $f(x)=\ln x$ wymaga $x\gt 0$ (logarytm istnieje tylko dla argumentów dodatnich).

Rozważmy przykład łączący dwa warunki: $f(x)=\dfrac{\sqrt{x-1}}{x-3}$. Pierwiastek wymaga $x-1\ge 0$, czyli $x\ge 1$; mianownik wymaga $x\ne 3$. Stąd $D_f=[1,3)\cup(3,\infty)$.

Dziedzina i przeciwdziedzina funkcji kwadratowej
Dla funkcji $f(x)=x^2$ obciętej do dziedziny $[-2,3]$ zbiorem wartości jest $[0,9]$. Linie przerywane pokazują, jak krańce dziedziny przechodzą na krańce zbioru wartości.

Katalog funkcji elementarnych

Funkcje elementarne to składniki, z których buduje się modele. Poniżej omawiamy je kolejno, wyprowadzając kluczowe własności i ilustrując każdą osobnym rysunkiem.

Funkcja liniowa

Funkcja liniowa ma postać $f(x)=ax+b$. Współczynnik $a$ to nachylenie: gdy argument wzrasta o $1$, wartość zmienia się o $a$. Liczba $b$ to wyraz wolny — wartość w punkcie $x=0$, czyli rzędna przecięcia z osią pionową.

Wyprowadźmy znaczenie nachylenia. Dla dwóch argumentów $x_1\ne x_2$

$$ \frac{f(x_2)-f(x_1)}{x_2-x_1}=\frac{(ax_2+b)-(ax_1+b)}{x_2-x_1}=\frac{a(x_2-x_1)}{x_2-x_1}=a. $$

Iloraz przyrostu wartości do przyrostu argumentu jest stały i równy $a$ — to definicyjna cecha funkcji liniowej i zalążek pojęcia pochodnej.

Funkcja liniowa z trójkątem nachylenia
Funkcja $f(x)=2x+3$. Wyraz wolny $3$ to punkt przecięcia z osią pionową. Trójkąt nachylenia pokazuje, że przyrostowi argumentu $\Delta x=1$ odpowiada przyrost wartości $\Delta y=2$, więc nachylenie wynosi $2$.

Wielomiany

Wielomian to suma potęg argumentu: $f(x)=a_n x^n+\dots+a_1 x+a_0$. Liczbę $n$ (najwyższą potęgę o niezerowym współczynniku) nazywamy stopniem. Im wyższy stopień, tym więcej wygięć może mieć wykres. Potęgi parzyste ($x^2,x^4$) dają wykresy symetryczne względem osi pionowej; nieparzyste ($x^3$) — symetryczne względem początku układu.

Rozważmy wielomian kwadratowy $f(x)=x^2-4x+3$. Miejsca zerowe znajdujemy, rozwiązując $x^2-4x+3=0$; rozkład na czynniki $(x-1)(x-3)=0$ daje $x=1$ oraz $x=3$. Współrzędna wierzchołka paraboli to $x_w=-\tfrac{b}{2a}=\tfrac{4}{2}=2$, a wartość w nim $f(2)=4-8+3=-1$. Otrzymujemy komplet informacji o kształcie.

Parabola z zaznaczonymi miejscami zerowymi i wierzchołkiem
Wielomian $f(x)=x^2-4x+3$. Miejsca zerowe $x=1$ i $x=3$ to punkty przecięcia z osią poziomą, a wierzchołek $(2,-1)$ to najniższy punkt paraboli — wszystkie wyznaczone rachunkiem.
Wielomiany: x do kwadratu, sześcienna i czwartego stopnia
Im wyższy stopień wielomianu, tym bardziej stromy wzrost na skrajach. Potęgi parzyste $x^2$ i $x^4$ otwierają się w górę i są symetryczne względem osi pionowej, a $x^3$ przechodzi przez początek układu symetrycznie względem niego.

Funkcja wymierna

Funkcja wymierna to iloraz dwóch wielomianów. Najprostszym przykładem jest hiperbola $f(x)=\dfrac{1}{x}$. W punkcie $x=0$ funkcja jest nieokreślona, a w jego pobliżu wartości rosną nieograniczenie co do modułu — prostą $x=0$ nazywamy asymptotą pionową. Gdy $x$ rośnie nieograniczenie, wartości dążą do zera — oś pozioma jest asymptotą poziomą.

Funkcja wymierna jeden przez x z asymptotami
Hiperbola $f(x)=\tfrac1x$ ma dwie gałęzie. Asymptota pionowa $x=0$ odpowiada punktowi, w którym funkcja jest nieokreślona; asymptota pozioma $y=0$ to wartość graniczna na skrajach.

Pierwiastek i wartość bezwzględna

Funkcja $f(x)=\sqrt{x}$ jest określona tylko dla $x\ge 0$ i rośnie coraz wolniej — jest to odwrotność funkcji $x^2$ obciętej do argumentów nieujemnych. Funkcja $f(x)=|x|$ przyjmuje wartość $x$ dla $x\ge 0$ oraz $-x$ dla $x\lt 0$, co daje charakterystyczny kształt litery „V” z wierzchołkiem w zerze.

Funkcja pierwiastkowa i wartość bezwzględna
Pierwiastek $\sqrt{x}$ istnieje wyłącznie dla $x\ge 0$ i rośnie coraz wolniej. Wartość bezwzględna $|x|$ tworzy symetryczne „V” z wierzchołkiem w początku układu.

Funkcja wykładnicza i logarytmiczna

Funkcja wykładnicza $f(x)=a^x$ (dla podstawy $a\gt 0$, $a\ne 1$) rośnie tym szybciej, im większa podstawa, i nigdy nie przyjmuje wartości ujemnych. Szczególną rolę odgrywa podstawa $e\approx 2{,}718$, dla której tempo wzrostu jest w każdym punkcie równe wartości funkcji.

Logarytm definiujemy jako funkcję odwrotną do wykładniczej: $\log_a y$ to wykładnik, do którego należy podnieść $a$, by otrzymać $y$. Stąd równoważność

$$ y=a^x \quad\Longleftrightarrow\quad x=\log_a y. $$

Logarytm naturalny $\ln x=\log_e x$ istnieje tylko dla $x\gt 0$ i rośnie bardzo wolno. Obie funkcje są filarem modeli wzrostu oraz rozkładu normalnego.

Funkcje wykładnicze i logarytm
Funkcje $e^x$ i $2^x$ rosną wykładniczo i pozostają dodatnie. Logarytm $\ln x$ — funkcja odwrotna do $e^x$ — rośnie wolno i jest określony tylko dla $x\gt 0$.

Funkcje trygonometryczne

Funkcje $\sin x$ i $\cos x$ są okresowe o okresie $2\pi$ i przyjmują wartości w przedziale $[-1,1]$. Powstają jako współrzędne punktu poruszającego się po okręgu jednostkowym, stąd ich powtarzalny, falowy charakter. Funkcja $\tan x=\tfrac{\sin x}{\cos x}$ ma asymptoty pionowe tam, gdzie cosinus się zeruje.

Sinus i cosinus
Sinus i cosinus to ten sam kształt przesunięty o $\tfrac{\pi}{2}$, o okresie $2\pi$ i wartościach w przedziale $[-1,1]$.
Tangens z asymptotami pionowymi
Tangens $\tan x=\tfrac{\sin x}{\cos x}$ ma asymptoty pionowe w punktach, w których $\cos x=0$, czyli co $\pi$.

Własności funkcji

Poniższe własności pozwalają opisać zachowanie funkcji niezależnie od jej wzoru i są podstawą analizy modeli.

Monotoniczność

Funkcja jest rosnąca, gdy zachowuje porządek argumentów, i malejąca, gdy go odwraca:

  • rosnąca: jeżeli $x_1 \lt x_2$, to $f(x_1) \lt f(x_2)$;
  • malejąca: jeżeli $x_1 \lt x_2$, to $f(x_1) \gt f(x_2)$.
Funkcja rosnąca i malejąca
Funkcja rosnąca zachowuje porządek argumentów (większy argument — większa wartość); funkcja malejąca go odwraca.

Ekstrema

Maksimum i minimum to punkty, w których funkcja osiąga lokalnie wartość największą lub najmniejszą. Rozróżniamy ekstrema lokalne (najwyżej lub najniżej w pewnym otoczeniu) oraz globalne (w całej dziedzinie). Pojęcie to jest kluczowe dla metody najmniejszych kwadratów, która poszukuje minimum sumy kwadratów reszt.

Ekstrema lokalne i globalne funkcji
W punkcie $x=0$ funkcja ma maksimum lokalne, a w dwóch punktach po bokach — minima globalne (najniższe wartości w całej dziedzinie).

Parzystość

  • Parzysta: $f(-x)=f(x)$ — symetria względem osi pionowej (np. $x^2$).
  • Nieparzysta: $f(-x)=-f(x)$ — symetria względem początku układu (np. $x^3$).
Funkcja parzysta i nieparzysta
Funkcja parzysta jest lustrzanym odbiciem względem osi pionowej; funkcja nieparzysta jest symetryczna względem początku układu.

Okresowość

Funkcja jest okresowa, gdy jej wykres powtarza się co stały odcinek $T$ (okres): $f(x+T)=f(x)$ dla wszystkich $x$. Klasycznym przykładem jest sinus o okresie $2\pi$ — podstawa modeli sezonowości w szeregach czasowych.

Okresowość funkcji sinus
Sinus powtarza ten sam kształt co $T=2\pi$. Okresowość modeluje zjawiska cykliczne, takie jak sezonowość sprzedaży czy wahania koniunktury.

Wypukłość i wklęsłość

  • Wypukła: cięciwa łącząca dwa punkty wykresu leży nad wykresem (np. $x^2$).
  • Wklęsła: cięciwa leży pod wykresem (np. $-x^2$, $\ln x$).

Wypukłość rozstrzyga, czy punkt zerowania pochodnej jest minimum, czy maksimum, i gwarantuje jednoznaczność rozwiązania w zadaniach optymalizacji — co czyni ją pojęciem centralnym dla estymacji.

Funkcja wypukła i wklęsła z cięciwami
Dla funkcji wypukłej cięciwa między dwoma punktami biegnie nad krzywą; dla funkcji wklęsłej — pod nią.

Asymptoty

Asymptota to prosta, do której wykres zbliża się nieograniczenie. Bywa pionowa (funkcja dąży do $\pm\infty$), pozioma lub ukośna.

Asymptota pionowa i ukośna
Funkcja $f(x)=x+\tfrac1x$ ma asymptotę pionową $x=0$ oraz asymptotę ukośną $y=x$, do której wykres przylega na skrajach.

Przekształcenia wykresów

Znając wykres funkcji $f$, można bezpośrednio narysować całą rodzinę funkcji pochodnych przez przesunięcia i odbicia.

Przesunięcia. Dodanie stałej do wartości, $f(x)+a$, przesuwa wykres w pionie; podstawienie $f(x-a)$ przesuwa go w poziomie o $a$ w prawo (dla $a\gt 0$).

Przesunięcia wykresu funkcji
Wyrażenie $f(x)+2$ podnosi parabolę o $2$ w górę, a $f(x-2)$ przesuwa ją o $2$ w prawo. Kształt pozostaje niezmieniony.

Odbicia. Zmiana znaku wartości, $-f(x)$, odbija wykres względem osi poziomej; zmiana znaku argumentu, $f(-x)$, odbija go względem osi pionowej.

Odbicia wykresu funkcji
Wyrażenie $-f(x)$ daje odbicie względem osi poziomej, a $f(-x)$ — względem osi pionowej. Z jednego wykresu $\sqrt{x}$ powstają w ten sposób trzy.

Złożenie funkcji

Mając dwie funkcje $f$ i $g$, ich złożeniem nazywamy funkcję $(f\circ g)(x)=f\big(g(x)\big)$: najpierw działa $g$, a na jej wynik działa $f$. Aby złożenie miało sens, wartości $g$ muszą należeć do dziedziny $f$.

Przykład
Obliczanie złożenia

Niech $g(x)=x+1$ oraz $f(u)=u^2$. Wówczas dla $x=3$

$$ (f\circ g)(3)=f\big(g(3)\big)=f(4)=16. $$

Kolejność ma znaczenie: $(g\circ f)(3)=g\big(f(3)\big)=g(9)=10\ne 16$. Na ogół $f\circ g\ne g\circ f$.

Złożenie funkcji na konkretnych liczbach
Złożenie $f\circ g$ na konkretnych liczbach: argument $x=3$ przechodzi przez $g$ (daje $4$), a wynik wpada jako wejście do $f$ (daje $16$). Dwie reguły działają w szeregu.
Złożenie funkcji jako dwie maszyny w szeregu
Złożenie jako dwie maszyny połączone szeregowo: wynik pierwszej staje się wejściem drugiej.

Funkcja odwrotna

Funkcja odwrotna $f^{-1}$ odwraca działanie $f$: jeżeli $f(a)=b$, to $f^{-1}(b)=a$. Geometrycznie wykres funkcji odwrotnej jest odbiciem wykresu $f$ względem prostej $y=x$, ponieważ zamiana ról argumentu i wartości to właśnie zamiana współrzędnych.

Funkcja wykładnicza i logarytm jako odbicie względem y=x
Wykres funkcji odwrotnej jest lustrzanym odbiciem wykresu $f$ względem prostej $y=x$. Punktowi $(a,b)$ na wykresie $f$ odpowiada punkt $(b,a)$ na wykresie $f^{-1}$.

Warunek istnienia funkcji odwrotnej.

Funkcję można odwrócić tylko wtedy, gdy jest różnowartościowa (iniekcją) — różnym argumentom odpowiadają różne wartości. W przeciwnym razie przyporządkowanie odwrotne nie byłoby jednoznaczne.

Iniekcja, surjekcja, bijekcja

  • Iniekcja (różnowartościowość): różnym argumentom odpowiadają różne wartości.
  • Surjekcja („na”): każda wartość przeciwdziedziny jest osiągana przez pewien argument.
  • Bijekcja: jednocześnie iniekcja i surjekcja — idealne parowanie 1–1. Dopiero bijekcja gwarantuje istnienie funkcji odwrotnej na całej przeciwdziedzinie.
Iniekcja, surjekcja i bijekcja
Trzy typy odwzorowań: iniekcja (różne wartości), surjekcja (pokrywa cały zbiór $Y$), bijekcja (idealne parowanie 1–1).

Funkcje wielu zmiennych (3D)

Dotąd funkcja miała jedno wejście. W ekonometrii niemal zawsze jest ich wiele: funkcja $z=f(x,y)$ przypisuje parze liczb $(x,y)$ jedną wartość $z$, co geometrycznie daje powierzchnię w przestrzeni trójwymiarowej. Jest to naturalny język regresji wielorakiej, funkcji produkcji i funkcji użyteczności.

Paraboloida i siodło

Powierzchnia $z=x^2+y^2$ to paraboloida — „miska” z jednym minimum w środku, dokładnie taka jak suma kwadratów reszt w MNK. Powierzchnia $z=x^2-y^2$ to siodło: w jednym kierunku rośnie, w drugim maleje, więc jej środek nie jest ani minimum, ani maksimum.

Paraboloida z = x kwadrat plus y kwadrat
Paraboloida $z=x^2+y^2$ — „miska” z jednym minimum. Jest to geometria minimalizowana przez metodę najmniejszych kwadratów.
Powierzchnia siodłowa z = x kwadrat minus y kwadrat
Siodło $z=x^2-y^2$ — wzdłuż jednej osi w górę, wzdłuż drugiej w dół. Punkt siodłowy bywa pułapką algorytmów optymalizacji.

Poziomice — most między 3D a 2D

Powierzchnię trójwymiarową można przedstawić na płaszczyźnie za pomocą poziomic: krzywych, wzdłuż których funkcja przyjmuje stałą wartość, $f(x,y)=c$. Jest to ta sama zasada, według której rysuje się mapy ukształtowania terenu. Dla paraboloidy $z=x^2+y^2$ poziomice $x^2+y^2=c$ to okręgi o promieniu $\sqrt{c}$ — im wyżej na misce, tym większy okrąg.

Poziomice paraboloidy jako współśrodkowe okręgi
Poziomice paraboloidy $z=x^2+y^2$: krzywe stałej wartości $x^2+y^2=c$ to współśrodkowe okręgi. Pozwalają one przedstawić powierzchnię trójwymiarową na płaskim rysunku.

Fala i dzwon dwuwymiarowy

Powierzchnia $z=\sin x\,\cos y$ tworzy regularną falę, a $z=e^{-(x^2+y^2)/2}$ to dwuwymiarowy dzwon Gaussa — wykres gęstości wielowymiarowego rozkładu normalnego.

Powierzchnia falowa z = sin x cos y
Fala $z=\sin x\cos y$ — iloczyn dwóch funkcji okresowych daje regularną kratę wzniesień i dolin.
Dwuwymiarowy dzwon Gaussa
Dwuwymiarowy dzwon $z=e^{-(x^2+y^2)/2}$ — wykres gęstości rozkładu normalnego dwóch zmiennych. Najwięcej masy prawdopodobieństwa skupia się w środku, coraz mniej na skrajach.

Płaszczyzna regresji i funkcja Cobba-Douglasa

Dwie powierzchnie łączą matematykę z ekonomią. Płaszczyzna $z=\beta_0+\beta_1 x+\beta_2 y$ to model regresji z dwiema zmiennymi objaśniającymi — MNK dopasowuje ją tak, by leżała najbliżej chmury obserwacji. Funkcja produkcji Cobba-Douglasa $z=x^{\alpha}y^{\beta}$ opisuje, jak nakłady (np. praca i kapitał) przekładają się na wielkość produkcji.

Płaszczyzna regresji z chmurą punktów
Płaszczyzna $z=0{,}5x+0{,}3y+1$ dopasowana do chmury obserwacji — tak wygląda regresja z dwiema zmiennymi objaśniającymi. Jest to trójwymiarowy odpowiednik linii regresji.
Funkcja produkcji Cobba-Douglasa
Funkcja produkcji Cobba-Douglasa $z=\sqrt{x\,y}$: rośnie z każdym nakładem, lecz coraz wolniej, co odpowiada malejącym przychodom krańcowym.

Idea czwartego wymiaru i przestrzeń $\mathbb{R}^n$

Funkcja $z=f(x,y)$ żyje w przestrzeni trójwymiarowej, którą można narysować wprost. Co jednak, gdy zmiennych objaśniających jest trzy, cztery lub więcej? Formalnie nie napotykamy żadnej trudności: funkcja

$$ f\colon \mathbb{R}^n \to \mathbb{R}, \qquad y=f(x_1,x_2,\dots,x_n), $$

przypisuje układowi $n$ liczb jedną wartość. Trudność jest wyłącznie wizualna — papier i ekran mają tylko dwa wymiary, a nasza wyobraźnia przestrzenna sięga trzech. Istnieją jednak sposoby, by ideę wyższych wymiarów uczynić namacalną.

Sposób pierwszy — przekroje (warstwa po warstwie). Obiekt czterowymiarowy można oglądać jako film: dla każdej wartości czwartej współrzędnej $t$ otrzymujemy trójwymiarowy przekrój, a kolejne przekroje układają się w sekwencję. Czterowymiarowa sfera $x^2+y^2+z^2+t^2=1$ pojawia się dla $t=-1$ jako punkt, narasta do pełnej kuli przy $t=0$ i znika przy $t=1$ — tak jak trójwymiarowa kula, przecinana płaszczyzną, daje rosnące i malejące koło.

Przekroje hipersfery w kolejnych chwilach jako idea czwartego wymiaru
Czwarty wymiar jako film: kolejne trójwymiarowe przekroje 3-sfery $x^2+y^2+z^2+t^2=1$ w chwilach $t$. Promień przekroju wynosi $\sqrt{1-t^2}$ — figura wyłania się z punktu, rośnie do pełnej kuli i znika. Tak „warstwa po warstwie” doświadczamy wymiaru, którego nie można narysować naraz.

Sposób drugi — rzut (cień). Tak jak trójwymiarowy sześcian rzuca na płaszczyznę dwuwymiarowy cień, tak czterowymiarowa kostka (tesserakt) rzuca cień trójwymiarowy. Na rysunku poniżej cień ten przedstawiamy jako „sześcian w sześcianie”: krawędzie łączące kostkę wewnętrzną z zewnętrzną odpowiadają przesunięciu wzdłuż czwartej osi. Wewnętrzny sześcian nie jest mniejszy „naprawdę” — wydaje się mniejszy, ponieważ jest dalej w kierunku, którego nie widzimy.

Rzut tesseraktu jako sześcian w sześcianie
Cień tesseraktu (4-kostki): trójwymiarowy rzut przedstawiony jako sześcian wpisany w sześcian. Krawędzie kropkowane łączą oba sześciany i odpowiadają przesunięciu wzdłuż czwartej osi — kierunku, którego nie da się narysować wprost.

Uogólnienie na $\mathbb{R}^n$.

Pojęcia z jednej i dwóch zmiennych przenoszą się na dowolny wymiar bez zmiany istoty. Punkt $(x_1,\dots,x_n)$ to element $\mathbb{R}^n$; poziomica $f=c$ staje się hiperpowierzchnią; minimum funkcji odpowiada „najniższemu” punktowi $n$-wymiarowej miski. Reguły rachunku pozostają te same — zmienia się tylko liczba współrzędnych. To dlatego model regresji z wieloma zmiennymi, choć niewidoczny, podlega dokładnie tym samym prawom co linia i płaszczyzna.

Znaczenie dla ekonometrii.

Model ekonometryczny jest funkcją. Regresja prosta to linia, regresja z dwiema zmiennymi to płaszczyzna, a regresja z wieloma zmiennymi to hiperpowierzchnia w $\mathbb{R}^n$, której nie można narysować, lecz rządzą nią te same reguły. Zrozumienie funkcji — dziedziny, monotoniczności, wypukłości i ekstremów — jest warunkiem zrozumienia estymacji i optymalizacji.

Zastosowanie — studium przypadku: równowaga rynkowa

Klasycznym ekonomicznym zastosowaniem funkcji jest model równowagi rynkowej, w którym popyt i podaż są funkcjami ceny. Rozważmy rynek pewnego dobra opisany funkcją popytu $P_D=20-0{,}5Q$ (im niższa cena, tym większa ilość nabywana) oraz funkcją podaży $P_S=5+0{,}25Q$ (im wyższa cena, tym większa ilość oferowana), gdzie $Q$ to ilość w tysiącach sztuk, a $P$ — cena w złotych.

Punkt równowagi to argument, dla którego obie funkcje przyjmują tę samą wartość — geometrycznie przecięcie wykresów. Przyrównujemy:

$$ 20-0{,}5Q=5+0{,}25Q \;\Longrightarrow\; 15=0{,}75Q \;\Longrightarrow\; Q^\*=20,\qquad P^\*=20-0{,}5\cdot 20=10. $$

Rynek równoważy się przy cenie $10$ zł i ilości $20$ tys. sztuk. Jest to dokładnie zastosowanie twierdzenia o wartości pośredniej: nadwyżka popytu $P_D-P_S$ jest dodatnia przy niskich cenach i ujemna przy wysokich, a będąc funkcją ciągłą, musi gdzieś się wyzerować — i właśnie tam leży cena równowagi.

Równowaga rynkowa — przecięcie funkcji popytu i podaży
Równowaga rynkowa jako przecięcie funkcji popytu i podaży. Malejąca funkcja popytu $P_D=20-0{,}5Q$ i rosnąca funkcja podaży $P_S=5+0{,}25Q$ przecinają się w punkcie $(Q^\*,P^\*)=(20;10)$ — to cena i ilość równowagi.

Ten prosty model pokazuje istotę myślenia ekonometrycznego: zjawiska gospodarcze zapisujemy jako funkcje, a ich własności (monotoniczność, miejsce przecięcia, nachylenie) niosą treść ekonomiczną — nachylenie funkcji popytu wiąże się z elastycznością cenową, a punkt przecięcia wyznacza stan, do którego rynek dąży.

Literatura

Podręczniki polskie

  • W. Krysicki, L. Włodarski, Analiza matematyczna w zadaniach, t. I, PWN, Warszawa.
  • G. M. Fichtenholz, Rachunek różniczkowy i całkowy, t. I, PWN.
  • M. Gewert, Z. Skoczylas, Analiza matematyczna 1. Definicje, twierdzenia, wzory, Oficyna GiS, Wrocław.

Klasyki światowe

  • W. Rudin, Principles of Mathematical Analysis, McGraw-Hill, 1976.
  • M. Spivak, Calculus, Publish or Perish, 2008.
  • C. P. Simon, L. Blume, Mathematics for Economists, W. W. Norton, 1994.

Artykuły i źródła historyczne

Definicja
Hasła w słowniku

Podsumowanie

Funkcja to reguła przypisująca każdemu argumentowi dokładnie jedną wartość — pojęcie, które dojrzewało od wykresów Oresme’a do ogólnej definicji Dirichleta. Rozpoznawanie kształtów funkcji elementarnych, ich własności (monotoniczność, ekstrema, parzystość, okresowość, wypukłość, asymptoty), a także uogólnienie na wiele zmiennych i przestrzeń $\mathbb{R}^n$ stanowi fundament całej analizy matematycznej i ekonometrii.

Następnie: Granice i ciągłość

Literatura uzupełniająca
  • Khan Academy — Funkcje
  • G. M. Fichtenholz, Rachunek różniczkowy i całkowy, t. I
  • W. Krysicki, L. Włodarski, Analiza matematyczna w zadaniach, t. I
Oprogramowanie
  • R: curve(sin(x), -pi, pi) — rysowanie funkcji
  • Python: import numpy as np; import matplotlib.pyplot as plt
  • 3D (Python): ax = plt.axes(projection="3d"); ax.plot_surface(X, Y, Z)