Найти в Дзене

ДОКАЗАТЕЛЬСТВО ЕДИНСТВA ЭЛЕМЕНТАРНОЙ МАТЕМАТИКИ И МАТЕМАТИЧЕСКОГО АНАЛИЗА

ВСТУПЛЕНИЕ Появление математического анализа сопровождалось нарушением постулатов математики: при нахождении полного приращения двухфакторной функции – один из членов уравнения, а именно произведение сомножителей, отбрасывался. Пренебрежение величиной этого члена ведет к неточности окончательного результата. Игнорирование этого члена уравнения в расчетах обусловило возникновение второго кризиса основ математического анализа. Многочисленные предложения по разложению данного произведения на сумму независимых слагаемых не увенчались успехом, а отбрасываемый член получил название «неразложимого остатка», или «остаточного члена». Для обоснования правомерности исключения из расчета остаточного члена предложен метод символического исчисления с введением понятия предела (lim), который не является знаком математического действия. Обращение к пределу позволило неотъемлемую часть уравнения представить в виде нулевой величины и исключить из расчета. Решение по преобразованию пр

ВСТУПЛЕНИЕ

Появление математического анализа сопровождалось нарушением постулатов математики: при нахождении полного приращения двухфакторной функции – один из членов уравнения, а именно произведение сомножителей, отбрасывался. Пренебрежение величиной этого члена ведет к неточности окончательного результата. Игнорирование этого члена уравнения в расчетах обусловило возникновение второго кризиса основ математического анализа.

Многочисленные предложения по разложению данного произведения на сумму независимых слагаемых не увенчались успехом, а отбрасываемый член получил название «неразложимого остатка», или «остаточного члена».

Для обоснования правомерности исключения из расчета остаточного члена предложен метод символического исчисления с введением понятия предела (lim), который не является знаком математического действия. Обращение к пределу позволило неотъемлемую часть уравнения представить в виде нулевой величины и исключить из расчета.

Решение по преобразованию произведения сомножителей в сумму независимых слагаемых, каждое из которых с наперед заданной точностью отражает долю своего участия в каждом из сомножителей, служит основанием общих основ математики. Возможность такого преобразования подтверждается геометрически. Произведение сомножителей представлено в виде площади прямоугольника, единицей измерения которого служит квадрат. Исходный прямоугольник раскладывается на подобные прямоугольные треугольники, площади которых с абсолютной точностью выражают свою долю в сомножителях произведения – «остаточного члена».

Вне зависимости от абсолютных значений сомножителей и их знака, получено решение задачи по преобразованию произведения в сумму независимых слагаемых, которая ранее считалась не решаемой.

Представленное доказательство единства элементарной математики и математического анализа открывает принципиально новые возможности по использованию принципов математического анализа для точной оценки влияния членов функции на конечные результаты анализа в различных областях науки и практики.

Многочисленные предложения по разложению данного произведения на сумму независимых слагаемых не увенчались успехом, а отбрасываемый член получил название «неразложимого остатка», или «остаточного члена».

Для обоснования правомерности исключения из расчета остаточного члена предложен метод символического исчисления с введением понятия предела (lim), который не является знаком математического действия. Обращение к пределу позволило неотъемлемую часть уравнения представить в виде нулевой величины и исключить из расчета.

ЧАСТЬ1

Возникновение математического анализа обязано дифференциальному и интегральному исчислению, появление которых и привело ко второму кризису методологических основ математики. Методы Ньютона и Лейбница основывались на привлечении к анализу неопределённых бесконечно малых величин (б.м.в.) различных порядков малости или на так называемой «e – d технике языка», означающей разницу между ∆y – полным приращением функции [f(х) – f(х0)] и дифференциалом dy – приближённым приращением без учёта в полном приращении после первого слагаемого последующих частей числа: ∆ydy = d – остаточных членов [1]. Принято считать, что значения ∆y, dy, ∆х = – представляют первый порядок малости, а значения e и d – второй порядок малости, которыми обозначают неопределённые и «трудноопределяемые» величины, от которых при дифференциальном исчислении сразу избавляются. Именно отказ от приростов более высоких порядков малости обусловил неустранимость сомнений в достоверности обоснования дифференциального исчисления. Предложенный этими учёными метод практически сразу подвергся критике за неясность (скачёк) перехода от ∆y к dy. Принятый в математическом анализе метод игнорирует требование элементарной математики – это не строго-научный способ доказательства и обоснования, а некий метафизический приём. В данной работе речь пойдёт о нахождении полного значения производной функции без отбрасывания приращений более высокого порядка малости. Причина отбрасывания последующих приращений проста: неизвестно как их учитывать при n-мерной функции, которая включает совместное и одновременное действие нескольких независимых факторов. В этом случае применение дифференциального исчисления ставится под сомнение, – отбрасывание части от полного числа достоверным не является.

