Перейти до вмісту

Основні числові системи/Дійсні числа

Матеріал з Вікіпідручника
Логотип Вікіпедії
Логотип Вікіпедії
Вікіпедія має пов'язану з цією темою інформацію на сторінці Дійсне число
Основні аксіоми
[ред.]

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

Аксіоми системи.
1. Для усіх справджується сполучний закон додавання: .
2. Для усіх справджується переставний закон додавання: .
3. Для усіх виконується операція віднімання: існує таке що .
4. Для усіх справджується сполучний закон множення: .
5. Для усіх справджується переставний закон множення: .
6. Для усіх справджується розподільний закон множення відносно додавання: .
7. Для усіх за виконується операція ділення (окрім ділення на нуль): існує таке що .

Слідства:

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

Аксіоми впорядкування.
8. Для довільних виконується лише одне із співвідношень: або або .
9. Для усіх відношення є транзитивним: .
10. Для усіх монотонність додавання: .
11. Для усіх монотонність множення: .

Слідства:

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

Функція Діріхле - функція визначена на множині дійсних чисел, що набуває значення з множини зокрема, значення якщо аргумент є раціональним числом, та значення якщо аргумент є числом ірраціональним. Формально визначення можна записати так:

де множина раціональних чисел, а - множина дійсних чисел.

Аксіома точної верхньої грані.
12. Будь-яка обмежена згори множина має у точну верхню грань.

Дедекіндовий перетин
[ред.]

Нехай - підмножина множини усіх дійсних чисел. Припустімо, що серед чисел немає найбільшого. Здійснімо перетин у області усіх дійсних чисел: до верхнього класу віднесемо усі перхні границі множини а до нижнього класу - усі інші дійсні числа При цьому розбитті множини на дві частини усі числа множини попадуть до класу оскільки жодне з них за припущенням не буде найбільшим. Таким чином, обидва класи та є непустими. Це розбиття є перетином, оскільки усі дійсні числа розподілені по класам, де кожне число класу є більшим від будь-якого числа класу За теоремою Дедекінда повинне існувати число яке здійснює перетин. Усі числа не перебільшують це "примежеве" число тобто є верхньою межею для та, відповідно, міститься у класі і є там найменшим. Розмірковуючи аналогічним чином, можна сказати, що число є найбільшим у класі та нижньою межею для

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

Сума є дійсним числом, яке міститься між числами та де та є раціональними та Однак тому і число міститься між та Через єдиність числа, яке має таку властивість, маємо

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

Позиційний десятковий запис дійсного числа
[ред.]

Десятковий дріб - форма запису звичайного дробу у якого знаменник де Наприклад,

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

Три крапки означає, що дріб є нескінченним. Періодом нескінченного дробу називається найменша група цифрових значень після крапки десяткового дробу, що повторюється. У дробах

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

Кожний нескінченний десятковий періодичний дріб може бути поданий у вигляді звичайного дробу. Наприклад, подамо дріб у вигляді звичайного дробу. Період цього дробу складається з однієї цифри; помножимо на 10:

Обчислимо різницю Таким чином,

За будь-якого система напівінтервалів

має непустий перетин. Справді, якщо б деяке число належало усім напівінтервалам даної системи, то число належало б усім напівінтервалам системи

Однак жодне число не може належати усім напівінтервалам даної системи, оскільки за аксіомою Архімеда існує натуральне число для якоо

Яким б не було дійсне число завжди знайдеться лише одне таке ціле число що буде справджуватися нерівність За принципом Архімеда існує таке натуральне число що Відповідно, Серед скінченного числа цілих чисел оберімо перше число за якого справджувалася б нерівність Тоді одержимо Нехай тепер існує ще одне ціле число таке, що Якщо тоді Але у такому випадку справджувалася б нерівність що суперечить нерівності Відтак не може бути меншим від Так само не справджується. Відповідно,

Нехай - довільне додатне дійсне число, відмінне від нуля. Існує таке ціле невід'ємне число що справджується нерівність Розділімо напівсегмент на десять напівсегментів

