Границя числової послідовності

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до: навігація, пошук
Зображення шестикутника і п'ятикутника описаних довкола кола
Послідовність представлена даними периметрами правильних багатокутників із n сторонами які описують одиничне коло при збільшенні кількості сторін має границю, яка дорівнює периметру кола, тобто . Відповідна послідовність вписаних багатокутників має ту саму границю при збільшенні кількості сторін n.
n n sin(1/n)
1 0.841471
2 0.958851
...
10 0.998334
...
100 0.999983

Із тим як додатнє ціле число зростає, значення стає довільно близьким до . Тоді кажуть, що "границя послідовності дорівнює ."

Границя числової послідовності — фундаментальне поняття математичного аналізу, число, до якого члени послідовності прямують зі збільшенням індекса в сенсі наступного означення:

Дійсне число a називається границею числової послідовності , якщо [1]

Позначення: або

При цьому також кажуть, що послідовність збігається до числа a, або має границю a. Послідовність, що збігається до деякої границі називається збіжною, в інших випадках — розбіжною.

Дійсні числа[ред.ред. код]

Графік послідовності {an}, що збігається показано синім. Наочно ми бачимо, що послідовність збігається до границі, що дорівнює 0 при зростанні n.

Для дійсних чисел, число є границею послідовності якщо числа в цій послідовності стають все ближчими і ближчими до і більше ні до якого іншого числа.

Приклади[ред.ред. код]

  • Якщо при сталому значенні c, тоді .[Доказ 1]
  • Якщо , тоді .[Доказ 2]
  • Для будь-якого даного дійсного числа, можна побудувати послідовність яка буде збігатися до даного числа за допомогою десяткового наближення. Наприклад, послідовність буде збігатися до . Варто відмітити, що десяткове представлення є границею іншої послідовності, яка визначається наступним чином
.

Формальне визначення[ред.ред. код]

називають границею числової послідовності , якщо виконується наступна умова:

  • Для кожного дійсного числа , існує таке натуральне число таке що, для кожного натурального числа , будемо мати .

Іншими словами, для кожної міри близькості , елементи послідовності в кінцевому наближенні стають все ближчими до значення границі. Говорять, що послідовність збігається до або прямує до границі , і це записується як або .

Символічно, це матиме наступний вигляд:

Якщо послідовність збігається до деякої визначеної границі, тоді говорять що така послідовність є збіжною; в іншому випадку вона є розбіжною.

Ілюстрації[ред.ред. код]

Властивості[ред.ред. код]

Границі числових послідовностей дозволяють над собою застосовувати звичайні арифметичні операції. Якщо і , тоді , і, якщо ні b ні будь-яке з не дорівнюють нулю, .

Для будь-якої неперервної функції f, якщо тоді . Насправді, будь-яка функція f дійсних значень є неперервною тоді і тільки тоді, коли вона представляє собою границі послідовностей (хоча ця умова не завжди є необхідною, за умови застосування більш загального визначення неперервності).

Деякими іншими важливими властивостями границь послідовностей дійсних чисел є наступні (у кожному приведеному знизу рівнянні передбачається, що границі для правих частин виразів існують).

  • Границя послідовності є унікальною.
  • за умови, що
  • Якщо для всіх є більшою ніж деяке , тоді
  • (Стискна теорема) Якщо для всіх , і ,   тоді .
  • Якщо послідовність є обмеженою і монотонною тоді, вона є збіжною.
  • Послідовність є збіжною, якщо кожна з її підпослідовностей є збіжною.

Ці властивості часто використовуються для доведення існування границі без необхідності безпосередньо доводити громіздке початкове формальне визначення. Як тільки було доведено, що стає легко довести, що , (), використовуючи наведені вище властивості.

Нескінченні границі[ред.ред. код]