Рассмотрим состояние проблемы на примере однофакторной функции с использованием общепринятых обозначений.

Имеется функция: f(х0) = y0 = х2; её полное приращение составит: ∆y= 2х∆х + ∆х2 (1) и при ∆х→ 0 получаем: f(х) – f(х0) » dy = 2х∆х (2). Дифференциал функции dy получен за счёт исключения из полного приращения второго слагаемого хвоста прироста (остаточного члена ∆х2), а dy – часть полного приращения, представляет усечённую конечную величину, поэтому результат не может быть верным по определению. Внутренняя непрочность фундамента, на котором выстраивается математический анализ, даёт основание считать, что при переходе к высшей математике лежат непреодолимые трудности, поскольку отбрасывание остаточного члена не ведёт к его исчезновению. В действительности остаточный член не исчезает и не уничтожается, а продолжает существовать как данность.

Соблюдение элементарного правила означает: математический анализ должен строиться на основе обычных действий алгебры и геометрии и общего учения о величинах. Требуется использовать строго аналитический подход для установления непосредственной связи между элементарной и высшей математикой, поскольку иные предложения будут носить временный характер.

[1] См.: Жуков Н.И. Философские проблемы математики. Минск. 1977. – С. 75.

Вопрос касается пересмотра базовой основы математического анализа: в расчётах необходим учёт всех величин, в том числе и величин более высокого порядка малости. Главное представить строго-аналитическое обоснование математического анализа. Другой вопрос: зачем нужна и где потребуется более высокая точность в расчётах? Но и это далеко не главное.

Принятое в дифференциальном исчислении субъективное мнение о стремлении ∆х→ 0 не представляет естественное правило, как и условие о пренебрежении в расчётах величинами возрастающих порядков малости. Учёт полного приращения функции ∆y необходим для утверждения математики в качестве точной науки. При несоблюдении этого правила метод дифференциального исчисления ставится под сомнение. Необходим отказ от укоренившегося представления на остаточные члены как на «смущающие умы остатки», – природа не основывается на принятых математиками субъективных принципах и допущениях. Но при дифференциальном исчислении требование практики оказалось превалирующим над строгостью математического доказательства: оно уступило место демонстрации практической пользы за счёт введения сомнительных правил и процедур.

Использование dy отражает приближённый результат приращения, облегчающий вычислительные операции при нахождении производных функций, что позволило строить логические конструкции. Приравнивание ∆y к dy не является истинным, а следует из неравенства (∆y ¹ dy) как искусственно-приближённый метод. В свою очередь, равенство ∆х = dх выполняется строго, как одинаковые линейные части абсциссы оси Х, а величина ∆х выступает мерой измерения как ∆y, так и dy. Отметим следующий момент: считается, что ∆х – величина первого порядка малости и в отличие от величин более высокого порядка малости не подлежит отбрасыванию, а выступает как необходимый элемент анализа.

Процесс дифференцирования означает нахождение производной функции в виде отношения: f /(х) » dy/dх = 2х (3), – это формула приближённого равенства. Выражение: f /р(х)=∆y/∆х = (2х∆х + ∆х2)/∆х=2х + ∆х (4) – формула точного равенства [2]. В математическом анализе приближённую формулу производной функции обозначают как f /(х), а для точного обозначения производной однофакторной функции относительно полного приращения, следует использовать иное обозначение – f /Р(х), которое соответствует реальному положению вещей.

Функция f(х0) = х2 – представляет само явление, в то время как её производная f /(х) – раскрывает тенденцию в изменении приращения относительно величины ∆х, принятую за меру измерения. Результат вычисления производной функции по приближённым формулам приращения не может быть точным.

Придерживаемся правила: при решении усложняющейся задачи следует использовать новую систему понятий и соответствующие им обозначения. С этой целью при переходе к точно-однозначному определению производной

[2] Отсутствие логики при дифференцировании обнаруживается и в том, что если ∆х отбрасывается в числителе, то почему он сохраняется в знаменателе?

функции вводится новое обозначение, отражающее действительное состояние явления. При использовании f /Р(х) вместо f /(х), имеет место уже не дифференциальное исчисление, а метод точного определения производной функции относительно величины полного приращения. В этом случае само обозначение и название дифференциального исчисления теряет смысл, так как теперь речь идёт о точном определении производной функции относительно полного приращения. Метод дифференциального исчисления следует отнести к частному случаю общего правила по точному определению производной функции вне зависимости от численных значений приростных величин.

