Полтора года назад я опубликовал статью «Математика на пальцах: методы наименьших квадратов», которая получила весьма приличный отклик, который, в том числе, заключался в том, что я предложил нарисовать сову. Ну, раз сова, значит, нужно объяснять ещё раз. Через неделю ровно на эту тему я начну читать несколько лекций студентам-геологам; пользуюсь случаем, излагаю тут (адаптированные) основные тезисы в качестве черновика. Моей основной целью не является дать готовый рецепт из книги о вкусной и здоровой пищи, но рассказать, почему он таков и что ещё находится в соответствующем разделе, ведь связи между разными разделами математики — это самое интересное!
На данный момент я предполагаю разбить текст следующим образом:
Я зайду к наименьшим квадратам чуть сбоку, через принцип максимума правдоподобия, а он требует минимального ориентирования в теории вероятностей. Данный текст рассчитан на третий курс нашего факультета геологии, что означает, (с точки зрения задействованного матаппарата!) что заинтересованный старшеклассник при соответствующем усердии должен суметь в нём разобраться.
Однажды мне задали вопрос, верю ли я в теорию эволюции. Прямо сейчас сделайте паузу, подумайте, как вы на него ответите.
![](https://habrastorage.org/r/w1560/getpro/habr/post_images/df1/f2b/6c0/df1f2b6c06daa3cf6d1e145eef8254be.png)
Лично я, опешив, ответил, что нахожу её правдоподобной, и что вопрос веры тут вообще не встаёт. Научная теория имеет мало общего с верой. Если кратко, то теория лишь строит модель окружающего нас мира, нет необходимости в неё верить. Более того, критерий Поппера требует от научной теории иметь возможность опровержения. А ещё состоятельная теория должна обладать, в первую очередь, предсказательной силой. Например, если вы генетически модифицируете сельскохозяйственные культуры таким образом, что они сами будут производить пестициды, то вполне логично, что будут появляться устойчивые к ним насекомые. Однако существенно менее очевидно, что этот процесс может быть замедлен благодаря выращиванию обычных растений бок о бок с генномодифицированными. Основываясь на теории эволюции, соответствующее моделирование сделало такой прогноз, и он, похоже, подтвердился.
Как я упомянул ранее, я зайду к наименьшим квадратам через принцип максимального правдоподобия. Давайте проиллюстрируем на примере. Предположим, что нам интересны данные о росте пингвинов, но мы можем измерить лишь несколько этих прекрасных птиц. Вполне логично ввести в задачу модель распределения роста — чаще всего она нормальная. Нормальное распределение характеризуется двумя параметрами — средним значением и среднеквадратичным отклонением. Для каждого фиксированного значения параметров мы можем посчитать вероятность того, что будут сгенерированы именно те измерения, что мы произвели. Дальше, варьируя параметры, найдём те, что максимизируют вероятность.
Таким образом, для работы с максимальным правдоподобием нам нужно оперировать в понятиях теории вероятностей. Чуть ниже мы «на пальцах» определим понятие вероятности и правдоподобия, но сначала я хотел бы заострить внимание на другом аспекте. Я на удивление редко вижу людей, которые задумываются над словом «теория» в словосочетании «теория вероятностей».
По поводу того, каковы истоки, значения и область применимости вероятностных оценок, уже не первую сотню лет идут яростные споры. Например, Брюно Де Финетти заявил, что вероятность есть не что иное, как субъективный анализ вероятности того, что что-то произойдёт, и что эта вероятность не существует вне ума. Это готовность человека делать ставки на что-то происходящее. Это мнение прямо противоположно взгляду классиков / фреквентистов на вероятность конкретного результата события, в котором предполагается, что одно и то же событие может повторяться многократно, а «вероятность» конкретного результата связана с частотой выпадения конкретного результата во время повторных испытаний. Помимо субъективистов и фреквентистов есть ещё и объективисты, утверждающие, что вероятности — это реальные аспекты универсума, а не просто описания степени уверенности наблюдателя.
Как бы то ни было, но все три научные школы на практике используют один и тот же аппарат, основанный на аксиомах Колмогорова. Давайте приведём косвенный аргумент, с субъективистской точки зрения, в пользу теории вероятностей, построенной на аксиомах Колмогорова. Приведём сами аксиомы чуть позже, а для начала предположим, что у нас есть букмекер, который принимает ставки на следующий чемпионат мира по футболу. Пусть у нас будут два события: a = чемпионом станет команда Уругвая, b = чемпионом станет команда Германии. Букмекер оценивает шансы команды Уругвая победить в 40%, шансы команды Германии в 30%. Очевидно, что и Германия, и Уругвай победить одновременно не могут, поэтому шанс a∧b нулевой. Ну и заодно букмекер считает, что вероятность того, что победит либо Уругвай, либо Германия (а не Аргентина или Австралия) составляет 80%. Давайте это запишем в следующем виде:
![](https://habrastorage.org/r/w1560/getpro/habr/post_images/b01/b95/384/b01b9538401e50ea965ee6592f3981a1.png)
Если букмекер утверждает, что его степень уверенности в событии а равняется 0.4, то есть, P(a) = 0.4, то игрок может выбрать, будет ли он делать ставку за или против высказывания а, ставя суммы, которые совместимы со степенью уверенности букмекера. Это значит, что игрок может сделать ставку на то, что событие а произойдёт, поставив четыре рубля против шести рублей букмекера. Или же игрок может поставить шесть рублей вместо четырёх рублей букмекера на то, что событие а не произойдёт.
Если степень уверенности букмекера неточно отражает состояние мира, то можно рассчитывать на то, что в долговременной перспективе он будет проигрывать деньги игрокам, чьи убеждения более точны. Более того, в данном конкретном примере у игрока есть стратегия, при которой букмекер всегда теряет деньги. Давайте её проиллюстрируем:
![](https://habrastorage.org/r/w1560/getpro/habr/post_images/87c/97d/a15/87c97da153047340db4a3bbfb078c308.png)
Игрок делает три ставки, и какой бы ни был исход чемпионата, он всегда в выигрыше. Обратите внимание, что в рассмотрение суммы выигрыша в принципе не входит то, являются ли Уругвай или Германия фаворитами чемпионата, проигрыш букмекера обеспечен! К этой ситуации привело то, что букмекер не руководствовался азами теории вероятностей, нарушив третью аксиому Колмогорова, давайте приведём их все три:
![](https://habrastorage.org/r/w1560/getpro/habr/post_images/7ba/3c9/f5a/7ba3c9f5aaaf940ba9948be6bd5d23be.png)
В текстовом виде они выглядят так:
В 1931 году де Финетти доказал очень сильное утверждение:
Аксиомы вероятностей могут рассматриваться как ограничивающее множество вероятностных убеждений, которых может придерживаться некоторый агент. Обратите внимание, что из следования букмекера аксиомам Колмогорова не вытекает то, что он будет выигрывать (оставим в стороне вопросы комиссионных), но если им не следовать, то он будет гарантированно проигрывать. Отметим, что в пользу применения вероятностей были выдвинуты и другие аргументы; но именно практический успех систем формирования рассуждений, основанных на теории вероятностей, оказался привлекательным стимулом, вызвавшим пересмотр многих взглядов.
Итак, мы чуть-чуть приоткрыли завесу того, почему теорвер может иметь смысл, но какими именно объектами он манипулирует? Весь теорвер построен лишь на трёх аксиомах; во всех трёх участвует некая магическая функция P. Более того, глядя на эти аксиомы, мне это очень напоминает функцию площади фигуры. Давайте попробуем посмотреть, работает ли площадь для определения вероятности.
Определим слово «событие» как «подмножество единичного квадрата». Определим слово «вероятность события» как «площадь соответствующего подмножества». Грубо говоря, у нас есть большая картонная мишень, и мы, закрыв глаза, в неё стреляем. Шансы того, что пуля попадёт в данное множество, прямо пропорциональны площади множества. Достоверное событие в данном случае — весь квадрат, а заведомо ложное, например, любая точка квадрата. Из нашего определения вероятности следует, что идеально попасть в точку невозможно (наша пуля — это материальная точка). Я очень люблю картинки, и рисую их много, и теорвер не является исключением! Давайте проиллюстрируем все три аксиомы:
![](https://habrastorage.org/r/w1560/getpro/habr/post_images/205/9fc/35e/2059fc35ef9996e3410786a23ba71570.png)
Итак, первая аксиома выполнена: площадь неотрицательна, и не может превысить единицы. Достоверное событие — это весь квадрат, а заведомо ложное — любое множество нулевой площади. И с дизъюнкицей работает отлично!
Давайте рассмотрим простейший пример с подбрасыванием монеты, он же схема Бернулли. Проводится n опытов, в каждом из которых может произойти одно из двух событий («успех» или «неудача»), одно с вероятностью p, второе с вероятностью 1-p. Наша задача состоит в том, чтобы найти вероятность получения ровно k успехов в этих n опытах. Эту вероятность нам даёт формула Бернулли:
![](https://habrastorage.org/r/w1560/getpro/habr/post_images/ce6/9b2/2ef/ce69b22ef6bfbfa7e2e2276ea3b8df8c.png)
Возьмём обычную монету (p=0.5), подбрасываем её десять раз (n=10), и считаем, сколько раз выпадает решка:
![](https://habrastorage.org/r/w1560/getpro/habr/post_images/d1a/78d/d1e/d1a78dd1e213244a7b1c31ab6f1381d4.png)
Вот так выглядит график плотности вероятности:
![](https://habrastorage.org/r/w1560/getpro/habr/post_images/86b/a6e/4bc/86ba6e4bcb12aaadb5fa1f0e89a4f699.png)
Таким образом, если мы зафиксировали вероятность наступления «успеха» (0.5), и также зафиксировали количество экспериментов (10), то возможное количество «успехов» может быть любым целым числом между 0 и 10, однако эти исходы не являются равновероятными. Вполне очевидно, что получить пять «успехов» гораздо вероятнее, нежели ни одного. Например, вероятность насчитать семь решек составляет примерно 12%.
А теперь давайте посмотрим на эту же задачу с другой стороны. У нас есть реальная монетка, но её распределение априорной вероятности «успех»/«неудача» мы не знаем. Однако мы можем её подкинуть десять раз и посчитать количество «успехов». Например, у нас выпало семь решек. Как нам это поможет оценить p?
Мы можем попробовать зафиксировать в формуле Бернулли n=10 и k=7, оставив p свободным параметром:
![](https://habrastorage.org/r/w1560/getpro/habr/post_images/f89/4de/196/f894de1965d550e7508a2b2e83d17901.png)
Тогда формула Бернулли может быть интерпретирована как правдоподобие оцениваемого параметра, (в данном случае p). Я даже буковку сменил у функции, теперь это L (от англ. likehood). То есть, правдоподобие — это вероятность сгенерировать данные наблюдения (7 решек из 10 опытов) для заданного значения параметра(-ов).
Например, правдоподобие сбалансированной монеты (p=0.5) при условии выпадения семи решек из десяти бросков примерно равняется 12%. Можно построить график функции L:
![](https://habrastorage.org/r/w1560/getpro/habr/post_images/bca/da0/5e8/bcada05e8fdd206495376852f88aafb8.png)
Итак, мы ищем такое значение параметров, которое максимизирует правдоподобие получения тех наблюдений, что у нас есть. В данном конкретном случае у нас функция одной переменной, мы ищем её максимум. Для того, чтобы было проще искать, я буду искать максимум не L, а log L. Логарифм — функция строго монотонная, так что максимизация одного и другого — это строго одно и то же. А логарифм нам разбивает произведение на сумму, которую сильно удобнее дифференцировать. Итак, мы ищем максимум вот этой функции:
![](https://habrastorage.org/r/w1560/getpro/habr/post_images/915/407/504/915407504c2f92b808ff7c0bd8319320.png)
Для этого приравняем нулю её производную:
![](https://habrastorage.org/r/w1560/getpro/habr/post_images/43b/428/a01/43b428a015cd2f25e188751c0c553418.png)
Производная log x = 1/x, получаем:
![](https://habrastorage.org/r/w1560/getpro/habr/post_images/d0f/8b7/e30/d0f8b7e3049a4d37fc1489c3a02003d6.png)
То есть, максимум правдоподобия (примерно 27%) достигается в точке
![](https://habrastorage.org/r/w1560/getpro/habr/post_images/0e4/ee1/229/0e4ee12290100d8657e411e2719ed57d.png)
На всякий случай посчитаем вторую производную:
![](https://habrastorage.org/r/w1560/getpro/habr/post_images/96f/5de/ba4/96f5deba4461fd3360dbefb29713c802.png)
В точке p=0.7 она отрицательна, так что эта точка действительно является максимумом функции L.
![](https://habrastorage.org/r/w1560/getpro/habr/post_images/931/bfe/6c9/931bfe6c9f2fb93c0c9ec7036a67b74c.png)
А вот так выглядит плотность вероятности для схемы Бернулли с p = 0.7:
![](https://habrastorage.org/r/w1560/getpro/habr/post_images/c33/90c/180/c3390c180591b89bda8487b04f97ff66.png)
Давайте представим, что у нас есть некая постоянная физическая величина, которую мы хотим измерить, будь то длину линейкой или напряжение вольтметром. Любое измерение даёт приближение этой величины, но не саму величину. Методы, которые я тут описываю, разработаны Гауссом в конце 18го века, когда он измерял орбиты небесных тел.
Например, если мы измерим напряжение на батарейке N раз, то получим N разных измерений. Какое из них брать? Все! Итак, пусть у нас будет N величин Uj:
![](https://habrastorage.org/r/w1560/getpro/habr/post_images/f5d/7c6/821/f5d7c6821d43ed3b9bf9128d52876b2e.png)
Предположим, что каждое измерение Uj равно идеальной величине, плюс гауссов шум, который характеризуется двумя параметрами — положение гауссова колокола и его «ширина». Вот так выглядит плотность вероятности:
![](https://habrastorage.org/r/w1560/getpro/habr/post_images/ded/0d3/b40/ded0d3b40c8478f5e7a01889b5c8b100.png)
То есть, имея N заданных величин Uj, наша задача найти такой параметр, U который максимизирует значение правдоподобия. Правдоподобие (я сразу беру от него логарифм) можно записать следующим образом:
![](https://habrastorage.org/r/w1560/getpro/habr/post_images/49c/ad9/a23/49cad9a2301ad0795567364befad5ea5.png)
Ну а дальше всё строго как раньше, приравняем нулю частные производные по параметрам, которые мы ищем:
![](https://habrastorage.org/r/w1560/getpro/habr/post_images/4fe/d44/7d5/4fed447d51696fde602a9db5a7fe816e.png)
Получим, что наиболее вероятная оценка неизвестной величины U может быть найдена как среднее от всех измерений:
![](https://habrastorage.org/r/w1560/getpro/habr/post_images/b46/281/4f1/b462814f1a8a19167396798177a42ee5.png)
Ну а наиболее вероятный параметр сигма это обычное среднеквадратичное отклонение:
![](https://habrastorage.org/r/w1560/getpro/habr/post_images/3c5/a74/194/3c5a741948e8a96dbaac24244c7daabd.png)
![](https://habrastorage.org/r/w1560/getpro/habr/post_images/e3f/17f/422/e3f17f4222ee89afaecaffde3453dfec.png)
Стоило ли заморачиваться, чтобы получить в ответе простое среднее от всех измерений? На мой вкус, стоило. Кстати, усреднение многократных измерений постоянной величины с целью увеличения точности измерений — это вполне стандартная практика. Например, усреднение АЦП. К слову сказать, для этого гауссовости шума не нужно, достаточно того, что шум несмещённый.
Продолжаем разговор, давайте возьмём тот же самый пример, но чуть его усложним. Мы хотим измерить сопротивление некоего резистора. При помощи лабораторного блока питания мы умеем пропустить через него некоторое эталонное количество ампер, и измерить напряжение, которое для этого понадобится. То есть, у нас на вход нашего оценщика сопротивления будет N пар чисел (Ij, Uj).
![](https://habrastorage.org/r/w1560/getpro/habr/post_images/2b6/3c7/af0/2b63c7af0ec6024be16c1c4bd4a28dbc.png)
Нарисуем эти точки на графике; закон Ома нам говорит о том, что мы ищем наклон синей прямой.
![](https://habrastorage.org/r/w1560/getpro/habr/post_images/e4c/211/d7f/e4c211d7f3c34742ac53e18461818691.png)
Запишем выражение для правдоподобия параметра R:
![](https://habrastorage.org/r/w1560/getpro/habr/post_images/655/c9c/b8d/655c9cb8d1cb7429abd317016d09ce47.png)
И опять приравняем нулю соответствующую частную производную:
![](https://habrastorage.org/r/w1560/getpro/habr/post_images/e7e/737/2bb/e7e7372bbb5f7f138e0e5858039617c7.png)
Тогда наиболее правдоподобное сопротивление R может быть найдено по следующей формуле:
![](https://habrastorage.org/r/w1560/getpro/habr/post_images/529/877/57b/52987757bc0127158af6e642591b35d7.png)
Этот результат уже несколько менее очевидный, нежели простое среднее всех измерений. Обратите внимание, что если мы сделаем сто измерений в районе одного ампера, и одно измерение в районе килоампера, то предыдущие сто измерений практически не повлияют на результат. Давайте запомним этот факт, он нам пригодится в следующей статье.
Наверняка вы уже обратили внимание, что в последних двух примерах максимизация логарифма правдоподобия эквивалентна минимизации суммы квадратов ошибки оценивания. Давайте рассмотрим ещё один пример. Возьмём калибровку безмена при помощи эталонных грузов. Пусть у нас есть N эталонных грузов массой xj, повесим их на безмен и измерим длину пружины, получим N длин пружины yj:
![](https://habrastorage.org/r/w1560/getpro/habr/post_images/2ca/4c1/d86/2ca4c1d86e78cd4fd2d6f9d7b3052777.png)
Закон Гука нам говорит, что растяжение пружины линейно зависит от приложенной силы, а в эту силу у нас входит вес грузов и вес самой пружины. Пусть жёсткость пружины — это параметр a, ну а растяжение пружины под собственным весом — это параметр b. Тогда мы можем вот таким образом записать выражение правдоподобия наших измерений (по-прежнему под гипотезой гауссового шума измерений):
![](https://habrastorage.org/r/w1560/getpro/habr/post_images/ce4/e81/011/ce4e81011eae69c44d9e88cfe82fc09a.png)
Максимизация правдоподобия L эквивалентна минимизации суммы квадратов ошибок оценивания, то есть, мы можем искать минимум функции S, определённой следующим образом:
![](https://habrastorage.org/r/w1560/getpro/habr/post_images/18e/272/2eb/18e2722ebe081756bd8e871588361d5f.png)
Иными словами, мы ищем такую прямую, которая минимизирует сумму квадратов длин зелёных отрезков:
![](https://habrastorage.org/r/w1560/getpro/habr/post_images/c5a/a80/f6a/c5aa80f6a2e9575abfa7b3dfdabf5c5a.png)
Ну а дальше никаких сюрпризов, приравниваем к нулю частные производные:
![](https://habrastorage.org/r/w1560/getpro/habr/post_images/b09/a29/620/b09a29620438327e5a5bffb827a5dfa6.png)
Получаем систему из двух линейных уравнений с двумя неизвестными:
![](https://habrastorage.org/r/w1560/getpro/habr/post_images/0a9/d2f/f75/0a9d2ff75a4cb635434dc1e7eb267699.png)
Вспоминаем седьмой класс школы и выписываем решение:
![](https://habrastorage.org/r/w1560/getpro/habr/post_images/806/982/b11/806982b116726fcc07d1d4935efa3970.png)
Методы наименьших квадратов являются частным случаем максимизации правдоподобия для тех случаев, когда плотность вероятности является гауссовой. В случае же когда плотность (совсем) не гауссова, МНК дают оценку, отличающуюся от оценки MLE (maximum likehood estimation). Кстати, в своё время Гаусс выдвигал гипотезу, что распределение не играет роли, важна только независимость испытаний.
Как видно из этой статьи, чем дальше в лес, тем более громоздкими становятся аналитические решения этой проблемы. Ну да мы не в восемнадцатом веке, у нас есть компьютеры! В следующий раз мы увидим геометрический и, затем, программистский подход к проблеме МНК, оставайтесь на линии.
На данный момент я предполагаю разбить текст следующим образом:
- Ликбез по теории вероятностей (статья вводная, необязательная)
- Введение в системы линейных уравнений
- Методы конечных элементов
- Минимизация квадратичных форм и примеры задач МНК
- От наименьших квадратов к нейронным сетям
Я зайду к наименьшим квадратам чуть сбоку, через принцип максимума правдоподобия, а он требует минимального ориентирования в теории вероятностей. Данный текст рассчитан на третий курс нашего факультета геологии, что означает, (с точки зрения задействованного матаппарата!) что заинтересованный старшеклассник при соответствующем усердии должен суметь в нём разобраться.
Насколько обоснован теорвер или верите ли вы в теорию эволюции?
Однажды мне задали вопрос, верю ли я в теорию эволюции. Прямо сейчас сделайте паузу, подумайте, как вы на него ответите.
![](https://habrastorage.org/getpro/habr/post_images/df1/f2b/6c0/df1f2b6c06daa3cf6d1e145eef8254be.png)
Лично я, опешив, ответил, что нахожу её правдоподобной, и что вопрос веры тут вообще не встаёт. Научная теория имеет мало общего с верой. Если кратко, то теория лишь строит модель окружающего нас мира, нет необходимости в неё верить. Более того, критерий Поппера требует от научной теории иметь возможность опровержения. А ещё состоятельная теория должна обладать, в первую очередь, предсказательной силой. Например, если вы генетически модифицируете сельскохозяйственные культуры таким образом, что они сами будут производить пестициды, то вполне логично, что будут появляться устойчивые к ним насекомые. Однако существенно менее очевидно, что этот процесс может быть замедлен благодаря выращиванию обычных растений бок о бок с генномодифицированными. Основываясь на теории эволюции, соответствующее моделирование сделало такой прогноз, и он, похоже, подтвердился.
А при чём тут наименьшие квадраты?
Как я упомянул ранее, я зайду к наименьшим квадратам через принцип максимального правдоподобия. Давайте проиллюстрируем на примере. Предположим, что нам интересны данные о росте пингвинов, но мы можем измерить лишь несколько этих прекрасных птиц. Вполне логично ввести в задачу модель распределения роста — чаще всего она нормальная. Нормальное распределение характеризуется двумя параметрами — средним значением и среднеквадратичным отклонением. Для каждого фиксированного значения параметров мы можем посчитать вероятность того, что будут сгенерированы именно те измерения, что мы произвели. Дальше, варьируя параметры, найдём те, что максимизируют вероятность.
Таким образом, для работы с максимальным правдоподобием нам нужно оперировать в понятиях теории вероятностей. Чуть ниже мы «на пальцах» определим понятие вероятности и правдоподобия, но сначала я хотел бы заострить внимание на другом аспекте. Я на удивление редко вижу людей, которые задумываются над словом «теория» в словосочетании «теория вероятностей».
Что изучает теорвер?
По поводу того, каковы истоки, значения и область применимости вероятностных оценок, уже не первую сотню лет идут яростные споры. Например, Брюно Де Финетти заявил, что вероятность есть не что иное, как субъективный анализ вероятности того, что что-то произойдёт, и что эта вероятность не существует вне ума. Это готовность человека делать ставки на что-то происходящее. Это мнение прямо противоположно взгляду классиков / фреквентистов на вероятность конкретного результата события, в котором предполагается, что одно и то же событие может повторяться многократно, а «вероятность» конкретного результата связана с частотой выпадения конкретного результата во время повторных испытаний. Помимо субъективистов и фреквентистов есть ещё и объективисты, утверждающие, что вероятности — это реальные аспекты универсума, а не просто описания степени уверенности наблюдателя.
Как бы то ни было, но все три научные школы на практике используют один и тот же аппарат, основанный на аксиомах Колмогорова. Давайте приведём косвенный аргумент, с субъективистской точки зрения, в пользу теории вероятностей, построенной на аксиомах Колмогорова. Приведём сами аксиомы чуть позже, а для начала предположим, что у нас есть букмекер, который принимает ставки на следующий чемпионат мира по футболу. Пусть у нас будут два события: a = чемпионом станет команда Уругвая, b = чемпионом станет команда Германии. Букмекер оценивает шансы команды Уругвая победить в 40%, шансы команды Германии в 30%. Очевидно, что и Германия, и Уругвай победить одновременно не могут, поэтому шанс a∧b нулевой. Ну и заодно букмекер считает, что вероятность того, что победит либо Уругвай, либо Германия (а не Аргентина или Австралия) составляет 80%. Давайте это запишем в следующем виде:
![](https://habrastorage.org/getpro/habr/post_images/b01/b95/384/b01b9538401e50ea965ee6592f3981a1.png)
Если букмекер утверждает, что его степень уверенности в событии а равняется 0.4, то есть, P(a) = 0.4, то игрок может выбрать, будет ли он делать ставку за или против высказывания а, ставя суммы, которые совместимы со степенью уверенности букмекера. Это значит, что игрок может сделать ставку на то, что событие а произойдёт, поставив четыре рубля против шести рублей букмекера. Или же игрок может поставить шесть рублей вместо четырёх рублей букмекера на то, что событие а не произойдёт.
Если степень уверенности букмекера неточно отражает состояние мира, то можно рассчитывать на то, что в долговременной перспективе он будет проигрывать деньги игрокам, чьи убеждения более точны. Более того, в данном конкретном примере у игрока есть стратегия, при которой букмекер всегда теряет деньги. Давайте её проиллюстрируем:
![](https://habrastorage.org/getpro/habr/post_images/87c/97d/a15/87c97da153047340db4a3bbfb078c308.png)
Игрок делает три ставки, и какой бы ни был исход чемпионата, он всегда в выигрыше. Обратите внимание, что в рассмотрение суммы выигрыша в принципе не входит то, являются ли Уругвай или Германия фаворитами чемпионата, проигрыш букмекера обеспечен! К этой ситуации привело то, что букмекер не руководствовался азами теории вероятностей, нарушив третью аксиому Колмогорова, давайте приведём их все три:
![](https://habrastorage.org/getpro/habr/post_images/7ba/3c9/f5a/7ba3c9f5aaaf940ba9948be6bd5d23be.png)
В текстовом виде они выглядят так:
- 1. Все вероятности находятся в пределах от 0 до 1
- 2. Безусловно истинные высказывания имеют вероятность 1, а безусловно ложные вероятность 0.
- 3. Третья аксиома — это аксиома дизъюнкции, её легко интуитивно понять, отметив, что те случаи, когда высказывание a является истинным, вместе с теми случаями, когда b является истинным, безусловно охватывает все те случаи, когда истинно высказывание a∨b; но в сумме двух множеств случаев их пересечение встречается дважды, поэтому небходимо вычесть P(a∧b).
В 1931 году де Финетти доказал очень сильное утверждение:
Если букмекер руководствуется множеством степеней уверенности, которое нарушает аксиомы теории вероятностей, то существует такая комбинация ставок игрока, которая гарантирует проигрыш букмекера (выигрыш игрока) при каждой ставке.
Аксиомы вероятностей могут рассматриваться как ограничивающее множество вероятностных убеждений, которых может придерживаться некоторый агент. Обратите внимание, что из следования букмекера аксиомам Колмогорова не вытекает то, что он будет выигрывать (оставим в стороне вопросы комиссионных), но если им не следовать, то он будет гарантированно проигрывать. Отметим, что в пользу применения вероятностей были выдвинуты и другие аргументы; но именно практический успех систем формирования рассуждений, основанных на теории вероятностей, оказался привлекательным стимулом, вызвавшим пересмотр многих взглядов.
Итак, мы чуть-чуть приоткрыли завесу того, почему теорвер может иметь смысл, но какими именно объектами он манипулирует? Весь теорвер построен лишь на трёх аксиомах; во всех трёх участвует некая магическая функция P. Более того, глядя на эти аксиомы, мне это очень напоминает функцию площади фигуры. Давайте попробуем посмотреть, работает ли площадь для определения вероятности.
Определим слово «событие» как «подмножество единичного квадрата». Определим слово «вероятность события» как «площадь соответствующего подмножества». Грубо говоря, у нас есть большая картонная мишень, и мы, закрыв глаза, в неё стреляем. Шансы того, что пуля попадёт в данное множество, прямо пропорциональны площади множества. Достоверное событие в данном случае — весь квадрат, а заведомо ложное, например, любая точка квадрата. Из нашего определения вероятности следует, что идеально попасть в точку невозможно (наша пуля — это материальная точка). Я очень люблю картинки, и рисую их много, и теорвер не является исключением! Давайте проиллюстрируем все три аксиомы:
![](https://habrastorage.org/getpro/habr/post_images/205/9fc/35e/2059fc35ef9996e3410786a23ba71570.png)
Итак, первая аксиома выполнена: площадь неотрицательна, и не может превысить единицы. Достоверное событие — это весь квадрат, а заведомо ложное — любое множество нулевой площади. И с дизъюнкицей работает отлично!
Максимальное правдоподобие на примерах
Пример первый: подбрасывание монетки
Давайте рассмотрим простейший пример с подбрасыванием монеты, он же схема Бернулли. Проводится n опытов, в каждом из которых может произойти одно из двух событий («успех» или «неудача»), одно с вероятностью p, второе с вероятностью 1-p. Наша задача состоит в том, чтобы найти вероятность получения ровно k успехов в этих n опытах. Эту вероятность нам даёт формула Бернулли:
![](https://habrastorage.org/getpro/habr/post_images/ce6/9b2/2ef/ce69b22ef6bfbfa7e2e2276ea3b8df8c.png)
Возьмём обычную монету (p=0.5), подбрасываем её десять раз (n=10), и считаем, сколько раз выпадает решка:
![](https://habrastorage.org/getpro/habr/post_images/d1a/78d/d1e/d1a78dd1e213244a7b1c31ab6f1381d4.png)
Вот так выглядит график плотности вероятности:
![](https://habrastorage.org/getpro/habr/post_images/86b/a6e/4bc/86ba6e4bcb12aaadb5fa1f0e89a4f699.png)
Таким образом, если мы зафиксировали вероятность наступления «успеха» (0.5), и также зафиксировали количество экспериментов (10), то возможное количество «успехов» может быть любым целым числом между 0 и 10, однако эти исходы не являются равновероятными. Вполне очевидно, что получить пять «успехов» гораздо вероятнее, нежели ни одного. Например, вероятность насчитать семь решек составляет примерно 12%.
А теперь давайте посмотрим на эту же задачу с другой стороны. У нас есть реальная монетка, но её распределение априорной вероятности «успех»/«неудача» мы не знаем. Однако мы можем её подкинуть десять раз и посчитать количество «успехов». Например, у нас выпало семь решек. Как нам это поможет оценить p?
Мы можем попробовать зафиксировать в формуле Бернулли n=10 и k=7, оставив p свободным параметром:
![](https://habrastorage.org/getpro/habr/post_images/f89/4de/196/f894de1965d550e7508a2b2e83d17901.png)
Тогда формула Бернулли может быть интерпретирована как правдоподобие оцениваемого параметра, (в данном случае p). Я даже буковку сменил у функции, теперь это L (от англ. likehood). То есть, правдоподобие — это вероятность сгенерировать данные наблюдения (7 решек из 10 опытов) для заданного значения параметра(-ов).
Например, правдоподобие сбалансированной монеты (p=0.5) при условии выпадения семи решек из десяти бросков примерно равняется 12%. Можно построить график функции L:
![](https://habrastorage.org/getpro/habr/post_images/bca/da0/5e8/bcada05e8fdd206495376852f88aafb8.png)
Итак, мы ищем такое значение параметров, которое максимизирует правдоподобие получения тех наблюдений, что у нас есть. В данном конкретном случае у нас функция одной переменной, мы ищем её максимум. Для того, чтобы было проще искать, я буду искать максимум не L, а log L. Логарифм — функция строго монотонная, так что максимизация одного и другого — это строго одно и то же. А логарифм нам разбивает произведение на сумму, которую сильно удобнее дифференцировать. Итак, мы ищем максимум вот этой функции:
![](https://habrastorage.org/getpro/habr/post_images/915/407/504/915407504c2f92b808ff7c0bd8319320.png)
Для этого приравняем нулю её производную:
![](https://habrastorage.org/getpro/habr/post_images/43b/428/a01/43b428a015cd2f25e188751c0c553418.png)
Производная log x = 1/x, получаем:
![](https://habrastorage.org/getpro/habr/post_images/d0f/8b7/e30/d0f8b7e3049a4d37fc1489c3a02003d6.png)
То есть, максимум правдоподобия (примерно 27%) достигается в точке
![](https://habrastorage.org/getpro/habr/post_images/0e4/ee1/229/0e4ee12290100d8657e411e2719ed57d.png)
На всякий случай посчитаем вторую производную:
![](https://habrastorage.org/getpro/habr/post_images/96f/5de/ba4/96f5deba4461fd3360dbefb29713c802.png)
В точке p=0.7 она отрицательна, так что эта точка действительно является максимумом функции L.
![](https://habrastorage.org/getpro/habr/post_images/931/bfe/6c9/931bfe6c9f2fb93c0c9ec7036a67b74c.png)
А вот так выглядит плотность вероятности для схемы Бернулли с p = 0.7:
![](https://habrastorage.org/getpro/habr/post_images/c33/90c/180/c3390c180591b89bda8487b04f97ff66.png)
Пример второй: АЦП
Давайте представим, что у нас есть некая постоянная физическая величина, которую мы хотим измерить, будь то длину линейкой или напряжение вольтметром. Любое измерение даёт приближение этой величины, но не саму величину. Методы, которые я тут описываю, разработаны Гауссом в конце 18го века, когда он измерял орбиты небесных тел.
Например, если мы измерим напряжение на батарейке N раз, то получим N разных измерений. Какое из них брать? Все! Итак, пусть у нас будет N величин Uj:
![](https://habrastorage.org/getpro/habr/post_images/f5d/7c6/821/f5d7c6821d43ed3b9bf9128d52876b2e.png)
Предположим, что каждое измерение Uj равно идеальной величине, плюс гауссов шум, который характеризуется двумя параметрами — положение гауссова колокола и его «ширина». Вот так выглядит плотность вероятности:
![](https://habrastorage.org/getpro/habr/post_images/ded/0d3/b40/ded0d3b40c8478f5e7a01889b5c8b100.png)
То есть, имея N заданных величин Uj, наша задача найти такой параметр, U который максимизирует значение правдоподобия. Правдоподобие (я сразу беру от него логарифм) можно записать следующим образом:
![](https://habrastorage.org/getpro/habr/post_images/49c/ad9/a23/49cad9a2301ad0795567364befad5ea5.png)
Ну а дальше всё строго как раньше, приравняем нулю частные производные по параметрам, которые мы ищем:
![](https://habrastorage.org/getpro/habr/post_images/4fe/d44/7d5/4fed447d51696fde602a9db5a7fe816e.png)
Получим, что наиболее вероятная оценка неизвестной величины U может быть найдена как среднее от всех измерений:
![](https://habrastorage.org/getpro/habr/post_images/b46/281/4f1/b462814f1a8a19167396798177a42ee5.png)
Ну а наиболее вероятный параметр сигма это обычное среднеквадратичное отклонение:
![](https://habrastorage.org/getpro/habr/post_images/3c5/a74/194/3c5a741948e8a96dbaac24244c7daabd.png)
![](https://habrastorage.org/getpro/habr/post_images/e3f/17f/422/e3f17f4222ee89afaecaffde3453dfec.png)
Стоило ли заморачиваться, чтобы получить в ответе простое среднее от всех измерений? На мой вкус, стоило. Кстати, усреднение многократных измерений постоянной величины с целью увеличения точности измерений — это вполне стандартная практика. Например, усреднение АЦП. К слову сказать, для этого гауссовости шума не нужно, достаточно того, что шум несмещённый.
Пример третий, и снова одномерный
Продолжаем разговор, давайте возьмём тот же самый пример, но чуть его усложним. Мы хотим измерить сопротивление некоего резистора. При помощи лабораторного блока питания мы умеем пропустить через него некоторое эталонное количество ампер, и измерить напряжение, которое для этого понадобится. То есть, у нас на вход нашего оценщика сопротивления будет N пар чисел (Ij, Uj).
![](https://habrastorage.org/getpro/habr/post_images/2b6/3c7/af0/2b63c7af0ec6024be16c1c4bd4a28dbc.png)
Нарисуем эти точки на графике; закон Ома нам говорит о том, что мы ищем наклон синей прямой.
![](https://habrastorage.org/getpro/habr/post_images/e4c/211/d7f/e4c211d7f3c34742ac53e18461818691.png)
Запишем выражение для правдоподобия параметра R:
![](https://habrastorage.org/getpro/habr/post_images/655/c9c/b8d/655c9cb8d1cb7429abd317016d09ce47.png)
И опять приравняем нулю соответствующую частную производную:
![](https://habrastorage.org/getpro/habr/post_images/e7e/737/2bb/e7e7372bbb5f7f138e0e5858039617c7.png)
Тогда наиболее правдоподобное сопротивление R может быть найдено по следующей формуле:
![](https://habrastorage.org/getpro/habr/post_images/529/877/57b/52987757bc0127158af6e642591b35d7.png)
Этот результат уже несколько менее очевидный, нежели простое среднее всех измерений. Обратите внимание, что если мы сделаем сто измерений в районе одного ампера, и одно измерение в районе килоампера, то предыдущие сто измерений практически не повлияют на результат. Давайте запомним этот факт, он нам пригодится в следующей статье.
Четвёртый пример: назад к наименьшим квадратам
Наверняка вы уже обратили внимание, что в последних двух примерах максимизация логарифма правдоподобия эквивалентна минимизации суммы квадратов ошибки оценивания. Давайте рассмотрим ещё один пример. Возьмём калибровку безмена при помощи эталонных грузов. Пусть у нас есть N эталонных грузов массой xj, повесим их на безмен и измерим длину пружины, получим N длин пружины yj:
![](https://habrastorage.org/getpro/habr/post_images/2ca/4c1/d86/2ca4c1d86e78cd4fd2d6f9d7b3052777.png)
Закон Гука нам говорит, что растяжение пружины линейно зависит от приложенной силы, а в эту силу у нас входит вес грузов и вес самой пружины. Пусть жёсткость пружины — это параметр a, ну а растяжение пружины под собственным весом — это параметр b. Тогда мы можем вот таким образом записать выражение правдоподобия наших измерений (по-прежнему под гипотезой гауссового шума измерений):
![](https://habrastorage.org/getpro/habr/post_images/ce4/e81/011/ce4e81011eae69c44d9e88cfe82fc09a.png)
Максимизация правдоподобия L эквивалентна минимизации суммы квадратов ошибок оценивания, то есть, мы можем искать минимум функции S, определённой следующим образом:
![](https://habrastorage.org/getpro/habr/post_images/18e/272/2eb/18e2722ebe081756bd8e871588361d5f.png)
Иными словами, мы ищем такую прямую, которая минимизирует сумму квадратов длин зелёных отрезков:
![](https://habrastorage.org/getpro/habr/post_images/c5a/a80/f6a/c5aa80f6a2e9575abfa7b3dfdabf5c5a.png)
Ну а дальше никаких сюрпризов, приравниваем к нулю частные производные:
![](https://habrastorage.org/getpro/habr/post_images/b09/a29/620/b09a29620438327e5a5bffb827a5dfa6.png)
Получаем систему из двух линейных уравнений с двумя неизвестными:
![](https://habrastorage.org/getpro/habr/post_images/0a9/d2f/f75/0a9d2ff75a4cb635434dc1e7eb267699.png)
Вспоминаем седьмой класс школы и выписываем решение:
![](https://habrastorage.org/getpro/habr/post_images/806/982/b11/806982b116726fcc07d1d4935efa3970.png)
Заключение
Методы наименьших квадратов являются частным случаем максимизации правдоподобия для тех случаев, когда плотность вероятности является гауссовой. В случае же когда плотность (совсем) не гауссова, МНК дают оценку, отличающуюся от оценки MLE (maximum likehood estimation). Кстати, в своё время Гаусс выдвигал гипотезу, что распределение не играет роли, важна только независимость испытаний.
Как видно из этой статьи, чем дальше в лес, тем более громоздкими становятся аналитические решения этой проблемы. Ну да мы не в восемнадцатом веке, у нас есть компьютеры! В следующий раз мы увидим геометрический и, затем, программистский подход к проблеме МНК, оставайтесь на линии.