Нехай змінна величина x nприймає нескінченну послідовність значень
x 1 , x 2 , ..., x n , ..., (1)
причому відомий закон зміни змінної x n, тобто. для кожного натурального числа nможна вказати відповідне значення x n. Таким чином, передбачається, що змінна x nє функцією від n:
x n = f(n)
Визначимо одне з найважливіших понять математичного аналізу - межа послідовності, або, що те саме, межа змінної величини x n, що пробігає послідовність x 1 , x 2 , ..., x n , ... . .
Визначення.Постійне число aназивається межею послідовності x 1 , x 2 , ..., x n , ... . або межею змінної x nякщо для будь-якого малого позитивного числа e знайдеться таке натуральне число N(тобто номер N), що всі значення змінної x n, починаючи з x N, відрізняються від aпо абсолютній величині менше, ніж e. Дане визначення коротко записується так:
| x n - a |< (2)
при всіх n N, або, що те саме,
Визначення межі по Коші. Число A називається межею функції f (x) у точці a, якщо ця функція визначена в деякій околиці точки a за винятком, можливо, самої точки a, і для кожного ε > 0 існує δ > 0 таке, що для всіх x, що задовольняють умові | x - a |< δ, x ≠ a, выполняется неравенство |f (x) – A| < ε.
Визначення межі за Гейном. Число A називається межею функції f (x) у точці a, якщо ця функція визначена в деякій околиці точки a за винятком, можливо, самої точки a, і для будь-якої послідовності такий, що схожій до a, відповідна послідовність значень функції сходить до A.
Якщо функція f (x) має межу в точці a, то ця межа єдина.
Число A 1 називається межею функції f (x) ліворуч у точці a, якщо для кожного ε > 0 існує δ >
Число A 2 називається межею функції f(x) праворуч у точці a, якщо для кожного ε > 0 існує δ > 0 таке, що для всіх виконується нерівність
Межа зліва позначається межа праворуч – ці межі характеризують поведінку функції зліва та праворуч від точки a. Їх часто називають односторонніми межами. У позначенні односторонніх меж при x → 0 зазвичай опускають перший нуль: і . Так, для функції
Якщо кожного ε > 0 існує така δ-околиця точки a, що всіх x, задовольняють умові |x – a|< δ, x ≠ a, выполняется неравенство |f (x)| >ε, то кажуть, що функція f(x) має в точці a нескінченну межу:
Так, функція має у точці x = 0 нескінченну межу Часто розрізняють межі, рівні +∞ та –∞. Так,
Якщо кожного ε > 0 існує таке δ > 0, що з будь-якого x > δ виконується нерівність |f (x) – A|< ε, то говорят, что предел функции f (x) при x, стремящемся к плюс бесконечности, равен A:
Теорема про існування точної верхньої грані
Визначення:АR mR, m - верхня (нижня) грань А, якщо аА аm (аm).
Визначення:Безліч A обмежена зверху (знизу), якщо існує таке m, що аА, виконується аm (аm).
Визначення: SupA=m, якщо 1) m - верхня грань A
2) m’: m’
InfA = n, якщо 1) n – нижня грань A
2) n': n'>n => n' не нижня грань A
Визначення: SupA=m називається число, таке що: 1) aA am
2) >0 a A, таке, що a a-
?
2) >0 a A, таке, що a E a+
Теорема:Будь-яка, непуста обмежена зверху безліч АR, має точну верхню грань, причому єдину.
Доведення:
Побудуємо на числовий прямий число m і доведемо, що це точна верхня грань А.
[m]=max([a]:aA) [[m],[m]+1]A=>[m]+1 - верхня грань A
Відрізок [[m],[m]+1] – розбиваємо на 10 частин
m 1 =max:aA)]
m 2 =max,m 1:aA)]
m до =max,m 1 ...m K-1:aA)]
[[m],m 1 ...m K , [m],m 1 ...m K + 1 /10 K ]A=>[m],m 1 ...m K + 1/ 10 K - верхня грань A
Доведемо, що m=[m],m 1 ...m K - точна верхня грань і що вона єдина:
к: )