Число міститься лише у одному з цих напівінтервалів, оскільки вони не перетинаються. Нехай де є одним з чисел від до Тоді

Напівінтервал розділімо на десять напівінтервалів:

Число міститься лише у одному з даних напівінтервалів. Нехай де - одне з чисел Тоді буде справджуватися нерівність У свою чергу, напівінтервал розділімо на десять напівінтервалів:

Число міститься лише у одному з цих напівінтервалів. Нехай де - одне з чисел У цьому випадку Це міркування можна продовжувати нескінченно, одержуючи нескінченну послідовність чисел таку, що для довільного натурального числа

Можина раціональних чисел

таким чином, є обмеженою згори і тому, за аксіомою точної верхньої грані, має у системі дійсних чисел точну верхню грань Число за визначенням точної верхньої грані не може бути більшим від Воно також не може бути меншим від числа оскільки за будь-якого натурального числа справджувалися б нерівності

та, відповідно, і нерівність що суперечить наслідку з аксіоми Архімеда. Відповідно,

При цьому пишуть

або, у скороченому вигляді, Запишімо ціле невід'ємне число у десятковій системі лічби де за - одне з чисел причому Тоді скорочений запис запишеться наступним чином: Ціле невід'ємне число називається цілою частиною числа a називають відповідно першим, другим, ..., -тим десятковим знаком числа Символічний запис

називають десятковим розкладом, або десятковим записом, числа

Розгляньмо тепер число Арифметичним доповненням числа називається різниця між одиницею та числом Наприклад, арифметичним доповненням числа є число

Логарифми
[ред.]

Логарифмом додатного числа із основою (де та ) називається показник степеня, до якого треба піднести основу щоб одержати число Таким чином, якщо де та то Та навпаки, якщо то Наприклад, оскільки

Якщо існує таке раціональне число що де (множина додатних дійсних чисел) та то є шуканим логарифмом.

Припустімо, що такого раціонального числа немає. Тоді можна здійснити перетин у області усіх раціональних чисел за правилом:

  • якщо ;
  • якщо

Нехай тепер та а також та Тоді Справді, якщо де за формулою бінома Н'ютона одержимо а оскільки ненаписані члени є додатними, то

Тоді і щоб одержати необхідно взяти Таке натуральне число належить до класу

У той же час і щоб одержати необхідно взяти У цьому випадку число належить до класу

Побудований перетин визначає дійсне число яке називається примежевим між числами обох класів та

За визначенням степені за причому є єдиним числом, яке задовільняє усім подібним нерівностям. Однак для числа за побудовою перетину маємо відтак та

Логирифм за основою називається десятковим логарифмом. При цьому записують Мантисою називається десяткова частина десяткового логарифму. Наприклад, якщо то число є мантисою, а число - характеристикою логарифма.

Основною логарифмічною тотожністю є тотожність

Властивості логарифмів:

  • ;
  • ;
  • ;
  • ;
  • ;
  • ;
  • (за ).

Формула переходу до іншої основи:

Натуральний логарифм - це логарифм за основою де - число Ейлера. При цьому записують

Нерівності
[ред.]

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

Пригадаймо, що символ означає "більше". У такому випадку можна відповісти на запитання: чи правильно, що ? Відповідь на це запитання очевидна.

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

Аксіома Архімеда
[ред.]

З аксіоми точної верхньої грані слідує наступна аксіома Архімеда: для будь-яких двох невід'ємних дійсних чисел та завжди знайдеться таке натуральне число що справдиться нерівність

Розміковуймо протилежно. Нехай у системі чисел аксіома Архімеда не справджується. У цьому випадку існують дійсні числа та такі, що за будь-якого натурального справджується нерівність Множина усіх дійсних чисел вигляду таким чином, є обмеженою згори, і тому, за аксіомою точної верхньої грані, вона має точну верхню грань Оскільки - точна верхня грань множини то за визначенням точної верхньої грані, серед чисел існує число Звідси слідує, що а це суперечить тому, що - точна верхня грань множини Таким чином, припущення, за якого у системі дійсних чисел аксіома Архімеда не справджується, приводить до суперечливості, і тому це припущення є невірним.

