5. Аксіоматичне означення множення цілих невід’ємних чисел в аксіоматичній теорії. Таблиці і закони множення.
5. Операцію множення на множини цілих невід’ємних чисел також введемо аксіоматично. Для цього сформулюємо дві додаткові аксіоми, які визначають в множині цілих невід’ємних чисел бінарну алгебраїчну операцію, яка однозначно визначена і задовольняє аксіомам 7–8. Аксіома 7 визначає правила знаходження добутку, коли другий множник дорівнює нулю, а аксіома 8 – вказує на правило знаходження добутку числа а та числа, яке безпосередньо йде за числом в. Операція, з допомогою якої знаходиться добуток, називається операцією множення. Отже, можна прийняти таке означення:
Означення: множенням цілих невід’ємних чисел називається бінарна алгебраїчна операція (якщо вона існує!), яка кожній парі цілих невід’ємних чисел (а,в)єZo2 ставить у відповідність ціле невід’ємне число ав - добуток чисел а і в - та задовольняє аксіоми 7 і 8:
Аксіома 7: при множенні будь-якого цілого невід’ємного числа а на нуль отримуємо нуль (символічно ця аксіома запишеться так: (VаєZo)[а0=0]).
Аксіома 8: при множенні будь-якого цілого невід’ємного числа а на число, що безпосередньо йде за числом в, отримуємо ціле невід’ємне число ав+а (символічно ця аксіома запишеться так: (Vа,вєZo)[ав'=ав+а]).
Оскільки в означенні нічого не говориться про існування та єдиність такої операції, а також про закони, яким вона підкоряється на множині цілих невід’ємних чисел, то слід довести відповідні теореми.
Теорема 5 (про існування та єдиність добутку): операція множення цілих невід’ємних чисел існує і єдина або існує одне і тільки одне відображення f : Zo2Zo, яке кожній парі (а,в)єZo2 ставить у відповідність єдине число авєZo так, що виконуються аксіоми 7 і 8.
Доведення: доведення складається з двох частин. У першій частині доведемо єдиність операції множення. Доведення проводиться аналогічно до теореми про єдиність операції додавання (пропонуємо студентам виконати відповідне завдання № 1 для самостійної роботи).
У другій частині доведемо існування бінарної алгебраїчної операції. Для доведення існування відповідності Zo2Zo використаємо метод математичної індукції (ММІ). Утворимо деяку множину МZo, в якій операція множення існує і підкоряється аксіомам 7 і 8. Якщо а=0, то будемо вважати, що для довільного вєZo ав=0. Таке відображення задовольняє аксіоми 7 і 8, бо при а=0, маємо 00=0 (за аксіомою 7) і 0в'=0в+0=0+0=0. Отже, 0єМ. Припустимо, що для аєМ операція множення існує, тобто виконуються аксіоми 7 і 8: а0=0; ав'=ав+а. Спробуємо довести, що а'єМ. Виберемо, що а'в=ав+в, а потім покажемо, що ця рівність визначає для а' добуток, який підкоряється аксіомам 7 і 8.
а'0=а0+0 (згідно вибору) =0+0 (згідно аксіоми 7) =0 (за аксіомою 5). Розглянемо а'в=ав'+в'= (згідно вибору ав') =ав+а+в+1= (за аксіомою 8 та означенням в') =(ав+в)+(а+1)= (згідно переставного і сполучного законів додавання) =а'в+а' (згідно вибору а'в та визначення а'). Отже, для а' виконується аксіома 8, а тому а'єМ. Таким чином, множина М=Zo, бо для М виконуються всі вимоги аксіоми 4. Теорема доведена.
Теорема 6: операція множення на множині цілих невід’ємних чисел підкоряється комутативному (переставному) закону (символічно: (а,вєZo)[ав=ва]).
Теорема 7: операція множення на множині цілих невід’ємних чисел підкоряється асоціативному (сполучному) закону (символічно: (а,в,сєZo)[(ав)с=а(вс)]).
Теорема 8: операція множення на множині цілих невід’ємних чисел пов’язана з операцією додавання дистрибутивним (розподільним) законом множення відносно додавання (символічно: (а,в,сєZo)[(а+в)с=ас+вс]).
Так само, як і для операції додавання, доведення теорем 6-8 проводиться з використанням методу від супротивного та методу математичної індукції. Ми приймемо справедливість цих теорем без доведення, враховуючи еквівалентність різних теорій цілих невід’ємних чисел. На основі аксіом 7 і 8 та теорем 6-8 можна побудувати таблиці множення, з допомогою яких можна значно спростити знаходження добутку будь-яких цілих невід’ємних чисел. Ці таблиці слід знати напам’ять. Існує вісім таблиць множення: на 2, на 3, на 4, на 5, на 6, на 7, на 8, на 9. Їх побудову покажемо на кількох прикладах. 22=21=21+2= (згідно аксіоми 8) =2 (згідно аксіоми 7)+2=4 (згідно таблиці додавання). 56=55=55+5=25+5=30.
- Розповсюдження та тиражування без офіційного дозволу заборонено
- Структура залікового кредиту курсу для спеціальності 6.010102 – початкове навчання (3 р.Н.).
- Робочий навчальний план з математики.
- Питання до екзамену за і семестр
- Питання до екзамену за ііі семестр
- Основна література
- Додаткова література
- Методичні посібники
- Модуль 1: «Множини. Відповідності. Відношення.». Змістовний модуль 1.1. «Множини та операції над ними». План.
- Література
- 1. Поняття множини та її елементу, їхні позначення. Загальноприйняті позначення основних числових множин. Способи задання множин.
- 2. Порожня, скінченна, нескінченна та універсальна множини. Підмножина. Власні та невласні підмножини даної множини. Рівні та нерівні множини.
- 4. Операція об’єднання (додавання) множин та основні властивості (закони) цієї операції.
- Малюнок № 1.7. Доведення переставного закону .
- 5. Операція перетину множин та основні властивості (закони) цієї операції.
- Малюнок № 1.8. Перетин множин .
- 6. Операції різниці (віднімання) множин та основні властивості (закони) цієї операції.
- 7. Операція доповнення до даної та універсальної множини та основні властивості (закони) цих операцій.
- Малюнок № 1.18. Доведення закону де Моргана ()'''.
- 8. Поняття розбиття множини на класи (підмножини), що попарно не перетинаються. Розбиття множини на класи за допомогою однієї, двох і трьох властивостей. Класифікації.
- 9. Поняття кортежу та впорядкованої пари. Поняття кортежу довжини n. Рівні пари та кортежі.
- Малюнок № 1.19. Задання декартового добутку множин за допомогою графа.
- Модуль 1: «Множини. Відповідності Відношення.». Змістовний модуль1.2. «Відповідності та відношення.». План.
- Малюнок № 1.20. Граф відповідності.
- 4. Відношення еквівалентності та порядку, їх властивості. Впорядковані множини. Зв'язок відношення еквівалентності з розбиттям множини на класи, що попарно не перетинаються.
- Розв’язання:
- Розв’язання:
- Малюнок № 1.21. Розв’язання задачі 2.
- Розв’язання:
- 2. Розміщення з повтореннями та без повторень.
- Доведення:
- Розв’язання.
- Доведення.
- Розв’язання.
- 3. Перестановки з повтореннями та без повторення.
- Розв’язання.
- Доведення.
- Розв’язання.
- 4. Комбiнацiї та їх властивості.
- Доведення.
- Розв’язання.
- Доведення.
- Доведення.
- Запитання для самоконтролю та завдання для самостійної роботи студентів за модулем 1.
- Модуль 2: «Висловлення. Предикати. Теореми.». Змістовний модуль 2.1. «Поняття.».
- 1. Поняття як форма мислення, зміст і обсяг поняття та зв'язок між ними.
- Діаграма № 2.1. Відношення часткового збігу між поняттями.
- Діаграма № 2.2. Відношення підпорядкування між поняттями.
- 3. Аксіоми. Теореми. Ознаки.
- Означуване поняття
- Видова відмінність
- Модуль 2: «Висловлення. Предикати. Теореми.». Змістовний модуль 2.2. «Висловлення та предикати.».
- 1. Поняття висловлення, їх види (елементарні, складені, рівносильні) та позначення.
- 2. Поняття предиката, його позначення та область визначення. Поняття кванторів існування та загальності, їх позначення та зв'язок між ними.
- 3. Операція заперечення над висловленнями та предикатами. Таблиці істинності. Основні властивості (закони) операції заперечення.
- Діаграма № 2.3. Множина істинності та заперечення даного предиката ā(х).
- 4. Операція кон’юнкції над висловленнями та предикатами. Її таблиця істинності. Основні властивості (закони) операції кон’юнкції.
- 4.1. Операція кон'юнкції висловлень.
- 4.2. Операція кон'юнкції предикатів.
- 5. Операція диз’юнкції над висловленнями та предикатами. Її таблиця істинності. Основні властивості (закони) операції диз’юнкції.
- 5.1. Операція диз’юнкції над висловленнями.
- 5.2. Диз'юнкція двох предикатів.
- 6. Операція імплікації над висловленнями та предикатами. Її таблиця істинності. Основні властивості (закони) операції імплікації.
- 6.1. Операція імплікації висловлень.
- 6.2. Операція імплікації предикатів.
- 7. Операція еквіваленції над висловленнями та предикатами. Її таблиця істинності. Основні властивості (закони) операції еквіваленції.
- 7.1. Операція еквіваленції висловлень.
- 7.2. Операція еквіваленції предикатів.
- Діаграма № 2.7. Множина істинності еквіваленції предикатів.
- Розв’язування:
- Розв’язання:
- Запитання для самоконтролю та самостійної роботи студентів за змістовним модулем 2.2.
- Модуль 2: «Висловлення. Предикати. Теореми.». Змістовний модуль 2.3. «Теореми.». План.
- 1. Поняття теореми, її будова. Види теорем (дана, обернена, протилежна, обернена до протилежної, спряжені теореми) та зв'язок між ними.
- 2. Способи доведення теорем (дедуктивний, індуктивний, метод від супротивного тощо).
- Доведення:
- 3. Необхідні та достатні умови.
- 4. Поняття міркування, правильні та неправильні міркування. Перевірка правильності міркувань з допомогою кругів л.Ейлера.
- 1. Короткі історичні відомості про виникнення понять натурального числа і нуля.
- 1. Питання № 1 вивчається самостійно за таким планом:
- 2. Різні підходи до побудови теорії цілих невід’ємних чисел.
- Діаграма № 3.1. Співвідношення між числовими множинами.
- 3. Поняття натурального числа і нуля у теоретико-множинній (кількісній) теорії.
- Малюнок № 3.1.
- 5. Множина цілих невід’ємних чисел та її властивості.
- 6. Визначення суми на множині цілих невід’ємних чисел, її існування та єдиність. Операція додавання та її основні властивості (закони).
- Доведення:
- Доведення:
- 7. Віднімання цілих невід’ємних чисел, зв'язок віднімання з додаванням. Теореми про існування та єдиність різниці.
- Доведення:
- Доведення:
- 8. Визначення добутку на множині цілих невід’ємних чисел, його існування та єдиність. Операція множення та її основні властивості (закони).
- Доведення:
- Доведення:
- Доведення:
- Доведення:
- 10. Операція ділення з остачею на множині цілих невід’ємних чисел.
- Доведення:
- Завдання для самоконтролю та самостійної роботи студентів за змістовним модулем 3.1.
- Модуль ііі. «різні підходи до побудови арифметики цілих невідємних чисел». Змістовний модуль 3.2. «Аксіоматична побудова арифметики цілих невід’ємних чисел.». План
- 1. Аксіоматичний метод у математиці та суть аксіоматичної побудови теорії.
- 2. Властивості аксіоматики (несуперечливість, повнота, незалежність) цілих невід’ємних чисел. Система аксіом Дж.Пеано. Поняття натурального числа і нуля в аксіоматичній теорії.
- 3. Метод математичної індукції.
- Доведення:
- Доведення:
- 4. Аксіоматичне означення додавання цілих невід’ємних чисел в аксіоматичній теорії. Таблиці і закони додавання.
- Доведення:
- Доведення:
- 5. Аксіоматичне означення множення цілих невід’ємних чисел в аксіоматичній теорії. Таблиці і закони множення.
- 6. Відношення порядку на множині цілих невід’ємних чисел.
- 7. Означення віднімання і ділення цілих невід’ємних чисел в аксіоматичній теорії.
- Модуль ііі. «різні підходи до побудови арифметики цілих невідємних чисел». Змістовний модуль 3.3. «Натуральне число як результат вимірювання величини.». План.
- 1. Поняття натурального ряду чисел та його відрізка. Лічба елементів скінченої множини. Порядкові і кількісні натуральні числа.
- 2. Порівняння відрізків, дії над відрізками. Натуральне число як результат вимірювання величини. Натуральне число як міра величини. Натуральне число як міра відрізка.
- Малюнок № 3.6. Різниця а-b відрізків.
- 3. Означення операцій додавання і віднімання чисел, що розглядаються як міри відрізків. Трактування множення і ділення, які розглядаються як міри відрізків.
- Модуль іу. «системи числення. Подільність чисел.». Змістовний модуль 4.1. «Системи числення.». План.
- 1. Позиційні та непозиційні системи числення, запис чисел у позиційних і непозиційних системах числення.
- 2. Алгоритми арифметичних операцій над цілими невід’ємними числами у десятковій системі числення.
- Розв’язання:
- Розв’язання:
- Розв’язання:
- Модуль іу. «системи числення. Подільність чисел.». Змістовний модуль 4.2. «Подільність цілих невід’ємних чисел.». План.
- 1. Поняття «відношення подільності» та його властивості.
- 2. Теореми про подільність суми, різниці і добутку цілих невід’ємних чисел на натуральні числа.
- 3. Загальна ознака подільності б.Паскаля. Ознаки подільності цілих невід’ємних чисел на 2, 3, 4, 5, 9, 25.
- 4. Прості і складені числа. Нескінченність множини простих чисел. Решето Ератосфена.
- 5. Основна теорема арифметики цілих невід’ємних чисел.
- Розв’язання:
- 6. Дільники і кратні. Спільні дільники і спільні кратні. Найбільший спільний дільник (нсд) і найменше спільне кратне (нск), їх властивості.
- 7. Обчислення нсд і нск способом канонічного розкладу на прості множники та за алгоритмом Евкліда.
- Розв’язання:
- 8. Ознаки подільності на складені числа.
- Завдання для самоконтролю та самостійної роботи студентів.
- Модуль у. «розширення поняття про число». Змістовний модуль 5.1. «Цілі числа.». План.
- 1. Задача розширення поняття про число. Необхідність розширення множини натуральних чисел.
- 2. Побудова множини цілих чисел. Зображення цілих чисел на числовій прямій.
- Малюнок № 5.1. Зображення точок а(4) і в(-6).
- Розв’язання:
- 3. Властивості множини цілих чисел.
- Доведення:
- 4. Додавання, віднімання, множення і ділення цілих чисел. Теореми про існування та єдиність цих операцій. Закони операцій додавання і множення.
- Модуль у. «розширення поняття про число». Змістовний модуль 5.2. «Раціональні числа.». План.
- 1. Необхідність розширення множини цілих чисел.
- 2. Поняття дробу. Рівність дробів. Основна властивість дробів. Скорочення дробів та їх зведення до спільного знаменника. Нескоротні дроби.
- Доведення.
- 3. Невід’ємні раціональні числа та їх властивості.
- Доведення.
- Доведення.
- 4. Відношення порядку на множині невід’ємних раціональних чисел.
- Доведення.
- Доведення.
- 5. Додавання і віднімання невід’ємних раціональних чисел. Теореми про існування та єдиність суми і різниці. Властивості (закони) додавання.
- Доведення.
- Доведення.
- Доведення.
- 6. Множення і ділення невід’ємних раціональних чисел. Теореми про існування та єдиність добутку та частки. Властивості (закони) множення.
- Доведення.
- Доведення.
- Доведення.
- 7. Властивості множини невід’ємних раціональних чисел.
- 8. Десяткові дроби, їх порівняння, операції над ними. Перетворення десяткових дробів у звичайні та звичайних у десяткові.
- Доведення.
- 9. Додатні раціональні числа як нескінченні періодичні десяткові дроби. Чисті та мішані періодичні дроби та їх перетворення у звичайні.
- Розв’язання.
- 10. Множина раціональних чисел, модуль раціонального числа, операції над раціональними числами. Властивості множини раціональних чисел.
- Діаграма № 5.1. Співвідношення між числовими множинами q, z, n.
- Доведення.
- Малюнок № 5.2.
- 2. Додатні ірраціональні числа. Невід’ємні дійсні числа.
- Діаграма № 5.2. Співвідношення між числовими множинами n, z, q, r.
- 3. Відношення порядку на множині дійсних чисел.
- Розв’язання.
- Розв’язання.
- 4. Додавання і віднімання додатних дійсних чисел.
- Розв’язання.
- Розв’язання.
- Розв’язання.
- 5. Множення та ділення додатних дійсних чисел.
- Розв’язання.
- Розв’язання.
- 6. Множина дійсних чисел та її властивості.
- Запитання для самоконтролю та самостійної роботи студентів за модулем у.
- Модуль 6. : «вирази. Рівняння. Нерівності. Функції». Змістовний модуль 6.1. «Вирази.».
- 1. Числові вирази та їх види. Значення числового виразу та порядок обчислення значень числового виразу.
- Розв’язання:
- 2. Числові рівності та нерівності, їх властивості.
- 3. Вираз із змінною та його область визначення.
- 4. Тотожні перетворення виразів. Тотожності. Виведення основних тотожностей.
- Модуль 6. : «вирази. Рівняння. Нерівності. Функції». Змістовний модуль 6.2. «Рівняння, їх системи і сукупності.».
- Розв’язання:
- 2. Рівносильні рівняння. Теореми про рівносильність рівнянь.
- Розв’язання:
- Доведення:
- Розв’язання:
- 3. Рівняння з двома змінними. Рівняння лінії. Рівняння прямої та їх види.
- Малюнок № 6.1. Графік рівняння кола.
- Малюнок № 6.3.
- Малюнок № 6.4.
- 4. Системи та сукупності рівнянь з двома змінними та способи (алгебраїчні та графічні) їх розв’язування.
- Розв’язання.
- Розв’язання.
- Розв’язання.
- 5. Застосування рівнянь та їх систем до розв’язування текстових задач.
- Модуль 6. : «вирази. Рівняння. Нерівності. Функції». Змістовний модуль 6.3. «Нерівності, їх системи і сукупності.».
- 2. Рівносильні нерівності. Теореми про рівносильність нерівностей.
- Доведення.
- Доведення.
- 3. Системи та сукупності нерівностей з однією змінною та способи їх розв’язування. Нерівності та системи нерівностей з двома змінними, графічний спосіб їх розв’язування.
- Розв’язання.
- Модуль 6. : «вирази. Рівняння. Нерівності. Функції». Змістовний модуль 6.4. «Функції.».
- 1. Поняття числової функції, способи їх задання, графік та властивості.
- 2. Пряма пропорційність, її властивості та графік.
- 3. Лінійна функція, її властивості та графік.
- 4. Обернена пропорційність, її властивості та графік.
- 5*. Квадратична функція, її властивості та графік.
- 6*. Операції над функціями та графіками, перетворення графіків.
- Розв’язання.
- Розв’язання.
- Розв’язання.
- Розв’язання.
- Запитання для самоконтролю та самостійної роботи студентів.
- Модуль 7: «елементи геометрії. Величини.». Змістовний модуль 7.1. «Геометричні побудови на площині.».
- 1. Короткі історичні відомості про виникнення та розвиток геометрії. Поняття про аксіоматичний метод побудови геометрії та історію його розвитку в геометрії.
- 2. Основні геометричні побудови циркулем і лінійкою.
- Побудова кута, що дорівнює даному (див. Малюнок № 7.1.).
- Поділ відрізка пополам.
- Малюнок № 7.2. Поділ кута пополам.
- Побудова прямої, яка проходить через дану на ній точку, перпендикулярно до даної прямої (малюнок № 7.4.).
- Побудова трикутника за трьома сторонами.
- 3. Основні методи геометричних побудов (метод гмт, методи осьової та центральної симетрії, метод паралельного перенесення, метод гомотетії, алгебраїчний метод).
- Метод геометричних місць точок.
- Малюнок № 7.5. Метод симетрії відносно прямої.
- Метод повороту площини навколо точки.
- Метод симетрії відносно даної точки.
- Метод паралельного перенесення.
- Метод гомотетії.
- Алгебраїчний метод.
- 4. Побудова правильних многогранників.
- 2. Правильні многогранники та їх види.
- Доведення:
- 3. Поняття тіла обертання, їх види (циліндр, конус, куля. Сфера) та їх зображення на площині.
- Модуль 7: «елементи геометрії. Величини.». Змістовний модуль 7.3. «Величини та їх вимірювання.».
- 1. Поняття величини та її вимірювання. Відображення властивостей реального світу через поняття величини. Види величин.
- 2. Поняття довжини відрізка та способів його вимірювання. Основні властивості довжини. Одиниці вимірювання довжини та співвідношення між ними.
- 3. Поняття площі плоскої фігури, її основні властивості та способи вимірювання. Рівновеликі та рівноскладені фігури. Одиниці вимірювання площі та співвідношення між ними.
- Малюнок № 7.10.. Квадрати нульового рангу.
- Малюнок № 7.11. Фігури ф і f.
- Доведення:
- 4. Виведення формул для знаходження площі паралелограма, трикутника, трапеції. Формули для знаходження площ поверхонь просторових геометричних фігур.
- Малюнок № 7.12.
- Малюнок № 7.13.
- Доведення:
- Малюнок № 7.14.
- Доведення:
- Доведення:
- Малюнок № 7.16.
- 5*. Поняття об’єму тіла, його властивостей, способів його вимірювання, одиниць вимірювання та співвідношень між ними. Об’єми многогранників та тіл обертання.
- Запитання для самоконтролю та самостійної роботи студентів.