Говорять, що послідовність прямує до нескінченності, і позначають як або якщо, для кожного K, існує таке N, що для кожного , ; тобто, елементи послідовності зрештою є більшими ніж будь-яке постійне значенняK. Аналогічно, якщо, для кожного K, існує таке N, що для кожного , . Якщо послідовність прямує до нескінченності, або до мінус нескінченності, то така послідовність є розбіжною (однак, розбіжна послідовність не обов'язково повинна прямувати до мінус чи плюс нескінченності: візьмемо наприклад ).

Метричні простори[ред.ред. код]

Визначення[ред.ред. код]

Точка x метричного простору (X, d) є границею послідовності (xn) якщо, для всіх ε > 0, існує таке N при якому, для будь-якого , . Це співпадає із визначенням, що було дане для дійсних чисел коли і .

Властивості[ред.ред. код]

Для будь-якої неперервної функції f, якщо тоді . Насправді, функція f є неперервною тоді і тільки тоді, коли вона представляє собою границі послідовностей.

Границі послідовностей є унікальними, якщо вони існують, оскільки окремі взяті точки лежать окремо і мають деяку додатну міру відстані між ними, тому для що є меншим за половину цієї відстані, елементи послідовності не можуть бути в межах відстані для двох точок одночасно.

Топологічні простори[ред.ред. код]

Визначення[ред.ред. код]

Точка x топологічного простору (X, τ) є границею послідовності (xn) якщо, для кожного околу U довкола x, існує таке N при якому, для кожного , . Це співпадає із визначенням, що було дане для метричних просторів, якщо (X,d) є метричним простором а є топологією утвореною за допомогою d.

Границя послідовності точок у топологічному просторі T є особливим випадком границі функції: областю визначення якої є у просторі із індукованою топологією системи дійсних чисел розширеною до нескінченностей, ранг дорівнює T, а аргумент функції n прямує до +∞, яка в даному просторі є граничною точкою для .

Властивості[ред.ред. код]

Якщо X це Гаусдорфів простір тоді границі послідовностей є унікальними, якщо вони існують. Варто відмітити, що це не обов'язково так в загальному випадку; зокрема, якщо дві точки x і y є топологічно нерозрізнені[en], будь-яка послідовність яка збігається до x має збігатися до y і навпаки.

Послідовності Коші[ред.ред. код]

Графік фундаментальної послідовності Коші (xn), показана синім, як xn відносно n. Наочно, ми бачимо що послідовність збігається до граничної точки з тим як елементи послідовності стають ближчими один до одного із збільшенням n. В області дійсних чисел кожна послідовність Коші збігається до деякої границі.

Фундаментальна послідовність Коші, це така послідовність елементи якої врешті решт наближаються один до одного, після того як достатня кількість початкових елементів були відкинуті. Поняття послідовностей Коші є важливим при вивченні послідовностей в метричних просторах, і, зокрема, в аналізі функцій дійсної змінної. Одним із особливо важливим результатом в аналізі функцій дійсної змінної є критерій Коші щодо збіжності послідовностей: Послідовність дійсних чисел збігається тоді і тільки тоді, коли вона є послідовністю Коші. Цей критерій залишається достовірним і у інших повних метричних просторах.

Визначення для гіпердійсних чисел[ред.ред. код]

Визначення границі, в якому застосовуються гіпердійсні числа[en] формалізує інтуїтивне розуміння, що для "дуже великого" значення індекса послідовності, відповідний терм буде "дуже близьким" до границі. Точніше, послідовність дійсних чисел прямує до L якщо для будь-якого нескінченного гіпернатурального[en], елемент xH є нескінченно наближеним до L, тобто, різниця xH − L є нескінченно малою величиною. Еквівалентно, L є стандартною частиною[en] xH

Таким чином, границю можна визначити за допомогою наступної формули:

Де границя існує тоді і тільки тоді, коли права частина є незалежною від вибору нескінченного H.

Література[ред.ред. код]

Примітки[ред.ред. код]

  1. Дивіться математичний скоропис

Доведення[ред.ред. код]

  1. Доказ: нехай . Для кожного every ,
  2. Доказ: нехай + 1 (ціла частина з округленням вниз). Для кожного , .

Див. також[ред.ред. код]