Зокрема, якщо одержуємо: для будь-якого існує таке натуральне число що Впорядкована система, у якій справджується аксіома Архімеда, називають архімедівськи впорядкованою. Таким чином, система є архімедівськи впорядкованою.

Із сказаного слідує, що для будь-яких дійсних чисел та існує таке натуральне число що Справді, існує таке натуральне що Якщо помножити цю нерівність на отримаємо зокрема

Нехай такі, що Сукупність усіх дійсних чисел які задовільняють нерівностям називають відрізком (сегментом) й позначають символом Числа та називають відповідно лівим й правим кінцями відрізка. Сукупність усіх дійсних чисел що задовільняють нерівностям називають інтервалом із лівим кінцем та правим кінцем й позначають

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

Кожний інтервал містить раціональне число. Справді, нехай тоді за аксіомою архімеда існує натуральне число таке, що Існує таке натуральне число що Відповідно, Серед цілих чисел існує таке число що тобто З нерівностей слідує, що тобто та, відповідно, Таким чином, тобто

Зі сказаного слідує, що у інтервалі міститься нескінченна чисельність раціональних чисел.

Модуль дійсного числа
[ред.]

Модуль дійсного числа - саме це число для якого справджуються наступні умови:

Наприклад,

Нехай та - довільні дійсні числа. Оскільки на множині дійсних чисел визначене відношення часткового порядку то за довільного вибору чисел та невідомо, яке з чисел більше (менше). За допомогою функцій та визначмо два числа: та для яких справджується нерівність Оскільки кожна точка на числовій прямій ототожнюється із своєю координатою, то нерівність геометрично означає множину точок, що знаходяться між точками та Ця множина називається сегментом із кінцями та та позначається Зокрема, якщо (відповідно ), то маємо сегмент (відповідно ). У випадку відрізок вироджується у точку Таким чином, сегмент на числовій прямій - множина, визначена наступним співвідношенням: Точка є серединою сегмента із кінцями та Із рівності та геометричного змісту абсолютної величини слідує, що точка рівновіддалена від кінців сегменту. Абсолютна величина пов'язана із функціями та тобто

Справджуються також співвідношення Таким чином, сегмент може бути представлений наступним чином:

Радикал
[ред.]

Радикалом (або коренем) степені з дійсного числа називається таке дійсне число що Корінь степені з числа позначається Відповідно, якщо то

Для будь-якого більшого від нуля, та будь-якого існує лише одне таке число більше від нуля, що тобто має лише одне додатне значення

Нехай - множина усіх додатних дійсних чисел таких, що дійсні числа, які задовільняють цій умові, існують. Зокрема, цю умову задовільняють усі раціональні числа, які містяться у інтервалі коли та у інтвервалі коли Множина є обмеженою згори числом якщо та числом якщо Тому вона має у системі дійсних чисел точну верхню грань.

Нехай Запевнимося у тому, що Зробімо припущення про те, що Тоді Для будь-якого додатного за формулою бінома Н'ютона одержимо:

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

Припустімо тепер, що тоді Для будь-якого додатного одержуємо

Оберімо число таким чином, щоб одночасно виконувалися нерівності та тоді одержимо тобто а це знову суперечить тому, що Відповідно,

Таким чином, корінь існує. Але чи є він єдиним для ? Жодне відмінне від додатне дійсне число не може бути коренем степені з числа оскільки якщо то й та, відповідно,

Додатний дійсний корінь степені з додатного дійсного числа називається арифметичним значенням кореня степені з числа Якщо - парне число, то окрім арифметичного значення існує також (лише одне) від'ємне значення кореня степені з дійсного числа Справді, за парного одержуємо тобто є коренем степені з числа Жодне інше від'ємне число не може бути коренем степені з числа оскільки якщо та то й

У випадку непарності корінь від'ємних значень не має, оскільки за непарного з нерівності слідує нерівність Таким чином, кожна рівність виду за зокрема, й рівність (відшукання такого за якого справджувалася б дана рівність, здійснюється у системі дійсних чисел ). За парного одержуємо два рішення: та а за непарного - одне рішення

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

