O jelölés

A Wikipédiából, a szabad enciklopédiából

A Landautól származó ordó-jelölés (O jelölés) az analízisben és alkalmazásaiban (valószínűség-számítás, analitikus számelmélet, számításelmélet) függvények becslését megkönnyítő jelölésmód.

Nagy ordó[szerkesztés | forrásszöveg szerkesztése]

Ha f és g valós vagy természetes számokon értelmezett függvények, amelyeknek nagy x helyeken felvett értékeit, vagy éppen x\in [a,b] (a,b valós számok) melletti viselkedését vizsgáljuk, akkor f(x)=O(g(x)) azt jelenti, hogy |f(x)|\leq Cg(x) teljesül alkalmas C valós konstansra a megadott helyen. Kiejtése: „f(x) egyenlő (nagy) ordó g(x)”. Ezt leggyakrabban hibatagok menet közbeni becslésére alkalmazzuk, például (x+1)^2=x^2+O(x) x\to\infty mellett, hiszen a hibatag 2x+1, legfeljebb 3x minden x\geq 1-re. Hasonlóképpen írható például e^x=1+x+O(x^2), ahol x\to 0.

Kis ordó[szerkesztés | forrásszöveg szerkesztése]

Ha nemcsak |f(x)|\leq Cg(x), de f(x)/g(x)\to 0 is teljesül a megadott határátmenetben, azt f(x)=o(g(x))-szel jelöljük és azt mondjuk, hogy „f(x) egyenlő kis ordó g(x)”. Eszerint például x^2=o(x^3) x\to\infty mellett, vagy \log n!=(1+o(1))n\log n szintén n\to\infty esetén.

Omega[szerkesztés | forrásszöveg szerkesztése]

Ha nem felülről, hanem alulról adunk becslést, azt omegával jelöljük. Eszerint f(x)=\Omega(g(x)) azt jelenti, hogy a megadott helyeken f(x)>cg(x) teljesül alkalmas c>0 konstansra.

Theta[szerkesztés | forrásszöveg szerkesztése]

Ha az f, g függvényekre f(x)=O(g(x)) és g(x)=\Omega(f(x)) is teljesül, azt f(x)=\theta(g(x))-szel jelöljük. Így például Csebisev tétele a prímszámok számáról így fogalmazható:

\pi(x)=\theta\left(\frac{x}{\log x}\right).

A theta-jelölés helyett használják az f(x)\asymp g(x) jelölést is.

Vinogradov-szimbólum[szerkesztés | forrásszöveg szerkesztése]

Vinogradov vezette be f(x)\ll g(x)-t f(x)=O(g(x)) jelölésére.