9. Függvénytani alapismeretek, határérték és számsorozatok

Függvénytani alapismeretek és tulajdonságok

A függvény fogalma két halmaz elemei közötti egyértelmű hozzárendelést jelent. Adott egy $A$ (értelmezési tartomány, $D_f$) és egy $B$ (képhalmaz) halmaz. Az $f: A \to B$ hozzárendelés függvény, ha minden $x \in A$ elemhez pontosan egy $y \in B$ elemet rendel hozzá ($y = f(x)$).[cite: 56] Az értékkészlet ($R_f$) a képhalmaz azon elemeinek halmaza, amelyeket a függvény ténylegesen felvesz.

Az emelt szintű analízishez elengedhetetlen a függvények precíz jellemzése:[cite: 58]

Injektivitás (Kölcsönösen egyértelműség): Egy függvény injektív, ha különböző $x$ értékekhez különböző függvényértékeket rendel. Formálisan: $\forall x_1, x_2 \in D_f: x_1 \neq x_2 \implies f(x_1) \neq f(x_2)$. Csak az ilyen függvényeknek létezik inverzfüggvénye ($f^{-1}$).[cite: 56]
Monotonitás: Az $f$ függvény az $I \subseteq D_f$ intervallumon szigorúan monoton növekvő, ha $\forall x_1, x_2 \in I$ esetén, ahol $x_1 < x_2$, teljesül, hogy $f(x_1) < f(x_2)$.[cite: 58]
Korlátosság: Az $f$ függvény alulról korlátos, ha $\exists K \in \mathbb{R}$, hogy $\forall x \in D_f$ esetén $f(x) \ge K$. Felülről korlátos, ha $\exists M \in \mathbb{R}$, hogy $f(x) \le M$.[cite: 58]
Paritás: Egy függvény páros, ha $D_f$ szimmetrikus az origóra, és $\forall x \in D_f$ esetén $f(-x) = f(x)$. Páratlan, ha $f(-x) = -f(x)$.[cite: 58]
Konvexitás és konkavitás: Az $f$ függvény az $I$ intervallumon konvex, ha az intervallum bármely két pontját összekötő szelőszakasz a függvény grafikonja felett (vagy rajta) halad. Formálisan $\forall x_1, x_2 \in I$ és $\forall t \in [0,1]$ esetén: $f(tx_1 + (1-t)x_2) \le tf(x_1) + (1-t)f(x_2)$.[cite: 58]

A határérték precíz matematikai fogalma

Az emelt szintű érettségin a szemléletes megközelítés mellett elvárt a határérték szigorú definíciójának ismerete is.[cite: 59] Ehhez először definiáljuk egy $x_0$ pont $\delta$-sugarú környezetét ($K_\delta(x_0) = ]x_0-\delta, x_0+\delta[$) és lyukasztott környezetét ($K_\delta^*(x_0) = K_\delta(x_0) \setminus \{x_0\}$).

Ahhoz, hogy egy függvénynek határértékét vizsgálhassuk az $x_0$ pontban, szükséges, hogy $x_0$ a függvény értelmezési tartományának torlódási pontja legyen (azaz $x_0$ minden lyukasztott környezete tartalmazzon $D_f$-beli elemet).

Definíció: Véges helyen vett véges határérték (Cauchy-féle $\varepsilon-\delta$ definíció)

Azt mondjuk, hogy az $f$ függvény határértéke az $x_0 \in \mathbb{R}$ pontban az $A \in \mathbb{R}$ szám, ha bármely tetszőlegesen kicsi $\varepsilon > 0$ hibakorláthoz (amely az y-tengelyen értelmezett) létezik olyan $\delta > 0$ szám (az x-tengelyen), hogy minden $x \in D_f$ esetén:

ha $\quad 0 < |x - x_0| < \delta \quad$, akkor $\quad |f(x) - A| < \varepsilon$.

$$ \lim_{x \to x_0} f(x) = A $$

Ezzel ekvivalens a sorozatokra épülő megközelítés:

Definíció: A határérték Heine-féle definíciója