Розбиттям називається довільна (скінченна) послідовність цілих невід'ємних чисел, розташованих у несуворому порядку спадання, тобто Ця послідовність має лише скінченне число ненульових членів; розбиття є одним і тим самим розбиттям. Ненульові члени називаються частинами розбиття Число частин розбиття називається його довжиною й позначається а сума усіх частин - вагою розбиття й позначається

Числовою послідовністю називається функція яка ставить у відповідність кожному натуральному числу у відповідність число Послідовність позначають або або або ж де Якщо послідовність є скінченною, використовують також запис яку називають сім'єю, де називається лічильником (індексом), а - чисельністю елементів послідовності.

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

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

Якою б не була обмежена нескінченна послідовність завжди існує принаймні одна точка яка має таку властивість, що у наскільки завгодно малому (по довжині) околі міститься нескінченна множина точок послідовності Метафорично це значить, що якщо у скінченному числі ящиків міститься нескінченна множина предметів, то хоча б у одному ящику виявиться нескінченна множина цих предметів. Якщо серед чисел будуть зустрічатися від'ємні, то будемо записувати їх у вигляді десяткових дробів із від'ємними характеристиками й додатними мантисами, зокрема, Усі числа розбиваються на класи в залежності від характеристики, тобто по тому, яке число цілих одиниць стоїть відповідному записі ліворуч від коми. Чисельність таких класів є скінченною, відтак послідовність є обмеженою, і тому усі числа зосереджені між двома числами та тобто де Вважаймо числа та цілими. Тоді класів ("ящиків") буде стільки ж, скільки різних характеристик

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

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

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

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

Наприклад, послідовність чисел Фібоначчі визначається шляхом задання двох її перших членів та рекурентним співвідношенням Таким чином, одержимо послідовність:

Сума перших членів арифметичної прогресії визначається наступною рівністю:

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

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

Сума перших членів геометричної прогресії визначається за формулою

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

Зокрема, на кожному відрізку існує лише одна така послідовність Розмірковуймо індуктивно. Для відрізка це твердження є вірним, оскільки послідовність у цьому випадку складається лише з одного члена який не має передуючих членів і тому заданий безпосередньо. Нехай твердження є вірним для усіх відрізків за тоді це твердження буде вірним й для відрізку оскільки послідовність одерджується із послідовності шляхом приєднання до неї останнього члена який за умовою однозначно визначаєть через передуючі члена за допомогою даних рекурентних співвідношень. Таким чином, для відрізка існує лише одна послідовність Ця послідовність визначена на відрізку і таким чином визначена на кожному відрізку де ; усі її члени також задовільняють заданим рекурентним співвідношенням і тому співпадають із відповідними членами послідовності, яка задана на відрізку

Нехай тепер число виражається нескінченним дробом У будь-якому околі цього числа міститься нескінченна множина точок послідовності Оберімо наскільки завгодно малий окіл точки тобто наскільки завгодно малий проміжок, який містить всередині точку Позначмо довжину цього проміжку через одержимо -окіл точки :

або

Десяткові дроби рангу утворюють арифметичну прогресію із різницею Якщо то -окіл точки містить два найближчих до дроби та а відповідно, містить й утворений ними проміжок Оскільки у цьому проміжку міститься нескінченна множина членів послідовності то це саме справджується й відносно розглядуваного -околу точки

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

Послідовність має дві граничні точки: та

Ще у античні часи математик Евдокс Кнідський (408 р. до н.е.) розробив відомий нині метод вичерпування (таку назву метод одержав у 17 ст.), який застосовувався стародавніми людьми для доведення теорем, пов'язаних із обчисленням площ, об'ємів та інших величин. Метод вичерпування вважається першим варіантом теорії границь, і його суть полягає у наступному. Уявімо собі, що необхідно обчислити площу декотрої фігури, тобто віднайти величину До цієї фігури вписувалися інші фігури із заздалегідь відомими площами, внаслідок чого одержували скінченну монотонну послідовність причому

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

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

