Множення і ділення невід’ємних раціональних чисел. Теореми про існування та єдиність добутку та частки. Властивості (закони) множення.
6. При означенні операцій множення та ділення невід’ємних раціональних чисел будемо враховувати вимогу про те, щоб нові означення не суперечили правилам виконання дій множення і ділення цілих чисел. Як відомо, 1•3=3, що означає •==. Отже, приймемо наступне означення.
Означення: добутком двох дробів будемо називати дріб, чисельник якого дорівнює добутку чисельників даних дробів, а знаменник – добутку знаменників.
Символічно означення можна записати так: ×. Прийняте означення можна поширити на будь-яке скінченне число співмножників. Оскільки в означенні нічого не говориться про існування, єдиність і властивості цієї операції, то необхідно сформулювати та довести відповідні теореми.
Теорема 1: операція множення в множині невід’ємних раціональних чисел існує і єдина.