Виктор Лёвин - Актуальность сложности. Вероятность и моделирование динамических систем

На практике же руководствуются идеей «стандарта непрерывности» измеряемой функции, т.е. полагают, что существует такая функция 5(e), ограничивающая колебания нашей функции f (в каждом интервале длины 5 колебания нашей функции не превышают е) [74].

Когда известен такой стандарт непрерывности, достаточно измерить нашу функцию f лишь в конечном ряде точек с плотностью меньше 5, чтобы рассчитать всю функцию f во всех точках с точностью е, и, наконец, интеграл с точностью lе, где l - длина пути инерции. Но Фройденталь указывает далее, что недостаточно предположения абстрактного существования стандарта непрерывности для определения функции. Надо еще полностью определить вид непрерывности. Однако сам стандарт непрерывности 5(e) нельзя измерить. Это чистое допущение, которое явно или неявно делается на практике. Так, интеграция некоторого набора экспериментальных значений (зафиксированных скажем точками в пространстве двух переменных) осуществляется с помощью наиболее простой функции, которая удовлетворяла бы этим значениям. Этот прием, например, используется при интерполяции экспериментальных значений пути падения как функции времени падения, полученных прибором Альтвуда. Средством интерполяции служит квадратичная функция.

Более объективный метод интерполяции связан с обращением к вероятности (можно указать на способ доверительных интервалов). И в этом месте Фройденталь специально подчеркивает, что переход к вероятности не снимает момента выбора, предположения, в силу чего измерение функций оставляет нас в классе величин, которые он назвал предположительностями. С классом предположительности мы имеем дело и при расчете пределов или сумм бесконечных рядов. Разница с измерением функций лишь та, что здесь используется прием экстраполяции. Скажем, переход к пределу осуществляется посредством фиксации конечного ряда, что позволяет получить приближенное значение предела (т.е. «аппроксимировать» его), опираясь, например, на известное значение арифметического среднего наблюдаемого конечного ряда. При этом исходят из предположения, что дальнейшее наблюдение не приведет к слишком большой ошибке.

Эмпирическая вероятность (т.е. та вероятность, которая выступает в роли измеримой величины) также является пределом, именно пределом относительных частот событий. Следовательно, к ее измерению приложимы те же проблемы, что и к другим предположительностям. Отсюда и тезис автора о типичности понятия вероятности для современной математики [75].

Фройденталь писал, что могут возразить, подчеркивая все-таки огромную специфику применения вероятностей, будто собственно обращение к вероятностям для измерения возможной ошибки ведет к порочному кругу. И в этом, де, причина обособленного положения вероятности в применении математики к экспериментальным наукам. Однако в общем случае теория всегда используется для решения проблемы применения данной теории. Т.е. эксперимент, который должен служить для оправдания применимости теории к некоторой области, неявно всегда использует положения самой теории, как будто она уже заранее применима в данном случае. Так, оправданием применения теории вероятностей (само применение, приложение требует указания способа выявления, определения вероятностей в некоторой области реальности) служит сама вероятность. Дело идет о том, что ограничение ошибки в значении вероятности достижимо лишь вероятностным образом. Пример подобного круга, по словам Фройденталя, имеется и в других областях, скажем, в сфере выявления ошибки электрических экспериментов с помощью электрической теории измерения.

Вместе с тем Фройденталь выдвигал тезис: если вести речь о различии между количествами и предположительностями, то надо принимать во внимание более глубокие основания. Он отмечал, что измерение количеств есть не что иное, как выбор внутри конечного ряда возможных значений. И таким образом, является заданием качественной определенной области возможностей [76].

С математической точки зрения этот факт выразим в понятии компактного пространства. Последнее получает свое определение, если для каждого положительного «£» существует конечная система рядов (интервалов), каждый из которых меньше «£» и которые все вместе охватывают все пространство. Согласно этому определению точкой такого пространства является количество.

Уточнение положения точки в этом пространстве (т.е. собственно количества) достижимо путем увеличения числа конечных интервалов внутри «£». Ясно, что предположительность не является точкой компактного пространства, что и показывал Фройденталь [77].