Что нам поэтому приходится делать в подавляющем большинстве практических случаев, так это брать среднее конечного числа измерений или наблюдений — всех тех, фактически, которые у нас есть под рукой, — и принимать это как нашу отправную точку для измерения ошибок. Ошибки, фактически, не известны наверняка, а лишь вероятно рассчитаны. Это, однако, не такой уж теоретический дефект, как может показаться на первый взгляд; ибо поскольку нам редко приходится использовать эти методы — для целей расчета, то есть, в отличие от простого иллюстрирования, — кроме как для цели обнаружения того, каково окончательное среднее, было бы своего рода petitio principii предполагать, что мы его уже обеспечили. Но стоит рассмотреть, желательно ли использовать один и тот же термин для «ошибок», известных как таковые, величина которых может быть назначена с уверенностью, и для «ошибок», которые являются лишь вероятно таковыми и величина которых может быть назначена лишь вероятно. Фактически было предложено использовать два термина «ошибка» и «остаток» соответственно, чтобы различать величины, таким образом определенные, то есть между (обычно неизвестной) фактической ошибкой и наблюдаемой ошибкой.
§ 22. (2) Другой момент включает вопрос о том, в какой степени любой из первых двух критериев (стр. 446, 7) близости, с которой различные результаты сгруппировались вокруг своего среднего, является заслуживающим доверия или полным. Ответ заключается в том, что они обязательно неполны. Никакая единичная оценка или величина не может дать нам адекватного отчета о ряде различных величин. Этот момент очень важен; и, я думаю, ему не уделяется достаточного внимания, следствием чего является, как мы увидим далее, что слишком поспешно предполагается, что метод, который дает результат с наименьшей «среднеквадратичной ошибкой», должен обязательно быть лучшим результатом для всех целей. Однако отнюдь не ясно, что критерий, который лучше всего подходит для одной цели, должен делать это для всех.
Необходимо четко понимать, что каждый из этих критериев является «средним» и что каждое среднее обязательно отвергает массу разнообразных деталей, заменяя их единым результатом. У нас было, скажем, множество значений роста: столько-то по 60 дюймов, столько-то по 61 и т.д. Мы заменяем их «средним» 68 и тем самым отбрасываем массу информации. Часть ее мы затем стремимся восстановить, пересматривая «ошибки» или отклонения этих значений роста от их среднего. Как и прежде, однако, вместо предоставления полных деталей мы подставляем среднее ошибок. Единственная разница в том, что вместо взятия того же вида среднего (т.е. арифметического) мы часто предпочитаем принять то, которое называется «среднеквадратичной ошибкой».
§ 23. Здесь может быть поднят вопрос, который имеет достаточную важность, чтобы заслужить краткого рассмотрения. Когда у нас есть набор измерений перед нами, почему обычно считается достаточным просто назначить: (1) среднее значение; и (2) среднее отклонение от этого среднего? Ответ, конечно, частично дается тем фактом, что предполагается, что нам нужно лишь грубое приближение: но здесь есть что сказать и помимо этого. Дальнейшее оправдание можно найти в том факте, что мы предполагаем, что нам нужно лишь рассматривать возможность одного закона ошибок, или, во всяком случае, что отклонения от привычного закона будут лишь незначительными. Другими словами, если мы вернемся к рисунку на стр. 29, мы предполагаем, что есть только две неизвестные величины или свободные константы, которые должны быть назначены; а именно: во-первых, положение центра, и, во-вторых, степень эксцентричности, если можно так выразиться, кривой. Определение среднего значения прямо и сразу назначает первое, а определение средней ошибки (любым из уже упомянутых способов) косвенно назначает второе, ограничивая нас только одной из возможных кривых, указанных на рисунке.
За исключением предположения об одном таком законе ошибок, определение средней ошибки дало бы лишь слабое представление о своего рода контуре нашей кривой распределения. Мы могли бы тогда найти удобным принять какой-то план последовательного приближения, добавив третье или четвертое «среднее». Точно так же, как мы назначаем среднее значение величины и ее среднее отклонение от этого среднего; так мы могли бы взять эту среднюю ошибку (как бы она ни была определена) как новую отправную точку и назначить среднее отклонение от нее. Если бы вопрос стоил дальнейшего обсуждения, мы могли бы легко проиллюстрировать с помощью диаграммы своего рода последовательные приближения, которые такие показатели дали бы относительно окончательной формы кривой распределения или закона ошибок.
Поскольку этот том написан главным образом для тех, кто интересуется вовлеченными логическими вопросами, а не как введение в фактические процессы вычисления, математические детали были повсюду избегаемы насколько возможно. По этой причине сравнительно мало ссылок было сделано на экспоненциальное уравнение закона ошибок или на соответствующий «интеграл вероятности», таблицы которого даны в нескольких справочниках по предмету. Есть, однако, два момента в связи с этими конкретными темами, по поводу которых трудности чувствуются, или должны чувствоваться, столь многими студентами, что некоторое внимание может быть уделено им здесь.
(1) Что касается обычного алгебраического выражения для закона ошибок, а именно y = h/√π e^-h^2x^2, можно было заметить, что я всегда говорил о y как о пропорциональном числу ошибок конкретной величины x. Было бы едва ли правильно говорить абсолютно, что y представляет это число, потому что, конечно, фактическое число ошибок любой точной величины, где предполагается непрерывность возможности, должно быть бесконечно малым. Если поэтому мы хотим перейти от непрерывного к дискретному, установив фактическое число ошибок между двумя последовательными делениями нашей шкалы, когда, как обычно при измерениях, все в определенных пределах относятся к какой-то одной точной точке, мы должны изменить нашу формулу. В соответствии с обычной дифференциальной нотацией, мы должны сказать, что число ошибок, попадающих в одно подразделение (dx) нашей шкалы, есть dx h/√π e^-h^2x^2, где dx — это (малая) единица длины, в которой должны быть измерены как h^-1, так и x.
Трудность, которую чувствует большинство студентов, заключается в применении формулы к фактической статистике, другими словами, в подстановке правильных единиц. Чтобы взять фактический численный пример, предположим, что 1460 человек были измерены в отношении их роста «точно до ближайшего дюйма», и пусть будет известно, что модуль здесь равен 3,6 дюйма. Тогда dx = 1 (дюйм); h^-1 = 3,6 дюйма. Теперь Σ h/√π e^-h^2x^2 dx = 1; то есть сумма всех последовательных возможных значений равна единице. Когда поэтому мы хотим, чтобы сумма, как здесь, была 1460, мы должны выразить формулу так: y = 1460/√π * 3,6 e^-(x/3,6)^2, или y = 228 e^-(x/3,6)^2.
Здесь x означает число дюймов, измеренных от центрального или среднего роста, а y означает число людей, отнесенных к этому росту в нашей статистической таблице. (Значения e^-t^2 для последовательных значений t даны в справочниках.)
Для иллюстрации я привожу вычисленные числа по этой формуле для значений x от 0 до 8 дюймов с фактическими числами, наблюдаемыми в кембриджских измерениях, недавно начатых г-ном Гальтоном.
inches
calculated
observed
x = 0
y = 228
= 231
x = 1
y = 212
= 218
x = 2
y = 166
= 170
x = 3
y = 111
= 110
x = 4
y = 82
= 66
x = 5
y = 32
= 31
x = 6
y = 11
= 10
x = 7
y = 4
= 6
x = 8
y = 1
= 3
Здесь средний рост составлял 69 дюймов: dx, как указано, = 1 дюйм. Говоря «положим x = 0», мы имеем в виду: вычислить число людей, которые отнесены к 69 дюймам; т.е. которые попадают между 68,5 и 69,5. Говоря «положим x = 4», мы имеем в виду: вычислить число тех, кто отнесен к 65 или к 73; т.е. которые лежат между 64,5 и 65,5 или между 72,5 и 73,5. Наблюдаемые результаты, как будет видно, держатся довольно близко к вычисленным: в случае первых были взяты средние равных и противоположных отклонений от среднего, так как фактические результаты не всегда одинаковы в противоположных направлениях.
(2) Другой момент касается интерпретации привычного интеграла вероятности, 2/√π ∫0^t e^-t^2 dt. Каждый, кто вычислял шанс события с помощью таблиц этого интеграла, данных во многих справочниках, знает, что если мы назначим любое числовое значение t, соответствующее значение вышеуказанного выражения назначает шанс того, что ошибка, взятая наугад, будет лежать в пределах этого же предела, а именно t. Так, положим t = 1,5, и мы получим результат 0,96; то есть только 4 процента ошибок превысят «полтора». Но когда мы спрашиваем, «полтора» чего? ответ не всегда был бы очень готов. Как обычно, главная трудность новичка не в том, чтобы манипулировать формулами, а в том, чтобы быть совершенно ясным относительно своих единиц.
Сразу будет видно, что этот случай отличается от предыдущего тем, что мы не можем теперь выбирать нашу единицу, как нам угодно. Там, где, как здесь, есть только одна переменная (t), если бы нам разрешили выбрать нашу собственную единицу, дюйм, фут или что бы то ни было, мы могли бы получить совершенно разные результаты. Соответственно, какая-то сравнительно естественная единица должна была быть выбрана для нас, в которой мы обязаны считать, точно так же, как в круговом измерении угла в отличие от измерения в градусах.
Ответ заключается в том, что единица здесь — это модуль, и что положить «t = 1,5» — значит сказать: «предположим, ошибка в полтора раза больше модуля»; сам модуль является ошибкой определенной назначаемой величины, зависящей от природы рассматриваемых измерений или наблюдений. Мы увидим это лучше, если представим интеграл в форме 2/√π ∫0^hx e^-h^2x^2 d(hx); что является точно эквивалентным, поскольку значение определенного интеграла не зависит от используемой конкретной переменной. Здесь hx — это то же самое, что x : 1/h; т.е. это отношение x к 1/h, или x, измеренное в терминах 1/h. Но 1/h — это модуль в уравнении (y = h/√π e^-h^2x^2) для закона ошибок. Другими словами, числовое значение ошибки в этой формуле — это число раз, целых или дробных, которое она содержит в себе модуль.
Этот вид среднего значения Фехнер и другие называют «dichteste Werth» (наиболее плотное значение). Наиболее подходящий пример его использования, который мне встречался, приведен проф. Лексисом (Massenerscheinungen, стр. 42), где он показывает, что оно четко указывает на своего рода нормальную продолжительность человеческой жизни, составляющую около 70 лет; результат, который почти полностью скрыт, когда мы обращаемся к арифметическому среднему.
Это среднее значение следовало бы называть «вероятным» значением (название, однако, уже занятое другим), на том основании, что оно указывает на точку наиболее вероятного появления; т.е. если мы сравним все бесконечно малые и равные единицы вариации, то та, что соответствует этому значению, будет иметь тенденцию встречаться наиболее часто.
Диаграмма, иллюстрирующая это количество результатов, была приведена в журнале Nature (1 сентября 1887 г.). При вычислении различных средних значений, как указано выше, замечу, что исходные результаты были даны с тремя десятичными знаками; но при их классификации учитывался только один знак. То есть 29,9 включает все значения от 29,900 до 29,999. Таким образом, значением, наиболее часто встречающимся в моих таблицах, было 30,0, но по обычным принципам интерполяции оно считается равным 30,05.
В используемой здесь фразеологии есть некоторая двусмысленность. Так, Эри обычно использует выражение «среднеквадратичная ошибка» (Error of Mean Square) для обозначения, как и здесь, √∑e²/n. Гэллоуэй обычно говорит о «среднем квадрате ошибок» (Mean Square of the Errors) для обозначения ∑e²/n. Я буду придерживаться первого словоупотребления и кратко обозначать его как E.M.S. Еще более неудачным (на мой взгляд) является использование г-ном Мерриманом и другими выражения «средняя ошибка» (Mean Error) (широко используемого в своем более естественном значении) в качестве эквивалента этого E.M.S.
Технический термин «флуктуация» применяется г-ном Ф. И. Эджуортом к выражению 2∑e²/n.
На практике, конечно, мы должны учитывать расширение или сжатие. Но для целей логического объяснения мы можем удобно принять эту вариацию в качестве образца одного из тех возмущений, которые могут быть нейтрализованы путем обращения к среднему значению.
Точнее, полиномиальное: относительная частота различных чисел указывается коэффициентами степеней x в разложении
(1 + x + x2 + … + x9)10.
Г-ном Мерриманом в его работе по методу наименьших квадратов.
ГЛАВА XIX.
ТЕОРИЯ СРЕДНЕГО ЗНАЧЕНИЯ КАК СПОСОБ ПРИБЛИЖЕНИЯ К ИСТИНЕ.
§ 1. В последней главе мы рассматривали среднее значение преимущественно в его качественном, а не количественном аспекте. То есть мы обсуждали его общую природу, основные разновидности и главные способы применения в повседневной жизни или в процессах рассуждения, которые не претендуют на особую точность. Теперь пришло время более детально рассмотреть специфический вопрос применения среднего значения способом, который является особо подходящим для теории вероятностей. То есть мы должны предполагать, что перед нами имеется определенное количество измерений — в самом широком смысле этого термина — и мы готовы ответить на такие вопросы, как: Почему мы берем их среднее значение? С какой степенью уверенности? Должны ли мы во всех случаях брать среднее значение, и если да, то всегда ли одного и того же вида?
Предмет, к которому мы приступаем, является тем, который при его самом общем теоретическом рассмотрении, возможно, породил более глубокие исследования, большее разнообразие мнений и, как следствие, более обширную историю и литературу, чем любая другая отдельная проблема в области математики. [1] Но, несмотря на это, основные логические принципы, лежащие в основе рассматриваемых методов и процессов, как я полагаю, не особенно сложны для понимания: хотя из-за чрезвычайно технического стиля изложения, принятого даже в сравнительно элементарных дискуссиях по этому предмету, тем, кто обладает лишь умеренными математическими ресурсами, далеко не просто отделить эти принципы от символов, в которые они облечены. Настоящая глава содержит попытку устранить эти трудности, насколько это касается общего понимания предмета. Поскольку принятое таким образом изложение включает значительное количество подразделов, читателю, вероятно, будет удобно время от времени обращаться к оглавлению в начале этого тома.
§ 2. Предмет, в том виде, в котором мы будем его обсуждать, будет сужен до рассмотрения среднего значения ввиду относительной простоты и очень широкой распространенности этого аспекта проблемы. Однако эту проблему очень часто называют, даже в нематематических трактатах, правилом или методом наименьших квадратов; дело в том, что в тех случаях, с которыми мы будем иметь дело, правило наименьших квадратов сводится к более простому и привычному процессу взятия арифметического среднего. Очень простой пример — приведенный Гершелем — объяснит общую природу задачи при несколько более широком рассмотрении и послужит оправданием привычного обозначения.
Предположим, что человек некоторое время стрелял из пистолета по небольшой мишени, скажем, по облатке на стене. Мы можем принять как должное, что следы от выстрелов будут стремиться сгруппироваться вокруг облатки как центра, с плотностью, изменяющейся некоторым образом обратно пропорционально расстоянию от центра. Но теперь предположим, что облатка, отмечавшая центр, была удалена, так что мы не видим ничего, кроме поверхности стены, испещренной следами от выстрелов; и нас просят угадать положение облатки. Если бы был только один выстрел, здравый смысл подсказал бы нам предположить (конечно, очень неуверенно), что он отмечает истинный центр. Если бы их было два, здравый смысл подсказал бы нам взять среднюю точку между ними. Но если бы их было три или более, здравый смысл оказался бы в тупике. Он почувствовал бы, что следует выбрать некоторую промежуточную точку, но не увидел бы способа для более точного определения, потому что его привычная опора — арифметическое среднее — здесь, по-видимому, неприменима. Рассматриваемое правило говорит нам, как действовать. Оно предписывает нам выбрать ту точку, которая сделает сумму квадратов всех расстояний от нее до различных следов выстрелов наименьшей возможной. [2]
Это лишь для иллюстрации и для оправдания привычного обозначения правила. Те виды случаев, которыми мы будем заниматься исключительно, — это сравнительно простые случаи, в которых объектом рассмотрения является только линейная величина или некоторое качество, которое может быть адекватно представлено линейной величиной. В отношении них правило наименьших квадратов сводится к процессу взятия среднего значения в самом привычном смысле этого термина, а именно арифметического среднего; и единого закона ошибок или его графического эквивалента, кривой распределения, будет достаточно, чтобы точно указать сравнительную частоту различных величин одной вовлеченной переменной величины.
§ 3. Мы можем здесь снова удобно обратить внимание на заблуждение или путаницу, которые уже были отмечены в предыдущей главе. Это смешение закона ошибок с методом наименьших квадратов. Это вещи совершенно разного рода. Первый имеет природу физического факта, и его возникновение во многих случаях полностью вне нашего контроля. Последний — или любое его упрощенное применение, такое как арифметическое среднее — не является никаким законом в физическом смысле. Это скорее предписание или правило для нашего руководства. Закон указывает в любом данном случае, как ошибки имеют тенденцию возникать в отношении их величины и частоты. Метод указывает нам, как обращаться с этими ошибками, когда нам представлено их любое количество. Несомненно, существует связь между ними, как будет указано в ходе следующих страниц; но нет ничего, что действительно мешало бы нам использовать один и тот же метод для разных законов ошибок или разные методы для одного и того же закона. При этом вопрос о четком «правильно» или «неправильно» возникал бы редко, скорее вопрос о большей или меньшей целесообразности.