Közrefogási elv

A közrefogási elv (gyakoribb nevén „rendőrelv”) egy matematikai analízissel kapcsolatos fogalom.

A tétel fontos szerepet tölt be az analízisben, illetve az analízissel foglalkozó bizonyításokban. Általában arra használják, hogy egy függvény határértékét meghatározzák vagy bizonyítsák más függvényekkel való összehasonlítással (amelyek határértéke könnyebben kiszámítható, mint az eredeti függvényé). A legelső felhasználása Arkhimédészhez és Eudoxoszhoz kapcsolódik, akik a pí értékének meghatározásához használták a tételt. Modern formájába Gauss öntötte.

A tétel megfogalmazható sorozatok határértékére vonatkozóan és általánosabban függvények tetszőleges pontjában vett határértékére vonatkozóan.

Tétel sorozatok határértékére

Tétel

Tegyük fel, hogy az $(a_{n}),(b_{n})$ és $(c_{n})$ valós sorozatokra teljesülnek a következők:

• létezik olyan $N\in \mathbb {N}$, hogy $a_{n}\leq b_{n}\leq c_{n}$ minden $n\geq N$ indexre
• az $(a_{n})$ és a $(c_{n})$ sorozatoknak van határértéke és $lim(a_{n})=lim(c_{n})=:A\in {\bar {\mathbb {R} }}$.

Ekkor a $(b_{n})$ sorozatnak is van határértéke és $lim(b_{n})=A$.

Bizonyítás

$(c_{n}-a_{n})$ nullsorozat.

$0\leq b_{n}-a_{n}\leq c_{n}-a_{n}$ majdnem minden $n\in \mathbb {N}$-re.

Mivel $(c_{n}-a_{n})$ nullsorozat, $(b_{n}-a_{n})$ is nullsorozat, $(b_{n})=(b_{n}-a_{n})+(a_{n})$ konvergens sorozatok, így

$lim(b_{n})=lim(b_{n}-a_{n})+lim(a_{n})=lim(a_{n})$

Tétel függvények határértékére

Tétel

Legyen I egy intervallum, legyen a az I egy torlódási pontja (vagyis belső pont, vagy az intervallum "szélső", nem feltétlenül az intervallum elemét alkotó pont). Legyenek az f, g és h az I intervallumon definiált függvények, esetleg kivéve az a pontot. Az előbbi függvényekre álljon fenn, hogy I bármely a-tól különböző x pontjában:

$g(x)\leq f(x)\leq h(x)\,$

Ekkor, ha adott hogy:

$\lim _{x\to a}g(x)=\lim _{x\to a}h(x)=L.\,$

akkor $\lim _{x\to a}f(x)=L.$

