Нотація Ландау

Асимптотична нотація великого О, відома також як нотація Ландау — розповсюджена математична нотація для формального запису асимптотичної поведінки функцій. Широко вживається в теорії складності обчислень, інформатиці та математиці.

Названа нотацією Ландау на честь німецького математика Едмунда Ландау, який і популяризував цю нотацію.

Означення

«О» велике. Нехай задані дві комплекснозначні функції $f(z)$$f(z)$ та $g(z)$$g(z)$ визначені в деякій множині $D$$D$ комплексної площини. Тоді говорять, що

$f(z)\in O(g(z)),\,\,\,z\in D,$$f(z)\in O(g(z)),\,\,\,z\in D,$

якщо існує константа K >0, що виконується нерівність |f(z)| ≤ K |g(z)| для $z\in D$$z\in D$.

«O» велике в околі $z_{0}$$z_{0}$. Нехай $f(z)$$f(z)$ і $g(z)$$g(z)$ дві комплекснозначні функції визначені в деякій множині $D$$D$ комплексної площини, замикання якої містить точку $z_{0}$$z_{0}$ (тобто, $z_{0}$$z_{0}$ є граничною точкою $D$$D$). Тоді ми пишемо

$f(z)=O(g(z))$$f(z)=O(g(z))$ при $z\to z_{0}$$z\to z_{0}$ з $D$$D$

якщо існує число $\delta >0$$\delta >0$ таке, що

$f(z)=O(g(z)),\ z\in D,\ 0<|z-z_{0}|<\delta$$f(z)=O(g(z)),\ z\in D,\ 0<|z-z_{0}|<\delta$

в сенсі означення «О» великого. Тобто, $f$$f$ обмежена величиною добутку константи на $g$$g$ для всіх $z$$z$ з $D$$D$, які лежать досить близько до $z_{0}$$z_{0}$.

«O» велике в нескінченності. Нехай $f(z)$$f(z)$ і $g(z)$$g(z)$ дві комплекснозначні функції визначені в необмежиній множині $D$$D$ комплексної площини. Тоді ми кажемо, що

$f(z)=O(g(z))$$f(z)=O(g(z))$ при $z\to \infty$$z\to \infty$ з $D$$D$

якщо існує число $M>0$$M>0$ так що

$f(z)=O(g(z)),\ z\in D,\ |z|<M$$f(z)=O(g(z)),\ z\in D,\ |z|<M$,

в сенсі означення «О» великого. Тобто, $f$$f$ обмежена величиною добутку деякої константи на $g$$g$, для достатньо великих $z$$z$ з $D$$D$.

«o» маленьке. Нехай $f(z)$$f(z)$ і $g(z)$$g(z)$ дві комплекснозначні функції визначені в деякій множині $D$$D$ комплексної площини замикання якої містить точку $z_{0}$$z_{0}$. Тоді ми кажемо, що

$f(z)=o(g(z))$$f(z)=o(g(z))$ при $z\to z_{0}$$z\to z_{0}$ з $D$$D$

якщо для довільного $\epsilon >0$$\epsilon >0$, як завгодно малого, існує відповідне йому $\delta (\epsilon )>0$$\delta (\epsilon )>0$, що

$|f(z)|\leq \epsilon |g(z)|$$|f(z)|\leq \epsilon |g(z)|$ для $z\in D$$z\in D$ і $0<|z-z_{0}|<\delta (\epsilon )$$0<|z-z_{0}|<\delta (\epsilon )$.

Тобто, $f$$f$ є меншим за величиною за будь-який малий добуток $g$$g$ для $z\in D$$z\in D$ досить близьких до точки $z_{0}$$z_{0}$.

«о» маленьке в нескінченності Нехай $f(z)$$f(z)$ і $g(z)$$g(z)$ комплекснозначні функції визначені в необмеженій множині $D$$D$ комплексної площини. Тоді ми пишемо

$f(z)=o(g(z))$$f(z)=o(g(z))$ при $z\to \infty$$z\to \infty$ з $D$$D$

якщо для довільного $\epsilon >0$$\epsilon >0$, як завгодно малого, ми можемо знайти відповідне $M(\epsilon )>0$$M(\epsilon )>0$ таке що

$|f(z)|\leq \epsilon |g(z)|$$|f(z)|\leq \epsilon |g(z)|$ для $z\in D$$z\in D$ і $|z|>M(\epsilon )$$|z|>M(\epsilon )$.

Позначення

Функції f(x) та g(x) називають функціями одного порядку, якщо f(x) = O(g(x)) та g(x) є O(f(x)) для x $\to$$\to$ x₀;

Часто для позначення того факту, що f(x) є O(g(x)) використовується запис f(x) = O(g(x)), хоч це не зовсім правильно і в деяких випадках може привести до плутанини.

Приклад

Нехай $n$$n$ і $m$$m$ цілі числа. Якщо $n\geq m$$n\geq m$, то $z^{m}=O(z^{n})$$z^{m}=O(z^{n})$ при $z\to \infty$$z\to \infty$. Для доведення цього запишемо

$|z^{m}|=|z^{m-n}z^{n}|=|z^{m-n}|\cdot |z^{n}|=|z|^{m-n}\cdot |z^{n}|$$|z^{m}|=|z^{m-n}z^{n}|=|z^{m-n}|\cdot |z^{n}|=|z|^{m-n}\cdot |z^{n}|$

Покладемо $M=10$$M=10$. Тоді $|z|>M$$|z|>M$ означає що $|z|^{m-n}\leq 10^{m-n}$$|z|^{m-n}\leq 10^{m-n}$, оскільки $n\geq m$$n\geq m$. Отже, якщо $|z|>10$$|z|>10$, нерівність $|z|^{m}\leq K|z^{m-n}|$$|z|^{m}\leq K|z^{m-n}|$ виконується при виборі $K=10^{m-n}$$K=10^{m-n}$. Також, з аналогічним обмеженням на $n$$n$ та $m$$m$, ми маємо, що $z^{n}=O(z^{m})$$z^{n}=O(z^{m})$ при $z\to 0$$z\to 0$ з $\mathbb {C}$$\mathbb {C}$. Для доведення цього запишемо

$|z^{n}|=|z^{n-m}z^{m}|=|z^{n-m}|\cdot |z^{m}|=|z|^{n-m}\cdot |z^{m}|.$$|z^{n}|=|z^{n-m}z^{m}|=|z^{n-m}|\cdot |z^{m}|=|z|^{n-m}\cdot |z^{m}|.$

Виберемо, наприклад, $\delta =3$$\delta =3$. Тоді, $0<|z|<3$$0<|z|<3$ означає, що $|z|^{n-m}<3^{n-m}$$|z|^{n-m}<3^{n-m}$ оскільки $n\geq m$$n\geq m$.

Деякі важливі класи відношень

Графіки деяких поширених функцій.

Нижче наведений список класів функцій, які часто зустрічаються в аналізі алгоритмів. Тут n $\to$$\to$ ∞, с — константа. Функції, які зростають повільніше, наведені першими.

нотація	назва
O(1)	константа
O(log n)	логарифмічне
O([log n]c)	полілогарифмічне
O(n)	лінійне
O(n · log n)	лінеарітмічне
O(n2)	квадратичне
O(nc)	поліноміальне
O(cn)	експоненціальне
O(n!)	факторіальне

Див. також

• Таблиця математичних символів

Це незавершена стаття з математики. Ви можете допомогти проекту, виправивши або дописавши її.