1. 

2. 

как следствия:


3. 

4. 

5. 

Свойство 1 и 2
Пусть
и
– бесконечно малые функции при х
а.
= о(β) и
= о(β)
+
= о(β)
= о(β) т.е.
= о(β) т.е. 

__________________________________________________________________
Свойство 3
α= о(Сβ)
, С
0, С=о(β)-?
;( 
Умножение и деление на С 

__________________________________________________________________
Свойство 4
C 


; 
Свойство 5
о(
, n 
);
)) -?
;( 
=
=o
=o
__________________________________________________________________
Свойство 6
(o(
=o(
n
N



Пример:
(предположим sinx= o(
, 0<t<1
=
=
=
=св-во 8=o(
( 
__________________________________________________________________
Свойство
=o(



__________________________________________________________________
Свойство
= 0
__________________________________________________________________
Свойство
o(o(
; 
; 

__________________________________________________________________
Свойство
o( 

+ 
__________________________________________________________________
Свойство



__________________________________________________________________
Свойство





__________________________________________________________________
Cвойства «O – большое»
Свойство
O(o(f(x))=o(f(x))
µ(x) = O(o(f(x)), g(x) = o(f)




__________________________________________________________________
Свойство
o(O(f)x))) = o(f(x))
g(x)=O(f(x))
,



__________________________________________________________________
Свойство
O(o(f(x)) = O(f(x)
g(x)=O(f(x)) 


__________________________________________________________________
Свойство
O(f(x)) + o(f(x) – O(f(x))
g(x) = o(f(x) = 0 



__________________________________________________________________
Пример:
1)Sinx-x=o(x) -?


2) cos x – 1 + 

Асимптотические обозначения в уравнениях
· Если в правой части уравнения находится только асимптотическое обозначение (например n = O (n ²)), то знак равенства обозначает принадлежность множеству (n ∈ O (n ²)).
· Если в уравнении асимптотические обозначения встречается в другой ситуации, они рассматриваются как подставляемые взамен их некоторые функции. Например, при x → 0 формула
обозначает, что
, где
— функция, о которой известно только то, что она принадлежит множеству
. Предполагается, что таких функций в выражении столько, сколько раз встречаются в нём асимптотические обозначения. Например,
— содержит только одну функцию из класса
.
· Если асимптотические обозначения встречаются в левой части уравнения, используют следующее правило:
какие бы мы функции ни выбрали (в соответствии с предыдущим правилом) взамен асимптотических обозначений в левой части уравнения, можно выбрать функции вместо асимптотических обозначений (в соответствии с предыдущим правилом) в правой части так, что уравнение будет правильным.
Например, запись
обозначает, что для любой функции, существует некоторая функция g(x)
такая, что выражение x+ f(x) = g(x) — верно для всех
.
· Несколько таких уравнений могут быть объединены в цепочки. Каждое из уравнений в таком случае следует интерпретировать в соответствии с правилом.
Например:
. Отметим, что такая интерпретация подразумевает выполнение соотношения
.
Приведенная интерпретация подразумевает выполнение соотношения:
, где A, B, C — выражения, которые могут содержать асимптотические обозначения.
Примеры использования:
при 
при
(следует из формулы Стирлинга:
Формула Стирлинга является первым приближением при разложении факториала в ряд Стирлинга: 
при
.
При
выполнено неравенство
.
Поэтому положим
.
Отметим, что нельзя положить
, так как
и, следовательно, это значение при любой константе
больше
.
Функция
при
имеет степень роста.
Чтобы это показать, надо положить
и
. Можно, конечно, сказать, что
имеет порядок
, но это более слабое утверждение, чем то, что
.
Докажем, что функция
при
не может иметь порядок
.
Предположим, что существуют константы
и
такие, что для всех
выполняется неравенство
.
Тогда
для всех
. Но
принимает любое, как угодно большое, значение при достаточно большом
, поэтому не существует такой константы
, которая могла бы мажорировать
для всех
больших некоторого
.
.
Для проверки достаточно положить
. Тогда
для 
Литература
· В. Н. Крупский Введение в сложность вычислений.
· Бугров, Никольский Высшая математика, том 2.
- https://ru.wikipedia.org/wiki/%C2%ABO%C2%BB_%D0%B1%D0%BE%D0%BB%D1%8C%D1%88%D0%BE%D0%B5_%D0%B8_%C2%ABo%C2%BB_%D0%BC%D0%B0%D0%BB%D0%BE%D0%B5
- https://ru.math.wikia.com/wiki/%C2%ABO%C2%BB_%D0%B1%D0%BE%D0%BB%D1%8C%D1%88%D0%BE%D0%B5_%D0%B8_%C2%ABo%C2%BB_%D0%BC%D0%B0%D0%BB%D0%BE%D0%B5