• A függvények g és h úgynevezett felső és alsó korlátját adják f-nek.
• A pontnak a-nak nem muszáj az I intervallum belső pontjának lennie, lehet akár az intervallum végpontja is, de ekkor a határérték a megfelelő féloldali határértékre változik.
• Hasonló állítást tehetünk végtelen intervallumokra is pl.: ha I = ]0; ∞[, ekkor a tétel továbbra is igaz amint x → ∞.

Bizonyítás

A fenti tételt a limit inferior és szuperior segítségével bizonyítjuk. Ezek tulajdonságait és a kiindulási feltételeket felhasználva igaz, hogy:

$L=\lim _{x\to a}g(x)\leq \liminf _{x\to a}f(x)\leq \limsup _{x\to a}f(x)\leq \lim _{x\to a}h(x)=L,$

Ez azonban a valós számok rendezési tulajdonságaiból következően(trichotómia) csak egyenlőség esetén igaz.

Egy másik bizonyítás amely a határérték (ε, δ) definícióját használja fel, megmutatja, hogy bármely valós ε > 0 -hoz létezik egy valós δ > 0 úgy, hogy minden x-re, amelyre teljesül, hogy 0 < |x − a | < δ, teljesül, hogy −ε < f(x) − L < ε. Jelekkel:

$\forall \varepsilon >0\ \exists \ \delta >0:\forall x\ (0<|x-a|<\delta \ \Rightarrow \ -\varepsilon <f(x)-L<\varepsilon ).$.

Vagyis ha

$\lim _{x\to a}g(x)=L$

azt jelenti, hogy:

$\forall \varepsilon >0\ \exists \ \delta _{1}>0:\forall x\ (0<|x-a|<\delta _{1}\ \Rightarrow \ -\varepsilon <g(x)-L<\varepsilon ).\qquad (1)$

és

$\lim _{x\to a}h(x)=L$

azt jelenti, hogy:

$\forall \varepsilon >0\ \exists \ \delta _{2}>0:\forall x\ (0<|x-a|<\delta _{2}\ \Rightarrow \ -\varepsilon <h(x)-L<\varepsilon ),\qquad (2)$

és adott, hogy:

$g(x)\leq f(x)\leq h(x)\,$

$g(x)-L\leq f(x)-L\leq h(x)-L\,$

akkor választhatunk úgy egy $\delta$-t hogy $\delta <\delta _{1}$ és $\delta <\delta _{2}$; pld.:, legyen $\delta :={\frac {1}{2}}\min \left\{\delta _{1},\delta _{2}\right\}$. Ekkor ha adott, hogy $|x-a|<\delta$, akkor (1)-ből és (2)-ből következik, hogy:

$-\varepsilon <g(x)-L\leq f(x)-L\leq h(x)-L\ <\varepsilon ,$

$-\varepsilon <f(x)-L<\varepsilon$,

ami bizonyítja a tételt. $\blacksquare$

Példák az alkalmazásra

Első példa

Az x² sin(1/x) közrefogása, és "beszorítása" a 0 pont környezetében.

A

$\lim _{x\to 0}x^{2}\sin({\tfrac {1}{x}})$

határérték nem határozható meg szorzat határértékére vonatkozó tétel segítségével, vagyis a

$\lim _{x\to a}(f(x)\cdot g(x))=\lim _{x\to a}f(x)\cdot \lim _{x\to a}g(x),$

szabállyal, mert a

$\lim _{x\to 0}\sin({\tfrac {1}{x}})$

határérték nem létezik.

Viszont a szinuszfüggvény értékkészletéből,

$-1\leq \sin({\tfrac {1}{x}})\leq 1.\,$

következik, hogy:

$-x^{2}\leq x^{2}\sin({\tfrac {1}{x}})\leq x^{2}\,$

Mivel $\lim _{x\to 0}-x^{2}=\lim _{x\to 0}x^{2}=0$, így a közrefogási elv alapján, $\lim _{x\to 0}x^{2}\sin({\tfrac {1}{x}})$ szintén 0.

Második példa

Valószínűleg a legismertebb példa a következő:

${\begin{aligned}&\lim _{x\to 0}{\frac {\sin x}{x}}=1,\\[10pt]&\lim _{x\to 0}{\frac {1-\cos x}{x}}=0.\end{aligned}}$

Az első állítás a tételt és a következő azonosságot alkalmazva kapható meg:

$\cos x<{\frac {\sin x}{x}}<1$

kellően kicsiny x-ekre, de x nem lehet 0.

A fenti két határérték a trigonometrikus függvények deriváltjának meghatározásakor is felhasználható.

Fordítás

Ez a szócikk részben vagy egészben a Squeeze theorem című angol Wikipédia-szócikk ezen változatának fordításán alapul. Az eredeti cikk szerkesztőit annak laptörténete sorolja fel. Ez a jelzés csupán a megfogalmazás eredetét és a szerzői jogokat jelzi, nem szolgál a cikkben szereplő információk forrásmegjelöléseként.

Források

• Szili László: Analízis feladatokban I. (ELTE Eötvös Kiadó, Budapest, 2005)
• Weisstein, Eric W.: Squeezing Theorem (angol nyelven). Wolfram MathWorld

Külső hivatkozások

• Squeeze Theorem by Bruce Atwood (Beloit College) after work by, Selwyn Hollis (Armstrong Atlantic State University), the Wolfram Demonstrations Project.