Az $f$ függvény határértéke az $x_0$ pontban $A$, ha bármely olyan $(x_n)$ sorozatra, amelyre $x_n \in D_f$, $x_n \neq x_0$, és $\lim_{n \to \infty} x_n = x_0$, teljesül, hogy a függvényértékek sorozata $A$-hoz tart:

$$ \lim_{n \to \infty} f(x_n) = A $$

További határérték típusok

Végtelenben vett véges határérték: $\lim_{x \to \infty} f(x) = A$, ha $\forall \varepsilon > 0$-hoz $\exists K \in \mathbb{R}$ küszöbszám, hogy $\forall x > K$ esetén $|f(x) - A| < \varepsilon$.[cite: 59]
Egyoldali határértékek: Jobb oldali határérték ($x \to x_0^+$) esetén csak az $x > x_0$ értékeket vizsgáljuk. A függvénynek pontosan akkor létezik (kétoldali) határértéke egy pontban, ha a bal és jobb oldali határértéke létezik és egyenlő.

A folytonosság szigorú definíciója

A folytonosság szemléletesen azt jelenti, hogy a grafikon "nem szakad meg". Matematikailag precízen azonban a határérték fogalmára támaszkodik.[cite: 59]

Definíció: Pontbeli folytonosság

Az $f$ függvény folytonos az értelmezési tartományának egy $x_0 \in D_f$ pontjában, ha a függvénynek ezen a helyen létezik határértéke, és ez a határérték megegyezik a függvény pontbeli helyettesítési értékével:

$$ \lim_{x \to x_0} f(x) = f(x_0) $$

Cauchy $\varepsilon-\delta$ formulájával megfogalmazva: $f$ folytonos $x_0$-ban, ha $\forall \varepsilon > 0$-hoz $\exists \delta > 0$, hogy $\forall x \in D_f$-re, ha $|x - x_0| < \delta$, akkor $|f(x) - f(x_0)| < \varepsilon$. Figyeljük meg, hogy itt már nem kell kikötni, hogy $x \neq x_0$ (azaz $0 < |x-x_0|$), hiszen $x=x_0$ esetén $|f(x_0)-f(x_0)| = 0 < \varepsilon$ triviálisan teljesül.

Egy függvényt az $I$ intervallumon folytonosnak nevezünk, ha az intervallum minden pontjában folytonos. Csak ezen függvények esetén értelmezhető az integrálfüggvény és a Newton-Leibniz-tétel bizonyos aspektusai.[cite: 60]

Számsorozatok és konvergencia

A (végtelen) számsorozat a pozitív egész számok halmazán ($\mathbb{N}^+$) értelmezett valós értékű függvény: $a: \mathbb{N}^+ \to \mathbb{R}$.[cite: 29] Jele általában $a_n$, ahol az $n$ index mutatja a tag sorszámát.

A sorozatok jellemzése megegyezik a függvénytani definíciókkal (pl. az $a_n$ monoton nő, ha $\forall n \in \mathbb{N}^+$ esetén $a_{n+1} \ge a_n$).[cite: 58] Emelt szinten központi jelentőségű a sorozatok határértéke, azaz a konvergencia fogalma.

Definíció: Konvergens sorozat ($\varepsilon-N$ definíció)[cite: 58]

Az $(a_n)$ számsorozat konvergens és határértéke az $A \in \mathbb{R}$ szám, ha bármely tetszőlegesen kicsi pozitív hibakorláthoz ($\varepsilon > 0$) létezik olyan $N \in \mathbb{N}$ küszöbszám (amely függ $\varepsilon$-tól), hogy a sorozat minden $n > N$ indexű tagjára teljesül az alábbi egyenlőtlenség:

$$ |a_n - A| < \varepsilon $$

Képlettel: $\lim_{n \to \infty} a_n = A$. Ha egy sorozatnak nem létezik véges határértéke, akkor divergensnek nevezzük.

A számtani sorozat és az első $n$ tag összege

Definíció: Egy sorozatot számtani sorozatnak nevezünk, ha a szomszédos tagok különbsége állandó. Ezt a konstanst differenciának nevezzük ($d$). Képlettel: $a_{n+1} - a_n = d$.[cite: 58]

