Математическое мышление | 24.4: Доказательство: обратная функция f является функцией тогда и толь...

Полный курс — бесплатные упражнения, конспекты и обратная связь от ИИ: https://ludium.ai/courses/mathematical-reasoning У каждой функции есть обратная функция в виде множества поменянных местами пар, но это множество является функцией только иногда. В этом видео доказывается гипотеза из предыдущего видео в обоих направлениях: если f — биекция, то обратная функция f — функция, и если обратная функция f — функция, то f — биекция. Попутно показывается, какое свойство f удовлетворяет каждому условию. Основные рассматриваемые понятия: Два условия для того, чтобы подмножество B пересекало A, являлось функцией Определения инъекции, сюръекции и биекции в форме, готовой к доказательству Как общий выходной параметр или пропущенный элемент нарушает обратное утверждение Переход между f(x равно y) и парой x, y в f Прямое направление: сюръективность дает условие один, условие инъективности два Обратное утверждение: доказательство того, что f является инъекцией, а затем сюръекцией Структурирование доказательства бикондициональности ━━━━━━━━━━━━━━━━━━━━━━━━ ИСТОЧНИКИ МАТЕРИАЛОВ Источники для этого видео взяты из https://scholarworks.gvsu.edu/books/28/ Атрибуция: Адаптировано (с озвучкой и анимацией) из книги «Математическое мышление: письмо и доказательство» (издание PreTeXt, основанное на версии 3) Теда Сандстрома, Университет штата Гранд-Вэлли (https://scholarworks.gvsu.edu/books/28/), лицензия CC BY-NC-SA 3.0 (https://creativecommons.org/licenses/by-nc-sa/3.0/). Были внесены изменения: текст был переписан для озвучки, а задания были выполнены. Данная адаптация распространяется под той же лицензией. Лицензия: Данное видео лицензировано Ludium под CC BY-NC-SA 4.0 (https://creativecommons.org/licenses/by-nc-sa/4.0/). Озвучка: Создано с помощью Fish Audio — Drama 3 open-weights text-to-peech (https://fish.audio).