Подробные доказательства/выводы из определения [ править ]
Мы можем доказать весь принцип линейности сразу или мы можем доказать отдельные шаги (постоянный множитель и сложение) по отдельности. Здесь будут показаны оба.
Непосредственное доказательство линейности также доказывает правило постоянного фактора, правило сумм и правило разности как частные случаи. Правило сумм получается путем установки обоих постоянных коэффициентов равными . Правило разности получается путем установки первого постоянного коэффициента равным и второй постоянный коэффициент для . Правило постоянного коэффициента получается путем установки либо второго постоянного коэффициента, либо второй функции равным . (С технической точки зрения необходимо также учитывать область определения второй функции — один из способов избежать проблем — установить вторую функцию равной первой функции, а второй постоянный коэффициент — равным . Можно также определить и второй постоянный коэффициент, и вторую функцию равными 0, где область определения второй функции, помимо других возможностей, является надмножеством первой функции.)
Напротив, если мы сначала докажем правило постоянного фактора и правило сумм, мы сможем доказать линейность и правило разности. Доказательство линейности осуществляется путем определения первой и второй функций как двух других функций, умноженных на постоянные коэффициенты. Затем, как показано в выводе из предыдущего раздела, мы можем сначала использовать закон сумм при дифференцировании, а затем использовать правило постоянного фактора, что позволит прийти к нашему выводу о линейности. Чтобы доказать правило разности, вторую функцию можно переопределить как другую функцию, умноженную на постоянный коэффициент при . В упрощенном виде это дало бы нам правило различия для дифференциации.
В доказательствах/выводах ниже, [7] [8] коэффициенты используются; им соответствуют коэффициенты выше.
Позволять . Позволять быть функциями. Позволять быть функцией, где определяется только там, где и оба определены. (Другими словами, область является пересечением областей и .) Позволять находиться в сфере . Позволять .
Мы хотим доказать это .
По определению мы видим, что
Чтобы использовать закон пределов для суммы пределов, нам нужно знать, что и оба существуют индивидуально. Для этих меньших пределов нам нужно знать, что и оба индивидуально существуют, чтобы использовать закон коэффициентов для пределов. По определению, и . Итак, если мы знаем, что и оба существуют, мы будем знать это и оба существуют индивидуально. Это позволяет нам использовать закон коэффициентов для пределов, чтобы записать
и
При этом мы можем вернуться к применению закона пределов для суммы пределов, поскольку мы знаем, что и оба существуют индивидуально. Отсюда мы можем напрямую вернуться к производной, над которой работали.
Наконец, мы показали то, что утверждали вначале: .
Позволять быть функциями. Позволять быть функцией, где определяется только там, где и оба определены.(Другими словами, область является пересечением областей и .) Позволять находиться в сфере . Позволять .
Мы хотим доказать это .
По определению мы видим, что
Чтобы использовать здесь закон суммы пределов, нам нужно показать, что индивидуальные пределы, и оба существуют. По определению, и , поэтому пределы существуют всякий раз, когда производные и существовать. Итак, предполагая, что производные существуют, мы можем продолжить приведенный выше вывод.
Таким образом, мы показали то, что хотели показать: .
Позволять быть функциями. Позволять быть функцией, где определяется только там, где и оба определены. (Другими словами, область является пересечением областей и .) Позволять находиться в сфере . Позволять .
Мы хотим доказать это .
По определению мы видим, что:
Чтобы использовать здесь закон различия пределов, нам нужно показать, что отдельные пределы, и оба существуют. По определению, и это , поэтому эти пределы существуют всякий раз, когда производные и существовать. Итак, предполагая, что производные существуют, мы можем продолжить приведенный выше вывод.
Таким образом, мы показали то, что хотели показать: .
Позволять быть функцией. Позволять ; будет постоянным коэффициентом. Позволять быть функцией, где j определяется только там, где определяется. (Другими словами, область равна области определения .) Позволять находиться в сфере . Позволять .
Мы хотим доказать это .
По определению мы видим, что:
Теперь, чтобы использовать предельный закон для постоянных коэффициентов и показать, что
нам нужно это показать существует.Однако, , по определению производной. Итак, если существует, то существует.
Таким образом, если мы предположим, что существует, мы можем воспользоваться предельным законом и продолжить доказательство.
Таким образом, мы доказали, что когда , у нас есть .
Arc.Ask3.Ru Номер скриншота №: 9acb69966f633e0e01294bf9882c6de1__1704037440 URL1:https://arc.ask3.ru/arc/aa/9a/e1/9acb69966f633e0e01294bf9882c6de1.html Заголовок, (Title) документа по адресу, URL1: Linearity of differentiation - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)