A definícióból rekurzióval adódik az $n$-edik (általános) tag képlete. Az első taghoz ($a_1$) pontosan $(n-1)$-szer kell hozzáadnunk a differenciát, hogy eljussunk az $n$-edik tagig:

$$a_n = a_1 + (n-1)d$$

Tétel: A számtani sorozat első $n$ tagjának összege[cite: 58]

Állítás: Egy számtani sorozat első $n$ tagjának összege ($S_n$) az első és az $n$-edik tag számtani közepe megszorozva a tagok számával ($n$).

$$S_n = \frac{a_1 + a_n}{2} \cdot n$$

Bizonyítás:[cite: 58] Írjuk fel az első $n$ tag összegét kétszer: először növekvő, majd csökkenő indexek szerint sorrendben!

$$S_n = a_1 + a_2 + a_3 + \dots + a_{n-1} + a_n$$ $$S_n = a_n + a_{n-1} + a_{n-2} + \dots + a_2 + a_1$$

Adjuk össze a két egyenletet oszloponként:

$$2 S_n = (a_1 + a_n) + (a_2 + a_{n-1}) + (a_3 + a_{n-2}) + \dots + (a_n + a_1)$$

Vizsgáljuk meg a zárójelekben lévő összegek értékét! Fejezzük ki $a_2$-t és $a_{n-1}$-et $a_1$, $a_n$ és $d$ segítségével: $a_2 = a_1 + d$, illetve $a_{n-1} = a_n - d$. Ezt behelyettesítve:

$$a_2 + a_{n-1} = (a_1 + d) + (a_n - d) = a_1 + a_n$$

Hasonlóan belátható minden $k$-ra ($1 \le k \le n$), hogy $a_k + a_{n-k+1} = a_1 + a_n$. A szimmetria miatt az egyenlet jobb oldalán lévő összesen $n$ darab zárójel mindegyikének értéke pontosan $(a_1 + a_n)$.

$$2 S_n = n \cdot (a_1 + a_n)$$

Mindkét oldalt 2-vel osztva adódik a bizonyítandó állítás:

$$S_n = \frac{n(a_1 + a_n)}{2}$$

Q.E.D.

Alkalmazások és Matematikatörténet

Az emelt szintű szóbeli felelet elvárt, értékelendő része a téma matematikatörténeti és gyakorlati kontextusának felvázolása.[cite: 250]

Matematikatörténet:

Az analízis rigorizálása: Bár a differenciálszámítást Newton és Leibniz a 17. században megalkották, eszköztáruk a "végtelenül kicsiny" (infinitezimális) mennyiségekre épült, ami logikailag sebezhető volt. A határérték fent tárgyalt, végtelenül precíz $\varepsilon-\delta$ definícióját Augustin-Louis Cauchy (1789–1857) és Karl Weierstrass alkotta meg a 19. században, szilárd alapokra helyezve a modern analízist.
Carl Friedrich Gauss és a számtani sorozat: A számtani sorozat összegképletének bizonyítása legendásan kötődik a "matematika fejedelmének" gyermekkorához. Amikor 10 éves korában tanára feladta a számok összeadását 1-től 100-ig, Gauss pillanatok alatt beírta a palatáblájára az 5050-es végeredményt, felismerve az $a_1+a_n = a_2+a_{n-1}$ szimmetriát (1+100, 2+99, ...), amiből pontosan 50 darab 101-es pár adódik.

Gyakorlati alkalmazások:

Fizikai modellezés: A határértékszámítás és a folytonosság a klasszikus mechanika gerince. Például a pillanatnyi sebesség (differenciálhányados) a megtett út-idő függvény különbségi hányadosának határértéke, amikor $\Delta t \to 0$.[cite: 59] A folytonosság fizikai interpretációja az, hogy a testek nem teleportálnak, mozgásuk folyamatos.
Diszkrét matematika és Pénzügy: Míg az analízis folytonos függvényekkel dolgozik, a gazdasági folyamatok (éves kamatjóváírás, havi törlesztés) diszkrét ugrásokkal operálnak. A számtani sorozatok az egyszerű (nem tőkésített) kamatozást, míg a határérték-számítás a folytonos kamatozás modellezését teszi lehetővé.[cite: 59]