Якщо послідовність має одну граничну точку a - єдину точку причому то послідовність має дві граничні точки: та У випадку то ця послідовність має лише одну граничну точку, саме Наприклад, послідовність

Точка є граничною точкою даної множини якщо у будь-якому її наскільки завгодно малому околі міститься хоча б одна точка множини відмінна від точки Справді, якщо у будь-якому околі точки міститься хоча б одна точка даної множини то вірним є й те, що у будь-якому околі їх міститься скільки завгодно. Наприклад, нехай є -околом точки Оберімо у цьому околі точку підпорядковуючи умові Оберімо у цьому -околі нову точку відмінну від точки ; потім візмімо -окіл цієї ж точки підпорядковуючи його умові У одержаному околі оберімо третю точку відмінну від тощо.

За теоремою Больцано-Вейерштрасса, будь-яка обмежена нескінченна послідовність має принаймні одну граничну точку.

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

Якщо точка є не лише граничною точкою, але й границею обмеженої послідовності то вірним є не лише те, що у будь-якому околі точки лежить нескінченна множина точок послідовності, але й те, що у будь-якому околі точки лежать майже усі точки послідовності. Розгляньмо -окіл точки Вважаючи, що усі точки послідовності зосереджені між та можна зробити припущеня, що та відтак проміжок лежить всередині проміжку Міркуймо тепер протилежно: усі точки послідовності зосереджені у проміжку і якщо було б невірним, що "майже усі" вони лежать у проміжку то це означало б, що нескінченна їх множина лежить у парі проміжків та та, відповідно, лежить хоча б у одному з них, наприклад, у проміжку Однак за теоремою Больцано-Вейерштрасса звідси слідувало б, що послідовність має граничну точку у проміжку а це неможливо, оскільки за умовою є єдиною граничною точкою послідовності. Таким чином, приходимо до висновку, що "майже усі" точки послідовності лежать у проміжку

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

Коли говорять, що "майже усі" точки послідовності зосереджені у декотрому то мають на увазі, що лише скінченне їх число знаходиться поза цим проміжком. Кожний з цих членів послідовності має власний індекс, і якщо множина членів є скінченною, то й серед індексів є найбільший індекс. Позначмо цей найбільший індекс символом Він залежить від обраного околу точки тобто залежить від числа ; щоб підкреслити цю обставину, іноді записують Таким чином, серед членів послідовності у яких індекс одні з них, можливо, співпадають у -околі точки а інші опиняються поза цим околом; однак якщо то можна впевнено стверджувати, що відповідний член знаходиться у -околі.

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

Наприклад, для послідовності нерівність справджується за тому в якості можна взяти довільне число, яке є не меншим від

Якщо послідовність не має кінцевих граничних точок, то

Арифметична прогресія () має границю чи в залежності від того, буде чи

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

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

Якщо послідовності та дійсних чисел збігаються та й то

для усіх за та

Якщо послідовність є обмеженою, то можна вказати таку зростаючу послідовність цілих додатних чисел що послідовність буде мати границю. За теоремою Больцано-Вейерштрасса послідовність має хоча б одну граничну точку, наприклад За визначенням граничної точки, у будь-якому -околі точки міститься точка послідовності Нехай є послідовністю додатних спадних чисел, яка збігається до нуля. Для кожного де можна підібрати член даної послідовності який міститься у -околі точки тобто Підбираючи члени послідовності один за другим, можна зробити так, що кожний наступний індекс буде більшим від попереднього Таким чином, Відтак з будь-якої обмеженої послідовності можна виділити збіжну послідовність.

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

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

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

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

Наприклад, послідовність натуральних чисел має єдину граничну точку, тобто Так само послідовність за має єдину граничну точку

Послідовність має дві граничні точки: та відтак не має границі.

У випадку нескінченних границь наступні теореми

справджуються частково. При цьому справедливими є наступні теореми:

  • ;
  • ;
  • ;
  • ;
  • ;
  • ;
  • ;