Практически верный результат в процессе дифференцирования получается по той причине, что величина приращения находится в числовой области, где доминируют величины одного порядка малости, а результат производной функции переходит в другую числовую область, определяемую конкретными значениями х, практически несопоставимой с ∆х→0. Формула производной функции есть отношение величин одного порядка малости, в результате порядок степени взаимно уравновешивается и получаем абсолютное значение относительной величины, означающей возвращение в область первоначальных значений, из которых образовалась функция, что иллюстрируют формулы (3) и (4). Данному явлению имеется объяснение: отношение двух предметов (например – диагонали квадрата к его стороне) имеет не только абсолютное, но и относительное значение, которое не зависит от размера измеряемых величин. «Относительное» переходит в абсолютное значение, оставаясь относительной величиной, и это отношение не зависит от выбора масштаба измерения, – какой бы масштаб не использовался, результат останется неизменным.

Производная функция f / Р(х) показывает во сколько раз величина полного приращения площади (2х∆х + ∆х2) превышает конкретную величину её аргумента – единицу масштаба приращения (∆х). В данном случае она больше в (2х + ∆х) раза и это уже не размер площади, а линейная величина, выражающая первичное значение функции: имеет место возвращение к состоянию, из которого первоначально возникла функция. Но в таком случае значение ∆х→ 0 в производной функции строго определено и выступает в качестве конкретного количества, то есть является архимедовой величиной, а не неопределённой б.м.в. или некой актуальной бесконечностью. Если бы значение ∆х→ 0 являлось неопределённой б.м.в., то получить результат в виде конкретной первоначальной величины равной: (2х + ∆х) – было бы нельзя.

Приведение производной функции к первоначальной размерности не мистификация, но следует принять во внимание, что числовые области, занимаемые (2х) и (∆х→ 0), – несопоставимы по своим абсолютным значениям. «Лейбниц и Ньютон, – отмечает В.Я. Перминов, завершили эти работы созданием алгоритмов, позволяющих единообразным путем решать все эти, на первый взгляд, разнородные задачи. Эти алгоритмы, будучи приняты, подверглись, однако, критике за неясность в основных понятиях» [3].

[3] Перминов В.Я. Развитие представлений о надежности математического доказател

Усилия учёных по поиску путей обоснования дифференциального исчисления способствовали появлению символического метода. В начале ХIХ столетия О. Коши, отбросив неопределённую теорию б.м.в., осуществил, –– по мнению Н.Н. Лузина, – на новом уровне возврат к понятию предела, которым широко пользовался Ньютон [4].

О. Коши, усовершенствовав достижения своих предшественников, придал понятию предела необходимую строгость в обосновании отказа от учёта приращений второго и последующих порядков малости. Изменилась методика и фразеология доказательства, но сам принцип отказа от использования величин более высокого порядка малости (e и d ) – остался в неприкосновенности. Но поскольку до концепции предела фактически обоснования анализа не существовало, то появление нового разъяснения его природы многих учёных устроило. Теория предела, согласно современным представлениям, означает снятие разности между функциями [f(х) – f(х0)], которая происходит при помощи предельного перехода от ∆х→ к 0. За неимением лучшего теория предела получила права гражданства и вселяла уверенность, что второй кризис основ математики окончательно преодолён и открываются широкие возможности для оперирования основными положениями в математическом анализе. Переход к символическому исчислению объяснялся необходимостью избавиться от пользования неопределёнными б.м.в.

Окончательно сформировавшаяся концепция предела ко второй половине ХХ столетия подменила содержательную сторону математики, а дифференциальное исчисление выступило не как научный метод, а как способ приближённого исчисления. Такое положение вещей более чем устроило практику за счёт значительного упрощения формул и облегчения вычислений, а вся высшая математика попала в полную зависимость от понятия предела, который как символ позволил упростить вычисления. Но результат, при отбрасывании части от целого, не может быть точным, при этом научному сообществу не был представлен строгой метод, – формула или алгоритм для точного определения производной функции f / Р(х), что позволило бы осознанно использовать приближённый способ вычисления. При отбрасывании второго и последующих порядков малости в ряде случаев может возникнуть существенная ошибка. Реальное обоснование не может основываться на субъективно принятом условии, что ∆х→ 0. Введение предела позволило последующие члены приращения представить исчезающими величинами, но такое допущение противоречит практике и логике: в реальности приращения могут не только уменьшаться, но и увеличиваться. Метод нахождения точного значения производной функции должен работать надёжно во всех без исключений случаях.

Использование в математическом анализе предела – есть искусственный приём, позволивший избавиться в расчётах от несоизмеримых величин и упростить вычисления. Именно предел создал непреодолимый рубеж между элементарной и высшей математикой. Установление между ними непосредственно-прямой зависимости должно быть осуществлено по алгебраическим правилам.

[4] См.: Лузин Н.Н. Собр. соч., т. 3. М. 1959. – С. 375.

ПРОДОЛЖЕНИЕ СЛЕДУЕТ...