- •Паскевич Тетяна Іванівна магістерська робота електронний посібник для поглибленого вивчення математики учнями математичних ліцеїв та шкіл
- •1. 1. Поняття про електронний підручник
- •1. 2. Основні вимоги до електронного підручника
- •1. 3. Структуризація та оформлення електронного підручника
- •1. 3. 1. Особливості мови html
- •1. 3. 2. Редагування тексту
- •3Адання заголовків
- •1. 3. 3. Створення гіперпосилань і графіки на Web-cторінках
- •1. 3. 4. Робота з таблицями
- •1. 4. Програма Advanced Grapher.
- •1. 5. Етапи створення посібника
- •2. 1. Границя послідовності
- •2. 1. 1. Деякі позначення і термінологія
- •2. 1. 2. Числові послідовності та їх класифікація
- •2. 1. 3. Нескінченно малі послідовності та їх властивості
- •2. 1. 4. Границя послідовності
- •2. 1. 5. Граничний перехід в нерівностях
- •2. 1. 6. Нескінченно великі послідовності
- •2. 2. Теорія дійсних чисел
- •2. 2. 1. Теорія дійсних чисел
- •Порівняння дійсних чисел
- •Властивість транзитивності
- •Додавання дійсних чисел
- •Віднімання дійсних чисел.
- •Множення дійсних чисел
- •Частка двох дійсних чисел
- •Інші властивості дійсних чисел
- •2. 2. 2. Точні грані множини
- •2. 2. 3. Поняття підпослідовності. Теорема Больцано-Вейєрштрасса. Поняття часткової границі. Верхні і нижні границі, проблема їх існування
- •2. 2. 4. Критерій Коші збіжності послідовності
- •2. 3. Границя і неперервність функції
- •2. 3. 1. Гранична точка множини. Означення границі функції
- •2. 3. 2. Границя функції на нескінченності (випадок, коли )
- •2. 3. 3. Односторонні границі функції в точці
- •Перша цікава границя.
- •2. 3. 4. Означення неперервності функції в точці. Точки розриву функції та їх класифікація
- •2. 3. 5. Арифметичні операції над неперервними функціями
- •Одностороння неперервність функції в точці
- •2. 3. 6. Властивості неперервних функцій
- •Локальна властивість
- •2. Глобальні властивості
- •2. 3. 7. Обернена функція
- •2. 4. Показникова та логарифмічна функції і їх властивості
- •2. 4. 1. Степінь з раціональним показником. Показникова функція та її властивості
- •2. 4. 2. Логарифмічна функція
- •2. 4. 3. Загальностепенева функція і її властивості
- •2. 4. 4. Друга та інші цікаві границі
- •2. 4. 5. Гіперболічні функції та їх графіки
- •3. 1. Похідна та її обчислення
- •3. 1. 1. Поняття дотичної до кривої. Кутовий коефіцієнт дотичної
- •3. 1. 2. Диференційованість функції в точці. Зв’язок її з неперервністю і існуванням похідної
- •3. 1. 3. Правила диференціювання
- •3. 1. 4. Диференціал функції та його застосування
- •3. 1. 5. Похідні і диференціали вищих порядків
- •3. 1. 6. Параметрично задані функції і обчислення їх похідних
- •3. 1. 7. Теореми про середнє. І, іі правила Лопіталя. Критерій строгої монотонності функції
- •3. 2. Дослідження функції та побудова її графіку
- •3. 2. 1. Дослідження функції на екстремум
- •3. 2. 2. Дослідження функції диференційованої на відрізку на найбільше та найменше її значення на цьому ж відрізку
- •3. 2. 3. Опуклість і вгнутість графіка функції. Теорема про достатні умови опуклості, вгнутості функції на проміжку
- •3. 2. 4. Точки перегину графіка функції та їх відшукання
- •3. 2. 5. Асимптоти графіка функції
- •4. 1. Невизначений інтеграл
- •4. 1. 1. Первісна. Невизначений інтеграл
- •4. 1. 2. Заміна змінних у невизначеному інтегралі. Інтегрування за частинами
- •4. 2. Інтегрування різних класів функцій
- •4. 2. 1. Інтегрування раціональних функцій
- •4. 2. 2. Інтегрування деяких класів ірраціональних функцій
- •4. 2. 3. Інтегрування ірраціональних функцій з квадратним тричленом під квадратним коренем. Підстановки Ейлера
- •4. 2. 4. Підстановки Чебишева
- •4. 2. 5. Інтегрування тригонометричних функцій
- •4. 3. Інтеграл Рімана
- •4. 3. 1. Суми Дарбу. Їх властивості та означення інтеграла Рімана
- •4. 3. 2. Рівномірно-неперервні функції. Теорема Кантора
- •4. 3. 3. Друге означення інтеграла Рімана
- •4. 3. 4. Властивості інтеграла Рімана
- •4. 3. 5. Інтеграл із змінною верхньою межею. Його властивості
- •4. 3. 6. Формула Ньютона-Лейбніца (основна формула інтегрального числення). Інтегрування методом підстановки та за частинами
- •4. 4. Застосування інтеграла Рімана
- •4. 4. 1. Площа криволінійної трапеції
- •4. 4. 2. Площа криволінійного сектора.
- •4. 4. 3. Об’єм тіла обертання
- •4. 4. 4. Довжина дуги кривої
- •4. 4. 5. Площа поверхні обертання
- •4. 4. 6. Координати центра ваги матеріальної дуги та пластинки. Теореми Гульдена
Інші властивості дійсних чисел
Спочатку домовимось про наступні поняття:
1)
2)
3)
4)
Вище розглянуті множини відповідно називаються відрізком, інтервалом, піввідрізком, півінтервалом, які об’єднуються одною назвою проміжки.
Теорема 4 (аксіома Кантора). Нехай ми маємо послідовність відрізків з такими двома властивостями:
1) (послідовність вкладених відрізків);
2) довжини відрізків прямують до нуля, коли
Тоді існує єдине дійсне число таке, що належить всім відрізкам нашої послідовності, тобто:
Доведення. Із властивості 1) маємо, що послідовність - монотонно неспадна, а послідовність - монотонно незростаюча. Доведемо, що послідовність - обмежена зверху, а послідовність - обмежена знизу. Це випливає з наступної нерівності: (1). Припустимо, що (1) невірно. Тоді матимемо:(2). З цієї нерівності будемо мати, що відрізкиіматимуть не більше однієї спільної точки, в той час як один з них міститься в іншому.
Тому припущення невірне, а з ним (1) і обмеженість послідовностей і відповідно зверху і знизу доведені.
Значить за теоремою Вейєрштрасса
З цих двох рівностей і нерівності (1) за теоремою про граничний перехід в нерівностях отримаємо, що (3). Припустимо, щоОскільки послідовність - монотонно неспадна, а послідовність - монотонно незростаюча, то Значить,Звідси видно, що вне входить жоден член послідовностітому вона, не може бути нескінченно малою, що протирічить умові 2) нашої теореми.
Отже неправильно, що тому з нерівності (3) маємо:Покажемо, що число- є шукане. Оскількито це означає, щоі існування числадоведено.
Залишається довести єдність. Припустимо, що таких чисел є два іТодітому отримаємоЗвідси за теоремою про граничний перехід в нерівностях одержимощо суперечить умові 2) нашої теореми. Припущення невірне. Теорема доведена.
Уважний перегляд доведеної теореми дозволяє стверджувати, що аксіома Кантора є нескладним наслідком теореми Вейєрштрасса. Можна показати і зворотне, що теорема Вейєрштрасса теж є наслідком теореми Кантора. Отже, ці факти еквівалентні, але на цьому список еквівалентних тверджень не закінчується. Для одержання наступного нам потрібно ввести деякі нові поняття.
2. 2. 2. Точні грані множини
Якщо ми маємо деяку непорожню множину дійсних чисел, то подібно до послідовностей тут також можна говорити (з тими ж означеннями) про нижню, верхню межі множини, а також про обмеженість множини. Очевидно, що якщо деяка множина обмежена знизу (зверху), то вона має безліч нижніх (верхніх) меж. Неважко здогадатися, що із всіх цих нижніх (верхніх) меж найбільший інтерес представляє найбільша (найменша) із всіх нижніх (верхніх) меж. Її називатимемо точною нижньою (верхньою) гранню множини або інфінуумом (сюпремумом) множини і позначатимемо
Наприклад. - множина всіх ірраціональних чисел, що лежать між числами 1 і 2. Тодіі
Очевидно, що тут іне належать до множини, хоча існують приклади зворотнього. Зауважимо, що якщоналежить до множинито він буде найменшим елементом цієї множини. Оскільки точні грані вибираються як найменше чи найбільше число із безлічі чисел, то виникає проблема їх існування (адже не завжди із безлічі чисел можна вибрати максимальне чи мінімальне ). Наступна теорема розв’язує цю проблему.
Теорема 1 (Про існування точних граней множини). Кожна обмежена зверху (знизу) і не порожня множина дійсних чисел має
Доведення. Візьмемо множину - непорожню і обмежену зверху. Оскількинепорожня, тоЗ того, що множина обмежена зверху випливає, щотаке, що правіше відрізканема жодного елемента множини
Точкою поділимо відрізокна два рівних відрізки і позначимо черезцей з утворених відрізків, який містить хоча б одну точку множиниі правіше якого немає жодного елемента множиниЯкщо таких відрізків є два, то беремо будь-який. З цим відрізком робимо аналогічну процедуру. В результаті нескінченого продовження цієї процедури одержимо послідовність відрізків з такими властивостями:
довжина відрізка дорівнює
- не є порожньою множиною;
правіше нема жодного елемента множини
З перших двох властивостей за аксіомою Кантора маємо: Доведемо, що одержане числоі будеДля цього треба показати:
- є верхньою межею множини
- є найменшою з верхніх меж множини
Доведемо 1. Припустимо, що це не так. Тоді Візьмемоі утворимоОскількиналежить всім відрізкам нашої послідовності і довжини цих відрізків прямують до нуля, то обов’язково знайдеться хоча б один відрізокякий лежатиме в цьому околі, бо в протилежному випадку всі відрізки нашої послідовності не належали б цьому околу і оскільки вони міститимуть точкуто довжина кожного з них була б не меншою за радіус околуа це протирічить умові 2). Тоді це означатиме, що правіше цього відрізка є точкащо протирічить властивості 4). Припущення неправильне, а це означає , що 1. доведене.
Доведемо 2. Знову припустимо, що будучи верхнею межею не є найменшою з верхніх меж множиниЗначить,і- є верхнею межею множиниНехай зновуРозглянемоЯк і вище в цейпопаде хоча б один відрізокнашої послідовності. Оскільки(за припущенням) є верхнею межею множиниато всі точкилежать правіше точкиа значить,не містить жодного елемента множиниа це протирічить властивості 3). Припущення невірне і теорема доведена.
Зауважимо, що твердження не буде справедливим для множини раціональних чисел. Використовуючи означення точних граней можна одержати наступні властивості цих граней:
І) тоді:
1) (- нижня межа);
2) (з того, що- є найбільшою нижньою межею).
ІІ) тоді:
1)
2)
У зв’язку з доведеною теоремою і теоремою Вейєрштрасса виникає питання: чи немає зв’язку між границею монотонної, обмеженої послідовності і точними гранями цієї послідовності.